NORMALIZERS AND CENTRALIZERS OF CYCLIC SUBGROUPS
GENERATED BY LONE AXIS FULLY IRREDUCIBLE OUTER
AUTOMORPHISMS

arXiv:1603.07206v3 [math.GR] 3 Jul 2016

YAEL ALGOM-KFIR AND CATHERINE PFAFF

Abstract. We let ϕ be an ageometric fully irreducible outer automorphism so that its HandelMosher [HM11] axis bundle consists of a single unique axis (as in [MP13]). We show that the
centralizer Cen(hϕi) of the cyclic subgroup generated by ϕ equals the stabilizer Stab(Λ+
ϕ ) of the
attracting lamination Λ+
ϕ and is isomorphic to Z. We further show, via an analogous result about
the commensurator, that the normalizer N (hϕi) of hϕi is isomorphic to either Z or Z2 ∗ Z2 .

1. Introduction
It is well known [McC94] that, given a pseudo-Anosov mapping class ϕ, the centralizer Cen(hϕi)
and normalizer N (hϕi) of the cyclic subgroup hϕi are virtually cyclic. In fact, this property characterizes pseudo-Anosov mapping classes.1
We recall some history surrounding this problem for the outer automorphism groups Out(Fr ). In
[BFH97], Bestvina, Feighn, and Handel constructed for a fully irreducible outer automorphism ϕ ∈
+
+
Out(Fr ) the attracting lamination Λ+
ϕ . They proved that the stabilizer Stab(Λϕ ) of Λϕ in Out(Fr )
is virtually cyclic (see also [KL11, Thereom 4.4]). Let Comm(hϕi) denote the commensurator of
hϕi. Whenever the lamination Λ+
ϕ is defined we have
hϕi ≤ Cen(hϕi) ≤ Stab(Λ+
ϕ ) ≤ Comm(hϕi)

and

Cen(hϕi) ≤ N (hϕi) ≤ Comm(hϕi).

In the fully irreducible case, the groups appearing above are all finite index subgroups of one
another, and each of the inclusions may be strict (see Examples 3.4, 3.5, and 3.6).
This article is concerned with identifying the centralizer and normalizer of hϕi when ϕ is an
ageometric lone axis fully irreducible outer automorphism, as defined in Subsection 2.6. Briefly,
the term “lone axis” is used for when the axis bundle, defined by Handel and Mosher [HM11],
consists of a single unique axis. The axis bundle is an analogue of the axis of a pseudo-Anosov, but
in general contains many fold lines.
Theorem A. Let ϕ ∈ Out(Fr ) be an ageometric fully irreducible outer automorphism such that
∼
the axis bundle Aϕ consists of a single unique axis, then Cen(hϕi) = Stab(Λ+
ϕ ) = Z.
We then proved the following group theoretic corollary.
Theorem B. Let ϕ ∈ Out(Fr ) be an ageometric fully irreducible outer automorphism such that
the axis bundle Aϕ consists of a single unique axis, then either
(1) Cen(hϕi) = N (hϕi) = Comm(hϕi) ∼
= Z or
∼
(2) Cen(hϕi) ∼
Z
and
N
(hϕi)
=
Comm(hϕi)
=
= Z2 ∗ Z2 .
The first author is supported by ISF 1941/14. Both authors acknowledge support from U.S. National Science Foundation grants DMS 1107452, 1107263, 1107367 “RNMS: Geometric structures And Representation varieties” (the
GEAR Network).
1The justification of this fact is given by Sisto in
http://mathoverflow.net/questions/82889/centralizers-of-non-iwip-elements-of-outf-n?rq=1
1

Further, in the second case, we have that ϕ−1 is also an ageometric fully irreducible outer automorphism such that the axis bundle Aϕ−1 consists of a single unique axis.
It is a consequence of [Pfa13] that ageometric lone axis fully irreducible outer automorphisms
exist in each rank and it is proved in [KP15] that this situation is generic along a specific “train
track directed” random walk. It is noteworthy that the conditions for an outer automorphism to
be an ageometric lone axis fully irreducible can be checked via the Coulbois computer package.2
Understanding what properties transfer to inverses of outer automorphisms is in general elusive.
Theorem B gives a condition which guarantees that ϕ−1 also admits a lone axis. However, we do
not know if the latter case in fact occurs, prompting the following question.
Question 1.1. Does there exist some ageometric lone axis fully irreducible outer automorphism
such that Comm(hϕi) = N (hϕi) ∼
= Z2 ∗ Z2 ?
We pose one further question.
Question 1.2. Can one give a concrete description of Cen(hϕi) and N (hϕi) when ϕ is not an
ageometric lone axis fully irreducible outer automorphism?
Our strategy is to construct a homomorphism ρ : Stab(Λ+
ϕ ) → (R, +) which is the signed translation distance along the axis (Lemma 4.2). We prove in Proposition 4.5 that ker(ρ) is trivial. Using
Corollary 3.3 we conclude Theorem A. Theorem B quickly follows.
Apart from the works of Bestiva, Feighn, and Handel [BFH97] and Kapovich and Lustig [KL11]
mentioned above, we mention the following results. Given any element ϕ ∈ Out(Fr ), using the
machinery of completely split relative train track maps, Feighn and Handel [FH09] present an
algorithm that virtually determines the weak centralizer of hϕi, i.e. all elements that commute
with some power of ϕ. When ϕ is a Dehn twist, Rodenhausen and Wade [RW15] give an algorithm
determining a presentation of Cen(hϕi). They use this to compute a presentation of the centralizer
of a Nielsen generator.
Acknowledgements. This paper came out of an idea presented to the second author by Koji
Fujiwara after a talk she gave at Hebrew University. Both authors would like to thank Sam Ballas,
Yuval Ginosar, Ilya Kapovich, Darren Long, Jon McCammond, and Lee Mosher for helpful and
interesting conversations.
2. Preliminary definitions and notation
To keep this section at a reasonable length, we will provide only references for the definitions
that are better known.
2.1. Train track maps, Nielsen paths, and principal vertices. Irreducible elements of Out(Fr )
are defined in [BH92] and fully irreducible outer automorphisms are those such that each of their
powers is irreducible. Every irreducible outer automorphism can be represented by a special kind
of graph map called a train track map, as defined in [BH92]. In particular, we will require that
vertices map to vertices. Moreover, we can also choose these maps so that they are defined on
graphs with no valence-1 or valence-2 vertices (from the proof of [BH92] Theorem 1.7). We refer
the reader to [BH92] for the definitions of directions, periodic directions, fixed directions, legal paths,
Nielsen paths ( NPs) and periodic Nielsen paths (PNPs).
Definition 2.1 (Principal points). Given a train track map g : Γ → Γ, following [HM11] we call
a point principal that is either the endpoint of a PNP or is a periodic vertex with ≥ 3 periodic
directions. Thus, in the absence of PNPs, a point is principal if and only if it is a periodic vertex
with ≥ 3 periodic directions
2The Coulbois computer package is available at [Cou14].
2

