SECONDARY CHARACTERISTIC CLASSES FOR SUBGROUPS OF
AUTOMORPHISM GROUPS OF FREE GROUPS

arXiv:1512.06365v2 [math.AT] 14 Feb 2016

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI
A BSTRACT. By analyzing how the Borel regulator classes vanish on various groups related to GL(n, Z), we define three series of secondary characteristic classes for subgroups
of automorphism groups of free groups.
The first case is the IA-automorphism groups and we show that our classes coincide
with higher FR torsions due to Igusa. The second case is the mapping class groups
and our classes also turn out to be his higher torsions which are non-zero multiples of
the Mumford-Morita-Miller classes of even indices. Our construction gives new group
cocycles for these still mysterious classes. The third case is the outer automorphism
groups of free groups of specific ranks. Here we give a conjectural geometric meaning
to a series of unstable homology classes called the Morita classes. We expect that certain
unstable secondary classes would detect them.

1. I NTRODUCTION

AND STATEMENTS OF THE MAIN RESULTS

The Borel regulator classes β2k+1 ∈ H 4k+1 (GL(n, Z); R) (k = 1, 2, . . .) are stable cohomology classes of GL(n, Z) and they play fundamental roles in diverse branches of
mathematics including number theory, algebraic geometry, differential geometry and
topology or more specifically algebraic K-theory and characteristic classes of flat bundles with arithmetic structure groups.
There are two important groups related to GL(n, Z). One is the outer automorphism
group of a free group of rank n, denoted by Out Fn and there exists a natural homomorphism from this group onto GL(n, Z). The other is the integral symplectic group
Sp(2g, Z) which can be considered as a natural subgroup of GL(2g, Z).
Igusa [28] proved that the pull back of all the Borel classes to Out Fn vanish and, more
recently, Galatius [19] proved a definitive result that the stable rational cohomology of
Out Fn is trivial. On the other hand, a classical theorem of Borel [3] which determines
the stable rational cohomology groups of both GL(n, Z) and Sp(2g, Z) implies that the
restriction of the Borel classes to the latter group vanish.
By making use of these vanishing of the Borel regulator classes β2k+1 in various ways,
we define three series of secondary characteristic classes for subgroups of the automorphism groups of free groups.
2000 Mathematics Subject Classification. Primary 20J06, Secondary 55R40, 32G15.
Key words and phrases. Borel regulator class, automorphism group, free group, higher torsion, mapping class group, Morita class.
The authors were partially supported by KAKENHI (No.15H03618), Japan Society for the Promotion
of Science, Japan.
1

2

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

First, in §3 we use the vanishing of β2k+1 on Out Fn , due to Igusa and Galatius, to
define a secondary class
T β2k+1 ∈ H 4k (IOutn ; R)
(see Definition 3.2) , where IOutn denotes the subgroup of Out Fn consisting of all the
elements which act on the abelianization of Fn trivially.
Second, in §4 we compare the above vanishing on Out Fn with that on Sp(2g, Z) for
the case n = 2g to define another secondary class
β̂2k+1 ∈ H 4k (Mg,∗ ; R)
(see Definition 4.2), where Mg,∗ denotes the mapping class group of a genus g closed
surface with a base point and it can be considered as a subgroup of Out F2g .
We show that T β2k+1 is nothing other than the higher FR torsion τ2k (IOutn ) of the
group IOutn due to Igusa [28] (see Theorem 3.5). We also show that β̂2k+1 is the same as
his higher torsion class and this implies that it is a non-zero multiple of the MMM class
e2k of even indices (see Theorem 4.7). Our construction gives a direct relation between
the Borel classes and the MMM classes of even indices.
Finally in §5, which is the “heart” of the present paper, we give a conjectural geometric meaning of the Morita classes µk , which make a series of unstable homology
classes of Out Fn . This is done by considering certain unstable refinements of the above
construction (see Conjecture 5.7 and Conjecture 5.9). This would give a possible way
of proving non-triviality of these classes. At present, only the first three classes are
known to be non-trivial ([45][11][21]). We hope that the results in §3 and §4 would
serve as supporting evidence for the above conjectures.
The present work began by a trial to prove our conjecture on possible geometric
meaning of the Morita classes as sketched in Remark 9.6 of [48] and further discussed
in §5 of the present paper. Meanwhile we found that, by using simpler ideas we can
define certain secondary characteristic classes for the IA automorphism groups as well
as the mapping class groups. Then we noticed that our secondary classes are nothing
other than the higher FR torsion classes due to Igusa (and Klein for the Torelli group)
developed in [28] as stated above. Our results could have been obtained right after
Galatius’ paper [19] appeared. Indeed, it may be said that our construction “realizes”
Igusa’s higher FR torsions from the viewpoint of the theory of group cohomology in
the cases of the above two kinds of groups, based on the vanishing theorem of Galatius.
We hope that our construction would shed a new light on the difficult open problems
of determining whether Igusa’s higher torsion classes as well as the MMM classes of
even indices are non-trivial on IOutn and the Torelli group, respectively. These two
classes are stable characteristic classes in the sense that they are defined for all ranks or
genera. On the other hand, the initial problem of giving a geometric meaning to the
Morita classes treats the exact boundary line between the stable and unstable ranges
for the Borel classes.

SECONDARY CHARACTERISTIC CLASSES

3

2. P RELIMINARIES
In this section, we recall basic theorems concerning the stable cohomology of various groups which we use in this paper. They are, GL(n, Z), Sp(2g, Z), Aut Fn and the
mapping class group Mg . First, we have the following classical result.
Theorem 2.1 (Borel [3]). The cohomology groups H ∗(GL(n, Z); Q) and H ∗ (Sp(2g, Z); Q)
stabilize, with respect to n and g respectively, and the stable cohomology groups are given as
follows.
lim H ∗ (GL(n, Z); R) ∼
= ∧R (β3 , β5 , . . .)
n→∞

lim H ∗ (Sp(n, Z); Q) ∼
= Q[c1 , c3 , . . .].

n→∞

Here
β2k+1 ∈ H 4k+1(GL(n, Z); R) (k = 1, 2, . . .)
denote the Borel regulator classes and c1 , c3 , . . . , c2i−1 , . . . ∈ H ∗ (Sp(2g, Z); Q) denote the
Chern classes of the universal g-dimensional complex vector bundle over the classifying space of the group Sp(2g, Z). The Borel classes are stable classes in the sense
that they are pull backs of the Borel regulator classes βk ∈ H 2k−1 (BGL(∞, C)δ ; C) (k =
1, 2, . . .) under the natural inclusion i : GL(n, Z) → GL(∞, C)δ where
GL(∞, C)δ = lim GL(n, C)δ
n→∞

equipped with the discrete topology. See [15][5] for geometric background of these
classes. We recall a property of the Borel classes for later use.
Proposition 2.2 (see Dupont-Hain-Zucker [16]). The Borel regulator class β2k+1 is primitive. Namely, if we denote by
µ̄ : GL(n, Z) × GL(n′ , Z) → GL(n + n′ , Z)
the natural inclusion, then we have
µ̄∗ (β2k+1 ) = β2k+1 ⊗ 1 + 1 ⊗ β2k+1 .

Next we consider the (outer) automorphism groups of free groups Aut Fn and Out Fn .
Hatcher and Vogtmann [26] (see also [27]) proved that homology groups of these
groups stabilize and Galatius determined the stable homology groups as follows. Let
Aut∞ denote limn→∞ Aut Fn and let QS 0 = limn→∞ Ωn S n .
Theorem 2.3 (Galatius [19]). There exists a homology equivalence (H.e. for short)
H.e.

Z × BAut∞ ∼
= QS 0 .
In particular
lim H ∗ (Aut Fn ; Q) ∼
= lim H ∗ (Out Fn ; Q) ∼
= Q.

n→∞

n→∞

4

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

Finally we consider the mapping class groups. Let Mg denote the mapping class
group of a closed oriented surface Σg of genus g. Also let Mg,∗ and Mg,1 be the mapping class groups of Σg relative to a base point and embedded disk, respectively. Harer
[23] proved that the (co)homology groups of the mapping class groups stabilize and
Madsen and Weiss determined the stable rational cohomology as follows.
Theorem 2.4 (Madsen-Weiss [40]).
lim H ∗ (Mg ; Q) ∼
= Q[MMM classes].
= lim H ∗ (Mg,1 ; Q) ∼
g→∞

