ON THE SMALLEST NON-TRIVIAL QUOTIENTS OF MAPPING
CLASS GROUPS

arXiv:1705.10223v1 [math.GR] 29 May 2017

DAWID KIELAK AND EMILIO PIERRO

Abstract. We prove that the smallest non-trivial quotient of the mapping
class group of a connected orientable surface of genus at least 3 without punctures is Sp2g (2), thus confirming a conjecture of Zimmermann. In the process,
we generalise Korkmaz’s results on C-linear representations of mapping class
groups to projective representations over any field.

1. Introduction
In [Zim] Zimmermann conjectured that the smallest quotient of a mapping class
group of a surface of genus g is Sp2g (2), the symplectic group of rank g over the
field of 2 elements. Zimmermann proved this statement for g ∈ {3, 4}. We confirm
his conjecture in general, and prove
Theorem 4.12. Let K be a finite quotient of MCG(Σg,b ), the mapping class group
of a connected orientable surface of genus g with b boundary components. Then
either |K| > | Sp2g (2)|, or K ∼
= Sp2g (2) and the quotient map is obtained by
postcomposing the natural map MCG(Σg,b ) → Sp2g (2) with an automorphism of
Sp2g (2).
The natural map is obtained by observing that MCG(Σg,b ) acts on H1 (Σg,b ) in
a way preserving the algebraic intersection number; this amounts to saying that
MCG(Σg,b ) preserves a symplectic form, and leads to an epimorphism
MCG(Σg,b ) → Sp2g (Z)
Reducing the integers modulo 2 we obtain an epimorphism Sp2g (Z) → Sp2g (2), and
combining these two surjections yields the natural map MCG(Σg,b ) → Sp2g (2).
Note that MCG(Σg ) has plenty of finite quotients – Grossman showed in [Gro]
that it is residually finite. (In the same paper Grossman showed that Out(Fn ) is
residually finite as well.)
The situation changes when we allow punctures: the mapping class group of
a surface with n punctures maps onto the symmetric group Symn , and such a
quotient can be smaller than Sp2g (2). If we however look at a pure mapping class
group, our theorem applies, since such a mapping class group can be obtained
from MCG(Σg,b ) by capping the boundary components with punctured discs; the
resulting homomorphism is surjective.
When Γ is a non-orientable surface of genus g, then it contains a subsurface
homeomorphic to Σg,1 , and so Theorem 4.12 implies that any finite quotient of
MCG(Γ) is either of cardinality at most 2, or at least | Sp2g (2)| (we are using
the fact that Dehn twists along simple non-separating curves generate an index 2
subgroup of MCG(Γ)).
Our result coheres nicely with the theorem of Berrick–Gebhardt–Paris [BGP]
which states that the smallest non-trivial action of MCG(Σg,b ) on a set is unique and
obtained by mapping MCG(Σg,b ) onto Sp2g (2) and taking the smallest permutation
Date: May 30, 2017.
1

2

DAWID KIELAK AND EMILIO PIERRO

representation of the latter group. Let us remark here that the discussion above has
a parallel in the setting of automorphisms of free groups: Baumeister together with
the authors has shown in [BKP] that the smallest non-abelian quotient of Aut(Fn )
is SLn (2); in the same paper it is shown that (for large n) the group SAut(Fn ) of
pure automorphisms of Fn cannot act non-trivially on a set of cardinality 2n/2 , and
the smallest known non-trivial action comes from the smallest action of SLn (2),
and is defined on a set of cardinality 2n − 1.
The proof of Theorem 4.12 follows the same general outline as in [BKP]: since
MCG(Σg,b ) is perfect, we know that its smallest quotient is simple. We go through
the Classification of Finite Simple Groups (CFSG) and exclude all such groups
smaller than Sp2g (2) from the list of potential quotients. The finite simple groups
fall into one of the following four families:
(1)
(2)
(3)
(4)

the
the
the
the

cyclic groups of prime order;
alternating groups Altn , for n > 5;
finite groups of Lie type; and
26 sporadic groups.

For the full statement of the CFSG we refer the reader to [Wil]. For the purpose
of this paper, we further divide the finite groups of Lie type into the following two
families:
(3C) the “classical groups”: An , 2An , Bn , Cn , Dn and 2 Dn ; and
(3E) the “exceptional groups”: 2 B2 , 2 G2 , 2 F4 , 3 D4 , 2 E6 , G2 , F4 , E6 , E7 and E8 .
The cyclic groups are excluded since they are abelian. The alternating groups
are easily dealt with using the aforementioned result of Berrick–Gebhardt–Paris
(see Theorem 4.1 and the corollary following it).
To deal with the classical groups we investigate the low-dimensional representation theory of MCG(Σg,b ). Korkmaz in [Kor2] showed that every homomorphism
MCG(Σg,b ) → GLn (C) has abelian image whenever g > 1 and n < 2g. His method
can actually be used to obtain the following slightly more general result.
Theorem 3.3. Let g > 1 and b > 0, and let F be a field. Then every projective
representation
φ : MCG(Σg,b ) → PGLn (F)
has abelian image for every n < 2g. In particular, for g > 3, every projective
representation of MCG(Σg,b ) in dimension less than 2g is trivial.
Note that the representation theory of mapping class groups is in general poorly
understood, even when compared with the representation theory of Out(Fn ): it is
still an open problem whether mapping class groups are linear; in this context let
us mention a result of Button [But], who proved that mapping class groups are
not linear over fields of positive characteristic. The groups Out(Fn ) are not linear
over any field, as shown by Formanek–Procesi [FP]. In the setting of mapping
class groups there is also no satisfactory counterpart to the result of the firstnamed author, who in [Kie] classified linear representations of Out(F
n ) (over fields

of characteristic not dividing n+1) in all dimensions below n+1
.
The
best result in
2
this direction is proven by Korkmaz in [Kor1], where he classified all representations
of MCG(Σg,b ) over C up to dimension 2g.
Acknowledgements. The authors are grateful to Barbara Baumeister and Stefan
Witzel for helpful conversations.
The first-named author was supported by the DFG Grant KI-1853. The secondnamed author was supported by the SFB 701 of Bielefeld University.

