# Variété de Shimura

En algèbre, les variétés de Shimura sont des analogues de dimension élevée des courbes modulaires. Elles sont formées comme la variété de quotient d'un espace hermitien symétrique par rapport à un sous-groupe de congruence d'un groupe réductif algébrique (défini sur les nombres rationnels).
Les variétés de Shimura portent le nom du mathématicien nippo-américain Gorō Shimura.

## Définition formelle

Notation:
* $\mathbb {G} _{m}$ est le groupe multiplicatif (un groupe algébrique), c'est-à-dire
    $\mathbb {G} _{m}=\operatorname {Spec} k[S,T]/(ST-1).$
* $\mathbb {S} =\operatorname {Res} _{\mathbb {C} /\mathbb {R} }\mathbb {G} _{m}$ est le tore de Deligne, c'est-à-dire le tore algébrique sur $\mathbb {R}$, que l'on obtient de $\mathbb {G} _{m}$ sur $\mathbb {C}$ par la restriction de Weil (restriction des scalaires (en)).
* $G_{\mathbb {R} }^{\operatorname {ad} }$ est le groupe adjoint de $G_{\mathbb {R} }$, c'est-à-dire le groupe de quotient de$G_{\mathbb {R} }$ avec son centre.
* $\mathbb {A} _{f}$ est l'anneau adélique finie de $\mathbb {Q}$, c'est-à-dire le produit restreint
       $\mathbb {A} _{f}=\prod _{l}(\mathbb {Q} _{l},\mathbb {Z} _{l}):=\left\{(a_{l})\in \prod \mathbb {Q} _{l}\mid a_{l}\in \mathbb {Z} _{l}{\text{ vaut pour presque tout }}l\right\}$
    où $l$ parcourt les éléments premiers finis de $\mathbb {Q}$.
* $\Gamma _{g}$ est le sous-groupe $gKg^{-1}\cap G(\mathbb {Q} )_{+}$ de $G(\mathbb {Q} )_{+}$.
* $X^{+}$ est composant connexes de $X$.

### Donnée de Shimura

Une donnée de Shimura est une paire $(G,X)$ constitué d'un groupe réductif $G$ sur $\mathbb {Q}$ et une classe $G(\mathbb {R} )$-conjugaison $X$ des homomorphismes $h:\mathbb {S} \to G_{\mathbb {R} }$, qui doit vérifier :
* Pour tout $h\in X$, $\operatorname {Ad} \circ h$ définit une structure de Hodge sur l'algèbre de Lie $\operatorname {Lie} (G_{\mathbb {R} })$ de type
    $\{(-1,1),(0,0),(1,-1)\}.$
* Pour tout $h\in X$, l'operation $\operatorname {ad} (h(i))$ est une involution de Cartan de $G_{\mathbb {R} }^{\operatorname {ad} }$.
* $G^{\operatorname {ad} }$ n'a pas de $\mathbb {Q}$-facteur sur lequel la projection de $h$ est triviale

#### Exemple

* Soit $G:=GL_{2}(\mathbb {Q} )$ et $h:\mathbb {S} \to GL_{2}(\mathbb {R} )$ (la notation GL désignant les groupes linéaires) défini par
       $h:a+b{\rm {i}}\mapsto {\begin{pmatrix}a&b\\-b&a\end{pmatrix}}$
    et $X$ est l'ensemble des $GL_{2}(\mathbb {R} )$-conjugués de $h$
       $X:=\{h_{g}:=ghg^{-1}\}_{g\in GL_{2}(\mathbb {R} )}.$
    Alors $(G,X)$ est une donnée de Shimura.

### Variétés de Shimura

Soit $(G,X)$ une donnée de Shimura.

#### Espace de double classe

Pour un sous-groupe compact et ouvert $K\subset G(\mathbb {A} _{f})$, on définit l'espace de double classe (en anglais double coset space) par
    $\operatorname {Sh} _{K}(G,X):=G(\mathbb {Q} )\setminus X\times G(\mathbb {A} _{f})/K,$
avec l'opération
    $q(x,a)k=(qx,qak),\quad q\in G(\mathbb {Q} ),\quad x\in X,\quad a\in G(\mathbb {A} _{f}),\quad k\in K.$
Cette opération signifie que $G(\mathbb {Q} )$ opère sur les deux composants $X$ et $G(\mathbb {A} _{f})$ à partir de la gauche. $K$ n'opère que sur la deuxième composante $G(\mathbb {A} _{f})$ à partir de la droite.

#### Union des variétés algébriques

$\operatorname {Sh} _{K}(G,X)$ est une union disjointe finie de variétés arithmétiques localement symétriques
    $\operatorname {Sh} _{K}(G,X)=\bigsqcup _{g}\Gamma _{g}\setminus X^{+}$
(voir par exemple pour la définition de telles variétés algébriques $\Gamma _{g}\setminus X^{+}$).

#### Système inverse

Si on fait varier $K$ (suffisamment petit), on obtient un système inverse (aussi appelé système projectif) de variétés algébriques
    $(\operatorname {Sh} _{K}(G,X))_{K}.$
$G(\mathbb {A} _{f})$ opère sur ce système à travers
    $K\mapsto g^{-1}Kg,\quad g\in G(\mathbb {A} _{f})$
et
    ${\begin{aligned}{\mathcal {T}}(g):\operatorname {Sh} _{K}(G,X)&\to \operatorname {Sh} _{g^{-1}Kg}(G,X)\\(x,a)&\mapsto (x,ag).\end{aligned}}$
Ce système inverse muni de l'opération $G(\mathbb {A} _{f})$ est appelé variété de Shimura et est noté avec $\operatorname {Sh} (G,X)$.