arXiv:1610.03241v1 [math.GT] 11 Oct 2016

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED
HYPERBOLIC 3-MANIFOLDS
EIKO KIN AND DALE ROLFSEN
Abstract. It is well-known that there is a faithful representation of braid groups
on automorphism groups of free groups, and it is also well-known that free groups
are bi-orderable. We investigate which n-strand braids give rise to automorphisms
which preserve some bi-ordering of the free group Fn of rank n. As a consequence
of our work we find that of the two minimal volume hyperbolic 2-cusped orientable
3-manifolds, one has bi-orderable fundamental group whereas the other does not.
We prove a similar result for the 1-cusped case, and have further results for more
cusps. In addition, we study pseudo-Anosov braids and find that typically those
with minimal dilatation are not order-preserving.

1. Introduction
If < is a strict total ordering of the elements of a group G such that g < h
implies f g < f h for all f, g, h ∈ G, we call (G, <) a left-ordered group. If the leftordering < is also invariant under right-multiplication, we call (G, <) a bi-ordered
group (sometimes known in the literature simply as “ordered” group). If a group
admits such an ordering it is said to be left- or bi-orderable. It is easy to see that
a group is left-orderable if and only if it is right-orderable. If (G, <) is a bi-ordered
group, then < is invariant under conjugation: g < h if and only if f gf −1 < f hf −1
for all f, g, h ∈ G. Nontrivial examples of bi-orderable groups are the free groups
Fn of rank n, as discussed in Appendix A.
An automorphism φ of a group G is said to preserve an ordering < of G if for
every f, g ∈ G we have f < g =⇒ φ(f ) < φ(g); we also say < is φ-invariant.
If φ : G → G preserves an ordering < of G, then the nth power φn preserves the
ordering < of G for each integer n. We note that if φn preserves an ordering it does
not necessarily follow that φ does.
E. Artin [2, 3] observed that each n-strand braid corresponds to an automorphism
of Fn . This paper concerns the question of which braids give rise to automorphisms
which preserve some bi-ordering of Fn . In turn this is related to the orderability
of the fundamental group of the complement of certain links in S 3 , namely the
braid closure together with its axis, which we call a braided link. We pay special
attention to pseudo-Anosov mapping classes and their stretch factors (dilatations),
and cusped hyperbolic 3-manifolds of small volume.
Date: 2016/10/09.
2010 Mathematics Subject Classification. Primary 20F60, 57M07, Secondary 57M50, 57M27,
Key words and phrases. ordered groups, bi-orderings, knots and links, braid groups, free groups,
mapping class groups, fibered 3-manifolds.
EK was supported by Grant-in-Aid for Scientific Research (C) (No. JP15K04875), Japan Society
for the Promotion of Science. DR acknowledges support of the Canadian Natural Sciences and
Engineering Research Council.
1

2

E. KIN AND D. ROLFSEN

This paper is organized as follows: Section 2 reviews the relation among braids,
mapping class groups, free group automorphisms and certain links in the 3-sphere S 3 .
In Section 3 we recall basic properties of orderable groups, with explicit bi-ordering of
free groups further described in Appendix A. The study of order-preserving braids
and their relation to bi-ordering the group of the corresponding braided links is
initiated in Section 4. Applications to cusped hyperbolic 3-manifolds of minimal
volume are considered in Section 5. In Section 6 we give many examples of non-orderpreserving braids, including pseudo-Anosov braids with minimal dilation as well as
large dilatations. We also find a family of pretzel links whose fundamental groups
can not be bi-orderable. Appendix B is devoted to a proof that the fundamental
group of the Whitehead link complement is bi-orderable.
Acknowledgments. We thank Tetsuya Ito for helpful conversations and comments.
2. Braids and Aut(Fn )
Let Bn be the n-strand braid group, which has the well-known presentation with
generators σ1 , . . . , σn−1 subject to the relations σi σj = σj σi if |i − j| > 1 and
σj σi σj = σi σj σi if |i − j| = 1. See Figure 1(1)(2).
2.1. Mapping classes. Let Dn denote the disk with n punctures, which we may
picture as equally spaced along a diameter of the disk and labelled 1 to n. Mod(Dn )
denotes the mapping class group of Dn and Mod(Dn , ∂D) the mapping class group
of homeomorphisms fixed on the boundary pointwise. There is a well-known isomorphism
Γ̄ : Bn → Mod(Dn , ∂D)

which sends σi to a half twist hi which interchanges the punctures labelled i and
i + 1, see Figure 1(3). The kernel of the obvious map Mod(Dn , ∂D) → Mod(Dn )
is infinite cyclic, generated by a Dehn twist along a simple closed curve parallel to
the boundary of the disk. Using the isomorphism Γ̄ : Bn → Mod(Dn , ∂D) together
with this obvious map, we have the surjective homomorphism
Γ : Bn → Mod(Dn )

whose kernel is generated by the full twist ∆2n ∈ Bn , where ∆n ∈ Bn is the half
twist.
Elements of Mod(Dn ) are classified into three types: periodic, reducible and
pseudo-Anosov, called Nielsen-Thurston types [38]. If two given mapping classes
are conjugate to each other, then their Nielsen-Thurston types are the same. We
say that β ∈ Bn is periodic (resp. reducible, pseudo-Anosov) if its mapping class
Γ(β) ∈ Mod(Dn ) is of the corresponding type.
2.2. Free group automorphisms. Let β be an n-strand braid. Let φ : Dn →
Dn be a representative of the mapping class Γ̄(β) ∈ Mod(Dn , ∂D). Obviously φ
represents a mapping class Γ(β) ∈ Mod(Dn ). If one passes to the induced map
φ∗ = φ∗p : π1 (Dn , p) → π1 (Dn , p) of the fundamental group of Dn , using a point p
on the boundary as basepoint, this defines the Artin representation
Bn → Aut(Fn )

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

3

which can be defined on the generators as follows, where x1 , x2 . . . , xn are the free
generators of the free group Fn of rank n and Aut(Fn ) is the group of automorphisms
of Fn . The generator σi induces the automorphism
(2.1)

xi 7→ xi xi+1 x−1
i ,

xi+1 7→ xi ,

xj 7→ xj if j 6= i, i + 1.

See Figure 2. It is known that the Artin representation is faithful. Its image is the
subgroup of automorphisms of Fn that take each xi to a conjugation of some xj and
which take the product x1 x2 · · · xn to itself.
We note that if Γ(β) = Γ(β ′ ) ∈ Mod(Dn ) for n-strand braids β and β ′ , then β ′ =
2k
β∆2k
n for some integer k. The images of β and β∆n under the Artin representation
are the same up to an inner automorphism
x → (x1 x2 · · · xn )k x(x1 x2 · · · xn )−k .
By abuse of notation, from now on we will use the same symbol β for the braid,
the mapping class Γ(β) ∈ Mod(Dn ) and the corresponding automorphism of Fn .
An automorphism φ of Fn = hx1 , . . . , xn i is said to be symmetric if for each
generator xj , the image φ(xj ) is a conjugate of some xk . Every automorphism
on Fn corresponding to the action of a braid on Fn is symmetric. A symmetric
automorphism φ : Fn → Fn is pure if φ sends each xi to a conjugate of itself. Pure
braids (see Section 4.2) induce symmetric and pure automorphisms.
Since braid words, like paths, are typically read from left to right, we adopt the
convention that braids act on Fn on the right. If x ∈ Fn , we denote the action of
β ∈ Bn by x → xβ , and if β, γ ∈ Bn we have the identity xβγ = (xβ )γ .
Definition 2.1. An n-strand braid β is said to be order-preserving if there exists
some bi-ordering < of Fn preserved by the automorphism x → xβ of Fn .

One sees that β ∈ Bn is order-preserving if and only if β∆2k
n is order-preserving
for some (hence all) k ∈ Z (Corollary 4.2).
As discussed below, there is some ambiguity in defining the action of Bn on
Fn , depending on choices of a representative of the mapping class β ∈ Mod(Dn ),
basepoint in Dn and generators of π1 (Dn ). As we’ll see, this ambiguity is irrelevant
in the question of whether a braid β is order-preserving.
2.3. Basepoints. It is sometimes convenient to use a basepoint and generators
different from that used in the Artin representation. Specifically, we consider a
representative φ : Dn → Dn of a mapping class in Mod(Dn , ∂D) and we may
assume that p, q ∈ Dn are two different points (not necessarily on the boundary of
the disk), each fixed by φ. Then we have induced maps φ∗p : π1 (Dn , p) → π1 (Dn , p)
and φ∗q : π1 (Dn , q) → π1 (Dn , q). Of course, π1 (Dn , p) and π1 (Dn , q) are isomorphic,
but not canonically. We can construct an isomorphism by choosing a path ℓ in Dn
from q to p which then defines an isomorphism h : π1 (Dn , p) → π1 (Dn , q) sending
the class of a loop α in Dn based at p to the class of the loop ℓαℓ−1 based at q.
Consider the diagram
φ∗p

π1 (Dn , p) −−−−→ π1 (Dn , p)




hy
hy
φ∗q

π1 (Dn , q) −−−−→ π1 (Dn , q)

4

E. KIN AND D. ROLFSEN

which is not necessarily commutative. However, we leave it to the reader to check
the following
Proposition 2.2. The above diagram commutes up to conjugation. Specifically,
h ◦ φ∗p equals φ∗q ◦ h followed by a conjugation in π1 (Dn , q), the conjugating element
being the class of the loop ℓ(φ ◦ ℓ)−1 in π1 (Dn , q).
Corollary 2.3. The map φ∗p preserves a bi-ordering of π1 (Dn , p) if and only if φ∗q
preserves a bi-ordering of π1 (Dn , q).
Proof. If φ∗p preserves the bi-ordering <p of π1 (Dn , p), define a bi-ordering <q of
π1 (Dn , q) by the formula f <q g ⇐⇒ h−1 (f ) <p h−1 (g) for f, g ∈ π1 (Dn , q).
Then one checks that f <q g =⇒ φ∗q (f ) <q φ∗q (g) using conjugation invariance of
bi-orderings. The converse is proved similarly.

If one passes from Mod(Dn , ∂D) to Mod(Dn ), there is a further ambiguity regarding the action of a braid on π1 (Dn ). However, this ambiguity corresponds to
conjugation by a power of ∆2n , so again it is irrelevant to the question of preserving
a bi-ordering. More concretely, given an n-strand braid β, let φ : Dn → Dn be any
representative of the mapping class β ∈ Mod(Dn ). We take any basepoint q of Dn
possibly φ(q) 6= q. By choosing a path ℓ in Dn from q to φ(q), we have the induced
map
(2.2)

φ∗q : π1 (Dn , q) → π1 (Dn , q)

which sends the class of a loop α in Dn based at q to the class of the loop ℓαℓ−1
based at the same point. By using Corollary 2.3, one sees that β is order-preserving
if and only if φ∗q : π1 (Dn , q) → π(Dn , q) preserves a bi-ordering of π1 (Dn , q).
By abuse of notation again, we denote the induced map φ∗q by β, when q is
specified.
These remarks show that if one allows different choices of basepoint, say a basepoint q, the action of Bn on Fn should really be regarded as a representation
Bn → Out(π1 (Dn , q)) ∼
= Out(Fn ),
the group of outer automorphisms. Recall that Out(G) = Aut(G)/Inn(G), where
Inn(G) is the (normal) subgroup of inner automorphisms of a group G.
2.4. Mapping tori and braided links. For a braid β ∈ Bn , we denote the mapping torus by
Tβ = Dn × [0, 1]/(y, 1) ∼ (φ(y), 0),
where φ : Dn → Dn is a representative of β ∈ Mod(Dn ). By the hyperbolization
theorem of Thurston [37], Tβ is hyperbolic if and only if β is pseudo-Anosov.
The closure βb of a braid β is a knot or link in the 3-sphere S 3 and the braided
b together with the braid axis A, which is an
link, denote by br(β), is the closure β,
unknotted curve that βb runs around in a monotone manner: br(β) = βb ∪ A. See
b this is not true for br(β),
Figure 3(1)(2). Whereas all links can be realized as β,
as each component of βb has nonzero linking number with the braid axis A. As an
example the Whitehead link considered in Appendix B is not a braided link.

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

