Are Shimura Varieties K(π,1)'s?

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