ON THE SMALLEST NON-TRIVIAL QUOTIENTS OF MAPPING CLASS GROUPS

3

Figure 2.1.
2. Preliminaries
2.1. Mapping class groups. Throughout, we take Σg,b to be a connected orientable surface of genus g with b boundary components. We allow boundary components as they accommodate inductive arguments; we do not allow punctures.
We let MCG(Σg,b ) denote the mapping class group of Σg,b , that is the group of
isotopy classes of orientation preserving homeomorphisms of Σg,b which preserve
each boundary component pointwise.
Figure 2.1 depicts a choice of 3g + b − 2 curves on Σg,b (in fact 3g − 1 when
b = 0); these curves are permuted transitively by homeomorphisms of Σg,b . We
let S denote the set of Dehn twists along these curves. The set S is a generating
set for MCG(Σg,b ); this and similar facts can easily be found in the book of Farb
and Margalit [FM]. We let T1 , . . . , Tg and T10 , . . . , Tg0 denote Dehn twists along the
indicated curves.
Let us record the following
Theorem 2.2 ([FM, Theorem 5.2]). Let b > 0 and g > 3. The abelianisation of
MCG(Σg,b ) is trivial.
2.2. Finite groups of Lie type. Here we give an extremely rudimentary introduction to the finite groups of Lie type, restricted almost exclusively to the few facts
and statements that we will require. For further details the reader is encouraged
to consult the book of Gorenstein–Lyons–Solomon [GLS].
Let r be a prime, and q a power thereof. The finite groups of Lie type over the
field of q elements are divided into finite collections (types), each corresponding to
a Dynkin diagram or a twisted Dynkin diagram; the types An , 2An , Bn , Cn , Dn and
2
Dn are called classical, and the types 2 B2 , 3 D4 , E6 , 2 E6 , E7 , E8 , F4 , 2 F4 , G2 and 2 G2
are called exceptional.
As mentioned above, to each type we associate a finite family of finite groups;
the members of such a family are called versions. There are two special versions:
the universal one, which has the property that it maps homomorphically onto
every other version with a central kernel, and the adjoint version, which is the
homomorphic image of every other version where the corresponding kernel is again
central. The adjoint versions are simple with the following exceptions [CCN+ ,
Chapter 3.5]:
A1 (2) ∼
= Sym3 ,
G2 (2) ∼
= 2A2 (3) o 2,

A1 (3) ∼
= Alt4 ,
2
B2 (2) ∼
= 5 o 4,

C2 (2) ∼
= Sym6 ,
2
G2 (3) ∼
= A1 (8) o 3,

A2 (2) ∼
= 32 o Q8 ,

2
2

F4 (2)

where Q8 denotes the quaternion group of order 8, and 4 denotes the cyclic group
of that order. The group 2 F4 (2) contains an index 2 subgroup T = 2 F4 (2)0 , known
as the Tits group, which is simple. For the purpose of this paper, we treat T as a
finite group of Lie type.
Each finite group of Lie type has a rank, which is simply the number of vertices
of the corresponding Dynkin diagram (or, equivalently, the index appearing as a
subscript of the Dynkin diagram).

4

DAWID KIELAK AND EMILIO PIERRO

Classical
Type Conditions Dimension isomorphism
An (q)
n>1
n+1
Ln+1 (q)
2
n>2
n+1
Un+1 (q)
An (q)
Bn (q)
n>2
2n + 1
O2n+1 (q)
n>3
2n
S2n (q)
Cn (q)
Dn (q)
n>4
2n
O+
2n (q)
2
Dn (q)
n>4
2n
O−
2n (q)
Table 2.3. The classical groups of Lie type

