6
$\begingroup$

This is probably a difficult question. I would like to understand some particular cases and get some references. The rough question is the following:

Let $X$ be a PEL Shimura variety and $\pi: \mathcal{A} \to X$ the universal abelian scheme over $X$.

What can be said about the monodromy of the local system $R^1\pi_\ast \mathbb{Q}$?

For instance, if $Y(N)$ is the modular curve of level $N$ and $\mathcal{E}$ the corresponding universal elliptic curve and we consider the compactification $Y(N) \hookrightarrow X(N)$, what is the local monodromy around a cusp?

Has this computation been done for Hilbert modular varieties?

$\endgroup$

1 Answer 1

1
$\begingroup$

I'm a bit hesitant to answer since I'm not an expert on Shimura varieties, but I suspect that it is a case of "what you see is what you get"; in other words, it shouldn't be too hard to read off the monodromy. Let me do the simplest case of a fine moduli space of principally polarized abelian varieties of some level. Analytically $X= H_g/\Gamma$, where $H_g$ is the Siegel upper half plane and $\Gamma \subset Sp_{2g}(\mathbb{Z})$ is a finite index subgroup. The homotopy exact sequence $$\pi_2(X)=0\to \pi_1(\mathcal{A}_x)=\mathbb{Z}^{2g}\to\pi_1(\mathcal{A})\to \pi_1(X)=\Gamma\to 1$$ splits via the zero section. The induced action of $\Gamma$ on $\pi_1(\mathcal{A}_x)=H_1(\mathcal{A}_x)$ is the monodromy of $H_1$, and this is just the standard symplectic action of $\Gamma$ on $\mathbb{Z}^{2g}$. Dualizing this, will get you the action on $H^1$, i.e. for $R^1\pi_*\mathbb{Z}$. (You can tensor this with $\mathbb{Q}$ if you like.)

I guess (and I am really just guessing) that in general, $X= K\backslash G/\Gamma$ is a locally symmetric space, and $G$ comes with a representation into some symplectic group. So the mondromy should be the dual of action of $\Gamma$ on some $\mathbb{Z}^{2g}$ via this representation.

$\endgroup$
6
  • $\begingroup$ Thanks Donu. So that it means that you can compute the residues of the Gauss-Manin connection (at least their classes mod $\mathbb{Z}$) on the compactification without knowning anything about the compactification? This seems a bit weird to me $\endgroup$
    – shipel
    Commented Jun 28, 2013 at 12:47
  • $\begingroup$ Shipel, in order to compute the residues mod integers, or equivalently monodromy of loops around boundary divisiors, you have to know what these loops correspond to in $\Gamma$. This requires more information. $\endgroup$ Commented Jun 28, 2013 at 12:54
  • $\begingroup$ FWIU the description of the usual compactifications identifies cusps to some parabolic subgroups and these loops to some unipotent elements. $\endgroup$
    – ACL
    Commented Jun 28, 2013 at 14:34
  • $\begingroup$ Thanks Antoine. Could you elaborate a bit more on your comment and give some references? I would really appreciate that! $\endgroup$
    – shipel
    Commented Jun 28, 2013 at 14:44
  • $\begingroup$ Could somebody else, if not ACL, develop his comment? $\endgroup$
    – shipel
    Commented Jun 29, 2013 at 6:29

You must log in to answer this question.

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