Normalizers and centralizers of cyclic subgroups generated by lone axis fully irreducible outer automorphisms (Q526164)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Normalizers and centralizers of cyclic subgroups generated by lone axis fully irreducible outer automorphisms
scientific article

    Statements

    Normalizers and centralizers of cyclic subgroups generated by lone axis fully irreducible outer automorphisms (English)
    0 references
    0 references
    0 references
    10 May 2017
    0 references
    Given a pseudo-Anosov mapping class \(\phi\) of a compact, connected and orientable surface of negative Euler characteristic, the centralizer \(\mathrm{Cen}(\langle \phi \rangle)\) and the normalizer \(\mathrm{N}(\langle \phi \rangle)\) of the cyclic subgroup \(\langle \phi \rangle\) are virtually cyclic. Let \(F_{r}\) be the free group of rank \(r>1\) and \(\mathrm{Out}(F_{r})\) the group of its outer automorphisms. In [Geom. Funct. Anal. 7, No. 2, 215--244 (1997; Zbl 0884.57002)], \textit{M. Bestvina} et al. constructed for \(\phi \in \mathrm{Out}(F_{r})\), a fully irreducible outer automorphism, the attracting and repelling laminations \(\Lambda_{+}\), \(\Lambda_{1}\). They proved that the stabilizer \(\mathrm{Stab}(\Lambda_{+})\) of \(\Lambda_{+}\) in \(\mathrm{Out}(F_{r})\) is virtually cyclic. Let \(\mathrm{Comm}(\langle \phi \rangle)\) denote the commensurator of \(\phi\). Whenever the lamination \(\Lambda_{+}\) is defined we have \[ \langle \phi \rangle \leq \mathrm{Cen}(\phi) \leq \mathrm{N}(\langle \phi \rangle) \leq \mathrm{Comm}(\langle \phi \rangle) \leq \mathrm{Stab}(\{\Lambda_{+},\Lambda_{-}\}). \] This paper is devoted to the study of normalizers and centralizers of fully irreducible outer automorphisms of \(F_{r}\). The main results (Theorems A and B) say that if \(\phi\) is an ageometric fully irreducible lone axis outer automorphism, then \(\mathrm{Cen}(\langle \phi \rangle)\) is the infinite cyclic group and \(\mathrm{N}(\langle \phi \rangle)=\mathrm{Comm}(\langle \phi\rangle)\) is either equal to its centralizer or is a free product of two cyclic groups of order two (that is isomorphic to the dihedral group of infinite order).
    0 references
    0 references
    free group
    0 references
    outer automorphism
    0 references
    outer space, axis bundle
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references