I like Kai-Wen’s talks; he gives lots of examples, writes big with big chalk, and clearly explains the key points of the argument. I’m not sure I would classify his thesis as light reading material, but if he produced a video series explaining all the details in lecture format, I would buy the DVD. Speaking of different ideas for disseminating mathematics, I have some thoughts on that, but they will have to wait for another time. For now, I just wanted to make the smallest remark concerning Kai-Wen’s lecture at the Harris conference.
As all my readers surely know (this is code for I am not going to explain why), a key ingredient in the Harris-Lan-Taylor-Thorne argument is the fact the the higher direct images of the of subcanonical automorphic vector bundles under the projection from the toroidal compactification to the minimal compactification of quite general classes of Shimura varieties vanish. In contrast, this does not hold for the higher direct images of the canonical extensions, and when this was first being discussed, it was not entirely clear (at least to me) what was going on. But Kai-Wen’s talk actually does make the situation very clear! That is what I want to talk about.
Let be the open Shimura variety, let be a minimal compactification, and let be a toroidal compactification. To avoid silliness, assume that has codimension at least two. Let be an automorphic vector bundle on , and let and denote the canonical and subcanonical extensions of to . There’s a short exact sequence
Take the pushforward of this to . We know that the higher direct images of the first sheaf vanish, and so we obtain an exact sequence
The last sheaf is supported on , which has fairly small dimension, so its cohomology groups vanish in high degree by Grothendieck. Now let us assume that the higher direct images also vanish for . It follows that the Leray spectral sequence degenerates (for both and ), and so we obtain isomorphisms
in sufficiently high degree. Now the canonical bundle on is also an automorphic vector bundle, and so Serre duality relates the cohomology of to the cohomology of for another automorphic vector bundle , and relates the cohomology of to . For example, for modular curves, the Serre dual of is because the canonical sheaf of the modular curve is . Hence (using the assumption on codimensions made above so the numerology works out) we end up with the isomorphism
But this formula says that all
cusp forms modular forms of weight are cuspidal! So this gives an easy proof of:
Lemma If there exists at least one form of weight which is not cuspidal, then at least one of or has non-trivial higher direct images under .
Of course, we know from HLTT that it will be the second (because the higher direct images of the first vanish), but we didn’t prove that. Now I just chatted with Kai-Wen, who did one better than this lemma. First of all, remember that there is an automorphic line bundle on (corresponding to “parallel weight”) which is ample, and the corresponding canonical extension to descends to an ample on , which we also call . What’s nice about this is that, using the projection formula, one can replace the question about the vanishing of the higher direct images of by the vanishing of under twists by powers of this bundle. But that means one can translate the problem of asking whether there exists a non-cusp form in the dual weight to whether there exists a non-cusp form in weight for some arbitrarily large Now as before, we have an exact sequence:
twisted by some arbitrarily high power of , where we have used the vanishing of and the projection formula. Here is just On the other hand, because is ample on , we know that
- vanishes for sufficiently large
- is generated by global sections for sufficiently large and so, for such we have as long as .
So if one shows that is non-zero then one is done. Certainly is non-zero, but analyzing is a bit more subtle (I jumped the gun a little on the first version of this post, but Kai-Wen told me I needed to be a little more careful). On the other hand, there are many classical examples where one can explicitly construct non-cuspidal forms. For example, one can take with to be the Siegel moduli space, and take to be the line bundle Then Siegel himself constructed the so-called Siegel Eisenstein series for high enough . Kai-Wen also tells me the non-vanishing of can be proved more generally for and so one has:
Lemma [Kai-Wen] Let let and let be an automorphic bundle. Then at least one of higher direct images with must be non-zero.
In fact, Kai-Wen also tells me he had a proof of (a more general version of) this last result even before HLTT knew about the vanishing of but this argument gives a completely transparent proof of why they can’t both vanish.