Train track map

For train maps, see Transit map and Tube map.

In the mathematical subject of geometric group theory, a train track map is a continuous map f from a finite connected graph to itself which is a homotopy equivalence and which has particularly nice cancellation properties with respect to iterations. This map sends vertices to vertices and edges to nontrivial edge-paths with the property that for every edge e of the graph and for every positive integer n the path f^n(e) is immersed, that is f^n(e) is locally injective on e. Train-track maps are a key tool in analyzing the dynamics of automorphisms of finitely generated free groups and in the study of the Culler–Vogtmann Outer space.

History

Train track maps for free group automorphisms were introduced in a 1992 paper of Bestvina and Handel.[1] The notion was motivated by Thurston's train tracks on surfaces, but the free group case is substantially different and more complicated. In their 1992 paper Bestvina and Handel proved that every irreducible automorphism of F_n has a train-track representative. In the same paper they introduced the notion of a relative train track and applied train track methods to solve[1] the Scott conjecture which says that for every automorphism α of a finitely generated free group F_n the fixed subgroup of α is free of rank at most n. In a subsequent paper[2] Bestvina and Handel applied the train track techniques to obtain an effective proof of Thurston's classification of homeomorphisms of compact surfaces (with or without boundary) which says that every such homeomorphism is, up to isotopy, either reducible, of finite order or pseudo-anosov.

Since then train tracks became a standard tool in the study of algebraic, geometric and dynamical properties of automorphisms of free groups and of subgroups of Out(F_n). Train tracks are particularly useful since they allow to understand long-term growth (in terms of length) and cancellation behavior for large iterates of an automorphism of F_n applied to a particular conjugacy class in F_n. This information is especially helpful when studying the dynamics of the action of elements of Out(F_n) on the Culler–Vogtmann Outer space and its boundary and when studying F_n actions of on real trees.[3][4][5] Examples of applications of train tracks include: a theorem of Brinkmann[6] proving that for an automorphism α of F_n the mapping torus group of α is word-hyperbolic if and only if α has no periodic conjugacy classes; a theorem of Bridson and Groves[7] that for every automorphism α of F_n the mapping torus group of α satisfies a quadratic isoperimetric inequality; a proof of algorithmic solvability of the conjugacy problem for free-by-cyclic groups;[8] and others.

Train tracks were a key tool in the proof by Bestvina, Feighn and Handel that the group Out(F_n) satisfies the Tits alternative.[9][10]

The machinery of train tracks for injective endomorphisms of free groups was later developed by Dicks and Ventura.[11]

Formal definition

Combinatorial map

For a finite graph Γ (which is thought of here as a 1-dimensional cell complex) a combinatorial map is a continuous map

f : Γ → Γ

such that:

• The map f takes vertices to vertices.
• For every edge e of Γ its image f(e) is a nontrivial edge-path e₁...e_m in Γ where m ≥ 1. Moreover, e can be subdivided into m intervals such that the interior of the i-th interval is mapped by f homeomorphically onto the interior of the edge e_i for i = 1,...,m.

Train track map

Let Γ be a finite connected graph. A combinatorial map f : Γ → Γ is called a train track map if for every edge e of Γ and every integer n ≥ 1 the edge-path f^n(e) contains no backtracks, that is, it contains no subpaths of the form hh^−1 where h is an edge of Γ. In other words, the restriction of f^n to e is locally injective (or an immersion) for every edge e and every n ≥ 1.

When applied to the case n = 1, this definition implies, in particular, that the path f(e) has no backtracks.

Topological representative

Let F_k be a free group of finite rank k ≥ 2. Fix a free basis A of F_k and an identification of F_k with the fundamental group of the rose R_k which is a wedge of k circles corresponding to the basis elements of A.

Let φ ∈  Out(F_k) be an outer automorphism of F_k.

A topological representative of φ is a triple (τ, Γ, f) where:

• Γ is a finite connected graph with the first betti number k (so that the fundamental group of Γ is free of rank k).
• τ : R_k → Γ is a homotopy equivalence (which, in this case, means that τ is a continuous map which induces an isomorphism at the level of fundamental groups).
• f : Γ → Γ is a combinatorial map which is also a homotopy equivalence.
• If σ : Γ → R_k is a homotopy inverse of τ then the composition

σfτ : R_k → R_k

induces an automorphism of F_k = π₁(R_k) whose outer automorphism class is equal to φ.

The map τ in the above definition is called a marking and is typically suppressed when topological representatives are discussed. Thus, by abuse of notation, one often says that in the above situation f : Γ → Γ is a topological representative of φ.

Train track representative

Let φ ∈  Out(F_k) be an outer automorphism of F_k. A train track map which is a topological representative of φ is called a train track representative of φ.

Legal and illegal turns

Let f : Γ → Γ be a combinatorial map. A turn is an unordered pair e, h of oriented edges of Γ (not necessarily distinct) having a common initial vertex. A turn e, h is degenerate if e = h and nondegenerate otherwise.

A turn e, h is illegal if for some n ≥ 1 the paths f^n(e) and f^n(h) have a nontrivial common initial segment (that is, they start with the same edge). A turn is legal if it not illegal.

