HIERARCHICALLY COCOMPACT CLASSIFYING
SPACES FOR MAPPING CLASS GROUPS OF
SURFACES

arXiv:1712.00496v1 [] 1 Dec 2017

BRITA NUCINKIS AND NANSEN PETROSYAN
Dedicated to Peter Kropholler on the occasion of his 60th birthday.
Abstract. We define the notion of a hierarchically cocompact
classifying space for a family of subgroups of a group. Our main
application is to show that the mapping class group ModpSq of any
connected oriented compact surface S, possibly with punctures and
boundary components and with negative Euler characteristic has
a hierarchically cocompact model for the family of virtually cyclic
subgroups of dimension at most vcd ModpSq` 1. When the surface
is closed, we prove that this bound is optimal. In particular, this
answers a question of Lück for mapping class groups of surfaces.

1. Introduction
Let G be a group and denote by F a family of subgroups of G, that
is a collection of subgroups of G closed under conjugation and finite
intersection. We denote by EF G the classifying space for the family F.
A G-CW-complex X is said to be a model for EF G if X H is contractible
for all H P F, and X H is empty otherwise. The minimal dimension of
a model for EF G, denoted by gdF G, is called the geometric dimension
of G for the family F.
Definition 1.1. We say a G-CW-complex X is a hierarchically cocompact (hierarchically finite type) model for EF G if there are families Fi
Ť
(i P I some indexing set) such that F “ iPI Fi , and that there are
cocompact (finite type) models for EFi G for all i P I.
By the universal property for classifying spaces for families, this is
equivalent to saying that there is a model for EF G which is a mapping
telescope of cocompact (finite type) models for EFi G. This follows from
an argument analogous to [18, Theorem 6.11].
Date: December 5, 2017.
2010 Mathematics Subject Classification. 20J06, 55R35.
The second author was supported by the EPSRC First Grant EP/N033787/1.
1

2

BRITA NUCINKIS AND NANSEN PETROSYAN

Definition 1.1 was motivated by the following conjecture of Juan-Pineda
and Leary.
Conjecture 1.2 (Juan-Pineda–Leary, [12]). Denote by Vc the family
of virtually cyclic subgroups of a group G, and let G be a group admitting
a cocompact model for EVc G. Then G is virtually cyclic.

This conjecture has been proved in many cases, such as, for example,
hyperbolic groups [12], elementary amenable groups [9], one-relator
groups, CAT(0)-groups, acylindrically hyperbolic groups, 3-manifold
groups [22], and linear groups [23]. In all of these examples it was
shown that these groups cannot admit a model for EVc G with a finite type 0-skeleton, a condition equivalent to G having a finite set of
virtually cyclic subgroups tH1 , ..., Hn u such that every virtually cyclic
subgroup is sub-conjugate to Hi for some 1 ď i ď n. T. von Puttkamer
and X. Wu [23] actually conjecture that any finitely presented group
satisfying this condition is already virtually cyclic. They also exhibit a
finitely generated example of type F0 . Note, that non-finitely generated
examples were already known, as for example [21, 6.4.6] the famous construction of Higman-Neumann-Neumann with one conjugacy class of
elements.
In line with convention, we write EG for a classifying space for proper
actions and EG for EVc G. Denote the geometric dimension for proper
action by gd G and gdVc G by gd G. We also say that a group admitting
a hierarchically cocompact model for EG is of type hF. Finally, we use
the notation hF8 for a group admitting a hierarchically finite type
model for EG.
In this paper we provide a method by which to construct hierarchically
cocompact (hierarchically finite-type) models for EG out of cocompact
(finite-type) models for EG, provided that commensurators of virtually
cyclic subgroups satisfy some further finiteness conditions. This enables
us to show that many classes of finitely presented groups that do not
satisfy the hypothesis of Conjecture 1.2, in particular are not of type
F0 , are still of type hF. Based on our observations of groups of type
hF, we ask the following question.
Question 1.3. Suppose a group G is of type hF. Are commensurators
of virtually cyclic subgroups of type F8 ?

CLASSIFYING SPACES FOR MAPPING CLASS GROUPS

3

The main result of the paper is the following.
Theorem 1.4. Let S be a compact connected orientable surface of
genus g, with a finite number of boundary components and punctures,
and with negative Euler characteristic. Then the mapping class group
ModpSq has a hierarchically cocompact model for EModpSq of dimension vcd ModpSq ` 1. Moreover, if S is closed and g ě 1, then
gd ModpSq “ cd ModpSq “ vcd ModpSq ` 1.
Since gd ModpSq “ vcd ModpSq (see [1]), we note that this answers a
question by Wolfgang Lück which asks for which countable groups G
the inequality
gd G ´ 1 ď gd G ď gd G ` 1
holds, see for example [15, Problem 9.51]. By Theorem 1.4, the above
inequality is always satisfied for the mapping class group of any compact connected orientable surface S with a finite number of boundary
components and punctures, and and χpSq ă 0.
Roughly stated, the hierarchically cocompact model for EModpSq can
be obtained by attaching certain fibred spaces to the Teichmüller space
of S. These are associated to the Weyl groups of the infinite cyclic subgroups H “ xf y ď ModpSq representing the set I of the complete
sub-conjugacy classes of infinite virtually cyclic subgroups of ModpSq.
These spaces fibre over products of a Euclidean space and a Teichmüller
space corresponding to the pseudo-Anosov and the trivial components
in the canonical reduction system of f P ModpSq respectively. Since the
attaching maps are equivariant, Teichmüller spaces could be replaced
by spines or the relevant minimal models for the local subgroups to obtain the desired hierarchically cocompact model of minimal dimension.
It is worth pointing out, that if one applies the above attaching construction to only a finite subset J Ă I, then the resulting space will be
a cocompact model for the classifying space of ModpSq for the family
of all virtually cyclic subgroups that are sub-conjugate to a subgroup
in J.
Finite dimensional models for EModpSq have been exhibited by Degrijse and the second author in [5] for closed surfaces S (the obtained
bound on dimension is 9g ´ 8) and later by Juan-Pineda and TrufiloNegrete in [13] for surfaces S that have negative Euler characteristic with possible punctures and boundary components (the obtained
bound is rModpSq : ModpSqrmsspvcd ModpSq`1q, m ě 3 where ModpSqrms
is the level m congruence subgroup). Apart from exhibiting models that

4

BRITA NUCINKIS AND NANSEN PETROSYAN

are mapping telescopes of cocompact models, our bounds substantially
improve on the bounds given there. In particular, for closed surfaces,
our bounds are optimal.
Furthermore, recently Bartels and Bestvina showed that mapping class
groups of oriented surfaces G of finite type satisfy the Farrell-Jones
conjecture [2]. For example, the assembly map, which is induced by
the G-map EG Ñ tptu,
–

Ñ Kn pZGq,
HnG pEG; KZ q Ý
is an isomorphism, where HnG p´; KZq is the Bredon homology theory
with the K-theory functor coefficients. In particular, since homology
commutes with colimits and when χpSq ă 0, G “ ModpSq is of type
hF, the left-hand side of the isomorphism is a colimit of, hopefully,
more computable homological terms. For a detailed introduction into
the Farrell-Jones conjecture the reader is referred to [15].
In the next section, we define what exactly is meant by a hierarchically
cocompact model for a classifying space, and give a recipe for constructing these models. We also exhibit some examples in Section 3. Since
we will need some results on Bredon cohomological dimensions later
when giving lower bounds for the dimensions of our models, we give a
brief introduction into Bredon cohomology in Section 4. Section 5 is
devoted to proving our main result, Theorem 1.4.
2. Constructing hierarchically cocompact models
The following construction, due to Lück and Weiermann [17], will play
a crucial role in what is to come:
Let F and G be families of subgroups of a given group G such that
F Ď G.
Definition 2.1. [17, (2.1)] A strong equivalence relation on G r F,
denoted „, is an equivalence relation on G r F satisfying:
‚ For H, K P G r F with H ď K we have H „ K.
‚ Let H, K P G r F and g P G, then H „ K ðñ gHg ´1 „
gKg ´1.
Denote by rG r Fs the equivalence classes of „ and define for all rHs P
rG r Fs the following subgroup of G:
NG rHs “ tg P G | rgHg ´1s “ rHsu.

CLASSIFYING SPACES FOR MAPPING CLASS GROUPS

5

Now define a family of subgroups of NG rHs by
FrHs “ tK ď NG rHs | K P G r F , rKs “ rHsu Y pF X NG rHsq,
where F X NG rHs is the family of subgroups of NG rHs that are in F.
Remark 2.2. A typical example of a pair of families that has a strong
equivalence relation is the finite and the virtually cyclic subgroups of
G. Here, the equivalence relation is the commensurability.
We need the following theorem of Lück and Weiermann.
Proposition 2.3. [17, Theorem 2.3] Let F Ď G be families with a
strong equivalence relation on G r F. Denote by I a complete set of
representatives of the conjugacy classes in rG r Fs. Then the G-CWcomplex given by the cellular G push-out
Ů

Ů

rHsPI

rHsPI

Ů

G ˆNG rHs EFXNG rHs NG rHs

i

/

EF G

idG ˆNG rH frHs


rHsPI G ˆNG rHs EFrHs NG rHs


/

X

where either i or the frHs are inclusions, is a model for EG G.
The condition on the two maps being inclusions is not a big restriction
as one can replace the spaces by the mapping cylinders, see [17, Remark
2.5].
We also need the following transitivity principle.
Proposition 2.4. [17, Proposition 5.1] Let F Ď G be families of subgroups of a group G. Assume that G admits a cocompact (finite type)
model XG for EG G and that every subgroup H P G admits a cocompact
(finite type) model XFXH pHq for EFXH H. Then G admits a cocompact
(finite type) model for EF G of dimension
dim XG ` suptdim XFXH pHq | H P Gu.
Theorem 2.5. Let F Ď G be families with a strong equivalence relation
on GrF. Suppose that for every H P GrF, NG rHs admits a cocompact
(finite type) model XFXH pNG rHsq for EFXH NG rHs. Further assume that
G admits a cocompact (finite type) model XF for EF G and that for
each H P G, there is a cocompact (finite type) model XFrHs pNG rHsq for
EFrHs NG rHs, then G admits a hierarchically cocompact (hierarchically
finite type) model for EG G of dimension
suptdim XF , dim XFXH pNG rHsq ` 1, dim XFrHs pNG rHsq | H P G r Fu.

6

BRITA NUCINKIS AND NANSEN PETROSYAN

Proof. Let S be a set of representatives of some finite number of conjugacy classes in rG r Fs and denote
p
FrSs
:“ tK ď G | K P G r F , Dg P G, H P S, rK g s “ rHsu Y F.

p
Consider the G-push-out of Proposition 2.3 replacing G by FrSs:

Ů

Ů

rHsPS

rHsPS

G ˆNG rHs XFXH pNG rHsq

i

XF
/

idG ˆNG rHs ιrHs

Ů



rHsPS G ˆNG rHs cylpfrHs q


/

X

where ιrHs is the natural inclusion, and frHs : XFXH pNG rHsq Ñ XFrHs pNG rHsq
is given by the universal property for classifying spaces for a family. X
is now a cocompact (finite type) model for EFrSs
G, as it is a G-push-out
p
of cocompact (finite type) complexes. The result now follows from the
Ť
p
fact that G “ SĎI,|S|ă8 FrSs
and the remark after Definition 1.1. 
p
We denote FrHs
:“ tK ď G | K P G r F , Dg P G, rK g s “ rHsu Y F and
p
p
note that FrHs
“ FrSs
exactly when S “ tHu. We end this section
with a useful lemma.
Lemma 2.6. Suppose F Ď G are families of subgroups of a group
G, and that for each H P G r F, G admits cocompact (finite type)
models for both EFrHs
G and EFXH H. Then G admits a hierarchically
p
cocompact (finite type) model for EG G.
Proof. For any two families F1 and F2 of subgroups of G, we have unique
maps (up to G-homotopy) EF1 XF2 G Ñ EF1 G and EF1 XF2 G Ñ EF2 G.
The double mapping cylinder X gives a model for EF1 YF2 G, and that
if EF1 XF2 G, EF1 G and EF2 G are cocompact (finite type), then so is X.
p 1 s, and F2 “ FrH
p 2 s. Then,
Now, let rH1s ‰ rH2 s P I and F1 “ FrH
p 1 sqrH2s “: FrH
p 1 , H2 s. By
obviously F1 X F2 “ F and F1 Y F2 “ pFrH
assumption there are cocompact (finite type) models for EF1 G and
EF2 G, and the transitivity result in Proposition 2.4 yields that there is
also a cocompact (finite type) model for EF1 XF2 G. The double mapping
cylinder X gives a cocompact (finite type) model for EF1 YF2 G.
p 1 , ..., Hi s :“ FrH
p 1 , ..., Hi´1 srHi s. Proceed by
For each i ą 2, let FrH
induction, to construct a cocompact (finite type) model for EFrH
p 1 ,...,His G
from cocompact (finite type) models for EFrH
p 1 ,...,Hi´1s G and EFrH
p i s G as
above.


CLASSIFYING SPACES FOR MAPPING CLASS GROUPS

7

3. Some examples
In the next examples, let F and Vc be the families of finite and virtually
cyclic subgroups of a given group G, respectively, equipped with the
commensurability relation on Vc r F (see Remark 2.2).
3.1. Thompson groups. In [18] the authors introduced a similar condition for the family of finite subgroups, quasi-F8 , which asks for a
group to have, for any k P Zą0 , finitely many conjugacy classes of finite subgroups of order k, and that normalisers of all finite subgroups
are of type F8 . [19, Theorem 4.9] shows that generalised Thompson
groups, which are automorphism groups of valid, bounded and complete Cantor-algebras are quasi-F8 and hence are hF8 .
3.2. Hyperbolic groups. Following [17], a group is said to satisfy
pNMFfin ĎVc q, if every virtually cyclic subgroup is contained in a unique
maximal virtually cyclic group V , such that NG pV q “ V. Then, by
[17, Corollary 2.11], the push-out in Proposition 2.3 reduces to
G ˆV EV

EG
/



G{V


/

X,

G, provided there is a cocomwhere X is a cocompact model for EFy
fin rV s
pact model for EG. Now, apply Lemma 2.6, to conclude that any group
satisfying pNMFfin ĎVc q that has a cocompact model for EG is of type
hF. In particular, hyperbolic groups satisfy pNMFfin ĎVc q [12, Remark
7], and hence are of type hF.
3.3. Polycyclic groups. Polycyclic groups are of type hF. This follows from [17, Lemma 5.15] - for every infinite virtually cyclic group V ,
there exists a cyclic subgroup C commensurate to V such that NG rCs “
NG pCq, and hence a model for EFrV s NG rV s is given by EpNG pCq{Cq
by pulling back the action. Now, since G is polycyclic, we have a cocompact EG and a cocompact EpNG pCq{Cq for every C. Now apply
Theorem 2.3.
3.4. Soluble Baumslag-Solitar groups. One can also show that the
soluble Baumslag-Solitar groups G “ BSp1, nq are of type hF. The
group G is torsion-free and admits a cocompact 2´dimensional model
for EG “ EG. Next, we show that for all cyclic subgroups H ď G, we

8

BRITA NUCINKIS AND NANSEN PETROSYAN

have a finite model XFrHs pNG rHsq for EFrHs NG rHs and apply Theorem
2.5. Recall,
BSp1, nq – Zr n1 s ¸ Z.
Any infinite cyclic subgroup H not contained in Zr n1 s, is equal to its
commensurator, see [8, Lemma 5], and hence NG rHs has a point as a
model for EFrHs NG rHs, and R is a cocompact model for EG. Infinite
cyclic subgroups of Zr n1 s, on the other hand, are all commensurate to
K “ x n1 y ď Zr n1 s. K has the entire G as its commensurator. Since
G is an HNN-extension with the vertex group K, the associated BassSerre tree is a cocompact model for EFrKs G. Applying Theorem 2.5, we
obtain that BSp1, nq is of type hF for all n ą 0.
Note that when n ą 1, the normaliser NG px n1 yq “ Zr n1 s is not even
finitely generated. However, in all examples in this note, the commensurators of virtually cyclic subgroups are of type F8 . It is not clear
whether this is just an artefact of our construction, and hence we ask,
see Question 1.3:
Question. Suppose a group G is of type hF. Are commensurators of
virtually cyclic subgroups of type F8 ?
4. Bredon cohomology
In this section we introduce all necessary facts and results regarding
Bredon cohomology needed later on to determine lower bounds for
dimensions of our classifying spaces. All results in this section are well
known; a good introduction to the subject can be found in [7].
Let F denote a family of subgroups of a given group G as before. We
consider the category OF G, which has as objects the transitive G-sets
with stabilisers in F. Morphisms in OF G are G-maps between those
G-sets. Modules over the orbit category, called OF G-modules are contravariant functors from the orbit category to the category of abelian
groups. Exactness is defined pointwise: a sequence
AÑBÑC
of OF G-modules is exact at B if and only if the sequence of abelian
groups
ApG{Kq Ñ BpG{Kq Ñ CpG{Kq
is exact at BpG{Kq for every G{K P OF G . The trivial OF G-module,
which is denoted Zp´q, is the constant functor Z from OF G to the
category of abelian groups.

CLASSIFYING SPACES FOR MAPPING CLASS GROUPS

9

The category OF G-Mod of OF G-modules has enough projectives. Hence
we can consider a projective resolution
P˚ p´q Ñ Zp´q Ñ 0
of the trivial module Zp´q. The Bredon cohomology functors H˚F pG, ´q
are defined as derived functors of HomF pZp´q, ´q. In particular, for
each N “ Np´q P OF G-Mod,
H˚F pG, Nq “ H˚ pmorpP˚ , Nqq.
We can now define cohomological dimensions in the Bredon-setting
with analogous properties to ordinary cohomology. Let n ě 0. We say
G has Bredon-cohomological dimension cdF G ď n if there is a projective resolution of Zp´q of length n. This is equivalent to HFn`1 pG, Nq “ 0
for all OF G-modules N.
Let X be a model for EF G. Then the cellular chain complex C˚ pXq
gives rise to a free resolution
C˚ pXqp´q Ñ Zp´q Ñ 0
by putting C˚ pXqpG{Kq “ C˚ pX K q for all K P OF G . In particular,
cdF G ď gdF G.
Furthermore, [14, Theorem 13.19], if cdF G ě 3, then gdF G “ cdF G.
As before, for F the family of finite groups, we write cd G and gd G,
and for F the family of virtually cyclic subgroups we write cd G and
gd G respectively. Note that for torsion-free groups, cd G “ cd G and
gd G “ gd G and Bredon-cohomology for the family of finite subgroups
becomes ordinary cohomology over the group ring ZG.
We will quite often make use of this simple observation. When G is virtually torsion-free, then cd G ě vcd G. So, if G admits a model for EG
of dimension vcd G, then it must necessary be of minimal dimension,
i.e. realising gd G.
5. Mapping class groups
In this section, we prove our main theorem and show that the mapping
class group of any compact orientable surface S with possibly finitely
many punctures and boundary components, and with negative Euler
characteristic χpSq is of type hF with a hierarchically cocompact model
of dimension vcd ModpSq ` 1. We recall some necessary background
on mapping class groups of surfaces and refer the reader to [6] and [11]
for further details.

10

BRITA NUCINKIS AND NANSEN PETROSYAN

Let S be a connected compact oriented surface with finitely many punctures and χpSq ă 0. The mapping class group of S, denoted by ModpSq,
is the group of isotopy classes of orientation preserving diffeomorphisms
of S pointwise fixing the boundary BS
ModpSq “ Diff` pS, BSq{Diff0 pS, BSq,
where Diff0 pS, BSq is the subgroup of Diff` pS, BSq consisting of elements
that are isotopic to the identity.
Any diffeomorphism of S induces an automorphism of H1 pS, Z{mZq for
m ě 2. This gives a well-defined homomorphism
ModpSq Ñ AutpH1 pS, Z{mZqq
where the kernel is denoted by ModpSqrms and it is called the level m
congruence subgroup of ModpSq.
Suppose now that S has no boundary. Let tα1 , . . . , αn u be a collection of pairwise disjoint, homotopically distinct essential simple closed
curves in S. Denote by σ “ trα1 s, . . . , rαn su the corresponding isotopy
classes.
Inclusion homomorphism. ([6, Thm. 3.18]). Let Nσ be an open regular neighbourhood of Ynj“1αj in S. Denote Sσ “ S r Nσ and set Sσ “
Yki“1 Si where each Si is a connected subsurface. Let tβ1 , γ1 u, . . . , tβk , γk u
denote the pairs of boundary components of Sσ that bound the annuli
in Nσ . The inclusion Sσ ãÑ S induces a homomorphism
ησ : ModpSσ q “

k
ź

ModpSi q Ñ ModpSq

i“1

with kernel xTβ1 Tγ´1
, . . . , Tβk Tγ´1
y. The restriction ηi :“ ησ |ModpSi q is
1
k
the map induced by the inclusion Si ãÑ S.
Capping homomorphism. ([6, Prop. 3.19]) Let Spσ be the surface obtained from Sσ by capping the boundary components with once-punctured
disks and write Spσ “ Yki“1 Spi . The inclusion Sσ ãÑ Spσ induces a homomorphism
θσ : ModpSσ q ։

k
ź
i“1

ModpSpi , Ωi q Ď ModpSpσ q

with kernel xTβ1 , Tγ1 , . . . , Tβk , Tγk y. Here Ωi denotes the set of punctures
coming from the boundary components of Si . The image of the restriction θi :“ θσ |ModpSi q , denoted ModpSpi , Ωi q, is the subgroup of ModpSpi q
consisting of all the elements that fix Ωi pointwise. ModpSpi , Ωi q contains the pure mapping class group and hence is finite index in ModpSpi q.

CLASSIFYING SPACES FOR MAPPING CLASS GROUPS

11

Cutting homomorphism. ([6, Prop. 3.20]) Define ModpSqσ “ tg P ModpSq | gpσq “
σu. There is a well-defined homomorphism
ρσ : ModpSqσ Ñ ModpS r Ynj“1αj q “ ModpSpσ q

with free abelian kernel xTα1 , . . . , Tαn y generated by the Dehn twists
about the curves α1 , . . . , αn . Let ModpSq0σ be the finite index subgroup
of ModpSqσ consisting of all the elements that fix each curve αi with
orientation. Denote the restriction ρσ,0 “ ρσ |ModpSq0σ . Then θσ “ ρσ,0 ˝ησ
(see the diagram on page 91 of [6]).
The canonical form. ([6, Cor. 13.3]) Let f P ModpSq and let σ “ σpf q be
its canonical reduction system (see [6, §13.2.2]). Let Sk`1 , . . . , Sk`n be
the pairwise disjoint annuli that are the closed neighbourhoods of the
curves α1 , . . . , αn representing σ. Then there is a representative φ of f
that permutes the Sl , so that some power of φ leaves invariant each Sl ,
1 ď l ď n ` k. By applying Nielsen-Thurston Classification Theorem
to each Sl , one obtains that there exists p ą 0 so that φp pSl q “ Sl for
all 1 ď l ď n ` k and
(5.1)

p

f “

k
ź
i“1

ηi pfi q

n
ź

Tαnjj

j“1

where each fi P ModpSi q is either pseudo-Anosov or the identity and
nj P N for 1 ď i ď k, 1 ď j ď n.
Remark 5.1. By a result of Ivanov [11, Corollary 1.8], if f P ModpSqrms,
m ě 3, then the integer p in (5.1) can always be taken to be one.
Remark 5.2 ([13, 3.10]). By Theorem 1.2 in [11], ModpSqrmsσ Ď ModpSq0σ .
Since θσ “ ρσ,0 ˝ ησ , it follows that θi pfi q “ fˆi for 1 ď i ď k.
For simplicity, we will often denote G “ ModpSq. Let F and Vc the families of finite and virtually cyclic subgroups of G, respectively, equipped
with the commensurabilty relation on Vc r F (see Remark 2.2). The
Teichmüller space T pSq is a CAT(0)-space on which G acts properly
and cocompactly. So, it gives a cocompact model for EG. [1, Corollary
1.3] of Aramayona and Martı́nez-Pérez states that there is a cocompact
model for EG of minimal dimension gd G “ vcd G. We need the following minor generalisation of this result.
Proposition 5.3. Let S be a compact (possibly disconnected) surface
with possible punctures and boundary components. Then there is a
cocompact model for EModpSq of dimension gd ModpSq “ vcd ModpSq.

12

BRITA NUCINKIS AND NANSEN PETROSYAN

Proof. In [1], this has been proven for connected S. Suppose S decomposes into the disjoint union of diffeomorphic copies of its connected
components
S “ \m1 S1 ¨ ¨ ¨ \mq Sq .
ś
Subsequently, this implies that ModpSq Ď qi“1 ModpSi q ≀ Σmi and is of
finite index. Combining [10, Theorem 4.1] and the extension theorem
for duality groups in [4, Thm. 3.5], gives us that
vcd ModpSq “

q
ÿ

mi ¨ vcd ModpSi q.

i“1

The next lemma shows that there exists a cocompact model for EModpSq
of dimension vcd ModpSq. Since vcd ModpSq ď gd ModpSq, the result
follows.

Lemma 5.4. Let K be a group. Suppose K has a cocompact model X
for EK. Then the wreath product W “ K ≀ Σm has a cocompact model
for EW of dimension m ¨ dim X.
Proof. The wreath product W acts on Y “ X ˆ ¨ ¨ ¨ ˆ X which consists
of m-copies of X with a diagonal action of K m and a permutation
action of Σm . Note that W acts cocompactly on Y and it is a model
for EW of dimension m ¨ dim X.

To establish Theorem 1.4, it remains to show, see Theorem 2.5, that for
each infinite cyclic subgroup H Ď G, there are cocompact models for
EFXNG rHs NG rHs and EFrHs NG rHs where NG rHs is the commensurator
of H in G of the required dimensions.
Proposition 5.5 ([13, Prop. 4.8]). Let S be an orientable closed surface
with finitely many punctures and χpSq ă 0. Suppose f P G generates
an infinite cyclic subgroup H. Then for any integer l ą 0 such that
f l P ModpSqrms, m ě 3, NG rHs “ NG pf l q holds.
We need the following slight generalisation of [13, Proposition 4.12] of
Juan-Pineda and Trufilo-Negrete.
Proposition 5.6. Suppose S is an orientable closed surface with finitely
many punctures and χpSq ă 0. Let f P ModpSqrms, m ě 3, with the
canonical reduction system σ with fˆa`1 , . . . , fˆk pseudo-Anosov and
´

k
¯ ź
ˆ
ˆ
ρσ pf q :“ id1 , . . . , ida , fa`1 , . . . , fk P
ModpSpi , Ωi q,
i“1

CLASSIFYING SPACES FOR MAPPING CLASS GROUPS

13

then there is a central extension
(5.2)

ρσ

1 Ñ Zn Ñ CModpSq pf q0 ÝÑ

a
ź
i“1

ModpSpi , Ωi q

k
ź

Vj Ñ 1.

j“a`1

where Vj “ CModpSpj ,Ωj q pfˆj q is virtually cyclic for each a ` 1 ď j ď k.
Also,
ρσ

1 Ñ Zn Ñ NModpSq pf qÝÑQ Ñ 1,

(5.3)

ˆ
ˆ
such that Q Ď Modp\ai“1 Spi qˆA, where A Ď NModp\k
p ppfa`1 , . . . , fk qq
j“a`1 Sk q
śk
is a finite extension of j“a`1 Vj .
Proof. The extension (5.2) has already been established in [13, Proposition 4.12]. The kernel is generated by the Dehn twists about the curves
α1 , . . . , αn which are fixed by CModpSq pf q0 , and hence is central.
By Lemma 3.8 of [13], for every g P NModpSq pf q, we have gpσq “ σ.
Therefore, NModpSq pf q Ď ModpSqσ . Let Q “ ρσ pNModpSq pf qq. Note
ś
ś
that Q is a finite extension of ai“1 ModpSpi , Ωi q kj“a`1 Vj and it is
contained in NModpSpσ q pρσ pf qq. So, to obtain (5.3), it suffices to show
that any g P ModpSpσ q that normalises ρσ pf q is contained in the subgroup Modp\a Spi q ˆ Modp\k
Spk q of ModpSpσ q.
i“1

j“a`1

Suppose this is not the case, and say g maps Sp1 diffeomorphically onto
Spk . Then for any x P Sp1 , we have ρσ pf qgpxq “ gρσ pf q˘1 pxq “ gpxq.
This shows that fpk is the identity on Spk which is a contradiction. 

Lemma 5.7. Let 1 Ñ Zn Ñ G Ñ Q Ñ 1 be an extension of groups
where Q is finitely generated with vcd Q “ k ă 8. Then vcd G “ n ` k.
Proof. We can assume Q is torsion-free. Now we apply a result of
Fel’dman, see [3, Theorem 5.5]

We will quite often make use of the following corollary.
Corollary 5.8. Let 1 Ñ Zn Ñ G Ñ Q Ñ 1 be an extension of groups
where Q has a cocompact model for EQ of dimension vcd Q “ k ă 8.
Then G has a cocompact model for EG of dimension gd G “ vcd G “
n ` k.
Proof. Let F be the family of finite subgroup of G and G be the family
of the preimages of all the finite subgroups of Q under the projection
of G onto Q. Applying Proposition 2.4 together with the general fact
that finitely generated virtually free abelian groups of rank m have
the Euclidean space of dimension m as a cocompact model for proper

14

BRITA NUCINKIS AND NANSEN PETROSYAN

actions, we obtain that G has a cocompact model for EG of dimension
n ` k. Lemma 5.7 finishes the claim.

The next proposition concerns surfaces with boundary. Suppose S has
b ‰ 0 boundary components β1 , . . . , βb . Note that the capping homop Ωq Ď ModpSq
p where Ω is the set of
morphism θS : ModpSq Ñ ModpS,
punctures of Sp that come from capping the boundary components.

Proposition 5.9. Let S be a compact orientable surface with nonempty
boundary, finitely many punctures and χpSq ă 0. Suppose f P ModpSq
generates an infinite cyclic subgroup H. Then there exists l P N such
that f l P ModpSqrms, m ě 3, with NModpSq rHs “ NModpSq pf l q and
(5.4)

θ

S
1 Ñ Zb Ñ NModpSq pf l q ÝÑ
NModpS,Ωq
pθS pf l qq Ñ 1,
p

where Zb “ xTβ1 , . . . , Tβb y and θS pf l q is either trivial or of infinite order.
Proof. By replacing f with a sufficiently large power, we can assume
that l “ 1 and f P ModpSqrms, m ě 3 with θS pf q either trivial or of
infinite order. Restricting the capping homomorphism to NModpSq rHs
we have
θ

S
1 Ñ Zb Ñ NModpSq rHs ÝÑ
Q Ñ 1,

p Ωq. Note that if θS pf q is trivial, then NModpSq rHs “
where Q Ď ModpS,
p Ωq as desired. Otherwise,
NModpSq pHq “ ModpSq and Q “ ModpS,
xθS pf qy is infinite cyclic and Q Ď NModpS,Ωq
rxθS pf qys “ NModpS,Ωq
pθS pf qq
p
p
by Proposition 5.5 applied to Sp (replacing f with a sufficiently large
power if necessary). Since NModpS,Ωq
pθS pf qq Ď Q (see for example
p
[13, eq. (25)]), we deduce Q “ NModpS,Ωq
pθS pf qq. Hence, NModpSq rHs “
p
NModpSq pf q.


Proposition 5.10. Let G “ ModpSq where S is a compact orientable
surface S with χpSq ă 0 possibly with finitely many punctures and
boundary components. Denote by F the family of finite subgroups of G.
Let H be an infinite cyclic subgroup of G. Then the commensurator
NG rHs has cocompact models for EFXNG rHs NG rHs and EFrHs NG rHs of
dimensions vcd NG rHs and vcd NG rHs ´ 1, respectively.
Proof. By Propositions 5.5 and 5.9, we can assume NG rHs “ NG pHq
where H “ xf y and f P ModpSqrms, m ě 3.
Suppose first that the boundary of S is empty. By the Nielsen-Thurston
Classification Theorem, f is either pseudo-Anosov or reducible.

CLASSIFYING SPACES FOR MAPPING CLASS GROUPS

15

If f is pseudo-Anosov, then by [20, Theorem 1], NG pf q is virtually
cyclic. So, a Euclidean line and a point are (cocompact) models for
EFXNG pf q NG pf q and EFrHs NG pf q, respectively.
If f is reducible, say with the canonical reduction system σ, then NG pf q
satisfies (5.3) of Proposition 5.6:
ρσ

1 Ñ Zn Ñ NG pf qÝÑQ Ñ 1,
such that Q is a finite index subgroup of
P :“ Modp\a Spi q ˆ A
i“1

ˆ
ˆ
where A Ď NModp\k
p ppfa`1 , . . . , fk qq is virtually free abelian. Let
j“a`1 Sk q
L :“ Modp\ai“1 Spi q. To show that NG pf q has a cocompact model for
EFXNG pf q NG pf q of dimension vcd NG pf q, by Corollary 5.8, it suffices to
show that Q has a cocompact model for EQ of dimension vcd Q.

Since Q is a finite index subgroup in P , it is enough to show that P
has cocompact models for EP of dimension vcd P “ vcd Q. Since A
is virtually free abelian, applying Lemma 5.7, we obtain that vcd P “
vcd L ` vcd A. By Proposition 5.3, there is a cocompact model XL
for EL of dimension vcd L. Since A is finitely generated virtually free
abelian, there is a cocompact model XA for EA of dimension vcd A.
Then XL ˆ XA is a cocompact model for the classifying space EP of
dimension vcd P as desired.
To establish the second claim, observe that under the natural projection
of NG pHq onto WG pHq “ NG pHq{H, a classifying space EWG pHq becomes a model for a classifying space of NG pHq for EFrHs NG pHq. Hence
its suffices to show that there is a cocompact model for EWG pHq of
dimension at most vcd NG pHq ´ 1.
By Proposition 5.5, we only need to consider two case: ρσ pf q is the
identity or it has infinite order. First, suppose ρσ pf q is the identity, that
is H ď Zn . By Corollary 4.9 of [13], we can assume that Zn {H – Zn´1 .
Then
(5.5)

ρ

σ
1 Ñ Zn´1 Ñ WG pf qÝÑQ
Ñ 1,

Again, using Corollary 5.8, there is a cocompact model of dimension
n ´ 1 ` vcd Q “ vcd NG pf q ´ 1.
Now, suppose ρσ pf q has infinite order. Then
ρ

σ
Ñ 1,
1 Ñ Zn Ñ WG pf qÝÑQ{Z

where ρσ pf q generates Z ď Q. By Corollary 5.8, it suffices to show
then that Q{Z has a cocompact model for EpQ{Zq of dimension at

16

BRITA NUCINKIS AND NANSEN PETROSYAN

most vcd Q. Note that, from (5.3), it follows that Z is normal in P .
Therefore, it remains to show that P {Z has a cocompact model for
EpP {Zq of dimension vcd P . But P {Z – L ˆ pA{Zq and a similar
argument as above gives a cocompact model XL ˆ XA{Z for EpP {Zq of
dimension vcd P ´ 1.
Suppose S has nonempty boundary. The proof easily reduces to the case
of empty boundary. By (5.4) of Proposition 5.9, we have the central
extension
(5.6)

θ

S
1 Ñ Zb Ñ NModpSq pHq ÝÑ
NModpS,Ωq
pθS pf qq Ñ 1.
p

When θS pf q has infinite order, then the quotient of (5.6) by H, gives
(5.7)

1 Ñ Zb Ñ WModpSq pHq Ñ WModpS,Ωq
pθS pf qq Ñ 1.
p

In case θS pf q is trivial, note that NModpSq pHq “ ModpSq. Replacing
H “ xf y with a commensurable subgroup if necessary, we can assume
that f P Zb such that Zb {H – Zb´1 . Thus, we obtain
(5.8)
(5.9)

θ

S
p Ωq Ñ 1,
1 Ñ Zb Ñ NModpSq pHq ÝÑ
ModpS,

p Ωq Ñ 1.
1 Ñ Zb´1 Ñ WModpSq pHq Ñ ModpS,

From the empty boundary case of the proposition applied to Sp and
Corollary 5.8 applied to (5.6), (5.7), (5.8), and (5.9), we obtain the
desired result.

We need the following complete computation of the virtual cohomological dimension of ModpSq for surfaces with negative Euler characteristic
by Harer.
r
Theorem 5.11 ([10, Thm. 4.1]). Let S “ Sg,b
be an oriented surface
of genus g, b boundary components and r punctures and recall χpSq “
2 ´ 2g ´ b ´ r. If χpSq ă 0, then
$
& 4g ` 2b ` r ´ 4 g ą 0, r ` b ą 0
vcd ModpSq “
4g ´ 5
r`b“0
%
2b ` r ´ 3
g “ 0.

We are now ready to prove our main theorem.
Proof of Theorem 1.4. Set G “ ModpSq and let F and Vc be the families of finite and virtually cyclic subgroups of G, respectively, equipped
with the commensurabilty relation on Vc r F. By [1, Cor. 1.3], there
is a cocompact model for EG of minimal dimension gd G “ vcd G.
By Proposition 5.10, for each infinite cyclic subgroup H ď G, there

CLASSIFYING SPACES FOR MAPPING CLASS GROUPS

17

are cocompact models for both EFXNG rHs NG rHs and EFrHs NG rHs of
dimension vcd G.
Applying Theorem 2.5, we obtain a hierarchically cocompact model for
EG of dimension vcd G ` 1.
To prove the second part of the theorem, assume we have a closed
surface S. If g “ 1, then ModpSq – SLp2, Zq. So, by [5, Lemma 5.2],
cdpModpSqq ě 2. Combining this with [12, Proposition 9] shows that
gd ModpSq “ cd ModpSq “ 2.
Now, suppose that S is closed and g ě 2. Then vcd ModpSq “ 4g ´ 5.
Let σ “ trαs, rβsu where α and β are essential curves that separate S
into a pair of pants and a surface of genus g ´ 1 (see Figure 1). We will
show that cd ModpSq0σ “ 4g´4. This will imply that cd ModpSq ě 4g´
4 and by the first part of the theorem, we will obtain that gd ModpSq “
cd ModpSq “ 4g ´ 4.
Using the cutting homomorphism, there is a short exact sequence
ρσ

3
1
q ˆ ModpSg´1,0
q Ñ 1,
1 Ñ Z2 Ñ ModpSq0σ ÝÑModpS0,0

where Kerpρσ q “ xTα , Tβ y. By Lemma 5.7,
0
1
vcd ModpSσ q0 “ 2 ` vcd ModpS3,0
q ` vcd ModpSg´1,0
q

“ 2 ` 0 ` 4pg ´ 1q ` 1 ´ 4
“ 4g ´ 5.
By Proposition 5.3, it follows that there is a cocompact model of for
EModpSσ q0 of dimension vcd ModpSσ q0 “ 4g ´ 5 which is therefore the
same as gd ModpSσ q0 .
Set C “ ModpSσ q0 XModpSqr3s, where ModpSqr3s is the level 3 congruence subgroup of ModpSq which is torsion-free [6, Theorem 6.9]. Hence
C is a finite index torsion-free subgroup of ModpSσ q0 . Let F and Vc
be the families of finite (in this case trivial) and virtually cyclic subgroups of C, respectively, equipped with the commensurabilty relation
on Vc r F. Define
M : OVc C Ñ Z - mod : C{H Ñ pZCqH .
The long exact cohomology sequence associated to the push-out of
Proposition 2.3 gives us
ź p4g´5q
ź
i˚
Ñ
H p4g´5q pNC rHs, ZCq
HFrHs pNC rHs, Mq‘H p4g´5q pC, ZCq Ý
rHsPI

rHsPI

p4g´4q

Ñ HVc

pC, Mq.

18

BRITA NUCINKIS AND NANSEN PETROSYAN

By Proposition 5.10, this reduces to
ź
i˚
p4g´4q
H p4g´5q pC, ZCq Ý
Ñ
H p4g´5q pNC rHs, ZCq Ñ HVc pC, Mq.
rHsPI

Since C is of type F , note that H p4g´5q pC, ZCq ‰ 0. Consider the
infinite cyclic subgroups H1 “ xTα Tβ y and H2 “ xTα2 Tβ y. Since every
element of C fixes the curves α and β, it must commute with both
H1 and H2 . Thus, NC rH1 s “ NC rH2 s “ C and H1 , H2 represent
distinct classes in I. The composition of i˚ with the projection of
ś
p4g´5q
pNC rHs, ZCq onto the two factors corresponding to these
rHsPI H
subgroups is the diagonal map
∆ : H p4g´5q pC, ZCq Ñ H p4g´5q pC, ZCq ‘ H p4g´5q pC, ZCq
which is not surjective. Therefore, i˚ cannot be surjective and we obtain
p4g´4q
that HVc pC, Mq ‰ 0.


β
α

Figure 1. The closed surface S of genus g ě 2 and the
essential curves α, β separating it into a pair of pants
and a surface of genus g ´ 1.
References
[1] J. Aramayona and C. Martı́nez-Pérez, The proper geometric dimension of the
mapping class group, Algebr. Geom. Topol. 14 (2014), no. 1, 217–227, DOI
10.2140/agt.2014.14.217.
[2] B. Bartels and B. Bestvina, The Farrell-Jones Conjecture for mapping class
groups (2016). Preprint arXiv:1606.02844.
[3] Robert Bieri, Homological dimension of discrete groups, Second, Queen Mary
College Mathematical Notes, Queen Mary College, Department of Pure Mathematics, London, 1981.
[4] R. Bieri and B. Eckmann, Groups with homological duality generalizing
Poincaré duality, Invent. Math. 20 (1973), 103–124, DOI 10.1007/BF01404060.
[5] D. Degrijse and N. Petrosyan, Bredon cohomological dimensions for groups
acting on CATp0q-spaces, Groups Geom. Dyn. 9 (2015), no. 4, 1231–1265.

CLASSIFYING SPACES FOR MAPPING CLASS GROUPS

19

[6] B. Farb and D. Margalit, A primer on mapping class groups, Princeton Mathematical Series, vol. 49, Princeton University Press, Princeton, NJ, 2012.
[7] M. Fluch, On Bredon (Co-)Homological Dimensions of Groups (2010). Ph.D
thesis,arXiv:1009.4633.
[8] Martin Fluch, Classifying spaces with virtually cyclic stabilisers for certain
infinite cyclic extensions, J. Pure Appl. Algebra 215 (2011), no. 10, 2423–2430.
[9] J. R. J. Groves and John S. Wilson, Soluble groups with a finiteness condition
arising from Bredon cohomology, Bull. Lond. Math. Soc. 45 (2013), no. 1, 89–
92.
[10] J. L. Harer, The virtual cohomological dimension of the mapping class group
of an orientable surface, Invent. Math. 84 (1986), no. 1, 157–176, DOI
10.1007/BF01388737.
[11] N. V. Ivanov, Subgroups of Teichmüller modular groups, Translations of Mathematical Monographs, vol. 115, American Mathematical Society, Providence,
RI, 1992. Translated from the Russian by E. J. F. Primrose and revised by the
author.
[12] D. Juan-Pineda and I. J. Leary, On classifying spaces for the family of virtually
cyclic subgroups, Recent developments in algebraic topology, 2006, pp. 135–145.
MR2248975 (2007d:19001)
[13] D. Juan-Pineda and A. Trufilo-Negrete, On classifying spaces for the family of virtually cyclic subgroups in mapping class groups (2016). Preprint
arXiv:1606.00306.
[14] Wolfgang Lück, Transformation groups and algebraic K-theory, Lecture Notes
in Mathematics, vol. 1408, Springer-Verlag, Berlin, 1989. Mathematica Gottingensis.
[15] W. Lück, Isomorphism Conjectures in K- and L-Theory, 2015. book, in preparation, http://131.220.77.52/lueck/data/ic.pdf.
[16] W. Lück and D. Meintrup, On the universal space for group actions with
compact isotropy, Geometry and topology: Aarhus (1998), 2000, pp. 293–305.
MR1778113 (2001e:55023)
[17] W. Lück and M. Weiermann, On the classifying space of the family of virtually
cyclic subgroups, Pure App. Math. Q. 8 (2012), no. 2, 479–555.
[18] C. Martinez-Pérez and B.E.A. Nucinkis, Bredon cohomological finiteness conditions for generalisations of Thompson groups, Groups, Geometry, Dynamics
7 (2013), 931–959.
[19] Conchita Martı́nez-Pérez, Francesco Matucci, and Brita E. A. Nucinkis, Cohomological finiteness conditions and centralisers in generalisations of Thompson’s group V , Forum Math. 28 (2016), no. 5, 909–921.
[20] J. D. McCarthy, Subgroups of surface mapping class groups, ProQuest LLC,
Ann Arbor, MI, 1983. Thesis (Ph.D.)–Columbia University.
[21] Derek J. S. Robinson, A course in the theory of groups, Second, Graduate
Texts in Mathematics, vol. 80, Springer-Verlag, New York, 1996.
[22] T. von Puttkamer and X. Wu, On the finiteness of the classifying space for the
family of virtually cyclic subgroups (2016). preprint,arXiv:1607.03790.
, Linear Groups, Conjugacy Growth, and Classifying Spaces for Fam[23]
ilies of Subgroups, International Mathematics Research Notices, to appear
(2017). arXiv:1704.05304.

20

BRITA NUCINKIS AND NANSEN PETROSYAN

Department of Mathematics, Royal holloway, University of London,
Egham, TW20 0EX, UNITED KINGDOM
E-mail address: brita.nucinkis@rhul.ac.uk
School of Mathematics, University of Southampton, Southampton,
SO17 1BJ, UNITED KINGDOM
E-mail address: N.Petrosyan@soton.ac.uk

