Abstract
Let ϕ be an atoroidal outer automorphism of the free group Fn. We study the Gromov boundary of the hyperbolic group Gϕ = Fn ⋊ϕ ℤ. Using the Cannon-Thurston map, we explicitly describe a family of embeddings of the complete bipartite graph K3,3 into the boundary of the free-by-cyclic group. To do so, we define the directional Whitehead graph and use it to relate the topology of the boundary to the structure of the Rips Machine associated to a fully irreducible outer automorphism of the free group. In particular, we prove that an indecomposable Fn-tree is Levitt type if and only if one of its directional Whitehead graphs contains more than one edge. As an application, we obtain a new proof of Kapovich-Kleiner’s theorem [KK00] that ∂Gϕ is homeomorphic to the Menger curve if the automorphism is atoroidal and fully irreducible.
Similar content being viewed by others
References
R. D. Anderson, A characterization of the universal curve and a proof of its homogeneity, Annals of Mathematics 67 (1958), 313–324.
R. D. Anderson, One-dimensional continuous curves and a homogeneity theorem, Annals of Mathematics 68 (1958), 1–16.
M. Bestvina and M. Feighn, Outer limts, http://andromeda.rutgers.edu/∼feighn/papers/outer.pdf.
M. Bestvina, M. Feighn and M. Handel, Laminations, trees, and irreducible automorphisms of free groups, Geometric and Functional Analysis 7 (1997), 215–244.
M. Bestvina and M. Handel, Train tracks and automorphisms of free groups, Annals of Mathematics 135 (1992), 1–51.
M. Bestvina and G. Mess, The boundary of negatively curved groups, Journal of the American Mathematical Society 4 (1991), 469–481.
B. H. Bowditch, Cut points and canonical splittings of hyperbolic groups, Acta Mathematica 180 (1998), 145–186.
B. H. Bowditch, Connectedness properties of limit sets, Transactions of the American Mathematical Society 351 (1999), 3673–3686.
B. H. Bowditch, Relatively hyperbolic groups, Internationla Journal of Algebra and Computation 22 (2012), Article no. 1250016.
P. Brinkmann, Hyperbolic automorphisms of free groups, Geometric and Functional Analysis 10 (2000), 1071–1089.
P. Brinkmann, Splittings of mapping tori of free group automorphisms, Geometriae Dedicata 93 (2002), 191–203.
T. Coulbois and A. Hilion, Botany of irreducible automorphisms of free groups, Pacific Journal fo Mathematics 256 (2012), 291–307.
T. Coulbois and A. Hilion, Rips induction: index of the dual lamination of an ℝ-tree, Groups, Geometry, and Dynamics 8 (2014), 97–134.
T. Coulbois, A. Hilion and M. Lustig, Non-unique ergodicity, observers’ topology and the dual algebraic lamination for ℝ-trees Illinois Journal of Mathematics 51 (2007), 897–911.
T. Coulbois, A. Hilion and M. Lustig, ℝ-trees, dual laminations and compact systems of partial isometries Mathematical Proceedings of the Cambridge Philosophical Society 147 (2009), 345–368.
T. Coulbois, A. Hilion and P. Reynolds, Indecomposable FN-trees and minimal laminations, Groups, Geometry, and Dynamics 9 (2015), 567–597.
A. Casson and D. Jungreis, Convergence groups and Seifert fibered 3-manifolds, Inventiones Mathematicae 118 (1994), 441–456.
M. M. Cohen and M. Lustig, Very small group actions on R-trees and Dehn twist automorphisms, Topology 34 (1995), 575–617.
S. Claytor, Topological immersion of Peanian continua in a spherical surface, Annals of Mathematics 35 (1934), 809–835.
M. Culler and J. W. Morgan, Group actions on R-trees, Proceedings of the London Mathematical Society 55 (1987), 571–604.
J. W. Cannon and W. P. Thurston, Group invariant Peano curves, Geometry & Topology 11 (2007), 1315–1355.
M. Culler and K. Vogtmann, Moduli of graphs and automorphisms of free groups, Inventiones Mathematicae 84 (1986), 91–119.
S. Dowdall, I. Kapovich and C. J. Leininger, Dynamics on free-by-cyclic groups, Geometry & Topology 19 (2015), 2801–2899.
S. Dowdall, I. Kapovich and C. J. Leininger, Endomorphisms, train track maps, and fully irreducible monodromies, Groups, Geometry, and Dynamics 11 (2017), 1179–1200.
S. Dowdall, I. Kapovich and C. J. Leininger, McMullen polynomials and Lipschitz flows for free-by-cyclic groups, Journal of the European Mathematical Society 19 (2017), 3253–3353.
D. Gabai, Convergence groups are Fuchsian groups, Annals of Mathematics 136 (1992), 447–510.
D. Gaboriau, A. Jaeger, G. Levitt and M. Lustig, An index for counting fixed points of automorphisms of free groups, Duke Mathematical Journal 93 (1998), 425–452.
P. Haissinsky, Géométrie quasiconforme, analyse au bord des espaces métriques hyperboliques et rigidités [d’après Mostow, Pansu, Bourdon, Pajot, Bonk, Kleiner…], Astérisque 326 (2009), 321–362.
A. Hilion, On the maximal subgroup of automorphisms of a free group FN which fix a point of the boundary ∂FN, International Mathematics Research Notices 2007 (2007), Article no. 66.
G. C. Hruska and B. Kleiner, Hadamard spaces with isolated flats, Geometry & Topology 9 (2005), 1501–1538.
M. Handel and L. Mosher, Axes in outer space, Memoirs of the American Mathematical Society 213 (2011).
M. Handel and L. Mosher, Subgroup decomposition in Out(Fn), Memoirs of the American Mathematical Society 1280 (2020)
M. Kapovich and B. Kleiner, Hyperbolic groups with low-dimensional boundary, Annales Scientifiques de l’École Normale Supérieure 33 (2000), 647–669.
I. Kapovich and M. Lustig, Invariant laminations for irreducible automorphisms of free groups, Quarterly Journal of Mathematics 65 (2014), 1241–1275.
I. Kapovich and M. Lustig, Cannon-Thurston fibers for iwip automorphisms of FN, Journal of the London Mathematical Society 91 (2015), 203–224.
K. Kuratowski, Sur le probleme des courbes gauches en topologie, Fundamenta Mathematica 15 (1930), 271–283.
G. Levitt and M. Lustig, Irreducible automorphisms of Fn have north-south dynamics on compactified outer space, Journal of the Institute of Mathematics of Jussieu 2 (2003), 59–72.
M. Mitra, Cannon-Thurston maps for hyperbolic group extensions, Topology 37 (1998), 527–538.
F. Paulin, Un groupe hyperbolique est determiné par son bord, Journal of the London Mathematical Society 54 (1996), 50–74.
K. Ruane, CAT(0) boundaries of truncated hyperbolic space, Topology Proceedings 29 (2005), 317–331.
G. A. Swarup, On the cut point conjecture, Electronic Research Announcements of the American Mathematical Society 2 (1996), 98–100.
P. Tukia, Homeomorphic conjugates of Fuchsian groups, Journal die Reine und Angewandte Mathematik 391 (1998), 1–54.
K. Vogtmann, Automorphisms of free groups and outer space, Geometriae Dedicata 94 (2002), 1–31.
G. T. Whyburn, Topological characterization of the Sierpiński curve, Fundamenta Mathematica 45 (1958), 320–324.
Author information
Authors and Affiliations
Corresponding author
Additional information
The first and third authors were supported by ISF grant 1941/14.
The second author has been supported by the ANR grant DAGGER ANR-16-CE40-0006-01.
The third author was supported by the Azrieli Foundation and was partially supported at the Technion by a Zuckerman STEM Leadership Postdoctoral Fellowship.
Rights and permissions
About this article
Cite this article
Algom-Kfir, Y., Hilion, A. & Stark, E. The visual boundary of hyperbolic free-by-cyclic groups. Isr. J. Math. 244, 501–538 (2021). https://doi.org/10.1007/s11856-021-2191-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-021-2191-4