2.2. Outer Space CVr and the attracting tree T+ϕ for a fully irreducible ϕ ∈ Out(Fr ). Let
CVr denote the Culler-Vogtmann Outer Space in rank r, as defined in [CV86], with the asymmetric
Lipschitz metric, as defined in [AKB12]. The group Out(Fr ) acts naturally on CVr on the right
by homeomorphisms. An element ϕ ∈ CVr sends a point X = (Γ, m, ℓ) ∈ CVr to the point
X · ϕ = (Γ, m ◦ Φ, ℓ), where Φ is a lift in Aut(Fr ) of ϕ. Let CVr denote the compactification of
CVr , as defined in [CL95, BF12]. The action of Out(Fr ) on CVr extends to an action on CVr by
homeomorphisms.
Definition 2.2 (Attracting tree T+ϕ ). Let ϕ ∈ Out(Fr ) be a fully irreducible outer automorphism.
Then ϕ acts on CVr with North-South dynamics (see [LL03]). We denote by T+ϕ the attracting
fixed point of this action and by T−ϕ the repelling fixed point of this action.
2.3. The attracting lamination Λϕ for a fully irreducible outer automorphism. We give
a concrete description of Λ+
ϕ using a particular train track representative g : Γ → Γ. This is the
original definition appearing in [BFH97]. Note that apriori it is not clear that it does not depend
on the train track representative.
Definition 2.3 (Iterating neighborhoods). Let g : Γ → Γ be an affine irreducible train track map
so that, in particular, there has been an identification of each edge e of Γ with an open interval
of its length ℓ(e) determined by the Perron-Frobenius eigenvector. Let λ = λ(ϕ) be its stretch
factor and assume λ > 1. Let x be a periodic point which is not a vertex (such points are dense
in each edge). Let ε > 0 be sufficiently small so that the ε-neighborhood of x, denoted U , is
contained in the interior of an edge. There exists an N > 0 such that x is fixed, U ⊂ gN (U ), and
DgN fixes the directions at x. We choose an isometry ℓ : (−ε, ε) → U and extend it to the unique
locally isometric immersion ℓ : R → Γ so that ℓ(λN t) = gN (ℓ(t)). We then say that ℓ is obtained by
iterating a neighborhood of x.
Definition 2.4 (Leaf segments, equivalent isometric immersions). We call isometric immersions
γ1 : [a, b] → Γ and γ2 : [c, d] → Γ equivalent when there exists an isometry h : [a, b] → [c, d] so that
γ1 = γ2 ◦ h. Let ℓ : R → Γ be an isometric immersion. A leaf segment of ℓ is the equivalence class
of the restriction to a finite interval of R. Two isometric immersions ℓ and ℓ′ are equivalent if each
leaf segment of ℓ is a leaf segment of ℓ′ and vice versa.
Definition 2.5 (The realization in Γ of the attracting lamination Λ+
ϕ (Γ)). The attracting lamination realized in Γ, denoted Λ+
(Γ),
is
the
equivalence
class
of
a
line
ℓ obtained by iterating a
ϕ
+
periodic point in Γ (as in Definition 2.3). An element of Λϕ (Γ) is called a leaf. Notice that Λ+
ϕ (Γ)
e
can be realized as an Fr -invariant set of bi-infinite geodesics in Γ, the universal cover of Γ. We
e
shall denote this set by Λ+
ϕ (Γ).
The marking of Γ induces an identification of ∂Γ with ∂Fr . The attracting lamination Λ+
ϕ is the
+
e
image of Λϕ (Γ) under this identification. In [BFH97] it is proved that this set is independent of
the choice of g.
Definition 2.6 (The action of Out(Fr ) on the set of laminations Λ±
ϕ ). Let ψ ∈ Out(Fr ), then by
[BFH97, Lemma 3.5],
(1)

−
+
−
ψ · (Λ+
ϕ , Λϕ ) = (Λψϕψ−1 , Λψϕψ−1 ).

2.4. Whitehead graphs. The following definitions are in [HM11] and [MP13].
Definition 2.7 (Stable Whitehead graphs and local Whitehead graphs). Let g : Γ → Γ be a train
track map. The local Whitehead graph LW (v; Γ) at a point v ∈ Γ has a vertex for each direction
3