Groups of types 2 B2 and 2 F4 are defined only over fields of order 22m+1 while
groups of type 2 G2 are defined only over fields of order 32m+1 . All groups of all
other types are defined over all finite fields.
For reference, we also recall the following additional exceptional isomorphisms
A1 (4) ∼
= A1 (5) ∼
= Alt5 , A1 (9) ∼
= Alt6 , A1 (7) ∼
= A2 (2), A3 (2) ∼
= Alt8 , 2A3 (2) ∼
= C2 (3)
In addition, Bn (2m ) ∼
= Cn (2m ) for all n > 3 and m > 1.
The adjoint version of a classical group over q comes with a natural projective
module over an algebraically closed field in characteristic r; the dimensions of these
modules are taken from [KL, Table 5.4.C] and listed in Table 2.3. Note that these
projective modules are irreducible.
The Dynkin diagrams B2 and C2 coincide, and so we do not talk about groups
of type C2 (q). However, when it comes to finding the smallest projective modules,
one should consider the adjoint version of B2 (q) as the projective symplectic group
S4 (q), rather then the projective orthogonal group O5 (q). This technical point will
be however of no bearing for us.
A parabolic subgroup of K is any subgroup containing a Borel subgroup of K,
that is the normaliser of a Sylow r-subgroup of K.
Proposition 2.4 (Jordan decomposition). Let K be a finite group of Lie type
defined over a field of characteristic r. For every element x ∈ K we have unique
elements xs , xu ∈ K, such that
x = xs xu = xu xs
and the order of xu is a power of r (xu is unipotent), and the order of xs is coprime
to r (xs is semisimple).
In fact the above works for any element of a finite group, and any prime r. We
stated it in such a form to emphasise the relation to algebraic groups.
We now look at the first of the two structural results about finite groups of Lie
type that we will need.
Theorem 2.5 (Borel–Tits [GLS, Theorem 3.1.3(a)]). Let K be a finite group of
Lie type in characteristic r, and let R be a non-trivial r-subgroup of K. Then there
exists a proper parabolic subgroup P 6 K such that R lies in the normal r-core of
P , and NK (R) 6 P .
Theorem 2.6 (Levi decomposition [GLS, Theorem 2.6.5(e,f,g), Proposition 2.6.2(a,b)]).
Let P be a proper parabolic in a finite group K of Lie type in characteristic r.
(1) Let U denote the normal r-core of P (note that U is nilpotent). There exists
a subgroup L 6 P , such that L ∩ U = {1} and LU = P .
(2) L (the Levi factor) contains a normal subgroup M such that L/M is abelian
of order coprime to r.

ON THE SMALLEST NON-TRIVIAL QUOTIENTS OF MAPPING CLASS GROUPS

5

(3) M is isomorphic to a central product of finite groups of Lie type (the simple
factors of L) in characteristic r such that the sum of the ranks of these
groups is lower than the rank of K.
The following is the second structural result that we will need.
Theorem 2.7 ([GLS, Theorem 4.2.2]). Let K be a an adjoint version of a finite
group of Lie type defined in characteristic r. Let x ∈ K be an element of prime
order p with p 6= r, and let C denote its centraliser in K. Then
(1) The group C contains a normal subgroup C 0 (the connected centraliser),
such that C/C 0 is an elementary abelian p-group.
(2) The group C 0 contains an abelian subgroup T (the torus) and a normal
subgroup L such that C 0 = LT .
(3) The group L is a central product of subgroups L1 , . . . , Ls (the Lie factors);
each Lie factor Li is a finite group of Lie type in characteristic r.
(4) The sum of the ranks of the Lie factors is bounded above by the rank of K.
Remark 2.8. From the aforementioned results in [GLS], and from [DM] and [Shi]
we can additionally deduce that
(1) the groups of type G2 (q) and 2 G2 (q) are never simple factors of a Levi factor
of a proper parabolic subgroup of any group of Lie type;
(2) when K is of type 3 D4 (q), then the simple factors of the Levi factor and the
Lie factors are isomorphic to A1 , A2 , or 2A2 ; and
(3) when K is of type 2 F4 (q), then the simple factors of the Levi factor and the
Lie factors are isomorphic to A1 , 2 B2 , and 2A2 .
3. Representations of mapping class groups
In this section we use the method developed by Korkmaz [Kor2] to investigate low-dimensional representations of MCG(Σg,b ). Korkmaz originally studied
C-linear representations, whereas we are interested in projective representations
over fields of positive characteristic.
Proposition 3.1. Let g > 2 and b > 0, and let φ : MCG(Σg,b ) → G be a homomorphism. Let T and S denote two Dehn twists along simple closed non-separating
curves intersecting each other in a single point. The following are equivalent:
(1) φ(T ) = φ(S).
(2) φ(T ) commutes with φ(S).
(3) φ factors through the abelianisation of MCG(Σg,b ).
Proof. (1) ⇒ (2) This is clear.
(2) ⇒ (3) Note that MCG(Σg,b ) is generated by S, and we immediately see that
φ(T 0 ) commutes with φ(S 0 ) for every T 0 , S 0 ∈ S: either this is already true in
h
MCG(Σg,b ), or we can find a homeomorphism h of Σg,b such that T 0 = T and
h
S 0 = S, and then use the fact that φ(T ) and φ(S) commute.
(3) ⇒ (1) All Dehn twists along simple closed non-separating curves are conjugate in MCG(Σg,b ) (since the underlying curves are are permuted transitively by
homeomorphisms of Σg,b ), and so if φ has abelian image then φ(T ) = φ(S).

Throughout, we use CG (x) to denote the centraliser of x in G (where x ∈ G).
Proposition 3.2. Let φ : G → PGL(V ) be a projective representation of a group
G over an algebraically closed field. Suppose that G contains elements T and S
such that T ST = ST S. Then φ(T ) = φ(S) or there exists a subspace U 6 V with
1 < dim U < dim V − 1 preserved by CG (T ) ∩ CG (S).

6

