In what I hope will become a series of posts, I want to think about the following question (to which, at the time of writing of this post, I have no idea of the complete answer).
Question: Given a Shimura datum and level , giving rise to a Shimura variety defined over the number field , and given some prime of , when does have good reduction at ?
In this post we sketch the significance of this question in the theory of (nice) automorphic forms.
Motivation from arithmetic geometry
In the theory of abelian varieties, recall the Neron-Ogg-Shaferevich criterion which tells us that (assuming ) an abelian variety has good reduction if and only if its -adic cohomology is unramified as a Galois representation. For more general proper algebraic varieties over a number field/local field, only one direction of this theorem survives. Suppose has good reduction: i.e. (let’s base change to temporarily assume a local field if necessary and let be the residue field) it admits a smooth proper model . Then for any lisse etale sheaf on , the proper smooth base change theorem furnishes us with a canonical isomorphism between the cohomology groups
Since this is canonical, it commutes with Galois action, which implies in particular that as a Galois representation is unramified.
Similarly, at there is a result that if a variety has good reduction, its cohomology is crystalline. By judicious choice of (or using two different primes ) it is often possible to avoid thinking about this.
In the land of arithmetic geometry one can therefore note the following theorem.
Fix smooth and proper over a number field .
Consider the sets:
primes of where has bad reduction
primes of where part of the cohomology of is ramified/not crystalline.
Remark: Neron-Ogg Shaferevich implies equality for abelian varieties, though in general equality does not hold (for example, there exist curves with bad reduction but whose Jacobian has good reduction).
A whistlestop tour of the theory of “nice” automorphic forms
Let us now return to Shimura varieties (and a longish sketchy digression into the theory of automorphic forms based loosely on notes by Teruyoshi Yoshida). Suppose we have some automorphic representation of geometrically defined according to the following recipe. Take an appropriate -equivariant vector bundle on , extending to a bundle on an appropriate compactification at each level. Then at each level , we define to be the sections of this bundle over . It is also clear we can associate to , so we can consider the union : the (infinite-dimensional) space of “automorphic forms of weight “.
Crucial example: Taking (and the choice of corresponding to putting a complex structure on ), the Shimura variety with sufficiently fine level structure admits an interpretation as the moduli space of elliptic curves together with a level structure defined on torsion points. Taking to be the th tensor power of the line bundle corresponding to the relative cotangent space of the universal elliptic curve, we recover as the space of modular forms of weight (with all levels considered simultaneously).
Now, is a (large) representation of , and it satisfies some rather juicy properties.
- It’s smooth: equal to the union of its invariants by open compact subgroups (by definition). This is very useful, as the category of smooth representations of is abelian: we can talk about irreduciblity, subrepresentations, quotients, etc.
- It’s admissible: the space of invariants by any open compact is finite dimensional (since spaces of sections of vector bundles over a complete space are finite dimensional).
We now say that a representation is automorphic of weight if it is an irreducible subrepresentation of . There are a distinguished subset of these representations consisting of forms satisfying a vanishing property at each unipotent radical of a parabolic subgroup of , which we shall refer to as cuspidal representations. These objects are those of a kind to which the Langlands philosophy would have us attach a Galois representation. WARNING: usually automorphic representations are given with components at infinite places, but we systematically suppress these here.
Quick remark about newforms:
Some readers may be rather more familiar in the case of of taking a newform (a particularly nice cusp form: it’s a Hecke eigenform and doesn’t come from some lower level) and attaching a Galois representation to this. It turns out (at least for ) that one can make a correspondence between newforms of weight and automorphic representations of weight .
Given a newform , we get an obvious cuspidal representation (that was easy! ).
Conversely (and here I don’t know how general we can make the argument: we need multiplicity 1 and other facts about representations splitting up nicely into local factors), given a cuspidal representation of , there is a largest “unipotent mod p” subgroup of which fixes precisely a one-dimensional subspace of the local factor . In fact for almost all primes, we will have , so these glue into a canonical (“unipotent mod N for N minimal”) open compact subgroup of with a 1-dimensional space of automorphic forms. Picking a generator for this vector space (say, one determined by a normalisation condition of the q-expansion at our favourite cusp), we recover our newform.
One might also like to know that the nebentypus of the newform is precisely the Dirichlet character corresponding to the central character of our cuspidal representation.
Back to the main story:
Now, given an automorphic representation, it is true (at least for a sufficiently nice group like ) that we can break it up as a restricted tensor product , where for almost all we have . At primes where such a fixed vector exists, we say the representation is unramified, and we can define the (finite) set of all other primes:
rational primes where is ramified .
Of course, with more work and complications which I don’t have time to work through, one could consider automorphic forms over an arbitrary number field and then rather than considering rational primes it would be sensible to consider primes of that number field.
Now, the Langlands philosophy predicts that we should be able to attach a Galois representation to a cuspidal representation, and that in this context we should have .
In many cases, since we are dealing with automorphic forms which already live on algebraic varieties, it is possible to realise the Langlands correspondence in the cohomology of our Shimura variety. Matsushima’s formula gives, roughly speaking (and ignoring a cornucopia of serious issues):
(where is a Galois representation attached to ).
And now the punchline…
And now finally we can start to see why our question about reduction of the Shimura variety at level is relevant. If we have a cuspidal representation that is unramified at a prime , then for a sufficiently high level which may be kept prime to (still containing a whole hyperspecial subgroup at ), we can find the Galois representation attached to in the (finite-dimensional) cohomology group .
It follows that if we can show has good reduction at (for sufficiently small but prime to ), in other words that , then by proper smooth base change we establish one direction of the result predicted by Langlands, namely that
Let’s take stock. In light of our above discussion it seems sensible to refine our question to the following conjecture (which could be completely naive and wrong – I still don’t really know).
Possibly Naive Conjecture: Consider the Shimura variety defined over the number field , and let be a prime of . If is sufficiently small but contains a hyperspecial maximal subgroup at , then has good reduction at .
In this post we sketched the following consequence (though at stages we possibly needed ).
Consequence: Let be an automorphic form arising from a vector bundle on . Then any unramified prime of is also an unramified prime of the associated Galois representation.
Let us remark that in some sense the author would guess this should be the “easy” direction of the conjecture . Ribet’s famous result on level-lowering for modular forms (a crucial ingredient in the proof of Fermat’s last theorem) is an example of something which goes the other way: it takes a Galois representation coming from a modular form, but with fewer primes ramifying than ramify in the modular form, and deduces the existence of a corresponding modular form of appropriately lower level (i.e. an automorphic representation ramifying at fewer primes). Also, true results in this direction at least hint that the properties “good reduction” and “unramified cohomology” might be closer for Shimura varieties than general varieties.
That took longer than I was planning, and I should probably stop here. If anyone wants to post comments clarifying some of the things which I left vague or passed to a special case mainly out of ignorance, that would be very useful. Next time I shall consider at least the example of modular curves, and at most the example of arbitrary PEL varieties. I shall also (perhaps slightly superflously to the task in hand) try to give a survey of the beautiful deformation theory of abelian varieties in characteristic p.