algebraische Varietäten, die über gewissen algebraischen Zahlkörpern definiert sind und vom analytischen Gesichtspunkt aus Komponenten der Form X^an = Γ \D bestehen.

Hierbei ist D ein beschränktes symmetrisches Gebiet in ℂⁿ (d.h., zu jedem p ∈ D gibt es eine holomorphe Involution s : D → D mit p als isoliertem Fixpunkt. Solche Gebiete sind von der Form G(ℕ)⁰/K_∞, wobei G eine reduktive algebraische Gruppe, definiert über ℚ, ist, G(ℕ)⁰ die Zusammenhangskomponente der 1 und K_∞ eine maximale kompakte Untergruppe bezeichnet, und G(ℕ)⁰ durch holomorphe Diffeomorphismen auf D wirkt). Γ ist eine arithmetische Untergruppe von G(ℚ). Nach Baily und Borel hat Γ \D eine natürliche Struktur als quasiprojektive algebraische Varietät.

Eine Shimura-Varietät ist durch folgende Daten gegeben:

1. Eine reduktive zusammenhängende algebraische Gruppe G, die über ℚ definiert ist.
2. Einen über ℝ definierten Homomorphismus algebraischer Gruppen h : S → G_ℝ, wobei S die Gruppe aller \(K\subset G({{\mathbb{A}}}_{f})\).

Hierbei ist \({{\mathbb{A}}}_{f}\) die (lokal kompakte) ℚ-Algebra der endlichen Adélé von ℚ, d.h., \begin{eqnarray}{{\mathbb{A}}}_{f}=\left(^{}\prod _{{p}\,\text{Primzahl}}{{\mathbb{Z}}}_{p}\right)\otimes {\mathbb{Q}}.\end{eqnarray} (ℤ_p die ganzen p-adischen Zahlen).

Dabei sollen folgende Bedingungen erfüllt sein:

Bedingung (ii) hängt mit Varietäten von Hodge- Strukturen zusammen und garantiert, daß für jede rationale Darstellung V die induzierten Hodge-Strukturen eine Variation von Hodge-Strukturen bilden.

Bedingung (iii) zieht nach sich, daß die Komponenten von X symmetrische Räume von nichtkompaktem Typ sind, also nach deren Klassifikation beschränkte symmetrische Gebiete in ℂⁿ.

Die zugehörige Shimura-Varietät ist S_K(G, h) mit \begin{eqnarray}{S}_{K}{(G,h)}^{an}=G({\mathbb{Q}})\backslash (X\times G({{\mathbb{A}}}_{f})/K),\end{eqnarray} sie besteht aus endlich vielen Komponenten der Form Γ \ D (Γ ⊂ G(ℚ) Untergruppe).

Ein Beispiel: Es sei G = GL(2) und h die Einbettung \(K=GL(2)(\hat{{\mathbb{Z}}})\subset GL(2)({{\mathbb{A}}}_{f})\) mit \begin{eqnarray}\hat{{\mathbb{Z}}}{=}\prod _{{p}\,\text{Primzahl}}{{\mathbb{Z}}}_{p}\subseteq {{\mathbb{A}}}_{f}.\end{eqnarray} Dann ist \(X= \unicode {x0210C}\coprod ^{}\unicode {x0210C}^{-}\) (die obere und untere Halbebene in ℂ) und \begin{eqnarray}{S}_{k}(G,h) & \cong & S{l}_{2}({\mathbb{Z}})\backslash \unicode {x0210C}\coprod ^{}S{l}_{2}({\mathbb{Z}})\backslash {\unicode {x0210C}}^{-}\\ & = & {{\mathbb{A}}}^{1}\coprod ^{}{{\mathbb{A}}}^{1}.\end{eqnarray} Wie in diesem Beispiel gibt es in vielen Fällen einen Zusammenhang mit Modulproblemen, sodaß die Varietäten als Modulräume auftreten; in diesen Fällen ist die Frage nach dem Definitionskörper geklärt. Im allgemeinen wird vermutet, daß ein Modell von S_K(G, h) über einem bestimmten algebraischen Zahlkörper E = E(G, h) existiert (d.h., daß S_K(G, h) durch ein Schema über diesen Körper definiert ist). Hierbei ist E(G, h) der Definitionskörper für die Konjugationsklasse der einparametrigen Untergruppe \({\lambda}_{h}:{{\mathbb{G}}}_{m{\mathbb{C}}}\to {G}_{{\mathbb{C}}}\), die durch h und die Einbettung \({{\mathbb{G}}}_{m{\mathbb{C}}}\to {G}_{{\mathbb{C}}}\), \begin{eqnarray}z\mapsto \displaystyle\frac{1}{2}\left(\begin{array}{cr}1+z & -(i-iz)\\ i-iz & 1+z\end{array}\right),\end{eqnarray} gegeben ist. In einer abgeschwächten Form gilt dies (Deligne), und das Schema besitzt „viele“ spezielle Punkte über E.

Weiterhin gibt es allgemeine Vermutungen über die Zetafunktion dieser Varietäten und ihren Zusammenhang mit L-Funktionen von automorphen Formen auf G, die in Fällen, wo sich Shimura-Varietäten als Modulräume interpretieren lassen, bekannt sind.