4
$\begingroup$

Disclaimer: I know very little about Shimura varieties.

Some Shimura varieties have a contractible universal covering space, for instance $A_g$ itself. Are there any nice necessary and/or sufficient conditions implying this?

$\endgroup$
4
  • $\begingroup$ Always, I imagine, although I'm hardly an expert. My intuition is that the universal cover should be negatively curved, and so contractible. $\endgroup$ Commented Jun 13, 2011 at 20:24
  • $\begingroup$ Universal covers of Shimura varieties are Hermitian symmetric spaces of noncompact type, which are each in turn holomorphically diffeomorphic to some bounded open simply connected subset of $\mathbf{C}^n$ equipped with its Bergman metric. $\endgroup$ Commented Jun 13, 2011 at 20:39
  • $\begingroup$ I think the universal cover depends on the level structure; if there is torsion in the corresponding discrete subgroup then it need not be a Hermitian symmetric space of noncompact type. For example, $\mathcal{A}_1= \mathbf{A}^1$ (but this is still contractible...). $\endgroup$
    – naf
    Commented Jun 14, 2011 at 6:32
  • $\begingroup$ On the other hand, if you take the universal cover of $\mathcal A_1$ in the orbifold sense you get $\mathfrak H_1$, so everything works out fine. Maybe I should have specified that this is what I was interested in, sorry. $\endgroup$ Commented Jun 14, 2011 at 6:39

1 Answer 1

11
$\begingroup$

Connected Shimura varieties are quotients $S=X/\Gamma$, where $X$ is a Hermitian symmetric space without compact factor and $\Gamma$ is a discrete subgroup acting properly discontinuously on $X$. If $\Gamma$ acts without fixed points, then $X\to S$ is a universal covering. (In the general case, the universal covering of $S$ is $X/\Gamma_1$, where $\Gamma_1$ is the subgroup of $\Gamma$ generated by stabilizers of fixed points on $X$.)

It is known that $X=G/K$, where $G$ is a semisimple adjoint Lie group and $K$ is a maximal compact subgroup. The Iwasawa decomposition $G=KAN$ implies that $X$ is diffeomorphic to $AN$, hence to a real vector space. In particular, $X$ is contractible.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .