ON INFINITELY GENERATED HOMOLOGY OF TORELLI GROUPS

arXiv:1803.09311v1 [] 25 Mar 2018

ALEXANDER A. GAIFULLIN
Abstract. Let Ig be the Torelli group of an oriented closed surface Sg of genus g, that
is, the kernel of the action of the mapping class group on the first integral homology
group of Sg . We prove that the kth integral homology group of Ig contains a free
Abelian subgroup of infinite rank, provided that g ≥ 3 and 2g − 3 ≤ k ≤ 3g − 6. Earlier
the same property was known only for k = 3g − 5 (Bestvina, Bux, Margalit, 2007)
and in the special case g = k = 3 (Johnson, Millson, 1992). Moreover, we show that
the group H2g−3 (Ig ; Z) contains a free Abelian subgroup of infinite rank generated by
Abelian cycles and we construct explicitly an infinite system of Abelian cycles generating
such subgroup. As a consequence, we obtain that an Eilenberg–MacLane CW-complex
of type K(Ig , 1) cannot have a finite (2g − 3)-skeleton. The proofs are based on the
study of the Cartan–Leray spectral sequence for the action of Ig on the complex of
cycles constructed by Bestvina, Bux, and Margalit.

1. Introduction
Let Sg be an oriented closed surface of genus g. Recall that the mapping class group
of Sg is the group
Mod(Sg ) = π0 Homeo+ (Sg ),
where Homeo+ (Sg ) is the group of orientation preserving homeomorphisms of Sg on itself.
The action of the mapping class group on the first integral homology group of Sg preserves
the intersection form and yields the surjective homomorphism
Mod(Sg ) → Sp(2g, Z).
The kernel of this homomorphism is called the Torelli group of Sg and is denoted by Ig .
It is a classical result that Mod(S1 ) = SL(2, Z), and so I1 is trivial, cf. [5, Theorem 2.5].
Mess [12] proved that I2 is an infinitely generated free group. (The fact that I2 is not
finitely generated was earlier proved by McCullough and Miller [11].) Johnson [8] showed
that for g ≥ 3, the group Ig is finitely generated, and described explicitly a finite set
of generators. Nevertheless, the structure of the Torelli groups Ig , where g ≥ 3, is still
rather poorly understood.
An interesting and important problem is to study the homology of the Torelli groups Ig ,
g ≥ 3. For the sake of simplicity, we denote the homology groups Hk (G; Z) with integral
coefficients simply by Hk (G). The group H1 (Ig ), i. e., the Abelianization of Ig was
computed by Johnson [9]. He showed that
2g
2g
H (I ) ∼
= Z( 3 )−2g ⊕ (Z/2Z)( 2 )+2g
1

g

and described explicitly the structure of an Sp(2g, Z)-module on this group. For k ≥ 2,
the problem of explicit computation of Hk (Ig ) seems to be extremely hard. So the
reasonable questions are:
2010 Mathematics Subject Classification. 20F34 (Primary); 57M07, 20J05 (Secondary).
Key words and phrases. Torelli group, homology of groups, complex of cycles, Abelian cycles, Cartan–
Leray spectral sequence.
The work is supported by a grant of the President of the Russian Federation (grant MD-2907.2017.1)
and by the Russian Foundation for Basic Research (grant 18-51-50005).
1

• Which groups Hk (Ig ) are trivial and which are not?
• Which groups Hk (Ig ) are finitely generated and which are not?
One of the first results towards the latter question was obtained by Akita [1] who showed
that for g ≥ 7, the total rational homology group
M
H∗ (Ig ; Q) =
Hk (Ig ; Q)
k≥0

is an infinitely-dimensional vector space. For g = 3, it is known that either of the
groups H3 (I3 ) and H4 (I3 ) contains a free Abelian subgroup of infinite rank, see [12]
and [6], respectively.
In 2007 Bestvina, Bux, and Margalit [2] developed a new method for studying the
homology of the Torelli groups based on the Cartan–Leray spectral sequence for the action of Ig on a special contractible cell complex Bg called the complex of cycles. They
proved that the cohomological dimension of Ig is equal to 3g − 5 and the top-dimensional
homology group H3g−5 (Ig ) is not finitely generated. (Recall that the cohomological dimension cd(G) of a group G is the largest integer n for which there exists a G-module M
such that H n (G; M) 6= 0.) Moreover, the proof in [2] actually yields that H3g−5 (Ig ) contains a free Abelian subgroup of infinite rank, see Remark 2.5 below. Until now, for no
intermediate dimension 1 < k < 3g − 5, it has been known whether the group Hk (Ig ) is
finitely generated or not, except for the above mentioned case k = g = 3 due to Mess.
The main result of the present paper is as follows.
Theorem 1.1. Suppose that g ≥ 3 and 2g − 3 ≤ k ≤ 3g − 6. Then the group Hk (Ig )
is not finitely generated. Moreover, Hk (Ig ) contains a free Abelian subgroup of infinite
rank.
Recall the definition of an Abelian cycle. Let h1 , . . . , hk be pairwise commuting elements
of a group G. Consider the homomorphism χ : Zk → G that sends the generator of the
ith factor Z to hi for every i. We denote by A(h1 , . . . , hk ) the image of the standard
generator µk of the group Hk (Zk ) ∼
= Z under the homomorphism χ∗ : Hk (Zk ) → Hk (G).
Homology classes A(h1 , . . . , hk ) are called Abelian cycles.
Vautaw [14] proved that the Torelli group Ig does not contain a free Abelian subgroup of
rank greater than 2g −3. Since Ig is torsion-free, this result implies that the group Hk (Ig )
contains no non-trivial Abelian cycles, provided that k > 2g − 3. For k = 2g − 3, we can
refine Theorem 1.1 in the following way.
Theorem 1.2. Suppose that g ≥ 3. Then the group H2g−3 (Ig ) contains a free Abelian
subgroup of infinite rank whose generators are Abelian cycles.
Remark 1.3. For g = 3, Theorem 1.1 exactly recovers the already mentioned result by
Johnson and Millson (unpublished, see [12]) that H3 (I3 ) contains a free Abelian subgroup
of infinite rank. Nevertheless, Theorem 1.2 seems to be a new result even for genus 3. For
each pair (g, k) such that g ≥ 4 and any 2g −3 ≤ k ≤ 3g −6, the assertion of Theorem 1.1
is a new result.
Remark 1.4. Our proof of Theorem 1.2 is constructive, which means that we shall
construct explicitly an infinite set of linearly independent Abelian cycles in H2g−3 (Ig ).
(Recall that elements of an Abelian group are linearly independent if they form a basis for
a free Abelian subgroup of this group.) Notice also that this construction does not use the
result of Bestvina, Bux, and Margalit [2] claiming that the group H3g−5 (Ig ) is infinitely
generated. On the contrary, our construction of an infinite set of linearly independent
homology classes in Hk (Ig ), where 2g − 3 < k < 3g − 5, is in a sense a mixture of our
2

construction of an infinite set of linearly independent Abelian cycles in H2g−3 (Ig ) and the
Bestvina–Bux–Margalit description of an infinite set of linearly independent homology
classes in H3g−5 (Ig ). It is a debatable question whether the latter description can be
regarded as an explicit construction. Our proof of Theorem 1.1 is constructive modulo
this description.
The proofs of Theorems 1.1 and 1.2 are based on a more delicate study of the Cartan–
∗
Leray spectral sequence E∗,∗
for the action of Ig on the contractible complex of cycles Bg
constructed by Bestvina, Bux, and Margalit [2]. Recall that this spectral sequence converges to the homology of Ig , see Section 3.2 for details.
Remark 1.5. Bestvina, Bux, and Margalit asked explicitly whether the groups Hk (Ig )
are infinitely generated whenever 2g − 3 ≤ k ≤ 3g − 6 (cf. Question 8.1 in [2]), and
suggested a possible approach towards obtaining the affirmative answer to this question.
Though our main result (Theorem 1.1) is exactly the answer to this question, our proof
does not follow the approach suggested in [2]. Namely, Bestvina, Bux, and Margalit
1
showed that the term E0,k
of the Cartan–Leray spectral sequence for the action of Ig
on Bg is infinitely generated, provided that 2g − 3 ≤ k ≤ 3g − 6, and concluded that
if one could prove that this group remains infinitely generated after taking consecutive
quotients by the images of the differentials d1 , . . . , dk+1, then he would obtain that Hk (Ig )
k+2
∞
= E0,k
is infinitely generated, since E0,k
injects into Hk (Ig ). This plan seems to be very
hard to realize because it requires computation of higher differentials of the spectral
∞
sequence. Instead, we show that every group En,3g−5−2n
, where 1 ≤ n ≤ g − 2, contains
a free Abelian subgroup of infinite rank. This also implies that Hk (Ig ) contains a free
∞
Abelian subgroup of infinite rank for 2g − 3 ≤ k ≤ 3g − 6, since the groups Ep,k−p
,
p = 0, . . . , k, are consecutive quotients for certain filtration in Hk (Ig ). The crucial point
in our approach is that we avoid explicit computation of higher differentials by mapping
∗
∗
b∗,∗
(N)
to certain auxiliary spectral sequences E
the Cartan–Leray spectral sequence E∗,∗
in which the corresponding differentials are trivial by dimension reasons.
Kirbi’s list of problems in low-dimensional topology [10] contains the following Problem 2.9(B) attributed to Mess: Given g, what is the largest k for which Ig admits a
classifying space with finite k-skeleton. (This is also Problem 5.11 in [4].) The best previously known estimate k ≤ 3g − 6 was obtained by Bestvina, Bux, and Margalit [2]. The
following is a direct consequence of Theorem 1.1.
Corollary 1.6. If Ig admits a classifying space with finite k-skeleton, then k ≤ 2g − 4.
This paper is organized as follows. In Section 2 we describe explicitly an infinite
linearly independent system of Abelian cycles in H2g−3 (Ig ) (Theorem 2.1) and an infinite
linearly independent system of homology classes in H3g−5−n (Ig ) for every n = 1, . . . , g − 3
(Theorem 2.7). The rest part of the paper contains the proof that these systems of
homology classes are indeed linearly independent. The main tool is the Cartan–Leray
spectral sequence for the action of Ig on the complex of cycles Bg . Section 3 contains
necessary information on the complex of cycles Bg and on the Cartan–Leray spectral
∗
sequence. In the last three sections we study the Cartan–Leray spectral sequence E∗,∗
for
∗
the action of Ig on Bg . In Section 4 we construct auxiliary spectral sequences E∗,∗ (N)
b ∗ (N) and morphisms of spectral sequences
and E
∗,∗
∗
∗
b ∗ (N).
E∗,∗
→ E∗,∗
(N) → E
∗,∗

This construction is needed to avoid explicit computation of higher differentials of the
∗
spectral sequence E∗,∗
. In Sections 5 and 6 we prove Theorems 2.1 and 2.7, respectively.
3

