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.

Profinite genus of fundamental groups of compact flat manifolds with the cyclic holonomy group of square-free order

On Fundamental Groups of Finsler Manifolds

On an Algebraic Formula and Applications to Group Action on Manifolds

Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds

Profinite properties of residually free groups

On the profinite rigidity of free and surface groups

Virtual homology of limit groups and profinite rigidity of direct products

Local Estimate of Fundamental Groups

Finite subgroups of the profinite completion of good groups

Profinite almost rigidity in 3-manifolds

Genus and crosscap of solvable conjugacy class graphs of finite groups

A new approach to the genus spectra of abelian $p$-groups

Finitely Generated Nilpotent Groups of Infinite Cyclic Commutator Subgroups

Planar transitive graphs

On the profinite fundamental group of a connected Grothendieck topos

Finite generation of fundamental groups for manifolds with nonnegative Ricci curvature whose universal cover is almost $k$-polar at infinity

Profinite rigidity for free-by-cyclic groups with centre

A Frobenius-Type Formula for Compact Lie Groups

On the virtually cyclic dimension of normally poly-free groups

Finite generation of nilpotent quotients of fundamental groups of punctured spectra