# Compact manifolds with big mapping class group

I was wondering if compact surfaces were the only compact manifolds with a "big" or "complicated" mapping class group.

Are there higher dimensional manifolds (which are not in some way reducible to a surface) that have an infinite mapping class group? What kind of group can arise as the mapping class group of a compact manifold?

• Is "mapping class group" defined as $\pi_0$ of diffeomorphisms or $\pi_0$ of homotopy equivalences? For surfaces these are nontrivially the same, but I'm never sure which is considered the definition. Feb 4, 2017 at 19:01
• what about the $n$-torus? its MCG is $GL_n(\mathbf{Z})$ as far as I know (whatever the definition). More generally many nilmanifolds have a big MCG.
– YCor
Feb 4, 2017 at 19:05
• $\mathbb{Z}_2^\infty \leq \pi_0(Diff(T^n))$, $n >5$. p. 5: math.cornell.edu/~hatcher/Papers/Diff%28M%292012.pdf Feb 5, 2017 at 4:30
• @TomGoodwillie Indeed, I'm not sure what is the good notion to look at here. I'd say homotopy equivalence not to add subtleties of analytic nature. Feb 5, 2017 at 9:05

Take $M^d$ to be a connected sum of $n$ copies of $S^1\times S^{d-1}$, where $d\ge 3$. Then $M$ is a closed, orientable manifold of dimension $d$ with $\pi_1(M)=F_n$, the free group of rank $n$. If $n>1$, the mapping class group $\pi_0({\rm Diff}(M))$ surjects onto the outer automorphism group ${\rm Out}(F_n)$, which is infinite, and very complicated.

For an explanation of the relation between mapping class groups and outer automorphism groups, see for instance here. For the surjectivity of the natural map $\pi_0({\rm Diff}(M)) \to {\rm Out}(F_n)$, see here.

• Why is the mapping class group in that case the outer automorphism group of the fundamental group? Feb 4, 2017 at 17:05
• Good question. I edited my answer, accordingly. Is this now better? Feb 4, 2017 at 19:39
• While I know that the isomorphism $\pi_0(\text{Diff}(M)) \to \text{Out}(F_n)$ holds for $d=3$, due to Hatcher and based on prime decomposition theory for 3-manifolds, I don't know of a reference for higher dimensions. Feb 4, 2017 at 21:09

In Infinitesimal computations in topology Sullivan shows in Theorem 13.3 that if $M$ is a simply-connected manifold of dimension $>5$, then $\pi_0(\mathrm{Diff\,} M)$ is commensurable to an arithmetic group (see p.295 for definitions of an arithmetic group).

The group of homotopy classes of homotopy self-equivalences is also commensurable to an arithmetic one (Theorem 10.3)

In Corollary 13.3 Sullivan explains how the forgetful map between the two is largely controlled by the rational Pontryagin class of the manifold (which is preserved by diffeomorphisms by not by homotopy equivalences).

• Link seems to be broken, here's one that works for ma : archive.numdam.org/ARCHIVE/PMIHES/PMIHES_1977__47_/… Feb 6, 2017 at 6:29
• Both links appear broken to me. Feb 23, 2017 at 17:49
• Hmm, both linked initially worked. In any case this is easily searchable by title. Feb 23, 2017 at 18:52

There are situations in which surfaces are the "unique" examples with big mapping class groups. One such is closed manifolds of negative sectional curvature.

Theorem (Paulin): If $M$ is a closed $n$-dimensional manifold of negative sectional curvature and $n>2$ then $\mathrm{Out}(\pi_1M)=\mathrm{MCG}(M)$ is finite.

Proof: Paulin actually proved that if $\Gamma$ is a torsion-free word-hyperbolic group (such as the fundamental group of a closed manifold of negative curvature) and $\mathrm{Out}(\Gamma)$ is infinite then $\Gamma$ splits over a cyclic subgroup, say as $\Gamma=A*_CB$ for $C$ cyclic. (There is also the HNN-extension case, which is similar.)

Mayer--Vietoris now gives that

$\ldots\to H^{n-1}(C)\to H^n(M)\to H^n(A)\oplus H^n(B) \to H^n(C)\to\ldots$

is exact.

Since $n>2$, $H^{n-1}(C)\cong H^n(C)\cong 0$ and so $H^n(M)\cong H^n(A)\oplus H^n(B)$. But Strebel's theorem implies that $H^n(A)\cong H^n(B)\cong 0$ , a contradiction. QED

(Here, I'm taking $\mathrm{MCG}(M)$ to mean $\pi_0$ of self-homotopy-equivalences. Since negatively curved manifolds are aspherical, this coincides with $\mathrm{Out}(\pi_1M)$.)

This is actually an instance of a much more general phenomenon. In good situations, JSJ theory tells us that $\mathrm{Out}(\Gamma)$ can be 'broken up' into pieces which are essentially mapping class groups of surfaces and tori. This happens in the case of irreducible 3-manifolds, for instance.

• Where does the assumption $n>2$ come into play? Feb 5, 2017 at 1:08
• @VictorProtsak: The Mayer-Vietoris computation.
– HJRW
Feb 5, 2017 at 6:03