{"title":"On the motivic Segal conjecture","authors":"Thomas Gregersen, John Rognes","doi":"10.1112/topo.12311","DOIUrl":"10.1112/topo.12311","url":null,"abstract":"<p>We establish motivic versions of the theorems of Lin and Gunawardena, thereby confirming the motivic Segal conjecture for the algebraic group <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>μ</mi>\u0000 <mi>ℓ</mi>\u0000 </msub>\u0000 <annotation>$mu _ell$</annotation>\u0000 </semantics></math> of <math>\u0000 <semantics>\u0000 <mi>ℓ</mi>\u0000 <annotation>$ell$</annotation>\u0000 </semantics></math>th roots of unity, where <math>\u0000 <semantics>\u0000 <mi>ℓ</mi>\u0000 <annotation>$ell$</annotation>\u0000 </semantics></math> is any prime. To achieve this we develop motivic Singer constructions associated to the symmetric group <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>S</mi>\u0000 <mi>ℓ</mi>\u0000 </msub>\u0000 <annotation>$S_ell$</annotation>\u0000 </semantics></math> and to <math>\u0000 <semantics>\u0000 <msub>\u0000 <mi>μ</mi>\u0000 <mi>ℓ</mi>\u0000 </msub>\u0000 <annotation>$mu _ell$</annotation>\u0000 </semantics></math>, and introduce a delayed limit Adams spectral sequence.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 3","pages":"1258-1313"},"PeriodicalIF":1.1,"publicationDate":"2023-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12311","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45024268","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":"Homotopy of manifolds stabilized by projective spaces","authors":"Ruizhi Huang, Stephen Theriault","doi":"10.1112/topo.12313","DOIUrl":"10.1112/topo.12313","url":null,"abstract":"<p>We study the homotopy of the connected sum of a manifold with a projective space, viewed as a typical way to stabilize manifolds. In particular, we show a loop homotopy decomposition of a manifold after stabilization by a projective space, and provide concrete examples. To do this, we trace the effect in homotopy theory of surgery on certain product manifolds by showing a loop homotopy decomposition after localization away from the order of the image of the classical <math>\u0000 <semantics>\u0000 <mi>J</mi>\u0000 <annotation>$J$</annotation>\u0000 </semantics></math>-homomorphism.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 3","pages":"1237-1257"},"PeriodicalIF":1.1,"publicationDate":"2023-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12313","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48207005","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":"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":"16 3","pages":"1167-1236"},"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}
{"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":"16 3","pages":"1093-1112"},"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}
{"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}