The author is grateful to S. I. Adian and A. L. Talambutsa for fruitful discussions.
2. Systems of linearly independent homology classes
A multicurve on the surface Sg is a union of a finite number of pairwise disjoint simple
closed curves M = γ1 ∪ · · · ∪ γk such that no curve γi is homotopic to a point and no
two curves γi and γj are homotopic to each other. A multicurve M is said to be oriented
if all components of M are endowed with orientations. (Notice that, by definition, an
oriented multicurve is not allowed to contain a pair of components that are homotopic
to each other with the homotopy either preserving or reversing the orientation.)
Most constructions in the present paper concerning curves and multicurves are determined up to isotopy. For the sake of simplicity, we shall later not distinguish between
notation for a curve (or a multicurve) and its isotopy class. For instance, the subgroup
of Ig consisting of all mapping classes h that stabilize the isotopy class of a multicurve M
will be denoted by StabIg (M) and will be called the stabilizer of the multicurve M.
We denote by [α] the homology class of an oriented simple closed curve α in H1 (Sg ).
We denote by a · b the algebraic intersection index of homology classes a, b ∈ H1 (Sg ). We
denote by hc1 , . . . , ck i the subgroup of H1 (Sg ) generated by homology classes c1 , . . . , ck .
We denote by Tα the (left) Dehn twist about a simple closed curve α.
We choose a primitive element x ∈ H1 (Sg ) and fix it throughout the whole paper.
2.1. System of linearly independent Abelian cycles. Consider a splitting
H1 (Sg ) = U0 ⊕ · · · ⊕ Ug−1 ,

(2.1)

where every Uj has rank 2 and Ui is orthogonal to Uj with respect to the intersection
form unless i = j. Then there is a unique decomposition
x = x0 + · · · + xg−1 ,

xi ∈ Ui .

(2.2)

Let U be the set of all splittings of form (2.1) such that all summands xi in the corresponding decomposition (2.2) are nonzero. Splittings obtained from each other by
permutations of summands are regarded to be different, i. e., a splitting is an ordered
g-tuple U = (U0 , . . . , Ug−1 ). Obviously, the set U is infinite.
If a splitting U = (U0 , . . . , Ug−1 ) belongs to U, then every summand in decomposition (2.2) can be uniquely written as xi = li ai , where ai is primitive and li > 0. We
denote by B(U) the set of all (g − 2)-tuples b = (b1 , . . . , bg−2 ) such that bi ∈ Ui and
ai · bi = 1 for every i = 1, . . . , g − 2. (Notice that we do not choose elements b0 and bg−1
in U0 and Ug−1 .)
It is easy to see that for each pair (U, b) such that U ∈ U and b ∈ B(U), there exists
a (3g − 5)-component multicurve Γ = ∆ ∪ L, where
∆ = δ1 ∪ · · · ∪ δg−1 ,
′
L = β1 ∪ β1′ ∪ · · · ∪ βg−2 ∪ βg−2
,

that satisfies the following conditions (see Fig. 1):
(∆1) δ1 , . . . , δg−1 are separating simple closed curves,
(∆2) Sg \ ∆ consists of g connected components X0 . . . , Xg−1 such that
• X0 and Xg−1 are once-punctured tori adjacent to δ1 and to δg−1 , respectively,
• for i = 1, . . . , g − 2, Xi is a twice-punctured torus adjacent to δi and δi+1 ,
(∆3) the image of the homomorphism H1 (Xi ) → H1 (Sg ) induced by the inclusion is Ui ,
(L1) βi and βi′ are oriented simple closed curve contained in Xi ,
(L2) [βi ] = [βi′ ] = bi ,
4

X0

X1

δ1

Xg−2

X2

β1

β2

βg−2

β1′

β2′

′
βg−2

δ2

δ3

δg−2

Xg−1

δg−1

Figure 1. Multicurve Γ for U ∈ U
(L3) the connected component of Xi \ (βi ∪ βi′ ) that is adjacent to δi lies on the righthand side from βi .
It is easy to check that all multicurves Γ satisfying these conditions for the fixed
pair (U, b) lie in the same Ig -orbit. Therefore the homology class

−1
AU,b = A Tβ1 Tβ−1
, Tδ1 , . . . , Tδg−1 ∈ H2g−3 (Ig )
′ , . . . , Tβg−2 Tβ ′
1

g−2

is well defined and independent of the choice of Γ.
For U = (U0 , . . . , Ug−1 ) and b = (b1 , . . . , bg−2 ), we denote by U and b the tuples
obtained from U and b by reversing the orders of Uj ’s and bj ’s, respectively, i. e.,
U = (Ug−1 , . . . , U0 ), b = (bg−2 , . . . , b1 ). It is easy to see that
AU,b = AU,b .

Theorem 2.1. Let U ′ ⊂ U be a subset containing exactly one splitting in every
pair {U, U}. Choose any representatives bU ∈ B(U), where U ∈ U ′ . Then the Abelian
cycles AU,bU , where U runs over U ′ , are linearly independent in H2g−3 (Ig ).
Since the set U is infinite, Theorem 1.2 follows from Theorem 2.1.
2.2. On the group H3g−2 (Ig,1 ). Consider an oriented compact surface Sg,1 of genus g
with one boundary component. Let Mod(Sg,1 ) = π0 Homeo(Sg,1 , ∂Sg,1 ) be the mapping class group of Sg,1 , where Homeo(Sg,1 , ∂Sg,1 ) is the group of all homeomorphisms
Sg,1 → Sg,1 that are identical on the boundary. Let Ig,1 be the corresponding Torelli
group, that is, the kernel of the natural surjective homomorphism Mod(Sg,1 ) → Sp(2g, Z).
We shall need the following proposition, which is a reformulation of a result by Bestvina,
Bux, and Margalit [2].
Proposition 2.2. Suppose that g ≥ 2. Then cd(Ig,1 ) = 3g − 2 and the top homology
group H3g−2 (Ig,1 ) contains a free Abelian subgroup of infinite rank.
Proof. Bestvina, Bux, and Margalit considered the Torelli group Ig,∗ for the oriented
surface of genus g with one puncture rather than one boundary component. (However,
they denoted this group by Ig,1 rather than by Ig,∗ .) Their result is precisely as follows: cd(Ig,∗ ) = 3g − 3 and the top homology group H3g−3 (Ig,∗ ) is infinitely generated,
see Theorem C and Lemma 8.8 in [2]. However, in fact, their proof yields a stronger result, namely, that H3g−3 (Ig,∗ ) contains a free Abelian subgroup of infinite rank. Indeed,
their proof is by induction on g and is based on the following two facts:
Fact 2.3. H3g−3 (Ig,∗ ) ∼
= H3g−5 (Ig ) for g ≥ 2.
Fact 2.4. H3g−6 (Ig−1,∗ ) injects into H3g−5 (Ig ) for g ≥ 3.
5

The former fact is contained in the proof of Lemma 8.8 in [2]. The latter fact can
be extracted from [2] in the following way. First, by Lemma 8.10 in [2], the group
H3g−5 (StabIg (v)), where v is a non-separating simple closed curve on Sg , injects into
H3g−5 (Ig ). Second, in the proof of Theorem C in [2], a torsion free Abelian group M is
constructed such that the group H3g−6 (Ig−1,∗ )⊗M injects into H3g−5 (StabIg (v)). Finally,
by the construction, M is a subgroup of the first homology of a free group, hence, M is
free Abelian. Therefore H3g−6 (Ig−1,∗ ) injects into H3g−6 (Ig−1,∗ ) ⊗ M.
By Fact 2.3, H3 (I2,∗ ) ∼
= H1 (I2 ). Since I2 is an infinitely generated free group (cf. [12]),
we obtain that H3 (I2,∗ ) is a free Abelian group of infinite rank. Using Facts 2.3 and 2.4,
we obtain by induction that H3g−3 (Ig,∗ ) contains a free Abelian subgroup of infinite rank.
Now, consider the short exact sequence
1 → Z → Ig,1 → Ig,∗ → 1.

(2.3)

Here the subgroup Z ⊂ Ig,1 is generated by the Dehn twist about a simple curve isotopic to the boundary of Sg,1 , hence, is central in Ig,1 . Since cd(Ig,∗ ) = 3g − 3, the
Hochschild–Serre spectral sequence for central extention (2.3) yields the natural isomor
phism H3g−2 (Ig,1 ) ∼
= H3g−3 (Ig,∗ ), which completes the proof of the proposition.
Remark 2.5. The above proof also yields that the group H3g−5 (Ig ), where g ≥ 2,
contains a free Abelian subgroup of infinite rank.
In the sequel, we shall need the following proposition, which is equivalent to Fact 2.4.
Proposition 2.6. Let v be a non-separating simple closed curve on Sg , where g ≥ 2. Then
any embedding ϕ : Sg−1,1 ֒→ Sg \v induces an injection H3g−5 (Ig−1,1 ) → H3g−5 (StabIg (v)).
Proof. We have the commutative diagram with exact rows:
1 −−−→ Z −−−→


iy

Ig−1,1


ϕ∗ y

−−−→ Ig−1,∗ −−−→ 1
(2.4)

1 −−−→ K −−−→ StabIg (v) −−−→ Ig−1,∗ −−−→ 1
Here the first row is exact sequence (2.3), the second row is the restriction of the Birman exact sequence obtained in [2, Lemma 8.3], and K is the commutator subgroup
of π1 (Sg−1,∗ ), where Sg−1,∗ is a once-punctured surface of genus g − 1 obtained from Sg \ v
by forgetting one of the two punctures. Obviously, K is a free group. The group Z in
the first row is generated by the Dehn twist Tε , where ε is a simple curve isotopic to the
boundary of Sg−1,1 . The element i(Tε ) represents a non-trivial homology class in H1 (K),
see [2, Lemma 8.6]. Since H1 (K) is torsion-free, we obtain that the homomorphism
i∗ : Z = H1 (Z) → H1 (K) is an injection. This injection induces the homomorphism
i∗ : H3g−6 (Ig−1,∗ ) = H3g−6 (Ig−1,∗ , H1 (Z)) → H3g−6 (Ig−1,∗ , H1 (K)),

(2.5)

where H1 (K) is endowed with the structure of an Ig−1,∗ -module corresponding to the
second row of (2.4). (Since Tε lies in the centre of Ig−1,1 , the action of Ig−1,∗ on the
coefficient group H1 (Z) = Z is trivial.) It is proved in [2, proof of Theorem C] that
(2.5) is an injection. (Notice that the submodule M ⊆ H1 (K) that is constructed in [2,
Lemma 8.7] and used in the proof of Theorem C in [2] is exactly i∗ (Z).)
6

Finally, consider the Hochschild–Serre spectral sequences for the rows of (2.4). Since
cd(Ig−1,∗ ) = 3g − 6 and cd(Z) = cd(K) = 1, these spectral sequences yield the commutative diagram
H3g−5 (Ig−1,1 ) o

∼
=

/

H3g−6 (Ig−1,∗ , Z)

ϕ∗



H3g−5 (StabIg (v)) o

i∗
∼
=


/

H3g−6 (Ig−1,∗ , H1(K))

Thus ϕ∗ is an injection.



2.3. Systems of linearly independent classes in H3g−5−n (Ig ) for 1 ≤ n ≤ g − 3. We
need the following generalization of the construction of Abelian cycles. Suppose that K
is a subgroup of a group G, ξ ∈ Hl (K) is a homology class, and h1 , . . . , hk are pairwise
commuting elements of G belonging to the centralizer of K. Consider the homomorphism
χ : Zk × K → G that is identical on K and sends the generator of the ith factor Z to hi
for every i. We put
A(h1 , . . . , hk ; ξ) = χ∗ (µk × ξ) ∈ Hk+l (G),
where µk is the standard generator of the group Hk (Zk ) ∼
= Z.
Suppose that 1 ≤ n ≤ g − 3. Let Un be the set of all (n + 1)-tuples U = (U0 , . . . , Un )
such that
H1 (Sg ) = U0 ⊕ · · · ⊕ Un
is an orthogonal with respect to the intersection form splitting that satisfies the following
conditions:
• rank Ui = 2 for i = 0, . . . , n − 1, and rank Un = 2g − 2n,
• all summands in the decomposition
x = x0 + · · · + xn ,

