ON STABLE COMMUTATOR LENGTHS OF DEHN TWISTS
ALONG SEPARATING CURVES

arXiv:1606.08643v1 [math.GT] 28 Jun 2016

NAOYUKI MONDEN AND KAZUYA YOSHIHARA

Abstract. We give new upper bounds on the stable commutator lengths of
Dehn twists along separating curves in the mapping class group of a closed
oriented surface. The estimates of these upper bounds are O(1/g), where g is
the genus of the surface.

1. Introduction
For x in the commutator subgroup [G, G] of a group G, we define the commutator
length clG (x) of x to be the smallest number of commutators in G whose product
is equal to x. The stable commutator length sclG (x) of x is the limit
clG (xn )
.
n→∞
n

sclG (x) = lim

Let Mg be the mapping class group of a closed oriented surface of genus g, and
let tc be the Dehn twist along a simple closed curve c on the surface. The natural
problem is to calculate sclMg (tc ). However, in general, computing scl is difficult.
Therefore, it makes sense to give upper and lower bounds on sclMg (tc ) (Note that
using Louwsma’s results [16], we find sclM1 (tc ) = 1/12).
The lower bounds on sclMg (tc ) were given by Endo-Kotschick [9] using Gauge
theory. For technical reasons, they showed that 1/(18g + 6) ≤ sclMg (tc ) only for
a separating curve c. This assumption is removed by Korkmaz [13]. He also gave
upper bounds on stable commutator lengths of Dehn twists in [13]. An upper bound
on sclMg (tc ) given in [13] (see also [17]) is constant for g. However, according to [15]
(see also [5]), there is an estimate sclMg (tc ) = O(1/g), that is, limg→∞ sclMg (tc ) =
0. Such an upper bound were given in [6] for a nonseparating curve c, and the
estimate is sclMg (tc ) ≤ 1/(4g + 6 + (2/g)) for g ≥ 1. On the other hand, to the best
of our knowledge, there is no such upper bound for a separating curve sh on Σg ,
where sh separates into two components with genera h and g − h For this reason,
we focus on separating curves. We prove the following.
Theorem 1.  For
 some integers k, h and r, we assume that genus g = kh + r
(h = 1, 2, . . . , g2 , r = 0, 1, . . . , h − 1). Then we have


1
h(2h + 1)(2g − 2h + 1)
sclMg (tsr ) + 1 .
sclMg (tsh ) ≤
(g + 1)(2g + 1) − (2g − 2h + 1)r 2r + 1
Note that ts0 = id in Mg since s0 bounds a disk, and therefore scl(ts0 ) = 0. As
a corollary, we obtain the following results.
Corollary 2. sclMg (ts1 ) ≤

3(2g − 1)
.
(g + 1)(2g + 1)
1

2

N. MONDEN AND K. YOSHIHARA

Corollary 3. If g = kh, then sclMg (tsh ) ≤

h(2h + 1)(2g − 2h + 1)
.
(g + 1)(2g + 1)

Using Theorem 1 and Corollary 2, we can inductively give an upper bound of
sclMg (tsh ) for any h.
Here is an outline of this paper. In Section 2.1, we review basic facts of stable
commutator lengths and quasi-morphisms. Especially, we present “Bavard’s duality
theorem” which gives a relationship between stable commutator lengths and quasimorphisms. Section 2.2 provides relations in mapping class groups. These relations
are need to prove Theorem 1. In the last section, we prove Theorem 1.
Remark 4. There are applications of giving lower and upper bounds on the stable
commutator length of a Dehn twist. Powell [20] showed that any element x in Mg
can be factorized as a product of commutators if g ≥ 3, that is, Mg is a perfect
group. The next problem is uniformly perfectness of Mg . Here, a group G is called
uniformly perfect if there is a natural number N such that clG (x) ≤ N for any
element x in G. It was conjectured by Morita [19] that Mg is not uniformly perfect,
more strongly, the map Hb2 (Mg ) → H 2 (Mg ; R) is not injective, where H 2 (Mg )
(resp. Hb2 (Mg )) is the second (resp. bounded) cohomology of Mg . Endo-Kotschick
[9] soloved them affirmatively by giving a lower bound of sclMg (tc ). Recently, the
first author [18] improved an upper bound on sclMg (tc ) for any simple closed curve
c and g ≥ 3 by giving an explicit factorization of tnc for any n. Using this result,
h (n)
he improved an upper bound on the limit of limn→∞ gn for odd g, where hg (n)
is the minimal h such that there exists a Σg -bundle over Σh with signature 4n.
Computing the limit is open problem in Problem 2.18 (B) of [8].
Remark 5. We introduce some background results on factorizations of some power
of a Dehn twist as a product of commutators. Korkmaz and Ozbagci [12] proved
that clMg (tc ) = 2 for any simple closed curve c if g ≥ 3. It was shown that
5
clMg (t10
d ) ≤ 2 for a nonseparating curve d if g ≥ 2 (see [12]) and that clM2 (ts1 ) ≤ 6
1
for a separating curve s1 (see [14]). For the mapping class group Mg of a compact
oriented surface of genus g ≥ 2 with a boundary curve δ, it was proved in [3] proved
that clM1g (tnδ ) = [n/2] for any n, so sclM1g (tδ ) = 1/2 (see also [2]). In the above
results, explicit factorizations of some power of a Dehn twist were given.
Remark 6. We explain a geometrical interpretation of (stable) commutator lengths
in Mg as Lefschetz fibrations, which play an important role in 4-dimensional topology. Note that by the works of [11] and [7], a 4-manifold is symplectic if and only if
it admits a Lefschetz fibration, up to blow-up. Let x be a product of right-handed
Qk
Dehn twists tv1 · · · tvn . If we give a relation x = i=1 [ai , bi ] in Mg , then we obtain
a Lefschetz fibration with fiber Σg over Σk with n singular fibers such that each
of them is obtained by collapsing simple closed curve vj on Σg to a point (The
Euler characteristic of the 4-manifold admitting this Lefschetz fibration is equal
to 4(g − 1)(k − 1) + n). Conversely, given a Lefschetz fibration, we get the above
relation. From this, computing clMg (x) means that calculating the minimal base
genus of such Lefschetz fibration and the minimal Euler characteristic of its total
space. Therefore, clMg (tnc ) gives the “smallest” Lefschetz fibraitons (in the sense
of the Euler characteristic) in the “simplest” ones (in the sense of singular fibers).
Thus, we can regard sclMg (tc ) as the growth rate of the genus of their bases.

ON STABLE COMMUTATOR LENGTHS OF DEHN TWISTS ALONG SEPARATING CURVES3

2. Preliminaries
2.1. Stable commutator lengths and quasi-morphisms. For a group G, let
[G, G] denote the commutator subgroup of G.
Definition 7. For x ∈ [G, G], we define the commutator length clG (x) of x to be
the smallest number of commutators in G whose product is equal to x. The stable
commutator length sclG (x) of x is the limit
clG (xn )
.
n→∞
n
By convention we define clG (x) = ∞ if x ∈ G is not in [G, G], and sclG (x) < ∞ if
and only if xm ∈ [G, G] for some integer m.
sclG (x) = lim

The limit exists since the non-negative function n → clG (xn ) is subadditive, and
clG and sclG are class functions. We need the theory of quasi-morphisms in order
to prove Theorem 1. In this section, we recall the definition and basic properties
of quasi-morphisms. We refer the reader to [5] for the details.
Definition 8. Let G be a group. A quasi-morphism on G is a function φ : G → R
for which there is a constant D(φ) ≥ 0 such that
|φ(xy) − φ(x) − φ(y)| ≤ D(φ)
for all x, y ∈ G. We call D(φ) a defect of φ. A quasi-morphism φ is called homogeneous if
φ(xn ) = nφ(x)
for all x ∈ G and all n ∈ Z.
We recall the following basic properties of homogeneous quasi-morphisms (for
example, see Section 5.5.2 of [5] and Lemma 2.1 (1) of [15] for proofs).
Lemma 9. Let φ : G → R be a homogeneous quasi-morphism on a group G. For
all x, y ∈ G, the following holds.
(a) φ(x) = φ(yxy −1 ),
(b) If xy = yx, then φ(xy) = φ(x) + φ(y).
Theorem 10 (Bavard’s Duality Theorem [1] ). Let Q be the set of all homogeneous
quasi-morphisms on a group G with positive defects. For any x ∈ [G, G], we have
sclG (x) =

sup
φ∈Q,D(φ)

|φ(x)|
.
2D(φ)

2.2. Relations in mapping class groups. Let Σg be closed connected oriented
surface of genus g ≥ 2, and let Mg be the mapping class group of Σg , that is the
group of isotopy classes of orientation preserving self-diffeomorphisms of Σg . Since
Mg /[Mg , Mg ] is isomorphic to Z12 if g = 1, Z10 if g = 2 (see [4]), and is trivial if
g ≥ 3 (see [20]), we can define sclMg (x) for any x ∈ Mg .
Let tc be the right-handed Dehn twist along a simple closed curve c on Σg . We
review some relations among Dehn twists. More details can be found in [10].
Lemma 11. For any two separating curves sh and s′h on Σg which separate into
two components with genera h and g − h, tsh is conjugate to ts′h and tsg−h .
Lemma 12. If c and d are two disjoint simple closed curves on Σg , then tc td = td tc .

4

N. MONDEN AND K. YOSHIHARA

Lemma 13 (The hyperelliptic involution). Let c1 , c2 , . . . , c2g+1 be nonseparating
curves in Σg such that ci and cj are disjoint if |i − j| ≥ 2, and that ci and ci+1
intersect at one point. Then, the product
ι := tc1 tc2 · · · tc2g t2c2g+1 tc2g · · · tc2 tc1 .
is the hyperelliptic involution. In particular, we have the relation ιtci = tci ι for
i = 1, 2, . . . , 2g + 1.
Lemma 14 (The even chain relation). For a positive integer h, let us consider
a sequence of simple closed curves c1 , c2 , . . . , c2h in Σg such that ci and cj are
disjoint if |i − j| ≥ 2, and that ci and ci+1 intersect at one point. Then, a regular
neighborhood of c1 ∪c2 ∪· · ·∪c2h is a subsurface of genus h with connected boundary,
denoted by dh . We then have
(tc1 tc2 · · · tc2h )4h+2 = tdh .
3. The proof of Theorem1
In this section, we prove Theorem 1. For this, we need the following Lemma.
Lemma 15. Let G be a group, and let x1 , x2 , . . . , xn be elements in G such that
xi xj = xj xi for |i−j| ≥ 2. Then, x1 x3 · · · x2m−1 ·x2 x4 · · · x2m (resp. x1 x3 · · · x2m+1 ·
x2 x4 · · · x2m ) is conjugate to x1 x2 · · · x2m if n = 2m (resp. n = 2m + 1).
Proof. We consider the case where n = 2m + 1. Set
X2k+1 = x1 x2 · · · x2k+1 · x2k+3 x2k+5 · · · x2m+1 · x2k+2 x2k+4 · · · x2m ,
X2k = x1 x2 · · · x2k · x2k+2 x2k+4 · · · x2m · x2k+1 x2k+3 · · · x2m+1 .
Note that X1 = x1 x3 · · · x2m+1 · x2 x4 · · · x2m and X2m+1 = x1 x2 · · · x2m+1 . Therefore, in order to prove Lemma 15, it is sufficient to show that Xi+1 is conjugate to
Xi . From the assumption, we have
(x2k+2 x2k+4 · · · x2m ) · X2k+1 · (x2k+2 x2k+4 · · · x2m )−1
= x2k+2 x2k+4 · · · x2m · x1 x2 · · · x2k−1 x2k x2k+1 · x2k+3 x2k+5 · · · x2m+1
= x1 x2 · · · x2k−1 · x2k x2k+2 · · · x2m · x2k+1 x2k+3 x2k+5 · · · x2m+1 = X2k .
Therefore, X2k+1 is conjugate to X2k . By a similar argument, we can show that
X2k is conjugate to X2k−1 . The proof for n = 2m is similar. This finishes the proof
of Lemma 15.