DAWID KIELAK AND EMILIO PIERRO

Proof. Let χT and χS denote the characteristic polynomials of, respectively, some
lifts of φ(T ) and φ(S) to GL(V ). For a root λ of χT or χS we denote the corresponding eigenspace by ETλ and ESλ respectively.
Suppose first that χT has at least 3 distinct roots, say λ1 , λ2 and λ3 . Then
dim ETλi > 1 for each i, and so dim V − dim ETλi > 1. Thus either one of these
eigenspaces or the direct sum of two of them satisfies the requirements put on
U . The situation is analogous for χS , and so we may assume that each of the
characteristic polynomials has at most two roots.
Suppose that χT has two distinct roots, λ and µ. We may assume that dim ETλ =
dim V − 1 and dim ETµ = 1, as otherwise one of the eigenspaces is the U we are
seeking.
Now suppose that χT has only one root λ. If dim ETλ = 1 then the kernel of
(φ(T ) − λI)2 has dimension 2, and we are done. Otherwise we may assume that
dim ETλ = dim V − 1.
We have concluded that dim ETλ = dim V − 1 in either case. Applying the same
0
argument to χS we see that dim ESλ = dim V − 1 for some λ0 . If
0
dim ETλ ∩ ESλ = dim V − 2
0

then ETλ ∩ ESλ is our U . Otherwise we have
0

ETλ = ESλ

Let us change the chosen lifts of φ(T ) and φ(S) so that λ = λ0 = 1. Now the
relation T ST = ST S is satisfied by these two lifts. Also, these lifts lie in an abelian
subgroup of GL(V ) (isomorphic to the subgroup consisting of matrices with every
row but the first identical to the corresponding row of the identity matrix). Hence
we see that φ(T )φ(S) = φ(S)φ(T ). Combining it with our braid relation we obtain
that φ(T ) = φ(S).

Again we follow Korkmaz and deduce the following.
Theorem 3.3. Let g > 1 and b > 0, and let F be a field. Then every projective
representation
φ : MCG(Σg,b ) → PGLn (F)
has abelian image for every n < 2g. In particular, for g > 3, every projective
representation of MCG(Σg,b ) in dimension less than 2g is trivial.
Proof. Since we can extend scalars, we may assume that F is algebraically closed.
Our proof is an induction on g. The case g = 1 is trivial, since then PGL2g−1 (F)
is the trivial group.
Assume that g > 2, and suppose that the result holds for surfaces of genus
less than g. We find a subsurface Γ ⊂ Σ so that Γ has genus g − 1 and b + 1
boundary components, and its complement in Σ has genus 1 and a single boundary
components. Pick two simple non-separating curves in this complement which
intersect in a single point, and let T and S denote the Dehn twists around these
curves. We have
T ST = ST S
Suppose first that φ(T ) = φ(S). Then we are done by Proposition 3.1. Now suppose that φ(T ) 6= φ(S). Let V denote the F vector space such that PGL2g−1 (F) =
PGL(V ). We now use Proposition 3.2 to find a subspace U 6 V of dimension and
codimension at least 2. Then we obtain maps from MCG(Γ) ∼
= MCG(Σg−1,1 ) to
PGL(U ) and PGL(V /U ). By the inductive hypothesis these factor through the
abelianisation of MCG(Σg−1,b+1 ).
Take two Dehn twists T 0 and S 0 in MCG(Γ) along simple closed non-separating
curves which intersect in a single point. We can choose lifts of φ(T 0 ) and φ(S 0 ) in

ON THE SMALLEST NON-TRIVIAL QUOTIENTS OF MAPPING CLASS GROUPS

7

GL(V ) such that both act on V /U as the identity. It is immediate that these two
lifts must commute, and therefore φ(T 0 ) commutes with φ(S 0 ). We conclude using
Proposition 3.1.
The last sentence in the statement of the theorem follows from the fact that
MCG(Σg,b ) is perfect for g > 3.

4. Minimal finite quotients
4.1. Alternating and classical groups. In this subsection we prove that Sp2g (2)
is the smallest quotient of MCG(Σg,b ) among the alternating and classical groups;
Theorem 4.12 will then follow for sufficiently large g. The proof is supported on
two pillars: Theorem 3.3 and the following result of Berrick–Gebhardt–Paris:
Theorem 4.1 ([BGP, Theorem 4]). Let g > 3 and b > 0. Up to conjugation, the
group MCG(Σg,b ) contains a unique subgroup of index 2g−1 (2g − 1). Also, it does
not contain any proper subgroups of smaller index.
Note that we have rephrased the theorem in a way suitable to our needs – in
fact Berrick–Gebhardt–Paris prove more, since they also establish the index of the
second smallest subgroup, and give lower bounds for the index of the third one.
Corollary 4.2. Let g > 3 and b > 0. Any epimorphism MCG(Σg,b ) → Sp2g (2)
is obtained by postcomposing the natural map MCG(Σg,b ) → Sp2g (2) with an automorphism of Sp2g (2).
Proof. This follows immediately upon observing that Sp2g (2) has a (maximal) subgroup of index 2g−1 (2g − 1) (see [LS, Table 5.2.A]), and from the uniqueness part
of the preceding theorem.

