# Rotger: Shimura varieties

Let be an algebraically closed field, , a polarized abelian variety. We are interested in:

1. Field of moduli of and field of moduli of 2. Fields of definition of and fields of definition of .

The field of moduli of  is the unique minimal field in such that for all ).  . The top field is the unique field fixed by all such that there exists making the following diagram commute: Shimura: the generic odd dimensional polarized abelian variety admits a model over . The generic even dimensional polarized abelian variety does not admit a model over .

(Silverberg) Fix . There is a (unique, Galois) minimal field of definition of .

(Silverberg) There is a such that for any abelian variety such that and with .

If is simple, is an order in either a totally real field, a division algebra over a CM-field, or a quaternion algebra.

We will focus on the latter case.

Forgetful maps between Shimura varieties and rational points

Let be a totally real number field, with . Let be an indefinite quaternion algebra over (that is, ). Let be a maximal order in . Let Moduli problem : classify principally polarized abelian varieties where is an abelian variety of , ,and the Rosati involution has the form , where such that and . (Shimura): The moduli functor is coarsely represented over by a complete algebraic variety , with . We havea , where is the Poincaré upper half plane.

Let be the ring of integers of , , where is a totally real quadratic order over . There are forgetful finite maps over  where is the Hilbert modular variety classifying varieties with real multiplication by the subscript. The dimensions of these moduli spaces are, respectively, , , , .

The picture in is

 Shimura curve:  Hilbert surface:  Igusa's space:  We have a tower of fields The automorphism group of : is where .  Field of definition for abelian surfaces

Let be a principally polarized abelian surface over a number field with , . There is a diagram 1. If for , , then (with Dieulefait) 2. Otherwise, Back to the main index for Rational and integral points on higher dimensional varieties.