An edge-path e₁,..., e_m is said to contain turns e_i^−1, e_i+1 for i = 1,...,m−1.

A combinatorial map f : Γ → Γ is a train-track map if and only if for every edge e of Γ the path f(e) contains no illegal turns.

Derivative map

Let f : Γ → Γ be a combinatorial map and let E be the set of oriented edges of Γ. Then f determines its derivative map Df : E → E where for every edge e Df(e) is the initial edge of the path f(e). The map Df naturally extends to the map Df : T → T where T is the set of all turns in Γ. For a turn t given by an edge-pair e, h, its image Df(t) is the turn Df(e), Df(h). A turn t is legal if and only if for every n ≥ 1 the turn (Df)^n(t) is nondegenerate. Since the set T of turns is finite, this fact allows one to algorithmically determine if a given turn is legal or not and hence to algorithmically decide, given f, whether or not f is a train-track map.

Examples

Let φ be the automorphism of F(a,b) given by φ(a) = b, φ(b) = ab. Let Γ be the wedge of two loop-edges E_a and E_b corresponding to the free basis elements a and b, wedged at the vertex v. Let f : Γ → Γ be the map which fixes v and sends the edge E_a to E_b and that sends the edge E_b to the edge-path E_aE_b. Then f is a train track representative of φ.

Main result for irreducible automorphisms

Irreducible automorphisms

An outer automorphism φ of F_k is said to be reducible if there exists a free product decomposition

${\displaystyle F_{k}=H_{1}\ast \dots H_{m}\ast U}$

where all H_i are nontrivial, where m ≥ 1 and where φ permutes the conjugacy classes of H₁,...,H_m in F_k. An outer automorphism φ of F_k is said to be irreducible if it is not reducible.

It is known[1] that φ ∈  Out(F_k) be irreducible if and only if for every topological representative f : Γ → Γ of φ, where Γ is finite, connected and without degree-one vertices, any proper f-invariant subgraph of Γ is a forest.

Bestvina–Handel theorem for irreducible automorphisms

The following result was obtained by Bestvina and Handel in their 1992 paper[1] where train track maps were originally introduced:

Let φ ∈  Out(F_k) be irreducible. Then there exists a train track representative of φ.

Sketch of the proof

For a topological representative f:Γ→Γ of an automorphism φ of F_k the transition matrix M(f) is an rxr matrix (where r is the number of topological edges of Γ) where the entry m_ij is the number of times the path f(e_j) passes through the edge e_i (in either direction). If φ is irreducible, the transition matrix M(f) is irreducible in the sense of the Perron–Frobenius theorem and it has a unique Perron–Frobenius eigenvalue λ(f) ≥ 1 which is equal to the spectral radius of M(f).

One then defines a number of different moves on topological representatives of φ that are all seen to either decrease or preserve the Perron–Frobenius eigenvalue of the transition matrix. These moves include: subdividing an edge; valence-one homotopy (getting rid of a degree-one vertex); valence-two homotopy (getting rid of a degree-two vertex); collapsing an invariant forest; and folding. Of these moves the valence-one homotopy always reduced the Perron–Frobenius eigenvalue.

Starting with some topological representative f of an irreducible automorphism φ one then algorithmically constructs a sequence of topological representatives

f = f₁, f₂, f₃,...

of φ where f_n is obtained from f_n−1 by several moves, specifically chosen. In this sequence, if f_n is not a train track map, then the moves producing f_n+1 from f_n necessarily involve a sequence of folds followed by a valence-one homotopy, so that the Perron–Frobenius eigenvalue of f_n+1 is strictly smaller than that of f_n. The process is arranged in such a way that Perron–Frobenius eigenvalues of the maps f_n take values in a discrete substet of ${\displaystyle \mathbb {R} }$. This guarantees that the process terminates in a finite number of steps and the last term f_N of the sequence is a train track representative of φ.

Applications to growth

A consequence (requiring additional arguments) of the above theorem is the following:[1]

• If φ ∈ Out(F_k) is irreducible then the Perron–Frobenius eigenvalue λ(f) does not depend on the choice of a train track representative f of φ but is uniquely determined by φ itself and is denoted by λ(φ). The number λ(φ) is called the growth rate of φ.
• If φ ∈ Out(F_k) is irreducible and of infinite order then λ(φ) > 1. Moreover, in this case for every free basis X of F_k and for most nontrivial values of w ∈ F_k there exists C ≥ 1 such that for all n ≥ 1

${\displaystyle {\frac {1}{C}}\lambda ^{n}(\phi )\leq ||\phi ^{n}(w)||_{X}\leq C\lambda ^{n}(\phi ),}$

where ||u||_X is the cyclically reduced length of an element u of F_k with respect to X. The only exceptions occur when F_k corresponds to the fundamental group of a compact surface with boundary S, and φ corresponds to a pseudo-Anosov homeomorphism of S, and w corresponds to a path going around a component of the boundary of S.

Unlike for elements of mapping class groups, for an irreducible φ ∈ Out(F_k) it is often the case [12] that