5

n
i+1
i

1

n

i i+1

3
2
1

1
(1)

(2)

(3)

Figure 1. (1) σi ∈ Bn . (2) σ1 σ2−1 ∈ B3 . (3) hi ∈ Mod(Dn , ∂D).

x1 x2

x'i = x i x i+1 xi

xi xi+1

xn

x'i+1 = xi
(1)

(2)

Figure 2. A basepoint • of π1 (Dn ) lies on ∂D. (1) Generators xi ’s
of Fn . (2) σi : Fn → Fn , where x′ := the image of x under σi and
x := x−1 .

β

β

(1)

axis A

(2)

(3)

b (2) br(β) = βb ∪ A. (3) br(σ1 σ2 ) is equivFigure 3. (1) Closure β.
alent to the (6, 2)-torus link.
We see that Tβ is homeomorphic with the complement of the braid closure βb in
the solid torus D 2 × S 1 . The interior Int(Tβ ) can be identified with the complement
of βb ∪ A in S 3 , so we have the following.
Lemma 2.4. Int(Tβ ) is homeomorphic to S 3 \ br(β).

Of course the fundamental group of Int(Tβ ) is isomorphic with that of Tβ , which
in turn is the semidirect product
π1 (S 3 \ br(β)) ∼
= π1 (Tβ ) ∼
= Fn ⋊β Z.

6

E. KIN AND D. ROLFSEN

There is a (split) exact sequence
1 → Fn → π1 (Tβ ) → Z = hti → 1.
One may consider Fn ⋊β Z as the set of ordered pairs
Fn ⋊β Z = {(f, tp ) | f ∈ Fn , p ∈ Z},
with the multiplication given by
(f, tp )(g, tq ) = (f tp gt−p , tp+q ),

where tgt−1 = gβ .

3. Orderable groups
In this section we outline a few well-known facts about orderable groups. For
more details, see [11, 6]. Further details regarding bi-ordering of Fn may be found
in Appendix A.
Proposition 3.1. A group G is left-orderable if and only if there exists a subsemigroup P ⊂ G such that for every g ∈ G exactly one of g = 1, g ∈ P or g −1 ∈ P
holds.
Indeed such a P defines a left-ordering < = <P by the rule g < h ⇐⇒ g−1 h ∈ P.
Conversely, a left-ordering < defines a positive cone P = P< := {g ∈ G | 1 < g}
satisfying the conditions of Proposition 3.1.
Proposition 3.2. A group G is bi-orderable if and only if it posesses P ⊂ G as in
Proposition 3.1, and in addition g −1 Pg = P for all g ∈ G.
We note that a left- or bi-ordering of G is preserved by an automorphism φ : G →
G if and only if φ(P) = P, where P is the positive cone of the ordering.
i

p

Proposition 3.3. Suppose 1 → K ֒→ G → H → 1 is an exact sequence of groups.
If K and H are left-ordered with positive cones PK and PH respectively, then G is
left-orderable using the positive cone PG := i(PK ) ∪ p−1 (PH ).
This is sometimes called the lexicographic order of G, considered as an extension.
Proposition 3.4. In Proposition 3.3, if K and H are bi-ordered, then the formula
PG = i(PK ) ∪ p−1 (PH ) defines a bi-ordering of G if and only if the bi-ordering of
K is respected under conjugation by elements of G; equivalently g −1 PK g = PK for
all g ∈ G.
A subset S of a left-ordered group (G, <) is said to be convex if for all s, s′ ∈ S
and g ∈ G satisfying s < g < s′ , we have g ∈ S.
i

p

Proposition 3.5. If 1 → K → G → H → 1 is an exact sequence of groups with
(G, <) a left-ordered group and K a convex subgroup of (G, <), then there is a leftordering ≺ of H in which 1 ≺ h if and only if some (and hence every) element
g ∈ p−1 (h) satisfies 1 < g. If (G, <) is a bi-ordered group, so is (H, ≺).
Being bi-orderable is a much stronger property than being left-orderable. An
intermediate property of groups is to be locally-indicable, which means that every
finitely-generated nontrivial subgroup has the infinite cyclic group Z as a quotient.

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

7

Proposition 3.6. For a group, the following implications hold: bi-orderable =⇒
locally-indicable =⇒ left-orderable =⇒ torsion-free. None of these implications
is reversible.
Proposition 3.7 ([7]). If L is a knot or link in S 3 , then its group π1 (S 3 \ L) is
locally indicable and therefore left-orderable.
Certain knot groups and link groups are bi-orderable, and this is a particular
focus of this paper. For example, torus knot groups are not bi-orderable, but the
figure-eight knot 41 has bi-orderable group [33], and we shall see that the same is
true of the Whitehead link and many links constructed from braids as above. One
of the reasons bi-orderability of knot groups is of interest has to do with surgery
and L-spaces, which were introduced by Ozsváth and Szabó [32] and include all
3-manifolds with finite fundamental group.
Theorem 3.8 ([10]). If K is a knot in S 3 for which π1 (S 3 \ K) is bi-orderable, then
surgery on K cannot produce an L-space.
We note that this is not true in general for links. As we shall see in Theorem B.1,
the Whitehead link has bi-orderable fundamental group, but one can construct lens
spaces by certain surgeries on the link.
Consider a group K, an automorphism φ : K → K and the semidirect product
G = K ⋊φ Z. Recall G ∼
= {(k, tp ) | k ∈ K, p ∈ Z} with multiplication given by
(k1 , tp )(k2 , tq ) = (k1 tp k2 t−p , tp+q ) = (k1 φp (k2 ), tp+q ),

where tkt−1 = φ(k).

Proposition 3.9. Suppose K is bi-orderable and φ : K → K is an automorphism.
Then G = K ⋊φ Z is bi-orderable if and only if there exists a bi-ordering of K which
is preserved by φ.
Proof. Suppose that G is bi-ordered by <. Since bi-orderings are invariant under conjugation, the equation φ(k) = tkt−1 implies that <, restricted to K, is
φ-invariant. For the converse, suppose φ preserves a bi-ordering ≺ of K. Then
we use the lexicographic ordering defined by (k1 , tp ) < (k2 , tq ) if and only if p < q
as integers or p = q and k1 ≺ k2 , to order G. It is easily checked that this is a
bi-ordering using the identity tp kt−p = φp (k) and the assumption that φ preserves
the ordering ≺.

Let Σ be an orientable surface. Then π1 (Σ) is bi-orderable, see [35]. Let Mod(Σ)
be the mapping class group of Σ, let f = [φ] ∈ Mod(Σ) and assume φ(p) = p for
some p ∈ Σ. Since the fundamental group of the mapping torus Tf of f is the
semidirect product π1 (Σ) ⋊φ∗ Z, where φ∗ : π1 (Σ, p) → π1 (Σ, p) is an automorphism
induced from f , we have the following from Proposition 3.9.
Proposition 3.10. π1 (Tf ) is bi-orderable if and only if there exists a bi-ordering of
π1 (Σ, p) which is preserved by φ∗ : π1 (Σ, p) → π1 (Σ, p), where φ is a representative
of the mapping class f .
If φ(x) = x for x ∈ G, then we say that the orbit of x (under φ) is trivial.
Proposition 3.11. Let G be a left-orderable group. If an automorphism φ : G → G
preserves a left-ordering < of G, then φ cannot have any nontrivial finite orbits.

8

E. KIN AND D. ROLFSEN

Proof. If the orbit of x ∈ G is nontrivial, we may assume x < φ(x). Then φ(x) <
φ2 (x), and by transitivity and induction x < φm (x) for all m ≥ 1 and therefore the
orbit of x, {φn (x) | n ∈ Z}, is infinite.

Proposition 3.11 says that if φ : G → G has a nontrivial finite orbit, then φ does
not preserve any left-ordering of G.
Consider an automorphism φ : Fn → Fn of a free group. The following two criteria
for φ being order-preserving (or not) will be useful; they involve the abelianization
φab : Zn → Zn and its eigenvalues, which are, a priori, n complex numbers, possibly
with multiplicity.
Theorem 3.12 ([33]). Let φ : Fn → Fn be an automorphism. If every eigenvalue
of φab : Zn → Zn is real and positive, then there is a bi-ordering of Fn which is
φ-invariant.
Theorem 3.13 ([10]). If there exists a bi-ordering of Fn which is φ-invariant, then
φab has at least one real and positive eigenvalue.
This is useful in showing that certain fibred 3-manifolds have fundamental groups
which are not bi-orderable. However, we note that in the case of braids it does not
apply in that way, for if φ is an automorphism of Fn induced by a braid β ∈ Bn , or
more generally a symmetric automorphism, then φab is simply a permutation of the
generators of Zn and therefore has at least one eigenvalue equal to one.
We note that Theorem 3.12 cannot have a full converse. It has been observed in
[28] that for n ≥ 3 there exist automorphisms of Fn which preserve a bi-ordering of
Fn , but whose eigenvalues are precisely the nth roots of unity in C. Such examples
appear in the discussion in Section 4.6.
In Appendix A a certain class of bi-orderings of the free group Fn , called standard
orderings is defined, using the lower central series.
Proposition 3.14. If φ : Fn → Fn is a non-pure symmetric automorphism, then φ
cannot preserve any standard bi-ordering of Fn .
Proof. Assume φ : Fn → Fn is not pure, but preserves a standard bi-ordering <
of Fn . Then φab is a nontrivial permutation of the generators of the abelianization
Zn . By Proposition A.1, the commutator subgroup [Fn , Fn ] is convex relative to <,
and therefore Fn /[Fn , Fn ] ∼
= Zn inherits a bi-ordering <1 according to Proposition
3.5. Since φ preserves <, one easily checks that φab preserves the order <1 of Zn .
But, φ being non-pure symmetric implies that φab is a nontrivial permutation of the
generators of Zn which are the images of the xi . By Proposition 3.11, φab cannot
preserve any ordering of Zn , a contradiction.

Proposition 3.15. If φ : Fn → Fn is a pure symmetric automorphism, then φ is
order-preserving. In fact, it preserves every standard ordering of Fn .
Proof. A pure symmetric automorphism φ : Fn → Fn induces the identity map
φab = id : Zn → Zn , so Proposition A.3 applies.


For any symmetric automorphism φ : Fn → Fn , there exists k ≥ 1 so that φk is pure
symmetric. By Proposition 3.15, we have the following.
Corollary 3.16. If φ : Fn → Fn is a symmetric automorphism, then there exists
k ≥ 1 such that φk is order-preserving.

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

9

4. Order-preserving braids
4.1. Basic properties. From Lemma 2.4 and Proposition 3.10 we have the following.
Proposition 4.1. A braid β ∈ Bn is order-preserving if and only if π1 (S 3 \ br(β))
is bi-orderable.
Let δn be the n-strand braid
δn = σ1 σ2 · · · σn−1

and let ∆ = ∆n ∈ Bn be the half twist

∆ = (σ1 σ2 · · · σn−1 )(σ1 σ2 · · · σn−2 ) · · · (σ1 σ2 )σ1 .

The full twist ∆2 is written by ∆2 = δnn = (δn σ1 )n−1 , which means that δn and δn σ1
are roots of ∆2 . We note that ∆2 commutes with all n-strand braids and in fact
generates the centre of Bn when n ≥ 3, see [24, Theorem 1.24].
Corollary 4.2. A braid β ∈ Bn is order-preserving if and only if β∆2k is orderpreserving for some (hence all) k ∈ Z. Moreover, they preserve exactly the same
bi-orderings of Fn .

Proof. This follows since S 3 \ br(β) and S 3 \ br(β∆2k ) are homeomorphic: By using
the disk twist as we shall define in Section 4.4, we see that kth power of the disk
twist tk about the disk bounded by the braid axis A of β sends the exterior E(br(β))
of the link br(β) to the exterior E(br(β∆2k )). An alternative argument is that ∆2
acts by conjugation of Fn , so it preserves every bi-order of Fn .