xi ∈ Ui ,

(2.6)

are nonzero.
Obviously, the set Un is infinite.
Every summand in decomposition (2.6) can be uniquely written as xi = li ai , where ai
is primitive and li > 0.
It is easy to see that for each splitting U ∈ Un , there exists a 3n-component multicurve
Γ = ∆ ∪ L, where
∆ = δ1 ∪ · · · ∪ δn ,
L = β1 ∪ β1′ ∪ · · · ∪ βn ∪ βn′ ,
that satisfies the following conditions (see Fig. 2):
(∆1n ) δ1 , . . . , δn are separating simple closed curves,
(∆2n ) Sg \ ∆ consists of n + 1 connected components X0 . . . , Xn such that
• X0 is a once-punctured torus adjacent to δ1 ,
• for i = 1, . . . , n − 1, Xi is a twice-punctured torus adjacent to δi and δi+1 ,
• Xn is a one-punctured oriented surface of genus g − n adjacent to δn ,
(∆3n ) the image of the homomorphism H1 (Xi ) → H1 (Sg ) induced by the inclusion is Ui ,
(L1n ) βi and βi′ are oriented simple closed curves contained in Xi ,
(L2n ) [βi ] = [βi′ ] and ai · [βi ] = 1,
(L3n ) the connected component of Xi \(βi ∪βi′ ) that is adjacent to δi is a three-punctured
sphere and lies on the right-hand side from βi .
7

Xn
X0

X1

ψ(Sg′ ,1 )

Z

β1

βn

β1′

βn′

δ1

δ2

δn

ε

Figure 2. Multicurve Γ and embedding ψ for U ∈ Un
We put g ′ = g − n − 1; then g ′ ≥ 2. Consider an oriented compact surface Sg′ ,1 of
genus g ′ with one boundary component. Let G(U) be the set of all pairs (Γ, ψ) such that
Γ is a multicurve satisfying conditions (∆1n )–(∆3n ) and (L1n )–(L3n ) and ψ : Sg′ ,1 ֒→ Sg
is an orientation preserving embedding satisfying the following conditions:
• the image of ψ is disjoint from Γ,
• the part Z of Sg enclosed between the curves δn and ε, where ε is the boundary of ψ(Sg′ ,1 ), is a two-punctured torus, and the image of the homomorphism
H1 (Z) → H1 (Sg ) induced by the inclusion is han , [βn ]i.
It is easy to see that an embedding ψ satisfying these conditions exists for any Γ. Therefore the set G(U) is non-empty for any U ∈ Un .
By Proposition 2.2, cd(Ig′ ,1 ) = 3g ′ − 2, and the top homology group H3g′ −2 (Ig′ ,1 )
contains a free Abelian subgroup of infinite rank. Let {ξλ }λ∈Λg′ be an infinite system of
linearly independent homology classes in H3g′ −2 (Ig′ ,1 ).
The embedding ψ induces the injection ψ∗ : Ig′ ,1 → Ig (by extending homeomorphisms
by the identity). The elements Tβi Tβ−1
′ and Tδi , where i = 1, . . . , n, pairwise commute and
i
belong to the centralizer of the image of ψ∗ . Therefore we obtain well-defined homology
classes

−1
AU,Γ,ψ,λ = A Tβ1 Tβ−1
′ , . . . , Tβn Tβ ′ , Tδ1 , . . . , Tδn ; ψ∗ (ξλ ) ∈ H3g−5−n (Ig ).
n
1

Theorem 2.7. Suppose that 1 ≤ n ≤ g − 3. For each U ∈ Un , choose an arbitrary pair
(ΓU , ψU ) ∈ G(U). Then the homology classes AU,ΓU ,ψU ,λ , where U runs over Un and λ
runs over Λg−n−1 , are linearly independent in H3g−5−n (Ig ).
Since the sets Un and Λg−n−1 are infinite, Theorem 1.1 follows from Theorem 2.7. (In
fact, Theorem 1.1 would follow even if only one of the two sets Un and Λg−n−1 were
infinite.)
3. Complex of cycles and Cartan–Leray spectral sequence
3.1. Complex of cycles. In this section we recall in a convenient for us form some
definitions and results of [2].
Let C be the set of isotopy classes of oriented non-separating simple closed
P curves on Sg .
C
Consider the cone R+ consisting of all finite formal linear combinations γ∈C lγ γ, where
lγ are nonnegative real numbers. Endow RC+ with the standard direct limit topology.
Notice that if γ and b
γ are two isotopy classes in C obtained from each other by reversing
the orientation of the curve, then γ and b
γ are two different (linearly independent) basis
vectors of RC+ , so b
γ 6= −γ.
8