at v and an edge connecting the vertices corresponding to the pair of directions {d1 , d2 } if the turn
{d1 , d2 } is taken by an image of an edge. The stable Whitehead graph SW (v; Γ) at a principal point
v is then the subgraph of LW (v; Γ) obtained by restricting to the periodic direction vertices.
The map g induces a continuous simplicial map Dg : LW (g, v) → LW (g, g(v)). When g is
rotationless and v a principal vertex, Dg acts as the identity on SW (g, v), when viewed as a
subgraph of LW (g, v), and hence gives an induced surjection Dg : LW (g, v) → SW (g, v). We recall
that for a train track representative of a fully irreducible outer automorphism the local Whitehead
graph at each vertex is connected. Hence:
Lemma 2.8. If g : Γ → Γ is a train track map representing a fully irreducible outer automorphism
ϕ and v ∈ Γ is a principal vertex, then SW (g, v) is connected.
Lemma 2.9. Let g : Γ → Γ be a rotationless PNP-free train track representative of an ageometric
e be the universal cover of Γ and ve ∈ Γ
e a vertex that projects to
fully irreducible ϕ ∈ Out(Fr ). Let Γ
e
a principal vertex v ∈ Γ. Then there exist two leaves ℓ1 , ℓ2 of the lamination Λ+
ϕ (Γ) so that ℓ1 ∪ ℓ2
is a tripod whose vertex is ve.

Proof. Since v is a principal vertex and there are no PNPs, we know SW (g, v) has ≥ 3 vertices.
Since SW (g, v) is connected, one of these vertices d1 will belong to at least 2 edges ǫ1 , ǫ2 . Let d2 , d3
be the directions corresponding to the other vertices of these edges. Since g is rotationless, periodic
e→Γ
e that fixes ve. Iterating the
directions are in fact fixed directions. We may lift g to a map e
g: Γ
lifts of the edges that correspond to d1 , d2 , d3 will give us three eigenrays R1 , R2 , R3 initiating at ve.
e
The 2 edges ǫ1 , ǫ2 correspond to 2 leaves ℓ1 and ℓ2 of Λ+
ϕ (Γ) [HM11]. We have ℓ1 ∪ℓ2 = R1 ∪R2 ∪R3 .
Hence, as desired, ℓ1 ∪ ℓ2 is a tripod whose vertex is ve.

2.5. Axis bundles. Three equivalent definitions of the axis bundle Aϕ for a nongeometric fully
irreducible ϕ ∈ Out(Fr ) are given in [HM11]. We include only the definition that we use.

Definition 2.10 (Fold lines). A fold line in CVr is a continuous, injective, proper function R → CVr
defined by
1. a continuous 1-parameter family of marked graphs t → Γt and
2. a family of homotopy equivalences hts : Γs → Γt defined for s ≤ t ∈ R, each marking-preserving,
and satisfying:
Train track property : hts is a local isometry on each edge for all s ≤ t ∈ R.
Semiflow property : hut ◦ hts = hus for all s ≤ t ≤ u ∈ R and hss : Γs → Γs is the identity for all
s ∈ R.
Definition 2.11 (Axis Bundle). Aϕ is the union of the images of all fold lines F : R → CVr such
that F(t) converges in CVr to T−ϕ as t → −∞ and to T+ϕ as t → +∞.
Definition 2.12 (Axes). We call the fold lines in Definition 2.11 the axes of the axis bundle.
2.6. Lone Axis Fully Irreducibles Outer Automorphisms.
Definition 2.13 (Lone axis fully irreducibles). A fully irreducible ϕ ∈ Out(Fr ) will be called a
lone axis fully irreducible outer automorphism if Aϕ consists of a single unique axis.
[MP13, Theorem 3.9] gives necessary and sufficient conditions on an ageometric fully irreducible
outer automorphism ϕ ∈ Out(Fr ) to ensure that Aϕ consists of a single unique axis. It is also
proved there that, under these conditions, the axis will be the periodic fold line for a (in fact any)
train track representative of ϕ. In particular, as is always true for axis bundles, Aϕ contains each
point in Outer Space on which there exists an affine train track representative of a power of ϕ.
4

Remark 2.14. It will be important for our purposes that no train track representative of an
ageometric lone axis fully irreducible ϕ has a periodic Nielsen path. This follows from [MP13,
Lemma 4.4], as it shows that each train track representative of each power of ϕ is stable, hence (in
the case of an ageometric fully irreducible outer automorphism) has no Nielsen paths.
The following proposition is a direct consequence of [MP13, Corollary 3.8].
Proposition 2.15 ([MP13]). Let ϕ be an ageometric lone axis fully irreducible outer automorphism,
then there exists a train track representative g : Γ → Γ of some power ϕR of ϕ so that all vertices
of Γ are principal, and fixed, and all but one direction is fixed.
2.7. The stabilizer Stab(Λ+
ϕ ) of the lamination.
+
Definition 2.16 (Stab(Λ+
ϕ )). Given a fully irreducible ϕ ∈ Out(Fr ), we let Stab(Λϕ ) denote the
+
+
subgroup of Out(Fr ) fixing Λ+
ϕ setwise, i.e. sending leaves of Λϕ to leaves of Λϕ .

Bestvina, Feighn, and Handel [BFH97] define a homomorphism (related to the expansion factor)
(2)

σ : Stab(Λ+
ϕ ) → (R>0 , ·).