As noted by Garside [16] every n-strand braid has an expression β∆2k where
β is a Garside positive braid word, meaning that β can be written as a word in
the σi generators without negative exponents. Thus a question of a braid being
order-preserving can always be reduced to the case of positive braids. Notice that
changing a braid β by conjugation does not change the link br(β) up to isotopy, so
we have:
Corollary 4.3. Let α, β ∈ Bn . Then β is order-preserving if and only if αβα−1 is
order-preserving.
The very simplest of nontrivial braids are the generators σi .
Proposition 4.4. The generators σi ∈ Bn are not order-preserving.
Proof. Suppose that σi preserves a bi-order < of Fn . We may assume xi < xi+1 .
i
< xi , see (2.1). But conjugation
Then xσi i < xσi+1
, or in other words xi xi+1 x−1
i
invariance of the ordering then yields xi+1 < xi , which is a contradiction.
An alternative argument is as follows. We take a basepoint p1 in the interior of
Dn . There exists a homeomorphism φ : Dn → Dn which represents σi ∈ Mod(Dn )
such that the induced map φ∗ : π1 (Dn , p1 ) → π1 (Dn , p1 ) gives rise to the following
automorphism on Fn = hx1 , · · · , xn i:
(4.1)

σi : xi 7→ xi+1 ,

xi+1 7→ xi+1 xi x−1
i+1 ,

xj 7→ xj if j 6= i, i + 1,

x′ ,

see Figure 4(2). (In the figures, we denote by
the image of x ∈ Fn under the
automorphism of Fn , and denote by x, the inverse x−1 of x.) Suppose that σi

10

E. KIN AND D. ROLFSEN

xn

x1
x1 x2

xn
(1)

(3)

x'i = xi+1
xi xi+1

x'i+1= x i+1 x i xi+1
(2)

Figure 4. A basepoint • of π1 (Dn ) is taken to be in the interior of
Dn . (1) Generators xi ’s of Fn . (2) σi : Fn → Fn . (3) δn : xn 7→
xn−1 7→ · · · 7→ x1 7→ xn .

Figure 5. Links whose groups are not bi-orderable.
preserves a bi-order < of Fn . We may assume xi < xi+1 . Then xi+1 < xi+1 xi x−1
i+1
since σi preserves <. This implies that xi+1 < xi by conjugation invariance of the
bi-ordering. This is a contradiction.

Example 4.5. Proposition 4.4 together with Corollary 4.2 implies the links of Figure 5 have complements whose fundamental groups are not bi-orderable. Those
complements are homeomorphic to each other.
4.2. Pure braids. As is well-known, there is a homomorphism Bn → Sn of the
n-strand braid group onto the permutation group of n letters, and the kernel is the
group of pure braids Pn .
Proposition 4.6. Every pure braid β ∈ Pn is order-preserving, and in fact preserves
every standard bi-order of Fn .
Proof. For a pure braid β, the image of the Artin representatation is pure symmetric.
This completes the proof by Proposition 3.15.


BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

11

Figure 6. Links whose groups are bi-orderable.
The 2nd power σi2 of each generator σi is a pure braid. Thus we have the following.
Corollary 4.7. The braids σi2 ∈ Pn are order-preserving.

Example 4.8. The 2-strand braid σ12 gives rise to the examples of links in Figure 6
whose complements have bi-orderable fundamental groups. All the link complements
are homeomorphic to one another. It is clear that they are homeomorphic with
D2 × S 1 , whose fundamental group is isomorphic with F2 × Z.
By Corollary 3.16, we immediately obtain the following.
Corollary 4.9. For every braid β some power β k is order-preserving. The fundamental group π1 (Tβ k ) is bi-orderable and may be regarded as a normal subgroup of
index k in π1 (Tβ ).
4.3. Periodic braids. Suppose that β ∈ Bn is a periodic braid. It is known (see
for example [17, page 30]) that there exists an integer k ∈ Z such that β is conjugate
to either
Type 1. (δn σ1 )k = (σ1 σ2 · · · σn−1 σ1 )k or
Type 2. δnk = (σ1 σ2 · · · σn−1 )k .
Theorem 4.10. Let β ∈ Bn be a periodic braid.
(1) If β is conjugate to (δn σ1 )k for some k, then β is order-preserving and π1 (Tβ )
is bi-orderable.
(2) If β is conjugate to δnk for some k with k 6≡ 0 (mod n), then β is not
order-preserving and π1 (Tβ ) can not be bi-orderable.
Note that δnk is order-preserving when k ≡ 0 (mod n) since δnn = ∆2 . Theorem 4.10
is a consequence of [7, Theorem 1.5]: If β is a periodic braid, then Tβ is a Seifert
fibered 3-manifold. If β is of type 1, then Tβ has no exceptional fibres. If β is of
type 2 and if k is not a multiple of n, then Tβ has an exceptional fibre.
We will give an alternative, more explicit proof of Theorem 4.10 in Section 4.5.
4.4. Disk twists. We review a method to construct links in S 3 whose complements
are homeomorphic to each other. Let L be a link in S 3 . We denote a tubular
neighborhood of L by N (L), and the exterior of L, that is S 3 \ int(N (L)) by E(L).
Suppose that L contains an unknot K as a sublink. Then E(K) (resp. ∂E(K))
is homeomorphic to a solid torus (resp. torus). We denote the link L \ K by LK .
Taking a disk D bounded by the longitude of N (K), we define two homeomorphisms
TD : E(K) → E(K)

12

E. KIN AND D. ROLFSEN

TD (l)

l

LK

T D (L K )

D
(1)

(2)

Figure 7. (1) Image of ℓ under TD , where ℓ is an arc on ∂E(K)
which passes through ∂D. (2) Local picture of LK and its image
TD (LK ).
and
tD : E(L)(= E(K ∪ LK )) → E(K ∪ TD (LK ))

as follows. We cut E(K) along D. We have resulting two sides obtained from
D. Then we reglue the two sides by rotating either of the sides 360 degrees so
that the mapping class of the restriction TD |∂E(K) : ∂E(K) → ∂E(K) defines the
right-handed Dehn twist about ∂D, see Figure 7(1). Such an operation defines the
homeomorphism TD : E(K) → E(K). If m segments of LK pass through D, then
TD (LK ) is obtained from LK by adding a full twist braid ∆2m near D. In the case
m = 2, see Figure 7(2). For example, if L is equivalent to br(β) for some β ∈ Bn and
if K is taken to be the braid axis A of β, then TD (LK ) is equivalent to the closure
of β∆2n . Notice that TD : E(K) → E(K) determines the latter homeomorphism
tD : E(L)(= E(K ∪ LK )) → E(K ∪ TD (LK )).
We call tD the (right-handed) disk twist about D.
For any integer m 6= 0, we have a homeomorphism of the mth power TDm :
E(K) → E(K) so that TDm |∂E(K) : ∂E(K) → ∂E(K) is the mth power of the righthanded Dehn twist about ∂D. Observe that TDm converts L = K ∪ LK into a link
K ∪ TDm (LK ) in S 3 such that S 3 \ L is homeomorphic to S 3 \ (K ∪ T m (LK )). We
m
denote by tm
D , a homeomorphism: E(L)(= E(K ∪ LK )) → E(K ∪ TD (LK )) and call
m
tD the mth power of (right-handed) disk twist tD about D.
4.5. Alternative proof of Theorem 4.10.
Proof of Theorem 4.10. We prove the claim (1). Consider the pure 2-strand braid
σ12 . Then br(σ12 ) is a link consisting of three unknotted components, including the
c2
axis. Performing a disk twist n times on one of the components of the closed braid σ
1
converts the braided link of the 2-strand braid σ12 to the braided link of the (n + 2)strand braid β ′ , which is conjugate to the type 1 braid σ1 σ2 · · · σn+1 σ1 , see Figure 8.
But the disk twist being a homeomorphism of the complement of the link, we see
that Tσ12 ≃ Tβ ′ . But since σ12 is pure, Tσ12 has bi-orderable fundamental group, in
fact isomorphic with F2 × Z. Hence the fundamental group of Tβ ′ is bi-orderable
and σ1 σ2 · · · σn+1 σ1 is order-preserving. Thus the kth power (σ1 σ2 · · · σn+1 σ1 )k is
also order-preserving.

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

13

disk twist

Figure 8. nth power of the disk twist converts the braided link of
σ12 to that of σ1 σ2 · · · σn+1 σ1 . (n = 2 in this case.)
We turn to the claim (2). We use the basepoint p1 in the interior of Dn . There
exists a homeomorphism φ : Dn → Dn which represents δn ∈ Mod(Dn ) such that the
induced map φ∗ : π1 (Dn , p1 ) → π1 (Dn , p1 ) gives rise to the following automorphism1
on Fn = hx1 , · · · , xn i:
(4.2)

δn : x1 7→ xn 7→ xn−1 7→ · · · 7→ x2 7→ x1 ,

see Figure 4(2). The orbit of x1 is nontrivial (since x1 6= xn ) and finite. By
Proposition 3.11, δn is not order-preserving. Then k 6≡ 0 (mod n) if and only if δnk

has a nontrivial finite orbit of x1 . Thus δnk is not order-preserving.
Proposition 4.11. The half twist ∆n ∈ Bn is order-preserving if and only if n is
odd.
Proof. If n = 2m+1, then ∆n is conjugate to (σ1 σ2 · · · σ2m σ1 )m , and if n = 2m, then
∆n is conjugate to (σ1 σ2 · · · σ2m−1 )m with m 6≡ 0 (mod 2m). By Theorem 4.10, we
finish the proof.

As a special case of Theorem 4.10(2), we see that the periodic 3-strand braid
σ1 σ2 is not order-preserving. Another way to see this is to observe that the 3-strand
braid σ1 σ2 gives the following automorphism on F3 = hx, y, zi by using the Artin
representation B3 → Aut(F3 )
z 7→ y 7→ x 7→ xyzy −1 x−1

One can show this doesn’t preserve a bi-order of F3 as follows. Assume some biorder < were preserved by the map, then supposing without loss of generality that
x < y, we would have xyzy −1 x−1 < x (applying σ1 σ2 ), hence yzy −1 < x (conjugation invariance), so xyx−1 < xyzy −1 x−1 (applying σ1 σ2 ) and then xyx−1 < x
(transitivity) and finally the contradiction y < x (conjugation again).
On the other hand σ1 σ2−1 ∈ B3 is pseudo-Anosov, and in fact it is the simplest
pseudo-Anosov 3-strand braid; see Section 6.1. We thank George Bergman for
pointing out the following argument. It will also follow from more general result in
Section 6.2; see Corollary 6.4.
Theorem 4.12. The braid σ1 σ2−1 ∈ B3 is not order-preserving.
1The product σ σ · · · σ
1 2
n−1 ∈ Aut(π1 (Dn , p1 )) of σi ’s in (4.1) is given by x1 7→ xn , xj →

xn xj−1 x−1
n if j 6= 1. This is equal to δn ∈ Aut(π1 (Dn , p1 )) in (4.2) up to an inner automorphism.

14

E. KIN AND D. ROLFSEN

Proof. Let x, y, z be the free generators of F3 . Using the Artin representation B3 →
Aut(F3 ), one sees that the action of σ1 σ2−1 is
x 7→ xzx−1 ,

y 7→ x,

z 7→ z −1 yz.

Consider the orbit of the element w = y −1 x under this action. Assuming there
is a bi-order < of F3 invariant under this action, we may assume without loss of
generality that 1 < w, and therefore all elements of the orbit of w are positive.
Moreover 1 < w implies y < x and since w 7→ zx−1 we have y < x < z.
Now the calculation
w 7→ zx−1 7→ z −1 yzxz −1 x−1 = (z −1 y)zx−1 x(xz −1 )x−1
and the facts that z −1 y and x(xz −1 )x−1 are negative show that the action is decreasing on the orbit of zx−1 , which is also the orbit of w.
Calculating the preimages of the generators, we have the action of σ1 σ2−1 expressed
as
y 7→ x, y −1 xyzy −1 x−1 y 7→ y, y −1 xy 7→ z,
and therefore

