首页 > 最新文献

Journal of Topology最新文献

英文 中文
Equivariant knots and knot Floer homology 等变节和结花同源
IF 1.1 2区 数学 Q2 Mathematics Pub Date : 2023-09-05 DOI: 10.1112/topo.12312
Irving Dai, Abhishek Mallick, Matthew Stoffregen
We define several equivariant concordance invariants using knot Floer homology. We show that our invariants provide a lower bound for the equivariant slice genus and use this to give a family of strongly invertible slice knots whose equivariant slice genus grows arbitrarily large, answering a question of Boyle and Issa. We also apply our formalism to several seemingly nonequivariant questions. In particular, we show that knot Floer homology can be used to detect exotic pairs of slice disks, recovering an example due to Hayden, and extend a result due to Miller and Powell regarding stabilization distance. Our formalism suggests a possible route toward establishing the noncommutativity of the equivariant concordance group.
利用结花同源性定义了几个等变一致性不变量。我们证明了我们的不变量为等变片格提供了一个下界,并利用这个下界给出了一类强可逆的片结,它们的等变片格可以任意变大,从而回答了Boyle和Issa的问题。我们还将我们的形式主义应用于几个看似非等变的问题。特别地,我们证明了结花同源性可以用于检测奇异的片盘对,恢复了Hayden的一个例子,并扩展了Miller和Powell关于稳定距离的结果。我们的形式主义提出了一个可能的途径来建立等变调和群的非交换性。
{"title":"Equivariant knots and knot Floer homology","authors":"Irving Dai, Abhishek Mallick, Matthew Stoffregen","doi":"10.1112/topo.12312","DOIUrl":"10.1112/topo.12312","url":null,"abstract":"We define several equivariant concordance invariants using knot Floer homology. We show that our invariants provide a lower bound for the equivariant slice genus and use this to give a family of strongly invertible slice knots whose equivariant slice genus grows arbitrarily large, answering a question of Boyle and Issa. We also apply our formalism to several seemingly nonequivariant questions. In particular, we show that knot Floer homology can be used to detect exotic pairs of slice disks, recovering an example due to Hayden, and extend a result due to Miller and Powell regarding stabilization distance. Our formalism suggests a possible route toward establishing the noncommutativity of the equivariant concordance group.","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42949514","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Lagrangian cobordism functor in microlocal sheaf theory I 微局部簇理论I中的拉格朗日共基函子
IF 1.1 2区 数学 Q2 Mathematics Pub Date : 2023-09-04 DOI: 10.1112/topo.12310
Wenyuan Li

Let Λ±$Lambda _pm$ be Legendrian submanifolds in the cosphere bundle T,M$T^{*,infty }M$. Given a Lagrangian cobordism L$L$ of Legendrians from Λ$Lambda _-$ to Λ+$Lambda _+$, we construct a functor ΦL*:ShΛ+c(M)ShΛc(M)C*

让Λ±$Lambda _pm$ 是球束T *,∞M中的legend子流形$T^{*,infty }M$ . 给定拉格朗日坐标L$L$ 来自Λ−$Lambda _-$ 到Λ+$Lambda _+$ ,构造了一个函子ΦL*:ShΛ+c(M)→ShΛ−c(M)⊗c−*(Ω*Λ−)c−*(Ω*L)${mathrm{Phi}}_{L}^{ast}:{{rm Sh}}_{{mathrm{Lambda}}_{+}}^{c}(M)to {{rm Sh}}_{{mathrm{Lambda}}_{-}}^{c}(M){otimes}_{{C}_{-ast}({mathrm{Omega}}_{ast}{mathrm{Lambda}}_{-})}{C}_{-ast}({mathrm{Omega}}_{ast}L)$ 在Λ±上具有奇异支持的紧凑物体的轴类之间$Lambda _pm$ 以及它在固有对象的一组范畴上的右伴随,使用了Nadler-Shende的工作。这给出了一个类似于Legendrian接触同调上的拉格朗日协同映射及其单位增广范畴上的右伴随的束理论描述。我们还推导出了高维legendsub流形之间拉格朗日协同的一些长精确序列和新的障碍。
{"title":"Lagrangian cobordism functor in microlocal sheaf theory I","authors":"Wenyuan Li","doi":"10.1112/topo.12310","DOIUrl":"10.1112/topo.12310","url":null,"abstract":"<p>Let <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>Λ</mi>\u0000 <mo>±</mo>\u0000 </msub>\u0000 <annotation>$Lambda _pm$</annotation>\u0000 </semantics></math> be Legendrian submanifolds in the cosphere bundle <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msup>\u0000 <mi>T</mi>\u0000 <mrow>\u0000 <mo>∗</mo>\u0000 <mo>,</mo>\u0000 <mi>∞</mi>\u0000 </mrow>\u0000 </msup>\u0000 <mi>M</mi>\u0000 </mrow>\u0000 <annotation>$T^{*,infty }M$</annotation>\u0000 </semantics></math>. Given a Lagrangian cobordism <math>\u0000 <semantics>\u0000 <mi>L</mi>\u0000 <annotation>$L$</annotation>\u0000 </semantics></math> of Legendrians from <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>Λ</mi>\u0000 <mo>−</mo>\u0000 </msub>\u0000 <annotation>$Lambda _-$</annotation>\u0000 </semantics></math> to <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>Λ</mi>\u0000 <mo>+</mo>\u0000 </msub>\u0000 <annotation>$Lambda _+$</annotation>\u0000 </semantics></math>, we construct a functor <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msubsup>\u0000 <mi>Φ</mi>\u0000 <mi>L</mi>\u0000 <mo>*</mo>\u0000 </msubsup>\u0000 <mo>:</mo>\u0000 <msubsup>\u0000 <mi>Sh</mi>\u0000 <msub>\u0000 <mi>Λ</mi>\u0000 <mo>+</mo>\u0000 </msub>\u0000 <mi>c</mi>\u0000 </msubsup>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>M</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>→</mo>\u0000 <msubsup>\u0000 <mi>Sh</mi>\u0000 <msub>\u0000 <mi>Λ</mi>\u0000 <mo>−</mo>\u0000 </msub>\u0000 <mi>c</mi>\u0000 </msubsup>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>M</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <msub>\u0000 <mo>⊗</mo>\u0000 <mrow>\u0000 <msub>\u0000 <mi>C</mi>\u0000 <mrow>\u0000 <mo>−</mo>\u0000 <mo>*</mo>\u0000 </mrow>\u0000 </m","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12310","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46583482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Smoothing finite-order bilipschitz homeomorphisms of 3-manifolds 3流形的光滑有限阶bilipschitz同胚
IF 1.1 2区 数学 Q2 Mathematics Pub Date : 2023-09-02 DOI: 10.1112/topo.12309
Lucien Grillet

We show that, for ε=14000$varepsilon =frac{1}{4000}$, any action of a finite cyclic group by (1+ε)$(1+varepsilon )$-bilipschitz homeomorphisms on a closed 3-manifold is conjugated to a smooth action.

我们证明了对于ε=14000 $varepsilon =frac{1}{4000}$,由(1+ε) $(1+varepsilon )$‐bilipschitz同胚构成的有限循环群在闭3‐流形上的任何作用都共轭为光滑作用。
{"title":"Smoothing finite-order bilipschitz homeomorphisms of 3-manifolds","authors":"Lucien Grillet","doi":"10.1112/topo.12309","DOIUrl":"10.1112/topo.12309","url":null,"abstract":"<p>We show that, for <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>ε</mi>\u0000 <mo>=</mo>\u0000 <mfrac>\u0000 <mn>1</mn>\u0000 <mn>4000</mn>\u0000 </mfrac>\u0000 </mrow>\u0000 <annotation>$varepsilon =frac{1}{4000}$</annotation>\u0000 </semantics></math>, any action of a finite cyclic group by <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mn>1</mn>\u0000 <mo>+</mo>\u0000 <mi>ε</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$(1+varepsilon )$</annotation>\u0000 </semantics></math>-bilipschitz homeomorphisms on a closed 3-manifold is conjugated to a smooth action.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47990972","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
The top homology group of the genus 3 Torelli group 属3 Torelli群的顶部同源群
IF 1.1 2区 数学 Q2 Mathematics Pub Date : 2023-08-26 DOI: 10.1112/topo.12308
Igor A. Spiridonov

The Torelli group of a genus g$g$ oriented surface Σg$Sigma _g$ is the subgroup Ig$mathcal {I}_g$ of the mapping class group Mod(Σg)${rm Mod}(Sigma _g)$ consisting of all mapping classes that act trivially on H1(Σg,Z)${rm H}_1(Sigma _g, mathbb {Z})$. The quotient group Mod(Σg)/Ig${rm Mod}(Sigma _g) / mathcal {I}_g$ is isomorphic to the symplectic group Sp(2g,Z)${rm Sp}(2g, mathbb {Z})$. The cohomological dimension of the group Ig$mathcal {I}_g$ equ

g属$g$面向曲面Σg $Sigma _g$的Torelli群是映射类组Mod(Σg) ${rm Mod}(Sigma _g)$的子群Ig $mathcal {I}_g$,该映射类组由H1(Σg,Z) ${rm H}_1(Sigma _g, mathbb {Z})$上的所有映射类组成。商群Mod(Σg)/Ig ${rm Mod}(Sigma _g) / mathcal {I}_g$与辛群Sp(2g,Z) ${rm Sp}(2g, mathbb {Z})$同构。基团Ig $mathcal {I}_g$的上同维数为3g−5 $3g-5$。本文的主要目的是计算g=3 $g = 3$情况下Torelli群的顶同调群为Sp(6,Z) ${rm Sp}(6, mathbb {Z})$‐模。证明了一个同构H4(I3,Z) = IndS3 × SL(2,Z)×3Sp(6,Z)Z, $$begin{equation*} hspace*{4pc}{rm H}_4(mathcal {I}_3, mathbb {Z}) cong {rm Ind}^{{rm Sp}(6, mathbb {Z})}_{S_3 ltimes {rm SL}(2, mathbb {Z})^{times 3}} mathcal {Z}, end{equation*}$$,其中Z $mathcal {Z}$是Z3 $mathbb {Z}^3$与其对角子群Z $mathbb {Z}$的商,具有置换群S3 $S_3$的自然作用(SL(2,Z)×3 ${rm SL}(2, mathbb {Z})^{times 3}$的作用是平凡的)。我们还构造了组H4(I3,Z) ${rm H}_4(mathcal {I}_3, mathbb {Z})$的显式生成器和关系集。
{"title":"The top homology group of the genus 3 Torelli group","authors":"Igor A. Spiridonov","doi":"10.1112/topo.12308","DOIUrl":"10.1112/topo.12308","url":null,"abstract":"<p>The Torelli group of a genus <math>\u0000 <semantics>\u0000 <mi>g</mi>\u0000 <annotation>$g$</annotation>\u0000 </semantics></math> oriented surface <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>Σ</mi>\u0000 <mi>g</mi>\u0000 </msub>\u0000 <annotation>$Sigma _g$</annotation>\u0000 </semantics></math> is the subgroup <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>I</mi>\u0000 <mi>g</mi>\u0000 </msub>\u0000 <annotation>$mathcal {I}_g$</annotation>\u0000 </semantics></math> of the mapping class group <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>Mod</mi>\u0000 <mo>(</mo>\u0000 <msub>\u0000 <mi>Σ</mi>\u0000 <mi>g</mi>\u0000 </msub>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>${rm Mod}(Sigma _g)$</annotation>\u0000 </semantics></math> consisting of all mapping classes that act trivially on <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>H</mi>\u0000 <mn>1</mn>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <msub>\u0000 <mi>Σ</mi>\u0000 <mi>g</mi>\u0000 </msub>\u0000 <mo>,</mo>\u0000 <mi>Z</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>${rm H}_1(Sigma _g, mathbb {Z})$</annotation>\u0000 </semantics></math>. The quotient group <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>Mod</mi>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <msub>\u0000 <mi>Σ</mi>\u0000 <mi>g</mi>\u0000 </msub>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>/</mo>\u0000 <msub>\u0000 <mi>I</mi>\u0000 <mi>g</mi>\u0000 </msub>\u0000 </mrow>\u0000 <annotation>${rm Mod}(Sigma _g) / mathcal {I}_g$</annotation>\u0000 </semantics></math> is isomorphic to the symplectic group <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>Sp</mi>\u0000 <mo>(</mo>\u0000 <mn>2</mn>\u0000 <mi>g</mi>\u0000 <mo>,</mo>\u0000 <mi>Z</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>${rm Sp}(2g, mathbb {Z})$</annotation>\u0000 </semantics></math>. The cohomological dimension of the group <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>I</mi>\u0000 <mi>g</mi>\u0000 </msub>\u0000 <annotation>$mathcal {I}_g$</annotation>\u0000 </semantics></math> equ","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43984189","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Dynamical properties of convex cocompact actions in projective space 射影空间中凸紧作用的动力学性质
IF 1.1 2区 数学 Q2 Mathematics Pub Date : 2023-08-02 DOI: 10.1112/topo.12307
Theodore Weisman

We give a dynamical characterization of convex cocompact group actions on properly convex domains in projective space in the sense of Danciger–Guéritaud–Kassel: we show that convex cocompactness in RPd$mathbb {R}mathrm{P}^d$ is equivalent to an expansion property of the group about its limit set, occurring in different Grassmannians. As an application, we give a sufficient and necessary condition for convex cocompactness for groups that are hyperbolic relative to a collection of convex cocompact subgroups. We show that convex cocompactness in this situation is equivalent to the existence of an equivariant homeomorphism from the Bowditch boundary to the quotient of the limit set of the group by the limit sets of its peripheral subgroups.

在danciger - gusamriaud - kassel意义下,给出了射影空间中适当凸域上凸紧群作用的一个动力学表征:我们证明了RPd$mathbb {R} mathm {P}^d$上的凸紧性等价于群关于其极限集的展开性质,它们发生在不同的Grassmannians上。作为应用,我们给出了相对于凸紧子群集合的双曲型群凸紧性的一个充要条件。证明了这种情况下的凸紧性等价于群的极限集与群的外周子群的极限集之商在Bowditch边界上的等变同胚的存在性。
{"title":"Dynamical properties of convex cocompact actions in projective space","authors":"Theodore Weisman","doi":"10.1112/topo.12307","DOIUrl":"10.1112/topo.12307","url":null,"abstract":"<p>We give a dynamical characterization of convex cocompact group actions on properly convex domains in projective space in the sense of Danciger–Guéritaud–Kassel: we show that convex cocompactness in <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>R</mi>\u0000 <msup>\u0000 <mi>P</mi>\u0000 <mi>d</mi>\u0000 </msup>\u0000 </mrow>\u0000 <annotation>$mathbb {R}mathrm{P}^d$</annotation>\u0000 </semantics></math> is equivalent to an expansion property of the group about its limit set, occurring in different Grassmannians. As an application, we give a sufficient and necessary condition for convex cocompactness for groups that are hyperbolic relative to a collection of convex cocompact subgroups. We show that convex cocompactness in this situation is equivalent to the existence of an equivariant homeomorphism from the Bowditch boundary to the quotient of the limit set of the group by the limit sets of its peripheral subgroups.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43304379","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Automorphisms of procongruence curve and pants complexes 前同余曲线与裤子复合体的自同构
IF 1.1 2区 数学 Q2 Mathematics Pub Date : 2023-07-19 DOI: 10.1112/topo.12306
Marco Boggi, Louis Funar

In this paper we study the automorphism group of the procongruence mapping class group through its action on the associated procongruence curve and pants complexes. Our main result is a rigidity theorem for the procongruence completion of the pants complex. As an application we prove that moduli stacks of smooth algebraic curves satisfy a weak anabelian property in the procongruence setting.

本文通过其在相关的普协曲线和裤子复形上的作用,研究了普协映射类群的自同构群。我们的主要结果是关于裤子复形的过程完备的一个刚性定理。作为一个应用,我们证明了光滑代数曲线的模栈在procongruence设置中满足弱的anabelian性质。
{"title":"Automorphisms of procongruence curve and pants complexes","authors":"Marco Boggi,&nbsp;Louis Funar","doi":"10.1112/topo.12306","DOIUrl":"10.1112/topo.12306","url":null,"abstract":"<p>In this paper we study the automorphism group of the procongruence mapping class group through its action on the associated procongruence curve and pants complexes. Our main result is a rigidity theorem for the procongruence completion of the pants complex. As an application we prove that moduli stacks of smooth algebraic curves satisfy a weak anabelian property in the procongruence setting.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47340177","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Low-dimensional linear representations of mapping class groups 映射类群的低维线性表示
IF 1.1 2区 数学 Q2 Mathematics Pub Date : 2023-07-14 DOI: 10.1112/topo.12305
Mustafa Korkmaz

Let S$S$ be a compact orientable surface of genus g$g$ with marked points in the interior. Franks–Handel (Proc. Amer. Math. Soc. 141 (2013) 2951–2962)  proved that if n<2g$n<2g$ then the image of a homomorphism from the mapping class group Mod(S)${rm Mod}(S)$ of S$S$ to GL(n,C)${rm GL}(n,{mathbb {C}})$ is trivial if g3$ggeqslant 3$ and is finite cyclic if g=2$g=2$. The first result is our own proof of this fact. Our second main result shows that for g3$ggeqslant 3$ up to conjugation there are only two homomorphisms from Mod(S)${rm Mod}(S)$ to GL(2g,C
设S$S$是g$g$亏格的一个紧致可定向曲面,其内部有标记点。Franks–Handel(Proc.Amer.Math.Soc.141(2013)2951–2962)证明了如果n<;2g$n<;2g$则从S$S$的映射类群Mod(S)${rm-Mod}(n,C)${rm GL}(n,{mathbb{C}})$在g⩾3$ggeqslant 3$的情况下是平凡的,并且在g=2$g=2$。第一个结果是我们自己证明了这一事实。我们的第二个主要结果表明,对于g10878; 3$ggeqslant 3$到共轭,从Mod(S)${rm-Mod}(S)$只有两个同态到GL(2g,C)${rm GL}(2g、{mathbb{C})$:平凡同态和标准辛表示。我们的最后一个主要结果表明,映射类群在小于或等于3 g−3$3g-3$的维度上没有忠实的线性表示。我们提供了我们的结果的许多应用,包括从非定向曲面的类群映射到GL(n,C)${rm GL}(n,{mathbb{C}})$的同态的有限性,映射类群到Aut(Fn)$或到Out的同态的平凡性(Fn)${rm-Out}(F_n)$以及映射类群之间的同态。我们还证明了如果曲面S$S$具有r$r$标记点但没有边界分量,则Mod(S)${rmMod}r⩽2 g−2$rleqslant 2g-2$。
{"title":"Low-dimensional linear representations of mapping class groups","authors":"Mustafa Korkmaz","doi":"10.1112/topo.12305","DOIUrl":"https://doi.org/10.1112/topo.12305","url":null,"abstract":"<p>Let <math>\u0000 <semantics>\u0000 <mi>S</mi>\u0000 <annotation>$S$</annotation>\u0000 </semantics></math> be a compact orientable surface of genus <math>\u0000 <semantics>\u0000 <mi>g</mi>\u0000 <annotation>$g$</annotation>\u0000 </semantics></math> with marked points in the interior. Franks–Handel (<i>Proc. Amer. Math. Soc</i>. <b>141</b> (2013) 2951–2962)  proved that if <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>n</mi>\u0000 <mo>&lt;</mo>\u0000 <mn>2</mn>\u0000 <mi>g</mi>\u0000 </mrow>\u0000 <annotation>$n&lt;2g$</annotation>\u0000 </semantics></math> then the image of a homomorphism from the mapping class group <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>Mod</mi>\u0000 <mo>(</mo>\u0000 <mi>S</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>${rm Mod}(S)$</annotation>\u0000 </semantics></math> of <math>\u0000 <semantics>\u0000 <mi>S</mi>\u0000 <annotation>$S$</annotation>\u0000 </semantics></math> to <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>GL</mi>\u0000 <mo>(</mo>\u0000 <mi>n</mi>\u0000 <mo>,</mo>\u0000 <mi>C</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>${rm GL}(n,{mathbb {C}})$</annotation>\u0000 </semantics></math> is trivial if <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>g</mi>\u0000 <mo>⩾</mo>\u0000 <mn>3</mn>\u0000 </mrow>\u0000 <annotation>$ggeqslant 3$</annotation>\u0000 </semantics></math> and is finite cyclic if <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>g</mi>\u0000 <mo>=</mo>\u0000 <mn>2</mn>\u0000 </mrow>\u0000 <annotation>$g=2$</annotation>\u0000 </semantics></math>. The first result is our own proof of this fact. Our second main result shows that for <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>g</mi>\u0000 <mo>⩾</mo>\u0000 <mn>3</mn>\u0000 </mrow>\u0000 <annotation>$ggeqslant 3$</annotation>\u0000 </semantics></math> up to conjugation there are only two homomorphisms from <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>Mod</mi>\u0000 <mo>(</mo>\u0000 <mi>S</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>${rm Mod}(S)$</annotation>\u0000 </semantics></math> to <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>GL</mi>\u0000 <mo>(</mo>\u0000 <mn>2</mn>\u0000 <mi>g</mi>\u0000 <mo>,</mo>\u0000 <mi>C</mi>\u0000 <mo>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50132748","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Symplectic mapping class groups of blowups of tori 复曲面爆破的辛映射类群
IF 1.1 2区 数学 Q2 Mathematics Pub Date : 2023-07-11 DOI: 10.1112/topo.12304
Gleb Smirnov

Let ω$omega$ be a Kähler form on the real 4-torus T4$T^4$. Suppose that ω$omega$ satisfies an irrationality condition that can be achieved by an arbitrarily small perturbation of ω$omega$. This note shows that the smoothly trivial symplectic mapping class group of the one-point symplectic blowup of (T4,ω)$(T^4,omega )$ is infinitely generated.

设ω$omega$是实4-环面T4$T^4$上的Kähler形式。假设ω$omega$满足一个非理性条件,该条件可以通过ω$omega$的任意小扰动来实现。本文证明了(T4,ω)$(T^4,omega)$的单点辛爆破的光滑平凡辛映射类群是无限生成的。
{"title":"Symplectic mapping class groups of blowups of tori","authors":"Gleb Smirnov","doi":"10.1112/topo.12304","DOIUrl":"10.1112/topo.12304","url":null,"abstract":"<p>Let <math>\u0000 <semantics>\u0000 <mi>ω</mi>\u0000 <annotation>$omega$</annotation>\u0000 </semantics></math> be a Kähler form on the real 4-torus <math>\u0000 <semantics>\u0000 <msup>\u0000 <mi>T</mi>\u0000 <mn>4</mn>\u0000 </msup>\u0000 <annotation>$T^4$</annotation>\u0000 </semantics></math>. Suppose that <math>\u0000 <semantics>\u0000 <mi>ω</mi>\u0000 <annotation>$omega$</annotation>\u0000 </semantics></math> satisfies an irrationality condition that can be achieved by an arbitrarily small perturbation of <math>\u0000 <semantics>\u0000 <mi>ω</mi>\u0000 <annotation>$omega$</annotation>\u0000 </semantics></math>. This note shows that the smoothly trivial symplectic mapping class group of the one-point symplectic blowup of <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <msup>\u0000 <mi>T</mi>\u0000 <mn>4</mn>\u0000 </msup>\u0000 <mo>,</mo>\u0000 <mi>ω</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$(T^4,omega )$</annotation>\u0000 </semantics></math> is infinitely generated.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12304","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46244923","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Nonnegative scalar curvature on manifolds with at least two ends 具有至少两个端点的流形上的非负标量曲率
IF 1.1 2区 数学 Q2 Mathematics Pub Date : 2023-06-30 DOI: 10.1112/topo.12303
Simone Cecchini, Daniel Räde, Rudolf Zeidler

Let M$M$ be an orientable connected n$n$-dimensional manifold with n{6,7}$nin lbrace 6,7rbrace$ and let YM$Ysubset M$ be a two-sided closed connected incompressible hypersurface that does not admit a metric of positive scalar curvature (abbreviated by psc). Moreover, suppose that the universal covers of M$M$ and Y$Y$ are either both spin or both nonspin. Using Gromov's μ$mu$-bubbles, we show that M$M$ does not admit a complete metric of psc. We provide an example showing that the spin/nonspin hypothesis cannot be dropped from the statement of this result. This answers, up to dimension 7, a question by Gromov for a large class of cases. Furthermore, we prove a related result for submanifolds of codimension 2. We deduce as special cases that, if Y$Y$ does not admit a metric of psc and dim(Y)4$dim (Y) ne 4$, then M:=Y

设M $M$是一个n∈的可定向连通的n $n$维流形{}$nin lbrace 6,7rbrace$,设Y∧M $Ysubset M$是一个不允许有正标量曲率度规(简称psc)的双面封闭连通的不可压缩超曲面。此外,假设M $M$和Y $Y$的全域覆盖要么都是自旋的,要么都是非自旋的。利用Gromov的μ $mu$‐气泡,我们证明M $M$不允许psc的完整度量。我们提供了一个例子,表明自旋/非自旋假设不能从这个结果的陈述中删除。这回答了,一直到7维,Gromov对一大类情况提出的问题。进一步证明了余维数为2的子流形的一个相关结果。作为特例,我们推导出,如果Y $Y$不承认psc的度规且dim(Y)≠4 $dim (Y) ne 4$,则M:=Y×R $M := Ytimes mathbb {R}$不携带psc的完全度规,N:=Y×R2 $N := Y times mathbb {R}^2$不携带均匀psc的完全度规,只要dim(M)≤7 $dim (M) leqslant 7$和dim(N)≤7 $dim (N) leqslant 7$。这解决了Rosenberg和Stolz关于可定向流形的猜想,一直到7维。
{"title":"Nonnegative scalar curvature on manifolds with at least two ends","authors":"Simone Cecchini,&nbsp;Daniel Räde,&nbsp;Rudolf Zeidler","doi":"10.1112/topo.12303","DOIUrl":"10.1112/topo.12303","url":null,"abstract":"<p>Let <math>\u0000 <semantics>\u0000 <mi>M</mi>\u0000 <annotation>$M$</annotation>\u0000 </semantics></math> be an orientable connected <math>\u0000 <semantics>\u0000 <mi>n</mi>\u0000 <annotation>$n$</annotation>\u0000 </semantics></math>-dimensional manifold with <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>n</mi>\u0000 <mo>∈</mo>\u0000 <mo>{</mo>\u0000 <mn>6</mn>\u0000 <mo>,</mo>\u0000 <mn>7</mn>\u0000 <mo>}</mo>\u0000 </mrow>\u0000 <annotation>$nin lbrace 6,7rbrace$</annotation>\u0000 </semantics></math> and let <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>Y</mi>\u0000 <mo>⊂</mo>\u0000 <mi>M</mi>\u0000 </mrow>\u0000 <annotation>$Ysubset M$</annotation>\u0000 </semantics></math> be a two-sided closed connected incompressible hypersurface that does not admit a metric of positive scalar curvature (abbreviated by psc). Moreover, suppose that the universal covers of <math>\u0000 <semantics>\u0000 <mi>M</mi>\u0000 <annotation>$M$</annotation>\u0000 </semantics></math> and <math>\u0000 <semantics>\u0000 <mi>Y</mi>\u0000 <annotation>$Y$</annotation>\u0000 </semantics></math> are either both spin or both nonspin. Using Gromov's <math>\u0000 <semantics>\u0000 <mi>μ</mi>\u0000 <annotation>$mu$</annotation>\u0000 </semantics></math>-bubbles, we show that <math>\u0000 <semantics>\u0000 <mi>M</mi>\u0000 <annotation>$M$</annotation>\u0000 </semantics></math> does not admit a complete metric of psc. We provide an example showing that the spin/nonspin hypothesis cannot be dropped from the statement of this result. This answers, up to dimension 7, a question by Gromov for a large class of cases. Furthermore, we prove a related result for submanifolds of codimension 2. We deduce as special cases that, if <math>\u0000 <semantics>\u0000 <mi>Y</mi>\u0000 <annotation>$Y$</annotation>\u0000 </semantics></math> does not admit a metric of psc and <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mo>dim</mo>\u0000 <mo>(</mo>\u0000 <mi>Y</mi>\u0000 <mo>)</mo>\u0000 <mo>≠</mo>\u0000 <mn>4</mn>\u0000 </mrow>\u0000 <annotation>$dim (Y) ne 4$</annotation>\u0000 </semantics></math>, then <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>M</mi>\u0000 <mo>:</mo>\u0000 <mo>=</mo>\u0000 <mi>Y</mi>\u0000 ","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12303","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45500999","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Group and Lie algebra filtrations and homotopy groups of spheres 群与李代数滤波与球的同伦群
IF 1.1 2区 数学 Q2 Mathematics Pub Date : 2023-06-01 DOI: 10.1112/topo.12301
Laurent Bartholdi, Roman Mikhailov

We establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the “dimension problem” by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be embedded in the dimension quotient of a group. This is proven by embedding for arbitrary s,d$s,d$ the torsion of the homotopy group πs(Sd)$pi _s(S^d)$ into a dimension quotient, via a result of Wu. In particular, this invalidates some long-standing results in the literature, as for every prime p$p$, there is some p$p$-torsion in π2p(S2)$pi _{2p}(S^2)$ by a result of Serre. We explain in this manner Rips's famous counterexample to the dimension conjecture in terms of the homotopy group π4(S2)=Z

我们在球面的同伦群和群中的交换微积分之间建立了一座桥梁,并通过提供一个与Sjogren定理相反的定理来解决“维数问题”:每个有界指数的阿贝尔群都可以嵌入群的维数商中。这是通过将任意s,d$s,d$的同伦群πs(Sd)$pi_s(s^d)$的扭转嵌入到维数商中来证明的,通过Wu的结果。特别是,这使文献中一些长期存在的结果无效,因为对于每个素数p$p$,由于Serre的结果,π2p(S2)$pi_{2p}(S^2)$中存在一些p$p$-扭转。我们用这种方式解释了Rips关于维数猜想的著名反例,即同伦群π4(S2)=Z/2Z$pi_4(s^2)=mathbb{Z}/2mathbb{Z}$。我们最后在李环的上下文中得到了类似的结果:对于每个素数p$p$,在某个维数商中存在一个具有p$p$-扭转的李环。
{"title":"Group and Lie algebra filtrations and homotopy groups of spheres","authors":"Laurent Bartholdi,&nbsp;Roman Mikhailov","doi":"10.1112/topo.12301","DOIUrl":"10.1112/topo.12301","url":null,"abstract":"<p>We establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the “dimension problem” by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be embedded in the dimension quotient of a group. This is proven by embedding for arbitrary <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>s</mi>\u0000 <mo>,</mo>\u0000 <mi>d</mi>\u0000 </mrow>\u0000 <annotation>$s,d$</annotation>\u0000 </semantics></math> the torsion of the homotopy group <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>π</mi>\u0000 <mi>s</mi>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <msup>\u0000 <mi>S</mi>\u0000 <mi>d</mi>\u0000 </msup>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$pi _s(S^d)$</annotation>\u0000 </semantics></math> into a dimension quotient, via a result of Wu. In particular, this invalidates some long-standing results in the literature, as for every prime <math>\u0000 <semantics>\u0000 <mi>p</mi>\u0000 <annotation>$p$</annotation>\u0000 </semantics></math>, there is some <math>\u0000 <semantics>\u0000 <mi>p</mi>\u0000 <annotation>$p$</annotation>\u0000 </semantics></math>-torsion in <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>π</mi>\u0000 <mrow>\u0000 <mn>2</mn>\u0000 <mi>p</mi>\u0000 </mrow>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <msup>\u0000 <mi>S</mi>\u0000 <mn>2</mn>\u0000 </msup>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$pi _{2p}(S^2)$</annotation>\u0000 </semantics></math> by a result of Serre. We explain in this manner Rips's famous counterexample to the dimension conjecture in terms of the homotopy group <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>π</mi>\u0000 <mn>4</mn>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <msup>\u0000 <mi>S</mi>\u0000 <mn>2</mn>\u0000 </msup>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <mo>=</mo>\u0000 <mi>Z</mi>\u0000 ","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":null,"pages":null},"PeriodicalIF":1.1,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12301","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44038174","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
Journal of Topology
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1