They use σ to prove the following theorem ([BFH97, Theorem 2.14]):
Theorem 2.17 ([BFH97, Theorem 2.14] or [KL11, Theorem 4.4]). For each fully irreducible ϕ ∈
Out(Fr ), we have that Stab(Λ+
ϕ ) is virtually cyclic.
2.8. Commensurators. Throughout this subsection let G be a group and H a subgroup of G.
Definition 2.18 (Commensurator CommG (H)). The commensurator, or virtual normalizer, of H
in G is defined as
CommG (H) := {g ∈ G | [H : H ∩ g −1 Hg] < ∞ and [g −1 Hg : H ∩ g−1 Hg] < ∞}.
Notice that when H = hai, for some a, we have
(3)

CommG (hai) := {g ∈ G | ∃ m, n ∈ Z so that gan g−1 = am }.

Remark 2.19. NG (H) ≤ CommG (H).
Proposition 2.20. Let a ∈ G. If CenG (hai) ≤ H and H is cyclic, then CenG (hai) = H.
Proof. Since H is cyclic, H = hbi for some b ∈ H. Then a = bk for some k and hence b and a
commute.

Proposition 2.21. If a ∈ G and CommG (hai) is virtually cyclic, then for some k ∈ Z we have
N (hak i) = CommG (hai). Thus, in this case, NG (hai) ≤ CommG (hai) = NG (hak i).
Proof. First notice that NG (hak i) ≤ CommG (hak i) ≤ CommG (hai). Hence, we are left to show
CommG (hai) ≤ NG (hak i). Let hai have index n in the group CommG (hai). Let b ∈ CommG (hai)
and let ωb ∈ Aut(G) denote conjugation by b. By (3), there exist k, m ∈ Z so that bak b−1 =
am , hence ωb (hak i) = ham i. Now n|m| = [CommG (hai) : ham i] = [CommG (hai) : ωb (hak i)] =
[ωb (CommG (hai)) : ωb (hak i)] = n|k|. Hence, |m| = |k| and so b ∈ NG (hak i).

3. The sequence of inclusions for a fully irreducible outer automorphism.
Convention 3.1 (hϕi, Cen(hϕi), N (hϕi)). Given an element ϕ ∈ Out(Fr ), we let hϕi denote
the cyclic subgroup generated by ϕ, we let Cen(hϕi) denote its centralizer in Out(Fr ), and we let
N (hϕi) denote its normalizer in Out(Fr ).
Lemma 3.2. Let ϕ ∈ Out(Fr ) be fully irreducible. Then:
5

−
(1) Each element ψ ∈ Cen(hϕi) fixes the ordered pair (Tϕ+ , Tϕ− ) and the ordered pair (Λ+
ϕ , Λϕ ).
In particular, Cen(hϕi) < Stab(Λ+
ϕ ).
+
−
(2) Comm(hϕi) = Stab({Λϕ , Λϕ }) = Stab({Tϕ+ , Tϕ− }). And, in particular, each element ψ ∈
−
N (hϕi) fixes the unordered pair {Tϕ+ , Tϕ− } and the unordered pair {Λ+
ϕ , Λϕ }.
−
+
−
Proof. (1) Let ψ ∈ Cen(hϕi). Then by Equation 1 we have ψ · (Λ+
ϕ , Λϕ ) = (Λϕ , Λϕ ). That ψ fixes
+
−
the ordered pair (Tϕ , Tϕ ) now follows from [BFH97, Lemma 3.5].
(2) By Equations 1 and 3 we have
−
Comm(hϕi) ≤ Stab({Λ+
ϕ , Λϕ })

and by [BFH97, Lemma 3.5] this implies that Comm(hϕi) ≤ Stab({Tϕ+ , Tϕ− }). Now suppose ψ ∈
−
k −1 = ϕn for
Stab({Λ+
ϕ , Λϕ }). Then, by Equation 1 and [BFH97, Proposition 2.16], we know ψϕ ψ
some k, n ∈ Z. So ψ ∈ Comm(hϕi).

Corollary 3.3. If ϕ ∈ Out(Fr ) is fully irreducible then there exists an integer k ∈ Z so that
k
Cen(hϕi) ≤ Stab(Λ+
ϕ ) ≤ Comm(hϕi) = N (hϕ i).

Moreover,
(1) The subgroup in the right-hand inequality has index ≤ 2.
(2) If Stab(Λ+
ϕ ) is cyclic then the left-hand inequality is an equality.
−
+
−
+
(1) Stab(Λ+
ϕ ) = Stab(Λϕ , Λϕ ). By Lemma 3.2(2), Comm(hϕi) = Stab({Λϕ , Λϕ }).
+
Thus, |Comm(hϕi) : Stab(Λϕ )| ≤ 2. By Proposition 2.21, there exists a k ∈ Z such
that Comm(hϕi) = N (hϕk i).
(2) This follows from Proposition 2.20.


Proof.

Example 3.4. We work out an example where Cen(hϕi) = Cen(hϕ2 i)
Recall that Out(F2 ) ∼
= GL(2, Z) via the abelianization map. Thus, it
computations in GL(2, Z). Consider,





0 1
1 1
0
2
A=
,
B=A =
,
P =
1 1
1 2
−1

N (hϕ2 i) ≤ Comm(hϕi).
suffices to carry out the

1
.
0