We now give the proof of Theorem 1.
The proof of Theorem 1. Let φ be a homogeneous quasi-morphism on Mg , and let
c1 , c2 , . . . , c2g+1 the simple closed curves in Lemma 13. For simplicity of notation,
we write ti instead of tci . For i = 2, 3, . . . , k − 1, we write
T1 := t21 t2 t3 · · · t2h ,
Tk := t2(k−1)h+1 t2(k−1)h+2 · · · t2(g−h) ,

Ti := t2(i−1)h+1 t2(i−1)h+2 · · · t2ih ,
Tk+1 := t2(g−h)+1 t2(g−h)+2 · · · t2g ,

Tk+2 := t22g+1 t2g t2g−1 · · · t2(g−h)+2 ,

S := t2(g−h)+1 t2(g−h) · · · t2 .

ON STABLE COMMUTATOR LENGTHS OF DEHN TWISTS ALONG SEPARATING CURVES5

Then, by Lemma 9 (a), 11 and 14,
1
φ(tsh ),
4h
1
φ(Ti ) = φ(Tk+1 ) =
φ(tsh ),
4h + 2
1
φ(Tk ) =
φ(tsr ),
4r + 2
1
φ(S) =
φ(tsh )
4(g − h) + 2

(1)

φ(T1 ) = φ(Tk+2 ) =

(2)
(3)
(4)

for i = 2, 3, . . . , k − 1. From the conjugate t1 ιt−1
1 and Lemma 13, we have
t21 t2 t3 · · · t2g t22g+1 t2g · · · t3 t2 = ι−1 = ι,
that is, T1 T2 · · · Tk+2 S = ι. In particular, we see that the relation
T1 T2 · · · Tk+2 = ι · S −1

(5)

holds in Mg . Since φ(ι) = 0 by the definition of homogeneous quasimorphisms,
from the equations (4), (5), Lemma 9 (b) and 13, we obtain
φ(T1 T2 · · · Tk+2 ) = −φ(S) = −

(6)

1
φ(tsh ).
4(g − h) + 2

Note that Ti Tj = Tj Ti if |i − j| ≥ 2 from Lemma 12. From this and Lemma 15, we
have

φ(T1 T3 · · · Tk+1 · T2 T4 · · · Tk+2 ) if k + 2 is even
φ(T1 T2 · · · Tk+2 ) =
φ(T1 T3 · · · Tk+2 · T2 T4 · · · Tk+1 ) if k + 2 is odd.
By this equation, the definition of quasimorphisms, Lemma 9 (b) and the equations
(1)-(3) and (6),
D(φ) ≥ |φ(T1 T2 · · · Tk+2 ) −

k+2
X

φ(Ti )|

i=1

= −

2
k−1
1
1
φ(tsh ) −
φ(tsh ) −
φ(tsh ) −
φ(tsr )
4(g − h) + 2
4h
4h + 2
4r + 2

This gives
(g + 1)(2g + 1) − (2g − 2h + 1)r
1
|φ(tsh )| ≤
|φ(tsr )| + D(φ)
2h(2h + 1)(2g − 2h + 1)
4r + 2
from r = g − kh. Hence, we obtain
h(2h + 1)(2g − 2h + 1)
|φ(tsh )|
≤
2D(φ)
(g + 1)(2g + 1) − (2g − 2h + 1)r




1 |φ(tsr )|
+1 .
2r + 1 2D(φ)




1
sclMg (tsr ) + 1 .
2r + 1

By Bavard’s Duality Theorem,
sclMg (tsh ) ≤

h(2h + 1)(2g − 2h + 1)
(g + 1)(2g + 1) − (2g − 2h + 1)r

This completes the proof of Theorem 1.