y −1 xyz −1 y −1 x−1 yy 7→ y −1 x = w.

But notice that y −1 xyz −1 y −1 x−1 yy = w(yz −1 )y −1 (x−1 y)y and since the expressions
in the parentheses are < 1 (i.e, yz −1 < 1 and y −1 (x−1 y)y < 1), we conclude that the
action is increasing on the orbit of w. This contradiction shows that an invariant
bi-order of F3 cannot exist.

4.6. Explicit orderings preserved by periodic braids of type 1. We have
seen that for n ≥ 3 the root δn σ1 of the full twist ∆2 ∈ Bn preserves an ordering of
Fn . In this section we will explicitly construct uncountably many such orderings.
Recall that δn ∈ Bn induces the following automorphism on Fn , using the basepoint in the interior of Dn
δn : x1 7→ xn 7→ xn−1 7→ · · · 7→ x2 7→ x1 ,
see (4.2). By (4.1) σ1 ∈ Bn induces the following automorphism on Fn , using the
same basepoint:
σ1 : x1 7→ x2 , x2 7→ x2 x1 x−1
2 , xj 7→ xj if j 6= 1, 2.
Thus the automorphism δn σ1 on Fn is given by
δn σ1 : x1 → xn ,

x2 → x2 ,

x3 → x2 x1 x−1
2 ,

x4 → x3 ,

··· ,

xn → xn−1 .

(For the case n = 3, just take the first three terms above.)
Here is another way to realize this automorphism of Fn , elaborating on Example
3.6 in [28]. Fix n ≥ 3 and consider the free group F2 = hu, vi of rank 2 and the
homomorphism of F2 onto the cyclic group G = ht | tn−1 = 1i given by u → t and
v → 1. The kernel K = Kn of this map is a normal subgroup of F2 , of index n − 1.
If we realize F2 as the fundamental group of a bouquet of two circles labelled u
and v, the covering space corresponding to K is a finite planar graph as pictured
in Figure 9 whose fundamental group is free of rank n. Using the basepoint in the

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

v
v
u
v
u v

v

u

v

u u u
u
u
u uu

v

(2)

v
v

v

v
(1)

15

(3)

Figure 9. (1) A bouquet of two circles u and v. (2) Covering space
corresponding to Kn when n = 3. (3) Covering space corresponding
to Kn when n = 9.

β

β
(1)

(2)

(3)

Figure 10. (1) α ∈ Bm . (2) β ∈ Bn . (3) α ⊗ β ∈ Bm+n .
covering space depicted in Figure 9, we see that K has the free generators z1 , . . . , zn ,
where
z1 = v, z2 = un−1 , z3 = un−2 vu2−n ,
. . . , zn−1 = u2 vu−2 , zn = uvu−1 .

z4 = un−3 vu3−n ,

Now consider the automorphism of the normal subgroup K of F2 given by φ(x) =
uxu−1 . This is not an inner automorphism of K but it is an inner automorphism of
the larger group F2 . Therefore, if we take any bi-ordering of F2 , then its restriction
to K will be preserved by φ. By inspection, the action of φ on K is given by

z2 → z2 , z3 → z2 z1 z2−1 , z4 → z3 , · · · , zn → zn−1 .
∼ Fn given by zi 7→ xi for each i, we see that φ corresponds
Under the isomorphism K =
to δn σ1 . One can use this isomorphism to see that any bi-ordering of F2 restricted to
K provides an ordering of Fn invariant under δn σ1 . Finally note that any ordering
of Fn respected by δn σ1 will also be respected by (δn σ1 )k for any integer k.
z1 → zn ,

Note that we can use, for example, any standard ordering of F2 . However, this
ordering restricted to K cannot be a standard ordering (defined using the lower
central series of K) by Proposition 3.14.
4.7. Tensor product of braids. Given braids α ∈ Bm and β ∈ Bn one can form
the (m + n)-strand braid α ⊗ β ∈ Bm+n with α on the first m strings and β on the
last n strings, but no crossings between any of the first m strings with any of the
last n strings (Figure 10); see for example [24, page 69]. The action of α ⊗ β on
Fm+n ∼
= Fm ⋆ Fn is just the free product α ⋆ β : Fm ⋆ Fn → Fm ⋆ Fn .

16

E. KIN AND D. ROLFSEN

The following Lemma and Proposition are proved in [34, Corollary 4].
Lemma 4.13. Suppose (G, <G ) and (H, <H ) are bi-ordered groups. Then there
is a bi-ordering of G ⋆ H which extends the orderings of the factors and such that
whenever φ : G → G and ψ : H → H are order-preserving automorphisms, the
ordering of G ⋆ H is preserved by the automorphism φ ⋆ ψ : G ⋆ H → G ⋆ H.
Proposition 4.14. The braids α ∈ Bm and β ∈ Bn are order-preserving if and
only if α ⊗ β ∈ Bm+n is order-preserving.
There is a natural inclusion Bm ⊂ Bm+n (n ≥ 1) given by β 7→ β ⊗ 1n , where 1n
is the identity braid of Bn .
Corollary 4.15. A braid β ∈ Bm is order-preserving if and only if β ⊗ 1n ∈ Bm+n
is order-preserving.
4.8. Do order-preserving braids form a subgroup? Let OPn ⊂ Bn denote
the set of n-strand braids which are order-preserving. It is clear that β ∈ OPn
if and only if β −1 ∈ OPn and that the identity braid belongs to OPn . Moreover,
Pn ⊂ OPn by Proposition 4.6. It is natural to ask whether OPn forms a subgroup
of Bn , in other words whether OPn is closed under multiplication. For n = 2 the
answer is affirmative. Noting that ∆22 = σ12 we conclude from Propositions 4.4 and
4.6 and Corollary 4.2 that OP2 consists of exactly the 2-strand braids σ1k with k
even. Therefore OP2 is exactly the subgroup P2 .
Proposition 4.16. For n > 2 the set OPn is not a subgroup of Bn .
Proof. Consider the n-strand braids α = σ1 σ2 σ1 and β = σ1−2 . Then α is orderpreserving, being an extension in Bn of type 1 periodic braid σ1 σ2 σ1 ∈ B3 (see
Corollary 4.15), and β is order-preserving, being a pure braid. But αβ = σ1 σ2 σ1−1
is not order-preserving, as it is conjugate to σ2 which is not order-preserving by
Proposition 4.4.

Although not a subgroup for n > 2, OPn is a large subset of Bn :
Proposition 4.17. For n > 2 the set OPn of order-preserving n-braids generates
Bn .
Proof. We saw above that σ1 σ2 σ1−1 is a product of braids α, β ∈ OPn ; therefore σ2
is also a product of appropriate conjugates of α and β; these conjugates are also in
OPn . But all the generators σi of Bn are conjugate to each other, and therefore are
also products of elements of OPn . It follows that all braids are products of elements
of OPn .

5. Small volume cusped hyperbolic 3-manifolds
It is known by Gabai-Meyerhoff-Milley [15] that the Weeks manifold is the unique
closed orientable hyperbolic 3-manifold of smallest volume. Its fundamental group is
not left-orderable; see Calegari-Dunfield [8]. In this section we will see that certain
minimum volume orientable n-cusped 3-manifolds can be distinguished by orderability properties of their fundamental groups. We also prove that some orientable

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

17

hyperbolic n-cusped 3-manifolds with the smallest known volumes have bi-orderable
fundamental groups.
Let C3 and C4 be the chain links with 3 and 4 components as in Figure 11(1) and
(2). For n ≥ 5, let Cn be the minimally twisted n-chain link; see [23, Section 1] for
the definition of such a link.
Figure 11(3) and (4) show C5 and C6 . Let Wn be the n-fold cyclic cover over one
component of the Whitehead link complement W. (See Figure 22(2) for W3 .) It
seems that S 3 \ Cn and Wn−1 play an important role for the study of the minimal
volume hyperbolic 3-manifolds with n cusps, where n ≥ 3, as we shall see below.
5.1. One cusp. Cao-Meyerhoff [9] proved that a minimal volume orientable hyperbolic 3-manifold with 1 cusp is homeomorphic to either the complement of figureeight knot in S 3 or its sibling manifold (which can be described as 5/1 Dehn surgery
on one component of the Whitehead link). We note that the sibling manifold cannot
be described as a knot complement, as its first homology group is Z ⊕ Z/5Z.
Like the figure-eight knot complement, it can be described as a punctured torus
bundle over S 1 .
Theorem 5.1. The figure-eight knot complement has bi-orderable fundamental group.
The fundamental group of its sibling is not bi-orderable.


2 1
Proof. The first assertion is proved in [33], using the monodromy
associ1 1
ated with the fibration, which has two positive
eigenvalues, and Theorem 3.12. The

−2 −1
sibling has the monodromy
, see [22, Proposition 3 and Note]. This
−1 −1
√
has the two negative eigenvalues (−3 ± 5)/2. By Theorem 3.13, the sibling has
non-bi-orderable fundamental group.

5.2. Two cusps. Agol [1] proved that the minimal volume orientable hyperbolic
3-manifold with 2 cusps is homeomorphic to either the Whitehead link complement
W or the (−2, 3, 8)-pretzel link complement W′ .
Theorem 5.2. The fundamental group of W is bi-orderable. The fundamental group
of W′ is not bi-orderable.
Proof. The first assertion follows from Theorem B.1. We shall prove in Theorem 6.1
that δ5 σ12 ∈ B5 is not order-preserving. This together with Proposition 4.1 implies
the second assertion, since br(δ5 σ12 ) is equivalent to the (−2, 3, 8)-pretzel link; see
Figure 19.


5.3. Four cusps. It is proved by Ken’ichi Yoshida [39] that the minimal volume
orientable hyperbolic 3-manifold with 4 cusps is homeomorphic to S 3 \ C4 .
Theorem 5.3. The complement S 3 \ C4 has bi-orderable fundamental group.

Proof. Consider σ1−2 σ22 ∈ P3 . Then π1 (S 3 \ br(σ1−2 σ22 ))) is bi-orderable by Proposition 4.6. We now see that S 3 \ br(σ1−2 σ22 ) is homeomorphic to S 3 \ C4 . Take a disk
D bounded by the thickened unknot K ⊂ br(σ1−2 σ22 ), see Figure 12(1). Then the
−2 2
left-handed disk twist t−1
D sends E(br(σ1 σ2 )) to the exterior of a link L as shown

18

E. KIN AND D. ROLFSEN

(1)

(2)

(3)

(4)

Figure 11. (1) C3 . (2) C4 . (3) C5 . (4) C6 .

disk twist

(1)

(2)

(3)

Figure 12. S 3 \ br(σ1−2 σ22 ) is homeomorphic to S 3 \ C4 .
br(σ1−2 σ22 ). (2)(3) Links which are equivalent to C4 .

(1)

in Figure 12(2). We observe that L is equivalent to C4 , see Figure 12(2)(3). Thus
π1 (S 3 \ C4 ) is bi-orderable.

+
+
Remark 5.4. In the proof of Theorem 5.3, if we replace t−
D with tD , then tD sends
E(br(σ1−2 σ22 )) to E(br(σ1−2 σ3 σ2 σ3 )). It follows that S 3 \ br(σ1−2 σ22 ) is homeomorphic to S 3 \ br(σ1−2 σ3 σ2 σ3 ). By Proposition 4.1, σ1−2 σ3 σ2 σ3 (= σ3 σ1−2 σ2 σ3 ) which is
conjugate to σ1−2 σ2 σ32 ∈ B4 is order-preserving.

5.4. Five cusps. It has been conjectured [1] that S 3 \ C5 has the smallest volume
among orientable hyperbolic 3-manifolds with 5 cusps.
Theorem 5.5. The complement S 3 \ C5 has bi-orderable fundamental group.

