On the profinite rigidity of free and surface groups

IF 1.3 2区 数学 Q1 MATHEMATICS
{"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\) 在有限生成的自由残差群中是无限刚性的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Mathematische Annalen
Mathematische Annalen 数学-数学
CiteScore
2.90
自引率
7.10%
发文量
181
审稿时长
4-8 weeks
期刊介绍: 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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信