View source for Shimura variety

The family of quotients of a bounded [[Symmetric domain|symmetric domain]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s1100901.png" /> by the congruence subgroups of a fixed [[Algebraic group|algebraic group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s1100902.png" /> acting transitively on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s1100903.png" />. Examples include the family of elliptic modular curves (cf. [[Modular curve|Modular curve]]), the family of Hilbert modular varieties corresponding to a fixed totally real field, and the family of Siegel modular varieties of a fixed dimension. The arithmetic properties of Shimura varieties were extensively studied by G. Shimura beginning in the early 1960s.

P. Deligne has given a definition according to which a Shimura variety is defined by a reductive algebraic group (cf. also [[Reductive group|Reductive group]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s1100904.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s1100905.png" /> and a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s1100906.png" />-conjugacy class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s1100907.png" /> of homomorphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s1100908.png" /> satisfying certain axioms sufficient to ensure that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s1100909.png" /> is a finite union of bounded symmetric domains [[#References|[a4]]]. The Shimura variety is then the family

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009010.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009011.png" /> is the ring of finite adèles of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009012.png" /> (cf. [[Adèle|Adèle]]) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009013.png" /> runs through the compact open subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009014.png" />. Initially, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009015.png" /> is only a [[Complex manifold|complex manifold]], but the Baily–Borel theorem [[#References|[a2]]] endows it with a canonical structure of a quasi-projective [[Algebraic variety|algebraic variety]]. The Shimura varieties of Deligne's definition differ slightly from the earlier examples in that they are families of non-connected varieties.

The weight of a Shimura variety is the common reciprocal of the restrictions of the mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009016.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009017.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009018.png" />. When the weight is defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009019.png" />, the Shimura variety may be a moduli variety for Abelian varieties with Hodge class and level structures (Shimura varieties of Hodge type), or Abelian motives with additional structure (Shimura varieties of Abelian type) [[#References|[a4]]], [[#References|[a6]]] (cf. also [[Moduli theory|Moduli theory]]; [[Motives, theory of|Motives, theory of]]). A Shimura variety whose weight is not rational is not a moduli variety, and not every Shimura variety whose weight is rational is known to be a moduli variety.

The data <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009020.png" /> defining a Shimura variety determine a number field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009021.png" />, called the reflex field for the Shimura variety, and every Shimura variety is known to have a canonical model over its reflex field that is characterized by the action of the absolute Galois group (cf. also [[Galois group|Galois group]]) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009022.png" /> on certain special points of the Shimura variety [[#References|[a4]]], [[#References|[a5]]].

Holomorphic automorphic forms can be interpreted as the sections of certain vector bundles on Shimura varieties, called automorphic vector bundles, and the arithmetic properties of the automorphic forms are reflected in the arithmetic properties of the corresponding bundles.

The Baily–Borel theorem provides a canonical compactification of a Shimura variety that is minimal in a certain sense, but which is usually highly singular. The theory of toroidal imbeddings provides compactifications that are both projective and smooth, but not canonical [[#References|[a1]]].

The study of the boundaries of Shimura varieties suggests the definition of a more general object, that of a mixed Shimura variety, which plays the same role for Fourier–Jacobi series that a Shimura variety plays for holomorphic automorphic forms [[#References|[a5]]], [[#References|[a7]]].

Roughly speaking, the goal in the study of Shimura varieties is to generalize everything that is known about modular curves to all Shimura varieties. For example, R. Langlands has launched an ambitious program to identify the zeta-function of a Shimura variety with an alternating product of automorphic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009024.png" />-functions [[#References|[a3]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A. Ash,   D. Mumford,   M. Rapoport,   Y. Tai,   "Smooth compactification of locally symmetric varieties" , Math. Sci. Press  (1975)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  W. Baily,   A. Borel,   "Compactification of arithmetic quotients of bounded symmetric domains"  ''Ann. of Math. (2)'' , '''84'''  (1966)  pp. 442–528</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  D. Blasius,   J. Rogawski,   "Zeta functions of Shimura varieties"  U. Jannsen (ed.)  S. Kleiman (ed.)  J.-P. Serre (ed.) , ''Motives'' , ''Proc. Symp. Pure Math.'' , '''55: 2''' , Amer. Math. Soc.  (1994)  pp. 525–571</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  P. Deligne,   "Variétés de Shimura: interprétation modulaire, et techniques de construction de modèles canoniques"  A. Borel (ed.)  W. Casselman (ed.) , ''Automorphic Forms, Representations, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009025.png" />-Functions'' , ''Proc. Symp. Pure Math.'' , '''33: 2''' , Amer. Math. Soc.  (1979)  pp. 247–290</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  J. Milne,   "Canonical models of (mixed) Shimura varieties and automorphic vector bundles" , ''Automorphic Forms, Shimura Varieties and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110090/s11009026.png" />-functions'' , ''Perspect. Math.'' , '''10''' , Acad. Press  (1990)  pp. 283–414</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J. Milne,   "Shimura varieties and motives"  U. Jannsen (ed.)  S. Kleiman (ed.)  J.-P. Serre (ed.) , ''Motives'' , ''Proc. Symp. Pure Math.'' , '''55: 2''' , Amer. Math. Soc.  (1994)  pp. 447–523</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  R. Pink,   "Arithmetical compactification of mixed Shimura varieties" , Bonn  (1989)  (Dissertation)</TD></TR></table>