Co-Hopfianity is not a profinite property

Abstract

We exhibit two finitely generated residually finite groups $G$ and $H$ with isomorphic profinite completions $\hat{G}\cong \hat{H}$, such that $G$ is co-Hopfian while $H$ is not. The construction utilizes Wise's residually finite version of the Rips construction applied to a finitely presented acyclic group $U$ with trivial profinite completion and a strong universality property. A key feature of our approach is the construction of $H$ as a preimage subgroup of $G$ which is conjugate to a proper subgroup of itself. This renders the non-co-Hopfianity of $H$ immediate without requiring a detailed structural analysis of the Rips kernel.

arXiv comment8 pages. Comments are welcome. We have corrected a minor error and added some references