The image Ā of A in PGL(2, Z) acts on the hyperbolic plane by hyperbolic isometries fixing the
points λ, − λ1 ∈ R. Each element of StabPGL(2,Z) (λ, − λ1 ) preserves the hyperbolic geodesic between
λ and − λ1 , we denote this by [λ, − λ1 ]. Thus, the map ρ : StabPGL(2,Z) (λ, − λ1 ) → (R, +) sending
an element to its signed translation length on [λ, − λ1 ] is a homomorphism. Moreover, its image
is discrete and its kernel is trivial. Hence, Stab(λ, − λ1 ) is infinite cyclic and, by Proposition 2.20,
Stab(λ, − λ1 ) = CenPGL(2,Z) (hĀi). Since Ā ∈ PGL(2, Z) is primitive then CenPGL(2,Z) (hAi) = hĀi.
One can check directly that CenGL(2,Z) (hAi) = hA, −Ii, where I denotes the identity matrix (this
follows since GL(2, Z) → PGL(2, Z) is 2-to-1). Similarly, CenPGL(2,Z) (hĀ2 i) is infinite cyclic and Ā
is a primitive element of this group, hence CenPGL(2,Z) (hĀ2 i) = hĀi. Again, CenGL(2,Z) (hA2 i) =
hA, −Ii. Moreover, one can check directly that P ∈ NGL(2,Z) (hA2 i) − NGL(2,Z) (hAi). Hence,
CommGL(2,Z) (hAi) ≥ NGL(2,Z) (hA2 i) ≥ hA, −I, P i.
Example 3.5. We show that there exists an ageometric fully irreducible outer automorphism ϕ
such that Cen(hϕi) ≇ Z, and moreover Cen(hϕi) ≇ Z × Z2 (as in Out(F2 ), whose center is Z2 ).
Consider F3 = ha, b, ci. Let R3 be the 3-petaled rose and define
Ψ : a → b → c → ab.
6

It is straight-forward (see [Pfa13, Proposition 4.1]) to check that this map represents an ageometric
fully irreducible outer automorphism. Denote by ∆ the 3-fold cover corresponding to the subgroup
hb, c, a3 , abA, acA, a2 bA2 , a2 cA2 i.
We claim that Ψ13 lifts to ∆. Indeed, let A be the transition matrix of Ψ, then


7 9 12
A13 = 12 16 21 .
9 12 16

In particular, both Ψ(b) and Ψ(c) cross a a multiple of 3 times. Thus Ψ13 lifts to ∆. Denote
the vertices of ∆ by v0 , v1 , v2 . We denote by g : ∆ → ∆ the lift of Ψ13 that sends v0 to itself.
Let T : ∆ → ∆ denote the deck transformation sending v0 to v1 . The action of T on H1 (∆, Z) is
nontrivial, so T does not represent an inner automorphism. Moreover, we claim that g ◦ T = T ◦ g.
First note that the maps g ◦ T and T ◦ g are both lifts of Ψ13 . Moreover, since a appears in Ψ13 (a)
7 times (see the matrix A13 ), g(v1 ) = v1 . Therefore,
g ◦ T (v0 ) = g(v1 ) = v1 = T (v0 ) = T ◦ g(v0 ).
Thus, g ◦ T = T ◦ g. Let ϕ ∈ Out(F7 ) be the outer automorphism represented by g, and θ the
outer automorphism represented by T . An elementary computation shows that g is an irreducible
train track map and that each local Whitehead graph is connected. Moreover, a PNP for g would
descend to a PNP for Ψ. Since Ψ contains no such paths, there are no PNPs for g. Thus, the outer
automorphism ϕ is ageometric and fully irreducible (see [Pfa13, Proposition 4.1]). In conclusion,
θ is an order-3 element in CenOut(F7 ) (hϕi), in contrast to the conclusion of our theorem for a lone
axis ageometric fully irreducible outer automorphism.
Example 3.6. In this example Cen(hϕi)
Stab(Λ+
ϕ ). Consider Ψ as in Example 3.5 with its
transition matrix A. We have:


16 21 28
A16 = 28 37 49
21 28 37
Thus, Ψ16 lifts to a cover ∆ corresponding to the index 7 subgroup of the free group
hb, c, aba−1 , aca−1 , a2 ba−2 , a2 ca−2 , . . . , a6 ba−6 , a6 ca−6 , a7 i.
Number the vertices of ∆ by v0 , . . . v6 . Let g : ∆ → ∆ be the lift of Ψ16 fixing v0 . Since Ψ16 (a)
crosses a a multiple of 16 times, g(v1 ) = v2 . Thus, if T is an order 7 deck transformation such that
T (vi ) = vi+1 mod 7 then g ◦ T 6= T ◦ g. Let ϕ denote the automorphism represented by g. Then as
in the previous example, ϕ is an ageometric fully irreducible outer automorphism. The lamination
+
Λ+
ϕ is a lift of the lamination Λψ and therefore it is preserved by T . Thus θ, the automorphism
/ Cen(hϕi).
represented by T , is contained in Stab(Λ+
ϕ ). But θ ∈
4. Proof of Main Theorems
Lemma 4.1. Let ϕ ∈ Out(Fr ) be an ageometric lone axis fully irreducible outer automorphism. If
ψ ∈ Out(Fr ) is an outer automorphism fixing the pair (Tϕ+ , Tϕ− ), then ψ fixes Aϕ as a set, and also
preserves its orientation.
Proof. Aϕ consists precisely of all fold lines F : R → CVr such that F(t) converges in CVr to Tϕ−
as t → −∞ and to Tϕ+ as t → +∞. Further, since ϕ ∈ Out(Fr ) is a lone axis fully irreducible
outer automorphism, there is only one such fold line. Hence, since ψ fixes (Tϕ+ , Tϕ− ), it suffices to
show that the image of the single fold line Aϕ under ψ is a fold line. Indeed given the fold line
t → Γt with the semi-flow family {hts }, the new fold line is just t → Γt · ψ with the same family of
homotopy equivalences {hts }. Hence the properties of Definition 2.10 still hold.

7

Recall that Aϕ is a directed geodesic and suppose that the map t → Γt is a parametrization of
Aϕ according to arc-length with respect to the Lipschitz metric, i.e.
d(Γt , Γt′ ) = t′ − t

(4)

for t′ > t.

Lemma 4.2. Let ϕ ∈ Out(Fr ) be an ageometric lone axis fully irreducible outer automorphism and
ψ ∈ Stab(Λ+
ϕ ), then there exists a number ρ(ψ) ∈ R so that for all t ∈ R, we have ψ(Γt ) = Γρ(ψ)+t .
+
−
Proof. Stab(Λ+
ϕ ) = Stab(Tϕ , Tϕ ) and by Lemma 4.1, ψ(Aϕ ) = Aϕ and ψ preserves the direction
of the fold line. Therefore, there exists a strictly monotonically increasing surjective function
f : R → R so that ψ(Γt ) = Γf (t) . Moreover, since ψ is an isometry with respect to the Lipschitz
metric, for t < t′ , since f (t) < f (t′ ), Equation (4) implies

f (t′ ) − f (t) = d(Γf (t) , Γf (t′ ) ) = d(ψ(Γt ), ψ(Γt′ )) = d(Γt , Γt′ ) = t′ − t.
Hence f (t′ ) = f (t) + t′ − t. This implies that for all s ∈ R, f (s) = f (0) + s. Define ρ(ψ) = f (0),
then
ψ(Γt ) = Γf (t) = Γf (0)+t = Γρ(ψ)+t .

Lemma 4.3. Let ϕ ∈ Out(Fr ) be an ageometric lone axis fully irreducible outer automorphism,
then the map ρ : Stab(Λ+
ϕ ) → (R, +) is a homomorphism.
Proof. For each t ∈ R,
Γt = ψ −1 ψ(Γt ) = ψ −1 (Γρ(ψ)+t ) = Γρ(ψ−1 )+ρ(ψ)+t .
Thus, t = ρ(ψ −1 ) + ρ(ψ) + t, i.e. ρ(ψ −1 ) = −ρ(ψ). Moreover, let ψ, ν ∈ Stab(Λ+
ϕ ), then
Γρ(ψ◦ν)+t = ψ ◦ ν(Γt ) = ψ(ν(Γt )) = ψ(Γρ(ν)+t ) = Γρ(ψ)+ρ(ν)+t .
Thus, ρ(ψ ◦ ν) = ρ(ψ) + ρ(ν). We therefore obtain that ρ is a homomorphism.



+
Since Stab(Λ+
ϕ ) is virtually cyclic and ρ(ϕ) 6= 0, the image of Stab(Λϕ ) under ρ is infinite cyclic.
Thus it gives rise to a surjective homomorphism

τ : Stab(Λ+
ϕ) → Z

(5)

with a finite kernel. Note that the kernel consists precisely of those elements of Out(Fr ) that, when
acting on CVr , fix the axis Aϕ pointwise. We show in Corollary 4.6 that ker(τ ) = id.
Proposition 4.4. Let ϕ ∈ Out(Fr ) be an ageometric lone axis fully irreducible outer automorphism and let ψ ∈ Stab(Λ+
ϕ ) be an outer automorphism that fixes Aϕ pointwise. Let f : Γ → Γ be
an affine train track representative of some power ϕR of ϕ such that all vertices of Γ are principal
and all directions but one are fixed (guaranteed by Proposition 2.15). Let h : Γ → Γ be any isometry representing ψ. Then h permutes the f -fixed directions and hence fixes the (unique) nonfixed
direction.
Proof. ψ fixes the points Γ and Γϕ. Thus there exist isometries h : Γ → Γ and h′ : Γϕ → Γϕ that
represent an automorphism Ψ in the outer automorphism class of ψ, i.e. the following diagrams
commute
Rr

Ψ

/ Rr
m

m



Γ

Rr

h

Ψ

/ Rr

f ◦m





/Γ

Γ
8

h′

f ◦m


/Γ

Therefore, the following diagram commutes up to homotopy
Γ

h

/Γ

h′



f



Γ

f

/Γ