Proposition 4.3. For g > 3, the smallest quotient of MCG(Σg,b ) among cyclic
groups, alternating groups, and classical groups of Lie type is Sp2g (2).
Proof. Let K denote a smallest quotient of MCG(Σg,b ). Since MCG(Σg,b ) is perfect,
we see that K is not cyclic. Theorem 4.1 tells us that MCG(Σg,b ) cannot act on
fewer than 2g−1 (2g − 1) points, and thus if K is an alternating group then its rank
is bounded below by 2g−1 (2g − 1). But using Stirling’s approximation we see that

1
| Alt2g−1 (2g −1) | = 2g−1 (2g − 1) !
2
2g−1 (2g −1)+ 12 −2g−1 (2g −1)
1
1
> (2π) 2 2g−1 (2g − 1)
e
2
g−1
g

2
(2 −1)
> 2g−1 (2g − 1)e−1
2g−1 (2g −1)
> 2g−3 (2g − 1)
9g
> 2g−3 (2g − 1)
> 29g

2

−27

g
Y

(2g − 1)9

i=1

> 2g

2

g
Y

(22i − 1)

i=1

= | Sp2g (2)|
for g > 3.
Now let us assume that K is an adjoint version of a classical group of Lie type.
Combining the assumption that |K| 6 | Sp2g (2)| with Theorem 3.3, we conclude
that K is isomorphic to Dg (2), 2 Dg (2), or Bg (2) ∼
= Cg (2) ∼
= Sp2g (2). But 2 Dg (2) has

8

DAWID KIELAK AND EMILIO PIERRO

a subgroup of index 2g−1 (2g − 1) − 1 (see [LS, Table 5.2.A]), and hence cannot be
a quotient of MCG(Σg,b ) by Theorem 4.1; similarly, Dg (2) has a subgroup of index
2g−1 (2g − 1) and thus it is ruled out by the uniqueness part of Theorem 4.1, since
Dg (2) is not isomorphic to Sp2g (2).

Remark 4.4. At this point we can already say that for sufficiently large g, the smallest non-trivial quotient of MCG(Σg,b ) is Sp2g (2), and the quotient map is obtained
by postcomposing the natural map MCG(Σg,b ) → Sp2g (2) with an automorphism of
Sp2g (2). For large enough g the sporadics are excluded by any one of Theorems 3.3
and 4.1, and the exceptional groups of Lie type are excluded by Theorem 3.3, since
the smallest dimension of a non-trivial projective representation of such a group is
bounded above by 248. We also use Corollary 4.2.
4.2. Exceptional groups. To deal with exceptional groups we will develop a technique that applies to all finite groups of Lie type, excluding G2 (q) and 2 G2 (q). For
classical groups it does not however surpass Theorem 3.3 in applicability.
Definition 4.5. Let K be a finite group. Given an integer m > 2, The m-rank of
K is defined to be the largest integer n such that mn , the n-fold direct product of
the cyclic group of order m, embeds into K.
Lemma 4.6. Let K be the adjoint version of a group of Lie type over the field of
size q. Let p be an odd prime coprime to q. Then the p-rank of K is bounded above
by the rank of K.
Proof. Using [GLS, Theorem 4.10.3b] we see that the p-rank of K is bounded above
by the number nm0 , defined to be the multiplicity of the cyclotomic polynomial
associated to m0 in the order of K0 thought of as a polynomial in q. Here K0 stands
for the group of inner diagonal automorphisms of K, and m0 is the multiplicative
order of q modulo p.
Note that K0 has the same order as the universal version of K, and these orders
are given in [GLS, Table 2.2]. They are always of the form
qN

k
Y

(q ni − ωi )

i=1

where N is a natural number, k is the rank of K, and ωi is a root of unity (of order
at most 3). (Note that, following the convention of [GLS], for Suzuki–Ree groups
we take the square root of q in place of q in the above formula.) Given a cyclotomic
polynomial Φ, none of the polynomials of the form q ni − ωi is divisible by Φ2 . Thus
the multiplicity nm0 is bounded above by k.

Proposition 4.7. Let g > 2 and b > 0. Let φ : MCG(Σg,b ) → K be a homomorphism to a finite group K with φ(T1 ) 6= 1.
(1) Let m > 2 divide the order of φ(T1 ). If the m-rank of K is less than g then
some φ(T1 )n with φ(T1 )n 6= 1 is central in im φ.
(2) If φ(T1 )2 = 1 and the 3-rank of K is less than g, then φ(T1 ) is central in
im φ.
Proof. (1) Let the order of φ(T1 ) be km. Consider
Z = h{φ(T1 )k , . . . , φ(Tg )k }i
This is the image in K of a group isomorphic to mg , and so, since the m-rank of
K is less than g, without loss of generality we have
Y
φ(T1 )n =
φ(Ti )ni
i>1

ON THE SMALLEST NON-TRIVIAL QUOTIENTS OF MAPPING CLASS GROUPS

9