Recall that we have fixed a primitive
homology class x ∈ H1 (Sg ). A simple 1-cycle
Ps
for x is a finite linear combination i=1 li γi ∈ RC+ , where li > 0 and γ1 , . . . , γs are pairwise
different isotopy classes in C, that satisfies the following conditions:
(1) the isotopy classes γ1 , . . . , γs contain representatives such that the union of these
representatives
is an oriented multicurve,
P
(2) si=1 li [γi ] = x.
The oriented multicurve
isotopy class) is called the support of
Ps in condition (1) (or itsP
s
the simple 1-cycle
1-cycle
i=1 li γi . A simple P
i=1 li γi is called integral if all coefficients li are integral. A simple 1-cycle
li γi is called a basic 1-cycle if the homology
classes [γ1 ], . . . , [γs ] are linearly independent. Notice that a basic 1-cycle for the integral
homology class x is always integral.
Denote by M the set of isotopy classes of oriented multicurves M on Sg satisfying the
following conditions:
(1) For each component γ of M, there exists a basic 1-cycle for x whose support is
contained in M and contains γ.
(2) Any non-trivial linear combination of the homology classes of components of M
with nonnegative coefficients is nonzero.
For an oriented multicurve M ∈ M, let PM be the convex hull in RC+ of all basic
1-cycles for x with supports contained in M. Since there are finitely many such basic
1-cycles, PM is a finite-dimensional convex polytope. It is easy to see that PM is exactly
the set of all simple 1-cycles for x with supports contained in M. If M, N ∈ M and
N ⊂ M, then PN is a face of PM . (Notation N ⊂ M implies that the orientations of
components of N are the same as their orientations in M.) Vice versa, any face of PM
is PN for certain oriented multicurve N ∈ M contained in M. Besides, it is not hard to
check that the intersection of any two polytopes PM1 and PM2 , where M1 , M2 ∈ M, is
either empty or a face of both of them. The union of all polytopes PM , M ∈ M, is the
regular cell complex Bg , which was introduced by Bestvina, Bux, and Margalit [2] and
was called by them the complex of cycles. Denote by C∗ (Bg ) the cellular chain complex
of Bg with integral coefficients.
Remark 3.1. Bestvina, Bux, and Margalit described the construction of Bg in a slightly
different way. Namely, they defined Bg to be the quotient space of the disjoint union
of the cells PM , M ∈ M, by identifying faces that are equal in RC and endowing the
quotient with the weak topology. These two constructions are equivalent to each other.
For M ∈ M, denote by |M| the number of components of M, by c(M) the number of
components of Sg \ M, and by D(M) the rank of the subgroup of H1 (Sg ) generated by
the homology classes of components of M. By [2, Lemma 2.1],
dim PM = |M| − D(M) = c(M) − 1.

(3.1)

We denote by Mm the subset of M consisting of all M such that dim PM = m.
Theorem 3.2 (Bestvina, Bux, Margalit [2]). The complex of cycles Bg is contractible,
provided that g ≥ 2.
Remark 3.3. In [2] the authors were not careful enough about condition (2). Namely,
they did not include explicitly this condition in the definition of the set M but later used
it in the proof of Theorem 3.2. Possibly, they thought that condition (2) is superfluous,
since it follows from condition (1). Nevertheless, the following example shows that this is
not true. Let a1 , a2 , a3 be three linearly independent homology classes that have trivial
pairwise intersection numbers and generate a direct summand of H1 (Sg ). Suppose that
9

x = a1 +a2 +2a3 . Consider a 5-component oriented multicurve M with components γ1 , γ2 ,
γ3 , γ4 , and γ5 whose homology classes are a1 , a2 , a3 , −a1 −a2 , and a1 +a2 +a3 , respectively.
Then γ1 +γ2 +2γ3 and γ4 +2γ5 are basic 1-cycles for x. Therefore, M satisfies condition (1)
and does not satisfy condition (2). All results in [2] become completely correct if one
includes condition (2) explicitly in the definition of the set M.
The Torelli group Ig acts cellularly and without rotations on the contractible complex Bg . ‘Without rotation’ means that if an element h ∈ Ig stabilizes a cell PM , then
it stabilizes every point of PM . The fact that the action of Ig on Bg is without rotations
follows from the theorem by Ivanov [7, Theorem 1.2] claiming that if an element h ∈ Ig
stabilizes a multicurve M, then it stabilizes every component of M.
3.2. Cartan–Leray spectral sequence. In this section we recall some standard facts
on the Cartan–Leray spectral sequence, see [3] for details. Usually, the Cartan–Leray
spectral sequence is written for a cellular action of a group G on a CW-complex X.
However, we need to consider the following more general purely algebraic situation.
Let G be a group. Let (C∗ , ∂) be a chain complex of left G-modules satisfying the
following conditions:
(1) Ck = 0 for k < 0,
(2) every Ck is a free Abelian group with a fixed basis Ek ,
(3) G acts on Ck by permutations of elements of Ek , i. e., gσ ∈ Ek for all g ∈ G and
all σ ∈ Ek .
If G acts cellularly and without rotations on a CW-complex X, then the cellular chain
complex C∗ (X) with the basis consisting of cells of X with appropriate orientations
satisfies these condition. The orientations of cells should agree each other in every Gorbit, which is possible, since the action is without rotations.
Recall that the tensor product A ⊗G B of two left G-modules A and B is the quotient
of the Abelian group A ⊗ B by all relations of the form (ga) ⊗ (gb) = a ⊗ b, where g ∈ G.
Let (R∗ , d) be a projective resolution for Z over the group ring ZG, where Z is endowed
with the structure of left ZG-module so that g · 1 = 0 for all g ∈ G \ {1}. Consider the
double complex B∗,∗ , where
Bp,q = Cp ⊗G Rq ,
′
′′
with differentials ∂ and ∂ of bi-degrees (−1, 0) and (0, −1), respectively, given by
∂ ′′ (z ⊗ κ) = (−1)deg z z ⊗ (dκ).

∂ ′ (z ⊗ κ) = (∂z) ⊗ κ,

The Cartan–Leray spectral sequence for the action of G on C∗ is the spectral se∗
quence E∗,∗
of the double complex B∗,∗ . (See [3, Section VII.3] for the definition of
the spectral sequence of a double complex.) This is a first-quadrant spectral sequence
0
with differentials dr of bi-degrees (−r, r − 1), respectively, such that Ep,q
= Bp,q , d0 = ∂ ′′ ,
and d1 is induced by ∂ ′ . We shall need the following standard facts on this spectral
sequence.
Fact 3.4. Let Σp ⊆ Ep be a subset containing exactly one representative in each G-orbit.
Then there is a canonical isomorphism
M
1 ∼
Hq (StabG (σ)).
(3.2)
Ep,q
=
σ∈Σp

In particular, starting from page E 1 , the spectral sequence is independent of the choice of
the projective resolution R∗ . Besides, if we choose another set of representatives of Gorbits Σ′p = {gσ σ}σ∈Σp , where gσ ∈ G, then the two corresponding isomorphisms (3.2) will
10

differ by the direct sum of the isomorphisms Hq (StabG (σ)) → Hq (StabG (gσ σ)) induced
by the conjugations by gσ .
1
We denote the canonical injection Hq (StabG (σ)) ֒→ Ep,q
by ισ .

Remark 3.5. If C∗ = C∗ (X), then the basis consisting of cells of X is canonically defined
only up to signs. More precisely, we may reverse simultaneously the orientations of all
cells in any G-orbit. It is easy to see that the injection ισ reverses its sign whenever we
reverse the orientation of σ.
L
∞
Fact 3.6. The group p+q=s Ep,q
is the adjoint graded group for certain filtration
0 ⊆ F0,s ⊆ F1,s−1 ⊆ · · · ⊆ Fs,0 = HsG (C∗ ),

∞
i. e., Ep,q
= Fp,q /Fp−1,q+1. Here HsG (C∗ ) is the s-dimensional G-equivariant homology
group of C∗ , i. e., the s-dimensional homology group of the total complex for the double
complex B∗,∗ . Moreover, Fp,q is exactly the image of the natural homomorphism
G
G
Hp+q
(C∗≤p ) → Hp+q
(C∗ ),

where Ci≤p = Ci for i ≤ p and Ci≤p = 0 for i > p. Recall that if C∗ = C∗ (X) and X is
contractible, then HsG (C∗ ) is naturally isomorphic to Hs (G).
In the ‘topological case’ C∗ = C∗ (X), the proofs of Facts 3.4 and 3.6 can be found in [3,
Section VII.7], and (3.2) is exactly isomorphism (7.7) in [3]. The proofs for an arbitrary
chain complex C∗ are literally the same. Obviously, the construction of the Cartan–Leray
spectral sequence is functorial in the following sense.
(i)

Fact 3.7. For i = 1, 2, let C∗ be a chain complexes of left Gi -modules satisfying
∗
(1)–(3) and let E∗,∗
(i) be the corresponding Cartan–Leray spectral sequence. Suppose
(1)
(2)
that χ : G1 → G2 is a homomorphism and ϕ : C∗ → C∗ is a χ-equivariant chain map∗
∗
ping. Then the pair (ϕ, χ) induces a morphism of spectral sequences E∗,∗
(1) → E∗,∗
(2)


(2)
(1)
that in page E ∞ is adjoint to the natural homomorphism H∗G1 C∗ → H∗G2 C∗ .
Recall that if A is a left H-module and H is a subgroup of G, then the left G-module
IndG
H A = ZG ⊗H A
is called the induced module. Here ⊗H denotes the tensor product over ZH of ZG regarded
as the right H-module with the left H-module A. The structure of the left G-module
on IndG
H A is induced by the structure of the left G-module on ZG, see [3, Section III.5].
Fact 3.8. Suppose that C∗ is a chain complex of left H-modules satisfying (1)–(3) and
∗
H is a subgroup of G. Let E∗,∗
(1) be the Cartan–Leray spectral sequence for the action
∗
of H on C∗ and let E∗,∗ (2) be the Cartan–Leray spectral sequence for the action of G on
∗
∗
the chain complex D∗ = IndG
H C∗ . Then the spectral sequences E∗,∗ (1) and E∗,∗ (2) are
naturally isomorphic to each other starting from page E 1 .
Proof. By Fact 3.7, the injection H ⊂ G and the injection ϕ : C∗ → D∗ given by ξ 7→ 1⊗ξ
∗
∗
induce a well-defined morphism of spectral sequences Φ : E∗,∗
(1) → E∗,∗
(2). Suppose that
Σp is a set of representatives of H-orbits of basis elements in Cp . Then the elements 1⊗σ,
where σ ∈ Σp , constitute the set of representatives of G-orbits of basis elements in Dp .
The morphism Φ in page E 1 coincides with the isomorphism
M
M
Hq (StabG (1 ⊗ σ)) ∼
Hq (StabH (σ)) =
E 1 (1) ∼
= E 1 (2).
=
p,q

p,q

σ∈Σp

σ∈Σp

Therefore Φ is an isomorphism starting from page E 1 .
11



3.3. A lemma. Suppose that X is a contractible regular cell complex and G is a group
∗
acting on X cellularly and without rotations. Let E∗,∗
be the corresponding Cartan–Leray
spectral sequence and let F∗,∗ be the corresponding filtration in H∗ (G).
Consider the cube [0, 1]n with standard coordinates t1 , . . . , tn . Let Fi be the facet
of [0, 1]n given by ti = 0, and let Fi′ be the facet of [0, 1]n given by ti = 1. We denote
by τi the standard homeomorphism Fi → Fi′ given by the parallel translation.
Lemma 3.9. Let f1 , . . . , fn be pairwise commuting elements of G and let P be an ndimensional cell of X satisfying the following conditions:
• there is a homeomorphism ϕ : [0, 1]n → P that maps every face of [0, 1]n homeomorphically onto a subcell of P ,
• the action by fi maps the cell ϕ(Fi ) onto the cell ϕ(Fi′ ) via the homeomorphism
ϕ ◦ τi ◦ ϕ−1 , i = 1, . . . , n,
• f1 , . . . , fn lie in the centralizer of StabG (P ).
Then for any u ∈ Hq (StabG (P )), the homology class A(f1 , . . . , fn ; u) lies in the subgroup
Fn,q ⊆ Hn+q (G) and its image under the projection
∞
Fn,q → Fn,q /Fn−1,q+1 = En,q
1
is represented by the class ιP (u) ∈ En,q
.

Proof. We put H = StabG (P ).
Let Y be the standard decomposition of Rn into unit cubes with vertices in points with
integral coordinates. In particular, the cube Q = [0, 1]n is a cell of Y . The group Zn
acts on Y by translations. This action is cellular and free. Let C∗ (Y /Zn ) be the cellular
chain complex of the cell complex Y /Zn , which is the standard cell decomposition of the
n-dimensional torus Rn /Zn . It is easy to see that the differential of C∗ (Y /Zn ) is trivial,
hence, C∗ (Y /Zn ) = H∗ (Y /Zn ) = H∗ (Zn ).
Let E ∗∗,∗ be the Cartan–Leray spectral sequence for the action of Zn × H on Y , where
the factor H acts trivially, and let F ∗,∗ be the corresponding filtration in H∗ (Zn × H).
Obviously, E rp,q = 0 off the strip 0 ≤ p ≤ n. Since the stabilizer of every face of Y is
exactly H, isomorphism (3.2) takes the form
E1 ∼
(3.3)
= Cn (Y /Zn ) ⊗ Hq (H) = Hn (Zn ) ⊗ Hq (H).
n,q

It follows from Fact 3.6 and the Künneth theorem that
M
Hi (Zn ) ⊗ Hj (H),
F n,q = Hn+q (Zn × H) =
F n−1,q+1 =

M

i+j=n+q

Hi (Zn ) ⊗ Hj (H).

i+j=n+q, i<n

Hence we obtain the natural isomorphism
E∞ ∼
= Hn (Zn ) ⊗ Hq (H).
n,q

(3.4)

It can be easily checked that isomorphism (3.4) is the composition of the natural inclusion
1
∞
1
E∞
n,q ⊆ E n,q and isomorphism (3.3). In particular this implies that E n,q = E n,q . (In fact,
it is not hard to prove that the spectral sequence E ∗∗,∗ stabilizes at page E 1 .) Since the
projection Hn+q (Zn ×H) → Hn (Zn )⊗Hq (H) takes µn ×u to µn ⊗u and isomorphism (3.3)
1
takes ιQ (u) to µn ⊗ u, we obtain that the projection Hn+q (Zn × H) → E ∞
n,q = E n,q takes
µn × u to ιQ (u).
Now, let χ : Zn × H → G be the homomorphism that is identical on H and takes the
elements of the standard basis of Zn to f1 , . . . , fn . Then the homeomorphism ϕ : Q → P
12

has a unique χ-equivariant extension ϕ
e : Y → X. By Fact 3.7, the pair (ϕ,
e χ) induces the
∗
morphism of spectral sequences Φ : E ∗∗,∗ → E∗,∗
that in page E ∞ is adjoint to the homomorphism χ∗ : H∗ (Zm × H) → H∗ (G). Hence χ∗ (F i,j ) ⊆ Fi,j for all i and j. Therefore
∞
the class A(f1 , . . . , fn ; u) = χ∗ (µn × u) belongs to Fn,q and projects onto the class in En,q
1
represented by the element ιP (u) = Φ(ιQ (u)) ∈ En,q .

∗
b∗ (N)
4. Auxiliary spectral sequences E∗,∗
(N) and E
∗,∗

Consider the complex of cycles Bg and the cellular chain complex C∗ = C∗ (Bg ).
∗
Throughout the rest of the present paper E∗,∗
is the Cartan–Leray spectral sequence
for the action of Ig on Bg and F∗,∗ is the corresponding filtration in H∗ (Ig ).
The Torelli group Ig acts naturally on Mn for each n. We say that an Ig -orbit N ⊆ Mn
is perfect if no oriented multicurve M ∈ M contains two distinct submulticurves N1
and N2 belonging to N.
For each m, the basis of Cm consists of all PM , where M ∈ Mm . Consider an arbitrary
Ig -orbit N ⊆ Mn . Let Km (N) ⊆ Cm be the subgroup generated by all PM such that
M does not contain an oriented submulticurve belonging to N. Obviously, Km (N) is
invariant under the action of Ig and K∗ (N) is a chain subcomplex of C∗ . Consider the
quotient chain complex of Ig -modules
C∗N = C∗ /K∗ (N),
and denote its differential by ∂N .
N
The group Cm
is free Abelian with the basis consisting of all PM such that M ∈ Mm
and M contains a submulticurve belonging to N. (With some abuse of notation, we
N
again by PM .) The group Ig
denote the image of PM under the projection Cm → Cm
N
acts on Cm by permutations of the elements of this basis. Therefore the Cartan–Leray
spectral sequence for the action of Ig on C∗N is well defined. We denote this spectral
∗
sequence by E∗,∗
(N). By Fact 3.7, the projection C∗ → C∗N induces the morphism of
spectral sequences
∗
∗
ΠN : E∗,∗
→ E∗,∗
(N).
N
N
Now, choose an oriented multicurve N ∈ N. Let Cm
⊆ Cm
be the subgroup generated
by all PM such that M ∈ Mm and M contains N.

Proposition 4.1. Suppose that N is perfect. Then C∗N is a chain subcomplex of C∗N and
I

g
N
Cm
= IndStab
I

g (N )

N
Cm

for all m.
N
Proof. To prove that C∗N is a chain subcomplex of C∗N , we need to show that ∂N PM ∈ Cm−1
N
whenever M ∈ Mm and M ⊇ N. We immediately see from the construction of C∗ that
∂N PM is an algebraic sum of all PL such that L ∈ Mm−1 , L ⊆ M, and L contains an
oriented multicurve in the orbit N. However, since N is perfect, M does not contain a
multicurve in N different from N. Hence L ⊇ N for all PL entering ∂N PM . Therefore
N
∂N PM ∈ Cm−1
.
Let M1 , M2 , . . . be representatives of all different
StabIg (N)-orbits of oriented multicL
N
urves M ∈ Mm containing N. Then Cm =
Ai , where Ai is a cyclic StabIg (N)-module
with generator Mi . Let us prove that no two different multicurves Mi and Mj belong
to the same Ig -orbit. Indeed, suppose that Mj = f (Mi ), where f ∈ Ig . Then f (N) is
an oriented multicurve in N that is contained in Mj . Since N is perfect, we obtain that

13

f (N) = N, hence, f ∈ StabIg (N), which is impossible, since Mi and Mj are representatives of different StabIg (N)-orbits.
N
The basis of Cm
consists of all PM such that M ∈ Mm and M contains a multicurve
belonging to N. Obviously, any such M can be written as f (Mi ) for certain i and
certain f ∈ Ig . Moreover, the multicurve Mi is uniquely determined by M, L
since no two
N
different multicurves Mi and Mj belong to the same Ig -orbit. Hence Cm =
Bi , where
Bi is a cyclic Ig -module with generator Mi . Besides, for each i, the multicurve N is the
only multicurve in N that is contained in Mi . Therefore StabIg (Mi ) ⊆ StabIg (N). It
Ig
Ig
N
N
Cm
.

Ai for all i. Thus, Cm
= IndStab
easily follows that Bi = IndStab
I (N )
I (N )
g

g

∗
By Fact 3.8, the Cartan–Leray spectral sequence E∗,∗
(N) for the action of Ig on C∗N
coincides (starting from page E 1 ) with the Cartan–Leray spectral sequence for the action
of StabIg (N) on C∗N .
Now, let BP(N) be the subgroup of Ig generated by BP-twists Tγ1 Tγ−1
, where γ1 and γ2
2
are components of N. Consider the following variant of the Birman–Lubotzky–McCarthy
exact sequence (cf. [2, Section 6.2]):
jN

1 → BP(N) → StabIg (N) −→ PMod(Sg \ N).

(4.1)

Here PMod(Sg \ N) is the pure mapping class group of Sg \ N, that is, the subgroup
of Mod(Sg \ N) consisting of all mapping classes that stabilize every puncture of Sg \ N.
Obviously, PMod(Sg \ N) is the direct product of the groups PMod(Yi ) over all connected
components Yi of Sg \ N. We put

HN = jN StabI (N) ∼
(4.2)
= StabI (N)/BP(N).
g

g

C∗N

Obviously, the action of BP(N) on
is trivial. Therefore, C∗N is the chain complex
b ∗ (N) be the Cartan–Leray spectral sequence for the action of HN
of HN -modules. Let E
∗,∗
on C∗N . By Fact 3.7, the homomorphism jN induces the morphism of spectral sequences
∗
b ∗ (N).
JN : E∗,∗
(N) → E
∗,∗

b∗ (N) and the morphism JN are indeIt is not hard to see that the spectral sequence E
∗,∗
pendent (up to a canonical isomorphism) of the choice of a multicurve N ∈ N. Indeed,
if N ′ is another multicurve in N, then for any mapping class f ∈ Ig taking N to N ′ , the
conjugation by f yields a natural isomorphism from the Cartan–Leray spectral sequence
for the action of HN on C∗N to the Cartan–Leray spectral sequence for the action of HN ′
′
on C∗N , and this isomorphism is independent of the choice of f .
Finally, we obtain the morphism
b N = JN ◦ ΠN : E ∗ → E
b∗ (N).
Π
∗,∗
∗,∗

The canonical isomorphism (3.2) takes the form
M
b 1 (N) ∼
Hq (StabHN (M)).
E
=
p,q

(4.3)

M ∈Mp : M ⊇N

In particular,

b 1 (N) = 0,
E
p < n,
p,q
1
bn,q
(N) ∼
E
= Hq (HN ).

(4.4)
(4.5)

The latter isomorphism is inverse to ιPN . Hence, by Remark 3.5, it changes sign whenever
one reverses the orientation of PN .
14

5. Proof of Theorem 2.1
5.1. Multicurves N. Let us consider a (2g − 2)-component oriented multicurve
′
N = α0 ∪ α1 ∪ α1′ ∪ · · · ∪ αg−2 ∪ αg−2
∪ αg−1

(5.1)

that satisfies the following conditions (see Fig. 3):
(N1) all components of N are non-separating simple closed curves,
(N2) αi′ is homologous to αi for i = 1, . . . , g − 2,
(N3) Sg \ N consists of g − 1 connected components Y1 , . . . , Yg−1 such that every Yi
′
is a four-punctured sphere that is adjacent to αi and αi−1
from the left and is
′
adjacent to αi and αi−1 from the right, where we use the convention α0′ = α0 and
′
αg−1
= αg−1 .
(N4) x = l0 [α0 ] + · · · + lg−1 [αg−1 ] for some positive integers l0 , . . . , lg−1 .
Obviously, N ∈ M. By (3.1), we have dim PN = g − 2, i. e., N ∈ Mg−2 .
The set of isotopy classes of oriented multicurves N satisfying conditions (N1)–(N4)
is invariant under the action of Ig . We denote by O the set of Ig -orbits of the oriented
multicurves satisfying conditions (N1)–(N4).
Remark 5.1. Notice that there is exactly one possibility to re-order the components
of N so that conditions (N1)–(N4) will still be satisfied. Namely, we can put
′
α0 = αg−1 , αg−1 = α0 , αi = αg−1−i
, α′i = αg−1−i , i = 1, . . . , g − 2.

(5.2)

Then conditions (N1)–(N4) will be satisfied with Yi replaced by Y i = Yg−i and li replaced
by ¯li = lg−i−1 . We shall consider N as a multicurve without chosen order of its components
so that the two representations of N in form (5.1) are equally matched.
It is easy to see that for each splitting U = (U0 , . . . , Ug−1 ) ∈ U, there is a unique
Ig -orbit DU of multicurves ∆ = δ1 ∪ · · · ∪ δg−1 satisfying conditions (∆1)–(∆3) in Section 2.1. Unlike for N, we always consider ∆ as a multicurve with ordered components,
and DU is the Ig -orbit of multicurves with ordered components. This means that we
differ between the multicurve ∆ and the multicurve ∆ obtained from ∆ by reversing the
order of components, and so DU 6= DU .
We say that a splitting U ∈ U and an orbit N ∈ O are compatible if there are
multicurves ∆ ∈ DU and N ∈ N that are disjoint from each other. It is easy to see
that this can happen only in two cases:
(1) αi ⊂ Xi , αi′ ⊂ Xi , and δi ⊂ Yi for all i, see Fig. 4,
(2) αi ⊂ Xg−1−i , αi′ ⊂ Xg−1−i , and δi ⊂ Yg−i for all i.
In the former case we have [αi ] = [αi′ ] = ai , where xi = li ai are the components of x
in decomposition (2.2). The latter case is taken to the former case by re-ordering the
components of N by (5.2).
Proposition 5.2. For each splitting U ∈ U, there exists a unique orbit NU ∈ O compatible with it.
Proof. Suppose that ∆ ∈ DU and use notation introduced in Section 2.1. Every ai is a
primitive element of Ui , which the image of the homomorphism H1 (Xi ) → H1 (Sg ) induced
by the inclusion. Choose oriented simple closed curves α0 ⊂ X0 and αg−1 ⊂ Xg−1 that
represent the homology classes a0 and ag−1 , respectively. Every Xi , where i = 1, . . . , g −2,
is a twice-punctured torus. Hence there exists a pair of homologous non-isotopic oriented
simple closed curves on Xi that represent the homology class ai and decompose Xi into
two components either homeomorphic to a three-punctured sphere. We denote these
15

α0

α1

α2

αg−2

α′1

α′2

α′g−2

Y1

Y2

αg−1

Yg−1

Figure 3. Multicurve N
X0

X1

α0

δ1
Y1

Xg−2

X2

α1

α2

αg−2

α′1

α′2

α′g−2

δ2

δg−2

δ3

Y2

Xg−1

αg−1

δg−1
Yg−1

Figure 4. Compatible multicurves ∆ and N
simple closed curves by αi and αi′ so that the connected component of Xi \ (αi ∪ αi′ )
adjacent to δi lies on the left-hand side of αi . Then the oriented multicurve N given
by (5.1) satisfies conditions (N1)–(N4). Hence the orbit Ig N is compatible with U.
′
e=α
Now, let N
e0 ∪ α
e1 ∪ α
e1′ ∪ · · · ∪ α
eg−2 ∪ α
eg−2
∪α
eg−1 be another oriented multicurve
e
disjoint from ∆ and satisfying conditions (N1)–(N4). Re-ordering the components of N
′
as in (5.2) if necessary, we may achieve that α
ei , α
ei ⊂ Xi . Since x is simultaneously a linear
combination of the classes [αi ] with positive coefficients and a linear combination of the
classes [e
αi ] with positive coefficients, and both [αi ] and [e
αi ] are primitive elements of Ui ,
we obtain that [e
αi ] = [αi ] = ai . Obviously, there exists a mapping class f ∈ Mod(Sg )
e Then f stabilizes every class ai and
such that f stabilizes every curve δi and f (N) = N.
every subgroup Ui . It follows that there exist integers s0 , . . . , sg−1 such that the mapping
sg−1
e , hence, N
e ∈ Ig N. Thus, Ig N is
class h = f Tαs00 · · · Tαg−1
belongs to Ig . Then h(N) = N
the only orbit in O that is compatible with U.

To describe all splittings U ∈ U compatible with the given N ∈ O, we introduce an
operation on U, which will be called a shift. Suppose that U = (U0 , . . . , Ug−1 ) ∈ U
and use notation introduced in Section 2.1. Choose homology classes bi ∈ Ui such that
ai · bi = 1. For each integral vector k = (k1 , . . . , kg−1) ∈ Zg−1 , we shall say the shift of U
by k is the splitting
(k)

U[k] = U0
(k)

such that Ui

(k)

= ai , bi

(k)

⊕ · · · ⊕ Ug−1

, where

(k)

b0 = b0 + k1 a1 ,
(k)

bi

(k)
bg−1

= bi + ki ai−1 + ki+1 ai+1 ,
= bg−1 + kg−1 ag−2 .
16

i = 1, . . . , g − 2,

Since the homology class bi ∈ Ui satisfying ai · bi = 1 is defined up to a multiple of ai ,
it follows that the obtained splitting U[k] is independent of the choice of the classes bi .
It is easy to check that the splitting U[k] is orthogonal with respect to the intersection
form, hence, belongs to U. Further, we have U[k][k′ ] = U[k + k′ ] for any k, k′∈ Zg−1 .
Therefore, shift yields the free action of Zg−1 on U. Besides, U[k] = U k , where
k = (kg−1 , . . . , k1 ).
Let UN be the set of all splittings U ∈ U compatible with N ∈ O. The following
proposition describes the set UN .
Proposition 5.3. Suppose that N ∈ O. Then
(1) there is a splitting U ∈ U compatible with N,
(2) if U ∈ U is a splitting compatible with N, then a splitting V ∈ U is compatible
with N if and only if either V = U[k] or V = U[k] for certain k ∈ Zg−1 .
Proof. Take a multicurve N ∈ N and use notation in (N1)–(N4). For each i = 1, . . . , g−1,
′
take a simple closed curve δi in Yi that separates αi and αi′ from αi−1 and αi−1
. The
multicurve ∆ = δ1 ∪· · ·∪δg−1 decomposes Sg into pieces Xi such that every δi separates Xi
from Xi−1 . Let Ui be the image of the homomorphism H1 (Xi ) → H1 (Sg ) induced by the
inclusion. Then the splitting U = (U0 , . . . , Ug−1 ) belongs to U and is compatible with N
and ∆ ∈ DU . Put ai = [αi ], i = 0, . . . , g − 1. It is easy to see that Yi contains an oriented
simple closed curve γi such that [γi ] = ai − ai−1 . An immediate computation shows that
kg−1 
(∆) belongs to DU[k] .
for each k = (k1 , . . . , kg−1 ) ∈ Zg−1 , the multicurve Tγk11 · · · Tγg−1
Obviously, this multicurve is disjoint from N. Hence U[k] is compatible with N for all k.
Therefore U[k] is also compatible with N for all k.
Now, let V = (V0 , . . . , Vg−1 ) ∈ U be an arbitrary splitting compatible with N. Then
e = δe1 ∪ · · · ∪ δeg−1 that belongs to DV and is disjoint from N.
there exists a multicurve ∆
Replacing V with V if necessary, we may achieve that δei ⊂ Yi for all i. For each
i = 1, . . . , g − 1, let Ri be the connected component of Sg \ (αi ∪ αi′ ) that contains α0 .
Then the image of the homomorphism H1 (Ri ) → H1 (Sg ) induced by the inclusion can be
written in the following two ways:
U0 ⊕ · · · ⊕ Ui−1 ⊕ hai i = V0 ⊕ · · · ⊕ Vi−1 ⊕ hai i.
Since both U and V are orthogonal splittings of H1 (Sg ) and ai belongs both to Ui and
to Vi for all i, it follows easily that V = U[k] for certain k ∈ Zg−1 .

Proposition 5.4. Suppose that a splitting U ∈ U is compatible with an orbit N ∈ O.
e are two multicurves in DU either of which is disjoint
Suppose that N ∈ N and ∆ and ∆
e
from N. Then there exists a mapping class h ∈ Ig such that h(N) = N and h(∆) = ∆.

Proof. Obviously, there exists a mapping class f ∈ Mod(Sg ) such that f (N) = N and
e Then f stabilizes every class ai end every subgroup Ui . It follows that there
f (∆) = ∆.
sg−1
exist integers s0 , . . . , sg−1 such that the mapping class h = f Tαs00 · · · Tαg−1
belongs to Ig .
e
Then h(N) = N and h(∆) = ∆.

5.2. The group HN and its homology. Let N be an oriented multicurve satisfying
conditions (N1)–(N4). Put N = Ig N. Let us study the group HN defined by (4.2). It is
a subgroup of the group
PMod(Sg \ N) = PMod(Y1 ) × · · · × PMod(Yg−1 ).
Suppose that U ∈ UN . Then there exists a multicurve ∆ = δ1 ∪ · · · ∪ δg−1 that belongs
to DU and is disjoint from N. Re-ordering, if necessary, the components of N by (5.2),
17

αi−1

α′i−1

αi

γi
δi

α′i

Figure 5. Curves δi and γi
we may achieve that δi ⊂ Yi for all i. For each i = 1, . . . , g − 1, take a simple closed curve
γi ⊂ Yi that represents the homology class [αi ] − [αi−1 ] and has geometric intersection
number 2 with δi , see Fig. 5.
Denote by F∞ the free group with countably many generators.
Proposition 5.5. We have
H N = F∞ × · · · × F∞ ,
|
{z
}

(5.3)

g−1 factors

where for each i, the ith factor F∞ is the subgroup of PMod(Yi ) generated freely by the
elements yi,k = Tγki Tδi Tγ−k
, k ∈ Z.
i
Proof. Every PMod(Yi ) is the free group with two generators Tδi and Tγi . Consider the
homomorphism
κ : PMod(Sg \ N) → Zg−1
such that κ(Tδi ) = 0 and κ(Tγi ) = ei for all i, where e1 , . . . , eg−1 is the standard basis
of Zg−1 . Obviously, the kernel of κ is exactly the direct product F∞ × · · · × F∞ in the
right-hand side of (5.3). We need to prove that HN = ker κ. Since yi,k is the Dehn
twist about the separating curve Tγki (δi ), we see that yi,k ∈ HN . Hence ker κ ⊆ HN . On
the other hand, it is easy to see that the multicurve f (∆) belongs to DU[κ(f )] for any
f ∈ PMod(Sg \ N). If f ∈ HN , i. e., f = jN (h) for certain h ∈ Ig , then the multicurve
f (∆) = h(∆) belongs to Ig ∆ = DU . Therefore HN ⊆ ker κ. Thus HN = ker κ.

Corollary 5.6. Hq (HN ) = 0 for q > g − 1.
Corollary 5.7. The group Hg−1 (HN ) is the free Abelian group with basis consisting of
the Abelian cycles A(y1,k1 , . . . , yg−1,kg−1 ), where k = (k1 , . . . , kg−1 ) runs over Zg−1 .
To the pair (U, N) we assign the Abelian cycle
θU,N = A(Tδ1 , · · · , Tδg−1 ) ∈ Hg−1 (HN ).
It follows easily from Proposition 5.4 that the homology class θU,N is independent of the
choice of ∆. It is easy to see that
θU,N = (−1)

(g−1)(g−2)
2

θU,N

(5.4)

As we have already mentioned, for each k = (k1 , . . . , kg−1 ), the mutlicurve
g−1
g−1
(Tγk11 · · · Tγkg−1
)(∆) = Tγk11 (δ1 ) ∪ · · · ∪ Tγkg−1
(δg−1 )

belongs to DU[k] . Therefore,
θU[k],N = A(y1,k1 , . . . , yg−1,kg−1 ).
Combining Corollary 5.7 and Proposition 5.3, we obtain the following proposition.
Proposition 5.8. The group Hg−1 (HN ) is generated by the Abelian cycles θU,N , where U
runs over UN . All relations between the Abelian cycles θU,N in Hg−1 (HN ) follow from
relations (5.4).
18

Proposition 5.9. Suppose that M ∈ Mm and M ⊇ N. Then
StabHN (M) ∼
· · × F∞
= |F∞ × ·{z
}
2g−3−m factors

In particular, cd(StabHN (M)) = 2g − 3 − m.

Proof. Since D(M) = g, formula (3.1) yields |M| = m + g = |N| + m − g + 2. Let
ε1 , . . . , εm−g+2 be the components of M that are not components of N. It is easy to see
that two different components εs and εt cannot lie in the same component Yi of Sg \ N.
Suppose that εs lies in Yis , s = 1, . . . , m − g + 2, and put
I = {i1 , . . . , im−g+2 },

I ′ = [g − 1] \ I.

The curve εs decomposes Yis into two pieces either of which is a three-punctured sphere.
Hence PMod(Yis \εs ) = 1. Therefore no non-trivial element of PMod(Yis ) fixes a curve εs .
It follows easily that the subgroup StabHN (M) ⊆ HN is exactly the direct product of the
2g − 3 − m factors in decomposition (5.3) with numbers in I ′ .

5.3. Homomorphisms ΦN . We take N ∈ O and study the corresponding spectral seb∗ (N). The following proposition implies that this spectral sequence is well
quence E
∗,∗
defined.
Proposition 5.10. Any Ig -orbit N ∈ O is perfect.
Proof. Assume that M ∈ M is an oriented multicurve containing a submulticurve N
that belongs to N. Denote the components of N as in (5.1). If γ is a component of M
that is not contained in N, then γ is contained in one of the components Yi of Sg \ N. It
follows easily that γ is not homologous to any of the curves αj . Therefore, any (2g − 2)component submulticurve N ′ ⊆ M different from N contains a component that is not
homologous to any component of N. Thus, N ′ ∈
/ N.

Since N ⊆ Mg−2 , the following proposition is a direct consequence of formulae (4.3)
and (4.4) and Proposition 5.9.
1
bp,q
Proposition 5.11. E
(N) = 0 whenever either p + q > 2g − 3 or p < g − 2.

b ∗ (N) either from
Corollary 5.12. All differentials dr , r ≥ 1, of the spectral sequence E
∗,∗
r
∞
1
b
b
b
or to the groups Eg−2,g−1 (N) are trivial. Hence Eg−2,g−1 (N) = Eg−2,g−1 (N).

b∞
b1
By (4.5), the group E
g−2,g−1 (N) = Eg−2,g−1 (N) is isomorphic to H2g−3 (HN ), where
N ∈ N. However, this isomorphism is canonical only up to sign, since it depends on the
orientation of the cell PN . Once we have chosen a presentation of N in form (5.1), we get
the orientation of PN in the following way. The cell PN is isomorphic to the cube [0, 1]g−2 .
Namely, the isomorphism ϕ : [0, 1]g−2 → PN is given by
ϕ(t1 , . . . , tg−2 ) = l0 α0 + lg−1 αg−1 +

g−2
X
i=1


li (1 − ti )αi + ti αi′ .

(5.5)

So we may endow PN with the orientation corresponding to the standard orientation
of [0, 1]g−2. It is easy to see that re-ordering the components of N by (5.2), we change
the orientation of PN by the sign (−1)(g−1)(g−2)/2 .
b1
For each splitting U = (U0 , . . . , Ug−1 ) ∈ UN , we construct an element θU ∈ E
g−2,g−1 (N)
in the following way. Choose N ∈ N. There are two different possibilities to denote the
components of N by αi and αi′ so that to satisfy conditions (N1)–(N4). However, exactly
19

βg−2

β2

β1′
δ1

β2′
δ2

g−

2

αg−1

′
βg−2

α0

α

2

α2

′

α1

α′2

β1

α g−

α′1

δ3

δg−2

δg−1

Figure 6. Multicurves Γ and N
one of these two possibilities in addition satisfies [αi ] ∈ Ui , i = 0, . . . , g − 1. We fix this
particular presentation of N in form (5.1), and endow PN with the corresponding orientab1
tion. Let θU be the image of θU,N under the isomorphism ιPN : Hg−1 (HN ) → E
g−2,g−1 (N)
corresponding to this choice of the orientation. It is easy to see that the element θU is
independent of the choice of a multicurve N in N. If we replace U with U, then the
orientation of PN will change by the sign (−1)(g−1)(g−2)/2 . Combining this with (5.4), we
get θU = θU . Hence Proposition 5.8 can be reformulated as follows.
b1
Proposition 5.13. The group E
g−2,g−1 (N) is the free Abelian group with basis consisting
of the elements θU = θU , where U runs over UN . In other words, the elements θU ,
1
bg−2,g−1
where U ∈ UN , generate E
(N) and all relations between them follow from the
relations θU = θU .
We denote by ΦN the composition of mappings
b

projection
ΠN
∞
b∞
b1
Fg−2,g−1 −−−−−→ Fg−2,g−1/Fg−3,g = Eg−2,g−1
−−→
E
g−2,g−1 (N) = Eg−2,g−1 (N).

Proposition 5.14. Suppose that U ∈ U, b ∈ B(U), and N ∈ O. Then the Abelian
cycle AU,b lies in Fg−2,g−1 and

θU if N = NU ,
ΦN (AU,b ) =
(5.6)
0 if N 6= NU .
Proof. Consider a multicurve Γ = ∆ ∪ L satisfying conditions (∆1)–(∆3) and (L1)–
(L3), and use notation in Section 2.1. In particular, let xi = li ai be the summands in
decomposition (2.2). Put fi = Tβi Tβ−1
′ , i = 1, . . . , g − 2.
i
We construct an oriented multicurve N as follows. We choose arbitrary oriented simple
closed curves α0 ⊂ X0 and αg−1 ⊂ Xg−1 that represent the homology classes a0 and ag−1 ,
respectively. For every i = 1, . . . , g −2, we choose an oriented simple closed curve αi in Xi
that represents the homology class ai and has a unique intersection point with either of
the curves βi and βi′, and we put αi′ = fi (αi ). It is easy to see that the curves αi , αi′ , βi ,
and δi are situated as it is shown in Fig. 6. (More precisely, we can choose the curves
αi′ in the isotopy classes fi (αi ) so that the curves are situated as it is shown in Fig. 6.)
Then the oriented multicurve
′
N = α0 ∪ α1 ∪ α1′ ∪ · · · ∪ αg−2 ∪ αg−2
∪ αg−1

satisfies conditions (N1)–(N4) and is disjoint from ∆ = δ1 ∪· · ·∪δg−1 . Therefore N ∈ NU .
Consider the homology class
u = A(Tδ1 , . . . , Tδg−1 ) ∈ Hg−1 (StabIg (N)).
Then
AU,b = A(f1 , . . . , fg−2 , Tδ1 , . . . , Tδg−1 ) = A(f1 , . . . , fg−2 ; u).
20

For i = 1, . . . , g − 2, let Ni be the (2g − 3)-component oriented multicurve obtained
from N by deleting the component αi′ and let Ni′ be the (2g − 3)-component oriented
multicurve obtained from N by deleting the component αi . Let ϕ : [0, 1]g−2 → PN be the
isomorphism given by (5.5). Then PNi = ϕ(Fi ) and PNi′ = ϕ(Fi′ ), where Fi and Fi′ are
the facets of the cube [0, 1]g−2 given by ti = 0 and ti = 1, respectively. Since fi (αi ) = αi′
and fi stabilizes αj and αj′ unless j = i, we have fi (Ni ) = Ni′ . Moreover, the action
by fi yields the homeomorphism PNi → PNi′ that is identified by ϕ with the parallel
translation taking Fi to Fi′ . Therefore the cell PN , the homeomorphism ϕ, the mapping
classes f1 , . . . , fg−2 , and the homology class u satisfy all conditions in Lemma 3.9. Hence
∞
AU,b belongs to Fg−2,g−1 and goes under the projection Fg−2,g−1 → Eg−2,g−1
to the class
1
represented by ιPN (A(Tδ1 , . . . , Tδg−1 )) ∈ Eg−2,g−1 . Since

θU if N = Ig N,

b
ΠN ιPN (A(Tδ1 , . . . , Tδg−1 )) =
0 if N 6= Ig N,
we obtain (5.6).



Theorem 2.1 follows from Propositions 5.13 and 5.14.
6. Proof of Theorem 2.7
6.1. Multicurves N. Let us consider a (2n + 1)-component oriented multicurve
N = α0 ∪ α1 ∪ α1′ ∪ · · · ∪ αn ∪ αn′

(6.1)

that satisfies the following conditions (see Fig. 7):
(N1n ) all components of N are non-separating simple closed curves,
(N2n ) αi′ is homologous to αi for i = 1, . . . , n,
(N3n ) Sg \ N consists of n + 1 connected components Y1 , . . . , Yn+1 such that
• for each i = 1, . . . , n, Yi is a four-punctured sphere that is adjacent to αi
′
and αi−1
from the left and is adjacent to αi′ and αi−1 from the right, where
we use the convention α0′ = α0 ,
• Yn+1 is a twice-punctured surface of genus g ′ = g − n − 1 that is adjacent
to αn from the right and to αn′ from the left,
(N4n ) x = l0 [α0 ] + · · · + ln [αn ] for some positive integers l0 , . . . , ln .
It is easy to see that any oriented multicurve N satisfying these conditions belongs
to Mn . We denote by On the set of Ig -orbits in Mn consisting of oriented multicurves
satisfying conditions (N1n )–(N4n ).
It is not hard to see that for each U ∈ Un , there is a unique Ig -orbit DU of multicurves
∆ = δ1 ∪· · ·∪δn satisfying conditions (∆1n )–(∆3n ). Unlike the previous section, we do no
need to care about the order of components of ∆, since every mapping class stabilizing ∆
necessarily stabilizes every component δi .
We say that a splitting U ∈ Un and an orbit N ∈ On are compatible if there are
multicurves ∆ ∈ DU and N ∈ N that are disjoint from each other. It is easy to see that
this happens if and only if αi ⊂ Xi , αi′ ⊂ Xi , and δi ⊂ Yi for all i, see Fig. 8. Then
[αi ] = [αi′ ] = ai , where xi = li ai are the components of x in decomposition (2.6). We
denote by UN the set of all splittings U ∈ Un that are compatible with N.
Suppose that U = (U0 , . . . , Un ) ∈ Un and use notation in Section 2.3. Choose homology classes bi ∈ Ui such that ai · bi = 1, i = 0, . . . , n − 1. For each integral vector
k = (k1 , . . . , kn ) ∈ Zn , we define the shift of U by k to be the splitting
(k)

U[k] = U0

⊕ · · · ⊕ Un(k)

21

α0

α1

α2

αn

α′1

α′2

α′n

Y1

Y2

Yn+1
Figure 7. Multicurve N

X0

X1

X2

α1
α0

δ1
Y1

Xn

α2

α′1

α′2

δ2

αn

δ3

δn

α′n

Y2

Yn+1

Figure 8. Compatible multicurves ∆ and N
(k)

such that for i = 0, . . . , n − 1, Ui

(k)

= ai , bi

, where

(k)

b0 = b0 + k1 a1 ,
(k)

bi
(k)

= bi + ki ai−1 + ki+1 ai+1 ,
(k)

(k)

and Un is the orthogonal complement of U0 ⊕· · ·⊕Un−1 with respect to the intersection
form. As in the previous section, U[k] is independent of the choice of the classes bi , U[k]
belongs to Un , and U[k][k′ ] = U[k + k′ ] for any k, k′ ∈ Zn . Therefore, shift yields the
free action of Zn on Un .
The proofs of the following three propositions are completely similar to the proofs of
Propositions 5.2, 5.3, and 5.4, respectively.
Proposition 6.1. For each splitting U ∈ Un , there exists a unique orbit NU ∈ On
compatible with it.
Proposition 6.2. Suppose that N ∈ On . Then
(1) there is a splitting U ∈ Un compatible with N,
(2) if U ∈ Un is a splitting compatible with N, then a splitting V ∈ Un is compatible
with N if and only if V = U[k] for certain k ∈ Zn .
Proposition 6.3. Suppose that a splitting U ∈ Un is compatible with an orbit N ∈ On .
e are two multicurves in DU either of which is disjoint
Suppose that N ∈ N and ∆ and ∆
e
from N. Then there exists a mapping class h ∈ Ig such that h(N) = N and h(∆) = ∆.
6.2. The group HN and its homology. Let N be an oriented multicurve satisfying
conditions (N1n )–(N4n ). Put N = Ig N.
Suppose that U ∈ UN . Then there exists a multicurve ∆ = δ1 ∪ · · · ∪ δn that belongs
to DU and is disjoint from N. Moreover, we have δi ⊂ Yi for all i. For each i = 1, . . . , n,
take an oriented simple closed curve γi ⊂ Yi that represents the homology class [αi ]−[αi−1 ]
and has geometric intersection number 2 with δi , see Fig. 5.
22

Recall that Yn+1 is the oriented surface of genus g ′ = g − n − 1 with two punctures.
Since n ≤ g − 3, we have g ′ ≥ 2. Let Σ be the one-point compactification of Yn+1 . Then
Σ is homeomorphic to a closed oriented surface of genus g ′ with two points identified.
Since every homeomorphism of Yn+1 onto itself extends uniquely to Σ, we obtain that the
′
group PMod(Yn+1 ) acts naturally on H1 (Σ) ∼
= Z2g +1 . Let G be the kernel of this action.
The following analog of Proposition 5.5 describies the subgroup
HN ⊆ PMod(Sg \ N) = PMod(Y1 ) × · · · × PMod(Yn ) × PMod(Yn+1).
Proposition 6.4. We have
HN = F∞ × · · · × F∞ × G,
|
{z
}

(6.2)

n factors

where for each i, the ith factor F∞ is the subgroup of PMod(Yi ) generated freely by the
elements yi,k = Tγki Tδi Tγ−k
, k ∈ Z.
i
Proof. The proof of the inclusion HN ⊆ F∞ × · · · × F∞ × G is completely the same as
the proof of the corresponding inclusion in Proposition 5.5. Besides, yi,k ∈ HN for all i
and k. Hence we only need to prove that G is contained in HN .
Let Y n+1 = Yn+1 ∪ αn ∪ αn′ be the closure of Yn+1 in Sg . It is easy to see that
any mapping class f ∈ PMod(Yn+1) can be represented by an orientation preserving
homeomorphism F : Yn+1 → Yn+1 that extends to a homeomorphism F : Y n+1 → Y n+1
fixing every point of αn ∪αn′ . Extend F by the identity to a homeomorphism Sg → Sg and
let h ∈ Mod(Sg ) be the mapping class represented by this homeomorphism. Obviously,
h stabilizes the homology class an = [αn ]. Suppose that f ∈ G. Then h acts trivially
on the quotient H1 (Sg )/han i. It follows that the action of h on H1 (Sg ) has the form
h∗ (c) = c + s(c · an )an for certain s ∈ Z independent of c. Then the mapping class hTα−s
n
) = f . Thus f ∈ HN .