We will show that this diagram commutes and in fact that h′ = h. Let H : Γ × I → Γ be the
homotopy so that H(x, 0) = f ◦ h(x) and H(x, 1) = h′ ◦ f (x). Choose a lift fe of f and a lift e
h of h
e
e
e
e
e
e
e
to Γ. Note that f ◦h is a lift of f ◦h. Let H be a lift of H that starts with the lift f ◦h. Then H(x, 1) is
′ ◦ f . This in turn determines a lift e
′◦f =e
^
^
a lift of h′ ◦f , which we denote by h
h′ of h′ so that h
h′ ◦ fe.
′
e we have d(fe ◦ e
There exists a constant M so that for all x ∈ Γ,
h(x), e
h ◦ fe(x)) ≤ M , hence fe ◦ e
h(x)
′
e
e
e
e
and h ◦ f (x) induce the same homeomorphism on ∂ Γ. Let v ∈ Γ be any vertex. By Lemma 2.9 there
e that form a tripod whose vertex is v. Then fe ◦ e
exist leaves ℓ1 , ℓ2 of Λ+ (Γ)
h(ℓ1 ), fe ◦ e
h(ℓ2 ), fe ◦ e
h(ℓ3 )
′
′
′
are embedded lines forming a tripod, as are e
h ◦ fe(ℓ1 ), e
h ◦ fe(ℓ2 ), e
h ◦ fe(ℓ3 ). Moreover, the ends of
the two tripods coincide. Thus, fe◦ e
h(v) = e
h′ ◦ fe(v). Since v was arbitrary and the maps are linear,
we have fe ◦ e
h=e
h′ ◦ fe and f ◦ h = h′ ◦ f .
We now show that h′ = h. Let e1 be the oriented edge representing the nonfixed direction of Df .
For all i 6= 1, Df (ei ) = ei . Let k be such that h(ek ) = e1 . We have Dh′ ◦ Df = Df ◦ Dh. Thus for
i 6= 1, k we have Dh′ (ei ) = Dh(ei ). Since h and h′ are isometries, this implies that h′ (ei ) = h(ei )
for i 6= 1, k. If k = 1 then h and h′ agree on all but one oriented edge and therefore coincide, so we
assume k 6= 1. If e1 6= ēk then h(ēi ) = h′ (ēi ) for both i = 1 and i = k, hence h′ = h. Therefore we
may assume that ē1 = ek . We have h(ek ) = e1 , hence h(e1 ) = ek . So h′ ({e1 , ek }) = {e1 , ek }, hence
we assume h′ (ek ) = ek and h′ (e1 ) = e1 . Notice that the edge of e1 must be a loop, since h and h′
coincide on all other edges. Further, the orientation of the loop is preserved by h′ and flipped by
h. Now let j 6= 1 be so that Df (e1 ) = ej and let u be an edge path so that f (e1 ) = ej ue1 . Thus,
f (ek ) = f (e1 ) = ek ūēj . We have
ek ūēj = f (ek ) = f (h(e1 )) = h′ (f (e1 )) = h′ (ej )h′ (u)h′ (e1 ).
Thus h′ (ej ) = ek , so j = k. Hence Df (e1 ) = ek = Df (ek ). So the unique illegal turn of f is
{e1 , ē1 }. But this is impossible since f is a homotopy equivalence and must fold to the identity.
Thus, h = h′ and so, since we have from the previous paragraph that f ◦ h = h′ ◦ f , we now know
that the following diagram commutes
Γ

h

/Γ
f

f



Γ

h


/Γ

Let e be an edge so that the direction defined by e is fixed by Df . We have Dh(e) = Dh(Df (e)) =
Df (Dh(e)), therefore Dh(e) is also a fixed direction. Thus h(e) defines a fixed direction, hence the
f -fixed directions are permuted by h.

Proposition 4.5. Under the conditions of Proposition 4.4, h is the identity on Γ.
Proof. Let e be the oriented edge of Γ representing the unique direction that is not f -fixed (or f periodic). By Proposition 4.4, we know that h(e) = e. Let p be an f -periodic point in the interior
of e. We can switch to a power of f fixing p. Let ℓ ∈ Λ+
ϕ (Γ) be the leaf of the lamination obtained
e the universal cover of Γ and let
by iterating a neighborhood of p (see Definition 2.3). Denote by Γ
pe be a lift of p and ee and ℓe be the corresponding lifts of e and ℓ. Let e
h and fe be the respective
9

e since this leaf is generated by fe-iterating a
lifts of h and f fixing the point pe. The lift fe fixes ℓ,
neighborhood of pe contained in ee.
e + (Γ). Indeed, if ℓe′ is another such leaf, both ends of ℓe′
We first claim fe fixes only one leaf of Λ
ϕ
are fe-attracting, so there exists an fe-fixed point qe ∈ ℓe′ . If qe 6= pe, then the segment between them is
an NP, contradicting the fact that f has no PNPs (see Remark 2.14). Thus qe = pe. The intersection
ℓe′ ∩ ℓe contains pe but since pe is not a branch point, it must also contain ee, i.e. the edge containing
pe. But since ℓe and ℓe′ are both fe-fixed they must both contain fek (e
e) for each k. Thus ℓe = ℓe′ .
e = ℓ.
e By the previous paragraph, it suffices to show that fe(e
e =e
e
We now claim that e
h(ℓ)
h(ℓ))
h(ℓ).
e =e
e = fe ◦ e
e = fe(e
e and our claim is proved.
We have e
h(ℓ)
h ◦ fe(ℓ)
h(ℓ)
h(ℓ)),
e
e
Recall from before that h(e
e) = ee. Since e
h is an isometry, it restricts to the identity on ℓ.
Projecting to Γ, since ℓ covers all of Γ, we get that h equals the identity on Γ.

Recall the surjective homomorphism τ from Equation 5.
Corollary 4.6. Let ϕ ∈ Out(Fr ) be an ageometric fully irreducible outer automorphism such that
the axis bundle Aϕ consists of a single unique axis, then Ker(τ ) = {id}.
Theorem A. Let ϕ ∈ Out(Fr ) be an ageometric fully irreducible outer automorphism such that
∼
the axis bundle Aϕ consists of a single unique axis, then Cen(hϕi) = Stab(Λ+
ϕ ) = Z.
Proof. We showed in Corollary 4.6 that Ker(τ ) = id. It then follows from Equation 5 that
∼

Stab(Λ+
ϕ ) = Z the rest follows from Corollary 3.3.
Theorem B. Let ϕ ∈ Out(Fr ) be an ageometric fully irreducible outer automorphism such that
the axis bundle Aϕ consists of a single unique axis, then either
(1) Cen(hϕi) = N (hϕi) = Comm(hϕi) ∼
= Z or
(2) Cen(hϕi) ∼
= Z and N (hϕi) = Comm(hϕi) ∼
= Z2 ∗ Z2 .
−1
Further, in the second case, we have that ϕ is also an ageometric fully irreducible outer automorphism such that the axis bundle Aϕ−1 consists of a single unique axis.
Proof. By Corollary 3.3 and Theorem A, Cen(hϕi) ≤ Comm(hϕi) and is of index ≤ 2. If equality
holds then we are in Case 1 and are done. Otherwise there is a short exact sequence
(6)

