11
$\begingroup$

The Manin-Drinfeld theorem asserts that a divisor on the compact modular curve $X_0(N)$ which is supported on the cusps is torsion.

Equivalently, if $Y_0(N)$ is the open modular curve, the mixed Hodge structure $H^1(Y_0(N), \mathbb{Q})$ splits.

Are there some kind of generalizations of this theorem to higher-dimensional Shimura varieties and their toroidal compactifications?

Improve this question
$\endgroup$
1

1 Answer 1

Reset to default
6
$\begingroup$

This is perhaps more of a comment than an answer.

In various texts by Günter Harder he uses the terminology that the Manin-Drinfeld principle holds for the Shimura variety $X$, the coefficient system $\mathbb V$ and the cohomology theory $H(-)$ (usually $\ell$-adic cohomology or mixed Hodge theory) if there is a direct sum decomposition $$ H(X,\mathbb V) = H_!(X,\mathbb V) \oplus H_{Eis}(X,\mathbb V)$$ into inner and Eisenstein cohomology. The former is the image of compactly supported cohomology in ordinary cohomology, the latter is the cokernel.

However I don't actually know any general result ensuring that the Manin-Drinfeld principle holds - but this may very well be due to my own ignorance. But you could start looking through his book (Eisensteinkohomologie und die Konstruktion gemischter Motive) as well as the various manuscripts on his webpage. You will at least find plenty of stuff of the form "if the Manin-Drinfeld principle holds, then we also know that..."

Improve this answer
$\endgroup$
3
  • $\begingroup$ Thanks for your answer Dan! I will have a look at Harder's book and papers ;) $\endgroup$
    – johny23
    Commented Jan 19, 2014 at 8:42
  • $\begingroup$ I would also look at the series of papers by M. Harris and S. Zucker - boundary cohomology of Shimura varieties. In the beginning of part III, they stay that it is standard that the cohomology decomposes as written by Dan, but I do not know where this is proved. $\endgroup$
    – ACL
    Commented Jan 19, 2014 at 9:43
  • $\begingroup$ The nightmare continues? I love this title! $\endgroup$
    – johny23
    Commented Jan 19, 2014 at 10:44

You must log in to answer this question.

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