Acknowledgements. The first author was supported by Grant-in-Aid for Young
Scientists (B) (No. 13276356), Japan Society for the Promotion of Science. The
second author would like to thank Susumu Hirose, Noriyuki Hamada, and Takayuki
Okuda for helpful comments and invaluable advice on the mapping class groups of

6

N. MONDEN AND K. YOSHIHARA

the surfaces. Finally, he also would like to thank Professor Osamu Saeki for many
helpful suggestions and comments.

References
[1] C. Bavard, Longueur stable des commutateurs, Enseign. Math. (2) 37 (1991), no. 1-2,
109–150.
[2] R.I. Baykur, Flat bundles and commutator lengths, Michigan Math. J. 63 (2014), no. 2,
333–344.
[3] R.I. Baykur, M. Korkmaz and N. Monden, Sections of surface bundles and Lefschetz
fibrations, Transactions of the American Mathematical Society, 365, (2013), no. 11, 5999–
6016.
[4] J. Birman, H. Hilden, On mapping class groups of closed surfaces as covering spaces, In
Advances in the theory of Riemann surfaces, Ann. of Math. Studies 66 (1971), 81–115.
[5] D. Calegari, scl, MSJ Memoirs, 20. Mathematical Society of Japan, Tokyo, 2009.
[6] D. Calegari, N. Monden and M. Sato, On stable commutator length in hyperelliptic mapping class groups, Pacific Journal of Mathematics, 272 (2014), no. 2, 323–351.
[7] S. K. Donaldson; Lefschetz pencils on symplectic manifolds, J. Diff. Geom. 53 (1999),
205–236.
[8] R. Kirby, editor, Problems in low-dimensional topology, from: “Geometric topology
(Athens, GA, 1993)”, AMS/IP Stud. Adv. Math. 2, Amer. Math. Soc. (1997) 35–473.
[9] H. Endo and D. Kotschick, bounded cohomology and non-uniform perfection of mapping
class groups, Invent. Math. 144 (2001), no. 1, 169–175.
[10] B. Farb and D. Margalit, A primer on mapping class groups, Princeton Mathematical
Series, 49. Princeton University Press, Princeton,
[11] R. Gompf and A. Stipsicz; 4-manifolds and Kirby calculus, Graduate Studies in Mathematics, vol. 20, American Math. Society, Providence 1999.
[12] M. Korkmaz and B. Ozbagci, Minimal number of singular fibers in a Lefschetz fibration,
Proc. Amer. Math. Soc. 129 (2001), no. 5, 1545–1549.
[13] M. Korkmaz, Stable commutator length of a Dehn twist, Michigan Math. J. 52 (2004),
no. 1, 23–31.
[14] M. Korkmaz and A. Stipsicz, Lefschetz fibrations on 4-manifolds, Handbook of
Teichmüller theory. Vol. II, 271-296, IRMA. Lect. Math. Theor. Phys., 13, Eur. Math.
Soc., Zurich, 2009.
[15] D. Kotschick, Quasi-homomorphisms and stable lengths in mapping class groups, Proc.
Amer. Math. Soc. 132 (2004), no. 11, 3167–3175.
[16] J. Louwsma, Extremality of the Rotation Quasimorphism on the Modular Group, Dissertation (Ph.D.), California Institute of Technology.
[17] N. Monden, On upper bounds on stable commutator lengths in mapping class groups,
Topology Appl. 159 (2012), no. 4, 1085–1091.
[18] N. Monden, Signatures of surface bundles and stable commutator lengths of Dehn twists,
in preparation.
[19] S. Morita, Structure of the mapping class groups of surfaces: a survey and a prospect,
(English summary) Proceedings of the Kirbyfest (Berkeley, CA, 1998), 349–406 (electronic), Geom. Topol. Monogr., 2, Geom. Topol. Publ., Coventry, 1999.
[20] J. Powell, Two theorems on the mapping class group of a surface, Proc. Amer. Math. Soc.
68 (1978), no. 3, 347–350.
Department of Engineering Science, Osaka Electro-Communication University, Hatsucho 18-8, Neyagawa, 572-8530, Japan
E-mail address: monden@isc.osakac.ac.jp

