The strong profinite genus of a finitely presented group can be infinite. (Q303826)

In 1970 Alexander Grothendieck posed the following problem: let \(\Gamma_1\) and \(\Gamma_2\) be residually finite groups and let \(u\colon\Gamma_1\to\Gamma_2\) be a homomorphism such that the induced map of profinite completions \(\widehat u\colon\widehat\Gamma_1\to\widehat\Gamma_2\) is an isomorphism; if \(\Gamma_1\) and \(\Gamma_2\) are finitely presented, must \(u\) be an isomorphism? This problem was settled [in Ann. Math. (2) 160, No. 1, 359-373 (2004; Zbl 1083.20023)] by \textit{F. J. Grunewald} and the author who showed that \(u\) need not be an isomorphism. There has since been a considerable amount of work exploring the extent to which \(\Gamma_1\) can differ from \(\Gamma_2\). In this paper the author constructs the first examples of finitely presented, residually finite groups \(\Gamma\) that contain an infinite sequence of non-isomorphic finitely presented subgroups \(P_n\hookrightarrow\Gamma\) such that the inclusion maps induce isomorphisms of profinite completions \(\widehat P_n\cong\widehat\Gamma\).