Hyperbolic extensions of free groups from atoroidal ping-pong

DOI10.2140/AGT.2019.19.1385MaRDI QIDQ2279052zbMATH OpenOpenAlexWikidataFDO

Publication date 12 December 2019

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1711.07923

\(\operatorname{Out}(F_N)\)free groups geodesic currents hyperbolic extensions

Free nonabelian groups (20E05) Automorphism groups of groups (20F28) Hyperbolic groups and nonpositively curved groups (20F67) Dynamical systems of geometric origin and hyperbolicity (geodesic and horocycle flows, etc.) (37D40) Topological methods in group theory (57M07)

Abstract: We prove that all atoroidal automorphisms of

O u t (F_{N})

act on the space of projectivized geodesic currents with generalized north-south dynamics. As an application, we produce new examples of non virtually cyclic, free and purely atoroidal subgroups of

O u t (F_{N})

such that the corresponding free group extension is hyperbolic. Moreover, these subgroups are not necessarily convex cocompact.

Review text

By pioneer works of \textit{M. Gromov} in geometric group theory, the notion of hyperbolic group was introduced in the 1980s, and his works made a great influence on the development of group theory. His paper [Publ. Math. Sci. Res. Inst. 8, 75--263 (1987; Zbl 0634.20015)] is referred by a huge number of authors. So far, hyperbolic groups have been studied from various perspectives, for example characterization by actions, presentations, classifying spaces, decision problems, growth functions, boundaries and so on. For example, see Section 7 of a remarkable survey article [Münster J. Math. 1, No. 1, 73--108 (2008; Zbl 1197.20036)] by \textit{W. Lück}, who describes himself as ``a non-expert who likes geometric group theory in the article. The study of hyperbolic extensions of surface groups by mapping class groups goes back to Thurston's work on the hyperbolization of fibered 3-manifolds. It has achieved a good progress by several authors, including \textit{M. Bestvina} and \textit{M. Feighn} [J. Differ. Geom. 35, No. 1, 85--102 (1992; Zbl 0724.57029)], \textit{B. Farb} and \textit{L. Mosher} [Geom. Topol. 6, 91--152 (2002; Zbl 1021.20034)] and \textit{U. Hamenstädt} [``Word hyperbolic extensions of surface groups, Preprint, \url{arXiv:math.GT/0505244}]. As a comparative study, hyperbolic extensions of free groups by outer automorphism groups of free groups has been also studied by \textit{S. Dowdall} and \textit{S. Taylor} [Geom. Topol. 22, No. 1, 517--570 (2018; Zbl 1439.20034)]. Let \(F_n\) be a free group of rank \(n \geq 3\). The quotient group of the automorphism group \(\Aut F_n\) by the inner automorphism group \(\mathrm{Inn}\,F_n\) is the outer automorphism group of \(F_n\), denoted by \(\operatorname{Out}F_n\). Let \(\pi : \Aut F_n \rightarrow \operatorname{Out}F_n\) be the natural map. Then we have a question: What is the necessary and sufficient condition for a subgroup \(\Gamma \leq \operatorname{Out}F_n\) to satisfy that the preimage \(\pi^{-1}(\Gamma)\) is hyperbolic? Dowdall and Taylor [loc. cit.] initiated a systematic study to attack this problem. In the present paper, the author develops their research and gives new examples of hyperbolic extensions. Let us explain it more precisely. An outer automorphism \(\varphi \in \operatorname{Out}F_n\) is called atroidal (fully irreducible) if no power of \(\varphi\) fixes a nontrivial conjugacy class (the conjugacy class of a proper free factor) of \(F_n\). A subgroup of \(\operatorname{Out}F_n\) is called purely atroidal if every infinite-order element is atroidal. In Corollary 1.5, the author shows that for a fully irreducible atroidal outer automorphism \(\varphi \in \operatorname{Out}F_n\) and for any atroidal outer automorphism \(\psi \in \operatorname{Out}F_n\) which is not commensurable with \(\varphi\) there exists an \(M>0\) such that for all \(n, m >M\) the subgroup \(\Gamma \leq \operatorname{Out}F_n\) generated by \(\varphi^n\) and \(\psi^m\) is purely atroidal, and \(\pi^{-1}(\Gamma)\) is hyperbolic. In this paper, in Section 3 the author proves that all atroidal outer automorphisms of \(F_n\) act on the space of projectivized geodesic currents with generalized north-south dynamics (see Theorem 1.4.). This part seems to be the main part of the paper. Using Theorem 1.4, the author shows a proposition with respect to a certain property of atroidal outer automorphisms of \(F_n\) (see Proposition 4.4.). Then using Proposition 4.4 and the Bestvina-Feighn combination theorem, the author proves the main theorem of the paper, which is a generalization of a result of \textit{M. Bestvina} et al. [Geom. Funct. Anal. 7, No. 2, 215--244 (1997; Zbl 0884.57002)] (see Theorem 1.1.). As a corollary to Theorem 1.1, the author proves Corollary 1.5.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Hyperbolic extensions of free groups from atoroidal ping-pong

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279052)