The second cohomology with symmplectic coefficients of the moduli space of smooth projcetive curves

Abstract

Each finite dimensional irreducible rational representation V of the symplectic group Sp$_2g$(Q) determines a generically defined local system V over the moduli space M$_g$ of genus g smooth projective curves. We study H$^2$ (M$_g$; V) and the mixed Hodge structure on it. Specifically, we prove that if g [ges ] 6, then the natural map IH$^2$(M˜$_g$; V) → H$^2$(M$_g$; V) is an isomorphism where M˜$_g$ is the Satake compactification of M$_g$. Using the work of Saito we conclude that the mixed Hodge structure on H$^2$(M$_g$; V) is pure of weight 2+r if V underlies a variation of Hodge structure of weight r. We also obtain estimates on the weight of the mixed Hodge structure on H$^2$(M$_g$; V) for 3 [les ] g < 6. Results of this article can be applied in the study of relations in the Torelli group T$_g$.