Proof. We take σ1−2 σ2−2 σ3−2 ∈ P4 . Then π1 (S 3 \ br(σ1−2 σ2−2 σ3−2 )) is bi-orderable. To
see S 3 \ br(σ1−2 σ2−2 σ3−2 ) is homeomorphic to S 3 \ C5 , we first take a disk D bounded
by the thickened unknot K ⊂ br(σ1−2 σ2−2 σ3−2 ) as in Figure 13(1). The disk twist
tD sends E(br(σ1−2 σ2−2 σ3−2 )) to the exterior of a link L as shown in Figure 13(2).
Next we take a disk D ′ bounded by the thickened unknot K ′ ⊂ L, see Figure 13(2).
Then tD′ sends E(L) to the exterior of a link L′ as in Figure 13(2). We see that
L′ is equivalent to C5 . Thus S 3 \ br(σ1−2 σ2−2 σ3−2 ) ≃ S 3 \ C5 , and π1 (S 3 \ C5 ) is
bi-orderable.


BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

disk
-twist

(1)

19

disk
-twist

(2)

(3)

Figure 13. S 3 \ br(σ1−2 σ2−2 σ3−2 ) is homeomorphic to S 3 \ C5 . (1)
br(σ1−2 σ2−2 σ3−2 ). (3) Link which is equivalent to C5 .

disk
-twist

(1)

(2)

Figure 14. S 3 \ br(σ12 σ2−1 ) is homeomorphic to S 3 \ C3 .
br(σ12 σ2−1 ). (2) Link which is equivalent to C3 .

(1)

5.5. Three cusps. The 3-chain link complement N = S 3 \ C3 , which Gordon and
Wu [18] named the magic manifold, has the smallest known volume among orientable
hyperbolic 3-manifolds with 3 cusps. The magic manifold N is homeomorphic to
S 3 \ br(σ12 σ2−1 ), where σ12 σ2−1 ∈ B3 . To see this, we take a disk D bounded by
the thickened unknot K ⊂ br(σ12 σ2−1 ) as shown in Figure 14(1). Then t−1
D sends
−1
2
E(br(σ1 σ2 )) to the exterior of a link L as shown in Figure 14(2). Since L is
equivalent to C3 , it follows that S 3 \ br(σ12 σ2−1 ) is homeomorphic to N . We note
that the 2nd power (σ12 σ2−1 )2 is a pure braid. Hence π1 (S 3 \ br((σ12 σ2−1 )2 )) is biorderable, and it has index 2 in π1 (N ).
Question 5.6. Is π1 (N ) bi-orderable? In other words is σ12 σ2−1 ∈ B3 order-preserving?
5.6. n cusps for n ≥ 6. It is a conjecture by Agol [1] that for n ≤ 10, the minimally
twisted n chain link complement S 3 \ Cn has the minimal volume among orientable
hyperbolic 3-manifold with n cusps.
The following theorem follows from Lemmas 5.8 and 5.9 below.

20

E. KIN AND D. ROLFSEN

(1)

(2)

Figure 15. (1) br(σ1−2 σ2−2 σ3−2 σ4−2 ). (2) The 6-circled link L1 . The
complements of these links are homeomorphic to each other.
Theorem 5.7. The complement S 3 \ C6 has bi-orderable fundamental group.
Let L1 be the 6-circle link as shown in Figure 15(2).
Lemma 5.8. Let β = σ1−2 σ2−2 σ3−2 σ4−2 ∈ P5 . Then S 3 \ L1 is homeomorphic to
S 3 \ br(β), and π1 (S 3 \ L1 ) is bi-orderable.

Proof. We consider the two trivial components K, K ′ ⊂ br(β) bounded by the
closure of the first string and the closure of the last string. Let D and D ′ be the
disk bounded by K and K ′ . We do the disk twists tD and tD′ . Then the resulting
link is equivalent to L1 . Thus S 3 \ br(β) is homeomorphic to S 3 \ L1 . Since β is a
pure braid, this implies that π1 (S 3 \ L1 ) is bi-orderable.

We thank Ken’ichi Yoshida who conveys the following argument to the authors.
Lemma 5.9. S 3 \ L1 is homeomorphic to S 3 \ C6 .
Proof. We take four 3-punctured spheres embedded in the exterior E(L1 ) as shown
in Figure 16(2). The four 3-punctured spheres are also embedded in E(C6 ) as shown
in Figure 18(2). Let U (resp. U ′ ) be a subset of E(L1 ) (resp. a subset of E(C6 ))
bounded by these 3-punctured spheres. Note that E(L1 ) (resp. E(C6 )) are the
double of U (resp. U ′ ) with respect to the four 3-punctured spheres, see Figure 16
and Figure 18(3). We now see that U is homeomorphic to U ′ . This is enough to
prove the lemma since the double of a manifold is uniquely determined.
We push the bottom shaded 3-punctured sphere in U as shown in Figure 16(3),
and deform it into the shaded 3-punctured sphere as in Figure 16(6). (The middle
red colored annulus in (3) is modified into the bottom red colored annulus in (6).)
As a result, we get U ′ .


Kaiser-Purcell-Rollins proved that the volume of Wn−1 is strictly smaller than
that of S 3 \ Cn if 12 ≤ n ≤ 25 or n ≥ 60; see [23, Theorems 1.1, 4.1]. At the time of

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

21

3-punctured
spheres

(1)

(4)

(2)

(3)

(5)

(6)

Figure 16. (1) (A part of) L1 . (2) A subset U ⊂ E(L1 ) bounded
by four 3-punctured spheres. Figures (3)–(6) show a modification of
U into U ′ . (cf. Figure 18(2).)

Figure 17. The double of U with respect to the four 3-punctured
spheres is homeomorphic to E(L1 ).
this writing, it seems that Wn−1 has the smallest known volume among orientable
hyperbolic 3-manifolds with n cusps if n ≥ 11. (See also Table 1 in [23].)
Proposition 5.10. The fundamental group of Wn is bi-orderable for each n ≥ 2.

22

E. KIN AND D. ROLFSEN

(1)

(2)

(3)

Figure 18. (1) C6 . (2) A subset U ′ ⊂ E(C6 ) bounded by four 3punctured spheres. (cf. Figure 16(6).) (3) The double of U ′ with
respect to the four 3-punctured spheres is homeomorphic to E(C6 ).
Proof. Let p : Wn → W be an n-fold cyclic covering map. Then p∗ (π1 (Wn )) has
index n in π1 (W). Since π1 (W) is bi-orderable, so does π1 (Wn ).

5.7. A result by M. Baker and a question. We learned the following theorem
from Hidetoshi Masai.
Theorem 5.11 (Baker [4]). The 6-circle link L1 is an arithmetic link. Every link L
in S 3 occurs as a sublink of a link J such that S 3 \ J is a covering space of S 3 \ L1 .
In particular L is a sublink of an arithmetic link in S 3 .
Theorem 5.11 and Lemma 5.8 immediately give us the following.
Theorem 5.12. Let L be a link in S 3 . Then L is a sublink of a link whose complement has bi-orderable fundamental group.
The link with 4 components shown in Figure 22(2) is obtained from C3 adding
a trivial knot. Its complement which is homeomorphic to W3 has bi-orderable
fundamental group (Proposition 5.10), although we have not decided yet N = S 3 \C3
has bi-orderable fundamental group. We ask the following.
Question 5.13. Let M be a 3-manifold. Does there exist a knot K in M such that
π1 (M \ K) is bi-orderable?
6. Non-order-preserving braids
In this section, we give some sequences of non-order-preserving braids. Our sequences include examples of pseudo-Anosov braids with small dilatations. We also
provide examples of non-order-preserving pseudo-Anosov braids with arbitrary large
dilatations.
6.1. Pseudo-Anosov braids with smallest dilatations. Let β ∈ Bn be a pseudoAnosov braid. Let λ(β) > 1 be the dilatation (i.e, stretch factor) of the corresponding pseudo-Anosov mapping class β ∈ Mod(Dn ). (See [12] for the definition of
dilatations, for example.) It is known that there exists a minimum, denoted by
δ(Dn ) among dilatations for all pseudo-Anosov n-strand braids. The explicit values of minimal dilatations δ(Dn )’s are determined for 3 ≤ n ≤ 8 by Ko-Los-Song,
Ham-Song and Lanneau-Thiffeault. The following n-strand braids realize δ(Dn ).
• n = 3; σ1−1 σ2 ∈ B3 , see [29, 19] for example.
• n = 4; σ1−1 σ2 σ3 ∈ B4 , see [36]. (See also [20].)

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

23

• n = 5; δ5 σ4−1 σ3−1 ∈ B5 , see [20].
• n = 6; σ2 σ1 σ2 σ1 δ52 ∈ B6 , see [27].
• n = 7; σ4−2 δ72 ∼ δ72 σ6−1 σ5−1 ∈ B7 , see [27].
• n = 8; σ2−1 σ1−1 δ85 ∼ δ85 σ7−1 σ6−1 ∈ B8 , see [27].
Here β ∼ β ′ means that β is conjugate to β ′ . We will prove in Section 6.2 that for
3 ≤ n ≤ 8 except n = 6, the above n-strand braids with the smallest dilatations
are not order-preserving (Corollary 6.4, Theorem 6.7, Lemma 6.8). At the time of
this writing we do not know whether the above 6-strand braid σ2 σ1 σ2 σ1 δ52 is orderpreserving or not. We remark that Question 5.6 is equivalent to the one asking
whether σ2 σ1 σ2 σ1 δ52 is order-preserving or not, since S 3 \ br((σ2 σ1 σ2 σ1 δ52 )−1 ∆2 ) is
homeomorphic to the magic manifold N , see [26, Page 39 and Corollary 3.2].
6.2. Sequences of pseudo-Anosov braids.
Theorem 6.1. For n ≥ 3 and k ≥ 1, δn σ12k = (σ1 σ2 · · · σn−1 )σ12k ∈ Bn is not
order-preserving.
If n ≥ 5, then δn σ1 σ2 ∈ Bn is pseudo-Anosov, see [21, Theorem 3.11]. This
claim can be proved by using the criterion by Bestvina-Handel [5]. (See also [21,
Section 2.4].) Since δn σ12 ∼ δn σ1 σ2 , the braid δn σ12 is pseudo-Anosov. By using the
same criterion, it is not hard to see that σ12k−2 δn σ1 σ2 ∼ δn σ12k is pseudo-Anosov for
n ≥ 5 and k ≥ 1. Viewing the transition matrix associated to the pseudo-Anosov
braid δn σ12k , we see that the largest eigenvalue of the transition matrix, which is
equal to λ(δn σ12k ), goes to ∞ as n goes to ∞.
Proof of Theorem 6.1. We fix a basepoint of π1 (Dn ) in the interior of Dn . By (4.2)
we have the automorphism
δn : x1 7→ xn 7→ xn−1 7→ · · · 7→ x3 7→ x2 7→ x1 .

We turn to braid σ12k ∈ Bn . By (4.1) we have the following automorphism induced
by σ1 ∈ Bn using the same basepoint of π1 (Dn ):
σ1 : x1 7→ x2 ,

x2 7→ x2 x1 x−1
2 ,

Computing the automorphism σ12 on Fn , we get
σ12 : x1 7→ x2 x1 x−1
2 ,

xj 7→ xj for j 6= 1, 2.

−1
x2 7→ x2 x1 x2 x−1
1 x2 ,

xj 7→ xj for j 6= 1, 2.

In the same manner, the automorphism σ12k for k ≥ 1 is given by
−1 −1 k−1
σ12k : x1 →
7
(x2 x1 )k−1 x2 x1 x−1
,
2 (x1 x2 )
xj →
7
xj for j 6= 1, 2.

−1 k
x2 7→ (x2 x1 )k x2 (x−1
1 x2 ) ,

Thus δn σ12k induces the following automorphism on Fn .
−1 k
φ := δn σ12k : x1 7→ xn 7→ xn−1 7→ · · · 7→ x3 7→ (x2 x1 )k x2 (x−1
1 x2 ) ,

−1 −1 k−1
x2 7→ (x2 x1 )k−1 x2 x1 x−1
.
2 (x1 x2 )

