97aeefdf9f73674f.tex
1: \begin{abstract} 
2: This paper is about cohomology of mapping class groups from the perspective of arithmetic groups. For a closed surface $S$ of genus $g$, the mapping class group $\Mod(S)$ admits a well-known arithmetic quotient $\Mod(S)\ra\Sp_{2g}(\Z)$, under which the stable cohomology of $\Sp_{2g}(\Z)$ pulls back to the algebra generated by the odd MMM classes of $\Mod(S)$. We extend this example to other arithmetic groups associated to mapping class groups and explore some of the consequences for surface bundles. 
3: 
4: For $G=\Z/m\Z$ and for a regular $G$-cover $S\ra\bar S$ (possibly branched), a finite index subgroup $\Ga<\Mod(\bar S)$ acts on $H_1(S;\Z)$ commuting with the deck group action, thus inducing a homomorphism $\Ga\ra\Sp^G$ to an arithmetic group $\Sp^G<\Sp_{2g}(\Z)$. The induced map $H^*(\Sp^G;\Q)\ra H^*(\Ga;\Q)$ can be understood using index theory. To this end, we describe a families version of the $G$-index theorem for the signature operator and apply this to (i) compute $H^2(\Sp^G;\Q)\ra H^2(\Ga;\Q)$, (ii) re-derive Hirzebruch's formula for signature of a branched cover (in the case of a surface bundle), (iii) compute Toledo invariants of surface group representations to $\SU(p,q)$ arising from Atiyah--Kodaira constructions, and (iv) describe how classes in $H^*(\Sp^G;\Q)$ give equivariant cobordism invariants for surface bundles with a fiberwise $G$ action, following Church--Farb--Thibault.\end{abstract}
5: