## Displacements of automorphisms of free groups I: Displacement functions, minpoints and train tracks

HTML articles powered by AMS MathViewer

- by Stefano Francaviglia and Armando Martino PDF
- Trans. Amer. Math. Soc.
**374**(2021), 3215-3264 Request permission

## Abstract:

This is the first of two papers in which we investigate the properties of the displacement functions of automorphisms of free groups (more generally, free products) on Culler-Vogtmann Outer space and its simplicial bordification – the free splitting complex – with respect to the Lipschitz metric. The theory for irreducible automorphisms being well-developed, we concentrate on the reducible case. Since we deal with the bordification, we develop all the needed tools in the more general setting of deformation spaces, and their associated free splitting complexes.

In the present paper we study the local properties of the displacement function. In particular, we study its convexity properties and the behaviour at bordification points, by geometrically characterising its continuity-points. We prove that the global-simplex-displacement spectrum of $Aut(F_n)$ is a well-ordered subset of $\mathbb {R}$, this being helpful for algorithmic purposes. We introduce a weaker notion of train tracks, which we call *partial train tracks* (which coincides with the usual one for irreducible automorphisms) and we prove that, for any automorphism, points of minimal displacement – minpoints – coincide with the marked metric graphs that support partial train tracks. We show that any automorphism, reducible or not, has a partial train track (hence a minpoint) either in the outer space or its bordification. We show that, given an automorphism, any of its invariant free factors is seen in a partial train track map.

In a subsequent paper we will prove that level sets of the displacement functions are connected, and we will apply that result to solve certain decision problems.

## References