We assume that φ preserves some bi-ordering < on Fn . Without loss of generality,
we may assume that x1 < x2 . Then we have
−1 −1 k−1
−1 k
−1 −1 k
k
(x2 x1 )k−1 x2 x1 x−1
= (x2 x1 )k x1 (x−1
2 (x1 x2 )
1 x2 ) < (x2 x1 ) x2 (x1 x2 )

24

E. KIN AND D. ROLFSEN

by conjugation invariance of the bi-ordering. This implies that
−1 −1 k−1
−1 k
x2 = φ−1 ((x2 x1 )k−1 x2 x1 x−1
) < φ−1 ((x2 x1 )k x2 (x−1
2 (x1 x2 )
1 x2 ) ) = x3 ,

since φ−1 also preserves the same bi-ordering <. Hence we have x1 < x2 < x3 .
Notice that x3 is contained in the orbit O(x1 ) under φ, i.e,
−1 k
x1 7→ φ(x1 ) = xn 7→ · · · 7→ x3 7→ (x2 x1 )k x2 (x−1
1 x2 ) 7→ · · ·

Since x1 < x3 , this implies that the ordering < is increasing on O(x1 ), i.e,

−1 k
x1 < φ(x1 ) = xn < φ2 (x1 ) = xn−1 < · · · < x3 < (x2 x1 )k x2 (x−1
1 x2 ) < · · ·

Notice that x1 < x2 implies that

−1 −1 k−1
φ(x1 ) = xn < φ(x2 ) = (x2 x1 )k−1 x2 x1 x−1
.
2 (x1 x2 )

This together with x1 < xn tells us that
(6.1)

−1 −1 k−1
x1 < (x2 x1 )k−1 x2 x1 x−1
.
2 (x1 x2 )

We multiply the both sides of (6.1) by (x2 x1 )k−1 x2 on the right.
−1 −1 k−1
x1 (x2 x1 )k−1 x2 < (x2 x1 )k−1 x2 x1 x−1
(x2 x1 )k−1 x2 = (x2 x1 )k−1 x2 x1 .
2 (x1 x2 )

Thus
(x1 x2 )k = x1 (x2 x1 )k−1 x2 < (x2 x1 )k−1 x2 x1 = (x2 x1 )k .
−1 k
On the other hand, since x2 < x3 and x3 < (x2 x1 )k x2 (x−1
1 x2 ) , we have
(6.2)

−1 k
x2 < (x2 x1 )k x2 (x−1
1 x2 ) .

Multiply the both sides of (6.2) by (x2 x1 )k on the right.
−1 k
k
k
x2 (x2 x1 )k < (x2 x1 )k x2 (x−1
1 x2 ) (x2 x1 ) = x2 (x1 x2 ) .

This implies that (x2 x1 )k < (x1 x2 )k (< (x2 x1 )k ), a contradiction. Thus δn σ12k is not
order-preserving.

We have br(δn σ12k ) = br(σ12k δn ), and it is equivalent to the (−2, 2k + 1, 2n − 2)pretzel link; see Figure 19 in the case n = 5 and k = 1. By Theorem 6.1 and
Propsition 4.1, we have the following.
Corollary 6.2. For each n ≥ 3 and k ≥ 1, the fundamental group of the (−2, 2k +
1, 2n − 2)-pretzel link complement is not bi-orderable.
We turn to another sequence of braids.
Theorem 6.3. Let n ≥ 3 and k ≥ 1. Then δnn−1 σ12k = (σ1 σ2 · · · σn−1 )n−1 σ12k ∈ Bn
is not order-preserving.
Proof. Fix a basepoint of π1 (Dn ) in the interior of Dn . By using (4.2), we calculate
the automorphism δnn−1 = (σ1 σ2 · · · σn−1 )n−1 .
δnn−1 : x1 7→ x2 7→ · · · 7→ xn−1 7→ xn 7→ x1 .

In the same manner as in the proof of Theorem 6.1, we have the following automorphism on Fn obtained from the braid δnn−1 σ12k using the same basepoint of π1 (Dn ):
−1 −1 k−1
δnn−1 σ12k : x2 7→ x3 7→ · · · 7→ xn−1 7→ xn 7→ (x2 x1 )k−1 x2 x1 x−1
,
2 (x1 x2 )
−1 k
x2 7→ (x2 x1 )k x2 (x−1
1 x2 ) .

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

(1)

(2)

(3)

25

(4)

Figure 19. br(σ12k δn ) is equivalent to the (−2, 2k + 1, 2n − 2)pretzel link (n = 5, k = 1 in this case), see (1) → (2) → (3) → (4).
(1) br(σ12 δ5 ). (4) (−2, 3, 8)-pretzel link.
Assume that δnn−1 σ12k preserves some bi-ordering on Fn . In the same manner as in
the proof of Theorem 6.1, one arrives a contradiction.

Corollary 6.4. Let n ≥ 3 and k ≥ 1. Then σ1−2k δn = σ1−2k+1 σ2 σ3 · · · σn−1 ∈ Bn
is not order-preserving. In particular σ1−1 σ2 σ3 · · · σn−1 ∈ Bn is not order-preserving
for each n ≥ 3.

Proof. By Theorem 6.3, the inverse (δnn−1 σ12k )−1 is not order-preserving. Hence
(δnn−1 σ12k )−1 ∆2ℓ is not order-preserving for each ℓ ∈ Z. We have
(δnn−1 σ12k )−1 ∆2 = ((σ1 σ2 · · · σn−1 )n−1 σ12k )−1 (σ1 σ2 · · · σn−1 )n

−1
−1
= σ1−2k (σn−1
σn−2
· · · σ1−1 )n−1 (σ1 σ2 · · · σn−1 )n

This completes the proof.

= σ1−2k σ1 σ2 · · · σn−1 (= σ1−2k δn ).


σ1−2 δn

σ1−1 σ2 σ3 · · · σn−1

Remark 6.5. For each n ≥ 3,
=
see [21, Theorem 3.9]. It is not hard to see that

∈ Bn is pseudo-Anosov,

σ1−2k δn = σ1−2k+1 σ2 · · · σn−1

is pseudo-Anosov for n ≥ 3 and k ≥ 1 by using the Bestvina-Handel criterion.
The Nielsen-Thurston types of a mapping class and its inverse are the same. Thus
δnn−1 σ12k ∈ Bn in Theorem 6.3 is pseudo-Anosov for n ≥ 3 and k ≥ 1.
Using similar modifications of links as in Figure 19, we verify that br(σ1−2k δn ) is
equivalent to the (−2, −2k + 1, 2n − 2)-pretzel link. Thus we have the following.
Corollary 6.6. For each n ≥ 3 and k ≥ 1, the fundamental group of the (−2, −2k +
1, 2n − 2)-pretzel link complement is not bi-orderable.
We turn to the last sequence of braids which plays an important role for the study
of pseudo-Anosov minimal dilatations, see [21, 26].

26

E. KIN AND D. ROLFSEN

Theorem 6.7. For each n ≥ 5,

−1 −1
δn2 σn−1
σn−2 = (σ1 σ2 · · · σn−1 )(σ1 σ2 · · · σn−3 ) ∈ Bn

is not order-preserving.

−1 −1
The braid δn2 σn−1
σn−2 is reducible if n is even. (In fact it is easy to find an
essential simple closed curve on Dn containing the punctures labelled 2, 4, · · · , n − 2
which is invariant under the corresponding mapping class of Mod(Dn ).) If n is odd,
−1 −1
the braid δn2 σn−1
σn−2 is pseudo-Anosov, see [21, Theorem 3.11, Figure 18(c)].

Proof of Theorem 6.7. We fix a basepoint of π1 (Dn ) in the interior of Dn . From
the automorphism σi of Fn for each i = 1, · · · , n − 1 (see (4.1)), we calculate the
automorphism σi−1 on Fn :
σi−1 : xi 7→ x−1
i xi+1 xi ,

xi+1 7→ xi ,
σi−1

xj 7→ xj if j 6= i, i + 1.

By (4.2) together with automorphisms
for i = n − 1, n − 2, we see that the
−1
−1
following automorphism is arisen from the braid δn σn−1
σn−2
= σ1 σ2 · · · σn−3 .
−1 −1
σn−2 : x1 7→ xn−2 7→ xn−3 7→ · · · 7→ x2 7→ x1 ,
δn σn−1

xn−1 7→ x−1
n−2 xn−1 xn−2 ,

xn 7→ x−1
n−2 xn xn−2 ,

