On the profinite rigidity of free and surface groups

IF 1.3 2区 数学 Q1 MATHEMATICS Mathematische Annalen Pub Date : 2024-01-11 DOI:10.1007/s00208-023-02785-6
{"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.

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
论自由群和面群的无限刚度
摘要 假设 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.
期刊最新文献
Coarsely holomorphic curves and symplectic topology On the uniqueness of periodic solutions for a Rayleigh–Liénard system with impulses Multifractality and intermittency in the limit evolution of polygonal vortex filaments Uniformly super McDuff $$\hbox {II}_1$$ factors Normalized solutions for Kirchhoff equations with Sobolev critical exponent and mixed nonlinearities
×
引用
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