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
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
free group
0 references
outer automorphism
0 references
outer space, axis bundle
0 references