Kapovich, Ilya; Lustig, Martin Cannon-Thurston fibers for iwip automorphisms of \(F_N\). (English) Zbl 1325.20035 J. Lond. Math. Soc., II. Ser. 91, No. 1, 203-224 (2015). According to the notion of a Cannon-Thurston map studied by J. W. Cannon and W. P. Thurston, [Geom. Topol. 11, 1315-1355 (2007; Zbl 1136.57009)], in group-theoretic terms an analogous notion is developed by M. Mitra [in Geom. Funct. Anal. 7, No. 2, 379-402 (1997; Zbl 0880.57001); Topology 37, No. 3, 527-538 (1998; Zbl 0907.20038); Geom. Topol. Monogr. 1, 341-364 (1998; Zbl 0914.20034)]. If \(G\) is a word-hyperbolic group and \(H\) a word-hyperbolic subgroup, and if the inclusion \(\iota\colon H\to G\) extends to a continuous map \(\widehat\iota\colon\partial H\to\partial G\), then the map \(\widehat\iota\) is called the Cannon-Thurston map. In particular if the Cannon-Thurston map exists, then it is unique. It is well known that if \(H\leq G\) is a quasiconvex subgroup of a word-hyperbolic group \(G\), then \(H\) is word-hyperbolic and the inclusion extends to a continuous topological embedding \(\partial H\to\partial G\). Thus in this case the Cannon-Thurston map exists and, moreover, is injective. A result of Mitra [in loc. cit., Zbl 0907.20038] states that whenever \(1\to H\to G\to Q\to 1\) is a short exact sequence of word-hyperbolic groups, then the inclusion \(H\leq G\) extends to a continuous Cannon-Thurston map \(\widehat\iota\colon\partial H\to\partial G\). Until recently, it has been unknown whether there are any inclusions \(H\leq G\) (with \(H\) and \(G\) word-hyperbolic) where the Cannon-Thurston map does not exist. In [Forum Math. Sigma 1, Article ID e3 (2013; Zbl 1276.20054)], O. Baker and T. R. Riley construct the first example of such an inclusion where the Cannon-Thurston map does not exist. Let \(F_N\) be the free group of rank \(N\geq 2\) and \(\Phi\in\operatorname{Aut}(F_N)\), then the mapping torus group of \(\Phi\) is \(G_\Phi=F_N\rtimes_\Phi\langle t\rangle\). Since the inclusion \(F_N\leq G_\Phi\) depends only on the outer automorphism class \(\varphi\in\text{Out}(F_N)\) of \(\Phi\), we have the short exact sequence \(1\to F_N\to G_\varphi\to\langle t\rangle\to 1\). If the group \(G_\varphi\) is word-hyperbolic (in this case the automorphism \(\Phi\) (or \(\varphi\)) is called hyperbolic), then by the above mentioned Mitra’s result, there does exist a continuous \(F_N\)-equivariant surjective Cannon-Thurston map \(\widehat\iota\colon\partial F_N\to\partial G_\varphi\). In the present paper the authors study this Cannon-Thurston map \(\widehat\iota\). Before stating their main results we quote some definitions and terminology referring for details to the paper. An automorphism \(\Phi\in\operatorname{Aut}(F_N)\) or its associated outer automorphism \(\varphi\in\text{Out}(F_N)\) is called fully irreducible or ‘iwip’ if there is no non-trivial proper free factor of \(F_N\) which is mapped by any positive power of \(\Phi\) to a conjugate of itself. – An automorphism \(\Phi\in\operatorname{Aut}(F_N)\) or its associated outer automorphism \(\varphi\in\text{Out}(F_N)\) is called atoroidal if no positive power of \(\Phi\) fixes any non-trivial conjugacy class \([w]\subseteq F_N\). For any iwip automorphism \(\varphi\in\text{Out}(F_N)\) the following are equivalent. (1) The automorphism \(\varphi\) is atoroidal. (2) The automorphism \(\varphi\) is not induced by a homeomorphism of a surface with boundary. (3) The mapping torus group \(G_\varphi\) is word-hyperbolic. A point \(S\in\partial G_\varphi\) is called rational if it is the fixed point of an element \(g\in G_\varphi\setminus\{1\}\). If \(S=\lim_{n\to\infty}g^n\) (in the topology of the Gromov compactification of hyperbolic groups), then we write \(S=g^\infty\). Let \(S\in\partial G_\varphi\). The degree \(\deg(S)\) of \(S\) denotes the cardinality of the full preimage of \(S\) under the map \(\widehat\iota\colon\partial F_N\to\partial G_\varphi\). The following classes of points \(S\in\partial G_\varphi\) are defined: The point \(S\) is simple if \(\deg(S)=1\). The point \(S\) is regular if \(\deg(S)=2\). The point \(S\) is singular if \(\deg(S)\geq 3\). – The regular and singular points are subdivided into two types. The point \(S\) is of \(\varphi\)-type if for every two distinct \(\widehat\iota\)-preimages \(X,Y\in\partial F_N\) of \(S\), \((X,Y)\in L(T_-)\). The point \(S\) is of \(\varphi^{-1}\)-type if for every two distinct \(\widehat\iota\)-preimages \(X,Y\in\partial F_N\) of \(S\), \((X,Y)\in L(T_+)\); where \(L(T_-)\) and \(L(T_+)\) are laminations defined in the paper. Theorem 1. Let \(\varphi\in\text{Out}(F_N)\) be an atoroidal iwip and let \(\widehat\iota\colon\partial F_N\to\partial G_\varphi\) be the Cannon-Thurston map. Then one has \(\sum(\deg([S]_{F_N})-2)\leq 2N-2\), where the summation is taken over all \(F_N\)-orbits \([S]_{F_N}\) of singular points \(S\in\partial G_\varphi\) that are of \(\varphi\)-type. The same inequality holds if the summation is taken over all \(F_N\)-orbits \([S]_{F_N}\) of singular points of \(\varphi^{-1}\)-type. Theorem 2. Let \(\varphi\in\text{Out}(F_N)\) be an atoroidal iwip and let \(\widehat\iota\colon\partial F_N\to\partial G_\varphi\) be the Cannon-Thurston map. Then the following hold. (1) For every \(S\in\partial G_\varphi\), we have \(\deg(S)\leq 2N\). (2) The number of \(F_N\)-orbits of singular points of \(\varphi\)-type (respectively, of \(\varphi^{-1}\)-type ) in \(\partial G_\varphi\) satisfies \(\text{card}\{F_N\cdot S\subseteq\partial G_\varphi\mid S\) singular of \(\varphi\)-type \(\}\leq 2N-2\). (3) Every singular point \(S\in\partial G_\varphi\) is rational. More precisely, there exists \(g\in G_\varphi\setminus F_N\) such that \(S=g^\infty\). Theorem 3. Let \(\varphi\in\text{Out}(F_N)\) be an atoroidal iwip, let \(\widehat\iota\colon\partial F_N\to\partial G_\varphi\) be the Cannon-Thurston map and let \(g\in G_\varphi\setminus\{1\}\) be arbitrary. Then \(\deg(g^\infty)+\deg(g^{-\infty})\leq 4N-1\). The upper bounds given in the theorems above are sharp. (For a concrete example, for every \(N\geq 3\) the authors refer to [A. Jäger and M. Lustig, Geom. Topol. Monogr. 14, 321-333 (2008; Zbl 1140.20027)].) The paper concludes with the use of a proposition (Proposition 4.5 in the paper) to fill a gap in the proof of a Theorem of M. Mitra [in Proc. Am. Math. Soc. 127, No. 6, 1625-1631 (1999; Zbl 0918.20028)] (a correction obtained already by Mitra himself [in “On a theorem of Scott and Swarup”, arXiv:1209.4165]). Reviewer: Dimitrios Varsos (Athína) Cited in 2 ReviewsCited in 11 Documents MSC: 20F65 Geometric group theory 20F67 Hyperbolic groups and nonpositively curved groups 20E36 Automorphisms of infinite groups 20E05 Free nonabelian groups 57M07 Topological methods in group theory 37B10 Symbolic dynamics 57M50 General geometric structures on low-dimensional manifolds Keywords:word-hyperbolic groups; Cannon-Thurston map; iwip automorphisms; fully irreducible automorphisms; mapping torus groups Citations:Zbl 1136.57009; Zbl 0880.57001; Zbl 0907.20038; Zbl 0914.20034; Zbl 1276.20054; Zbl 1140.20027; Zbl 0918.20028 PDFBibTeX XMLCite \textit{I. Kapovich} and \textit{M. Lustig}, J. Lond. Math. Soc., II. Ser. 91, No. 1, 203--224 (2015; Zbl 1325.20035) Full Text: DOI arXiv References: [1] Alonso, Notes on word hyperbolic groups, Group theory from a geometrical viewpoint (Trieste, 1990) pp 3– (1991) [2] Baker, Cannon Thurston maps do not always exist, Forum Math. Sigma 1 (2013) · Zbl 1276.20054 [3] M. Bestvina Questions in geometric group theory updated July 2004 [4] Bestvina, A combination theorem for negatively curved groups, J. Differential Geom. 35 pp 85– (1992) · Zbl 0724.57029 [5] Bestvina, Laminations, trees, and irreducible automorphisms of free groups, Geom. Funct. Anal. 7 pp 215– (1997) · Zbl 0884.57002 [6] Bestvina, Train tracks and automorphisms of free groups, Ann. of Math. 135 ((2)) pp 1– (1992) · Zbl 0757.57004 [7] Bowditch, Stacks of hyperbolic spaces and ends of 3-manifolds, Contemp. Math. 597 pp 65– (2013) · Zbl 1297.57044 [8] Bowditch, The Cannon-Thurston map for punctured-surface groups, Math. Z. 255 pp 35– (2007) · Zbl 1138.57020 [9] Brinkmann, Hyperbolic automorphisms of free groups, Geom. Funct. Anal. 10 pp 1071– (2000) · Zbl 0970.20018 [10] Brinkmann, Splittings of mapping tori of free group automorphisms, Geom. Dedicata 93 pp 191– (2002) · Zbl 1044.20010 [11] Cannon, Group invariant Peano curves, Geom. Topol. 11 pp 1315– (2007) · Zbl 1136.57009 [12] Coulbois, Botany of irreducible automorphisms of free groups, Pacific J. Math. 256 pp 291– (2012) · Zbl 1259.20031 [13] Coulbois, Rips induction: index of the dual lamination of an R-tree, Groups Geom. Dyn. 8 pp 97– (2014) · Zbl 1336.20033 [14] Coulbois, Non-unique ergodicity, observers’ topology and the dual algebraic lamination for R-trees, Illinois J. Math. 51 pp 897– (2007) · Zbl 1197.20020 [15] Coulbois, R-trees and laminations for free groups I: algebraic laminations, J. London Math. Soc. 78 ((2)) pp 723– (2008) · Zbl 1197.20019 [16] Coulbois, R-trees and laminations for free groups II: the dual lamination of an R-tree, J. London Math. Soc. 78 ((2)) pp 737– (2008) · Zbl 1198.20023 [17] T. Coulbois A. Hilion P. Reynolds Indecomposable F N -trees and minimal laminations · Zbl 1342.20028 [18] Culler, Moduli of graphs and automorphisms of free groups, Invent. Math. 84 pp 91– (1986) · Zbl 0589.20022 [19] S. Dowdall I. Kapovich C. J. Leininger Dynamics on free-by-cyclic groups · Zbl 1364.20026 [20] Gaboriau, An index for counting fixed points of automorphisms of free groups, Duke Math. J. 93 pp 425– (1998) · Zbl 0946.20010 [21] Gerasimov, Floyd maps to the boundaries of relatively hyperbolic groups, Geom. Funct. Anal. 22 pp 1361– (2012) · Zbl 1276.20050 [22] V. Gerasimov L. Potyagailo Non-finitely generated relatively hyperbolic groups and Floyd quasiconvexity · Zbl 1364.20032 [23] V. Gerasimov L. Potyagailo Quasiconvexity in the relatively hyperbolic groups · Zbl 1361.20031 [24] Gerasimov, Quasi-isometric maps and Floyd boundaries of relatively hyperbolic groups, J. Eur. Math. Soc. 15 pp 2115– (2013) · Zbl 1292.20047 [25] Guirardel, Approximations of stable actions on R-trees, Comment. Math. Helv. 73 pp 89– (1998) · Zbl 0979.20026 [26] Guirardel, Dynamics of Out (Fn) on the boundary of outer space, Ann. Sci. École Norm. Sup. 33 ((4)) pp 433– (2000) · Zbl 1045.20034 [27] Guirardel, Actions of finitely generated groups on R-trees, Ann. Inst. Fourier (Grenoble) 58 pp 159– (2008) · Zbl 1187.20020 [28] M. Hagen D. Wise Cubulating hyperbolic free-by-cyclic groups · Zbl 1368.20050 [29] Jäger, Free group automorphisms with many fixed points at infinity, The Zieschang Gedenkschrift pp 321– (2008) [30] W. Jeon I. Kapovich C. J. Leininger K. Ohshika Conical limit points and the Cannon-Thurston map · Zbl 1375.20045 [31] Kameyama, On Julia sets of postcritically finite branched coverings. II. S1-parametrization of Julia sets, J. Math. Soc. Japan 55 pp 455– (2003) · Zbl 1162.37319 [32] Kapovich, Algorithmic detectability of iwip automorphisms, Bull. London Math. Soc. 46 pp 279– (2014) · Zbl 1319.20030 [33] Kapovich, Boundaries of hyperbolic groups, Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001) pp 39– (2002) [34] Kapovich, Hyperbolic groups with low-dimensional boundary, Ann. Sci. Ecole Norm. Sup. 33 ((4)) pp 647– (2000) · Zbl 0989.20031 [35] Kapovich, Invariant laminations for irreducible automorphisms of free groups, Q. J. Math. 65 pp 1241– (2014) · Zbl 1348.20035 [36] Kapovich, Greenberg’s theorem for quasiconvex subgroups of word hyperbolic groups, Canad. J. Math. 48 pp 1224– (1996) · Zbl 0873.20025 [37] Klarreich, Semiconjugacies between Kleinian group actions on the Riemann sphere, Amer. J. Math. 121 pp 1031– (1999) · Zbl 1011.30035 [38] Leininger, Universal Cannon-Thurston maps and the boundary of the curve complex, Comment. Math. Helv. 86 pp 769– (2011) · Zbl 1248.57003 [39] Levitt, Irreducible automorphisms of Fn have North-South dynamics on compactified outer space, J. Inst. Math. Jussieu 2 pp 59– (2003) · Zbl 1034.20038 [40] Matsuda, On Cannon-Thurston maps for relatively hyperbolic groups, J. Group Theory 17 pp 41– (2014) · Zbl 1307.20038 [41] McMullen, Local connectivity, Kleinian groups and geodesics on the blowup of the torus, Invent. Math. 146 pp 35– (2001) · Zbl 1061.37025 [42] Meyer, Invariant Peano curves of expanding Thurston maps, Acta Math. 210 pp 95– (2013) · Zbl 1333.37043 [43] Milnor, Pasting together Julia sets: a worked out example of mating, Experiment. Math. 13 pp 55– (2004) · Zbl 1115.37051 [44] Minsky, On rigidity, limit sets, and end invariants of hyperbolic 3-manifolds, J. Amer. Math. Soc. 7 pp 539– (1994) · Zbl 0808.30027 [45] Mitra, Ending laminations for hyperbolic group extensions, Geom. Funct. Anal. 7 pp 379– (1997) · Zbl 0880.57001 [46] Mitra, Cannon-Thurston maps for trees of hyperbolic metric spaces, J. Differential Geom. 48 pp 135– (1998) · Zbl 0906.20023 [47] Mitra, Cannon-Thurston maps for hyperbolic group extensions, Topology 37 pp 527– (1998) · Zbl 0907.20038 [48] Mitra, Coarse extrinsic geometry: a survey, The Epstein birthday schrift pp 341– (1998) [49] Mitra, On a theorem of Scott and Swarup, Proc. Amer. Math. Soc. 127 pp 1625– (1999) · Zbl 0918.20028 [50] M. Mitra On a theorem of Scott and Swarup (corrected version) [51] Mj, Cannon-Thurston maps for pared manifolds of bounded geometry, Geom. Topol. 13 pp 189– (2009) · Zbl 1166.57009 [52] Mj, Relative hyperbolicity, trees of spaces and Cannon-Thurston maps, Geom. Dedicata 151 pp 59– (2011) · Zbl 1222.57013 [53] C. Pfaff Out ( F 3 ) index realization [54] Reynolds, On indecomposable trees in the boundary of outer space, Geom. Dedicata 153 pp 59– (2011) · Zbl 1245.20029 [55] Rivin, Zariski density and genericity, Int. Math. Res. Not. 2010 pp 3649– (2010) · Zbl 1207.20045 [56] Shishikura, On a theorem of M. Rees for matings of polynomials, The Mandelbrot set, theme and variations pp 289– (2000) · Zbl 1062.37039 [57] Vogtmann, Automorphisms of free groups and outer space, Geom. Dedicata 94 pp 1– (2002) · Zbl 1017.20035 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.