1 → Cen(hϕi) → Comm(hϕi) → Z2 → 1.

There are two homomorphisms Z2 → Aut(Cen(hϕi)). We call the one whose image is the identity
in Aut(Cen(hϕi)) the trivial action and we call the one mapping the identity in Z2 to the automorphism in Aut(Cen(hϕi)) taking a generator to its inverse the nontrivial action. First suppose Z2 acts
trivially. Let ψ ∈ Comm(hϕi) be any outer automorphism mapping to 1 ∈ Z2 , then ψ ∈
/ Cen(hϕi)
and ψϕψ −1 = ϕ (because the action is trivial) and this is a contradiction. If Z2 acts nontrivially,
then H 2 (Z2 , Z) ∼
= {0} classifies the possible group extensions in the short exact sequence (6) (see
[Ben91, Proposition 3.7.3]). Hence, the only possible extension is Comm(hϕi) ∼
= Cen(hϕi) ⋊ Z2 ∼
=
∼
Z ⋊ Z2 = Z2 ∗ Z2 . Again let ψ ∈
/ Cen(hϕi) be any automorphism mapping to 1 ∈ Z2 . Since the
homomorphism Z2 → Aut(Cen(hϕi)) is mapping 1 to the automorphism taking a generator to its
inverse, ψϕψ −1 = ϕ−1 . Hence, ψ ∈ N (hϕi). So Comm(hϕi) = hCen(hϕi), ψi ≤ N (hϕi). On the
other hand, by Remark 2.19, N (hϕi) ≤ Comm(hϕi). Hence, N (hϕi) = Comm(hϕi).
We now prove the last part of the theorem. If Comm(hϕi) ∼
= Z2 ∗ Z2 , then it contains an element
ψ mapping to the nonzero element in Z2 (as before) so that ψϕψ −1 = ϕ−1 . In other words, ϕ−1
is in the conjugacy class of ϕ. Hence, it has the same index list and ideal Whitehead graph as ϕ
(and is also ageometric fully irreducible). In particular, ϕ−1 satisfies the conditions to be a lone
axis fully irreducible outer automorphism [MP13, Theorem 4.6].

10

References
[AKB12] Yael Algom-Kfir and Mladen Bestvina, Asymmetry of outer space, Geometriae Dedicata 156 (2012), no. 1,
81–92.
[Ben91] D. J. Benson, Representations and cohomology. I, Cambridge Studies in Advanced Mathematics, vol. 30,
Cambridge University Press, Cambridge, 1991, Basic representation theory of finite groups and associative
algebras. MR 1110581 (92m:20005)
[BF12] Mladen Bestvina and Mark Feighn, Outer Limits, http://andromeda.rutgers.edu/~ feighn/papers/outer.pdf
(2012).
[BFH97] M. Bestvina, M. Feighn, and M. Handel, Laminations, trees, and irreducible automorphisms of free groups,
Geometric and Functional Analysis 7 (1997), no. 2, 215–244.
[BH92] M. Bestvina and M. Handel, Train tracks and automorphisms of free groups, The Annals of Mathematics
135 (1992), no. 1, 1–51.
[CL95] Marshall M. Cohen and Martin Lustig, Very small group actions on R-trees and Dehn twist automorphisms,
Topology 34 (1995), no. 3, 575–617. MR 1341810
[Cou14] T. Coulbois,
Free group automorphisms and train-track representative in python/sage,
https://github.com/coulbois/sage-train-track, 2012–2014.
[CV86] M. Culler and K. Vogtmann, Moduli of graphs and automorphisms of free groups, Inventiones mathematicae
84 (1986), no. 1, 91–119.
[FH09] Mark Feighn and Michael Handel, Abelian subgroups of Out(Fn ), Geom. Topol. 13 (2009), no. 3, 1657–1727.
MR 2496054 (2010h:20068)
[HM11] M. Handel and L. Mosher, Axes in Outer Space, no. 1004, Amer Mathematical Society, 2011.
[KL11] I Kapovich and M. Lustig, Stabilizers of R-trees with free isometric actions of fn, Journal of Group Theory
14 (2011), no. 5, 673–694.
[KP15] I. Kapovich and C. Pfaff, A train track directed random walk on Out(Fr ), International Journal of Algebra
and Computation 25 (August 2015), no. 5, 745–798.
[LL03]
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), no. 01, 59–72.
[McC94] J. McCarthy, Normalizers and centralizers of pseudo-anosov mapping classes, preprint), June 8 (1994).
[MP13] L. Mosher and C. Pfaff, Lone axes in outer space, arXiv preprint arXiv:1311.6855 (2013).
[Pfa13] C. Pfaff, Ideal Whitehead graphs in Out(Fr ) II: the complete graph in each rank, Journal of Homotopy and
Related Structures 10 (2013), no. 2, 275–301.
[RW15] M. Rodenhausen and R. Wade, Centralisers of dehn twist automorphisms of free groups, Mathematical
Proceedings of the Cambridge Philosophical Society, vol. 159, Cambridge Univ Press, 2015, pp. 89–114.
Department of Mathematics, University of Haifa
Mount Carmel; Haifa, 31905; Israel
http://www.math.haifa.ac.il/algomkfir/,
E-mail address: yalgom@univ.haifa.ac.il
Department of Mathematics, University of California at Santa Barbara
South Hall, Room 6607; Santa Barbara, CA 93106-3080
http://math.ucsb.edu/~ cpfaff/,
E-mail address: cpfaff@math.ucsb.edu

11