belongs to StabIg (N) and jN (hTα−s
n
Consider an orientation preserving embedding ψ : Sg′ ,1 → Yn+1 and take λ ∈ Λg′ .
We construct a homology class θU,N,ψ,λ ∈ H3g−5−2n (HN ) in the following way. The
embedding ψ induces the homomorphism ψ∗ : Ig′ ,1 → G. The Dehn twists Tδ1 , . . . , Tδn lie
in the centralizer of G, hence, in the centralizer of the image of ψ∗ . We put
θU,N,ψ,λ = A(Tδ1 , · · · , Tδn ; ψ∗ (ξλ )).
It follows easily from Proposition 6.3 that the homology class θU,N,ψ,λ is independent of
the choice of ∆ ∈ DU .
Proposition 6.5. The homomorphism H3g′ −2 (Ig′ ,1 ) → H3g′ −2 (G) induced by ψ∗ is an
injection.
Proof. Consider an auxiliary oriented closed surface Sg′ +1 of genus g ′ + 1, a nonseparating simple closed curve v on Sg′ +1 , and an orientation-preserving homeomorphism χ : Yn+1 → Sg′ +1 \ v.
It follows from exact sequence (4.1) that
jv : StabIg′ +1 (v) → PMod(Sg′ +1 \ v) is an injection. Arguing as in the proof of Proposition 6.4, one can easily show that the isomorphism PMod(Yn+1 ) ∼
= PMod(Sg′ +1 \ v)
induced by χ takes the groups G exactly to the image of jv . Therefore, Proposition 6.5
follows immediately from Proposition 2.6.

Remark 6.6. The facts that the subgroup G ⊆ PMod(Yn+1 ) consisting of all mapping
classes that act trivially on H1 (Σ) is a factor in (6.2) and goes to the image of jv under
the isomporphism χ∗ are special cases of a result by Putman [13, Theorem 3.3]. The only
difference is that Putman considered surfaces with boundary components rather than
with punctures.
23

It is easy to check that for each k = (k1 , . . . , kn ) ∈ Zn , the mutlicurve

Tγk11 · · · Tγknn (∆) = Tγk11 (δ1 ) ∪ · · · ∪ Tγknn (δn )

belongs to DU[k] . Therefore

θU[k],N,ψ,λ = A(y1,k1 , . . . , yn,kn ; ψ∗ (ξλ )).
Combining Propositions 6.4, 6.5, and 6.2 and using the Künneth theorem, we obtain
the following.
Proposition 6.7. Let us fix N, N, and ψ as above. Then the homology classes θU,N,ψ,λ ,
where U runs over UN and λ runs over Λg′ , are linearly independent in H3g−5−2n (HN ).
The following proposition is substantially contained in [2]. For the convenience of the
reader, we explain how to extract its proof from [2].
Proposition 6.8. Suppose that M ∈ Mm . Then
cd(HM ) ≤ 3g − 5 − m − bp(M),

(6.3)

where bp(M) is the rank of the free Abelian group BP(M).
Proof. Denote the connected components of Sg \ M by R1 , . . . , RZ so that Ri has genus
gi ≥ 1 for 1 ≤ i ≤ P and Ri has genus 0 for P + 1 ≤ i ≤ Z. Let pi be the number of
punctures of Ri . The proof of Lemma 6.12 in [2] contains the estimate
cd(HM ) ≤

P
Z
X
X
(3gi + pi − 4) +
(pi − 3).
i=1

i=P +1

Further, in the proof of Lemma 6.13 in [2] it is shown that the right-hand side of this
inequality is equal to 3g − 3 − P − |M|. By (3.1), we have |M| = m + D(M) and by
Lemma 6.14 in [2], we have D(M) + P ≥ bp(M) + 2. Combining all these results, we
immediately obtain the required estimate (6.3).

Corollary 6.9. Suppose that M ∈ Mm and M ⊇ N. Then
cd(StabHN (M)) ≤ 3g − 5 − m − n.
Proof. Obviously, StabHN (M) coincides with the image of StabIg (M) under jN . Hence
isomorphisms (4.2) for N and M easily give the short exact sequence
1 → BP(M)/BP(N) → StabHN (M) → HM → 1.
It is easy to see that BP(N) is a direct summand of the free Abelian group BP(M).
Therefore BP(M)/BP(N) is a free Abelian group of rank bp(M) − bp(N) = bp(M) − n.
Hence cd(BP(M)/BP(N)) = bp(M) − n. Now, the required estimate follows from
Proposition 6.8 and the subadditivity of cohomological dimension (cf. [3, Proposition VIII.2.4(b)]).

6.3. Homomorphisms ΦN . We take N ∈ On and study the corresponding spectral
b ∗ (N). The following proposition implies that this spectral sequence is well
sequence E
∗,∗
defined.
Proposition 6.10. Any Ig -orbit N ∈ On is perfect.
Proof. Assume that M ∈ M is an oriented multicurve containing two different sube that belong to N. Denote the components of N by αi , αi′ as
multicurves N and N
e by α
in (6.1) and denote the corresponding components of N
ei , α
ei′ . Similarly, we denote
by Y1 , . . . , Yn+1 the connected components of Sg \ N and by Ye1 , . . . , Yen+1 the connected
24

e . If γ is a component of M that is not contained in N, then γ is
components of Sg \ N
contained in one of the components of Sg \ N. It follows easily that γ is not homologous
to any of the curves α0 , . . . , αn−1 . Besides, if γ is homologous to αn , then γ ⊂ Yn+1 .
Therefore, α
ei = αi for i = 0, . . . , n − 1, α
ei′ = αi′ for i = 1, . . . , n − 1, and each of the
′
curves α
en and α
en either coincides with one of the curves αn and αn′ or lies in Yn+1 . Since
Yen+1 is a connected component of Sg \ (e
αn ∪ α
en′ ) and Yen+1 does not contain α0 = α
e0 , it
follows easily that Yen+1 ⊆ Yn+1 . Similarly, Yn+1 ⊆ Yen+1. Therefore Yn+1 = Yen+1. Thus
α
en = αn and α
en′ = αn′ .

Since N ⊆ Mn , the following proposition is a direct consequence of formulae (4.3)
and (4.4) and Corollary 6.9.
b1 (N) = 0 whenever either p + q > 3g − 5 − n or p < n.
Proposition 6.11. E
p,q

b ∗ (N) either from
Corollary 6.12. All differentials dr , r ≥ 1, of the spectral sequence E
∗,∗
r
∞
1
b
b
b
or to the groups En,3g−5−2n (N) are trivial. Hence En,3g−5−2n (N) = En,3g−5−2n (N).

∞
1
bn,3g−5−2n
bn,3g−5−2n
By (4.5), the group E
(N) = E
(N) is isomorphic to H3g−5−2n (HN ) for
any N ∈ N. Unlike the proof of Theorem 2.1, now this isomorphism is canonical, since we
have a canonical choice of the orientation of PN . Namely, we consider the isomorphism
ϕ : [0, 1]n → PN given by

ϕ(t1 , . . . , tn ) = l0 α0 +

n
X

li (1 − ti )αi + ti αi′

i=1



(6.4)

and endow PN with the orientation corresponding to the standard orientation of [0, 1]n .
1
bn,3g−5−2n
(N) with H3g−5−2n (HN ) along the obtained canonical isomorphism,
Identifying E
1
bn,3g−5−2n
(N).
we may consider the classes θU,N,ψ,λ as elements of E
We denote by ΦN the composition of mappings
projection

Fn,3g−5−2n −−−−−→ Fn,3g−5−2n /Fn−1,3g−4−2n =
b

ΠN
∞
b∞
b1
En,3g−5−2n
−−→
E
n,3g−5−2n (N) = En,3g−5−2n (N).

Proposition 6.13. Suppose that U ∈ Un , (Γ, ψ) ∈ G(U), and N ∈ On . Then the
homology classes AU,Γ,ψ,λ lie in Fn,3g−5−2n and there exists a multicurve N ∈ NU such
that

θU,N,ψ,λ if N = NU ,
(6.5)
ΦN (AU,Γ,ψ,λ ) =
0
if N 6= NU
for all λ ∈ Λg−n−1 . (N depends on Γ and ψ but is independent of λ.)
Proof. We use notation introduced in Section 2.3. In particular, let xi = li ai be the
summands in decomposition (2.6). Put fi = Tβi Tβ−1
′ , i = 1, . . . , n.
i
We construct an oriented multicurve N as follows. First, we choose an arbitrary oriented simple closed curve α0 ⊂ X0 that represents the homology class a0 . Second, for
every i = 1, . . . , n − 1, we choose an oriented simple closed curve αi ⊂ Xi that represents
the homology class ai and has a unique intersection point with either of the curves βi
and βi′ . Third, we choose an oriented simple closed curve αn ⊂ Xn \ ψ(Sg′ ,1 ) that represents the homology class an and has a unique intersection point with either of the
curves βn and βn′ . Finally, we put αi′ = fi (αi ), i = 1, . . . , n.
25

α′1
α1

α′n

β1

αn

βn

α0
βn′

β1′
δ1

δ2

δn

ε

Figure 9. Multicurves Γ and N
It is easy to see that the curves αi , αi′ , βi , δi are situated as it is shown in Fig. 9. (More
precisely, we can choose the curves αi′ in the isotopy classes fi (αi ) so that the curves are
situated as it is shown in Fig. 9.) Then the oriented multicurve
N = α0 ∪ α1 ∪ α1′ ∪ · · · ∪ αn ∪ αn′
satisfies conditions (N1n )–(N4n ) and is disjoint from the multicurve ∆ = δ1 ∪ · · · ∪ δn .
Therefore N belongs to the Ig -orbit NU . Consider the homology classes
uλ = A(Tδ1 , . . . , Tδn ; ψ∗ (ξλ )) ∈ H3g−5−2n (StabIg (N)),

λ ∈ Λg−n−1.

Then
AU,Γ,ψ,λ = A(f1 , . . . , fn , Tδ1 , . . . , Tδn ; ψ∗ (ξλ )) = A(f1 , . . . , fn ; uλ).
Arguing in the same way as in the proof of Proposition 5.14, we obtain that the cell PN ,
the homeomorphism ϕ : [0, 1]n → PN given by (6.4), the mapping classes f1 , . . . , fn ,
and the homology class uλ satisfy all conditions in Lemma 3.9. Hence AU,Γ,ψ,λ belongs
∞
to Fn,3g−5−2n and goes under the projection Fn,3g−5−2n → En,3g−5−2n
to the class repre1
sented by ιPN (A(Tδ1 , . . . , Tδn ; ψ∗ (ξλ)) ∈ En,3g−5−2n . Since

θU,N,ψ,λ if N = Ig N,

b
ΠN ιPN (A(Tδ1 , . . . , Tδn ; ψ∗ (ξλ ))) =
0
if N 6= Ig N,
we obtain (6.5).



Theorem 2.7 follows from Propositions 6.7 and 6.13.
References
[1] T. Akita, Homological infiniteness of Torelli groups, Topology 40:2 (2001), 213–221, arXiv:9712006.
[2] M. Bestvina, K.-U. Bux, D. Margalit, The dimension of the Torelli group, J. Amer. Math. Soc. 23:1
(2010), 61–105, arXiv:0709.0287.
[3] K. S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New
York, 1982, x+306 pp.
[4] B. Farb, Some problems on mapping class groups and moduli space, in Problems on mapping class
groups and related topics, Proc. Sympos. Pure Math. 74, 11–55, Amer. Math. Soc., Providence, RI,
2006, arXiv:0606432.
[5] B. Farb, D. Margalit, A primer on mapping class groups, Princeton University Press, 2012,
xvi+472 pp.
[6] R. Hain, The rational cohomology ring of the moduli space of abelian 3-folds, Math. Res. Lett. 9:4
(2002), 473–491, arXiv:0203057.
[7] N. V. Ivanov, Subgroups of Teichmüller modular groups, Translations of Mathematical Monographs
115, Amer. Math. Soc., 1992, xii+127 pp.
[8] D. Johnson, The structure of the Torelli group I: A finite set of generators for I, Ann. Math. (2)
118:3 (1983), 423–442.
[9] D. Johnson, The structure of the Torelli group III: The Abelianization of I, Topology 24:2 (1985),
127–144.
[10] R. Kirby, Problems in low-dimensional topology, AMS/IP Stud. Adv. Math., v. 2.2, Geometric topology (Athens, GA, 1993), 35–473, AMS, Providence, RI, 1997.
26

[11] D. McCullough, A. Miller, The genus 2 Torelli group is not finitely generated, Topology Appl. 22:1
(1986), 43–49.
[12] G. Mess, The Torelli groups for genus 2 and 3 surfaces, Topology 31:4 (1992), 775–790.
[13] A. Putman, Cutting and pasting in the Torelli group, Geom. Topol. 11 (2007), 829–865,
arXiv:0608373.
[14] W. R. Vautaw, Abelian subgroups of the Torelli group, Algebr. Geom. Topol. (electronic) 2 (2002),
157–170, arXiv:0203131.
Steklov Mathematical Institute of Russian Academy of Sciences, Gubkina str. 8,
Moscow, 119991, Russia
Moscow State University, Leninskie gory 1, Moscow, 119991, Russia
Skolkovo Institute of Science and Technology, Nobel str. 3, Moscow, 121205, Russia
Institute for Information Transmission Problems (Kharkevich Institute), Bolshoy
Karetny per. 19, build. 1, Moscow, 127051, Russia
E-mail address: agaif@mi.ras.ru

27