λ(φ) ≠ λ(φ^−1).

Applications and generalizations

• The first major application of train tracks was given in the original 1992 paper of Bestvina and Handel[1] where train tracks were introduced. The paper gave a proof of the Scott conjecture which says that for every automorphism α of a finitely generated free group F_n the fixed subgroup of α is free of rank at most n.
• In a subsequent paper[2] Bestvina and Handel applied the train track techniques to obtain an effective proof of Thurston's classification of homeomorphisms of compact surfaces (with or without boundary) which says that every such homeomorphism is, up to isotopy, is either reducible, of finite order or pseudo-anosov.
• Train tracks are the main tool in Los' algorithm for deciding whether or not two irreducible elements of Out(F_n) are conjugate in Out(F_n).[13]
• A theorem of Brinkmann[6] proving that for an automorphism α of F_n the mapping torus group of α is word-hyperbolic if and only if α has no periodic conjugacy classes.
• A theorem of Levitt and Lustig showing that a fully irreducible automorphism of a F_n has "north-south" dynamics when acting on the Thurston-type compactification of the Culler–Vogtmann Outer space.[4]
• A theorem of Bridson and Groves[7] that for every automorphism α of F_n the mapping torus group of α satisfies a quadratic isoperimetric inequality.
• The proof by Bestvina, Feighn and Handel that the group Out(F_n) satisfies the Tits alternative.[9][10]
• An algorithm that, given an automorphism α of F_n, decides whether or not the fixed subgroup of α is trivial and finds a finite generating set for that fixed subgroup.[14]
• The proof of algorithmic solvability of the conjugacy problem for free-by-cyclic groups by Bogopolski, Martino, Maslakova, and Ventura.[8]
• The machinery of train tracks for injective endomorphisms of free groups, generalizing the case of automorphisms, was developed in a 1996 book of Dicks and Ventura.[11]

See also

• Geometric group theory
• Real tree
• Mapping class group
• Free group
• Out(F_n)

References

1. Mladen Bestvina, and Michael Handel, Train tracks and automorphisms of free groups. Annals of Mathematics (2), vol. 135 (1992), no. 1, pp. 1–51, JSTOR 2946562
2. Mladen Bestvina and Michael Handel. Train-tracks for surface homeomorphisms., Topology, vol. 34 (1995), no. 1, pp. 109–140, doi:10.1016/0040-9383(94)E0009-9.
3. M. Bestvina, M. Feighn, M. Handel, Laminations, trees, and irreducible automorphisms of free groups. Geometric and Functional Analysis, vol. 7 (1997), no. 2, 215–244
4. Gilbert Levitt and Martin Lustig, Irreducible automorphisms of F_n have north-south dynamics on compactified outer space. Journal of the Institute of Mathematics of Jussieu, vol. 2 (2003), no. 1, 59–72
5. Gilbert Levitt, and Martin Lustig, Automorphisms of free groups have asymptotically periodic dynamics. Crelle's Journal, vol. 619 (2008), pp. 1–36, doi:10.1515/CRELLE.2008.038
6. P. Brinkmann, Hyperbolic automorphisms of free groups. Geometric and Functional Analysis, vol. 10 (2000), no. 5, pp. 1071–1089, doi:10.1007/PL00001647
7. Martin R. Bridson and Daniel Groves. The quadratic isoperimetric inequality for mapping tori of free-group automorphisms. Memoirs of the American Mathematical Society, to appear.
8. O. Bogopolski, A. Martino, O. Maslakova, E. Ventura, The conjugacy problem is solvable in free-by-cyclic groups. Bulletin of the London Mathematical Society, vol. 38 (2006), no. 5, pp. 787–794
9. Mladen Bestvina, Mark Feighn, and Michael Handel. The Tits alternative for Out(F_n). I. Dynamics of exponentially-growing automorphisms. Annals of Mathematics (2), vol. 151 (2000), no. 2, pp. 517–623
10. Mladen Bestvina, Mark Feighn, and Michael Handel. The Tits alternative for Out(F_n). II. A Kolchin type theorem. Annals of Mathematics (2), vol. 161 (2005), no. 1, pp. 1–59
11. Warren Dicks, and Enric Ventura. The group fixed by a family of injective endomorphisms of a free group. Contemporary Mathematics, 195. American Mathematical Society, Providence, RI, 1996. ISBN 0-8218-0564-9
12. Michael Handel, and Lee Mosher, The expansion factors of an outer automorphism and its inverse. Transactions of the American Mathematical Society, vol. 359 (2007), no. 7, 3185 3208
13. Jérôme E. Los, On the conjugacy problem for automorphisms of free groups. Topology, vol. 35 (1996), no. 3, pp. 779–806, doi:10.1016/0040-9383(95)00035-6
14. O. S. Maslakova. The fixed point group of a free group automorphism. (Russian). Algebra Logika, vol. 42 (2003), no. 4, pp. 422–472; translation in Algebra and Logic, vol. 42 (2003), no. 4, pp. 237–265

External links

• Peter Brinkmann's minicourse notes on train tracks [1][2][3][4]