{"title":"On the profinite rigidity of free and surface groups","authors":"","doi":"10.1007/s00208-023-02785-6","DOIUrl":null,"url":null,"abstract":"<h3>Abstract</h3> <p>Let <em>S</em> be either a free group or the fundamental group of a closed hyperbolic surface. We show that if <em>G</em> is a finitely generated residually-<em>p</em> group with the same pro-<em>p</em> completion as <em>S</em>, then two-generated subgroups of <em>G</em> are free. This generalises (and gives a new proof of) the analogous result of Baumslag for parafree groups. Our argument relies on the following new ingredient: if <em>G</em> is a residually-(torsion-free nilpotent) group and <span> <span>\\(H\\le G\\)</span> </span> is a virtually polycyclic subgroup, then <em>H</em> is nilpotent and the pro-<em>p</em> topology of <em>G</em> induces on <em>H</em> its full pro-<em>p</em> topology. Then we study applications to profinite rigidity. Remeslennikov conjectured that a finitely generated residually finite <em>G</em> with profinite completion <span> <span>\\({\\hat{G}}\\cong {\\hat{S}}\\)</span> </span> is necessarily <span> <span>\\(G\\cong S\\)</span> </span>. We confirm this when <em>G</em> belongs to a class of groups <span> <span>\\({\\mathcal {H}_\\textbf{ab}}\\)</span> </span> that has a finite abelian hierarchy starting with finitely generated residually free groups. This strengthens a previous result of Wilton that relies on the hyperbolicity assumption. Lastly, we prove that the group <span> <span>\\(S\\times \\mathbb {Z}^n\\)</span> </span> is profinitely rigid within finitely generated residually free groups.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"28 1","pages":""},"PeriodicalIF":1.3000,"publicationDate":"2024-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematische Annalen","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00208-023-02785-6","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let S be either a free group or the fundamental group of a closed hyperbolic surface. We show that if G is a finitely generated residually-p group with the same pro-p completion as S, then two-generated subgroups of G are free. This generalises (and gives a new proof of) the analogous result of Baumslag for parafree groups. Our argument relies on the following new ingredient: if G is a residually-(torsion-free nilpotent) group and \(H\le G\) is a virtually polycyclic subgroup, then H is nilpotent and the pro-p topology of G induces on H its full pro-p topology. Then we study applications to profinite rigidity. Remeslennikov conjectured that a finitely generated residually finite G with profinite completion \({\hat{G}}\cong {\hat{S}}\) is necessarily \(G\cong S\). We confirm this when G belongs to a class of groups \({\mathcal {H}_\textbf{ab}}\) that has a finite abelian hierarchy starting with finitely generated residually free groups. This strengthens a previous result of Wilton that relies on the hyperbolicity assumption. Lastly, we prove that the group \(S\times \mathbb {Z}^n\) is profinitely rigid within finitely generated residually free groups.
摘要 假设 S 是自由群或封闭双曲面的基群。我们证明,如果 G 是一个有限生成的残 P 群,其原 P 完成与 S 相同,那么 G 的两个生成子群是自由的。这概括了鲍姆斯拉格(Baumslag)对无旁群的类似结果(并给出了新的证明)。我们的论证依赖于以下新要素:如果 G 是一个残余(无扭无钾)群,而 \(H\le G\) 是一个实际上多环的子群,那么 H 是无钾的,并且 G 的亲 P 拓扑会在 H 上诱导其完整的亲 P 拓扑。然后我们研究无限刚度的应用。雷梅斯连尼科夫猜想,有限生成的残差有限 G 具有无限完备性 \({\hat{G}}cong {\hat{S}}\) 必然是 \(G\cong S\) 。当 G 属于一类从有限生成的自由残差群开始具有有限无边层次的群(({\mathcal {H}_\textbf{ab}}\) 时,我们就能证实这一点。这加强了威尔顿之前的一个依赖于双曲性假设的结果。最后,我们证明了群\(S\times \mathbb {Z}^n\) 在有限生成的自由残差群中是无限刚性的。
期刊介绍:
Begründet 1868 durch Alfred Clebsch und Carl Neumann. Fortgeführt durch Felix Klein, David Hilbert, Otto Blumenthal, Erich Hecke, Heinrich Behnke, Hans Grauert, Heinz Bauer, Herbert Amann, Jean-Pierre Bourguignon, Wolfgang Lück und Nigel Hitchin.
The journal Mathematische Annalen was founded in 1868 by Alfred Clebsch and Carl Neumann. It was continued by Felix Klein, David Hilbert, Otto Blumenthal, Erich Hecke, Heinrich Behnke, Hans Grauert, Heinz Bauer, Herbert Amann, Jean-Pierre Bourguigon, Wolfgang Lück and Nigel Hitchin.
Since 1868 the name Mathematische Annalen stands for a long tradition and high quality in the publication of mathematical research articles. Mathematische Annalen is designed not as a specialized journal but covers a wide spectrum of modern mathematics.