In this reasonably sketchy post [and I’ll include the warning that I’m fairly new to lots of the content, so there may be errors] I want to outline the main example of Deligne’s `Travaux de Shimura’ paper, namely his consideration of the reductive group together with a nice class of Hodge structures, and the interpretation of the resulting Shimura variety as parameterising -dimensional abelian varieties together with a principal polarisation and level structure. This interpretation allows one to take a coarse moduli space for such things – already known to be defined over – as a model for the Shimura variety. Note that we don’t worry about trying to encorporate the extra data of endomorphism structures, though it isn’t much harder to include them in the picture.

Let’s just recall quickly the general setup of Shimura varieties. The idea is that we want to take a reductive group over and study the adelic quotient . For example, if , we recover the idele class group of . In general I guess this space is supposed to be cool because it has an obvious action by : it has `loads and loads of symmetries’, but it’s also a nice global arithmetic object (you can tell I don’t really understand why these should cool, except that the idele class group, modular forms and their various generalisations all live inside this picture in a nice way).

In general however I guess this quotient is too outrageously big to work with as a whole, so we introduce some other gadgets to chop it down a bit. Let denote the Weil restriction of from to , so it’s an algebraic group whose -points are and whose -points are two copies thereof. A Hodge structure on is a map of real algebraic groups . The reason for this name is that for any representation of , one can base change to , and the eigenspaces for give rise to a Hodge bigradation on . Such a homomorphism has a natural conjugation action by , and we denote the centraliser for this by (so is precisely the conjugacy class of ). We can now define (usually only for satisfying certain hypotheses) our Shimura variety

This is still in general rather large (the ring of finite adeles is a big profinite object). We therefore tend to also take some open compact subgroup and quotient out by that to form . This normally (at least in nice circumstances) reduces our massive set to being some nice complex analytic space (the complex analytic structure comes from ). Indeed, a theorem of Borel and Baily tells us that under certain fairly general conditions this can be realised as a quasiprojective complex algebraic variety. We can then recover the whole Shimura variety as an inverse limit of these.

However, to extract interesting arithmetic information (in Deligne’s paper, explicit reciprocity laws, but I’d guess in modern applications we’re more interested in higher dimensional Galois representations), the goal is to construct models for such things over fields smaller than the complex numbers (hopefully number fields). A model over a field is defined to be a scheme which still has the juicy -action, and whose base change to is isomorphic to . It turns out there is a natural field one should hope to find models over (the field of definition of a certain cocharacter over coming through ). Also, if is abelian the associated Shimura varieties are zero-dimensional, so the construction of models just comes down to studying a Galois action, where existence and uniqueness is clear. For general one can then use maps from abelian groups to impose conditions which would be satisfied by a canonical model, which then one can show is, if it exists, unique and in some sense functorial.

Now we have the general framework, let’s crack on with our example. We will take , the group of symplectic similitudes on some fixed vector space equipped with a symplectic form . For we take the most obvious possible Hodge structure you can choose if you try to define it explicitly. To be more precise, I think it can be characterised (with a bit of work: many thanks to Yihang Zhu for explaining many of the details to me earlier tonight) as the unique conjugacy class of all Hodge structures induced by a choice of complex structure on (it will have Hodge type corresponding to the eigenspaces of ) with the property that is either positive or negative definite (let’s call these `nice’ complex structures).

So given these data we can form a Shimura variety (and let’s also fix an open compact in ). What are the points of this Shimura variety? They are elements of modulo the actions of and . Elements of correspond to nice complex structures and elements of to symplectic automorpisms of . What about the equivalence relation? We need only consider classes of modulo . To encorporate the action requires a slightly subtler idea: we think of these objects being intrinsic objects on some other vector space which happens to be isomorphic to , and this data is fixed under an obvious of automorphisms.

The upshot is that the points of our Shimura variety correspond to -vector spaces which possess an isomorphism to inducing on them a symplectic form (also abusively called ), together with a nice complex structure on and a -orbit of symplectic -linear isomorphisms . Note also that the datum of a symplectic form on is only fixed up to rescaling by (this is the difference between and ).

And now the miracle. Suppose we have such a datum. Fix any integer lattice in and viewing together with as a complex -dimensional vector space, we can form the complex torus . Furthermore, by niceness of this admits a Riemann form (after freely rescaling the symplectic form by an appropriate element of , which is totally acceptable), so in fact it is a polarised abelian variety . Finally, we note that is just the (isogeny) Tate module of , so can be interpreted as a level structure in a nice familiar way.

Let’s take stock. Once one works out the extent to which data is kept track of, we get the following. Note that we chose a lattice, and also our polarisation was defined over and up to -action, and we had an isogeny Tate module. The easiest moduli interpretation is therefore at the level of isogeny classes: and we get our points corresponding to the data:

An abelian variety considered up to isogeny.

An `isogeny-polarisation’ of (-bilinear form on with definiteness property), modulo -rescaling.

An isomorphism , considered modulo -action.

It is easy to see how to define the inverse map (from these data to those we previously identified with our Shimura variety). Just associate with the obvious Hodge structure, and the level structure and polarisations correspond in a clear way.

Note that it is possible, by fixing a lattice in and making some fiddly but not all so difficult arguments, to go one step further and interpret these data as honest abelian varieties together with a principal polarisation and a level structure (but it’s getting late, so maybe I will omit these details for now).

Once we are here, we have the awesome fact that people have already constructed moduli spaces for these objects, and these moduli spaces are defined over , so we automatically get rational models for these Shimura varieties. We started with a priori very analytic but highly symmetric objects, and discovered that they are also equipped with an action by the absolute Galois group of which must surely have an intimate and mysterious relationship with the wealth of pre-existing symmetries.

## Leave a comment

Comments feed for this article