Conjugacy class of homeomorphisms and distortion elements in groups of homeomorphisms
Abstract
Let S be a compact connected surface and let f be an element of the group Homeo\0(S) of homeomorphisms of S isotopic to the identity. Denote by f a lift of f to the universal cover of S. Fix a fundamental domain D of this universal cover. The homeomorphism f is said to be non-spreading if the sequence (d\n/n) converges to 0, where d\n is the diameter of fn(D). Let us suppose now that the surface S is orientable with a nonempty boundary. We prove that, if S is different from the annulus and from the disc, a homeomorphism is non-spreading if and only if it has conjugates in Homeo\0(S) arbitrarily close to the identity. In the case where the surface S is the annulus, we prove that a homeomorphism is non-spreading if and only if it has conjugates in Homeo\0(S) arbitrarily close to a rotation (this was already known in most cases by a theorem by B\'eguin, Crovisier, Le Roux and Patou). We deduce that, for such surfaces S, an element of Homeo\0(S) is distorted if and only if it is non-spreading.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.