g→∞

We also have the following result.
Theorem 2.5 (see Harer [24], Looijenga [39] and Madsen-Weiss [40]).
lim H ∗ (Mg,∗ ; Q) ∼
= Q[e, MMM classes].
g→∞

As for the stable ranges, we refer to [3][32][55] for GL(n, Z), [3][4] for Sp(2g, Z),
[26][27] for the (outer) automorphism groups of free groups and [56] as well as references therein for the mapping class groups.
3. S ECONDARY

CHARACTERISTIC CLASSES FOR THE

IA AUTOMORPHISM

GROUP

In this section, we consider the IA automorphism group, denoted by IAn which is
defined to be the kernel of the natural projection p : Aut Fn → GL(n, Z). Thus we have
the following exact sequence
p

i

1 → IAn → Aut Fn → GL(n, Z) → 1.
The outer automorphism group of Fn is defined as Out Fn = Aut Fn /Inn Fn and we
have the following similar exact sequence
i

p

1 → IOutn → Out Fn → GL(n, Z) → 1.
The first of our three secondary characteristic classes are elements of H ∗ (IAn ; R) and
H ∗ (IOutn ; R) defined as follows. Let
b2k+1 ∈ Z 4k+1 (GL(n, Z); R)
be a (4k + 1)-cocycle of the group GL(n, Z) which represents the Borel regulator class
β2k+1 ∈ H 4k+1 (GL(n, Z); R). We know by Igusa that
p∗ β2k+1 = 0 ∈ H 4k+1 (Out Fn ; R).
Hence we can choose a 4k-cochain
z4k ∈ C 4k (Out Fn ; R)
i

such that δz4k = p∗ b2k+1 . The restriction i∗ z4k of z4k to the subgroup IOutn ⊂ Out Fn is
a cocycle and we can consider its cohomology class
[i∗ z4k ] ∈ H 4k (IOutn ; R).

SECONDARY CHARACTERISTIC CLASSES

5

Proposition 3.1. The cohomology class [i∗ z4k ] ∈ H 4k (IOutn ; R) is well-defined independent
of the choices of b2k+1 and z4k in the stable range n ≥ 2k + 4 of Out Fn . Furthermore it is
GL(n, Z)-invariant so that
[i∗ z4k ] ∈ H 4k (IOutn ; R)GL(n,Z) .

Proof. First we prove the former part of the claim. Let b′2k+1 ∈ Z 4k+1 (GL(n, Z); R) be
another representative of the Borel class β2k+1 and let
′
z4k
∈ C 4k (Out Fn ; R)
′
be a cochain such that δz4k
= p∗ b′2k+1 . Now there exists an element u ∈ C 4k (GL(n, Z); R)
such that
δu = b′2k+1 − b2k+1 .

Then we have
′
δz4k
= p∗ b′2k+1 = p∗ (b2k+1 + δu) = δ(z4k + p∗ u).

It follows that
′
δ(z4k
− z4k − p∗ u) = 0.

By the vanishing theorem of Galatius, there exists an element v ∈ C 4k−1 (Out Fn ; R)
such that
′
z4k
− z4k − p∗ u = δv.
Then we have
′
i∗ z4k
= i∗ z4k + δi∗ v

because i∗ p∗ u = 0. Hence
′
[i∗ z4k
] = [i∗ z4k ] ∈ H 4k (IOutn ; R)

as required.
Next we prove the latter part claiming that this cohomology class is GL(n, Z)-invariant.
For this, it is enough to prove the following. Any element ϕ ∈ Out Fn induces an automorphism ιϕ of IOutn by the correspondence
IOutn ∋ ψ 7→ ιϕ (ψ) = ϕψϕ−1 ∈ IOutn .
Then, under the induced automorphism
ι∗ϕ : H ∗ (IOutn ; R) ∼
= H ∗ (IOutn ; R),
the equality
ι∗ϕ ([i∗ z4k ]) = [i∗ z4k ]
holds. To prove this, observe first that the cohomology class ι∗ϕ ([i∗ z4k ]) is represented
by the cocycle i∗ ι∗ϕ z4k which is the restriction to IOutn of the cochain
ι∗ϕ z4k ∈ Z 4k (Out Fn ; R).
This cochain in turn satisfies the identity
δ(ι∗ϕ z4k ) = ι∗ϕ p∗ b2k+1 .

6

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

If we denote by ιϕ̄ the inner automorphism of GL(n, Z) induced by the projected element ϕ̄ = p(ϕ) ∈ GL(n, Z), then we have the following commutative diagram
ιϕ

Out Fn −−−→


py
ιϕ̄

Out Fn


py

GL(n, Z) −−−→ GL(n, Z).
Then we have ι∗ϕ p∗ b2k+1 = p∗ ι∗ϕ̄ b2k+1 and hence
δ(ι∗ϕ z4k ) = p∗ ι∗ϕ̄ b2k+1 .
Now, as is well known, any inner automorphism of any group induces the identity on
its (co)homology group. Therefore, the cochain ι∗ϕ̄ b2k+1 of the group GL(n, Z) is coho′
mologous to b2k+1 . Hence, by replacing b′2k+1 and z4k
with ι∗ϕ̄ b2k+1 and ι∗ϕ z4k respectively,
in the former argument above, we can conclude that
ι∗ϕ ([i∗ z4k ]) = [i∗ ι∗ϕ z4k ] = [i∗ z4k ]
as required. This completes the proof.



Definition 3.2.
T β2k+1 = [i∗ z4k ] ∈ H 4k (IOutn ; R)GL(n,Z)
0
T β2k+1
= q ∗ [i∗ z4k ] ∈ H 4k (IAn ; R)GL(n,Z)

where
q : IAn → IOutn
denotes the natural projection. By the above construction, we see that our secondary
0
class T β2k+1
is stable in the following sense. Namely, if we denote by
i : IAn → IAn+1
the natural inclusion in the stable range, then we have
0
0
i∗ T β2k+1
= T β2k+1
.

It follows that we can define this class for all n by just pulling back the above stable
class by the natural inclusion IAn ⊂ IAN where N is a large number.
0
Proposition 3.3. The class T β2k+1
is primitive in the following sense. Namely, if we denote
by

