A RESTRICTED MAGNUS PROPERTY FOR PROFINITE SURFACE GROUPS

Magnus proved in 1930 that, given two elements x and y of a finitely generated free group F with equal normal closures < x >(F) = < y >(F), x is conjugated either to y or y(-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 (sic) a class of finite groups, we prove that if x and y are algebraically simple elements of the pro-(sic) completion (Pi) over cap ((sic)) of an orientable surface group. such that, for all n is an element of N, there holds < x(n)>(Pi) over cap ((sic)) = < y(n)>(Pi) over cap ((sic)), then x is conjugated to y(s) for some s is an element of((Z) over cap ((sic)))*. 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.