with n, ni ∈ Z and φ(T1 )n 6= 1
Now consider φ(T10 ). Since T10 commutes with every Ti with i > 1, we immediately see that φ(T10 ) commutes with φ(T1 )n . But then φ(T1 )n commutes with the
image under φ of every generator of MCG(Σg,b ) from S, and so im φ lies in the
centraliser of φ(T1 )n .
(2) Suppose that φ(T1 ) has order 2. Then using the braid relation
T1 T10 T1 = T10 T1 T10
and noting that φ(T10 ) also has order 2 as T1 and T10 are conjugate, we conclude
that S1 = T1 T10 has order 3. Now consider
W = h{φ(S1 ), . . . , φ(Sg )}i
where Si = Ti Ti0 has order 3 for each i. Using the assumption on the 3-rank of K,
and the fact that 3 is prime, without loss of generality we have
Y
φ(S1 ) =
φ(Si )ni
i>1

with ni ∈ {0, 1, 2}. Similarly as before, we conclude that φ(T1 ) commutes with
φ(S1 ). But S1 = T1 T10 , and T1 commutes with itself, and so φ(T1 ) commutes with
φ(T10 ) and we are done as before.

Corollary 4.8. Let g > 2 and b > 0. Let K be a finite non-trivial group with
trivial centre and with m-rank less than g for m > 3. Then K is not a quotient of
MCG(Σg,b ).
Proof. Suppose that φ : MCG(Σg,b ) → K is a quotient map. Since K is non-trivial
and has trivial centre, we have φ(T1 ) 6= 1 by Proposition 3.1, and we also see that
φ(T1 ) cannot be central in im φ. Therefore, by Proposition 4.7(1), the order of
φ(T1 ) is 2. But this contradicts Proposition 4.7(2).

Theorem 4.9. Let b > 0. Let g > 4 and K be a version of a group of Lie type
of rank less than g, or let g = 3 and K be a version of a group of Lie type of
rank less than g with the exception of G2 (q) and 2 G2 (q). Then every homomorphism
MCG(Σg,b ) → K is trivial.
Proof. Let φ denote such a homomorphism. The proof is an induction on g. Since
MCG(Σg,b ) is perfect we may assume that K is the adjoint version.
For the base case we use Theorem 3.3: it immediately deals with the cases
A1 (q), A2 (q), 2A2 (q), and B2 (q). It actually also rules out the case 2 B2 (q), since the
adjoint version of this type has a faithful projective representation in dimension 4.
Suppose that g > 4. Let a = φ(T1 ). Let us look at the Jordan decomposition
a = au as , where au is the unipotent part and as the semi-simple part. Let us first
assume that au 6= 1. Since the Jordan decomposition is unique, φ(CMCG(Σg,b ) (T1 ))
commutes with au , and therefore, by Theorem 2.5, there exists a proper parabolic
subgroup P containing φ(CMCG(Σg,b ) (T1 )). Using Theorem 2.6 (and its notation) we
see that the parabolic subgroup P contains a nilpotent normal subgroup U such that
P/U = L. Note that we have an epimorphism MCG(Σg−1,b+2 ) → CMCG(Σg,b ) (T1 )
obtained by identifying two boundary components of Σg−1,b+2 and declaring the
newly obtained simple closed curve to be the curve underlying T1 . Let
ψ : MCG(Σg−1,b+2 ) → P/U = L
denote the homomorphism obtained by composing the above map with the restriction of φ. The Levi factor L contains a normal subgroup M such that L/M is
abelian. The group MCG(Σg−1,b+2 ) is perfect, and therefore im ψ 6 M . The group
M is a central product of finite groups of Lie type whose rank is strictly smaller

10

DAWID KIELAK AND EMILIO PIERRO

than the rank of K. The inductive hypothesis tells us that ψ is trivial. Therefore
φ(CMCG(Σg,b ) (T1 )) is trivial, and thus φ is the trivial homomorphism.
Note that the exclusion of G2 (q) and 2 G2 (q) for g = 3 is not a problem for the
induction, since these groups do not appear as proper parabolic subgroups.
Now suppose that au = 1. We may assume that as 6= 1, as otherwise we have
φ(T1 ) = 1 which trivialises φ. Pick n ∈ Z so that ans is of prime order p in K.
Note that p does not divide the characteristic of the ground field of K, and so by
Lemma 4.6 and Proposition 4.7 we see that im φ centralises ans .
Let C denote the centraliser of ans in K. We apply Theorem 2.7, and use the
notation thereof. The centraliser C contains a normal subgroup C 0 such C/C 0 is
abelian. But MCG(Σg,b ) is perfect (as g > 3), and so im φ 6 C 0 . Now C 0 /L is
abelian, and so again we see that im φ 6 L. Now we need to consider two cases:
either each of the Lie factors L1 , . . . , Ls has rank strictly smaller than K, or there is
only one such factor of rank equal to K. In the former case we apply the inductive
hypothesis to φ followed by a projection L → Li for each i, and conclude that φ is
trivial. In the latter case we are satisfied with the conclusion that im φ 6 L, since
L 6 C, and so is of smaller cardinality than K, as K has no centre. We now run a
secondary induction on the order of K. Again, the exclusion of G2 (q) and 2 G2 (q) is
not a problem, since it occurs only for g = 3.

