Let Ag be the moduli space of principally polarized Abelian varieties of dimension g. The complex-analytic space (stack) associated to Ag is a K(π,1); that is, its only non-vanishing homotopy group is π1, which is Sp2g(Z). In particular, the cohomology of Ag is the same as the cohomlogy of Sp2g(Z).
Jesse Silliman, a graduate student at Stanford, has told me an argument that shows that this is in some sense maximally untrue when one considers the "etale homotopy type" of Ag.
Read More