On the profinite rigidity of free and surface groups

Ismael Morales
DOI: https://doi.org/10.1007/s00208-023-02785-6
2024-01-13
Mathematische Annalen
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 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 is necessarily . We confirm this when G belongs to a class of groups 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 is profinitely rigid within finitely generated residually free groups.
mathematics
What problem does this paper attempt to address?