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?
Thanks for your attention :)
 A: 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.
A: 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. 
A: 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).
