A restricted Magnus property for profinite surface groups

Magnus proved in 1930 that, given two elements xx and yy of a finitely generated free group FF with equal normal closures ⟨x⟩F=⟨y⟩F\langle x\rangle ^F=\langle y\rangle ^F, xx is conjugated either to yy or y−1y^{-1}. More recently, this property, called the Magnus property, has been generalized to oriented surface groups. In this paper, we consider an analogue property for profinite surface groups. While the Magnus property, in general, does not hold in the profinite setting, it does hold in some restricted form. In particular, for S\mathscr {S} a class of finite groups, we prove that if xx and yy are algebraically simple elements of the pro-S\mathscr {S} completion Π^S\widehat {\Pi }^{\mathscr {S}} of an orientable surface group Π\Pi such that, for all n∈Nn\in \mathbb {N}, there holds ⟨xn⟩Π^S=⟨yn⟩Π^S\langle x^n\rangle ^{\widehat {\Pi }^{\mathscr {S}}}=\langle y^n\rangle ^{\widehat {\Pi }^{\mathscr {S}}}, then xx is conjugated to ysy^s for some s∈(Z^S)∗s\in (\widehat {\mathbb Z}^{\mathscr {S}})^\ast. As a matter of fact, a much more general property is proved and further extended to a wider class of profinite completions. The most important application of the theory above is a generalization of the description of centralizers of profinite Dehn twists given in [Marco Boggi, Trans. Amer. Math. Soc. 366 (2014), 5185–5221] to profinite Dehn multitwists.