µ0 : IAn × IAn′ → IAn+n′
the natural homomorphism, then we have
0
0
0
.
⊗ 1 + 1 ⊗ T β2k+1
) = T β2k+1
µ∗0 (T β2k+1

SECONDARY CHARACTERISTIC CLASSES

7

Proof. Consider the following commutative diagram
IAn × IAn′


i×iy

(1)

Aut Fn × Aut Fn′


p×py

µ0

−−−→
µ

−−−→

µ̄

IAn+n′


iy

Aut Fn+n′


py

GL(n, Z) × GL(n′ , Z) −−−→ GL(n + n′ , Z).
By Proposition 2.2, we have
µ̄∗ β2k+1 = β2k+1 ⊗ 1 + 1 ⊗ β2k+1 .
It follows that there exists a cochain d ∈ C 4k−1 (GL(n, Z) × GL(n′ , Z); R) such that
µ̄∗ b2k+1 = b2k+1 × 1 + 1 × b2k+1 + δd.
Then we have
(p × p)∗ µ̄∗ b2k+1 = δz4k × 1 + 1 × δz4k + (p × p)∗ δd
= δ (z4k × 1 + 1 × z4k + (p × p)∗ d) .
Now, by the definition of T β2k+1
p∗ b2k+1 = δz4k and T β2k+1 = [i∗ z4k ]
so that
µ∗ p∗ b2k+1 = δµ∗ z4k .
Since p ◦ µ = µ̄ ◦ p × p, we can conclude
δ (z4k × 1 + 1 × z4k + (p × p)∗ d) = δµ∗ z4k
and hence
δ(µ∗ z4k − z4k × 1 − 1 × z4k − (p × p)∗ d) = 0.
Thus, the element in the parenthesis above is a cocycle of the group Aut Fn × Aut Fn′ .
In the stable range, where n and n′ are sufficiently large
H 4k (Aut Fn × Aut Fn′ ; R) = 0
by the vanishing theorem of Galatius. Therefore, there exists an element
d′ ∈ C 4k−1 (Aut Fn × Aut Fn′ ; R)
such that
µ∗ z4k − z4k × 1 − 1 × z4k − (p × p)∗ d = δd′ .
Hence
µ∗0 i∗ z4k = (i × i)∗ µ∗ z4k = i∗ z4k × 1 + 1 × i∗ z4k + δ(i × i)∗ d′ .
We now conclude that
µ∗0 [i∗ z4k ] = [i∗ z4k ] ⊗ 1 + 1 ⊗ [i∗ z4k ].
This competes the proof.



8

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

Remark 3.4. The above proposition is a corollary of the following theorem and general
property of the higher FR torsion (see Theorem 5.7.5 of Igusa [28]). However, for completeness, we gave a proof in the framework of this paper. In the next section, it will
be extended to the case of mapping class group (Proposition 4.6). See also Remark 4.8.
Theorem 3.5. The secondary class T β2k+1 is equal to Igusa’s higher FR torsion class τ2k (IOutn ).
Proof. Proof is given by putting the vanishing theorem of Galatius in Igusa’s theory
of higher FR torsions developed in [28]. More precisely, let us consider the following
homotopy commutative diagram

BIOutn


Biy

f0

−−−→

ΩBGL(∞, Z)+


ī0 y
|Whh· (Z, 1)|


īy
h.e.

f
∼
BOut Fn −−−→ Z × BOut+
= QS 0
∞



p̄y
Bpy
f¯

BGL(n, Z) −−−→

Z × BGL(∞, Z)+

described in Proposition 8.5.6 of the above cited book. The point here is that we can
put Galatius’ result
h.e.

0
∼
Z × BOut+
∞ = QS

(see Theorem 2.3) in the third place from the top of the right column. Each of the
two successive three spaces appearing in the right column is a fibration sequence and
each connected component of QS 0 is rationally trivial. Hence the map ī0 on the right
column is a rational homotopy equivalence. Now Igusa’s higher torsion is defined
roughly as follows. He constructs an explicit 4k-cocycle of the Volodin space V (Z),
which is homotopy equivalent to ΩBGL(∞, Z)+ , such that its cohomology class in
H 4k (ΩBGL(∞, Z)+ ; R) corresponds to the Borel class β2k+1 . Since ī0 is a rational homotopy equivalence as above, this cohomology class induces the universal higher FR
torsion class
τ2k ∈ H 4k (|Whh· (Z, 1)|; R).
Then his torsion τ2k (IOutn ) ∈ H 4k (IOutn ; R) is defined to be the image under f0∗ of
the above universal class. Our claim now follows by simply comparing the spectral
sequence for the rational cohomology groups of the fibration given by the lower three
terms of the right column with that of the path fibration over BGL(∞, Z)+ .

Problem 3.6. Construct a cochain z4k ∈ C 4k (Out Fn ; R) such that δz4k = p∗ bH
2k+1 explicH
itly. Here b2k+1 denotes Hamida’s cocycle given in [22] which represents the Borel class
β2k+1 . We can also consider another cocycle for β2k+1 along the line of Dupont [15].

SECONDARY CHARACTERISTIC CLASSES

4. S ECONDARY

9

CHARACTERISTIC CLASSES FOR THE MAPPING CLASS GROUP

In this section, we define secondary classes for the mapping class group by comparing two different ways of vanishing of the Borel regulator classes β2k+1 , one on the
automorphism group of free groups and the other on the Siegel modular group. We
show that they are non-zero multiples of the MMM classes e2k of even indices by relating them to Igusa’s higher torsions for the mapping class groups. This would give a
new geometric meaning to these classes from the viewpoint of the theory of cohomology of groups.
We mention here that, about differences between eodd and eeven classes, there are
several interesting results. Church, Farb and Thibault [8] proved that the former classes
have some nice geometric property which the latter classes do not. On the other hand,
Giansiracusa and Tillmann [20] and Sakasai [53] proved that the former classes vanish
on the handlebody subgroup and Lagrangian subgroup of the mapping class group,
respectively. More strongly, Hatcher [25] proved that the stable rational cohomology
of the handlebody subgroup is the polynomial algebra generated by eeven classes. Also
it was shown in [45] that these classes represent the orbifold Pontrjagin classes of the
moduli space of curves.
Now let Mg,1 denote the mapping class group of a compact oriented genus g surface
with one boundary component as before and let
i : Mg,1 → Aut F2g
be the inclusion given by the classical theorem of Dehn-Nielsen-Zieschang. It induces
a related inclusion
i : Mg,∗ → Out F2g
and we have the following commutative diagrams.
j0

Ig,∗


i0 y

−−−→

Mg,∗


p0 y

−−−→

j

j̄

j̃

IOut2g


iy

Mg,1


qy

−−−→

Out F2g


iy

Mg,∗


p0 y

−−−→

Sp(2g, Z) −−−→ GL(2g, Z),

j

j̄

Aut F2g


q̄ y
Out F2g


py

Sp(2g, Z) −−−→ GL(2g, Z).

As in the previous section, there exists a cochain z4k ∈ C 4k (Out F2g ; R) such that
p∗ b2k+1 = δz4k .
On the other hand, the stable cohomology of Sp(2g, Z) is a polynomial algebra on
c1 , c3 , . . . (see Theorem 2.1) so that there are no cohomology classes of odd degrees.
Hence there exists a cochain y4k ∈ C 4k (Sp(2g, Z); R) such that
j̄ ∗ (b2k+1 ) = δy4k .
Then we have
0 = j ∗ (p∗ b2k+1 ) − p∗0 (j̄ ∗ b2k+1 ) = δ(j ∗ z4k − p∗0 y4k )

10

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

so that
j ∗ z4k − p∗0 y4k ∈ Z 4k (Mg,∗ ; R).
In the stable range, the cohomology class represented by this cocycle can be written as
[j ∗ z4k − p∗0 y4k ] = f (e1 , . . . , e2k ) + eg(e, e1 , . . . , e2k−1 ) ∈ H 4k (Mg,∗; R)
by Theorem 2.5. Also, we have
q ∗ [j ∗ z4k − p∗0 y4k ] = f (e1 , . . . , e2k ) ∈ H 4k (Mg,1 ; R)
where
q : Mg,1 → Mg,∗
denotes the natural projection.
Now it was proved in [42][50] that the homomorphism
p∗0 : H ∗ (Sp(2g, Z); Q) → H ∗ (Mg,∗ ; Q)
is injective, in a certain stable range, and its image is equal to the subalgebra generated by the MMM classes of odd indices. In fact, the pull back of the Chern classes
are those of the Hodge bundle over the moduli space and the totality of them is the
same as that of the MMM classes of odd indices. Hence, by adding suitable cocycles in
Z 4k (Sp(2g, Z); R), we may assume that the polynomial f (e1 , . . . , e2k ) does not contain
monomials of eodd classes.
Proposition 4.1. The cohomology class [j ∗ z4k − p∗0 y4k ] ∈ H 4k (Mg,∗; R) is well-defined independent of the choices of b2k+1 , z4k and y4k .
Proof. Let b′2k+1 ∈ Z 4k+1 (GL(2g, Z); R) be another representative of the Borel class β2k+1
and let
′
′
z4k
∈ C 4k (Out F2g ; R), y4k
∈ C 4k (Sp(2g, Z); R)
′
′
= j̄ ∗ b′2k+1 . We further assume that, in the
= p∗ b′2k+1 and δy4k
be cochains such that δz4k
expression of the cohomology class
′
′
[j ∗ z4k
− p∗0 y4k
] = f ′ (e1 , . . . , e2k ) + eg ′ (e, e1 , . . . , e2k−1 ) ∈ H 4k (Mg,∗ ; R),

the polynomial f ′ (e1 , . . . , e2k ) does not contain any monomial of eodd classes.
Then as in the proof of Proposition 3.1, there exist elements u ∈ C 4k (GL(2g, Z); R)
and v ∈ C 4k−1 (Out F2g ; R) such that
b′2k+1 = b2k+1 + δu,

′
= z4k + p∗ u + δv.
z4k

Hence
′
= j̄ ∗ b′2k+1 = j̄ ∗ (b2k+1 + δu) = δ(y4k + j̄ ∗ u).
δy4k

Therefore, if we set
′
w = y4k
− y4k − j̄ ∗ u,

then w is a cocycle of the group Sp(2g, Z) so that we can consider its cohomology class
[w] ∈ H 4k (Sp(2g, Z); R).
Also
′
y4k
= y4k + j̄ ∗ u + w.

SECONDARY CHARACTERISTIC CLASSES

11

Now we have
′
′
j ∗ z4k
− p∗0 y4k
= j ∗ (z4k + p∗ u + δv) − p∗0 (y4k + j̄ ∗ u + w)

= (j ∗ z4k − p∗0 y4k ) + δj ∗ v − p∗0 w
because j ∗ p∗ u − p∗0 j̄ ∗ u = 0. It follows that
′
′
[j ∗ z4k
− p∗0 y4k
] = [j ∗ z4k − p∗0 y4k ] − p∗0 [w] ∈ H 4k (Mg,∗; R).
′
By the definition of our secondary class β̂2k+1 , both the cohomology classes [j ∗ z4k
−
∗ ′
∗
∗
p0 y4k ] and [j z4k − p0 y4k ] do not contain any monomial of eodd classes. On the other
hand, as mentioned already above, the cohomology class p∗0 [w] is a linear combination
of such monomials. Hence we conclude that p∗0 [w] = 0 and so
′
′
[j ∗ z4k
− p∗0 y4k
] = [j ∗ z4k − p∗0 y4k ] ∈ H 4k (Mg,∗ ; R)

as required. This completes the proof.



Based on the above discussion, we make the following definition.
Definition 4.2.
β̂2k+1 = [j ∗ z4k − p∗0 y4k ] ∈ H 4k (Mg,∗; R),
0
β̂2k+1
= q ∗ (β̂2k+1 ) ∈ H 4k (Mg,1 ; R).
0
By the above construction, we see that our secondary class β̂2k+1
is stable in the following sense. Namely, if we denote by

i : Mg,1 → Mg+1,1
the natural inclusion in the stable range, then we have
0
0
i∗ β̂2k+1
= β̂2k+1
.

It follows that we can define this class for all g by just pulling back the above stable
class by the natural inclusion Mg,1 ⊂ MG,1 where G is a large number.
Problem 4.3. Construct a cochain y4k ∈ C 4k (Sp(2g, Z); R) such that δy4k = j ∗ bH
2k+1 exH
plicitly, where b2k+1 denotes Hamida’s cocycle as before.
Remark 4.4. Let us define subgroups Autsp F2g ⊂ Aut F2g and Outsp F2g ⊂ Out F2g by
setting
Autsp F2g = {ϕ ∈ Aut F2g ; ϕ∗ ∈ Sp(2g, Z)},
Outsp F2g = {ϕ ∈ Out F2g ; ϕ∗ ∈ Sp(2g, Z)}.
These subgroups were already defined by Igusa in [28] and they are strictly larger than
Mg,1 and Mg,∗ . In fact, we have the following exact sequences
1 → IA2g →Autsp F2g → Sp(2g, Z) → 1,
1 → IOut2g →Outsp F2g → Sp(2g, Z) → 1.

12

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

Then our secondary characteristic classes are defined as cohomology classes of these
groups so that we can write
0
β̂2k+1
∈ H 4k (Autsp F2g ; R),

β̂2k+1 ∈ H 4k (Outsp F2g ; R).
0
There is a close relationship between our secondary classes T β2k+1 , T β2k+1
and β̂2k+1 ,
0
β̂2k+1 . More precisely, we have the following result. Let Ig,∗ ⊂ Mg,∗ and Ig,1 ⊂ Mg,1
be the Torelli subgroups of the mapping class groups. Then we have the following
commutative diagrams
j0

j0

Ig,∗ −−−→ IOut2g




i0 y
iy

Ig,1 −−−→


i0 y

Mg,∗ −−−→ Out F2g ,

Mg,1 −−−→ Aut F2g .

j

j

IA2g


iy

Proposition 4.5. We have the following identities.
j0∗ (T β2k+1) = i∗0 (β̂2k+1 ),
0
0
j0∗ (T β2k+1
) = i∗0 (β̂2k+1
).

Proof. It is enough to prove the first identity because the second one follows from it.
By the definition, we have
β̂2k+1 = [j ∗ z4k − p∗0 y4k ].
Hence
i∗0 (β̂2k+1 ) = [i∗0 j ∗ z4k ]
because i∗0 p∗0 = 0. On the other hand
T β2k+1 = [i∗ z4k ]
so that
j0∗ (T β2k+1 ) = [j0∗ i∗ z4k ] = [i∗0 j ∗ z4k ] = i∗0 (β̂2k+1 )
completing the proof.



0
Proposition 4.6. The class β̂2k+1
is primitive in the sense that the equality
0
0
0
µ∗0 (β̂2k+1
) = β̂2k+1
⊗ 1 + 1 ⊗ β̂2k+1

holds, where µ0 denotes the following natural mapping
µ0 : Mg,1 × Mg′ ,1 → Mg+g′ ,1 .

SECONDARY CHARACTERISTIC CLASSES

13

Proof. Proof is given by refining that of Proposition 3.3. Consider the following commutative diagram

Mg,1 × Mg′ ,1


p0 ×p0 y

µ0

−−−→

µ̄0

Mg,1 × Mg′ ,1


µ0 y
Mg+g′


p0 y

j×j

−−−→ Aut F2g × Aut F2g′


µy
j

−−−→

j̄

Sp(2g, Z) × Sp(2g ′, Z) −−−→ Sp(2g + 2g ′, Z) −−−→




j̄ y
j̄×j̄ y

Aut F2g+2g′


py
GL(2g + 2g ′ , Z)

µ̄

GL(2g, Z) × GL(2g ′, Z) −−−→ GL(2g + 2g ′ , Z)

together with the commutative diagram (1) where we replace n and n′ with 2g and 2g ′
respectively. By the definition
0
β̂2k+1
= [j ∗ z4k − p∗0 y4k ]

so that we have to compute
0
µ∗0 β̂2k+1
= µ∗0 [j ∗ z4k − p∗0 y4k ].

(2)

First, we consider the first term in the above expression. We have proved in Proposition
3.3 that there exist cochains
d ∈ C 4k−1 (GL(2g, Z) × GL(2g ′, Z); R),
d′ ∈ C 4k−1 (Aut F2g × Aut F2g′ ; R)
such that
µ∗ z4k = z4k × 1 + 1 × z4k + (p × p)∗ d + δd′ .
It follows that
µ∗0 j ∗ z4k = (j × j)∗ µ∗ z4k
(3)
= j ∗ z4k × 1 + 1 × j ∗ z4k + (j × j)∗ (p × p)∗ d + δ(j × j)∗ d′ .
Next we consider the second term of (2). By the definition we have j̄ ∗ β2k+1 = δy4k .
Hence
µ̄∗0 j̄ ∗ b2k+1 = µ̄∗0 δy4k = δ µ̄∗0 y4k .

(4)
On the other hand

µ̄∗0 j̄ ∗ b2k+1 = (j̄ × j̄)∗ µ̄∗ b2k+1
= (j̄ × j̄)∗ (b2k+1 × 1 + 1 × b2k+1 + δd)

(5)

= δy4k × 1 + 1 × δy4k + δ(j̄ × j̄)∗ d.
From (4) and (5), we obtain
δ (µ̄∗0 y4k − y4k × 1 − 1 × y4k − (j̄ × j̄)∗ d) = 0.
Therefore, if we set
d′′ = µ̄∗0 y4k − y4k × 1 − 1 × y4k − (j̄ × j̄)∗ d,

14

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

then d′′ is a cocycle of the group Sp(2g, Z) × Sp(2g ′, Z) so that we can consider its cohomology class
[d′′ ] ∈ H 4k (Sp(2g, Z) × Sp(2g ′ , Z); R)
and
µ̄∗0 y4k = y4k × 1 + 1 × y4k + (j̄ × j̄)∗ d + d′′ .
It follows that
(6)

µ∗0 p∗0 y4k = (p0 × p0 )∗ µ̄∗0 y4k
= (p0 × p0 )∗ (y4k × 1 + 1 × y4k + (j̄ × j̄)∗ d + d′′ ).

By combining (3) and (6), we obtain
µ∗0 j ∗ z4k − µ∗0 p∗0 y4k =j ∗ z4k × 1 + 1 × j ∗ z4k + (j × j)∗ (p × p)∗ d + δ(j × j)∗ d′
(7)

− (p0 × p0 )∗ (y4k × 1 + 1 × y4k + (j̄ × j̄)∗ d + d′′ )
=(j ∗ z4k − p∗0 y4k ) × 1 + 1 × (j ∗ z4k − p∗0 y4k )
+ δ(j × j)∗ d′ − (p0 × p0 )∗ d′′ .

Here we have used the equality
(j × j)∗ (p × p)∗ d = (p0 × p0 )∗ (j̄ × j̄)∗ d
which follows form the commutativity of the following diagram
Mg,1 × Mg′ ,1


p0 ×p0 y

j×j

−−−→

Aut F2g × Aut F2g′


p×py

j̄×j̄

Sp(2g, Z) × Sp(2g ′ , Z) −−−→ GL(2g, Z) × GL(2g ′ , Z).
By combining (2) with (7) above, we now conclude that
0
µ∗0 β̂2k+1
= µ∗0 [j ∗ z4k − p∗0 y4k ]

(8)

= [j ∗ z4k − p∗0 y4k ] × 1 + 1 × [j ∗ z4k − p∗0 y4k ] − (p0 × p0 )∗ [d′′ ]
0
0
= β̂2k+1
⊗ 1 + 1 ⊗ β̂2k+1
− (p0 × p0 )∗ [d′′ ].

0
By the definition of the class β̂2k+1
again, it contains no monomials of MMM classes
of odd indices, namely those of the form ej2i11 −1 · · · ej2iss −1 . Also any MMM class ei is
primitive (see [41] [42]) so that

µ∗0 ei = ei ⊗ 1 + 1 ⊗ ei ∈ H 4i (Mg,1 × Mg′ ,1 ; Q).
0
It follows that the class µ∗0 β̂2k+1
does not contain any term of the following form

(9)

j′

j′

ej2i11 −1 · · · ej2iss −1 ⊗ e2i1′ −1 · · · e2it ′ −1 .
1

t

Now as was recalled in §2, Borel [3] proved that
H ∗ (Sp(2g, Z); Q) ∼
= Q[c1 , c3 , . . .]
in a certain stable range. It follows that
H ∗ (Sp(2g, Z) × Sp(2g, Z); Q) ∼
= Q[c1 , c3 , . . .] ⊗ Q[c1 , c3 , . . .]

SECONDARY CHARACTERISTIC CLASSES

15

again in a certain stable range. The cohomology class [d′′ ] appearing in (8) belongs to
this group but with the real coefficients.
On the other hand, as was already mentioned above, the homomorphism
p∗0 : H ∗ (Sp(2g, Z); Q) → H ∗ (Mg,1 ; Q)
is known to be injective, in a certain stable range, and its image is precisely the subalgebra of Q[e1 , e2 , . . .] generated by eodd classes. Hence the class (p0 × p0 )∗ [d′′ ] is a linear
combination of terms of the form described in (9).
By the above argument, we finally conclude that [d′′ ] = 0 and hence
0
0
0
µ∗0 β̂2k+1
= β̂2k+1
⊗ 1 + 1 ⊗ β̂2k+1

as required. This completes the proof.



The following is the main theorem of this section.
0
Theorem 4.7. The secondary class β̂2k+1
∈ H 4k (Mg,1; R) is a non-zero multiple of the 2k-th
MMM class e2k . More precisely

0
β̂2k+1
= (−1)k ζ(2k + 1)

e2k
.
2(2k)!

0
Proof. By the previous proposition, β̂2k+1
is a primitive cohomology class contained in
4k
H (Mg,1 ; R). On the other hand, by the result of Madsen and Weiss (Theorem 2.4),
the stable rational cohomology group of the mapping class group Mg,1 is isomorphic
to the polynomial algebra generated by the MMM classes ei all of which are primitive
0
as mentined above. Hence we conclude that β̂2k+1
is a multiple of e2k .
0
The final part of the proof, namely the non-triviality of our class β̂2k+1
, relies crucially
on two results of Igusa given in [28]. One is his construction of a map

(10)

BOutsp F2g → |Whh· (Z, 1)|

which induces the higher torsion classes of the group Outsp F2g . The other is his determination (with Hain and Penner) of the higher torsion classes of the mapping class
group (Theorem 8.5.10 of [28]). Here Igusa mentions that, although his axiomatic
higher torsion ([30]) is only defined on the Torelli group Ig,∗ and not on the mapping
class group (surface bundles are not unipotent bundles in general), a higher FR torsion
is defined on Mg,∗ as well by using, what he calls, a framed function on even fiberwise
suspension of the total spaces of surface bundles with sections. We refer to Igusa’s
books [28][29] for details.

16

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

Now we would like to consider the above mapping (10) in our context by examining
the following homotopy commutative diagram.

Bj0

BIOut2g


Bisp
0 y

BIOut2g


Biy

BIg,∗


Bi0 y

−−−→

BMg,∗


Bp0 y

−−−→ BOutsp F2g −−−→ BOut F2g




Bpy
Bpsp
0 y

Bj

Bj sp

Bj̄

ΩBGL(∞, Z)+


ī0 y

f0

−−−→

|Whh· (Z, 1)|


īy
h.e.

f
0
∼
−−−→ Z × BOut+
∞ = QS


p̄y
f¯

BSp(2g, Z) −−−→ BGL(2g, Z) −−−→ Z × BGL(∞, Z)+ .
By the result of Borel, the composed mapping f¯ ◦ Bj̄ is rationally homotopic to the
constant map when we let g go to the infinity. We choose a homotopy
BSp(2g, Z)

H( , t) : BSp(2∞, Z) × I → Z × BGL(∞, Z)+
such that H( , 0) = f¯ ◦ Bj̄ and H( , 1) is the constant map and let
h.e.

0
∼
e , t) : BOutsp F2∞ × I → Z × BOut+
H(
∞ = QS
e , 0) = f ◦ Bj sp . Then the mapping H(
e , 1) gives
be the mapping which covers H and H(

the desired mapping (10) (but defined only over the rationals). In this situation, we can
refine the argument of the proof of Theorem 3.5. More precisely, taking the homotopies
e into account we adjust the cochain j ∗ z4k by subtracting p∗ y4k to make a cocycle.
H, H
0
0
We then conclude that our construction of the secondary class β̂2k
“realizes” the higher
torsion classes induced by (10) in the framework of group cocycles.
Then the non-triviality as well as the precise constant follows from the determination
of the higher torsion classes mentioned above.

Remark 4.8. We have given the proof of Theorem 4.7 above within the framework of
the theory of cohomology of groups as much as possible, more precisely except for the
non-triviality (which is the most important property of course). It should be desirable
to have a proof of the non-triviality purely in the context of the present paper.
Remark 4.9. We call our classes secondary characteristic classes associated with the vanishing of the Borel classes. However, the Borel classes are already secondary classes
associated with the vanishing of the Chern classes on certain flat bundles. Therefore
our classes are, so to speak, secondary secondary classes. Our result shows that these
classes go back to the primary classes of the mapping class group, namely the MMM
classes (of even indices).
5. C ONJECTURAL

GEOMETRIC MEANING OF THE

M ORITA

CLASSES

In this section, we propose a conjectural meaning of the Morita classes
µk ∈ H4k (Out F2k+2 ; Q)

(k = 1, 2, . . .)

SECONDARY CHARACTERISTIC CLASSES

17

which were introduced in [45] by making essential use of the foundational works of
Culler and Vogtmann [13] and Kontsevich [35][36]. It was conjectured there that all the
classes are non-trivial. At present, only the first three classes have been proved to be
non-trivial ([45][11][21]).
We expect that the Morita classes will be detected by certain secondary classes associated with the difference between two reasons for the vanishing of Borel regulator
classes. The definition of our secondary classes is given in a similar way as the case
of the mapping class group treated in the previous section (although our actual development was done in the reverse order). More precisely, in that case we made use of
the vanishing of β2k+1 on Out Fn as well as on Sp(2g, Z), while in the present case we
replace Sp(2g, Z) with GL(2k + 2, Z) where 2k + 2 is our conjectural optimal rank where
β2k+1 vanishes.
Let us first recall a paper [37] by Lee where he mentioned that β2k+1 does not vanish
in H 4k+1(GL(n, Z); R) for all n ≥ 2k + 3. On the other hand, we have the following
vanishing result.
Theorem 5.1 (Bismut-Lott [2], Lee [37], Franke [18]). For any integer k = 1, 2, . . ., the
Borel regulator class β2k+1 vanishes in H 4k+1 (GL(2k + 1, Z); R).
Thus the remaining open problem for the (non-)triviality of β2k+1 is as follows.
Problem 5.2. For each integer k ≥ 1, determine whether the Borel class β2k+1 vanish in
H 4k+1 (GL(2k + 2, Z); R) or not.
The first two cases of the above problem have been solved. Lee and Szczarba [38]
proved that H 5 (GL(4, Z); Q) = 0 so that β3 = 0 ∈ H 5 (GL(4, Z); R). Also Elbaz-VincentGangl-Soulé [17] proved that H 9 (GL(6, Z); Q) = 0 so that β5 = 0 ∈ H 9 (GL(6, Z); R).
Based on these results, we would like to propose the following.
Conjecture 5.3. For any integer k = 1, 2, . . ., the Borel regulator class β2k+1 vanishes in
H 4k+1 (GL(2k + 2, Z); R).
Assuming this conjecture, we define secondary cohomology classes
◦

β 2k+1 ∈ H 4k (Aut F2k+2 ; R)
as follows. Let b2k+1 ∈ Z 4k+1 (GL(n, Z); R) be a cocycle representing β2k+1 as before and
consider the following commutative diagram.
Aut F2k+2


p0 y

j

−−−→

j̄

Aut Fn


py

GL(2k + 2, Z) −−−→ GL(n, Z).
Then, again as before, there exists a cochain z4k ∈ C 4k (Aut Fn ; R) such that
p∗ b2k+1 = δz4k .

18

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

Next j̄ ∗ β2k+1 = 0 ∈ H 4k+1 (GL(2k + 2, Z); R) by the assumption. Hence there exists a
cochain x4k ∈ C 4k (GL(2k + 2, Z); R) such that
j̄ ∗ b2k+1 = δx4k .
Then we have
δ(j ∗ z4k − p∗0 x4k ) = j ∗ p∗ b2k+1 − p∗0 j̄ ∗ b2k+1 = 0
so that (j ∗ z4k − p∗0 x4k ) is a 4k-cocycle of the group Aut F2k+2 .
Definition 5.4. We define
◦

β 2k+1 = [j ∗ z4k − p∗0 x4k ] ∈ H 4k (Aut F2k+2 ; R).
◦

Proposition 5.5. The cohomology class β 2k+1 is well-defined independent of the choices of
b2k+1 ,z4k and x4k modulo the indeterminacy

Im H 4k (GL(2k + 2, Z); R) → H 4k (Aut F2k+2 ; R) .

Proof. First observe that we can add any 4k-cocycle of GL(2k + 2, Z) to a given x4k so
◦

that the cohomology class β 2k+1 can vary freely within the indeterminacy. Now let
′
, x′4k be another set of choices so that
b′2k+1 , z4k
′
p∗ b′2k+1 = δz4k
,

j̄ ∗ b′2k+1 = δx′4k .

Then, as before, there exist elements u ∈ C 4k (GL(n, Z); R) and v ∈ C 4k−1 (Out Fn ; R)
such that
′
b′2k+1 = b2k+1 + δu and z4k
= z4k + p∗ u + δv.
It follows that
δx′4k = j̄ ∗ b′2k+1 = j̄ ∗ (b2k+1 + δu) = δx4k + j̄ ∗ δu
and so (x′4k − x4k − u) is a cocycle of GL(2k + 2, Z) and we have
[x′4k − x4k − j̄ ∗ u] ∈ H 4k (GL(2k + 2, Z); R).
On the other hand
′
(j ∗ z4k
− p∗0 x′4k ) − (j ∗ z4k − p∗0 x4k ) = j ∗ (p∗ u + δv) − p∗0 (x′4k − x4k )

= −p∗0 (x′4k − x4k − j̄ ∗ u) + δj ∗ v.
Hence
′
[j ∗ z4k
− p∗0 x′4k ] = [j ∗ z4k − p∗0 x4k ] − p∗0 [x′4k − x4k − j̄ ∗ u] ∈ H 4k (Aut F2k+2 ; R).

Therefore
′
[j ∗ z4k
− p∗0 x′4k ] = [j ∗ z4k − p∗0 x4k ]

mod indeterminacy

as required.


◦

There is a close relation between the secondary classes β 2k+1 and T β2k+1 as below,
◦

which shows that the class β 2k+1 can be interpreted as an “extension” of T β2k+1 to the
whole group Aut F2k+2 at the “critical rank” n = 2k + 2.

SECONDARY CHARACTERISTIC CLASSES

19
◦

Proposition 5.6. Let i : IA2k+2 ⊂ Aut F2k+2 be the inclusion. Then for any choice of β 2k+1
within its indeterminacy, we have the identity
◦

i∗ β 2k+1 = T β2k+1 ∈ H 4k (IA2k+2 ; R)GL(2k+2,Z) .
Proof. This follows easily from the definitions of the two classes, because i∗ p∗0 x4k = 0
for any x4k .

To state our conjecture, recall that Conant and Vogtmann [11] proved that the class
µk has a natural lift in H4k (Aut F2k+2 ; Q) under the projection Aut F2k+2 → Out F2k+2
which we denote by the same letter. We refer to [33] for the relation between the rational homology groups of Aut Fn and Out Fn in general.
◦

Conjecture 5.7. For a suitable choice of β 2k+1 within the indeterminacy, we have
◦

hβ 2k+1 , µk i =
6 0.

Remark 5.8. If the projected image (p0 )∗ (µk ) 6= 0 ∈ H4k (GL(2k + 2, Z); Q), then the
◦

above conjecture holds “trivially” because we can add to β 2k+1 the pull back under p∗0
of an element in H 4k (GL(2k + 2, Z); Q) which detects (p0 )∗ (µk ). On the other hand, if
◦

(p0 )∗ (µk ) = 0, then it is easy to see that the value hβ 2k+1 , µk i does not depend on the
◦

choice of β 2k+1 within the indeterminacy.
We have also the following “dual version” of the above argument. It applies to the
case (p0 )∗ (µk ) = 0 and is based on the following two results. One is due to Conant and
Vogtmann [12] who proved that µk ∈ H4k (Aut F2k+2 ; Q) vanishes in H4k (Aut F2k+3 ; Q)
under the natural inclusion F2k+2 ⊂ F2k+3 . The other is one particular result, in a
recent remarkable paper [10] by Conant, Hatcher, Kassabov and Vogtmann, that µk is
supported on a certain free abelian subgroup Z4k ⊂ Out F2k+2 . Here they also give a
new proof of the above vanishing result under one stabilization.
Our strategy is as follows. By using the above mentioned result in [10], we can
construct an explicit (2k + 3)-chain uf ∈ C2k+3 (Out F2k+3 ; Q) which bounds the abelian
cycle j(Z4k ) ⊂ Out F2k+3 . On the other hand, by the assumption (p0 )∗ (µk ) = 0, there
exists a chain ub ∈ C2k+3 (GL(2k + 2, Z); Q) which bounds the abelian cycle (p0 )∗ (Z4k ) ⊂
GL(2k+2, Z) (it can be checked that (p0 )∗ is injective on Z4k ). Then consider the element
u = p∗ (uf ) − j̄∗ (ub ) ∈ Z4k+1 (GL(2k + 3, Z); Q)
which is a cycle because
∂u = ∂uf − ∂ub = p∗ j∗ (Z4k ) − j̄∗ (p0 )∗ (Z4k ) = 0.
Conjecture 5.9. For a suitable choice of u, we have
hβ2k+1 , [u]i =
6 0.

20

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

Proposition 5.10. If Conjecture 5.9 holds for k, then µk 6= 0.
Proof. It suffices to prove the following. If µk = 0, then hβ2k+1 , [u]i = 0 for any choice of
the cycle u. By the assumption that µk = 0, there exists a chain u0 ∈ C4k+1 (Out F2k+2 ; Q)
which bounds Z4k ⊂ Out F2k+2 . Then we can set uf = j∗ (u0 ) and ub = (p0 )∗ (u0 ) in the
above construction of the cycle u, which implies u = 0. On the other hand, in this case
the indeterminacy of u comes from adding certain (4k + 1)-cycles of the two groups
Out F2k+3 and GL(2k + 2, Z) on which the Borel class β2k+1 takes the value 0, the former
group by the vanishing theorem of Igusa and Galatius and the latter group by the
assumption that Conjecture 5.3 holds. This completes the proof.

Remark 5.11. We are planning to prove Conjecture 5.9 for the case k = 1 by using
Hamida’s cocycle for β2k+1 given in [22] and a computer computation along the line of
[6].
6. P ROSPECTS

AND FINAL REMARKS

Here we discuss a relationship between our secondary classes T β2k+1, β̂2k+1 and an
important open question about the cohomology of the Torelli group Ig whether the
MMM classes of even indices are non-trivial in H 4∗ (Ig ; Q) or not. We mention that even
the non-triviality of e2 ∈ H 4 (Ig,∗ ; Q) is not known where Ig,∗ denotes the Torelli group
of a genus g surface with base point and e ∈ H 2 (Ig,∗ ; Z) denotes the Euler class of the
tangent bundle along the fibers of surface bundles. See Sakasai [52] for an attempt to
attack this problem and Salter [54] for a more recent work.
Conjecture 6.1 (Church and Farb [7], Conjecture 6.5). The GL(n, Z)-invariant part of
the stable rational cohomology of IAn vanishes.
We would like to point out that an affirmative solution to the above conjecture implies that all the MMM classes of even indices are trivial on the Torelli group. Indeed,
0
our secondary classes T β2k+1
∈ H 4k (IAn ; R)GL(n,Z) are stable classes and GL(n, Z)invariant (see Proposition 3.1 and Definition 3.2). Therefore if we assume the above
0
conjecture, then we have T β2k+1
= 0. On the other hand, Theorem 3.5 shows that
0
T β2k+1 is equal to Igusa’s higher torsion τ2k (IAn ). We can then use Igusa’s result in [28]
that the restriction of τ2k (IAn ) to the Torelli group Ig,1 is a non-zero multiple of e2k to
conclude that this class vanishes.
If we consider the spectral sequence for the rational cohomology group of the extension
1 → IAn → Aut Fn → GL(n, Z) → 1,
the E2 term is given by
E2p,q = H p (GL(n, Z); H q (IAn ; Q))
and the Borel classes are described as
β2k+1 6= 0 ∈ E24k+1,0 .

SECONDARY CHARACTERISTIC CLASSES

21

Because of the vanishing theorem of Galatius, these classes do not survive in the E∞
term. Hence among the following groups
(11)

H 4k−i (GL(n, Z); H i (IAn ; Q))

(i = 1, . . . , 4k),

there should exist at least one non-trivial group that kills β2k+1 . The secondary class
0
T β2k+1
= τ2k (IAn ) ∈ H 4k (IAn ; R)GL(n,Z) ∼
= H 0 (GL(n, Z); H 4k (IAn ; R))

corresponds to the last case of i = 4k.
0
Conjecture 6.1, applied to β2k+1
, is equivalent to saying that it is not killed in the last
0
step, namely T β2k+1
= 0 so that it must be killed somewhere in the range 1 ≤ i ≤ 4k−1.
We would like to ask the validity of, so to speak, the most optimistic possibility.
0
Question 6.2. Are the secondary classes T β2k+1
∈ H 4k (IAn ; R)GL(n,Z) non-trivial in a
certain stable range? If not, which group in (11) (1 ≤ i ≤ 4k − 1) kills β2k+1 ?

Remark 6.3. There have been obtained several important results concerning the homology of the group IAn including [33][51][1][9][14]. However, no non-trivial elements
in H ∗ (IAn ; Q)GL(n,Z) were found. The problem of determining whether this group is
non-trivial or not remains a mystery.
Remark 6.4. We think that the non-triviality of the Morita classes is a very important
problem not only in the theory of cohomology of automorphism groups of free groups
but also in low dimensional geometric topology. This is because, we expect that the
“group version” defined in [47], of these classes (the Lie algebra version) would detect the difference between the smooth and topological categories in four-dimensional
topology (see [46][49]), although it will need many more years for this expectation to
be clarified.
Remark 6.5. In this paper, we defined our secondary classes by making use of two
different ways of vanishing of the Borel regulator classes. It would be meaningful
to recall here the following work. Namely, by making use of two different cocycles
representing the first MMM class, the first named author defined in [43] a secondary
characteristic class which is an Mg -invariant homomorphism
d : Kg → Q
where Kg ⊂ Mg denotes the kernel of the Johnson homomorphism [31].
It was proved that this is a manifestation of the Casson invariant in the structure of
the mapping class group.
Remark 6.6. More generally, by comparing two cocycles for the MMM classes e2k−1
of odd indices, one from Sp(2g, Z) and the other given in [44][34], certain secondary
classes
dk ∈ H 4k−3 (Kg , Q)Mg (k = 1, 2, . . .)
were defined in [45][46], where d1 is the same as d in the previous remark.
In this paper, we have constructed a new cocycle for the even class e2k which is
essentially different from the one given in [44][34]. It would be interesting to study

22

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

whether the difference between these two cocycles will give rise to certain secondary
invariants for a suitable subgroup of the mapping class group.

R EFERENCES
1. M. Bestvina, K.-U. Bux, D. Margalit, Dimension of the Torelli group for Out(Fn ), Invent. Math. 170
(2007), 1–32.
2. J. Bismut, J. Lott, Torus bundles and the group cohomology of GL(N, Z), J. Diff. Geom. 45 (1997) 196–236.
3. A. Borel, Stable real cohomology of arithmetic groups, Ann. Sci. Ecole Norm. Sup. 7 (1974), 235–272.
4. R. Charney, A generalization of a theorem of Vogtmann, Jour. Pure and Applied Alg. 44 (1987), 107–125.
5. J. Cheeger, J. Simons, Differential characters and geometric invariants, Geometry and Topology, (J.
Alexander and J. Harer eds.), Lecture Notes in Math. 1167, Springer, New York, 1985, 50–80.
6. Z. Choo, W. Mannan, R. Sánchez-Garcı́a, V. Snaith, Computing Borel’s regulator I, preprint, 2009.
7. T. Church, B. Farb, Representation theory and homological stability, Adv. Math. 245 (2013), 250–314.
8. T. Church, B. Farb, M. Thibault, On the geometric nature of characteristic classes of surface bundles, J.
Topology 5 (2012), 575–592.
9. F. Cohen, A. Heap, A. Pettet, On the Johnson filtration of the automorphism group of a free group, J.
Algebra 329 (2011), 72–91.
10. J. Conant, A. Hatcher, M. Kassabov, K. Vogtmann, Assembling homology classes in automorphism groups
of free groups, preprint, arXiv:1501.02351v2[math.AT].
11. J. Conant, K. Vogtmann, Morita classes in the homology of automorphism groups of free groups, Geom.
Topol. 8 (2004) 121–138.
12. J. Conant, K. Vogtmann, Morita classes in the homology of Aut(Fn ) vanish after one stabilization, Groups
Geometry and Dynamics 2 (2008) 1471–1499.
13. M. Culler, K. Vogtmann, Moduli of graphs and automorphisms of free groups, Invent. Math. 84 (1986)
91–119.
14. M. Day, A. Putman, On the second homology group of the Torelli subgroup of Aut(Fn ), preprint,
arXiv:1408.6242[math.GT].
15. J. Dupont, Simplicial de Rham cohomology and characteristic classes of flat bundles, Topology 15 (1976),
233–245.
16. J. Dupont, D. Hain, S. Zucker, Regulators and characteristic classes of flat bundles, The Arithmetic and
Geometry of Algebraic Cycles, CRM Proceedings and Lecture Notes 24 (2000) 47–92.
17. P. Elbaz-Vincent, H. Gangl, C. Soulé, Perfect forms, K-theory and the cohomology of modular groups, Adv.
Math. 245 (2013) 587–624.
18. J. Franke, A topological model for some summand of the Eisenstein cohomology of congruence subgroups,
Bielefeld preprint 91-090 (1991).
19. S. Galatius, Stable homology of automorphism groups of free groups, Ann. Math 173 (2011), 705–768.
20. J. Giansiracusa, U. Tillmann, Vanishing of universal characteristic classes for handlebody subgroups and
boundary bundles, J. Homotopy Relat. Struct. 6 (2011), 103–112.
21. J. Gray, On the homology of automorphism groups of free groups, Ph.D. thesis, University of Tennessee,
2011.
22. N. Hamida, Description explicite du régulateur de Borel, C. R. Acad. Sci. Paris 330 (2000) 169–172.
23. J. L. Harer, Stability of the homology of the mapping class groups of orientable surfaces, Ann. Math. 121
(1985), 215–249.
24. J. L. Harer, The third homology group of the moduli space of curves, Duke Math. J. 63 (1991), 25–55.
25. A. Hatcher, Stable homology by scanning: variations on a theorem of Galatius, lecture at Geometric
Group Theory: a conference in honor of Karen Vogtmann, in Luminy, Marseille, France. Slides at:
http://www.math.utah.edu/vogtmannfest/slides/hatcher.pdf.

SECONDARY CHARACTERISTIC CLASSES

23

26. A. Hatcher, K. Vogtmann, Homology stability for outer automorphism groups of free groups, Algebr.
Geom. Topol. 4 (2004), 1253–1272.
27. A. Hatcher, K. Vogtmann, N. Wahl, Erratum to: Homology stability for outer automorphism groups of free
groups, Algebr. Geom. Topol. 6 (2006), 573–579.
28. K. Igusa, “Higher Franz-Reidemeister Torsion”, Providence, RI: Amer. Math. Soc., 2002.
29. K. Igusa, “Higher complex torsion and the framing principle”, Mem. Amer. Math. Soc. 177 (2005).
30. K. Igusa, Axioms for higher torsion invariants of smooth bundles, J. Topology 1 (2008), 159–186.
31. D. Johnson, An abelian quotient of the mapping class group Ig , Math. Ann. 249 (1980), 225–242.
32. W. van der Kallen, Homology stability for linear groups, Invent. Math. 60 (1980), 269–295.
33. N. Kawazumi, Cohomological aspects of Magnus expansions, arXiv:math/0505497v3.
34. N. Kawazumi, S. Morita, The primary approximation to the cohomology of the moduli space of curves and
stable characteristic classes, Math. Res. Lett. 3 (1996), 629–642.
35. M. Kontsevich, Formal (non)commutative symplectic geometry, in: “The Gel’fand Mathematical Seminars, 1990–1992”, Birkhäuser, Boston (1993), 173–187.
36. M. Kontsevich, Feynman diagrams and low-dimensional topology, in: “First European Congress of Mathematics, Vol. II (Paris, 1992)”, Progr. Math. 120, Birkhäuser, Basel (1994), 97–121.
37. R. Lee, On unstable cohomology classes of SLn (Z), Proc. Natl. Acad. Sci. USA 75 (1978), 43–44.
38. R. Lee, R. H. Szczarba, On the torsion in K4 (Z) and K5 (Z), Duke Math. J. 45 (1978), 101–129.
39. E. Looijenga, Stable cohomology of the mapping class group with symplectic coefficients and of the universal
Abel-Jacobi map, J. Algebraic Geom. 5 (1996), 135–150.
40. I. Madsen, M. Weiss, The stable moduli space of Riemann surfaces: Mumford’s conjecture, Ann. Math. (2)
165 (2007), 843–94.
41. E.Y. Miller, The homology of the mapping class group, J. Diff. Geom. 24 (1986), 1–14.
42. S. Morita, Characteristic classes of surface bundles, Invent. Math. 90 (1987), 551–577.
43. S. Morita, On the structure of the Torelli group and the Casson invariant, Topology 30 (1991), 603–621.
44. S. Morita, A linear representation of the mapping class group of orientable surfaces and characteristic classes
of surface bundles, from: “Proceedings of the Taniguchi Symposium on Topology and Teichmüller
Spaces”, held in Finland, July 1995, World Scientific (1996), 159–186.
45. S. Morita, Structure of the mapping class groups of surfaces: a survey and a prospect, Geometry and
Topology Monographs 2, Proceedings of the Kirbyfest (1999), 349–406.
46. S. Morita, Cohomological structure of the mapping class group and beyond, in: “Problems on Mapping
Class Groups and related Topics”, edited by Benson Farb, Proc. Sympos. Pure Math. 74 (2006), American Mathematical Society, 329–354.
47. S. Morita, Symplectic automorphism groups of nilpotent quotients of fundamental groups of surfaces, in
“Groups of Diffeomorphisms”, Adv. Stud. Pure Math. 52 (2008), 443–468.
48. S. Morita, T. Sakasai, M. Suzuki, Computations in formal symplectic geometry and characteristic classes of
moduli spaces, Quantum Topology 6 (2015), 139–182.
49. S. Morita, T. Sakasai, M. Suzuki, Characteristic classes of families of homology cylinders and fourdimensional topology, in preparation.
50. D. Mumford, Towards an enumerative geometry of the moduli space of curves, in “Arithmetic and Geometry”, Progr. Math. 36 (1983), 271–328.
51. A. Pettet, The Johnson homomorphism and the second cohomology of IAn , Algebr. Geom. Topol. 5 (2005),
725–740.
52. T. Sakasai, The Johnson homomorphism and the third rational cohomology group of the Torelli group, Topol.
Appl. 148 (2005), 83–111.
53. T. Sakasai, Lagrangian mapping class groups from a group homological point of view, Algebr. Geom. Topol.
12 (2012), 267–291.
54. N. Salter, Cup products in surface bundles, higher Johnson invariants, and MMM classes, preprint,
arXiv:1601.07836[math.GT].

24

SHIGEYUKI MORITA, TAKUYA SAKASAI, AND MASAAKI SUZUKI

55. A. A. Suslin, Stability in algebraic K-theory. Algebraic K-theory, Part I (Oberwolfach, 1980), 304–333,
Lecture Notes in Math., 966, Springer, Berlin-New York, 1982.
56. N. Wahl, Homological stability for mapping class groups of surfaces, in: “Handbook of Moduli, Vol. III”,
Advanced Lectures in Mathematics (2012), 547–583.
G RADUATE S CHOOL OF M ATHEMATICAL S CIENCES , T HE U NIVERSITY
M EGURO - KU , T OKYO , 153-8914, J APAN
E-mail address: morita@ms.u-tokyo.ac.jp

OF

T OKYO , 3-8-1 K OMABA ,

G RADUATE S CHOOL OF M ATHEMATICAL S CIENCES , T HE U NIVERSITY
M EGURO - KU , T OKYO , 153-8914, J APAN
E-mail address: sakasai@ms.u-tokyo.ac.jp

OF

T OKYO , 3-8-1 K OMABA ,

D EPARTMENT OF F RONTIER M EDIA S CIENCE , M EIJI U NIVERSITY, 4-21-1 N AKANO , N AKANO - KU ,
T OKYO , 164-8525, J APAN
E-mail address: macky@fms.meiji.ac.jp