−1 −1
σn−2 ) : Fn → Fn is given by
see Figure 20. Thus the automorphism ψ := δn (δn σn−1
−1 −1
ψ = δn2 σn−1
σn−2 : x1 7→ x−1
n−2 xn xn−2 ,
x2 7→ xn−2 , x3 7→ x1 , · · · , xn−2 7→ xn−4 , xn−1 7→ xn−3 ,

xn 7→ x−1
n−2 xn−1 xn−2 .

Suppose that n is even. Then the orbit of x2 under ψ is nontrivial and finite:
x2 7→ xn−2 7→ xn−4 7→ · · · 7→ x4 7→ x2 .

Thus ψ does not preserve any left-ordering on Fn by Proposition 3.11.
Suppose that n is odd. Then the above automorphism ψ : Fn → Fn is described
as follows.
xn−1 7→ xn−3 7→ · · · 7→ x2 7→ xn−2 7→ xn−4 7→ x1 7→ x−1
n−2 xn xn−2 ,

xn 7→ x−1
n−2 xn−1 xn−2 .

We suppose that ψ preserves a bi-ordering < of Fn . Without of loss of generality,
we may assume that xn−1 < xn . By the conjugation invariance of the bi-ordering,
−1
−1 preserves the same ordering <, this
x−1
n−2 xn−1 xn−2 < xn−2 xn xn−2 holds. Since ψ
implies that xn < x1 , see the above definition of ψ. Hence we have xn−1 < xn < x1 .
This tells us that the ordering < is increasing on the orbit O(xn−1 ), i.e,
xn−1 < xn−3 < · · · < x2 < xn−2 < xn−4 < x1 < x−1
n−2 xn xn−2 < · · ·

In particular xn−2 < x−1
n−2 xn xn−2 which implies that xn−2 < xn by the conjugation
invariance of the bi-ordering. This together with the ψ-invariance of < gives us that
xn−4 < x−1
n−2 xn−1 xn−2 .
On the other hand, by xn−1 < xn−2 , we have x−1
n−2 xn−1 xn−2 < xn−2 by the
conjugation invariance again. However we have xn−2 < xn−4 < x−1
n−2 xn−1 xn−2 , in
particular
xn−2 < x−1
n−2 xn−1 xn−2 (< xn−2 ),

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

27

x'1 = xn-2
x'n = x n-2 x n xn-2
x1

xn-2 xn-1 xn

x'2

x'n-2

x'n-1 = x n-2 xn-1 xn-2

−1 −1
Figure 20. δn σn−1
σn−2 = σ1 σ2 · · · σn−3 : Fn → Fn .

which is a contradiction. This completes the proof.



Finally we claim that the following pseudo-Anosov braid with the minimal dilatation δ(D8 ) is not order-preserving.
Lemma 6.8. The braid δ85 σ7−1 σ6−1 = (σ1 σ2 σ3 σ4 σ5 σ6 σ7 )4 σ1 σ2 σ3 σ4 σ5 ∈ B8 is not
order-preserving.
Proof. Fix a basepoint of π1 (D8 ) in the interior of D8 . The following automorphism
corresponds to the braid δ85 σ7−1 σ6−1 .
φ := δ85 σ7−1 σ6−1 : x7 7→ x2 7→ x5 7→ x6 7→ x1 7→ x4 7→ x−1
6 x8 x6 ,

x8 7→ x3 7→ x−1
6 x7 x6 .

Assume that φ preserves a bi-ordering <. Without loss of generality, we may suppose
−1
−1
that x7 < x8 . Then x−1
6 x7 x6 < x6 x8 x6 by the conjugation invariance. Since φ
preserves the same ordering <, we have
−2 −1
x8 = φ−2 (x−1
6 x7 x6 ) < x1 = φ (x6 x8 x6 ).

From x7 < x8 and x8 < x1 , we get x7 < x1 . Hence the ordering is increasing on the
orbit of x7 :
−1
x7 < x2 < x5 < x6 < x1 < x4 < x−1
6 x8 x6 < φ(x6 x8 x6 ) < · · ·

In particular x6 < x−1
6 x8 x6 , and this implies that x6 < x8 by the conjugation
invariance. Then we get φ2 (x6 ) = x4 < φ2 (x8 ) = x−1
6 x7 x6 . On the other hand,
x7 < x6 implies that x−1
x
x
<
x
by
the
conjugation
invariance again. But this is
7 6
6
6
a contradiction, since
x6 < x1 < x4 < x−1
6 x7 x6 (< x6 ).
Thus we conclude that φ does not preserve any bi-ordering of F8 .



6.3. Questions. Consider the braid βm,n ∈ Bm+n+1 for m, n ≥ 1 given by
−1
σm+1 σm+2 · · · σm+n ,
βm,n = σ1−1 σ2−1 · · · σm

see Figure 21(1). For example β1,2 = σ1−1 σ2 σ3 . The link br(βm,n ) is equivalent
to a 2-bridge link as shown in Figure 21(2). For any m, n ≥ 1, the braid βm,n
is pseudo-Anosov, see [21, Theorem 3.9]. We proved in Corollary 6.4 that β1,n =
σ1−1 σ2 · · · σn+1 is not order-preserving for each n ≥ 1. We conjecture that βm,n is
not order-preserving for any m, n ≥ 1.

28

E. KIN AND D. ROLFSEN

2n+1

n

m

m

n

2m+1
(1)

(2)

(3)

Figure 21. (1) βm,n ∈ Bm+n+1 . (2) 2-bridge link which is equivalent to br(βm,n ). (3) γm,n ∈ Bm+n+3 .
Let us introduce the braid γm,n ∈ Bm+n+3 for m, n ≥ 0. If m, n ≥ 1, γm,n is of
the form
−1
2
γm,n = σ1−2 σ2−1 · · · σm+1
σm+2 · · · σm+n+1 σm+n+2
.

For example γ1,1 = σ1−2 σ2−1 σ3 σ42 ∈ B5 . If we ignore the 1st string and the last
string of γm,n , the resulting braid is an (m + n + 1)-strand braid which is equal
to βm,n . We let γ0,0 = σ1−2 σ22 ∈ P3 , γ0,1 = σ1−2 σ2 σ32 ∈ B4 (see Remark 5.4), and
γ1,0 = σ1−2 σ2−1 σ32 ∈ B4 .
One can prove in the same manner as in Theroem 5.3 and Remark 5.4 that for
each m, n ≥ 0
S 3 \ br(γm,n ) ≃ S 3 \ br(σ1−2 σ22 ) ≃ S 3 \ C4 .
Since σ1−2 σ22 is a pseudo-Anosov, pure 3-strand braid (in other words, S 3 \ C4 is
a hyperbolic 3-manifolds whose fundamental group if bi-orderable), we have the
following.
Lemma 6.9. The braid γm,n is pseudo-Anosov and order-preserving for m, n ≥ 0.
If (m, n) 6= (0, 0), braids γm,n ’s are non-pure and order-preserving. By Proposition 3.14, the braid γm,n preserves some bi-ordering which is not standard ordering
of the free group. Notice that for m, n ≥ 0, the permutation of Sm+n+3 associated
to γm,n has more than 1 cycle, i.e, the closure of the braid γm,n is a link with more
than 1 component. We ask the following.

Question 6.10. Does there exist an order-preserving braid β ∈ Bn (n ≥ 3) whose
permutation is cyclic (i.e, the closure βb is a knot)?
Appendix A. Ordering free groups
For any group G the lower central series G = γ1 G ⊃ γ2 G ⊃ · · · is defined
inductively by the formula γk+1 G := [G, γk G]. It is well known (see for example
[30]) that if F is a free group (or hyperbolic surface group) then the lower central
quotients γk F/γk+1 F are free abelian of finite rank and also that ∩∞
k=1 γk F = {1}.
Following [31] one can bi-order F as we will now describe. Choose an arbitrary
bi-order <k of the (free abelian) group γk F/γk+1 F and define the positive cone for
an ordering < of F as follows. For 1 6= g ∈ F , declare g to be positive if 1 <k [g] in
γk F/γk+1 F , where k is the unique integer for which g ∈ γk F \ γk+1 F . It is routine

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

29

to check that this defines a bi-ordering < of F . We shall say that an ordering of F
defined in this way is a standard ordering of F . If the rank of F is greater than one,
there are uncountably many standard orderings. However there are uncountably
many non-standard orderings of F as well, for example as in the end of Section 4.6.
Proposition A.1. For any standard ordering of the free group F , all the lower
central subgroups γk F are convex.
Proof. Using invariance under multiplication it is sufficient to suppose 1 < f < g
and g ∈ γk F , and show that f ∈ γk F . Now f ∈ γj F \ γj+1 F for some unique
positive integer j. Assume for contradiction that j < k. By the definition of < we
have that 1 <j [f ] in γj F/γj+1 F . But since j < k we also have g ∈ γj F and we see
that f −1 g ∈ γj F \ γj+1 F . But since 1 < f −1 g we have 1 <j [f −1 g] in γj F/γj+1 F .
However, g ∈ γj+1 and so [f −1 g] = [f −1 ], which implies the contradiction that
1 <j [f −1 ]. Therefore we conclude that j ≥ k and therefore f ∈ γj F ⊂ γk F .

Note that for any automorphism of a group φ : G → G we have φ(γk G) = γk G and
so there are induced automorphisms φk : γk G/γk+1 G → γk G/γk+1 G. In particular,
φ1 is the same as the abelianization φab : G/[G, G] → G/[G, G]. The following is
a well-known group theoretic result, but we include a proof, suggested by Thomas
Koberda, for the reader’s convenience.
Lemma A.2. Suppose φ : G → G is an automorphism of a group G such that the
abelianization φab : G/[G, G] → G/[G, G] is the identity map. Then for each k ≥ 1,
the homomorphism φk : γk G/γk+1 G → γk G/γk+1 G is also the identity map.
Proof. We prove φk = id by induction on k, the hypothesis being the base case.
Note that the hypothesis implies that, for every g ∈ G we have φ(g) = gc where
c ∈ γ2 G may depend upon g. Now, suppose that φk : γk G/γk+1 G → γk G/γk+1 G
is the identity. This implies that for h ∈ γk G we have that φ(h) = hd, where
d ∈ γk+1 G, also dependent upon h.
To show that φk+1 = id, consider any nonidentity element of γk+1 G. Such an
element is a product of commutators of the form [g, h] with g ∈ G, h ∈ γk G, so it
suffices to show that
φk+1 ([g, h]) ≡ [g, h]

mod γn+2 G.

We calculate φk+1 ([g, h]) ≡ [φ(g), φ(h)] = [gc, hd] = gchdc−1 g−1 d−1 h−1 ≡ gchc−1 g−1 h−1 ,
the latter equivalence following because d ∈ γk+1 G commutes with every element of
G, modulo γk+2 G. But note that gchc−1 g−1 h−1 = [g, h]x, where x = hg(h−1 chc−1 )g−1 h−1 .
Observe that the expression in parentheses is a commutator of h−1 ∈ γk G and
c ∈ γ2 G. It is well-known (see for example [30, page 293]) that [γm G, γn G] ⊂ γm+n G.
Therefore, h−1 chc−1 ∈ γk+2 G. Being a conjugate, x also belongs to γk+2 G, and
therefore φ([g, h]) ≡ [g, h]x ≡ [g, h] mod γk+2 G.

Proposition A.3. Suppose φ : Fn → Fn is such that φab : Zn → Zn is the identity
map φab = id : Zn → Zn . Then φ preserves every standard bi-ordering of Fn .
Proof. By Lemma A.2, with G = Fn we see that φk is the identity automorphism
of γk Fn /γk+1 Fn and therefore preserves every ordering of γk Fn /γk+1 Fn . It follows
that φ preserves the positive cone of every standard ordering of Fn .


30

E. KIN AND D. ROLFSEN

(1)

(2)

Figure 22. (1) Whitehead link W . (2) W3 is homeomorphic to the
complement of this link.
Appendix B. The Whitehead link
Let W be the Whitehead link in S 3 , see Figure 22(1). Our goal is to prove:
Theorem B.1. The fundamental group of the Whitehead link complement W =
S 3 \ W is bi-orderable.
We first recall the Murasugi sum of surfaces. See [25, Section 4.2] for more details.
Let R1 , R2 and R be compact oriented surface embedded in S 3 . We say that R is
a (2n-)Murasugi sum of R1 and R2 if we have the following.
(1) R = R1 ∪ R2 , and R1 ∩ R2 is a disk D which satisfies the following.
(1.1) ∂D is a 2n-gon with edges a1 , b1 , a2 , b2 , · · · , an , bn enumerated in this
order.
(1.2) ai ⊂ ∂R1 , and ai is a proper arc in R2 for all i.
(1.3) bi ⊂ ∂R2 , and bi is a proper arc in R1 for all i.
(2) There exist 3-balls B1 and B2 in S 3 such that
(2.1) B1 ∪ B2 = S 3 , B1 ∩ B2 = ∂B1 = ∂B2 = S 2 .
(2.2) Bi ⊃ Ri for i = 1, 2.
(2.3) ∂B1 ∩ R1 = ∂B2 ∩ R2 = D.
In this paper we only use 2-, 4-Murasugi sums, see Figures 24 and 26. A 2Murasugi sum corresponds to a connected sum of links. A 4-Murasugi sum is a
so-called plumbing. To state the next theorem, we let Li = ∂Ri for i = 1, 2 and
L = ∂R which are oriented links.
Theorem B.2 (Theorem 1.3 and Corollary 1.4 in Gabai [13]). Suppose that R is a
Murasugi sum of R1 and R2 . Then L is a fibered link with a fiber R if and only if
Li is a fibered link with a fiber Ri for i = 1, 2.
Let Ri , R and Li be as in Theorem B.2, and let fi : Ri → Ri denote the monodromy. We may assume that fi |∂Ri equals the identity map id. Let R be a Murasugi
sum of R1 and R2 . By Theorem B.2, L = ∂R is a fibered link with a fiber R if Li is
a fibered link with a fiber Ri for i = 1, 2. The following theorem tells us what the
monodromy f : R → R looks like.

Theorem B.3 (Corollary 1.4 in [13]). The monodromy f : R → R is given by the
product (i.e, the composition) f = f2′ f1′ : R → R, where fi′ |Ri equals fi and fi′ |R\Ri
equals the identity map for i = 1, 2.

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

31

f+
(1)

S+

(2)

S-

(3)

Figure 23. Hopf bands (1) S+ and (2) S− . (3) Monodromy f+ :
S+ → S+ is the right handed Dehn twist about the core circle of S+ .
The figure illustrates the image of a proper arc (as shown in the left)
under f+ .

2-Murasugi sum

(1)

(2)

(3)

Figure 24. (1) 2-Murasugi sum Ŝ of S+ and S− . (The 2-gon with
edges a1 , b1 is shaded.) (2)(3) Surfaces which are isotopic to Ŝ.
Convention B.4. The product f2′ f1′ means that we first apply f2′ , then apply f1′ .
A Hopf band is an unknotted annulus in S 3 . Two kinds of hopf bands S+ and S−
as in Figure 23(1) and (2) are called positive and negative respectively. The links
L+ = ∂S+ and L− = ∂S− are called the Hopf links. It is known that L± is a fibered
link with a fiber S± . The monodromy f+ : S+ → S+ (resp. f− : S− → S− ) is the
right handed Dehn twist (resp. left handed Dehn twist) about the core circle of the
annulus, see [14, Figure 1].

32

E. KIN AND D. ROLFSEN

f

f

(1)

(2)

Figure 25. (1) fˆ = f+′ f−′ : Ŝ → Ŝ using Ŝ in Figure 24(1). (2)
fˆ = f+′ f−′ : Ŝ → Ŝ using Ŝ in Figure 24(3). Both (1) and (2)
illustrate the images of solid and broken arcs (as shown in the left)
under fˆ.

Proof of Theorem B.1. We will find a fibered surface S of the Whitehead link W and
its monodromy f : S → S. Let Ŝ be the 2-Murasugi sum of hopf bands S+ and S− ,
see Figure 24(1). Figure 24(3) is a surface which is isotopic to Ŝ. By Theorem B.2,
∂ Ŝ is a fibered link with a fiber Ŝ. Theorem B.3 tells us that f+′ f−′ : Ŝ → Ŝ serves
the monodromy fˆ : Ŝ → Ŝ. Figure 25(1)(2) shows the images of two proper arcs
(solid and broken arcs) under fˆ : Ŝ → Ŝ. This is the so-called point-pushing map,
see [12, Section 4.2].
A 4-Murasugi sum of Ŝ and S+ gives rise to a fibered surface S of W , which is
a torus with 2 boundary components, see Figure 26. By Theorem B.3, the product
(fˆ)′ f+′ : S → S serves the monodromy f : S → S. Note that (fˆ)′ : S → S is a
pushing map along the arc m, and f+′ : S → S is the right handed Dehn twist about
a simple closed curve ℓ, see Figure 27(1).
Shrinking one of the boundary components to a puncture, one can take a simple
model as a representative of S, which is a torus with one boundary component and
with a puncture as in Figure 27(2). Abusing the notation, we denote such a simple
model by the same notation S. We also denote the corresponding loop based at
the puncture and the corresponding closed loop in the simple model by the same
notations m and ℓ, see Figure 27(2).

We choose a basepoint p on ∂S, and take oriented loops c0 , c1 and c2 based
at this point so that c0 is a loop surrounding the puncture, and c1 , c2 are the
meridian and the longitude of the torus, see Figure 28(1). Abusing the notations,
we denote the equivalence class of ci in π1 (S, p) = F3 by the same notation ci .
(Then {c0 , c1 , c2 } is a generating set of π1 (S, p).) The images of c1 , c2 and c3 under

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

Figure 26. (1) Ŝ. (2) S+ . (3)(4) 4-Murasugi sum of Ŝ and S+ is a
fibered surface S of W . (The 4-gon with edges a1 , b1 , a2 , b2 is shaded
in the figures (1)(2).)

l

m

m

l
(1)

(2)

Figure 27. (1) A fibered surface S of W . (2) A simple model of S.

c0 c1
c2
(1)

c'0 c'1
( f )'

c'2
(2)

f+'

c''0 c''1
c''2
(3)

Figure 28. (1) Loops c0 , c1 , c2 . (2) Images of ci ’s under (fˆ)′ , where
c′i := (fˆ)′ (ci ). (3) Images of ci ’s under f = (fˆ)′ f+′ , where c′′i := f (ci ).

33

34

E. KIN AND D. ROLFSEN

f∗ = ((fˆ)′ f+′ )∗ : π1 (S, p) → π1 (S, p) are given as follows. See Convention B.4.
−1
−1
f∗ (c0 ) = c2 c−1
0 c1 c0 c1 c0 c2 ,

f∗ (c1 ) = c2 c−1
0 c1 ,
f∗ (c2 ) = c2 c−1
0 ,
see Figure 28(3) for f∗ . Let us consider the abelianization (f∗ )ab : Z3 → Z3 . From
the above computation of f∗ (ci ), we have
(f∗ )ab [c0 ] =
[c0 ],
(f∗ )ab [c1 ] = −[c0 ] + [c1 ] + [c2 ],
(f∗ )ab [c2 ] = −[c0 ]
+ [c2 ].

By calculation one sees that the characteristic polynomial of (f∗ )ab equals (t − 1)3 ,
and all eigenvalues of (f∗ )ab are 1. By Theorem 3.12, it follows that f∗ is orderpreserving. Note that π1 (W) = F3 ⋊f∗ Z. By Proposition 3.10, we conclude that
π1 (W) is bi-orderable.

References
1. Ian Agol, The minimal volume orientable hyperbolic 2-cusped 3-manifolds, Proc. Amer. Math.
Soc. 138 (2010), no. 10, 3723–3732. MR 2661571 (2011k:57023)
2. E. Artin, Theorie der Zöpfe, Abh. Math. Sem. Univ. Hamberg 4 (1925), 47–72.
3.
, Theory of braids, Ann. of Math. (2) 48 (1947), 101–126. MR 0019087 (8,367a)
4. Mark D. Baker, All links are sublinks of arithmetic links, Pacific J. Math. 203 (2002), no. 2,
257–263. MR 1897900
5. M. Bestvina and M. Handel, Train-tracks for surface homeomorphisms, Topology 34 (1995),
no. 1, 109–140. MR 1308491
6. Roberta Botto Mura and Akbar Rhemtulla, Orderable groups, Marcel Dekker, Inc., New YorkBasel, 1977, Lecture Notes in Pure and Applied Mathematics, Vol. 27. MR 0491396 (58 #10652)
7. Steven Boyer, Dale Rolfsen, and Bert Wiest, Orderable 3-manifold groups, Ann. Institut Fourier
(Grenoble) 55 (2005), 243–288.
8. Danny Calegari and Nathan M. Dunfield, Laminations and groups of homeomorphisms of the
circle, Invent. Math. 152 (2003), no. 1, 149–204. MR 1965363
9. Chun Cao and G. Robert Meyerhoff, The orientable cusped hyperbolic 3-manifolds of minimum
volume, Invent. Math. 146 (2001), no. 3, 451–478. MR 1869847 (2002i:57016)
10. Adam Clay and Dale Rolfsen, Ordered groups, eigenvalues, knots, surgery and L-spaces, Math.
Proc. Cambridge Philos. Soc. 152 (2012), no. 1, 115–129. MR 2860419
11.
, Ordered groups and topology, 2015, Preprint available at arXiv:1511.05088.
12. Benson Farb and Dan Margalit, A primer on mapping class groups, Princeton Mathematical
Series, vol. 49, Princeton University Press, Princeton, NJ, 2012. MR 2850125
13. David Gabai, The Murasugi sum is a natural geometric operation. II, Combinatorial methods
in topology and algebraic geometry (Rochester, N.Y., 1982), Contemp. Math., vol. 44, Amer.
Math. Soc., Providence, RI, 1985, pp. 93–100. MR 813105
14. David Gabai and William H. Kazez, Pseudo-Anosov maps and surgery on fibred 2-bridge knots,
Topology Appl. 37 (1990), no. 1, 93–100. MR 1075377
15. David Gabai, Robert Meyerhoff, and Peter Milley, Minimum volume cusped hyperbolic threemanifolds, J. Amer. Math. Soc. 22 (2009), no. 4, 1157–1215. MR 2525782
16. F. A. Garside, The braid group and other groups, Quart. J. Math. Oxford Ser. (2) 20 (1969),
235–254. MR 0248801 (40 #2051)
17. Juan González-Meneses, Basic results on braid groups, Ann. Math. Blaise Pascal 18 (2011),
no. 1, 15–59. MR 2830088
18. Cameron McA. Gordon and Ying-Qing Wu, Toroidal and annular Dehn fillings, Proc. London
Math. Soc. (3) 78 (1999), no. 3, 662–700. MR 1674841 (2000b:57029)

BRAIDS, ORDERINGS AND MINIMAL VOLUME CUSPED HYPERBOLIC 3-MANIFOLDS

35

19. Michael Handel, The forcing partial order on the three times punctured disk, Ergodic Theory
Dynam. Systems 17 (1997), no. 3, 593–610. MR 1452182
20. Ji-Young Ham and Won Taek Song, The minimum dilatation of pseudo-Anosov 5-braids, Experiment. Math. 16 (2007), no. 2, 167–179. MR 2339273
21. Eriko Hironaka and Eiko Kin, A family of pseudo-Anosov braids with small dilatation, Algebr.
Geom. Topol. 6 (2006), 699–738 (electronic). MR 2240913
22. Craig D. Hodgson, G. Robert Meyerhoff, and Jeffrey R. Weeks, Surgeries on the Whitehead link
yield geometrically similar manifolds, Topology ’90 (Columbus, OH, 1990), Ohio State Univ.
Math. Res. Inst. Publ., vol. 1, de Gruyter, Berlin, 1992, pp. 195–206. MR 1184411
23. James Kaiser, Jessica S. Purcell, and Clint Rollins, Volumes of chain links, J. Knot Theory
Ramifications 21 (2012), no. 11, 1250115, 17. MR 2969643
24. Christian Kassel and Vladimir Turaev, Braid groups, Graduate Texts in Mathematics, vol.
247, Springer, New York, 2008, With the graphical assistance of Olivier Dodane. MR 2435235
(2009e:20082)
25. Akio Kawauchi, A survey of knot theory, Birkhäuser Verlag, Basel, 1996, Translated and revised
from the 1990 Japanese original by the author. MR 1417494
26. Eiko Kin and Mitsuhiko Takasawa, Pseudo-Anosov braids with small entropy and the magic
3-manifold, Comm. Anal. Geom. 19 (2011), no. 4, 705–758. MR 2880213
27. Erwan Lanneau and Jean-Luc Thiffeault, On the minimum dilatation of braids on punctured discs, Geom. Dedicata 152 (2011), 165–182, Supplementary material available online.
MR 2795241
28. Peter A. Linnell, Akbar H. Rhemtulla, and Dale P. O. Rolfsen, Invariant group orderings and
Galois conjugates, J. Algebra 319 (2008), no. 12, 4891–4898. MR 2423810 (2009j:20042)
29. Takashi Matsuoka, Braids of periodic points and a 2-dimensional analogue of Sharkovskii’s
ordering, Dynamical systems and nonlinear oscillations (Kyoto, 1985), 58–72, World Sci. Adv.
Ser. Dynam. Systems, 1, World Sci. Publishing, Singapore, 1986.
30. Wilhelm Magnus, Abraham Karrass, and Donald Solitar, Combinatorial group theory, revised
ed., Dover Publications Inc., New York, 1976, Presentations of groups in terms of generators
and relations. MR 0422434 (54 #10423)
31. B. H. Neumann, On ordered groups, Amer. J. Math. 71 (1949), 1–18. MR MR0028312 (10,428a)
32. Peter Ozsváth and Zoltán Szabó, On knot Floer homology and lens space surgeries, Topology
44 (2005), no. 6, 1281–1300. MR 2168576 (2006f:57034)
33. Bernard Perron and Dale Rolfsen, On orderability of fibred knot groups, Math. Proc. Cambridge
Philos. Soc. 135 (2003), no. 1, 147–153. MR MR1990838 (2004f:57015)
34. Dale Rolfsen, A functorial ordering of free products of groups, preprint (2016).
35. Dale Rolfsen and Bert Wiest, Free group automorphisms, invariant orderings and topological
applications, Algebr. Geom. Topol. 1 (2001), 311–320 (electronic). MR 1835259
36. Won Taek Song, Ki Hyoung Ko, and Jérôme E. Los, Entropies of braids, J. Knot Theory
Ramifications 11 (2002), no. 4, 647–666, Knots 2000 Korea, Vol. 2 (Yongpyong). MR 1915500
37. William Thurston, Hyperbolic structures on 3-manifolds II: Surface groups and 3-manifolds
which fiber over the circle, (1998), Preprint available at arXiv:math/9801045.
38. William P. Thurston, On the geometry and dynamics of diffeomorphisms of surfaces, Bull.
Amer. Math. Soc. (N.S.) 19 (1988), no. 2, 417–431. MR 956596
39. Ken’ichi Yoshida, The minimal volume orientable hyperbolic 3-manifold with 4 cusps, Pacific J.
Math. 266 (2013), no. 2, 457–476. MR 3130632
Department of Mathematics, Graduate School of Science, Osaka University Toyonaka, Osaka 560-0043, JAPAN
E-mail address: kin@math.sci.osaka-u.ac.jp
Pacific Institute for the Mathematical Sciences and Department of Mathematics,
University of British Columbia, Vancouver, BC, Canada V6T 1Z2
E-mail address: rolfsen@math.ubc.ca