- Yael Algom-Kfir,
*Strongly contracting geodesics in outer space*, Geom. Topol.**15**(2011), no. 4, 2181–2233. MR**2862155**, DOI 10.2140/gt.2011.15.2181 - Yael Algom-Kfir and Mladen Bestvina,
*Asymmetry of outer space*, Geom. Dedicata**156**(2012), 81–92. MR**2863547**, DOI 10.1007/s10711-011-9591-2 - Mladen Bestvina,
*A Bers-like proof of the existence of train tracks for free group automorphisms*, Fund. Math.**214**(2011), no. 1, 1–12. MR**2845630**, DOI 10.4064/fm214-1-1 - Mladen Bestvina, Mark Feighn, and Michael Handel,
*The Tits alternative for $\textrm {Out}(F_n)$. II. A Kolchin type theorem*, Ann. of Math. (2)**161**(2005), no. 1, 1–59. MR**2150382**, DOI 10.4007/annals.2005.161.1 - Mladen Bestvina and Michael Handel,
*Train tracks and automorphisms of free groups*, Ann. of Math. (2)**135**(1992), no. 1, 1–51. MR**1147956**, DOI 10.2307/2946562 - Marc Culler and Karen Vogtmann,
*Moduli of graphs and automorphisms of free groups*, Invent. Math.**84**(1986), no. 1, 91–119. MR**830040**, DOI 10.1007/BF01388734 - Stefano Francaviglia and Armando Martino,
*Metric properties of outer space*, Publ. Mat.**55**(2011), no. 2, 433–473. MR**2839451**, DOI 10.5565/PUBLMAT_{5}5211_{0}9 - Stefano Francaviglia and Armando Martino,
*The isometry group of outer space*, Adv. Math.**231**(2012), no. 3-4, 1940–1973. MR**2964629**, DOI 10.1016/j.aim.2012.07.011 - Stefano Francaviglia and Armando Martino,
*Stretching factors, metrics and train tracks for free products*, Illinois J. Math.**59**(2015), no. 4, 859–899. MR**3628293** - Stefano Francaviglia and Armando Martino,
*Displacements of automorphisms of free groups II: Connectedness of level sets*, preprint arXiv:1807.02782 - S. M. Gersten,
*Addendum: “On fixed points of certain automorphisms of free groups”*, Proc. London Math. Soc. (3)**49**(1984), no. 2, 340–342. MR**748994**, DOI 10.1112/plms/s3-49.2.340-s - S. M. Gersten,
*On fixed points of certain automorphisms of free groups*, Proc. London Math. Soc. (3)**48**(1984), no. 1, 72–90. MR**721773**, DOI 10.1112/plms/s3-48.1.72 - S. M. Gersten,
*Fixed points of automorphisms of free groups*, Adv. in Math.**64**(1987), no. 1, 51–85. MR**879856**, DOI 10.1016/0001-8708(87)90004-1 - Vincent Guirardel and Gilbert Levitt,
*The outer space of a free product*, Proc. Lond. Math. Soc. (3)**94**(2007), no. 3, 695–714. MR**2325317**, DOI 10.1112/plms/pdl026 - Michael Handel and Lee Mosher,
*The free splitting complex of a free group, I: hyperbolicity*, Geom. Topol.**17**(2013), no. 3, 1581–1672. MR**3073931**, DOI 10.2140/gt.2013.17.1581 - Michael Handel and Lee Mosher,
*The free splitting complex of a free group, II: Loxodromic outer automorphisms*, Trans. Amer. Math. Soc.**372**(2019), no. 6, 4053–4105. MR**4009387**, DOI 10.1090/tran/7698 - Allen Hatcher,
*Homological stability for automorphism groups of free groups*, Comment. Math. Helv.**70**(1995), no. 1, 39–62. MR**1314940**, DOI 10.1007/BF02565999 - Camille Horbez,
*Hyperbolic graphs for free products, and the Gromov boundary of the graph of cyclic splittings*, J. Topol.**9**(2016), no. 2, 401–450. MR**3509969**, DOI 10.1112/jtopol/jtv045 - Ilya Kapovich,
*Detecting fully irreducible automorphisms: a polynomial time algorithm*, Exp. Math.**28**(2019), no. 1, 24–38. With an appendix by Mark C. Bell. MR**3938575**, DOI 10.1080/10586458.2017.1326326 - Ilya Kapovich,
*Algorithmic detectability of iwip automorphisms*, Bull. Lond. Math. Soc.**46**(2014), no. 2, 279–290. MR**3194747**, DOI 10.1112/blms/bdt093 - Jérôme E. Los,
*On the conjugacy problem for automorphisms of free groups*, Topology**35**(1996), no. 3, 779–808. With an addendum by the author. MR**1396778**, DOI 10.1016/0040-9383(95)00035-6 - Martin Lustig,
*Conjugacy and centralizers for iwip automorphisms of free groups*, Geometric group theory, Trends Math., Birkhäuser, Basel, 2007, pp. 197–224. MR**2395795**, DOI 10.1007/978-3-7643-8412-8_{1}1 - Sebastian Meinert,
*The Lipschitz metric on deformation spaces of $G$-trees*, Algebr. Geom. Topol.**15**(2015), no. 2, 987–1029. MR**3342683**, DOI 10.2140/agt.2015.15.987 - John R. Stallings,
*Topology of finite graphs*, Invent. Math.**71**(1983), no. 3, 551–565. MR**695906**, DOI 10.1007/BF02095993 - E. Ventura,
*Fixed subgroups in free groups: a survey*, Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001) Contemp. Math., vol. 296, Amer. Math. Soc., Providence, RI, 2002, pp. 231–255. MR**1922276**, DOI 10.1090/conm/296/05077

## Additional Information

**Stefano Francaviglia**- Affiliation: Dipartimento di Matematica of the University of Bologna, Piazza di Porta S. Donato 5, 40126 Bologna, Italy
- MR Author ID: 677681
- Email: stefano.francaviglia@unibo.it
**Armando Martino**- Affiliation: Mathematical Sciences, University of Southampton Highfield, Southampton SO17 1BJ, United Kingdom
- MR Author ID: 646503
- Email: A.Martino@soton.ac.uk
- Received by editor(s): June 27, 2017
- Received by editor(s) in revised form: May 17, 2018, February 11, 2020, and June 17, 2020
- Published electronically: February 24, 2021
- Additional Notes: Note: the two papers were originally packed together in the preprint arXiv:1703.09945. We decided to split that paper following the recommendations of a referee.
- © Copyright 2021 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**374**(2021), 3215-3264 - MSC (2020): Primary 20E06, 20E36, 20E08, 20F65
- DOI: https://doi.org/10.1090/tran/8333
- MathSciNet review: 4237947