Remark 4.10. In fact the above proof also shows that if K is of type 3 D4 (q) or
2
F4 (q) then every homomorphism MCG(Σg,b ) → K is trivial for every g > 3 and
b > 0. The reason for this is that the simple factors of the Levi factor of any proper
parabolic subgroup of K or the Lie factors of centralisers of semi-simple elements
are of type A1 , A2 , 2A2 or 2 B2 , and so all of rank at most 2.
Corollary 4.11. None of the groups of exceptional type is the smallest quotient of
some MCG(Σg,b ) with g > 3.
Proof. Let K be a finite exceptional group of Lie type. Since MCG(Σg,b ) is perfect,
we need only consider the adjoint versions. Theorem 4.9 tells us that K cannot be
a quotient of MCG(Σg,b ) unless g is bounded above by the rank of K, or unless
g = 3 and K is the adjoint version of G2 (q) or 2 G2 (q). The types 3 D4 and 2 F4 (q) are
excluded by Remark 4.10.
A direct computation of orders (see [GLS, Table 2.2]) tells us that
(1) | 2 G2 (27)| > | G2 (3)| > | Sp6 (2)|
(2) | F4 (2)| > | Sp8 (2)|
(3) | E6 (2)| > | 2 E6 (2)| > | Sp12 (2)|
(4) | E7 (2)| > | Sp14 (2)|
(5) | E8 (2)| > | Sp16 (2)|
and this concludes the proof, since the smallest member of each of the families
except G2 and 2 G2 is the group defined over the field of 2 elements. For G2 , the
smallest simple member of the family is G2 (3); for 2 G2 , the smallest simple member
of the family is 2 G2 (27).

4.3. Sporadic groups. In this section we prove the main result.
Theorem 4.12. Let K be a finite quotient of MCG(Σg,b ), the mapping class group
of a connected orientable surface of genus g with b boundary components. Then
either |K| > | Sp2g (2)|, or K ∼
= Sp2g (2) and the quotient map is obtained by
postcomposing the natural map MCG(Σg,b ) → Sp2g (2) with an automorphism of
Sp2g (2).
Proof. Corollary 4.11 tells us that K is not a an exceptional group of Lie type, and
by Proposition 4.3 we see that we need only rule out the sporadic groups.

ON THE SMALLEST NON-TRIVIAL QUOTIENTS OF MAPPING CLASS GROUPS

11

We will go through the list of sporadic groups in the order of increasing cardinality (see Table 4.13). Considering a group K, we define g(K) to be the smallest
g such that |K| < Sp2g (2) . If we show that K is not a quotient of MCG(Σg(K),b ),
we will conclude that any homomorphism MCG(Σg,b ) → K is trivial whenever
g > g(K), since at this point we already know that all non-trivial groups smaller
that K are never quotients of MCG(Σg(K),b ). Thus, when looking at K, we may
use the assumption that all homomorphisms from MCG(Σg(K),b ) to groups smaller
than K are trivial.
K
Sp4 (2)
M11
M12
J1
M22
J2
Sp6 (2)
M23
HS
J3
M24
Mc L
He
Sp8 (2)
Ru
Suz
O0 N
Co3
Co2
Fi22
HN
Sp10 (2)
Ly
Th
Fi23
Co1
J4
Sp12 (2)
Fi024
Sp14 (2)
B
Sp16 (2)
Sp18 (2)
M
Sp20 (2)

Order of K
720
7920
95040
175560
443520
604800
1451520
10200960
44352000
50232960
244823040
898128000
4030387200
47377612800
145926144000
448345497600
460815505920
495766656000
42305421312000
64561751654400
273030912000000
24815256521932800
51765179004000000
90745943887872000
4089470473293004800
4157776806543360000
86775571046077562880
208114637736580743168000
1255205709190661721292800
27930968965434591767112450048000
4154781481226426191177580544000000
59980383884075203672726385914533642240000
2060902435720151186326095525680721766346957783040000
808017424794512875886459904961710757005754368000000000
1132992015386677099994486205757869431795095310094129168384000000
Table 4.13.

We start by invoking Corollary 4.8, and identify those groups K whose m-rank,
where m is equal to 4 or an odd prime, is less than g(K) (this is equivalent to
having all m-ranks less than g(K) for all m > 3). The prime ranks of sporadic
groups are known and listed in [GLS, Table 5.6.1]; it turns out that for m > 5 the
ranks are always bounded above by g(K) − 1. If the 3-rank or the 4-rank of K

12

DAWID KIELAK AND EMILIO PIERRO

is at least g(K), then K is listed in Table 4.14. (The 4-rank was computed using
GAP [GAP] – because of the complexity of the problem of determining the 4-rank,
we have only computed it for some sporadic groups. Thus the list may contain
groups whose 3- and 4-rank is in fact smaller than g(K). It may also contain traces
of nuts.) At this point we already know that the remaining 15 sporadic groups are
not the smallest quotients of MCG(Σg,b ).
Suppose that K is one of the 11 groups in Table 4.14, and let
φ : MCG(Σg(K),b ) → K
denote the putative quotient map. We may assume that φ(T1 ) is not trivial and of
order divisible only by 2 and 3 (the latter assumption is justified by Proposition 4.7).
Thus some power of φ(T1 ) will have order exactly 2 or 3, and the centraliser of T1
in MCG(Σg(K),b ) is an epimorphic image of MCG(Σg(K)−1,b+2 ). Thus, if we know
that every homomorphism from MCG(Σg(K)−1,b ) to any simple non-abelian factor
of a centraliser of an element of order 2 or 3 in K is trivial, then we may conclude
that φ is trivial.
For the remaining 11 sporadic groups, Table 4.14 lists the non-abelian simple
factors of centralisers of elements of order 2 or 3 (the information is taken from
[GLS, Table 5.3]). (To simplify the notation, in the sequel we use type to denote
the corresponding adjoint version.)

