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 fn(e) is immersed, that is fn(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. 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 Fn 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 the Scott conjecture which says that for every automorphism α of a finitely generated free group Fn the fixed subgroup of α is free of rank at most n. In a subsequent paper 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(Fn). 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 Fn applied to a particular conjugacy class in Fn. This information is especially helpful when studying the dynamics of the action of elements of Out(Fn) on the Culler–Vogtmann Outer space and its boundary and when studying Fn actions of on real trees. Examples of applications of train tracks include: a theorem of Brinkmann proving that for an automorphism α of Fn the mapping torus group of α is word-hyperbolic if and only if α has no periodic conjugacy classes; a theorem of Bridson and Groves that for every automorphism α of Fn the mapping torus group of α satisfies a quadratic isoperimetric inequality; a proof of algorithmic solvability of the conjugacy problem for free-by-cyclic groups; and others. Train tracks were a key tool in the proof by Bestvina, Feighn and Handel that the group Out(Fn) satisfies the Tits alternative. The machinery of train tracks for injective endomorphisms of free groups was later developed by Dicks and Ventura.
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 e1...em 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 ei 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 fn(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 fn 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 Fk be a free group of finite rank k ≥ 2. Fix a free basis A of Fk and an identification of Fk with the fundamental group of the rose Rk which is a wedge of k circles corresponding to the basis elements of A. Let φ ∈ Out(Fk) be an outer automorphism of Fk. 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). τ : Rk → Γ 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 σ : Γ → Rk is a homotopy inverse of τ then the composition σfτ : Rk → Rk induces an automorphism of Fk = π1(Rk) 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(Fk) be an outer automorphism of Fk. 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 fn(e) and fn(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 e1,..., em is said to contain turns ei−1, ei+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.
… excerpt ends here. Continue reading the full article.
