{"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":"16 3","pages":"990-1047"},"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}
{"title":"Automorphisms of procongruence curve and pants complexes","authors":"Marco Boggi, 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":"16 3","pages":"936-989"},"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}
{"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><</mo>\u0000 <mn>2</mn>\u0000 <mi>g</mi>\u0000 </mrow>\u0000 <annotation>$n<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":"16 3","pages":"899-935"},"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}
{"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":"16 3","pages":"877-898"},"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}
{"title":"Nonnegative scalar curvature on manifolds with at least two ends","authors":"Simone Cecchini, Daniel Räde, 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":"16 3","pages":"855-876"},"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}
{"title":"Group and Lie algebra filtrations and homotopy groups of spheres","authors":"Laurent Bartholdi, 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":"16 2","pages":"822-853"},"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}
Spencer Dowdall, Matthew G. Durham, Christopher J. Leininger, Alessandro Sisto
{"title":"Extensions of Veech groups I: A hyperbolic action","authors":"Spencer Dowdall, Matthew G. Durham, Christopher J. Leininger, Alessandro Sisto","doi":"10.1112/topo.12296","DOIUrl":"10.1112/topo.12296","url":null,"abstract":"<p>Given a lattice Veech group in the mapping class group of a closed surface <math>\u0000 <semantics>\u0000 <mi>S</mi>\u0000 <annotation>$S$</annotation>\u0000 </semantics></math>, this paper investigates the geometry of <math>\u0000 <semantics>\u0000 <mi>Γ</mi>\u0000 <annotation>$Gamma$</annotation>\u0000 </semantics></math>, the associated <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>π</mi>\u0000 <mn>1</mn>\u0000 </msub>\u0000 <mi>S</mi>\u0000 </mrow>\u0000 <annotation>$pi _1S$</annotation>\u0000 </semantics></math>-extension group. We prove that <math>\u0000 <semantics>\u0000 <mi>Γ</mi>\u0000 <annotation>$Gamma$</annotation>\u0000 </semantics></math> is the fundamental group of a bundle with a singular Euclidean-by-hyperbolic geometry. Our main result is that collapsing “obvious” product regions of the universal cover produces an action of <math>\u0000 <semantics>\u0000 <mi>Γ</mi>\u0000 <annotation>$Gamma$</annotation>\u0000 </semantics></math> on a hyperbolic space, retaining most of the geometry of <math>\u0000 <semantics>\u0000 <mi>Γ</mi>\u0000 <annotation>$Gamma$</annotation>\u0000 </semantics></math>. This action is a key ingredient in the sequel where we show that <math>\u0000 <semantics>\u0000 <mi>Γ</mi>\u0000 <annotation>$Gamma$</annotation>\u0000 </semantics></math> is hierarchically hyperbolic and quasi-isometrically rigid.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 2","pages":"757-805"},"PeriodicalIF":1.1,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12296","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47266131","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}
{"title":"Split link detection for \u0000 \u0000 \u0000 sl\u0000 (\u0000 P\u0000 )\u0000 \u0000 $mathfrak {sl}(P)$\u0000 link homology in characteristic \u0000 \u0000 P\u0000 $P$","authors":"Joshua Wang","doi":"10.1112/topo.12297","DOIUrl":"10.1112/topo.12297","url":null,"abstract":"<p>We provide a sufficient condition for splitness of a link in terms of its reduced <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>sl</mi>\u0000 <mo>(</mo>\u0000 <mi>N</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 <annotation>$mathfrak {sl}(N)$</annotation>\u0000 </semantics></math> link homology with arbitrary field coefficients. The proof of sufficiency uses Dowlin's spectral sequence and sutured Floer homology with twisted coefficients. If <math>\u0000 <semantics>\u0000 <mi>N</mi>\u0000 <annotation>$N$</annotation>\u0000 </semantics></math> is prime and the coefficient field is of characteristic <math>\u0000 <semantics>\u0000 <mi>N</mi>\u0000 <annotation>$N$</annotation>\u0000 </semantics></math>, then the sufficient condition for splitness is also necessary. When <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>N</mi>\u0000 <mo>=</mo>\u0000 <mn>2</mn>\u0000 </mrow>\u0000 <annotation>$N = 2$</annotation>\u0000 </semantics></math>, we recover Lipshitz–Sarkar's split link detection result for Khovanov homology with <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>Z</mi>\u0000 <mo>/</mo>\u0000 <mn>2</mn>\u0000 </mrow>\u0000 <annotation>$mathbf {Z}/2$</annotation>\u0000 </semantics></math> coefficients.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 2","pages":"806-821"},"PeriodicalIF":1.1,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43711926","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}