K
Mc L
Suz
Co3
Co2
Fi22
Fi23
Co1
J4
Fi024
B
M

Simple factors of centralisers of elements of order 2 or 3
Alternating
Lie type
Sporadic
Alt5 , Alt8
–
–
Alt6
A2 (4), 2A3 (3), 2 D3 (2)
–
Alt5 , Alt6
A1 (8), C3 (2)
M12
Alt5 , Alt6 , Alt8
C2 (3), C3 (2)
–
2
–
A3 (3), 2A5 (2), 2 D3 (2)
–
2
6
–
A5 (2), B3 (3), C2 (3), 2 D3 (2)
Fi22
2
Alt9
A3 (3), C2 (3), D4 (2), G2 (4),
M12 , Suz
–
–
M22
2
7
–
A3 (3), 2A4 (2), 2 D3 (2), D4 (3), G2 (3)
Fi22
2
8
–
D3 (2), D4 (2), F4 (2), 2 E6 (2)
Co2 , Fi22
10
–
–
B, Co1 , Fi024 , Suz, Th
Table 4.14.

g(K)
4
5

Every homomorphism from MCG(Σg,b ) with g > 4 to any of the alternating
groups visible in the table is trivial, since by Theorem 4.1 the smallest alternating
group to which MCG(Σ4,b ) can map non-trivially has rank 23 · (24 − 1) = 120.
All the groups of Lie type occurring as simple factors are eliminated by Theorem 4.9, with the the exception of 2A5 (2) inside Fi22 ; this group is eliminated by
Theorem 3.3.
The last column of Table 4.14 lists the remaining sporadic simple factors. Each
of these is too small to allow for a non-trivial homomorphism from the relevant
MCG(Σg(K)−1,b+1 ).

References
[BKP]
[BGP]
[But]

Barbara Baumeister, Dawid Kielak, and Emilio Pierro. On the smallest non-abelian
quotient of Aut(Fn ). arXiv:1705.02885.
A. J. Berrick, V. Gebhardt, and L. Paris. Finite index subgroups of mapping class groups.
Proc. Lond. Math. Soc. (3) 108(2014), 575–599.
J.O. Button. Mapping class groups are not linear in positive characteristic.
arXiv:1610.08464.

ON THE SMALLEST NON-TRIVIAL QUOTIENTS OF MAPPING CLASS GROUPS

13

[CCN+ ] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson. An Atlas of
finite groups. Oxford University Press, Eynsham, 1985.
[DM]
D. I. Deriziotis and G. O. Michler. Character table and blocks of finite simple triality
groups 3 D4 (q). Trans. Amer. Math. Soc. 303(1987), 39–70.
[FM]
Benson Farb and Dan Margalit. A primer on mapping class groups, volume 49 of Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 2012.
[FP]
Edward Formanek and Claudio Procesi. The automorphism group of a free group is not
linear. J. Algebra 149(1992), 494–499.
[GLS]
Daniel Gorenstein, Richard Lyons, and Ronald Solomon. The classification of the finite
simple groups. Number 3. Part I. Chapter A, volume 40 of Mathematical Surveys and
Monographs. American Mathematical Society, Providence, RI, 1998. Almost simple Kgroups.
[Gro]
Edna K. Grossman. On the residual finiteness of certain mapping class groups. J. London
Math. Soc. (2) 9(1974/75), 160–164.
[Kie]
Dawid Kielak. Outer automorphism groups of free groups: linear and free representations.
J. London Math. Soc. 87(2013), 917–942.
[KL]
Peter Kleidman and Martin Liebeck. The subgroup structure of the finite classical groups,
volume 129 of London Mathematical Society Lecture Note Series. Cambridge University
Press, Cambridge, 1990.
[Kor1] Musta Korkmaz. The symplectic representation of the mapping class group is unique.
arXiv:1108.3241.
[Kor2] Mustafa Korkmaz. Low-dimensional linear representations of mapping class groups.
arXiv:1104.4816.
[LS]
Martin W. Liebeck and Gary M. Seitz. On finite subgroups of exceptional algebraic
groups. J. Reine Angew. Math. 515(1999), 25–72.
[Shi]
K. Shinoda. The conjugacy classes of the finite Ree groups of type (F4 ). J. Fac. Sci.
Univ. Tokyo Sect. IA Math. 22(1975), 1–15.
[GAP] The GAP Group. GAP – Groups, Algorithms, and Programming, Version 4.7.8. The
GAP Group, 2015. http://www.gap-system.org.
[Wil]
R. A. Wilson. The finite simple groups, volume 251 of Graduate Texts in Mathematics.
Springer-Verlag London, Ltd., London, 2009.
[Zim]
Bruno P. Zimmermann. On minimal finite quotients of mapping class groups. Rocky
Mountain J. Math. 42(2012), 1411–1420.

Dawid Kielak
Emilio Pierro
Fakultät für Mathematik
Universität Bielefeld
Postfach 100131
D-33501 Bielefeld
Germany

dkielak@math.uni-bielefeld.de
epierro@math.uni-bielefeld.de

