text:
# Variétés et formes modulaires de Hilbert arithmétiques pour Γ₁(𝔠,𝔫)

## 1 Variétés modulaires de Hilbert analytiques

Références :

### Notations.

Soit $`F`$ un corps de nombres totalement réel de degré $`d=d_F`$, d’anneau des entiers $`𝔬`$, de différente $`𝔡`$ et de discriminant $`\mathrm{\Delta }_F=\mathrm{N}_{F/}(𝔡)`$. On note $`J_F=\mathrm{Hom}_{\mathrm{alg}.}(F,)`$ l’ensemble de ses plongements (réels). On abrégera $`\mathrm{N}=\mathrm{N}_{F/}`$.

On se donne un groupe algébrique $`D_/`$, intermédiaire entre $`𝔾_{\mathrm{m}}^{}{}_{/}{}^{}`$ et $`\mathrm{Res}_{}^F𝔾_\mathrm{m}`$, connexe :

$$𝔾_\mathrm{m}D\mathrm{Res}_{}^F𝔾_\mathrm{m}.$$

On définit le groupe algébrique $`G_/`$ (resp. $`G_/^{}`$) comme le produit fibré de $`D`$ (resp. $`𝔾_\mathrm{m}`$) et de $`\mathrm{Res}_{}^F\mathrm{GL}_2`$ au-dessus de $`\mathrm{Res}_{}^F𝔾_\mathrm{m}`$. On a le diagramme cartésien suivant :

où la flèche $`\nu :\mathrm{Res}_{}^F\mathrm{GL}_2\mathrm{Res}_{}^F𝔾_\mathrm{m}`$ est donnée par la norme réduite.

Le sous-groupe de Borel standard de $`G`$, son radical unipotent et son tore maximal standard sont notés $`B`$, $`U`$ et $`T`$, respectivement. On pose $`T_1=T\mathrm{ker}(\nu )`$.

Pour toute $``$-algèbre $`R`$ et pour tout groupe algébrique $`H`$ sur $``$, on note $`H_R`$ le groupe de ses $`R`$-points.

###### Remarque 1.1

Dans toutes les applications le groupe $`G`$ sera soit $`\mathrm{Res}_{}^F\mathrm{GL}_2`$, soit $`G^{}`$. Nous avons préféré ne pas fixer $`G`$ dès le départ, car $`G^{}`$ intervient dans l’étude géométrique des formes modulaires de Hilbert (le problème de modules de variétés abéliennes de Hilbert associé à $`G^{}`$ est représentable : voir la partie 2), alors que $`\mathrm{Res}_{}^F\mathrm{GL}_2`$ intervient dans l’étude arithmétique des formes modulaires de Hilbert (les variétés de Shimura associées à $`\mathrm{Res}_{}^F\mathrm{GL}_2`$ ne sont en général que des espaces de modules grossiers, mais on connaît l’existence de représentations galoisiennes associées aux formes modulaires de Hilbert propres pour $`\mathrm{Res}_{}^F\mathrm{GL}_2`$). Cette présentation a été inspirée par .

### Le domaine symétrique hermitien $`_F`$.

Soit $`(F)_+`$ (resp. $`G_{}^+`$) la composante neutre de $`(F)^\times `$ (resp. de $`G_{}`$). Le groupe $`G_{}^+`$ agit par homographies sur l’espace $`_F=\{zF|\mathrm{im}(z)(F)_+\}^{J_F}`$, où $``$ désigne le demi-plan de Poincaré (l’isomorphisme étant donné par $`\xi w(\tau (\xi )w)_{\tau J_F}`$).

Posons $`\underset{¯}{i}=(\sqrt{1},\mathrm{},\sqrt{1})_F`$ et $`K_{\mathrm{}}^+=\mathrm{Stab}_{G_{}^+}(\underset{¯}{i})`$. Alors $`G_{}^+/K_{\mathrm{}}^+_F`$, par $`gg(\underset{¯}{i})`$ d’inverse $`x+\underset{¯}{i}y\left(\begin{array}{cc}y^{1/2}& xy^{1/2}\\ 0& y^{1/2}\end{array}\right)K_{\mathrm{}}^+`$.

Via l’inclusion $`_F^1(F)\text{}z\left[\begin{array}{c}z\\ 1\end{array}\right]`$, l’action de $`G_{}^+`$ sur $`_F`$ est compatible avec l’action naturelle de $`G_{}`$ sur $`^1(F)`$.

Les points rationnels $`^1(F)`$ du bord $`^1(F)`$ de $`_F`$ sont appelés les pointes. On pose $`\mathrm{}=\left[\begin{array}{c}1\\ 0\end{array}\right]`$. Le groupe $`G_{}`$ agit transitivement sur l’ensemble des pointes. On a $`B_{}=\mathrm{Stab}_G_{}(\mathrm{})`$ et $`^1(F)G_{}/B_{}`$.

On munit l’espace $`_F^{}=_F^1(F)`$ de la topologie de Satake, donnée par :

$`-`$ la topologie usuelle sur $`_F`$,

$`-`$ pour toute pointe $`𝒞^1(F)`$, s’écrivant $`𝒞=\gamma \mathrm{}`$ avec $`\gamma G_{}`$, un système fondamental de voisinages ouverts de $`𝒞`$ est donné par les $`\{\gamma W_H\}_{H_+^{}}`$, où

$$W_H=\{z_F|\underset{\tau }{}\mathrm{im}(z_\tau )>H\}.$$

L’espace $`_F^{}`$ est séparé (mais pas localement compact!) pour cette topologie (voir  I.2.9.).

### Action de $`G_{}^+`$ sur les $`𝔬`$-réseaux.

Le groupe $`G_{}`$ agit à gauche sur $`F^2`$, par $`\gamma (m,n)=(m,n)\gamma ^1`$, où $`\gamma G_{}`$ et $`m,nF`$. Soit $`G_{}^+`$ le sous-groupe de $`G_{}`$ formé des éléments dont le déterminant appartient au sous-groupe des éléments totalement positifs $`F_+^\times `$ de $`F^\times `$. Posons $`𝔬_+^\times =𝔬^\times F_+^\times `$.

Pour tout idéal fractionnaire $`𝔣`$ de $`F`$ on pose $`𝔣^{}=𝔣^1𝔡^1`$. On a un accouplement parfait $`\mathrm{Tr}_{F/}:𝔣\times 𝔣^{}`$.

Soit $`L`$ un $`𝔬`$-réseau de $`F^2`$; c’est un $`𝔬`$-module projectif de rang deux, donc il s’écrit, quitte à changer la base de $`F^2`$, comme $`L=𝔢𝔣^{}`$, avec $`𝔢`$ et $`𝔣`$ des idéaux fractionnaires de $`F`$. Le stabilisateur du réseau $`𝔢𝔣^{}`$ dans $`G_{}^+`$ est égal à :

$$G^+(𝔢𝔣^{}):=\{\gamma G_{}^+|det(\gamma )𝔬_+^\times \}\left(\begin{array}{cc}𝔬& (𝔢𝔣)^{}\\ 𝔢𝔣𝔡& 𝔬\end{array}\right)$$

Lorsque $`G=G^{}`$ (resp. $`G=\mathrm{Res}_{}^F\mathrm{GL}_2`$), on écrit $`\mathrm{SL}(𝔢𝔣^{})`$ (resp. $`\mathrm{GL}^+(𝔢𝔣^{})`$), à la place de $`G^+(𝔢𝔣^{})`$. Notons que $`𝔬_+^\times =\{1\}`$, et donc $`\mathrm{SL}(𝔢𝔣^{})`$ est formé d’éléments dont le déterminant vaut $`1`$.

###### Lemme 1.2

Dans la $`\mathrm{SL}_2(F)`$-orbite de tout $`𝔬`$-réseau $`L`$ de $`F^2`$, il existe un $`𝔬`$-réseau de la forme $`𝔬𝔠^{}`$, avec $`𝔠`$ un idéal fractionnaire de $`F`$.

Démonstration :  Il est clair que la $`\mathrm{SL}_2(F)`$-orbite de $`L`$ contient au moins un réseau de la forme $`𝔢𝔣^{}`$. Prenons $`a𝔢`$ et $`c𝔣𝔡`$ satisfaisant $`a𝔬+c𝔢𝔣^{}=𝔢`$. Par le théorème de Bezout, il existe alors une matrice unimodulaire $`\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\mathrm{SL}_2(F)\left(\begin{array}{cc}𝔢& 𝔣^{}\\ 𝔣𝔡& 𝔢^1\end{array}\right)`$ et l’image de $`𝔢𝔣^{}`$ par cette matrice vaut $`𝔬𝔠^{}`$, avec $`𝔠^{}=𝔢𝔣^{}`$. L’idéal $`𝔠^{}`$ est canoniquement isomorphe à $`_𝔬^2L`$ et donc ne dépend pas de la matrice de passage unimodulaire particulière choisie. $`\mathrm{}`$

En vertu de ce lemme, nous ne considérerons par la suite que des $`𝔬`$-réseau de la forme $`𝔬𝔠^{}`$, avec $`𝔠`$ un idéal fractionnaire de $`F`$.

###### Remarque 1.3

Considérons le cas où $`G=\mathrm{Res}_{}^F\mathrm{GL}_2`$. Alors l’application $`L_𝔬^2L`$ induit une bijection entre l’ensemble des $`G_{}^+`$-orbites de $`𝔬`$-réseaux $`L`$ de $`F^2`$ et le groupe de classes strictes d’idéaux $`\mathrm{Cl}_F^+`$.

Notons que deux groupes $`\mathrm{GL}^+(𝔬𝔠^{})`$ et $`\mathrm{GL}^+(𝔬𝔠_{}^{}{}_{}{}^{})`$ sont conjugués dans $`G_{}^+`$, si et seulement, si les idéaux $`𝔠`$ et $`𝔠^{}`$ appartiennent au même genre (i.e. $`𝔠^{}=\xi 𝔢^2𝔠`$, avec $`\xi F_+^\times `$ et $`𝔢`$ idéal de $`F`$).

### Sous-groupes de congruence de $`G_{}^+`$.

On fixe dans la suite un idéal fractionnaire $`𝔠`$ et on considère le réseau $`L_0=𝔬𝔠^{}`$.

On se donne aussi un idéal $`𝔫𝔬`$. Le $`𝔬/𝔫`$-module $`𝔫^1L_0/L_0`$ est libre de rang $`2`$. Prenons $`x_0F`$, avec $`𝔬=𝔫+x_0𝔠𝔡`$. La multiplication par $`x_0`$ induit alors les isomorphismes $`𝔬/𝔫\stackrel{}{}𝔠^{}/𝔠^{}𝔫`$ et $`𝔠𝔡/𝔠𝔡𝔫\stackrel{}{}𝔬/𝔫`$ ce qui nous permet d’identifier l’image de $`\mathrm{SL}(𝔬𝔠^{})`$ dans $`\mathrm{Aut}(𝔫^1L_0/L_0)`$ avec $`\mathrm{SL}_2(𝔬/𝔫)`$ par l’application $`\left(\begin{array}{cc}a& bx_0\\ c& d\end{array}\right)\left(\begin{array}{cc}a& b\\ cx_0& d\end{array}\right)`$, où $`a,b,d𝔬/𝔫`$ et $`c𝔠𝔡/𝔠𝔡𝔫`$. Faisons l’hypothèse :

(NT) $`𝔫`$ est premier à $`\mathrm{N}(𝔠𝔡)`$ et $`𝔫`$ ne divise ni $`2`$, ni $`3`$.

Soit $`\mathrm{\Gamma }_0^1(𝔠,𝔫)=\mathrm{SL}_2(F)\left(\begin{array}{cc}𝔬& 𝔠^{}\\ 𝔠𝔡𝔫& 𝔬\end{array}\right)`$, $`\mathrm{\Gamma }^1(𝔠,𝔫)=\mathrm{Ker}(\mathrm{SL}(𝔬𝔠^{})\mathrm{Aut}(𝔫^1L_0/L_0))`$

$`\text{et }\mathrm{\Gamma }_1^1(𝔠,𝔫)=\left\{\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\mathrm{\Gamma }_0^1(𝔠,𝔫)\right|d1(mod𝔫)\}.`$

La réduction modulo $`𝔫`$ induit un diagramme cartésien :

Les groupes $`\mathrm{\Gamma }^1(𝔠,𝔫)\mathrm{\Gamma }_1^1(𝔠,𝔫)\mathrm{\Gamma }_0^1(𝔠,𝔫)\mathrm{SL}(𝔬𝔠^{})`$ sont des sous-groupes de congruence de $`\mathrm{SL}_2(F)`$. De même on définit les sous-groupes de congruence :

$$\mathrm{\Gamma }(𝔠,𝔫)\mathrm{\Gamma }_1(𝔠,𝔫)\mathrm{\Gamma }_0(𝔠,𝔫)\mathrm{GL}^+(𝔬𝔠^{})\mathrm{GL}_2^+(F),$$

$$\mathrm{\Gamma }^D(𝔠,𝔫)\mathrm{\Gamma }_1^D(𝔠,𝔫)\mathrm{\Gamma }_0^D(𝔠,𝔫)G^+(𝔬𝔠^{})G_{}^+,$$

en remplaçant la condition d’unimodularité par celle d’avoir son déterminant appartenant à $`𝔬_+^\times `$ (resp. à $`𝔬_{D+}^\times :=D_{}𝔬_+^\times `$).

###### Lemme 1.4

Sous l’hypothèse (NT) le groupe $`\mathrm{\Gamma }_1(𝔠,𝔫)`$ est sans torsion.

Démonstration : Par l’absurde. Supposons qu’il existe un élément de $`\mathrm{\Gamma }_1(𝔠,𝔫)`$ d’ordre premier $`p`$. Le déterminant de cet élément est une racine de l’unité totalement positive, donc égale à $`1`$. Cet élément admet comme valeur propre une racine de l’unité $`\zeta _p1`$, ainsi que son inverse $`\zeta _p^1`$. En prenant sa trace on trouve que $`\zeta _p`$ est quadratique sur $`F`$, i.e. $`[F(\zeta _p):F]2`$. Par ailleurs, $`\zeta _p+\zeta _p^12𝔫`$, donc $`\mathrm{N}(𝔫)`$ est une puissance de $`p`$. D’après (NT) on a alors que $`F`$ et $`(\zeta _p)`$ sont linéairement disjoints, d’où $`[F(\zeta _p):F]=p1`$. On en déduit que $`p=2`$ ou $`p=3`$, ce qui implique, par un calcul facile, que $`𝔫`$ divise $`2`$ ou $`3`$. Contradiction. $`\mathrm{}`$

###### Remarque 1.5

La condition (NT) est optimale pour que $`\mathrm{\Gamma }_1(𝔠,𝔫)`$ soit sans torsion. En effet, comme les matrices $`\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)\mathrm{\Gamma }_1^1(𝔡^1,(2))`$ et $`\left(\begin{array}{cc}2& 1\\ 3& 1\end{array}\right)\mathrm{\Gamma }_1^1(𝔡^1,(3))`$ sont d’ordre fini, $`𝔫`$ ne peut diviser ni $`2`$ ni $`3`$. Par ailleurs, la condition que $`𝔫`$ soit premier à $`\mathrm{\Delta }_F`$ est aussi nécessaire, comme le montre la matrice d’ordre fini $`\left(\begin{array}{cc}1& 1\\ \frac{\sqrt{5}5}{2}& \frac{\sqrt{5}3}{2}\end{array}\right)\mathrm{\Gamma }_1^1(𝔡^1,(\sqrt{5}))`$ (ici $`F=(\sqrt{5})`$). Enfin, la condition que $`𝔫`$ soit premier à $`\mathrm{N}(𝔠)`$ est bénigne, car par le théorème d’approximation faible, chaque classe de $`\mathrm{Cl}_F^+`$ contient des idéaux $`𝔠`$ premiers à $`\mathrm{N}(𝔫)`$.

Dans toute la suite du texte on suppose que l’hypothèse (NT) est satisfaite, de sorte que $`\mathrm{\Gamma }_1(𝔠,𝔫)`$ soit sans torsion.

### Pointes pour les sous-groupes de congruence.

Soit $`\mathrm{\Gamma }`$ un sous-groupe de congruence. Comme $`F^\times \mathrm{\Gamma }/F^\times `$ est commensurable avec $`\mathrm{PSL}_2(𝔬)`$, l’ensemble de ses pointes est aussi $`^1(F)`$ et l’ensemble $`\mathrm{\Gamma }\mathrm{\backslash }^1(F)`$ est fini.

Les deux lemmes suivants décrivent les classes d’isomorphisme de $`\mathrm{\Gamma }_0^{}(𝔠,𝔫)`$-pointes ($`=\mathrm{},D,1`$). Cette description sera utilisée dans la partie 2, où nous étudions les $`\mathrm{\Gamma }_1^{}(𝔠,𝔫)`$-pointes. Notons que $`\mathrm{\Gamma }_0^D(𝔠,𝔫)=G^+(𝔬𝔠^{})G^+(𝔬(𝔠𝔫)^{})`$.

###### Lemme 1.6

Soient $`\left(\begin{array}{c}a\\ c\end{array}\right),\left(\begin{array}{c}a^{}\\ c^{}\end{array}\right)F^2\{0\}`$ et soit $`𝔣`$ un idéal fractionnaire de $`F`$.
Si $`a𝔬+c𝔣^{}=a^{}𝔬+c^{}𝔣^{}`$, alors il existe $`\gamma \mathrm{SL}(𝔬𝔣^{})`$ tel que $`\left(\begin{array}{c}a^{}\\ c^{}\end{array}\right)=\gamma \left(\begin{array}{c}a\\ c\end{array}\right).`$

Démonstration :  Posons $`𝔟=a𝔬+c𝔣^{}`$. Il existent $`\gamma ,\gamma ^{}G_{}^1\left(\begin{array}{cc}𝔟& (𝔟𝔣)^{}\\ 𝔟𝔣𝔡& 𝔟^1\end{array}\right)`$ tels que $`\left(\begin{array}{c}a\\ c\end{array}\right)=\gamma \mathrm{}`$ et $`\left(\begin{array}{c}a^{}\\ c^{}\end{array}\right)=\gamma ^{}\mathrm{}`$. Comme $`\gamma ^{}\gamma ^1\mathrm{SL}_2(𝔬𝔣^{})`$ on a le lemme. $`\mathrm{}`$

En notant $`_F`$ l’ensemble des idéaux fractionnaires et $`\mathrm{Cl}_F`$ le groupe des classes de $`F`$, on en déduit :

###### Lemme 1.7

On a deux bijections :

$`il_𝔠:G^+(𝔬𝔠^{})\mathrm{\backslash }\left(F^2\{0\}\right)\stackrel{}{}_F\text{}\left(\begin{array}{c}a\\ c\end{array}\right)𝔟=a𝔬+c𝔠^{}`$, et

$`il_{𝔠𝔫}:G^+(𝔬(𝔠𝔫)^{})\mathrm{\backslash }\left(F^2\{0\}\right)\stackrel{}{}_F\text{}\left(\begin{array}{c}a\\ c\end{array}\right)𝔟^{}=a𝔬+c(𝔠𝔫)^{}`$,

qui induisent deux bijections d’ensembles finis :

$`cl_𝔠:G^+(𝔬𝔠^{})\mathrm{\backslash }^1(F)\stackrel{}{}\mathrm{Cl}_F\text{, et }cl_{𝔠𝔫}:G^+(𝔬(𝔠𝔫)^{})\mathrm{\backslash }^1(F)\stackrel{}{}\mathrm{Cl}_F.`$

Démonstration :  Les flèches sont bien définie (voir l’action de $`G_{}^+`$ sur $`F^2`$ définie plus haut). Le lemme précédent donne l’injectivité. La surjectivité découle du fait que tout idéal dans un corps de nombres peut être engendré par deux de ses éléments.

### Variétés modulaires de Hilbert analytiques.

Étant donné un sous-groupe de congruence $`\mathrm{\Gamma }`$ on définit la variété modulaire de Hilbert analytique  $`M^{\mathrm{an}}=\mathrm{\Gamma }\mathrm{\backslash }_F`$. La variété $`M^{\mathrm{an}}`$ est lisse, si et seulement, si $`\mathrm{\Gamma }`$ est sans torsion. En revanche $`M^{\mathrm{an}}`$ n’est jamais compacte.

Les variétés modulaires de Hilbert, dont nous étudierons en détail la géométrie, sont celles correspondant aux groupes de congruence $`\mathrm{\Gamma }_1^D(𝔠,𝔫)`$.

### Compactification de Satake.

L’espace quotient $`M^{\mathrm{an}}=\mathrm{\Gamma }\mathrm{\backslash }_F^{}`$ est compact pour la topologie de Satake. Il est l’union de $`M^{\mathrm{an}}`$ et d’un nombre fini de points, appelés les pointes (voir  Sect.I). Il est muni d’une structure de variété analytique complexe normale pour laquelle les pointes sont des points singuliers si $`d_F>1`$ (voir  II.4).

## 2 Variétés abéliennes de Hilbert-Blumenthal et formes de Hilbert

Dans la suite $`\mathrm{\Gamma }`$ (resp. $`\mathrm{\Gamma }^1`$) désigne le sous-groupe de congruence $`\mathrm{\Gamma }_1^D(𝔠,𝔫)`$ (resp. $`\mathrm{\Gamma }_1^1(𝔠,𝔫)`$) et on pose $`M^{\mathrm{an}}=\mathrm{\Gamma }_1^D(𝔠,𝔫)\mathrm{\backslash }_F`$ (resp. $`M^{1,\mathrm{an}}=\mathrm{\Gamma }_1^1(𝔠,𝔫)\mathrm{\backslash }_F`$).

###### Définition 2.1

Une variété abélienne à multiplication réelle par $`𝔬`$ sur un schéma $`S`$ est la donnée d’un schéma abélien $`f:AS`$ de dimension relative $`d_F`$ et d’une injection $`\iota :𝔬\mathrm{End}(A/S)`$.

Soit $`𝔠`$ un idéal fractionnaire. Pour chaque variété abélienne à multiplication réelle $`A/S`$, on définit un faisceau en $`𝔬`$-modules sur le gros site étale de $`S`$ en associant à un $`S`$-schéma $`Y`$ le $`𝔬`$-module $`A(Y)_𝔬𝔠`$. Ce foncteur est représentable par une variété abélienne à multiplication réelle sur $`S`$, notée $`A_𝔬𝔠`$ (voir ); elle est caractérisée par:

$$A_𝔬𝔠=\{\begin{array}{cc}A/A[𝔠^1]\text{, si }𝔠^1\text{ entier}.\hfill & \\ (A^t𝔠^1)^t\text{, si }𝔠\text{ entier.}\hfill & \end{array}$$

La première formule s’obtient en tensorisant par $`A`$ sur $`𝔬`$ la suite exacte courte $`0𝔬𝔠𝔠/𝔬0`$. La seconde en résulte par dualité.

À partir de $`\iota :𝔬\mathrm{End}(A/S)`$ on obtient $`𝔠\mathrm{Hom}_𝔬(A,A_𝔬𝔠)`$. Soit $`𝔠_+=𝔠(F)_+`$. Soit $`\mathrm{Sym}_𝔬(A,A^t)`$ le $`𝔬`$-module des homomorphismes symétriques de $`A`$ vers $`A^t`$ et $`𝒫(A)\mathrm{Sym}_𝔬(A,A^t)`$ le cône des polarisations.

###### Définition 2.2

 Une variété abélienne $`A`$ de Hilbert-Blumenthal (abrégée en VAHB) sur un schéma $`S`$ est une variété abélienne à multiplication réelle par $`𝔬`$, vérifiant la condition de Deligne-Pappas suivante:

(DP) il existe un isomorphisme $`𝔬`$-équivariant $`\lambda :A𝔠\stackrel{}{}A^t`$ tel que via $`\lambda `$ on a $`(𝔠,𝔠_+)(\mathrm{Sym}_𝔬(A,A^t),𝒫(A)).`$

Un tel isomorphisme $`\lambda `$ est appelé une $`𝔠`$-polarisation.

Le groupe $`𝔬_+^\times `$ agit sur l’ensemble des $`𝔠`$-polarisations d’une VAHB $`A/S`$.

###### Définition 2.3

On appelle une classe de $`𝔠`$-polarisation, une orbite $`\overline{\lambda }`$ de $`𝔠`$-polarisations sous $`𝔬_{D+}^\times =𝔬_+^\times D_{}`$.

###### Remarque 2.4

Si $`\mathrm{\Delta }_F`$ est inversible dans $`S`$, alors la condition (DP) est équivalente à la condition suivante de Rapoport  (voir  Cor.2.9 et  Chap.3.5)

(R) le faisceau $`\underset{¯}{\omega }=f_{}\mathrm{\Omega }_{A/S}^1`$ est localement libre de rang $`1`$ sur $`𝔬𝒪_S`$ pour la topologie de Zariski.

###### Définition 2.5

Une $`\mu _𝔫`$-structure de niveau sur une VAHB $`A/S`$ est la donnée d’une immersion fermée $`𝔬`$-linéaire de $`S`$-schémas en groupes finis $`\alpha :(𝔬/𝔫)(1)A[𝔫]`$, où $`(𝔬/𝔫)(1)=(𝔾_\mathrm{m}𝔡^1)[𝔫]`$ désigne le dual de Cartier du $`S`$-schéma constant $`𝔬/𝔫`$.

###### Remarque 2.6

Comme $`𝔠`$ est premier à $`𝔫`$, la $`𝔠`$-polarisation $`\lambda `$, combinée avec l’accouplement de Weil $`A[𝔫]\times A^t[𝔫](𝔾_\mathrm{m}𝔡^1)[𝔫]`$, donne un accouplement $`𝔬`$-équivariant parfait $`A[𝔫]\times A[𝔫](𝔾_\mathrm{m}𝔠^{})[𝔫]`$. Étant donné une $`\mu _𝔫`$-structure de niveau $`\alpha :(𝔬/𝔫)(1)A[𝔫]`$, à l’aide de ce dernier, on lui associe de manière canonique un morphisme $`𝔬`$-linéaire surjectif de $`S`$-schémas en groupes finis $`\alpha ^{}:A[𝔫]𝔠^1/𝔫𝔠^1`$, appelé le $`\lambda `$-dual de Cartier de $`\alpha `$. On a une suite exacte :

$$0(𝔬/𝔫)(1)\stackrel{𝛼}{}A[𝔫]\stackrel{\alpha ^{}}{}𝔠^1/𝔫𝔠^10$$

### Construction analytique de la VAHB universelle sur $`M^{1,\mathrm{an}}`$.

Pour tout $`z_F`$ et $`\gamma G_{}`$ on pose $`j(\gamma ,z)=cz+d(F)^\times `$. D’après l’identité $`j(\gamma \gamma ^{},z)=j(\gamma ,\gamma ^{}(z))j(\gamma ^{},z)`$ on a un $`1`$-cocycle :

$$G_{}(𝔬𝒪__F)^\times \text{}\gamma (zj(\gamma ,z)).$$

On pose $`𝒜^{\mathrm{an}}=\mathrm{\Gamma }^1\mathrm{\backslash }(_F\times (F))/𝔬𝔠^{}`$, où le groupe produit semi-direct $`(𝔬𝔠^{})\mathrm{\Gamma }^1`$ (pour $`\gamma (m,n)=(m,n)\gamma ^1`$) agit à gauche sur $`_F\times (F)`$ par :

$$\{\begin{array}{cc}\gamma (z,v)=(\gamma (z),j(\gamma ,z)^1v)\hfill & \\ (z,v)(m,n)=(z,v+mz+n)\hfill & \end{array}.$$
(1)
La fibre du point $`\mathrm{\Gamma }^1zM^{1,\mathrm{an}}`$ est la variété abélienne $`𝒜_z^{\mathrm{an}}:=(F)/L_z`$, où $`L_z=(𝔬z𝔠^{})`$. La flèche $`\iota (\xi ):(z,v)(z,\xi v)`$ induit une action de $`\xi 𝔬`$ sur $`𝒜^{\mathrm{an}}`$, d’où une injection $`\iota :𝔬\mathrm{End}(𝒜^{\mathrm{an}}/M^{1,\mathrm{an}})`$.

Pour tout fibré vectoriel $`E`$ sur $`M^{1,\mathrm{an}}`$, soit $`E^{}`$ le fibré dual. Il est facile de voir que $`\mathrm{Lie}(𝒜^{\mathrm{an}}/M^{1,\mathrm{an}})=\mathrm{\Gamma }^1\mathrm{\backslash }(_F\times (F))`$ et $`\underset{¯}{\omega }=\mathrm{Lie}(𝒜^{\mathrm{an}}/M^{1,\mathrm{an}})^{}`$ sont localement libres de rang $`1`$ sur $`𝔬𝒪_{M^{1,\mathrm{an}}}`$.

Pour tout $`𝔬`$-module $`L`$ on a un isomorphisme entre $`\mathrm{Hom}_𝔬(L,𝔡^1)`$ et $`L^{}=\mathrm{Hom}_{}(L,)`$, obtenu en composant avec $`\mathrm{Tr}_{F/}`$.

On a un isomorphisme $`𝔬`$-linéaire $`_𝔬^2L_z𝔠^{}`$, venant de l’accouplement parfait $`\lambda _z:L_z\times L_zF`$$`(u,v)\frac{uv^cu^cv}{2i\mathrm{im}(z)}`$. L’application $`\mathrm{Tr}_{F/}\lambda _z`$ nous fournit un isomorphisme $`L_z_𝔬𝔠L_z^{}`$, d’où une $`𝔠`$-polarisation $`𝒜_z𝔠𝒜_z^t`$.

Si $`𝔬=𝔫+y_0𝔠`$, la flèche $`M^{1,\mathrm{an}}\times 𝔫^1𝔡^1/𝔡^1𝒜^{\mathrm{an}}[𝔫]`$, $`(z,v)(z,y_0v)`$ munit $`𝒜^{\mathrm{an}}`$ d’une $`\mu _𝔫`$-structure de niveau.

###### Proposition 2.7

$`(𝒜^{\mathrm{an}},\iota ,\lambda ,\alpha )/M^{1,\mathrm{an}}`$ est une VAHB $`𝔠`$-polarisée analytique, munie d’une $`\mu _𝔫`$-structure de niveau.

La flèche $`𝒜^{\mathrm{an}}M^{1,\mathrm{an}}`$ est universelle, i.e. pour toute VAHB analytique $`A/S`$ munie d’une $`\mu _𝔫`$-structure de niveau et d’une $`𝔠`$-polarisation, il existe une unique flèche $`\phi :SM^{1,\mathrm{an}}`$ et un unique isomorphisme de VAHB munies de $`\mu _𝔫`$-structure de niveau et de $`𝔠`$-polarisation $`A𝒜^{\mathrm{an}}\times _{M^{1,\mathrm{an}}}S`$. En particulier, si $`A`$ est une VAHB complexe munie d’une $`\mu _𝔫`$-structure de niveau et d’une $`𝔠`$-polarisation, il existe un unique point $`zM^{1,\mathrm{an}}`$ et un unique isomorphisme $`A𝒜_z^{\mathrm{an}}`$.

Idée de la démonstration :  Il est clair que toute VAHB complexe est isomorphe à une VAHB de la forme $`𝒜_z^{\mathrm{an}}`$ et que les deux VAHB analytiques $`𝒜_z^{\mathrm{an}}`$ et $`𝒜_z^{}^{\mathrm{an}}`$ sont isomorphes comme VAHB munies de leurs $`\mu _𝔫`$-structures de niveau et $`𝔠`$-polarisations si et seulement si $`z^{}\mathrm{\Gamma }^1z`$.

Soit $`A/S`$ comme dans l’énoncé. Par ce qui précède, il existe une unique flèche ensembliste $`\phi :SM^{1,\mathrm{an}}`$ telle que $`A𝒜^{\mathrm{an}}\times _{M^{1,\mathrm{an}}}S`$. L’analyticité de $`\phi `$ se vérifie localement, car $`\phi (s)=_{\gamma _1}\omega (s)/_{\gamma _2}\omega (s)`$, où $`(\gamma _1,\gamma _2)`$ est une $`𝔬`$-base locale convenable de l’homologie de $`A/S`$ et $`\omega `$ est une $`𝔬𝒪_S`$-base locale de $`\underset{¯}{\omega }`$. $`\mathrm{}`$

###### Remarque 2.8

1) Notons qu’en général pour $`GG^{}`$ la variété $`M^{\mathrm{an}}=\mathrm{\Gamma }\mathrm{\backslash }_F`$ n’est qu’un espace de modules grossier pour le problème de modules de classes d’isomorphismes de VAHB munies d’une classe de $`𝔠`$-polarisation (voir la définition 2.3) et d’une $`\mu _𝔫`$-structure de niveau.

Comme $`\mathrm{\Gamma }^1`$ est un sous-groupe distingué de $`\mathrm{\Gamma }`$, le quotient $`𝔬_{D+}^\times `$ agit sur $`M^{1,\mathrm{an}}`$. Sur les $`S`$-points $`ϵ𝔬_{D+}^\times `$ envoie $`(A,\iota ,\lambda ,\alpha )/S`$ sur $`(A,\iota ,ϵ\lambda ,\alpha )/S`$. On a $`M^{\mathrm{an}}=𝔬_{D+}^\times \mathrm{\backslash }M^{1,\mathrm{an}}`$.

En fait, le sous-groupe $`𝔬_{D+}^\times 𝔬_𝔫^{\times 2}`$ agit trivialement, car la multiplication par $`ϵ𝔬^\times `$ induit un isomorphisme $`(A,\iota ,\lambda ,\alpha )(A,\iota ,ϵ^2\lambda ,ϵ\alpha )`$. Donc $`M^{1,\mathrm{an}}`$ est un revêtement fini étale de $`M^{\mathrm{an}}`$, de groupe $`𝔬_{D+}^\times /𝔬_{D+}^\times 𝔬_𝔫^{\times 2}`$.

Pour toute VAHB $`A/S`$ munie d’une classe de $`𝔠`$-polarisation et d’une $`\mu _𝔫`$-structure de niveau on a des flèches $`SM^{1,\mathrm{an}}`$ dont les composées avec la projection $`M^{1,\mathrm{an}}M^{\mathrm{an}}`$ coïncident et telles que $`A/S`$ avec sa classe de $`𝔠`$-polarisation soit le pull back de $`A^{\mathrm{an}}/M^{1,\mathrm{an}}`$ munie de la classe de sa $`𝔠`$-polarisation universelle.

2) Lorsque $`G=\mathrm{Res}_{}^F\mathrm{GL}_2`$, Hida, dans son livre  Chap.4 Sect. 4.1.2, a donné une autre description de $`M^{\mathrm{an}}`$ comme espace de modules grossier des VAHB avec classes de $`F_+^\times `$-polarisation. Dans sa description,

$$M^{\mathrm{an}}=M_1^{\mathrm{an}}(𝔠,𝔫)=F_+^\times \mathrm{\backslash }\underset{𝔠^{}}{}M_1^1(𝔠^{},𝔫)^{\mathrm{an}},$$

$`𝔠^{}`$ décrit les idéaux de $`F`$ qui appartiennent à la même classe stricte que $`𝔠`$.

### VAHB analytique de Tate.

Soit $`𝒞=\gamma \mathrm{}`$ une $`\mathrm{\Gamma }`$-pointe ($`\gamma G_{}^{}`$). On commence par étudier la forme d’un voisinage de $`𝒞`$ dans $`M^{\mathrm{an}}`$, puis on va décrire celle de $`𝒜^{\mathrm{an}}`$, au-dessus d’un tel voisinage dans $`M^{1,\mathrm{an}}`$.

1 cas $`𝒞=\left[\begin{array}{c}1\\ 0\end{array}\right]=\mathrm{}`$. $`\mathrm{Stab}_\mathrm{\Gamma }(\mathrm{})=\left\{\left(\begin{array}{cc}uϵ& b\\ 0& u^1\end{array}\right)\right|u𝔬_𝔫^\times ,ϵ𝔬_{D+}^\times b𝔠^{}\}=𝔠^{}(𝔬_𝔫^\times \times 𝔬_{D+}^\times )`$, où $`𝔬_{D+}^\times =𝔬_+^\times D_{}`$ et pour tout idéal $`𝔣`$ de $`F`$, $`𝔬_𝔣^\times `$ désigne le groupe des unités de $`𝔬`$ congrues à $`1`$ modulo $`𝔣`$.

Soit $`\varphi `$ l’inclusion naturelle $`FF`$; on a une suite exacte courte:

$$0𝔠^{}\stackrel{\mathit{\varphi }}{}F\stackrel{𝑞}{}𝔾_\mathrm{m}𝔠^{}1,$$
(2)
obtenue par produit tensoriel par $`𝔠^{}`$ de $`0\stackrel{e^{2i\pi }}{}^{}1`$.

Pour $`mF`$ et $`zF`$, on pose $`q_z^m=q(\varphi (m)z)`$ ($`=q(\varphi (m)z+\varphi (n))`$ pour tout $`n𝔠^{}`$). On voit facilement:

Fait :  Pour $`H>0`$ assez grand $`\mathrm{Stab}_\mathrm{\Gamma }(W_H)=B_\mathrm{\Gamma }:=\mathrm{\Gamma }B_{}`$.

Le groupe $`𝔬_{\mathrm{}}^\times :=𝔬_𝔫^\times \times 𝔬_{D+}^\times `$ agit sur le quotient $`D_H=𝔠^{}\mathrm{\backslash }W_H`$ par

$`(u,ϵ)(z+𝔠^{})=u^2ϵz+𝔠^{}`$, et on a le diagramme suivant :

Le diagramme suivant décrit la structure de la VAHB universelle $`𝒜^{\mathrm{an}}`$ sur le voisinage $`B_{\mathrm{\Gamma }^1}\mathrm{\backslash }W_H`$ de la pointe $`\mathrm{}`$ dans $`M^{1,\mathrm{an}}`$ :

Commentaires : 1) La notation $`q_z^𝔬`$ exprime que $`m𝔬`$ agit sur $`𝔾_\mathrm{m}𝔠^{}\times 𝔾_\mathrm{m}𝔠^{}`$ par la formule $`(q_z,q_v)m=(q_z,q_vq_z^m)`$.

2) Le groupe $`𝔬_𝔫^\times `$ agit sur $`S_{\mathrm{}}\times 𝔾_\mathrm{m}𝔠^{}`$ par $`u(q_z,q_v)=(q_z^{u^2},q_v^u)`$.

###### Définition 2.9

La VAHB $`𝔠`$-polarisée au-dessus de $`S_{\mathrm{}}`$ ainsi obtenue s’appelle la VAHB analytique de Tate, notée $`\mathrm{Tate}_{𝔠,𝔬}(q_z)`$. Sa fibre au point $`q_zS_{\mathrm{}}`$ est égale à $`𝔾_\mathrm{m}𝔠^{}/q_z^𝔬`$.

2 cas $`𝒞=\left[\begin{array}{c}a\\ c\end{array}\right]=\gamma \mathrm{}`$, $`\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)G_{}^{}`$. $`\mathrm{Stab}_\mathrm{\Gamma }(𝒞)=B_{\mathrm{\Gamma },𝒞}:=\mathrm{\Gamma }\gamma B_{}\gamma ^1`$. Un système fondamental de voisinages de la pointe $`𝒞`$ est donné par les $`B_{\mathrm{\Gamma },𝒞}\mathrm{\backslash }\gamma W_H`$. Notons que pour tout sous-groupe $`\mathrm{\Gamma }^{}`$ de $`G_{}`$ on a la suite exacte suivante :

$$1\mathrm{\Gamma }^{}U_{}\mathrm{\Gamma }^{}B_{}\mathrm{pr}(\mathrm{\Gamma }^{}B_{})1,$$

$`\mathrm{pr}:B_{}T_{}`$ est la projection canonique. Le diagramme suivant :

permet de nous ramener au cas de la pointe $`\mathrm{}`$, pour le groupe $`\gamma ^1\mathrm{\Gamma }\gamma `$.

$``$ Calcul de $`\gamma ^1\mathrm{\Gamma }\gamma U_{}`$. $`\left(\begin{array}{cc}1& \xi ^{}\\ 0& 1\end{array}\right)\gamma ^1\mathrm{\Gamma }\gamma \left(\begin{array}{cc}1+ac\xi ^{}& a^2\xi ^{}\\ c^2\xi ^{}& 1ac\xi ^{}\end{array}\right)\mathrm{\Gamma }`$

$`\xi ^{}a^2𝔠^{}(ac)^1𝔫c^2𝔠^1𝔫=(a^2𝔠^1+ac𝔫^1+c^2(𝔠𝔫)^{})^1=`$

$`=𝔠^{}(a^2𝔬+ac(𝔠𝔫)^{}+c^2𝔠^2𝔫^1)^1=𝔠^{}(a𝔬+c𝔠^{})^1(a𝔬+c(𝔠𝔫)^{})^1.`$

Donc $`\gamma ^1\mathrm{\Gamma }\gamma U_{}=(𝔠𝔟𝔟^{})^{}`$, avec $`𝔟=a𝔬+c𝔠^{}et𝔟^{}=a𝔬+c(𝔠𝔫)^{}`$.

Posons $`X:=𝔠𝔟𝔟^{}`$ (sa classe est bien définie, d’après le lemme 1.7).

$``$ Calcul de $`𝔬_𝒞^\times :=\mathrm{pr}(\gamma ^1\mathrm{\Gamma }\gamma B_{})`$. Posons $`𝔬_{𝒞,1}^\times :=𝔬_𝒞^\times T_{1,}`$. Alors l’on a une suite exacte courte $`1𝔬_{𝒞,1}^\times 𝔬_𝒞^\times \stackrel{𝜈}{}\nu (𝔬_𝒞^\times )1`$. En prenant $`\gamma =\left(\begin{array}{cc}a& 0\\ c& a^1\end{array}\right)`$ on a

$$𝔬_𝒞^\times =\{(u,ϵ)F^\times \times 𝔬_{D+}^\times |\xi ^{}a^2𝔠^{},u^11+ac\xi ^{}𝔫,uϵu^1ac\xi ^{}\frac{a}{c}𝔠^1𝔫\}.$$

Le groupe $`𝔬_𝒞^\times `$ ne dépend que de la classe de $`\gamma `$ dans $`\mathrm{\Gamma }\mathrm{\backslash }G_{}/B_{}`$. Un calcul démontre que l’on a $`𝔬^\times 𝔬_{𝒞,1}^\times 𝔬_𝔫^\times `$. Si l’idéal $`𝔫`$ est sans facteurs carrés, alors $`𝔬_{𝒞,1}^\times =𝔬_𝔫^\times `$. Le calcul explicite du groupe $`𝔬_𝒞^\times `$ dans le cas général, est un corollaire d’une autre description des $`\mathrm{\Gamma }`$-pointes, donnée dans  Prop 3.3.

###### Remarque 2.10

En général l’inclusion $`\gamma ^1\mathrm{\Gamma }\gamma T_{1,}𝔬_{𝒞,1}^\times `$ est stricte, bien que ce soit une égalité pour la pointe $`\mathrm{}`$. Néanmoins le groupe $`\gamma ^1\mathrm{\Gamma }\gamma T_{1,}`$ est d’indice fini dans $`𝔬^\times `$.

Le type de la pointe $`𝒞`$ est déterminé par : $`\{\begin{array}{cc}\text{l’ideal }X^{},\hfill & \\ \text{le groupe }𝔬_𝒞^\times ,\hfill & \\ \text{l’action de }𝔬_𝒞^\times \text{ sur }X^{}\mathrm{\backslash }W_H.\hfill & \end{array}`$

Le fait de remplacer $`\gamma `$ par $`\gamma \left(\begin{array}{cc}a^{}& c^{}\\ 0& a^{}^1\end{array}\right)`$, multiplie $`X^{}`$ par $`a^{}^2`$ et conjugue l’action de $`𝔬_𝒞^\times `$ sur $`X^{}\mathrm{\backslash }W_H`$, par l’isomorphisme $`W_HW_{\mathrm{N}(a^{})^2H},`$ $`za^{}{}_{}{}^{2}z+a^{}c^{}`$.

Pour étudier la VAHB universelle $`𝒜^{\mathrm{an}}/M^{1,\mathrm{an}}`$ au voisinage de la pointe $`𝒞`$, trouvons quel réseau est stable par $`\gamma ^1\mathrm{SL}(𝔬𝔠^{})\gamma `$. Par le théorème de Bezout on peut prendre $`\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\mathrm{SL}_2(F)\left(\begin{array}{cc}𝔟& (𝔟𝔠)^{}\\ 𝔟𝔠𝔡& 𝔟^1\end{array}\right)`$, où $`𝔟=a𝔬+c𝔠^{}`$. Posons $`𝔞=𝔟𝔠`$. Comme $`\gamma ^1`$ transforme le réseau $`L_0=𝔬𝔠^{}`$ en le réseau $`L=𝔟𝔞^{}`$

$$\gamma ^1\mathrm{SL}(𝔬𝔠^{})\gamma =\mathrm{SL}(𝔟𝔞^{})=\mathrm{SL}_2(F)\left(\begin{array}{cc}𝔬& 𝔟^2𝔠^{}\\ 𝔟^2𝔠^1& 𝔬\end{array}\right).\text{ Donc}$$

car $`\gamma :𝒜^{\mathrm{an}}𝒜^{\mathrm{an}}`$$`(z,v)(\gamma z,j(\gamma ,z)^1v)`$ et $`\gamma ^1`$ envoie $`𝔬𝔠^{}`$ sur $`𝔟𝔞^{}`$.

A partir de là, en posant $`A_{\gamma ,H}^{\mathrm{an}}=\gamma ^1\mathrm{\Gamma }^1\gamma B_{}\mathrm{\backslash }(W_H\times (F))/𝔟𝔞^{},`$ on a la description de la variété universelle au voisinage de la pointe $`𝒞`$ :

Le groupe $`𝔟`$ agit sur le tore $`𝔾_\mathrm{m}X^{}\times 𝔾_\mathrm{m}𝔞^{}`$ par $`(q_z,q_v)\beta =(q_z,q_vq_z^\beta )`$. Le groupe $`𝔬_{𝒞,1}^\times `$ agit sur $`S_𝒞\times 𝔾_\mathrm{m}𝔞^{}`$ par $`u(q_z,q_v)=(q_z^{u^2}q_{\xi _u^{}}^u,q_v^u)`$, où $`\xi _u^{}`$ est un élément de $`(𝔟^2𝔠)^{}`$, bien défini modulo $`X^{}`$, et tel que $`\left(\begin{array}{cc}u& \xi _u^{}\\ 0& u^1\end{array}\right)\gamma ^1\mathrm{\Gamma }^1\gamma `$.

On rappelle que, par définition, pour tout $`mF`$, $`zF`$ on pose

$$q_z^m=q(\varphi (m)z)=q(\varphi (m)z+\varphi (n))\text{ pour tout }nX^{}\text{, où}$$

$$0X^{}\stackrel{\mathit{\varphi }}{}F\stackrel{𝑞}{}𝔾_\mathrm{m}𝔠^{}1.$$

###### Définition 2.11

La VAHB $`𝔠`$-polarisée au-dessus de $`S_𝒞`$ ainsi obtenue, s’appelle la VAHB analytique de Tate, notée $`\mathrm{Tate}_{𝔞,𝔟}(q_z)`$. Sa fibre au point $`q_zS_𝒞`$ est égale à $`𝔾_\mathrm{m}𝔞^{}/q_z^𝔟`$.

### Formes modulaires de Hilbert de niveau $`\mathrm{\Gamma }=\mathrm{\Gamma }_1^D(𝔠,𝔫)`$.

Rappelons que $`[J_F]`$ s’identifie au groupe des caractères du tore $`\mathrm{Res}_{}^F𝔾_\mathrm{m}`$ par $`\kappa =_{\tau J_F}k_\tau \tau (x\tau (x)^{k_\tau })`$. On note ce caractère $`xx^\kappa `$ et on utilisera la notation additive pour la loi de groupe sur les caractères. Les éléments de $`[J_F]`$ sont appelés des poids.

On suppose désormais $`F`$. Pour tout poids $`\kappa =_{\tau J_F}k_\tau \tau `$, on peut définir l’espace des formes automorphes de Hilbert holomorphes de poids $`\kappa `$ et niveau $`\mathrm{\Gamma }`$ comme l’espace des fonctions holomorphes $`f:_F`$ telles que pour tout $`\gamma \mathrm{\Gamma }`$

$$f(\gamma (z))=\nu (\gamma )^{\kappa /2}j(\gamma ,z)^\kappa f(z).$$

Ce sont les sections du fibré inversible analytique $`\underset{¯}{\omega }^\kappa `$ sur $`M^{\mathrm{an}}`$ donné par le cocycle

$$\mathrm{\Gamma }𝒪__F^\times ,\gamma \nu (\gamma )^{\kappa /2}j(\gamma ,z)^\kappa .$$

Cependant, on ne s’intéresse dans la suite de ce texte qu’aux formes qui peuvent intervenir dans la cohomologie de la variété de Hilbert à coefficients dans un système local algébrique (c’est-à-dire donné par une représentation algébrique de $`G`$). Ces représentations sont de la forme

$$\underset{\tau J_F}{}\mathrm{Sym}^{n_\tau }\mathrm{Det}^{m_\tau }.$$

Une telle représentation ne définit un système local sur $`M^{\mathrm{an}}`$ que si le centre de $`\mathrm{\Gamma }`$ agit trivialement. Cette condition équivaut à la condition d’algébricité de Clozel ( Sect.1.2.3):

###### Définition 2.12

Un poids $`\kappa [J_F]`$ est dit algébrique si ses coordonnées $`k_\tau `$ sont supérieures ou égales à $`2`$ et sont de même parité. On pose alors $`k_0=\mathrm{max}\{k_\tau |\tau J_F\}`$, $`m_\tau =\frac{k_0k_\tau }{2}`$, $`t=_{\tau J_F}\tau `$ et $`n_\tau =k_\tau 20`$ ($`n=\kappa 2t`$ et $`\kappa +2m=k_0t`$).

Pour toute fonction $`f:_F`$ et pour tout $`\gamma G_{}^+`$, on pose :

$$f|_\kappa \gamma (z)=\nu (\gamma )^{\kappa +mt}j(\gamma ,z)^\kappa f(\gamma z).$$

Considérons l’espace:

$$G_\kappa (𝔠,𝔫)^{\mathrm{an}}=\{f:_F|\gamma \mathrm{\Gamma },f|_\kappa \gamma =f\mathrm{et}f\mathrm{holomorphe}\mathrm{sur}_F^{}\}.$$

On appelle cet espace l’espace des formes modulaires holomorphes de poids $`\kappa `$ et groupe de niveau $`\mathrm{\Gamma }`$. Il est isomorphe à l’espace des sections globales du fibré analytique $`\underset{¯}{\omega }^\kappa \underset{¯}{\nu }^{n_0t/2}`$ sur $`M^{\mathrm{an}}`$ associé au cocyle $`\gamma \nu (\gamma )^{n_0t/2}j(\gamma ,z)^\kappa `$ avec $`n_0=k_02`$.

###### Remarque 2.13

La torsion par $`\underset{¯}{\nu }^{n_0t/2}`$ induit un isomorphisme d’espaces vectoriels complexes

$$\mathrm{H}^0(M^{\mathrm{an}},\underset{¯}{\omega }^\kappa )\mathrm{H}^0(M^{\mathrm{an}},\underset{¯}{\omega }^\kappa \underset{¯}{\nu }^{n_0t/2}).$$

Pour chaque $`fG_\kappa (𝔠,𝔫)^{\mathrm{an}}`$, on se propose d’expliciter la notion d’holomorphie en une pointe $`𝒞=\gamma \mathrm{}^1(F)`$. La fonction $`f_𝒞:=f|_\kappa \gamma `$ est invariante par le groupe $`\gamma ^1\mathrm{\Gamma }\gamma `$ et donc par son sous-groupe de translations $`\gamma ^1\mathrm{\Gamma }\gamma U_{}X^{}`$ (pour le calcul de ce-dernier voir le paragraphe précédent). Par conséquent, elle admet un développement en série de Fourier :

$$f_𝒞(z)=\underset{\xi X}{}a_\xi e^{2i\pi \mathrm{Tr}_{F/}(\xi z)}.$$
(3)
La condition d’holomorphie en la pointe $`𝒞`$ se lit alors :

$$a_\xi 0\xi X_+\text{ ou }\xi =0.$$
(4)
Pour tout $`(u,ϵ)𝔬_𝒞^\times `$, il existe $`\xi _{u,ϵ}^{}(𝔟^2𝔠)^{}`$, défini à $`X^{}`$ près, tel que $`\left(\begin{array}{cc}uϵ& \xi _{u,ϵ}^{}\\ 0& u^1\end{array}\right)\gamma ^1\mathrm{\Gamma }\gamma `$. L’invariance de $`f_𝒞`$ par le groupe $`\gamma ^1\mathrm{\Gamma }\gamma B_{}`$ nous donne pour tout $`\xi X`$ la relation :

$$a_{u^2ϵ\xi }=ϵ^{\kappa +mt}u^\kappa e^{2i\pi \mathrm{Tr}_{F/}(\xi u\xi _{u,ϵ}^{})}a_\xi .$$
(5)
Principe du $`q`$-développement :  Si pour tout $`\xi `$ on a $`a_\xi =0`$, alors $`f=0`$.

Principe de Koecher :  Si $`F`$, alors la condition (4) est toujours satisfaite. Si $`\kappa `$ n’est pas parallèle, alors $`a_0=0`$ (pas de séries d’Eisenstein).

D’après le (5), pour tout $`u\gamma ^1\mathrm{\Gamma }\gamma T_{1,}`$ et $`\xi X`$, on a $`a_{u^2\xi }=u^\kappa a_\xi `$, en particulier $`a_0=u^\kappa a_0`$, d’où la deuxième propriété.

Vérifions (4) par l’absurde : soient $`\xi X`$ et $`\xi ^{}X_+^{}`$ tels que $`a_\xi 0`$ et $`\xi ,\xi ^{}<0`$. Alors, on peut choisir $`u\gamma ^1\mathrm{\Gamma }\gamma T_{1,}`$ de façon que la quantité $`u^2\xi ,\xi ^{}`$ soit arbitrairement proche de $`\mathrm{}`$, ce qui contredit l’holomorphie de $`f`$ au point $`\underset{¯}{i}\xi ^{}_F`$. $`\mathrm{}`$

## 3 Compactifications toroïdales analytiques

Références : .

On a vu qu’en ajoutant à $`M^{\mathrm{an}}`$ un nombre fini de points (les $`\mathrm{\Gamma }`$-pointes) on obtient un espace analytique $`M^{\mathrm{an}}`$, compact pour la topologie de Satake. Il est aussi appelé compactification minimale et n’est pas lisse si $`d_F>1`$, comme le montre un argument de topologie (voir ).

Un voisinage typique de la pointe $`\mathrm{}`$ est de la forme $`𝔬_{\mathrm{}}^\times \mathrm{\backslash }q(D_H)𝔬_{\mathrm{}}^\times \mathrm{\backslash }^{\times d}`$. On aurait pu tenter de compactifier cette pointe en considérant l’adhérence de $`𝔬_{\mathrm{}}^\times \mathrm{\backslash }q(D_H)`$ dans $`𝔬_{\mathrm{}}^\times \mathrm{\backslash }^d`$. Le problème est que si $`d_F>1`$ le quotient de $`^d`$ par un groupe abélien, ayant des points fixes isolés, n’est jamais lisse (voir  p.30).

Il est important de disposer de compactifications lisses de $`M^{\mathrm{an}}`$ avec diviseurs à croisements normaux à l’infini (i.e. au-dessus des pointes). Par exemple, pour pouvoir donner une décomposition de Hodge de la cohomologie singulière de $`M^{\mathrm{an}}`$, on doit introduire des faisceaux cohérents à singularités logarithmiques à l’infini. Pour obtenir une compactification lisse de $`M^{\mathrm{an}}`$, on utilise la théorie des immersions toroïdales, s’inspirant du fait qu’au voisinage d’une pointe, $`M^{\mathrm{an}}`$ ressemble au quotient d’un tore par l’action d’un groupe.

### Immersions toriques.

Dans ce paragraphe on adopte les notations suivantes :

$`k`$ corps algébriquement clos.

$`S𝔾_m^d`$ tore algébrique sur $`k`$.

$`X=\mathrm{Hom}(S,𝔾_\mathrm{m})^d`$ groupe des caractères de $`S`$. Pour $`\xi X`$ on notera $`q^\xi `$ le caractère correspondant.

$`X^{}=\mathrm{Hom}(𝔾_\mathrm{m},S)^d`$ groupe des cocaractères de $`S`$. Pour $`\xi ^{}X^{}`$ on notera $`\lambda _\xi ^{}`$ le cocaractère correspondant.

On a un accouplement parfait $`,:X\times X^{}`$.

Pour tout anneau commutatif $`R`$ et tout monoïde $`Q`$, on notera $`R[q^\xi ;\xi Q]`$ la $`R`$-algèbre du monoïde.

On a $`S=\mathrm{Spec}(k[q^\xi ;\xi X])`$ et $`S=𝔾_\mathrm{m}X^{}`$.

###### Remarque 3.1

Si $`k=`$ on peut identifier $`/`$ et $`𝔾_\mathrm{m}`$ par l’application $`e^{2i\pi }`$ et on a :

$`(\mathrm{i})`$ $`X^{}\pi _1^{\mathrm{top}}(S)`$.

$`(\mathrm{ii})`$ $`X_{}^{}=X^{}`$ revêtement universel de $`S`$.

$`(\mathrm{iii})`$ $`SX_{}^{}/X^{}=S_c\times iX_{}^{}`$, où $`S_cX_{}^{}/X^{}`$ est le sous-groupe compact maximal de $`S`$. On appelle $`\mathrm{ord}:SX_{}^{}`$ l’application déduite de la projection sur $`iX_{}^{}`$.

###### Définition 3.2

Une immersion torique normale (affine) de $`S`$, est une immersion ouverte de $`S`$ dans une variété (=schéma intègre de type fini, séparé sur $`k`$) normale (affine) munie d’une action de $`S`$ qui étend l’action de $`S`$ sur lui-même.

Dans la suite, on ne considérera que des cônes polyédraux rationnels convexes de $`X_{}^{}`$, ouverts dans l’espace vectoriel qu’ils engendrent et stricts (i.e. qui ne contiennent pas de droite); on abrégera ces propriétés en parlant de cônes p.r.c.o.s. Un tel cône $`\sigma `$ est dit lisse, si $`\overline{\sigma }X^{}`$ est engendré par une partie d’une base de $`X^{}`$.

###### Théorème 3.3

( Chap.I, Théorème 1’)  La correspondance :

$$\sigma S_\sigma :=\mathrm{Spec}k[q^\xi ;\xi X\stackrel{ˇ}{\sigma }]$$

donne une bijection entre l’ensemble des cônes p.r.c.o.s. de $`X_{}^{}`$ et l’ensemble des immersions toriques normales affines de $`S`$. De plus $`S_\sigma `$ est lisse, si et seulement si, le cône $`\sigma `$ est lisse.

###### Exemple 3.4

Voici trois exemples d’immersions torique pour $`S=𝔾_{\mathrm{m}}^{}{}_{}{}^{2}`$ :

$``$ $`\overline{\sigma _1}=(1,0)_++(0,1)_+`$, donne $`𝔾_{\mathrm{m}}^{}{}_{}{}^{2}\mathrm{Spec}(k[Z_1,Z_2])𝔸^2`$.

$``$ $`\overline{\sigma _2}=(1,0)_+`$, donne $`𝔾_{\mathrm{m}}^{}{}_{}{}^{2}\mathrm{Spec}(k[Z_1,Z_2,Z_2^1])𝔸^1\times 𝔾_\mathrm{m}`$.

$``$ $`\overline{\sigma _3}=(1,1)_++(1,1)_+`$, donne

$`𝔾_{\mathrm{m}}^{}{}_{}{}^{2}\mathrm{Spec}(k[Z_1Z_2,Z_1,Z_1Z_2^1])\mathrm{Spec}(k[Z_1,Z_2,Z_3]/(Z_1Z_3Z_2^2)).`$

###### Proposition 3.5

( Chap.I, Théorème 3)  Soient $`S_{\sigma _1}`$ et $`S_{\sigma _2}`$ deux immersions toriques normales affines de $`S`$. Alors, il existe un morphisme $`S`$-équivariant $`S_{\sigma _1}S_{\sigma _2}`$, si et seulement si $`\sigma _1\overline{\sigma _2}`$.

On veut maintenant décrire le bord de $`S_\sigma `$ : il est stratifié en orbites sous $`S`$ de points à l’infini obtenus comme des limites “$`lim_{t0}\lambda _\xi ^{}(t)`$”, pour $`\xi ^{}X^{}\overline{\sigma }`$. De manière rigoureuse, pour tout $`\xi ^{}\overline{\sigma }X^{}`$, on définit le point $`\lambda _\xi ^{}(0)S_\sigma `$, par :

$$\xi X\stackrel{ˇ}{\sigma },q^\xi (\lambda _\xi ^{}(0))=\{\begin{array}{cc}1\text{, si }\xi ,\xi ^{}=0\hfill & \\ 0\text{, si }\xi ,\xi ^{}>0\hfill & \end{array}.$$

###### Théorème 3.6

( Chap.I, Théorème 2)

(a) Soient $`\xi _1^{},\xi _2^{}\overline{\sigma }X^{}`$. Alors $`\lambda _{\xi _1^{}}(0)=\lambda _{\xi _2^{}}(0)`$, si et seulement si $`\xi _1^{}`$ et $`\xi _2^{}`$ appartiennent à l’intérieur d’une même face de $`\sigma `$.

(b) Chaque $`S`$-orbite de $`S_\sigma `$ contient un unique point du type $`\lambda _\xi ^{}(0)`$, $`\xi ^{}\overline{\sigma }X^{}`$.

(c) On a une bijection entre les faces de $`\sigma `$ et les $`S`$-orbites de $`S_\sigma `$, $`\tau o(\tau )`$.

(d) $`\tau _1\overline{\tau _2}`$ si et seulement si $`o(\tau _2)\overline{o(\tau _1)}`$.

(e) $`dim(\tau )+dim(o(\tau ))=d`$.

Soit une face $`\tau `$ de $`\sigma `$. On a $`o(\tau )=\mathrm{Spec}\left(k[q^\xi ;\xi X\tau ^{}]\right)`$ et $`\overline{o(\tau )}=_{\tau \overline{\tau ^{}}}o(\tau ^{})`$. La strate $`o(\tau )`$ est fermée dans $`S_\tau `$ (donnée par l’idéal engendré par les $`q^\xi `$ tels que $`\xi ,\xi ^{}>0`$ pour tout $`\xi ^{}`$ à l’intérieur de $`\tau `$) et $`S_\tau `$ est ouverte dans $`S_\sigma `$. De plus les strates de $`S_\sigma `$ contenues dans $`S_\tau `$ sont les strates de $`S_\tau `$.

###### Définition 3.7

Un éventail dans $`X_{}^{}`$ (= décomposition rationnelle partielle en cônes polyédraux fortement convexes), est la donnée d’un ensemble $`\mathrm{\Sigma }`$ de cônes p.r.c.o.s. de $`X_{}^{}`$ deux à deux disjoints, tel que pour tout $`\sigma \mathrm{\Sigma }`$ et pour toute face $`\tau `$ de $`\sigma `$, $`\tau \mathrm{\Sigma }`$. L’éventail est dit lisse si tout les cônes qu’il contient sont lisses.

Tout éventail peut être raffiné en un éventail lisse, par subdivision des cônes. D’après la proposition 3.5, étant donné un éventail $`\mathrm{\Sigma }`$, on peut recoller les $`S_{\sigma _i}`$, $`i=1,2`$, le long des $`S_\tau `$, $`\tau `$ désignant l’intérieur de $`\overline{\sigma }_1\overline{\sigma }_2`$, et ainsi obtenir un schéma séparé, normal, intègre, localement de type fini sur $`k`$, noté $`S_\mathrm{\Sigma }`$ ou $`S_{\{\sigma \}}`$. Si $`\mathrm{\Sigma }`$ est fini, $`S_\mathrm{\Sigma }`$ est une variété.

###### Théorème 3.8

( Chap.I, Théorème 6)

(a) L’application $`\mathrm{\Sigma }S_\mathrm{\Sigma }`$ donne une bijection entre les éventails de $`X_{}^{}`$ et les immersions toriques normales de $`S`$.

(b) L’application $`\sigma S_\sigma `$ donne une bijection entre les faces $`\sigma `$ et les ouverts affines $`S`$-invariants de $`S_\mathrm{\Sigma }`$.

(c) L’application $`\sigma O^\sigma `$:= l’unique orbite fermée de $`S_\sigma `$, est une bijection entre les faces $`\sigma `$ et les $`S`$-orbites de $`S_\mathrm{\Sigma }`$. De plus $`\tau \overline{\sigma }`$, si et seulement si, $`O^\sigma \overline{O^\tau }`$.

###### Proposition 3.9

( Chap.I, Théorèmes 7 et 8)  Soient $`S_\mathrm{\Sigma }`$ et $`S_\mathrm{\Sigma }^{}`$ deux immersions toriques normales de $`S`$. Alors, il existe un morphisme $`S`$-équivariant $`S_\mathrm{\Sigma }S_\mathrm{\Sigma }^{}`$, si et seulement si, $`\mathrm{\Sigma }\mathrm{\Sigma }^{}`$. De plus la flèche $`S_\mathrm{\Sigma }S_\mathrm{\Sigma }^{}`$ est propre, si et seulement si, $`_{\sigma \mathrm{\Sigma }}\sigma =_{\sigma \mathrm{\Sigma }^{}}\sigma `$.

###### Remarque 3.10

Si $`k`$ est un anneau (en particulier si $`k=`$) la construction qui à $`\mathrm{\Sigma }`$ associe $`S_\mathrm{\Sigma }`$ reste inchangée. En revanche, on n’obtient pas toutes les immersions toriques de cette manière-là.

### Carte locale pour une pointe de $`M^{\mathrm{an}}`$.

Soit une $`\mathrm{\Gamma }`$-pointe $`𝒞=\gamma \mathrm{}`$. On a vu dans la partie 2 qu’un système de voisinages de $`𝒞`$ dans $`M^{\mathrm{an}}`$ est donné, pour $`H>0`$, par les $`B_{\mathrm{\Gamma },𝒞}\mathrm{\backslash }\gamma W_H𝔬_𝒞^\times \mathrm{\backslash }D_{\gamma ,H}`$, où $`D_{\gamma ,H}=\gamma ^1\mathrm{\Gamma }\gamma U_{}\mathrm{\backslash }W_H=X^{}\mathrm{\backslash }W_H`$ et où l’action de $`𝔬_𝒞^\times `$ sur $`D_{\gamma ,H}`$ est donnée par $`(u,ϵ)z=\varphi (u^2ϵ)z+\varphi (u\xi _{u,ϵ}^{})`$ (voir le paragraphe qui précède la définition 2.11).

Notons qu’avec les notations de la remarque 3.1, $`X_{}^{}=F`$,
$`S_𝒞\underset{𝑞}{\overset{}{}}\varphi (X^{})\mathrm{\backslash }F`$, $`S_{𝒞,c}\underset{𝑞}{\overset{}{}}F/\varphi (X^{})`$ et $`\mathrm{ord}:\varphi (X^{})\mathrm{\backslash }FF`$ est l’application “partie imaginaire”. On a aussi $`X^{}\mathrm{\backslash }_F=\mathrm{ord}^1((F)_+)`$ et $`X^{}\mathrm{\backslash }W_H=\mathrm{ord}^1\{y(F)_+|_\tau y_\tau >H\}`$.

L’exponentielle donne une injection $`q:D_{\gamma ,H}S_𝒞`$ et l’action de $`𝔬_𝒞^\times `$ s’étend en une action sur le tore complexe $`S_𝒞=𝔾_\mathrm{m}X^{}`$ par $`(u,ϵ)q_z=q_z^{u^2ϵ}q_{\xi _{u,ϵ}^{}}^u`$.

L’action de $`𝔬_𝒞^\times `$ sur $`S_𝒞`$ tout entier, n’est pas libre (l’élément unité de $`S_𝒞`$ est fixe par cette action). Un autre problème est posé par le centre de $`𝔬_𝒞^\times `$ :

$$𝔬_{𝒞,Z}^\times =\{(u,ϵ)𝔬_𝒞^\times |ϵ=u^2\}.$$

###### Lemme 3.11

$`(\mathrm{i})`$ Le groupe $`𝔬_{𝒞,Z}^\times `$ agit trivialement sur $`S_𝒞`$.

$`(\mathrm{ii})`$ Sous l’hypothèse (NT) $`𝔬_𝒞^\times /𝔬_{𝒞,Z}^\times `$ agit librement et discontinuement sur $`q(D_{\gamma ,H})`$.

Un calcul direct montre que si $`ϵ=u^2`$, alors $`\xi _{u,ϵ}^{}X^{}`$, d’où le (i). Le (ii) découle du fait que sous l’hypothèse (NT) on a $`1𝔬_𝒞^\times `$. $`\mathrm{}`$

On veut ajouter à $`S_𝒞`$ une frontière analytique $``$ de façon que l’action de $`𝔬_𝒞^\times /𝔬_{𝒞,Z}^\times `$ sur $`S_𝒞`$ se prolonge en une action libre et discontinue sur $``$. Alors le quotient par $`𝔬_𝒞^\times `$ de l’adhérence $`\overline{q(D_{\gamma ,H})}`$ de $`q(D_{\gamma ,H})`$ dans $`S_𝒞`$ sera notre carte locale pour la compactification de la pointe $`𝒞`$.

Pour ce faire on considère un éventail $`\mathrm{\Sigma }^𝒞`$ de $`X_+^{}=\{0\}(F)_+`$ qui est complet (i.e. tel que $`_{\sigma \mathrm{\Sigma }}\sigma =X_+^{}`$), stable pour l’action de $`𝔬^\times `$ et qui contient un nombre fini d’éléments modulo cette action. L’existence d’une telle décomposition découle du théorème des unités de Dirichlet ($`𝔬^{\times 2}^{d1}`$). En effet, il suffit de décomposer en cellules $`\varphi (X^{})\{yX_+^{}|_\tau y_\tau =\mathrm{min}_{\xi ^{}X^{}\mathrm{\backslash }\{0\}}\mathrm{N}(\xi ^{})\}\underset{exp}{\overset{}{}}^{d1}`$ et prendre chaque cellule comme base d’un cône.

Soit $`S_𝒞S_{\mathrm{\Sigma }^𝒞}`$ l’immersion torique correspondante, avec action équivariante de $`𝔬^\times `$. Soit $`=S_{\mathrm{\Sigma }^𝒞}\mathrm{\backslash }S_𝒞`$.

Quitte à raffiner notre décomposition (en subdivisant un cône et subdivisant les autres cônes de manière $`𝔬^\times `$\- équivariante) on peut toujours supposer $`S_{\mathrm{\Sigma }^𝒞}`$ lisse.

Soit $`\overline{q(D_{\gamma ,H})}`$ l’adhérence de $`q(D_{\gamma ,H})`$ dans $`S_{\mathrm{\Sigma }^𝒞}`$. On voit alors aisément que

###### Proposition 3.12

$`(\mathrm{i})`$ On a $`\overline{q(D_{\gamma ,H})}=q(D_{\gamma ,H})`$.

$`(\mathrm{ii})`$ Le groupe $`𝔬_{𝒞,Z}^\times `$ agit trivialement sur $`\overline{q(D_{\gamma ,H})}`$. Le groupe $`𝔬_𝒞^\times /𝔬_{𝒞,Z}^\times `$ agit librement et discontinument sur $`\overline{q(D_{\gamma ,H})}`$.

L’espace analytique $`𝔬_𝒞^\times \mathrm{\backslash }\overline{q(D_{\gamma ,H})}`$ est la carte de la pointe $`𝒞`$. Pour compactifier la pointe $`𝒞`$ on recolle $`M^{\mathrm{an}}`$ et $`𝔬_𝒞^\times \mathrm{\backslash }\overline{q(D_{\gamma ,H})}`$ le long de $`𝔬_𝒞^\times \mathrm{\backslash }D_{\gamma ,H}`$.

### Recollement et compactification analytique.

Soit $`\overline{M^{\mathrm{an}}}=M_\mathrm{\Sigma }^{\mathrm{an}}`$ la variété analytique complexe obtenue, par la construction du paragraphe précédent, en recollant à $`M^{\mathrm{an}}`$ les cartes locales pour toutes les $`\mathrm{\Gamma }`$-pointes. Dans la suite nous écrirons juste $`\overline{M^{\mathrm{an}}}`$, bien que tout dépend des éventails $`\mathrm{\Sigma }^𝒞`$.

###### Proposition 3.13

$`\overline{M^{\mathrm{an}}}`$ est une variété analytique complexe normale propre, contenant $`M^{\mathrm{an}}`$ comme sous-variété ouverte dense. Elle est lisse si tous les éventails $`\mathrm{\Sigma }_𝒞`$ sont lisses. On a un morphisme de variétés analytiques $`\pi :\overline{M^{\mathrm{an}}}M^{\mathrm{an}}`$ qui est un isomorphisme au-dessus de $`M^{\mathrm{an}}`$.

Démonstration :  Pour démontrer la propreté de $`\overline{M^{\mathrm{an}}}`$ nous utiliserons le critère de compacité séquentielle. Soit une suite de points $`z_j\overline{M^{\mathrm{an}}}`$. Comme $`M^{\mathrm{an}}`$ est ouvert dense dans $`\overline{M^{\mathrm{an}}}`$, il suffit de considérer le cas où $`z_jM^{\mathrm{an}}`$ (argument d’extraction diagonale). Puisque l’on sait déjà que $`M^{\mathrm{an}}`$ est compact, on peut supposer que la suite $`\pi (z_j)`$ converge vers une pointe $`𝒞`$ de $`M^{\mathrm{an}}`$. Dans ce cas, pour $`j`$ assez grand, $`z_j`$ appartient à $`D_{\gamma ,H}`$. Comme $`\mathrm{\Sigma }^𝒞`$ possède un nombre fini de cônes modulo l’action de $`𝔬_𝒞^\times `$, on peut supposer qu’il existe un cône $`\sigma \mathrm{\Sigma }^𝒞`$, tel que pour tout $`j`$, $`q(z_j)`$ appartient à $`S_{𝒞,\sigma }`$.

Montrons alors qu’il existe une suite extraite de la suite $`q(z_j)`$ qui converge vers un point de $`S_{𝒞,\sigma }`$. Considérons la suite $`y_j=\mathrm{ord}(q(z_j))\sigma `$. On a $`y_{j,\tau }>0`$ et $`lim_j\mathrm{}_\tau y_{j,\tau }=\mathrm{}`$. Si l’on décompose les $`y_j`$ dans une base de $`\sigma `$, on trouve aisément qu’au moins une coordonné tend vers $`+\mathrm{}`$. D’après la description de la topologie de $`S_{𝒞,\sigma }`$, donnée dans , il est clair que l’on peut extraire de $`q(z_j)`$ une sous-suite convergente dans $`S_{𝒞,\sigma }`$. $`\mathrm{}`$

## 4 Variétés et formes de Hilbert arithmétiques

### L’espace de modules de Hilbert-Blumenthal.

Soit $`𝔠`$ un idéal de $`F`$, muni de sa positivité naturelle $`𝔠_+=𝔠(F)_+`$. Posons $`\mathrm{\Delta }=\mathrm{N}(𝔡𝔫)=\mathrm{\Delta }_F\mathrm{N}(𝔫)`$.

On a un foncteur contravariant $`\underset{¯}{}^1`$ (resp. $`\underset{¯}{}`$) de la catégorie des $`[\frac{1}{\mathrm{N}(𝔫)}]`$-schémas vers celle des ensembles, qui à un schéma $`S`$ associe l’ensemble des quadruplets $`(A,\iota ,\lambda ,\alpha )/S`$ (resp. $`(A,\iota ,\overline{\lambda },\alpha )/S`$) modulo isomorphisme, où $`(A,\iota )`$ est une VAHB de dimension relative $`d`$, $`\lambda `$ est une $`𝔠`$-polarisation (resp. $`\overline{\lambda }`$ est un classe de $`𝔠`$-polarisations; voir Déf.2.3) sur $`A`$ et $`\alpha :(𝔬/𝔫)(1)A[𝔫]`$ est une $`\mu _𝔫`$-structure de niveau.

###### Théorème 4.1

 Le foncteur $`\underset{¯}{}^1`$ est représentable par un schéma quasi-projectif $`M^1`$ sur $`[\frac{1}{\mathrm{N}(𝔫)}]`$ muni d’un quadruplet universel $`(𝒜,\iota ,\lambda ,\alpha )`$. Le schéma $`M^1`$ est lisse au-dessus de $`[\frac{1}{\mathrm{\Delta }}]`$. De plus $`M^1()M^{1,\mathrm{an}}`$ et donc $`M^1`$ est géométriquement connexe.

Soit $`f:𝒜M^1`$ la projection canonique. On pose $`\underset{¯}{\omega }=\underset{¯}{\omega }_{𝒜/M^1}=f_{}\mathrm{\Omega }_{𝒜/M^1}^1`$ et $`_{\mathrm{dR}}^1=_{\mathrm{dR}}^1(𝒜/M^1)=R^1f_{}\mathrm{\Omega }_{𝒜/M^1}^{}`$. Au-dessus de $`[\frac{1}{\mathrm{\Delta }}]`$ on a localement pour la topologie de Zariski $`\underset{¯}{\omega }𝔬𝒪_{M^1}`$ et $`_{\mathrm{dR}}^1L_0𝒪_{M^1}`$, où $`L_0=𝔬𝔠^{}`$.

###### Corollaire 4.2

Le foncteur $`\underset{¯}{}`$ admet un schéma de modules grossier $`M`$ sur $`[\frac{1}{\mathrm{N}(𝔫)}]`$ quasi-projectif et lisse au-dessus de $`[\frac{1}{\mathrm{\Delta }}]`$. Le schéma $`M`$ est le quotient de $`M^1`$ par le groupe fini $`𝔬_{D+}^\times /(𝔬_{D+}^\times 𝔬_𝔫^{\times 2})`$ qui agit proprement et librement par

$$[ϵ]:(𝒜,\iota ,\lambda ,\alpha )/S(𝒜,\iota ,ϵ\lambda ,\alpha )/S.$$

Il est important de noter pour la suite que les automorphismes $`[ϵ]`$ de $`M^1`$ définis dans le corollaire se prolongent en une action du groupe $`𝔬_{D+}^\times /(𝔬_{D+}^\times 𝔬_𝔫^{\times 2})`$ sur les fibrés $`\underset{¯}{\omega }`$ et $`_{\mathrm{dR}}^1`$. L’action sur $`\underset{¯}{\omega }`$ est donnée par la formule $`sϵ^{1/2}[ϵ]^{}s`$, où $`s`$ est une section de $`\underset{¯}{\omega }`$. L’action sur $`_{\mathrm{dR}}^1`$ vient de celle sur le complexe $`Rf_{}\mathrm{\Omega }_{𝒜/M^1}^{}`$. Ces actions sont définis sur l’anneau des entiers du corps de nombres $`F^{\prime \prime }=F(\sqrt{ϵ},ϵ𝔬_{D+}^\times )`$.

Par quotient, on peut définir des fibrés encore notés $`\underset{¯}{\omega }`$ et $`_{\mathrm{dR}}^1`$ sur $`M`$. Au-dessus de $`[\frac{1}{\mathrm{\Delta }}]`$ on a encore localement pour la topologie de Zariski $`\underset{¯}{\omega }𝔬𝒪_M`$ et $`_{\mathrm{dR}}^1L_0𝒪_M`$, où $`L_0=𝔬𝔠^{}`$.

Pour chaque $`\mu 𝔠_+`$, on note $`_\mu `$ le faisceau inversible ample sur $`𝒜`$ obtenu comme image inverse du fibré de Poincaré sur $`𝒜\times 𝒜^t`$ par le morphisme $`(\mathrm{id}_𝒜,\lambda (\mathrm{id}_𝒜\mu ))`$.

### Formes modulaires de Hilbert arithmétiques.

Considérons le schéma en groupes $`𝒯_1=\mathrm{Res}_{}^𝔬𝔾_\mathrm{m}`$ qui est un modèle entier du tore $`F^\times =\mathrm{Res}_{}^F𝔾_\mathrm{m}`$. Ce n’est un tore que sur $`[\frac{1}{\mathrm{\Delta }_F}]`$ comme le montre l’exemple suivant :

###### Exemple 4.3

Soit $`F=(\sqrt{D})`$, avec $`D3(mod4)`$ sans facteurs carrés. Alors $`𝒯_1=\mathrm{Spec}([X,Y][\frac{1}{X^2DY^2}])`$ et pour $`p>2`$ premier on a : $`𝒯_1(𝔽_p)=𝔽_p^\times \times 𝔽_p^\times `$, si $`\left(\frac{D}{p}\right)=1`$; $`𝒯_1(𝔽_p)=𝔽_{p^2}^\times `$, si $`\left(\frac{D}{p}\right)=1`$; $`𝒯_1(𝔽_p)=𝔽_p^\times \times 𝔽_p^+`$, si $`\left(\frac{D}{p}\right)=0`$.

On suppose désormais $`F`$ et on se place au-dessus de $`[\frac{1}{\mathrm{\Delta }}]`$. Considérons le faisceau $`\underset{¯}{𝔐}=\underset{¯}{\mathrm{Isom}}_{𝔬𝒪_M}(𝔬𝒪_M,\underset{¯}{\omega })`$. C’est un $`𝒯_1`$-torseur Zariski sur $`M`$.

Comme $`𝒯_1`$ est affine sur $`M`$, le faisceau $`\underset{¯}{𝔐}`$ est représentable par un schéma $`f:𝔐M`$ (voir  III.4 Théorème 4.3). En particulier on a un isomorphisme $`𝒯_1\underset{𝑀}{\times }𝔐𝔐\underset{𝑀}{\times }𝔐`$, $`(t,x)(tx,x)`$.

Sur le schéma de modules fin $`M^1`$ le schéma correspondant $`𝔐^1`$ représente le foncteur : $`\underset{¯}{𝔐}^1:[\frac{1}{\mathrm{\Delta }}]`$-$`\mathrm{Sch}\mathrm{Ens}`$, qui à un $`[\frac{1}{\mathrm{\Delta }}]`$-schéma $`S`$ associe l’ensemble des quintuplets $`(A,\iota ,\lambda ,\alpha ,\omega )`$ modulo isomorphisme, où $`(A,\iota ,\lambda ,\alpha )`$ est une VAHB, comme plus haut, et où $`\omega `$ est un isomorphisme de $`𝔬`$-fibrés inversibles $`\omega :𝔬𝒪_S\underset{¯}{\omega }`$. La flèche d’oubli fait de $`\underset{¯}{𝔐}^1`$ un faisceau Zariski sur $`M^1`$.

Pour la définition de l’espace des formes modulaires de Hilbert, nous suivons de près le paragraphe 6.8 dans , rédigé par P. Deligne.

Soit $`\kappa [J_F]=X(𝒯_1)`$ un poids et soit $`F^{}`$ un corps de nombres, contenant $`F^{\prime \prime }`$ ainsi que les valeurs du caractère $`\kappa :F^\times ^\times `$.

Si $`D=𝔾_\mathrm{m}`$, on peut prendre, par exemple, $`F^{}=`$ et $`\kappa =kt`$ (poids parallèle), ou bien $`F^{}=F^{\mathrm{gal}}`$ $`\kappa [J_F]`$ poids quelconque.

Soit $`𝒪^{}`$ l’anneau des entiers de $`F^{}`$. Le morphisme de groupes algébriques $`\kappa :\mathrm{Res}_{}^F𝔾_\mathrm{m}\mathrm{Res}_{}^F^{}𝔾_\mathrm{m}`$, se prolonge en un morphisme $`\mathrm{Res}_{}^𝔬𝔾_\mathrm{m}\mathrm{Res}_{}^𝒪^{}𝔾_\mathrm{m}`$, qui équivaut (par la formule d’adjonction) à un morphisme de groupes algébriques sur $`𝒪^{}`$, $`\mathrm{Res}_{}^𝔬𝔾_\mathrm{m}\times \mathrm{Spec}(𝒪^{})𝔾_\mathrm{m}\times \mathrm{Spec}(𝒪^{})`$, noté encore $`\kappa `$.

Pour tout $`[\frac{1}{\mathrm{\Delta }}]`$-schéma $`Y`$, on pose $`Y^{}=Y\times \mathrm{Spec}(𝒪^{}[\frac{1}{\mathrm{\Delta }}])`$. On a ainsi un $`𝒯_1^{}`$-torseur $`f^{}:𝔐^{}M^{}`$. Le tore déployé $`𝒯_1^{}`$ agit sur $`f_{}^{}𝒪_𝔐^{}`$; la composante $`\kappa `$-isotypique $`(f_{}^{}𝒪_𝔐^{})[\kappa ]`$ est un faisceau inversible sur $`M^{}`$, noté $`\underset{¯}{\omega }^\kappa `$.

###### Définition 4.4

1) Soit $`R`$ une $`[\frac{1}{\mathrm{\Delta }}]`$-algèbre. On définit l’espace $`G(𝔠,𝔫;R)^{\mathrm{geom}}`$ des formes modulaire de Hilbert de niveau $`\mathrm{\Gamma }`$ et à coefficients dans $`R`$, comme $`\mathrm{H}^0(𝔐\times _{\mathrm{Spec}([\frac{1}{\mathrm{\Delta }}])}\mathrm{Spec}(R),𝒪_𝔐)`$.

2) Soit $`R`$ une $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-algèbre. Une forme modulaire de Hilbert arithmétique de poids $`\kappa `$, de niveau $`\mathrm{\Gamma }`$ et à coefficients dans $`R`$, est une section globale de $`\underset{¯}{\omega }^\kappa `$ sur $`M\times _{\mathrm{Spec}([\frac{1}{\mathrm{\Delta }}])}\mathrm{Spec}(R)`$. On note $`G_\kappa (𝔠,𝔫;R)^{\mathrm{geom}}:=\mathrm{H}^0(M\times _{\mathrm{Spec}([\frac{1}{\mathrm{\Delta }}])}\mathrm{Spec}(R),\underset{¯}{\omega }^\kappa )`$ l’espace de ces formes modulaire de Hilbert.

###### Remarque 4.5

1) Le faisceau $`\underset{¯}{\omega }^t`$ ($`t=\tau `$) n’est autre que le faisceau $`^d\underset{¯}{\omega }=det(\underset{¯}{\omega })`$ sur $`M`$, et $`\underset{¯}{\omega }^{kt}`$ \- sa puissance $`k`$-ième. Les formes modulaires de Hilbert de poids parallèle $`k1`$, s’écrivent donc $`G_{kt}(𝔠,𝔫)^{\mathrm{geom}}=\mathrm{H}^0(M,(^d\underset{¯}{\omega })^k)`$.

2) Le torseur $`𝔐`$ n’est pas trivial, car sinon pour tout $`k1`$ $`(^d\underset{¯}{\omega })^k`$ serait le fibré trivial sur $`M`$, et à fortiori sur $`M^{\mathrm{an}}`$. Or, par le principe de Koecher $`\mathrm{H}^0(M^{\mathrm{an}},𝒪_{M^{\mathrm{an}}})=\mathrm{H}^0(\overline{M^{\mathrm{an}}},𝒪_{\overline{M^{\mathrm{an}}}})=`$, ce qui contredirait l’existence de formes modulaires de Hilbert cuspidales non-nulles en poids $`kt`$.

3) Si $`F^{}F^{\mathrm{gal}}`$, on a $`𝒯_1^{}:=𝒯_1\times \mathrm{Spec}(𝒪^{}[\frac{1}{\mathrm{\Delta }}])𝔾_{\mathrm{m}}^{}{}_{}{}^{J_F}\times \mathrm{Spec}(𝒪^{}[\frac{1}{\mathrm{\Delta }}])`$ et par le théorème de diagonalisabilité des tores , on a :

$$f_{}^{}𝒪_𝔐^{}=\underset{\kappa X(𝒯_1)}{}\underset{¯}{\omega }^\kappa ,\mathrm{H}^0(𝔐^{},𝒪_𝔐^{})=\underset{\kappa X(𝒯_1)}{}\mathrm{H}^0(M^{},\underset{¯}{\omega }^\kappa ).$$

Par ailleurs, l’action de $`𝔬`$ permet de décomposer $`\underset{¯}{\omega }=\mathrm{Lie}(𝒜^{}/M^{})^{}𝔬𝒪_M^{}`$ en somme directe de fibrés inversibles $`\underset{¯}{\omega }^\tau `$ sur $`M^{}`$, indexés par les différents plongements $`\tau `$ de $`𝔬`$ dans $`𝒪^{}`$. On a $`\underset{¯}{\omega }^\kappa =_\tau (\underset{¯}{\omega }^\tau )^{k_\tau }`$.

4) Si $`R`$ est une $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-algèbre, avec $`F^{}F^{\mathrm{gal}}`$, on a :

$$G(𝔠,𝔫;R)^{\mathrm{geom}}=\underset{\kappa X(𝒯_1)}{}G_\kappa (𝔠,𝔫;R)^{\mathrm{geom}}.$$

### Constructions de fibrés automorphes.

Dans la partie 2 on a introduit les formes modulaires de Hilbert classiques comme des sections globales de certains fibrés de formes différentielles holomorphes sur $`M^{\mathrm{an}}`$. Dans ce paragraphe nous donnons des constructions de fibrés sur $`M^{\mathrm{an}}`$ et $`M`$, à partir de représentations de certains groupes. Ces fibrés serviront à redéfinir et étudier les formes modulaires de Hilbert arithmétiques.

Soit un poids algébrique $`\kappa `$ et $`n,m[J_F]`$ comme dans la définition 2.12. On notera $`V_n`$ la représentation algébrique de $`G`$ donnée par

$$V_n=\underset{\tau J_F}{}\mathrm{Sym}^{n_\tau }\mathrm{Det}^{m_\tau }.$$
(6)
$``$ Considérons le revêtement universel $`u:_FM^{\mathrm{an}}`$. Il est bien connu que l’on a une équivalence de catégories entre les représentations de $`\mathrm{\Gamma }`$ sur des $`K`$-vectoriels de dimension finie, qui sont triviales sur le centre, et les systèmes locaux en $`K`$-vectoriels $`𝕍^{\mathrm{an}}`$ sur $`M^{\mathrm{an}}`$, qui à un $`K`$-vectoriel de dimension finie $`V`$ muni d’une telle action de $`\mathrm{\Gamma }`$ associe le système local $`𝕍^{\mathrm{an}}`$ des sections continues de $`\mathrm{\Gamma }\mathrm{\backslash }(_F\times V)M^{\mathrm{an}}`$ ($`V`$ étant muni de la topologie discrète).

###### Définition 4.6

On note $`𝕍_n^{\mathrm{an}}`$ le système local associé à représentation $`V_n`$.

$``$ Une autre construction de fibrés est donnée par la tour promodulaire $`\stackrel{~}{M_{}}M_{}`$, où $`\stackrel{~}{M_{}}=\underset{r1}{\mathrm{limproj}}M(𝔠,𝔫r)_{}`$. On a une suite exacte

$$1\pi _1(M_{},x)^{\mathrm{mod},\mathrm{geom}}\pi _1(M_{},x)^{\mathrm{mod}}=\mathrm{Gal}(\stackrel{~}{M_{}}/M_{})\mathrm{Gal}(^{\mathrm{ab}}/)1.$$

De plus, le groupe $`\pi _1(M_{},x)^{\mathrm{mod}}`$ est un sous-groupe ouvert de $`\mathrm{GL}_2(\widehat{𝔬})`$; la projection sur la $`p`$-composante fournit un morphisme continu canonique

$$\pi _1(M_{},x)^{\mathrm{mod}}\mathrm{GL}_2(𝔬_p).$$

On a donc un foncteur de la catégorie des représentations algébriques de $`G`$, vers celle des faisceaux lisses sur $`M_{}`$. Ce foncteur associe à la représentation $`V`$ le faisceau $`𝕍`$ des sections continues de $`\pi _1(M_{},x)^{\mathrm{mod}}\mathrm{\backslash }(\stackrel{~}{M_{}}\times V)M_{}`$.

###### Définition 4.7

On note $`𝕍_n`$ le faisceau lisse sur $`M_{}`$ associé à $`V_n`$.

$``$ Dans le cadre arithmétique le revêtement universel $`_F`$ de la première construction est remplacé par le torseur $`𝔐^{}\stackrel{𝒯_1^{}}{}M^{}`$ du paragraphe précédent. On a un foncteur de la catégorie des représentations algébriques du $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-schéma en groupes $`𝒯_1^{}`$, vers celle des fibrés décomposables en fibrés inversibles sur $`M^{}`$, qui à $`W_1`$ associe le produit contracté $`𝔐^{}\stackrel{𝒯_1^{}}{\times }W_1=:𝒲_1`$, défini comme le quotient par la relation d’équivalence $`(mt,w)(m,tw)`$ pour $`m𝔐^{}`$, $`t𝒯_1^{}`$ et $`wW_1`$.

###### Remarque 4.8

Pour chaque $`\kappa [J_F]=X(𝒯_1)`$, notons $`W_{1,\kappa }`$ la $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-représentation de $`𝒯_1^{}`$ associée à $`\kappa `$. On a $`𝒲_{1,\kappa }=\underset{¯}{\omega }^\kappa `$. On peut ainsi redéfinir $`G_\kappa (𝔠,𝔫)^{\mathrm{geom}}`$ comme $`\mathrm{H}^0(M^{},𝒲_{1,\kappa })`$.

$``$ On suppose que $`D`$ a un modèle entier $`𝒟`$ sur $`[\frac{1}{\mathrm{\Delta }_F}]`$ (c’est le cas pour $`D=𝔾_\mathrm{m}`$ ou $`\mathrm{Res}_{}^F𝔾_\mathrm{m}`$). Rappelons que le $`𝔬`$-fibré projectif de rang deux $`_{\mathrm{dR}}^1=R^1f_{}\mathrm{\Omega }_{𝒜^{}/M^{}}^{}`$ est muni d’un accouplement parfait symplectique $`𝔬`$-linéaire associé au choix d’un représentant $`\lambda `$ de la classe de $`𝔠`$-polarisations universelle $`\overline{\lambda }=𝔬_{D+}^\times \lambda `$. On définit alors le $`𝒟`$-torseur

$$𝔐_𝒟=\mathrm{Isom}_{𝔬𝒪_M}^𝒟(𝔬𝒪_M,_{𝔬𝒪_M}^2_{\mathrm{dR}}^1)$$

au-dessus de $`M`$, dont les $`S`$-points sont ceux de $`\mathrm{Isom}_{𝔬𝒪_M}(𝔬𝒪_M,_{𝔬𝒪_M}^2_{\mathrm{dR}}^1)`$ induisant via $`\lambda `$ un élément de $`𝒟(𝒪_S)`$ dans $`(𝔬𝒪_S)^\times `$.

$``$ On choisit pour modèle entier du tore maximal standard $`T`$ de $`B`$ le schéma en groupes $`𝒯=𝒯_1\times 𝒟`$. On en déduit un modèle entier de $`B`$ dont $`𝒯`$ est tore maximal standard via $`(u,ϵ)𝒯\left(\begin{array}{cc}uϵ& 0\\ 0& u^1\end{array}\right)`$. On va définir un $`^{}`$-torseur $`𝔐_{}^{}\stackrel{^{}}{}M^{}`$ à l’aide du $`𝔬`$-fibré $`_{\mathrm{dR}}^1`$ muni de la filtration de Hodge

$$0\underset{¯}{\omega }_{\mathrm{dR}}^1\underset{¯}{\omega }^{}𝔠𝔡^10.$$

Soit $`L_0=𝔬𝔠^{}`$. On munit $`L_0𝒪_M^{}`$ de la filtration canonique à deux crans associée à $`^{}`$ : $`0𝔠^{}𝒪_M^{}L_0𝒪_M^{}`$. On définit alors $`𝔐_{}^{}`$ comme le produit fibré de $`\mathrm{Isom}_{𝔬𝒪_M^{}}^{\mathrm{fil}}(L_0𝒪_M^{},_{\mathrm{dR}}^1)`$ et $`\mathrm{Isom}_{𝔬𝒪_M^{}}^𝒟(𝔬𝒪_M^{},_{𝔬𝒪_M^{}}^2_{\mathrm{dR}}^1)`$ au-dessus de $`\mathrm{Isom}_{𝔬𝒪_M^{}}(𝔬𝒪_M^{},_{𝔬𝒪_M^{}}^2_{\mathrm{dR}}^1)`$. C’est un $`^{}`$-torseur sur $`M^{}`$.

Il définit un foncteur $`_{^{}}`$ de la catégorie des représentations algébriques du $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-schéma en groupes $`^{}`$ vers celle des fibrés sur $`M^{}`$ qui sont des extensions successives de fibrés inversibles. Il est donné par le produit contracté : $`V𝒱:=𝔐_{}^{}\stackrel{^{}}{\times }V`$, (c’est-à-dire le quotient par la relation $`(\stackrel{~}{m}b,v)(\stackrel{~}{m},bv)`$, pour $`\stackrel{~}{m}𝔐_{}^{}`$, $`b^{}`$ et $`vV`$).

###### Définition 4.9

On note $`𝒱_n`$ le fibré filtré sur $`M^{}`$ image de $`V_n`$ par $`_{^{}}`$.

$``$ Si $`W`$ est une $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-représentation du tore $`𝒯^{}`$ (sur un $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-module libre de type fini) on peut la voir comme une représentation de $`^{}`$, en faisant agir le radical unipotent $`𝒰^{}`$ trivialement. Le foncteur $`_{^{}}`$ associe à $`W`$ un fibré $`𝒲`$ décomposable en somme directe de fibrés inversibles.

On pourrait également construire $`𝒲`$ à l’aide du $`𝒯^{}`$-torseur $`𝔐^{}\times _M^{}𝔐_𝒟^{}`$.

###### Définition 4.10

Soient $`n,m[J_F]`$ et $`c`$ tels que $`n+2m=ct`$. Soit $`W_{n,c}`$ la représentation irréductible de $`𝒯^{}`$, donnée par le caractère

$$(u,ϵ)𝒯_1^{}\times 𝒟^{}u^nϵ^m.$$

On note $`𝒲_{n,c}`$ le fibré inversible sur $`M^{}`$ image de $`W_{n,c}`$ par le foncteur $`_{^{}}`$.

$``$ Considérons le modèle entier $`𝒢`$ de $`G`$ sur $`[\frac{1}{\mathrm{\Delta }_F}]`$ par

$$𝒢=\mathrm{Res}_{}^𝔬\mathrm{GL}_2\times _{\mathrm{Res}_{}^𝔬𝔾_\mathrm{m}}𝒟.$$

On introduit pour finir un $`𝒢^{}`$-torseur $`𝔐_𝒢^{}\stackrel{𝒢^{}}{}M^{}`$ à l’aide de $`_{\mathrm{dR}}^1=R^1f_{}\mathrm{\Omega }_{𝒜^{}/M^{}}^{}`$ muni de sa connexion de Gauss-Manin qui est intégrable. Plus précisément, on munit $`L_0𝒪_M^{}`$ de la connexion plate $`\mathrm{Id}d`$ et on pose

$$𝔐_𝒢^{}=\mathrm{Isom}_{𝔬𝒪_M^{}}^𝒟(L_0𝒪_M^{},_{\mathrm{dR}}^1).$$

Il définit un foncteur $`_𝒢^{}`$ de la catégorie des représentations algébriques du $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-schéma en groupes $`𝒢^{}`$ vers celle des fibrés sur $`M^{}`$ munis d’une connexion intégrable. Il est donné par le produit contracté : $`V𝒱^{}:=𝔐_𝒢^{}\stackrel{𝒢^{}}{\times }V`$, (c’est-à-dire le quotient par la relation $`(\stackrel{~}{m}g,v)(\stackrel{~}{m},gv)`$, pour $`\stackrel{~}{m}𝔐_𝒢^{}`$, $`g𝒢^{}`$ et $`vV`$).

###### Définition 4.11

On note $`𝒱_n^{}`$ le fibré à connexion sur $`M^{}`$ image de $`V_n`$ par le foncteur $`_𝒢^{}`$.

Pour une $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-représentation algébrique $`V`$ de $`G`$, on peut comparer $`𝕍^{\mathrm{an}}`$, $`𝕍`$, $`𝒱`$ et $`𝒱^{}`$ comme suit

###### Proposition 4.12

1) Sur $`M^{}`$, on a $`𝒱=𝒱^{}`$ et

2) Sur $`M^{\mathrm{an}}`$, on a $`𝒱_{𝒪_M}𝒪_{M^{\mathrm{an}}}𝕍^{\mathrm{an}}𝒪_{M^{\mathrm{an}}}`$ et $`𝕍^{\mathrm{an}}_p(𝕍)^{\mathrm{an}}`$.

Pour la démonstration de ce résultat, voir  Sect.5.2.2, lemme 9.

## 5 Compactifications arithmétiques de la variété de Hilbert.

Dans cette partie nous énonçons le résultat principal de  en conservant les notations de cette référence. En particulier, nous utiliserons la notion de $`(R,𝔫)`$-composante $`𝒞`$ (Déf.3.2 de ) à qui sont associés les objets suivants : des idéaux $`𝔟`$, $`𝔟^{}`$, $`𝔞=𝔟𝔠`$, $`X=𝔠𝔟𝔟^{}`$ ; une racine de l’unité $`\zeta _𝒞`$ d’ordre l’exposant $`n`$ du groupe $`𝔟^{}/𝔟`$; des groupes d’unités $`𝔬_𝒞^\times `$, $`𝔬_{\overline{𝒞}}^\times `$, $`𝔬_{𝒞,1}^\times `$, $`𝔬_{\overline{𝒞},1}^\times `$; des sous-groupes $`H_𝒞=𝔬_{\overline{𝒞}}^\times /𝔬_𝒞^\times `$, $`H_{𝒞,1}=𝔬_{\overline{𝒞},1}^\times /𝔬_{𝒞,1}^\times `$ du groupe $`(/n)^\times `$.

De façon imprécise mais suggestive, on peut penser à une $`(R,𝔫)`$-composante comme à une orbite sous le groupe de Galois d’une $`(R,𝔫)`$-pointe (loc. cit. pour plus de détails).

###### Définition 5.1

Un éventail $`\mathrm{\Gamma }`$-admissible $`\mathrm{\Sigma }=(\mathrm{\Sigma }^𝒞)_𝒞`$ est la donnée pour chaque $`(R,𝔫)`$-composante $`𝒞`$ d’un éventail complet $`\mathrm{\Sigma }^𝒞`$ de $`X_+^{}`$, stable par $`𝔬_𝒞^\times `$ et contenant un nombre fini d’éléments modulo cette action, de sorte que les données soient compatibles aux isomorphismes de $`(R,𝔫)`$-composantes $`𝒞𝒞^{}`$.

On se fixe un éventail lisse $`\mathrm{\Gamma }`$-admissible $`\mathrm{\Sigma }=(\mathrm{\Sigma }^𝒞)_𝒞`$.

Soit $`R_𝒞=[q^\xi ;\xi X]`$. Soit $`S_𝒞=\mathrm{Spec}(R_𝒞)=𝔾_\mathrm{m}X^{}`$ le tore sur $``$ de groupe des caractères $`X=𝔠𝔟𝔟^{}`$.

Soit $`S_𝒞S_{\mathrm{\Sigma }^𝒞}`$, l’immersion torique associée. On rappelle qu’elle est obtenue en recollant, pour $`\sigma \mathrm{\Sigma }^𝒞`$, les immersions toriques affines $`S_𝒞S_{𝒞,\sigma }=\mathrm{Spec}(R_{𝒞,\sigma })`$, où $`R_{𝒞,\sigma }=[q^\xi ;\xi X\stackrel{ˇ}{\sigma }]`$. Soit $`S_{𝒞,\sigma }^{}`$ le complété de $`S_{𝒞,\sigma }`$ le long de $`S_{𝒞,\sigma }^{\mathrm{}}:=S_{𝒞,\sigma }\mathrm{\backslash }S_𝒞`$ et $`S_{\mathrm{\Sigma }^𝒞}^{}`$ le complété de $`S_{\mathrm{\Sigma }^𝒞}`$ le long de $`S_{\mathrm{\Sigma }^𝒞}^{\mathrm{}}:=S_{\mathrm{\Sigma }^𝒞}\mathrm{\backslash }S_𝒞`$.

Posons $`\overline{S}_{𝒞,\sigma }=\mathrm{Spec}(R_{𝒞,\sigma }^{})`$ et $`\overline{S}{}_{𝒞,\sigma }{}^{0}=S_𝒞\underset{S_{𝒞,\sigma }}{\times }\overline{S}_{𝒞,\sigma }=\mathrm{Spec}(R_{𝒞,\sigma }^{}_{R_{𝒞,\sigma }}R)`$. Si $`\sigma ^{}\sigma `$, on a une flèche $`\overline{S}_{𝒞,\sigma ^{}}\overline{S}_{𝒞,\sigma }`$.

Le théorème suivant est une variante pour le groupe $`\mathrm{\Gamma }`$ des théorèmes de Rapoport , et Chai ; les modifications nécessaires pour son énoncé et sa démonstration sont données dans .

###### Théorème 5.2

Soit $`\mathrm{\Sigma }=\{\mathrm{\Sigma }^𝒞\}_𝒞`$ un éventail $`\mathrm{\Gamma }`$-admissible lisse.

$`(\mathrm{i})`$ Il existe un $`[\frac{1}{\mathrm{N}(𝔫)}]`$-schéma propre $`\overline{M}=M_\mathrm{\Sigma }`$ lisse au-dessus de $`[\frac{1}{\mathrm{\Delta }}]`$, une immersion ouverte $`j:M\overline{M}`$ et un isomorphisme de schémas formels

$$\phi :\underset{(R,𝔫)\mathrm{composantes}/}{}(S_{\mathrm{\Sigma }^𝒞}^{}/𝔬_𝒞^\times )\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞]^{H_𝒞})\stackrel{}{}\overline{M}^{},$$

$`\overline{M}^{}`$ est le complété formel de $`\overline{M}`$ le long du diviseur à croisements normaux à l’infini $`\overline{M}\mathrm{\backslash }M`$.

$`(\mathrm{ii})`$ Il existe un unique schéma en groupes semi-abélien $`\overline{f}:𝔊\overline{M^1}`$ qui prolonge la VAHB universelle $`f:𝒜M^1`$. Ce schéma en groupes est muni d’une action de $`𝔬`$ au-dessus de $`\overline{M^1}`$ prolongeant celle sur $`𝒜`$. C’est un tore au-dessus de $`\overline{M^1}\mathrm{\backslash }M^1`$.

$`(\mathrm{iii})`$ On a un isomorphisme de Kodaira-Spencer logarithmique :

$$\mathrm{\Omega }_{\overline{M^1}}(\mathrm{dlog}\mathrm{})\underset{¯}{\omega }_{𝔊/\overline{M^1}}_{𝔬𝒪_{\overline{M^1}}}(\underset{¯}{\omega }_{𝔊/\overline{M^1}}_𝔬𝔡𝔠^1),$$

$`\underset{¯}{\omega }_{𝔊/\overline{M^1}}=\overline{e}^{}\mathrm{\Omega }_{𝔊/\overline{M^1}}`$, en notant $`\overline{e}:\overline{M^1}𝔊`$ la section unité de $`\overline{f}`$. En outre $`\underset{¯}{\omega }_{𝔊/\overline{M}}`$ coïncide avec le faisceau $`(\overline{f}_{}\mathrm{\Omega }_{𝔊/\overline{M^1}})^𝔊`$ des $`𝔊`$-invariants de $`\overline{f}_{}\mathrm{\Omega }_{𝔊/\overline{M^1}}`$.

$`(\mathrm{iv})`$ Le $`[\frac{1}{\mathrm{N}(𝔫)}]`$-schéma

$$M^1=\mathrm{Proj}_{[\frac{1}{\mathrm{N}(𝔫)}]}\left(_{k0}\mathrm{\Gamma }(\overline{M^1},\underset{¯}{\omega }_{𝔊/\overline{M^1}}^{kt})\right),$$

est indépendant du choix de $`\mathrm{\Sigma }`$. Le morphisme canonique $`\pi :\overline{M^1}M^1`$ est surjectif et équivariant pour l’action du groupe fini $`𝔬_{D+}^\times /(𝔬_{D+}^\times 𝔬_𝔫^{\times 2})`$. Le quotient de $`M^1`$ pour cette action est un schéma projectif, normal, de type fini, noté $`M^{}`$. La restriction à $`M`$ de la surjection canonique $`\pi :\overline{M}M^{}`$ induit un isomorphisme sur un ouvert dense de $`M^{}`$, noté encore $`M`$.

$`(\mathrm{v})`$ Le schéma $`M^{}\backslash M`$ est fini et étale sur $`[\frac{1}{\mathrm{N}(𝔫)}]`$ et il est isomorphe à :

$$\underset{(R,𝔫)\mathrm{composantes}/}{}\mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞]^{H_𝒞}).$$

Les composantes connexes de $`M^{}\backslash M`$ sont appelées les pointes de $`M`$. Cependant celles-ci ne sont des points fermés que pour les $`(R,𝔫)`$-composantes non-ramifiées.

$`(\mathrm{vi})`$ La complétion formelle de $`\overline{M}`$ le long de l’image réciproque $`\pi ^1(𝒞)`$ d’une $`(R,𝔫)`$-composante non-ramifiée $`𝒞`$, est canoniquement isomorphe à

$$(S_{\mathrm{\Sigma }^𝒞}^{}/{}_{𝔬_𝔫^\times \times 𝔬_{D+}^\times }{}^{})\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)}]).$$

Pour le (iii), on voit localement en passant aux variétés de Tate au voisinage de chaque pointe que la flèche de Kodaira-Spencer induit un isomorphisme.

## 6 Compactifications toroïdales des variétés de Kuga-Sato

Dans toute cette partie, on se limite au cas du groupe de niveau $`\mathrm{\Gamma }^1`$, ($`D=𝔾_\mathrm{m}`$) et donc $`M^{\mathrm{an}}=M^{1,\mathrm{an}}`$ de sorte qu’il y a une VAHB analytique universelle $`𝒜^{\mathrm{an}}M^{\mathrm{an}}`$.

### Compactifications toroïdales des variétés analytiques de Kuga-Sato.

La variété analytique de Kuga-Sato $`𝒜^{\mathrm{an},s}`$ est définie comme le produit fibré $`s`$-fois de $`𝒜^{\mathrm{an}}`$ au-dessus de $`M^{\mathrm{an}}`$. Soit $`\overline{M^{\mathrm{an}}}`$ une compactification toroïdale de $`M^{\mathrm{an}}`$, comme dans la partie précédente. On note de même $`𝔊^s`$ le produit fibré $`s`$ fois de $`𝔊`$ par lui-même au-dessus de $`\overline{M^{\mathrm{an}}}`$. On veut compactifier $`𝒜^{\mathrm{an},s}`$ en une variété analytique $`\overline{𝒜^{\mathrm{an},s}}`$ projective lisse au-dessus de $`\overline{M^{\mathrm{an}}}`$ de manière à ce que le schéma semi-abélien $`𝔊^s`$ opère naturellement dessus, en prolongeant l’action par translation de $`𝒜^{\mathrm{an},s}`$ sur elle-même. Le caractère naturel de ce prolongement sera détaillé dans l’énoncé du théorème 6.4 plus bas.

Nous procéderons en effectuant des compactifications partielles de chaque pointe à l’aide d’immersions toroïdales, puis en recollant ces dernières on obtiendra la compactification cherchée.

Si on pose $`(𝒜_{\gamma ,H}^{\mathrm{an}})^s=\gamma ^1\mathrm{\Gamma }\gamma B_{}\mathrm{\backslash }(W_H\times (F)^s)/(𝔟𝔞^{})^s`$, la description de la VAHB au voisinage de la pointe $`𝒞=\gamma \mathrm{}`$, faite dans la partie 2, donne :

où on rappelle que $`𝔞=𝔟𝔠`$ et $`X=𝔠𝔟𝔟^{}`$.

Le groupe $`𝔟^s𝔬_𝒞^\times `$ (produit semi-direct donné par $`(\beta _1,..,\beta _s;(u,ϵ))(\beta _1^{},..,\beta _s^{};(u^{},ϵ^{}))=(\beta _1+\beta _1^{}u^1ϵ^1,..,\beta _s+\beta _s^{}u^1ϵ^1;(uu^{},ϵϵ^{}))`$) agit à gauche sur $`X_+^{}\times (𝔞^{})^s`$, ainsi que sur $`(F)_+\times (F)^s`$, par :

$$(\beta _1,..,\beta _s;(u,ϵ))(q;l_1,\mathrm{},l_s)=(u^2ϵq,ul_1+u^2ϵq\beta _1,\mathrm{},ul_s+u^2ϵq\beta _s)$$

Notons que cette action est bien définie, car $`X^{}𝔟𝔞^{}`$.

On aimerait ajouter à $`𝔾_\mathrm{m}X^{}\times (𝔾_\mathrm{m}𝔞^{})^s`$ une frontière analytique $``$ au dessus de la frontière analytique $``$ de $`S_𝒞`$ et sur laquelle $`𝔟^s𝔬_𝒞^\times `$ agit discontinument et de manière compatible avec l’action de $`𝔬_𝒞^\times `$ sur $``$. Le quotient par $`𝔟^s𝔬_𝒞^\times `$ de l’adhérence de $`q(D_{\gamma ,H})\times (𝔾_\mathrm{m}𝔞^{})^s`$ dans $`𝔾_\mathrm{m}X^{}\times (𝔾_\mathrm{m}𝔞^{})^s`$ serait alors la compactification partielle de la pointe $`𝒞`$ (voir la partie 3).

Le problème se traduit en le problème combinatoire suivant :

Soit un éventail complet $`\mathrm{\Sigma }`$ de $`X_+^{}=\{0\}_+^{J_F}`$, stable pour l’action de $`𝔬_+^\times `$ et qui contient un nombre fini d’éléments modulo cette action. Trouver un éventail complet $`\stackrel{~}{\mathrm{\Sigma }}`$ de $`X_+^{}\times (𝔞_{}^{})^s`$ stable pour l’action de $`𝔟^s𝔬_+^\times `$, contenant un nombre fini d’éléments modulo cette action et tel que la projection de chaque $`\tau \stackrel{~}{\mathrm{\Sigma }}`$ sur $`X_+^{}`$ soit un des $`\sigma \mathrm{\Sigma }`$.

Soit $`\xi _0^{}`$ un élément de $`X_+^{}`$ de norme minimale. Soit $`\epsilon _1,..,\epsilon _{d1}`$ une base de $`𝔬^{\times 2}`$ et posons $`\mathrm{\Pi }=\{_{iI}\epsilon _i|I\{1,..,d1\}\}`$. Alors l’ensemble $`\mathrm{\Sigma }`$ des intérieurs des $`_{uU}_+\mathrm{Conv}_{\epsilon \mathrm{\Pi }}(u\epsilon \xi _0^{})`$, avec $`U`$ décrivant les sous-ensembles finis de $`𝔬^{\times 2}`$, est un éventail complet de $`X_+^{}`$, stable pour l’action de $`𝔬^\times `$ et contenant un nombre fini d’éléments modulo cette action.

Soit $`e^{(1)},..,e^{(d)}`$ une base de $`𝔟`$ et posons $`\mathrm{\Pi }^{}=\{_{iI}e^{(i)}|I\{1,..,d\}\}`$. Considérons l’ensemble $`\stackrel{~}{\mathrm{\Sigma }}^{\prime \prime }`$ des cônes fermés suivants :

$$_+\mathrm{Conv}_{\epsilon \mathrm{\Pi };e_1,..,e_s\mathrm{\Pi }^{}}\left((u^2\epsilon ^2\xi _0^{};(\beta _1+e_1)u\epsilon ^2,..,(\beta _s+e_s)u\epsilon ^2)\right),$$

avec $`\beta =(u;\beta _1,..,\beta _s)`$ décrivant $`(𝔬^\times /\{\pm 1\})\times 𝔟^s`$.

Il ne suffit pas de prendre les intérieurs des intersections finies de tels cônes pour obtenir l’éventail cherché $`\stackrel{~}{\mathrm{\Sigma }}`$, car l’intersection de deux cônes de $`\stackrel{~}{\mathrm{\Sigma }}^{\prime \prime }`$ n’est pas forcément une face de chacun. Cependant, on n’en est pas loin, car une face donnée d’un cône de $`\stackrel{~}{\mathrm{\Sigma }}^{\prime \prime }`$ ne rencontre qu’un nombre fini parmi les autres cônes. De ce fait :

1) si on découpe un des cônes de $`\stackrel{~}{\mathrm{\Sigma }}^{\prime \prime }`$ (en prenant par exemple un point rationnel à l’intérieur, bien que cela ne soit pas forcément nécessaire) de façon que les autres cônes intersectent les nouveaux cônes ainsi obtenus en des faces de ces-derniers, et

2) si on découpe les autres cônes en conséquence, en translatant le découpage du 1) par le groupe $`𝔟^s𝔬_+^\times `$,

alors on obtiendra un nouvel ensemble de cônes fermés $`\stackrel{~}{\mathrm{\Sigma }}^{}`$ qui sera plus fin que $`\stackrel{~}{\mathrm{\Sigma }}^{\prime \prime }`$ et dans lequel l’intersection de deux cônes sera une face de chacun.

L’ensemble $`\stackrel{~}{\mathrm{\Sigma }}`$ des intérieurs des intersections finies de cônes de $`\stackrel{~}{\mathrm{\Sigma }}^{}`$ sera alors un éventail complet de $`X_+^{}\times (𝔞_{}^{})^s`$ stable pour l’action de $`𝔟^s𝔬_+^\times `$, contenant un nombre fini d’éléments modulo cette action et tel que la projection de chaque $`\tau \stackrel{~}{\mathrm{\Sigma }}`$ sur $`(F)_+`$ soit un des $`\sigma \mathrm{\Sigma }`$. $`\mathrm{}`$

Quitte à raffiner $`\stackrel{~}{\mathrm{\Sigma }}`$, on pourra le supposer lisse.

Par la même méthode que dans la partie 3 on obtient alors une compactification lisse de la forme voulue de $`𝒜^{\mathrm{an},s}`$. L’énoncé précis sera donné plus tard dans cette partie, dans le cas arithmétique (le cas analytique en découle par les arguments habituels).

### Compactifications arithmétiques des variétés de Kuga-Sato.

On rappelle que dans cette partie, on se limite au cas du schéma de modules fin $`M=M^1`$, de sorte qu’il existe une VAHB universelle $`𝒜M`$ par le Théorème 4.1. Soit $`\mathrm{\Sigma }`$ un éventail $`\mathrm{\Gamma }`$-admissible et $`M\overline{M}_\mathrm{\Sigma }=\overline{M}D`$ la compactification toroïdale associée, avec $`D`$ diviseur à croisements normaux.

Pour chaque entier $`s1`$ on définit la variété de Kuga-Sato $`𝒜^s=𝒜\underset{𝑀}{\times }\mathrm{}\underset{𝑀}{\times }𝒜`$ ($`s`$-fois), qui est munie d’un morphisme projectif lisse $`f_s:𝒜^sM`$.

Le but est de construire (en s’inspirant de ) des compactifications toroïdales $`𝒜^s\overline{𝒜^s}=𝒜_{\stackrel{~}{\mathrm{\Sigma }}}^sE`$, avec $`E`$ diviseur à croisements normaux relatif, au-dessus des compactifications toroïdales de $`M`$. En d’autres termes on veut obtenir un diagramme :

avec $`\overline{f_s}`$ semi-stable et projectif.

L’importance de l’existence d’une variété $`\overline{𝒜^s}\overline{M}`$ pour chaque valeur de l’entier $`s`$ apparaîtra clairement dans la section sur la théorie de Hodge. Pour démontrer le théorème de dégénérescence de la suite spectrale BGG duale vers de Rham, on doit en effet recourir, suivant , VI.5.5, au théorème de Deligne de dégénérescence de la suite spectrale de Hodge vers de Rham pour $`\overline{f_s}:\overline{𝒜^s}\overline{M}`$.

L’éventail considéré dans la partie précédente pour la compactification analytique ne peut pas être réutilisé ici, car la méthode de  utilise des éventails munis d’une fonction de polarisation. On utilise la décomposition de Voronoi-Delaunay, qui est naturellement munie d’une fonction de polarisation (voir aussi ).

### Données de dégénérescence.

###### Définition 6.1

Soient $`𝔞`$ et $`𝔟`$ deux idéaux de $`𝔬`$ tels que $`𝔞𝔟^1=𝔠`$. Des données de dégénérescence, pour la variété de Kuga-Sato consistent en :

$`-`$ (polarisation) des morphismes $`𝔬`$-linéaires $`\varphi _i:𝔟𝔞`$, $`1is`$.

$`-`$ (flèche tautologique) une forme bilinéaire $`b:𝔟\times 𝔞`$ telle que pour tout $`m𝔬`$, $`\alpha 𝔞`$ et $`\beta 𝔟`$ on ait $`b(m\beta ,\alpha )=b(\beta ,m\alpha )`$ et telle pour tout $`1is`$ l’application $`b(,\varphi _i())`$ soit une forme bilinéaire définie positive sur $`𝔟`$.

Soit $`𝒞`$ une $`(R,𝔫)`$-pointe, donnée par un réseau $`L`$ de $`F^2`$, une suite exacte de $`𝔬`$-modules $`0𝔞^{}L𝔟0`$ et une application $`𝔬`$-linéaire injective $`\alpha :𝔫^1𝔡^1/𝔡^1𝔫^1L/L`$. On associe à $`𝒞`$ l’idéal $`X=𝔞𝔟^{}𝔞𝔟`$ (voir  section 3). A chaque $`(\xi ^{},(\mu _i)_{1is})X_+^{}\times 𝔠_+^s`$, on peut associer des données de dégénérescence $`\varphi _i=\varphi _{\mu _i}`$ et $`b=b_\xi ^{}`$, définies par : pour tout $`\alpha 𝔞`$, $`\beta 𝔟`$ et $`1is`$$`\varphi _i(\beta )=\mu _i\beta `$ et $`b(\beta ,\alpha )=\mathrm{Tr}_{F/}(\xi ^{}\alpha \beta )`$.

On pose $`C_+=X_+^{}`$ et $`\stackrel{~}{C}_+=C_+\times (𝔞^{})^s`$. Le groupe $`𝔟^s𝔬_𝒞^\times `$ agit à gauche sur $`\stackrel{~}{C}_+`$ (de même que dans (1) le groupe $`(𝔬𝔠^{})\mathrm{\Gamma }`$ agit sur $`_F\times (F)`$) par

$$\{\begin{array}{cc}(u,ϵ)(q;l_1,..,l_s)=(u^2ϵq;ul_1,..,ul_s)\hfill & \\ (\beta _1,..,\beta _s)(q;l_1,..,l_s)=(q;l_1+\beta _1q,..,l_s+\beta _sq)\hfill & \end{array}.$$

### Fonctions de polarisation.

Le but est de construire :

$``$ Un éventail $`\mathrm{\Sigma }^𝒞`$ de $`C_+`$ qui est $`𝔬^\times `$-admissible.

$``$ Un éventail $`\stackrel{~}{\mathrm{\Sigma }}^𝒞`$ de $`\stackrel{~}{C}_+`$ qui est $`𝔟^s𝔬^\times `$-admissible et tel que pour tout $`\tau \stackrel{~}{\mathrm{\Sigma }}^𝒞`$, il existe $`\sigma \mathrm{\Sigma }^𝒞`$ tel que $`\mathrm{pr}_1(\tau )\sigma `$. Si de plus cette inclusion est une égalité l’éventail sera dit équidimensionnel.

$``$ Une fonction de support sur $`\stackrel{~}{\mathrm{\Sigma }}^𝒞`$, i.e. une fonction $`\phi :\stackrel{~}{C}_+`$ qui est continue, convexe, entière sur $`X^{}\times (𝔞^{})^s`$ linéaire sur chaque $`\tau \stackrel{~}{\mathrm{\Sigma }}^𝒞`$ (donc linéaire par morceaux), $`𝔟^s𝔬^\times `$-invariante et telle que pour tout $`\lambda 0`$ $`\phi (\lambda )=\lambda \phi ()`$.

Si de plus $`\phi `$ est strictement convexe au-dessus de chaque $`\sigma \mathrm{\Sigma }^𝒞`$ (i.e. pour tout $`\tau \stackrel{~}{\mathrm{\Sigma }}^𝒞`$, il existe $`\sigma \mathrm{\Sigma }^𝒞`$, $`n`$ et $`\stackrel{~}{l}^{}X\times 𝔞^s`$ tels que

$$\tau =\{\stackrel{~}{l}=(q,l)\stackrel{~}{C}_+|q\sigma ,n\phi (\stackrel{~}{l})=\stackrel{~}{l}^{},\stackrel{~}{l}\},$$

alors $`\phi `$ est appelée une fonction de polarisation.

### Décomposition de Voronoi-Delaunay.

Fixons une $`(R,𝔫)`$-pointe $`𝒞`$, ainsi que des $`\mu _i𝔠_+`$, $`1is`$. On a ainsi des polarisations $`\varphi _i=\varphi _{\mu _i}`$, $`1is`$.

Pour tout choix de $`\beta =(\beta _i)_{1is}𝔟^s`$, on définit une fonction :

$$\chi _\beta :\stackrel{~}{C}_+\text{ , }(q,l_1,..,l_s)\underset{1is}{}b_q(\beta _i,\varphi _i(\beta _i))+2l_i(\varphi _i(\beta _i)).$$

L’application $`\chi _\beta `$ est la composée de

$$(q,l_1,..,l_s)\underset{1is}{}q\mu _i\beta _i^2+2l_i\mu _i\beta _i$$

avec l’application trace $`\mathrm{Tr}_{F/}:F`$.

On pose pour $`\stackrel{~}{l}=(q,l=(l_1,..,l_s))\stackrel{~}{C}_+`$

$$\phi (\stackrel{~}{l})=\underset{\beta 𝔟^s}{\mathrm{min}}\chi _\beta (\stackrel{~}{l}),$$

L’application $`\phi `$ est $`1`$-tordue, au sens de , car pour tout $`\beta 𝔟^s`$ on a

$$\phi (\beta (q,l))=\underset{\beta ^{}𝔟^s}{\mathrm{min}}\chi _\beta ^{}(q,l+q\beta )=\underset{\beta ^{}𝔟^s}{\mathrm{min}}\chi _{\beta +\beta ^{}}(q,l)\chi _\beta (q,l)=\phi (\stackrel{~}{l})\chi _\beta (\stackrel{~}{l})$$

Pour $`\sigma \mathrm{\Sigma }`$ fixé et $`𝔅𝔟^s`$ un sous-ensemble fini on définit :

$$\tau _{\sigma ,𝔅}=\{\stackrel{~}{l}=(q,l)\stackrel{~}{C}_+|q\sigma ,\beta 𝔅\chi _\beta (\stackrel{~}{l})=\phi (\stackrel{~}{l})\}.$$

###### Proposition 6.2

L’éventail $`\stackrel{~}{\mathrm{\Sigma }}=\{\tau _{\sigma ,𝔅}\}`$ est un éventail complet $`𝔟^s𝔬^\times `$ admissible, équidimensionnel de $`\stackrel{~}{C}_+`$ et $`\phi `$ est une fonction de polarisation $`1`$-tordue. Il existe une subdivision lisse de $`\stackrel{~}{\mathrm{\Sigma }}`$, muni d’une polarisation $`k`$-tordue, pour un certain $`k1`$.

On se propose de calculer l’action de $`𝔟^s𝔬^\times `$ sur l’éventail $`\stackrel{~}{\mathrm{\Sigma }}`$.

Pour $`\beta 𝔟^s`$ on a $`\chi _\beta (q,l)=\phi (q,l)`$, si et seulement si pour tout $`,e𝔟^s`$ on a $`\chi _{\beta +e}(q,l)\chi _\beta (q,l)=\mathrm{Tr}_{F/}(e(2l+q(2\beta +e))\mu )0`$. On en déduit

$$\tau _{\sigma ,𝔅}=\{(q,l)\stackrel{~}{C}_+|q\sigma ,\beta 𝔅,e𝔟^s\mathrm{Tr}_{F/}(e(2l+q(2\beta +e))\mu )0\}.$$

Pour tout $`u𝔬^\times `$ on a $`u\tau _{\sigma ,𝔅}=`$

$`=\{(u^2q,ul)\stackrel{~}{C}_+|q\sigma ,\beta 𝔅,e𝔟^s\mathrm{Tr}_{F/}(e(2l+q(2\beta +e))\mu )0\}=`$

$`\{(u^2q,ul)\stackrel{~}{C}_+|u^2qu^2\sigma ,\beta ,e\mathrm{Tr}_{F/}(u^1e(2ul+u^2q(2u^1\beta +u^1e))\mu )0\}`$

$`=\tau _{u^2\sigma ,u^1𝔅}`$.

Si $`y𝔟^s`$ on a $`y\tau _{\sigma ,𝔅}=`$

$`=\{(q,l+qy)\stackrel{~}{C}_+|q\sigma ,\beta 𝔅,e𝔟^s\mathrm{Tr}_{F/}(e(2l+q(2\beta +e))\mu )0\}`$

$`=\{(q,l2qy)\stackrel{~}{C}_+|q\sigma ,\beta ,e\mathrm{Tr}_{F/}(e(2(l+qy)+q(2(\beta y)+e))\mu )0\}`$

$`=\tau _{\sigma ,𝔅y}`$.

Le diagramme suivant décrit l’action de $`𝔟^s𝔬^\times `$ sur l’éventail $`\stackrel{~}{\mathrm{\Sigma }}`$.

### Modèles relativement complets faibles.

On introduit la notion de modèles relativement complets faibles polarisés dans le cas totalement dégénéré qui nous intéresse (voir  VI.1.7, ainsi que la partie 2 de ).

Soit $`R`$ un anneau excellent, intégralement clos, noethérien, complet pour la topologie $`I`$-adique, pour un idéal radiciel $`I=\sqrt{I}`$. Soit $`K`$ le corps des fractions de $`R`$. Soit $`S=\mathrm{Spec}(R)`$, $`\eta `$ son point générique et $`S_0=\mathrm{Spec}(R/I)`$ le sous-schéma fermé défini par $`I`$.

Considérons le tore déployé $`\stackrel{~}{G}=(𝔾_m𝔞^{})^s\times S=\mathrm{Spec}(R[𝔛^\alpha ;\alpha 𝔞^s])`$ sur $`S`$. Un ensemble de périodes $`𝔟^s\stackrel{~}{G}(K)`$ équivaut à la donnée d’une application bilinéaire non-dégénérée $`𝔟^s\times 𝔞^sK^\times ,(\beta ,\alpha )𝔛^\alpha (\beta )`$. Une polarisation $`\varphi `$ sur l’ensemble des périodes $`𝔟^s`$ est la donnée d’un homomorphisme $`𝔬`$-linéaire $`\varphi :𝔟^s𝔞^s`$, tel que :

$`(\mathrm{i})`$ $`𝔛^{\varphi (\beta )}(\beta ^{})=𝔛^{\varphi (\beta ^{})}(\beta )`$, pour tout $`\beta ,\beta ^{}𝔟^s`$,

$`(\mathrm{ii})`$ $`𝔛^{\varphi (\beta )}(\beta )I`$, pour tout $`\beta 𝔟^s\mathrm{\backslash }\{0\}`$.

###### Définition 6.3

Un modèle relativement complet faible polarisé de $`\stackrel{~}{G}`$, par rapport à $`(𝔟^s,\varphi )`$, est la donnée des éléments suivants :

$`(\mathrm{a})`$ Un schéma intègre $`\stackrel{~}{P}`$, localement de type fini sur $`R`$, dont la fibre générique est isomorphe à $`\stackrel{~}{G}_\eta `$.

$`(\mathrm{b})`$ Un faisceau inversible $`\stackrel{~}{}`$ sur $`\stackrel{~}{P}`$.

$`(\mathrm{c})`$ Une action du tore $`\stackrel{~}{G}`$ sur $`(\stackrel{~}{P},\stackrel{~}{})`$, étendant l’action par translation sur la fibre générique et son faisceau structural. On note cette action $`S_g:\stackrel{~}{P}\stackrel{~}{P}`$, $`S_g^{}:\stackrel{~}{}\stackrel{~}{}`$, pour tout point fonctoriel $`g`$ de $`\stackrel{~}{G}`$.

$`(\mathrm{d})`$ Une action de $`𝔟^s`$ sur ($`\stackrel{~}{P},\stackrel{~}{}`$), notée $`T_\beta :\stackrel{~}{P}\stackrel{~}{P}`$ et $`T_\beta ^{}:\stackrel{~}{}\stackrel{~}{}`$, étendant l’action de $`𝔟^s`$ sur $`\stackrel{~}{G}_\eta `$ par translation (via $`𝔟^s\stackrel{~}{G}(K)`$).

satisfaisant aux conditions suivantes :

$`(\mathrm{i})`$ Il existe un ouvert $`\stackrel{~}{G}`$-invariant $`U\stackrel{~}{P}`$ de type fini sur $`S`$ et tel que $`\stackrel{~}{P}=_{\beta 𝔟^s}T_\beta (U)`$.

$`(\mathrm{ii})`$ $`\stackrel{~}{}`$ est ample sur $`\stackrel{~}{P}`$, au sens que les compléments des lieux des zéros des sections globales $`\mathrm{\Gamma }(\stackrel{~}{P},\stackrel{~}{}^n)`$, $`n1`$, forment une base de la topologie de Zariski de $`\stackrel{~}{P}`$.

$`(\mathrm{iii})`$ Pour toute valuation $`v`$ sur $`R(\stackrel{~}{G})`$ (le corps des fonctions rationnelles sur $`\stackrel{~}{G}`$), qui est positive sur $`R`$, on a :

$`v`$ a du centre sur $`\stackrel{~}{P}`$ $``$ pour tout $`\alpha 𝔞^s`$, il existe $`\beta 𝔟^s`$ avec $`v(𝔛^\alpha (\beta )𝔛^\alpha )0`$.

L’intérêt des modèles relativement complets faibles polarisés $`(\stackrel{~}{P},\stackrel{~}{})`$ est qu’en suivant les flèches du diagramme :

l’on peut construire “le quotient” $`(P,)`$ de $`(\stackrel{~}{P},\stackrel{~}{})`$ par le groupe des périodes $`𝔟^s`$. Nous allons utiliser cette construction dans le théorème suivant.

### Énoncé du théorème.

Soient $`\mu _i𝔠_+`$, $`1is`$. Soit $`𝒜^s=𝒜\times _M\mathrm{}\times _M𝒜`$. Soit $`\mathrm{\Sigma }=(\mathrm{\Sigma }^𝒞)_𝒞`$ un éventail complet et lisse de $`C_+`$ qui est $`𝔬^\times `$-admissible et soit $`\stackrel{~}{\mathrm{\Sigma }}=(\stackrel{~}{\mathrm{\Sigma }}^𝒞)_𝒞`$ éventail complet et lisse de $`\stackrel{~}{C}_+`$ qui est $`𝔟^s𝔬^\times `$-admissible, équidimensionnel au-dessus de $`\mathrm{\Sigma }`$ et muni d’une fonction de polarisation $`k`$-tordue $`\phi `$.

###### Théorème 6.4

Il existe un $`[\frac{1}{\mathrm{N}(𝔫)}]`$-schéma $`\overline{𝒜^s}=𝒜_{\stackrel{~}{\mathrm{\Sigma }}}^s`$ propre (et même projectif) sur $`\overline{M}=M_\mathrm{\Sigma }`$, muni d’un faisceau inversible ample $``$ tel que:

$`(\mathrm{i})`$ $`\overline{𝒜^s}|_M=𝒜^s`$ est la variété de Kuga-Sato universelle au-dessus de $`M`$ et $`|_{𝒜^s}`$ s’identifie avec la puissance tensorielle $`k`$-ième du faisceau inversible ample $`_i\mathrm{pr}_i^{}_{\mu _i}`$, où pour $`1is`$, $`\mathrm{pr}_i:𝒜^s𝒜`$ désigne la $`i`$-ième projection et $`_{\mu _i}`$ désigne le faisceau ample inversible canonique sur $`𝒜`$, obtenu par pull-back du faisceau de Poincaré par le morphisme $`(\mathrm{id}_𝒜,\lambda (\mathrm{id}_𝒜\mu _i))`$.

$`(\mathrm{ii})`$ $`\overline{𝒜^s}`$ possède une stratification naturelle paramétrée par $`\stackrel{~}{\mathrm{\Sigma }}/(𝔟^s𝔬^\times )`$.

$`(\mathrm{iii})`$ Le schéma $`\overline{𝒜^s}`$ est lisse sur $`[\frac{1}{\mathrm{\Delta }}]`$ et $`\overline{𝒜^s}\mathrm{\backslash }𝒜^s`$ est un diviseur à croisements normaux relatif sur $`\overline{M}`$. Le morphisme $`\overline{f_s}:\overline{𝒜^s}\overline{M}`$ est semi-stable.

Supposons que pour tout $`\sigma \mathrm{\Sigma }`$, il existe $`\tau \stackrel{~}{\mathrm{\Sigma }}`$ tel que $`\sigma \times \{0\}=\tau `$. Alors :

$`(\mathrm{iv})`$ Le schéma semi-abélien $`𝔊^s`$ est contenu comme ouvert dense dans $`\overline{𝒜^s}`$ et la restriction de $``$ à $`𝔊^s`$ coïncide, comme dans le $`(\mathrm{i})`$ avec la puissance tensorielle $`k`$-ième du faisceau inversible ample canonique $`_i\mathrm{pr}_i^{}_{\mu _i}`$. De plus $`𝔊^s\overline{M}`$ agit sur $`\overline{𝒜^s}`$ en prolongeant l’action de $`𝒜^s`$ sur lui-même par translation.

$`(\mathrm{v})`$ Le faisceau $`\mathrm{\Omega }_{\overline{𝒜^s}/\overline{M}}^1(\mathrm{dlog}\mathrm{})`$ est isomorphe à $`\overline{f_s}^{}(\underset{¯}{\omega }_{𝔊/\overline{M}}^{}{}_{}{}^{s})`$.

$`(\mathrm{vi})`$ Pour tout couple d’entiers $`a,b0`$, on a des isomorphismes canoniques

$$R^a\overline{f_s}_{}\left(\stackrel{b}{}\mathrm{\Omega }_{\overline{𝒜^s}/\overline{M}}^1(\mathrm{dlog}\mathrm{})\right)\stackrel{a}{}(𝔠𝔡^1\underset{¯}{\omega }_{𝔊/\overline{M}}^{})^s\stackrel{b}{}\underset{¯}{\omega }_{𝔊/\overline{M}}^{}{}_{}{}^{s}.$$

Dans le reste de l’article on abrégera $`\mathrm{\Omega }_{\overline{𝒜^s}/\overline{M}}^{}(\mathrm{dlog}\mathrm{}_{\overline{𝒜^s}/\overline{M}})`$ en $`\mathrm{\Omega }_{\overline{𝒜^s}/\overline{M}}^{}(\mathrm{dlog}\mathrm{})`$.

###### Remarque 6.5

La canonicité des isomorphismes de $`(\mathrm{vi})`$ montre en particulier que les faisceaux $`R^a\overline{f_s}_{}^b\mathrm{\Omega }_{\overline{𝒜^s}/\overline{M}}^1(\mathrm{dlog}\mathrm{})`$ sont :

1) indépendants du choix de la compactification toroïdale de $`𝒜^s`$ choisie,

2) munis d’une action naturelle de $`𝔊^s`$ et de $`𝔬`$,

3) localement libres sur $`𝒪_{\overline{M}}𝔬`$.

### Démonstration du théorème.

On construit $`P=\overline{𝒜^s}`$ en suivant les étapes de  VI.1 : Pour chaque $`(R,𝔫)`$-pointe $`𝒞`$ la projection de $`\stackrel{~}{\mathrm{\Sigma }}^𝒞`$ sur $`\mathrm{\Sigma }^𝒞`$ nous donne un morphisme d’immersions toroïdales (voir ) :

$`S_𝒞`$ (resp. $`\stackrel{~}{S}_𝒞`$) désigne le tore déployé de groupe des caractères $`X`$ (resp. $`X\times 𝔞^s`$). Le morphisme $`\stackrel{~}{S}_{\stackrel{~}{\mathrm{\Sigma }}^𝒞}S_{\mathrm{\Sigma }^𝒞}`$ est équivariant pour l’action des tores $`\stackrel{~}{S}_𝒞S_𝒞`$ et pour l’action des groupes $`𝔟^s𝔬^\times 𝔬^\times `$.

Il est crucial de noter alors que :

$`-`$ la fonction de polarisation $`\phi :\stackrel{~}{C}_+`$ induit un faisceau inversible relativement ample $``$ sur $`S_{\stackrel{~}{\mathrm{\Sigma }}^𝒞}`$ (voir ).

$`-`$ le fait que $`\phi `$ est $`k`$-tordue nous donne, pour tout $`\beta 𝔟^s`$ et tout point $`g`$ de $`\stackrel{~}{G}^s=(𝔾_\mathrm{m}𝔞^{})^s`$ la relation

$$S_g^{}T_\beta ^{}=𝔛^{\varphi (\beta )}(g)^{2k}T_\beta ^{}S_g^{},$$

qui est similaire à celle imposée en plus dans la définition des modèles relativement complets (voir 2.1(iv)).

$`-`$ pour tout $`\sigma \mathrm{\Sigma }^𝒞`$ le pull-back de $`(\stackrel{~}{S}_{\stackrel{~}{\mathrm{\Sigma }}^𝒞},)`$ par le morphisme $`\overline{S}_{𝒞,\sigma }S_{\mathrm{\Sigma }^𝒞}`$ est un modèle relativement complet faible polarisé du tore $`\stackrel{~}{G}^s\times \overline{S}_{𝒞,\sigma }`$, relativement à $`(𝔟^s,(\varphi _{\mu _i})_{1is})`$.

Ainsi, par le résultat principal sur ces modèles  VI.1.10, on obtient un schéma propre $`P_\sigma `$ sur $`\overline{S}_{𝒞,\sigma }[\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞]`$, prolongeant le pull-back $`𝒜_\sigma ^s`$ de la variété de Kuga-Sato universelle à $`\overline{S}{}_{𝒞,\sigma }{}^{0}[\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞]`$, et un faisceau inversible ample $`_\sigma `$ sur $`P_\sigma `$, prolongeant le faisceau inversible ample canonique $`_i\mathrm{pr}_i^{}_{\mu _i}`$ de $`𝒜_\sigma ^s`$.

Par compatibilité des immersions toriques, comme dans  IV.3 p.104, on obtient un schéma propre

$$g_𝒞:P_{\mathrm{\Sigma }^𝒞}S_{\mathrm{\Sigma }^𝒞}^{}[\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞],$$

appelé le “bon modèle formel compact” en la pointe $`𝒞`$, et un faisceau inversible ample $`_{\mathrm{\Sigma }^𝒞}`$ sur $`P_{\mathrm{\Sigma }^𝒞}`$. Le couple $`(P_{\mathrm{\Sigma }^𝒞},_{\mathrm{\Sigma }^𝒞})`$ descend à $`S_{\mathrm{\Sigma }^𝒞}^{}/𝔬_𝒞^\times \times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞]^{H_𝒞})`$.

On peut alors algébriser et recoller ces schémas, ainsi que les faisceaux inversibles amples, pour obtenir un morphisme $`\overline{f}:P\overline{M}`$ et un faisceau inversible ample $``$ sur $`P`$, de sorte que :

1) $`\overline{f}`$ est projectif sur $`\overline{M}`$,

2) on a canoniquement $`P|_M𝒜^s`$,

3) le schéma semi-abélien $`𝔊^s`$ agit sur $`P`$ en prolongeant l’action par translation de $`𝒜^s`$ sur lui-même au-dessus de $`M`$,

4) si pour tout $`𝒞`$, $`\stackrel{~}{\mathrm{\Sigma }}^𝒞`$ contient les $`\sigma \times \{0\}`$ pour tout $`\sigma \mathrm{\Sigma }^𝒞`$, le schéma $`𝔊^s`$ est muni d’une immersion ouverte $`j:𝔊^sP`$ d’image dense dans $`P`$, et le faisceau $`j^{}`$ coïncide avec le faisceau ample canonique sur $`𝔊^s`$ associé à $`(\mu _1,\mathrm{},\mu _s)`$, via la $`𝔠`$-polarisation canonique sur le schéma semi-abélien $`𝔊^s`$ prolongeant celle de $`𝒜^s`$.

5) Pour tout cône $`\tau \stackrel{~}{\mathrm{\Sigma }}^𝒞`$ et $`\sigma \mathrm{\Sigma }^𝒞`$, avec $`\mathrm{pr}_1(\tau )=\sigma `$, la complétion formelle de $`P\overline{M}`$ le long de la $`\tau `$-strate (au-dessus de la $`\sigma `$-strate de $`\overline{M}`$) s’identifie, localement pour la topologie étale, au morphisme d’immersion toriques

$$\stackrel{~}{S}_{𝒞,\tau }S_{𝒞,\sigma }.$$

###### Remarque 6.6

1) Le qualificatif “faible” fait référence au fait que la construction de $`P`$ à partir de $`\stackrel{~}{G}`$, bien que du type de celle de Mumford (complétion, quotient par les périodes, puis algébrisation), ne suppose pas que le schéma $`\stackrel{~}{P}`$ associé au tore déployé $`\stackrel{~}{G}`$ contienne ce tore, (on a encore cependant $`\stackrel{~}{G}_\eta =\stackrel{~}{P}_\eta `$).

2) $`j:𝔊^sP`$ n’est pas une immersion toroïdale au-dessus de $`\overline{M}`$.

On pose $`\overline{𝒜^s}=P`$. Il reste à vérifier les énoncés $`(\mathrm{v})`$ et $`(\mathrm{vi})`$ du théorème. A partir de $`j:𝔊^s\overline{𝒜^s}`$, on obtient $`j^{}:\mathrm{\Omega }_{\overline{𝒜^s}/\overline{M}}^1(\mathrm{dlog}\mathrm{})\mathrm{\Omega }_{𝔊^s/\overline{M}}^1`$ qui induit un isomorphisme sur $`\overline{f_s}^{}e^{}\mathrm{\Omega }_{𝔊^s/\overline{M}}^1=\overline{f_s}^{}(\underset{¯}{\omega }_{𝔊/\overline{M}}^{}{}_{}{}^{s})`$, d’où le $`(\mathrm{v})`$.

Le $`(\mathrm{vi})`$ se déduit à partir du $`(\mathrm{v})`$ et du cup-produit

$$\stackrel{a}{}R^1\overline{f_s}_{}\left(𝒪_{\overline{𝒜^s}}\right)R^a\overline{f_s}_{}(𝒪_{\overline{𝒜^s}})$$
(7)
Pour montrer que cette flèche est un isomorphisme on se ramène d’abord par complétion aux bons modèles formels compacts (voir VI.1.11 de ), qui permettent de remplacer le morphisme $`\overline{f_s}:\overline{𝒜^s}\overline{M}`$ par les morphismes d’immersions toriques

$$g:\stackrel{~}{S}_{𝒞,\tau }S_{𝒞,\sigma }.$$

On exploite alors l’action de $`\stackrel{~}{G}`$ sur $`R^ag_{}(𝒪_{\stackrel{~}{S}_{𝒞,\tau }})`$ qui permet de calculer la cohomologie des immersions toriques comme au bas de la page 208 de . $`\mathrm{}`$

Les points $`(\mathrm{v})`$ et $`(\mathrm{vi})`$ du théorème précédent sont en partie conséquence du fait plus général suivant que le complexe $`R\overline{f}_{}\mathrm{\Omega }_{\overline{𝒜}/\overline{M}}^{}(\mathrm{dlog}\mathrm{})`$ ne dépend pas du choix de la compactification toroïdale $`\overline{𝒜}`$ (voir le lemme VI.3.4 de  qui se transpose sans changement à notre cas). On en déduit en particulier que le fibré $`\overline{}_{\mathrm{dR}}^1`$ ne dépend pas du choix de la compactification toroïdale $`\overline{𝒜}`$ au-dessus de $`\overline{M}`$ et qu’il est muni d’une action de $`𝔬`$. En fait, si on pose $`j_M:M\overline{M}`$, alors $`\overline{}_{\mathrm{dR}}^1`$ s’identifie au sous-faisceau de $`j_M_{\mathrm{dR}}^1(𝒜/M)`$ des sections $`𝔊`$-invariantes de $`_{\mathrm{dR}}^1(𝔊/\overline{M})`$.

La suite spectrale de Hodge vers de Rham logarithmique fournit une suite exacte courte

$$0\overline{f}_{}\mathrm{\Omega }_{\overline{𝒜}/\overline{M}}(\mathrm{dlog}\mathrm{})\overline{}_{\mathrm{dR}}^1R^1\overline{f}_{}𝒪_{\overline{𝒜}}0$$

qui est, elle-aussi, indépendante de $`\overline{𝒜}`$. La filtration de Hodge sur $`\overline{}_{\mathrm{dR}}^1`$ est donc indépendante de $`\overline{𝒜}`$. On a la première partie de la

###### Proposition 6.7

Étant donné un $`\mathrm{\Gamma }`$-éventail complet $`\mathrm{\Sigma }`$ de $`C_+`$, le fibré $`\overline{}_{\mathrm{dR}}^1`$ ne dépend pas du choix de la compactification toroïdale $`\overline{𝒜}`$ au-dessus de $`\overline{M}`$; il en est de même pour sa filtration de Hodge et pour sa connexion logarithmique prolongeant la connexion de Gauss-Manin. Il est muni d’une action naturelle de $`𝔊`$ et de $`𝔬`$. La connexion de Gauss-Manin logarithmique est compatible avec la flèche de Kodaira-Spencer

$$\underset{¯}{\omega }_{𝔊/\overline{M}}(\underset{¯}{\omega }_{𝔊/\overline{M}}^{}_𝔬𝔠𝔡^1)\mathrm{\Omega }_{\overline{M}}(\mathrm{dlog}\mathrm{}).$$

Démonstration : On démontre que la connexion de Gauss-Manin possède un prolongement indépendant de $`\overline{𝒜}`$ et que ce prolongement est unique. Pour une compactification donnée $`\overline{𝒜}`$, on peut définir la connexion de Gauss-Manin logarithmique (voir la section 2 de  dans le cas non-logarithmique) comme suit. Posons $`\mathrm{Fil}^i\mathrm{\Omega }_{\overline{𝒜}}^{}(\mathrm{dlog}\mathrm{})=\mathrm{im}(\overline{f}^{}\mathrm{\Omega }_{\overline{M}}^i(\mathrm{dlog}\mathrm{})\mathrm{\Omega }_{\overline{𝒜}}^i(\mathrm{dlog}\mathrm{})\mathrm{\Omega }_{\overline{𝒜}}^{}(\mathrm{dlog}\mathrm{}))`$ et considérons la suite exacte de complexes

$$0\mathrm{Fil}^1/\mathrm{Fil}^2\mathrm{Fil}^0/\mathrm{Fil}^2\mathrm{Fil}^0/\mathrm{Fil}^10$$
(8)
La connexion de Gauss-Manin s’identifie alors au morphisme connectant

$$R^1\overline{f}_{}\mathrm{gr}^0R^2\overline{f}_{}\mathrm{gr}^1.$$

Si l’on pose $`\mathrm{Fil}_𝔊^i=\mathrm{Fil}^i\mathrm{\Omega }_𝔊^{}(\mathrm{dlog}\mathrm{})=\mathrm{im}(\overline{f}^{}\mathrm{\Omega }_{\overline{M}}^i(\mathrm{dlog}\mathrm{})\mathrm{\Omega }_𝔊^i(\mathrm{dlog}\mathrm{})\mathrm{\Omega }_𝔊^{}(\mathrm{dlog}\mathrm{}))`$, où le $`\mathrm{dlog}\mathrm{}`$ n’est relatif qu’aux pôles le long du diviseur vertical $`\overline{f}^{}\mathrm{}`$ de $`𝔊`$, on peut identifier (8) à la sous-suite (exacte) des $`𝔊`$-invariants de

$$0\mathrm{Fil}_𝔊^1/\mathrm{Fil}_𝔊^2\mathrm{Fil}_𝔊^0/\mathrm{Fil}_𝔊^2\mathrm{Fil}_𝔊^0/\mathrm{Fil}_𝔊^10,$$

qui ne dépend pas de $`\overline{𝒜}`$. Encore une fois, ceci résulte de ce que la connexion de Gauss-Manin sur $`𝒜`$ est $`𝒜`$-invariante; elle se prolonge donc localement de façon unique via l’identification $`\overline{}_{\mathrm{dR}}^1=_{\mathrm{dR}}^1(𝔊/\overline{M})^𝔊`$. $`\mathrm{}`$

## 7 Applications de la compactification toroïdale arithmétique

### Irréductibilité du schéma $`M𝔽_p`$ ($`p\mathrm{\Delta }`$).

Le schéma $`M`$ est géométriquement irréductible sur $`[\frac{1}{\mathrm{\Delta }}]`$. Il en est de même pour le $`𝒯_1`$-torseur $`𝔐`$ sur $`M`$.

La démonstration est la même que dans  IV.5.10 : la fibre générique de $`M`$ est géométriquement connexe par la description transcendante de $`M^{\mathrm{an}}`$ et le principe GAGA; il en est de même pour la fibre générique d’une compactification toroïdale $`\overline{M}`$. Soit $`a:\overline{M}S=\mathrm{Spec}([\frac{1}{\mathrm{\Delta }}])`$ le morphisme structural. Ce morphisme est lisse donc plat. Il est propre donc $`a_{}𝒪_{\overline{M}}`$ est un $`[\frac{1}{\mathrm{\Delta }}]`$-module de type fini. Par platitude, ce module est libre de rang $`r`$. En passant à la fibre générique, on voit que $`r=1`$ parce que cette fibre est connexe (et propre). Le Théorème de Connexité de Zariski montre que la condition $`a_{}𝒪_{\overline{M}}=[\frac{1}{\mathrm{\Delta }}]`$ entraîne la connexité des fibres $`\overline{M}𝔽_p`$ ($`p\mathrm{\Delta }`$). La lissité de $`\overline{M}𝔽_p`$ entraîne alors l’irréductibilité géométrique de $`M𝔽_p`$.

### Prolongement des fibrés automorphes.

On peut reprendre la construction de fibrés automorphes de la partie 4 à l’aide de torseurs sur $`\overline{M}`$. Dans ce paragraphe on se place au-dessus de $`[\frac{1}{\mathrm{\Delta }}]`$.

On commence par le cas de $`\overline{M^1}`$. Fixons un éventail $`\mathrm{\Gamma }`$-admissible lisse $`(\mathrm{\Sigma }^𝒞)_𝒞`$ et une compactification toroïdale $`\overline{M^1}=M_\mathrm{\Sigma }^1`$. Soit $`\overline{f}:𝔊\overline{M^1}`$ le schéma semi-abélien construit sur $`\overline{M^1}`$. Rappelons que l’on pose $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}=\overline{e}^{}\mathrm{\Omega }_{𝔊/\overline{M^1}}`$, où $`\overline{e}:\overline{M^1}𝔊`$ désigne la section unité. On a $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}𝒪_{\overline{M^1}}𝔬`$ localement pour la topologie de Zariski (voir ).

Alors $`\overline{𝔐^1}:=\mathrm{Isom}_{\overline{M^1}}(𝒪_{\overline{M^1}}𝔬,\underset{¯}{\omega }_{𝔊/\overline{M^1}})`$ est un $`𝒯_1`$-torseur de Zariski sur $`\overline{M^1}`$.

Un point de $`\overline{𝔐^1}`$ est un couple $`(x,\omega )`$ constitué d’un point $`x\overline{M^1}`$, et d’une $`(𝔬𝒪_{\overline{M^1}})`$-base $`\omega `$ de $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}`$.

Comme dans la partie 4, le $`𝔬`$-fibré inversible $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}`$ descend en un $`𝔬`$-fibré inversible sur $`\overline{M}`$, noté encore $`\underset{¯}{\omega }`$. Alors le $`𝒯_1`$-torseur de Zariski

$$\overline{𝔐}=\mathrm{Isom}_{\overline{M}}(𝒪_{\overline{M}}𝔬,\underset{¯}{\omega })$$

prolonge le $`𝒯_1`$-torseur $`𝔐`$ sur $`M`$, défini dans la partie 4.

Soit $`𝒪^{}`$ l’anneau des entiers de $`F^{\mathrm{gal}}(\sqrt{ϵ},ϵ𝔬_{D+}^\times )`$.

Pour tout $`[\frac{1}{\mathrm{\Delta }}]`$-schéma $`Y`$, on pose $`Y^{}=Y\times \mathrm{Spec}(𝒪^{}[\frac{1}{\mathrm{\Delta }}])`$.

On a un foncteur $`\overline{}_{𝒯_1}`$ des représentations algébriques du $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-schéma en groupes $`𝒯_1^{}`$, vers les fibrés décomposables en fibrés inversibles sur $`\overline{M}^{}`$, qui à $`W`$ associe le produit contracté $`\overline{𝔐}^{}\stackrel{𝒯_1^{}}{\times }W=:\overline{𝒲}`$

Si $`W_{\mathrm{st}}`$ est la représentation standard de $`𝒯_1^{}`$ (i.e. $`𝔬𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$ avec action de $`𝔬^\times `$), on a $`\overline{𝒲}_{\mathrm{st}}=\underset{¯}{\omega }^{}`$. Pour tout caractère $`\kappa `$, vu comme $`𝒪^{}`$-représentation de $`𝒯_1^{}`$, on obtient le prolongement canonique de $`\underset{¯}{\omega }^\kappa =𝒲_{1,\kappa }`$ à $`\overline{M}`$, comme $`\overline{𝔐}^{}\stackrel{𝒯_1^{}}{\times }𝒪^{}[\frac{1}{\mathrm{\Delta }}](\kappa )`$.

Pour alléger les notations, on note encore $`\underset{¯}{\omega }^\kappa `$ le prolongement canonique de $`\underset{¯}{\omega }^\kappa `$ à $`\overline{M}`$.

### Principe de Koecher.

Dans toute cette partie on suppose $`F`$. Pour tout poids $`\kappa [J_F]`$ et pour toute $`[\frac{1}{\mathrm{\Delta }}]`$-algèbre $`R`$ contenant les valeurs de $`\kappa `$, on a :

###### Théorème 7.1

(Principe de Koecher  4.9)

$$\mathrm{\Gamma }(M\times \mathrm{Spec}(R),\underset{¯}{\omega }^\kappa )=\mathrm{\Gamma }(\overline{M}\times \mathrm{Spec}(R),\underset{¯}{\omega }^\kappa )$$

Démonstration :  Il suffit de vérifier l’holomorphie d’une section globale de $`\underset{¯}{\omega }^\kappa `$ le long du diviseur à l’infini de $`\overline{M}`$. Il suffit donc de montrer que pour toute $`(R,𝔫)`$-pointe $`𝒞`$, les sections globales méromorphes du pull-back de $`\underset{¯}{\omega }^\kappa `$ sur $`S_{\mathrm{\Sigma }^𝒞}^{}\times \mathrm{Spec}(R)`$ qui sont $`𝔬_𝒞^\times `$-invariantes sont holomorphes. Le pull-back $`\underset{¯}{\omega }_𝒞`$ de $`\underset{¯}{\omega }`$ sur $`S_{\mathrm{\Sigma }^𝒞}^{}\times \mathrm{Spec}(R)`$ est canoniquement isomorphe à $`𝔞𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R`$. On peut donc identifier une section méromorphe de $`\underset{¯}{\omega }_𝒞`$ à une série $`f_𝒞=_{\xi X}a_\xi q^\xi `$, telle que pour tout $`(u,ϵ)𝔬_𝒞^\times `$ d’après (5) on a $`a_{u^2ϵ\xi }=u^\kappa e^{2i\pi \mathrm{Tr}_{F/}(\xi u\xi _{u,ϵ}^{})}a_\xi `$. Supposons que $`f_𝒞`$ ne soit pas holomorphe. Il existe donc $`\xi _0`$ non totalement positif tel que $`a_{\xi _0}0`$. C’est donc qu’il existe $`\xi _0^{}X_+^{}`$ avec $`\mathrm{Tr}_{F/}(\xi _0\xi _0^{})`$ strictement négatif. Comme $`F`$, on peut choisir des unités $`(u,ϵ)𝔬_𝒞^\times `$ de manière à rendre la quantité $`\mathrm{Tr}_{F/}(u^2ϵ\xi _0\xi _0^{})`$ arbitrairement proche de $`\mathrm{}`$. Soit $`\sigma `$ un cône polyédral de $`\mathrm{\Sigma }^𝒞`$ contenant $`\xi _0^{}`$. Par définition de $`S_\sigma ^{}`$, on voit que $`f_𝒞`$ n’est pas méromorphe sur $`S_\sigma ^{}`$, ce qui est absurde.

### $`q`$-développement.

Pour alléger les notations on se cantonne au cas des pointes non-ramifiées. Voir la partie 8 de  pour le cas général. Soit $`\kappa [J_F]`$ et soit $`R`$ une $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-algèbre, où $`𝒪^{}`$ désigne l’anneau des entiers d’une clôture galoisienne de $`F`$. Soit $`𝒞`$ une $`(R,𝔫)`$-pointe uniformisée non ramifiée; posons

$$R_𝒞^{(\kappa )}(R):=\left\{\underset{\xi X_+\{0\}}{}a_\xi q^\xi \right|a_\xi R,a_{u^2ϵ\xi }=ϵ^{\kappa /2}u^\kappa a_\xi ,(u,ϵ)𝔬_𝒞^\times \}$$

Comme le pull-back $`\underset{¯}{\omega }_𝒞`$ de $`\underset{¯}{\omega }`$ sur $`S_{\mathrm{\Sigma }^𝒞}^{}\times \mathrm{Spec}(R)`$ est canoniquement isomorphe à $`𝔞𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R`$, on a

$$\underset{¯}{\omega }_𝒞^\kappa =\left(𝔞𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R\right)^\kappa $$

Or $`\left(𝔞𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R\right)^\kappa =\left(𝔞𝒪^{}\right)^\kappa _𝒪^{}\left(𝔬𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R\right)^\kappa `$.

Notons que $`R_𝒞^{(\kappa )}(R)=\left(𝔬𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R\right)^\kappa `$ est un $`𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R`$-module inversible et $`𝔞^{(\kappa )}:=(𝔞𝒪^{})^\kappa `$ est un $`𝒪^{}`$-module inversible.

On peut donc associer à toute forme modulaire de Hilbert $`f`$ de poids $`\kappa `$, niveau $`\mathrm{\Gamma }`$ définie sur $`R`$, un élément $`f_𝒞𝔞^{(\kappa )}_𝒪^{}R_𝒞^{(\kappa )}(R)`$.

###### Définition 7.2

La série $`f_𝒞`$ est appelée le $`q`$-développement de la forme $`f`$ en la pointe $`𝒞`$. On note $`\mathrm{ev}_{𝒞,\kappa }`$ l’application $`ff_𝒞`$.

Le principe du $`q`$-développement en une pointe $`𝒞`$ non-ramifiée s’énonce alors :

###### Proposition 7.3

Pour toute $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-algèbre $`R`$,

1) l’application

$$\mathrm{ev}_{𝒞,\kappa }:G_\kappa (𝔠,𝔫;R)𝔞^{(\kappa )}_𝒪^{}R_𝒞^{(\kappa )}(R)$$

est injective,

2) pour toute inclusion $`RR^{}`$ d’algèbres, si $`fG_\kappa (𝔠,𝔫;R^{})`$ et $`f_𝒞𝔞^{(\kappa )}_𝒪^{}R_𝒞^{(\kappa )}(R)`$, alors $`fG_\kappa (𝔠,𝔫;R)`$.

L’énoncé 2) dans le cas de l’anneau nul $`R=0`$ redonne 1).

Démonstration :  Les deux énoncés résultent du suivant: soit $`R`$ un groupe abélien; l’application $`ff_𝒞`$:

$$\mathrm{H}^0(\overline{M},\underset{¯}{\omega }^\kappa R)𝔞^{(\kappa )}R[[q^\xi ;\xi X_+\{0\}]]$$

est injective (on utilise le principe de Koecher pour passer à $`\overline{M}`$).

Par commutation des deux membres aux limites inductives, on se ramène aisément au cas $`R=`$ ou $`R=/r`$. Par l’irréductibilité géométrique de $`𝔐`$ sur $`[\frac{1}{\mathrm{\Delta }}]`$, une section globale $`s`$ de $`\underset{¯}{\omega }^\kappa `$ sur $`\overline{M}/r`$ est nulle, si et seulement si son pull-back à la complétion de $`\overline{M}/r`$ le long d’un diviseur est nul. Soit $`𝒞`$ une pointe; $`S_{\mathrm{\Sigma }^𝒞}^{}/𝔬_𝒞^\times `$ s’identifie à la complétion de $`M_\mathrm{\Sigma }`$ le long de $`\pi ^1(𝒞)`$. Il suffit donc que le pull-back de $`s`$ à $`S_{\mathrm{\Sigma }^𝒞}^{}/𝔬_𝒞^\times `$ soit nul. C’est-à-dire que $`\mathrm{ev}_{𝒞,\kappa }(s)`$ soit nul.

###### Remarque 7.4

1) L’application $`\mathrm{ev}_𝒞`$, somme des $`\mathrm{ev}_{𝒞,\kappa }`$,

$$G(𝔠,𝔫;R)=\underset{\kappa [J_F]}{}G_\kappa (𝔠,𝔫;R)R[[q^\xi ;\xi X_+\{0\}]]$$

n’est pas injective en général comme le montre l’exemple de $`F=`$, $`R=𝔽_p`$, $`\mathrm{\Gamma }=\mathrm{SL}_2()`$: le noyau de $`\mathrm{ev}_𝒞\mathrm{id}_{𝔽_p}`$

$$\underset{\kappa }{}G_\kappa (𝔠,𝔫;𝔽_p)𝔽_p[[q]]$$

est l’idéal engendré par $`E_{p1}1`$.

2) Pour $`F`$ totalement réel quelconque, le noyau de la flèche $`\mathrm{ev}_𝒞𝔽_p`$ à été calculée par Goren (voir  Chap.5, Corollaire 4.5).

3) En fait, si $`R`$ est une $``$-algèbre sans torsion, $`\mathrm{ev}_𝒞`$ est injective grâce au théorème de Dedekind d’indépendance linéaire des caractères distincts.

### Prolongement de fibrés filtrés et à connexions.

Fixons un éventail admissible principalement polarisé $`(\stackrel{~}{\mathrm{\Sigma }},\stackrel{~}{\varphi })`$ pour $`𝒜`$ au-dessus de l’éventail admissible $`\mathrm{\Sigma }=(\mathrm{\Sigma }^𝒞)`$ fixé pour $`M^1`$; on a ainsi un morphisme de compactifications toroïdales $`\overline{f}:\overline{𝒜}\overline{M^1}`$ prolongeant $`f:𝒜M^1`$.

Dans ce qui suit, on posera pour abréger $`\mathrm{\Omega }_{\overline{𝒜}/\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})=\mathrm{\Omega }_{\overline{𝒜}/\overline{M^1}}^{}(\mathrm{dlog}\mathrm{}_{\overline{𝒜}/\overline{M^1}})`$ et $`\overline{}_{\mathrm{dR}}^1=R^1\overline{f}_{}\mathrm{\Omega }_{\overline{𝒜}/\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})`$. Ce dernier faisceau est localement libre de rang $`2`$ sur $`𝔬𝒪_{\overline{M^1}}`$. En outre, il est muni d’une filtration à deux crans donnée par la suite spectrale de Hodge vers de Rham :

$$0\overline{f}_{}\mathrm{\Omega }_{\overline{𝒜}/\overline{M^1}}(\mathrm{dlog}\mathrm{})\overline{}_{\mathrm{dR}}^1R^1\overline{f}_{}𝒪_{\overline{𝒜}}0$$

Par le théorème 6.4(vi), on a des isomorphismes canoniques de faisceaux

$$\overline{f}_{}\mathrm{\Omega }_{\overline{𝒜}/\overline{M^1}}(\mathrm{dlog}\mathrm{})\underset{¯}{\omega }_{𝔊/\overline{M^1}}\text{ et }R^1\overline{f}_{}𝒪_{\overline{𝒜}}\underset{¯}{\omega }_{𝔊/\overline{M^1}}^{}𝔠𝔡^1.$$

La filtration de $`\overline{}_{\mathrm{dR}}^1`$ se réécrit donc $`\mathrm{Fil}^0\overline{}_{\mathrm{dR}}^1=\overline{}_{\mathrm{dR}}^1`$, $`\mathrm{Fil}^1\overline{}_{\mathrm{dR}}^1=\underset{¯}{\omega }_{𝔊/\overline{M^1}}`$ et $`\mathrm{gr}^0\overline{}_{\mathrm{dR}}^1=\underset{¯}{\omega }_{𝔊/\overline{M^1}}^{}𝔠𝔡^1`$.

Comme dans la partie 4 le fibré $`\overline{}_{\mathrm{dR}}^1`$ descend en un fibré sur $`\overline{M}`$ jouissant aux mêmes propriétés.

On définit un $`𝒟`$-torseur $`\overline{𝔐}_𝒟=\mathrm{Isom}_{𝔬𝒪_{\overline{M}}}^𝒟(𝔬𝒪_{\overline{M}},_{𝔬𝒪_{\overline{M}}}^2\overline{}_{\mathrm{dR}}^1)`$ au-dessus de $`\overline{M}`$, dont les $`S`$-points sont ceux de $`\mathrm{Isom}_{𝔬𝒪_{\overline{M}}}(𝔬𝒪_{\overline{M}},_{𝔬𝒪_{\overline{M}}}^2\overline{}_{\mathrm{dR}}^1)`$ induisant via $`\lambda `$ un élément de $`𝒟(𝒪_S)`$ dans $`(𝔬𝒪_S)^\times `$.

On définit un $``$-torseur $`\overline{𝔐}_{}\stackrel{}{}\overline{M}`$ comme le produit fibré de $`\overline{𝔐}_𝒟`$ et de
$`\mathrm{Isom}_{𝔬𝒪_M}^{\mathrm{fil}}((𝔬𝒪_M)^2,\overline{}_{\mathrm{dR}}^1)`$ au-dessus de $`\mathrm{Isom}_{𝔬𝒪_{\overline{M}}}(𝔬𝒪_{\overline{M}},_{𝔬𝒪_{\overline{M}}}^2\overline{}_{\mathrm{dR}}^1)`$.

Il définit un foncteur $`\overline{}_{^{}}`$ de la catégorie des représentations algébriques du $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-schéma en groupes $`^{}`$ vers celle des fibrés sur $`\overline{M}^{}`$ qui sont des extensions successives de fibrés inversibles. Le foncteur est donné par $`V\overline{𝒱}:=\overline{𝔐}_{^{}}\stackrel{^{}}{\times }V`$.

Si $`V_{\mathrm{st}}=\left(𝔬[\frac{1}{\mathrm{\Delta }}]\right)^2`$ est la représentation standard de $``$, on a $`\overline{𝒱}_{\mathrm{st}}=\overline{}_{\mathrm{dR}}^1`$.

###### Définition 7.5

Pour tout poids algébrique $`\kappa `$ et $`n,m[J_F]`$ comme dans la définition 2.12, on note $`\overline{𝒱}_n`$ et $`\overline{𝒲}_{n,c}`$ les prolongements à $`\overline{M}^{}`$ construits à l’aide de $`\overline{}_{^{}}`$ des fibrés $`𝒱_n`$ et $`𝒲_{n,c}`$ des définitions 4.9 et 4.10.

###### Remarque 7.6

1) Pour toute $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$-représentation algébrique $`V`$ de $`^{}`$, le fibré $`\overline{𝒱}`$ est le prolongement de Mumford de $`𝒱`$, c’est-à-dire que son pull-back à toute carte locale donnée par une immersion torique $`S_𝒞\stackrel{j}{}S_{𝒞,\sigma _\alpha ^𝒞}`$ est engendré par les sections $`S_𝒞`$-invariantes de $`j_{}𝒱`$. En effet, c’est vrai pour $`\overline{}_{\mathrm{dR}}^1`$ par la proposition 6.7 et donc pour tout les fibrés obtenus par pléthysme à partir de $`\overline{}_{\mathrm{dR}}^1`$. Ceci implique par exemple, que pour tout un poids algébrique $`\kappa `$ et $`m,n[J_F]`$, comme dans la définitions 2.12, le foncteur $`\overline{}_{^{}}`$ fournit sur $``$ ( sur $``$ ou sur $`_p`$) le prolongement de Mumford de $`\mathrm{Sym}^n_{\mathrm{dR}}^1(^2_{\mathrm{dR}}^1)^m`$ et de $`\underset{¯}{\omega }^\kappa `$.

2) Rappelons que sur une clôture galoisienne $`F^{\mathrm{gal}}`$ de $`F`$, on a en posant

$$_{dR,\tau ,F^{\mathrm{gal}}}^1=_{\mathrm{dR}}^1_{F,\tau }F^{\mathrm{gal}},\underset{¯}{\omega }^\tau =\underset{¯}{\omega }_{F,\tau }F^{\mathrm{gal}},$$

$$\mathrm{Sym}^n_{dR,F^{\mathrm{gal}}}^1=\underset{\tau }{}\mathrm{Sym}^{n_\tau }_{dR,\tau ,F^{\mathrm{gal}}}^1\text{, et }\underset{¯}{\omega }^\kappa =\underset{\tau }{}\mathrm{Sym}_{F^{\mathrm{gal}}}^{k_\tau }\underset{¯}{\omega }^\tau .$$

3) Soit $`p`$ premier ne divisant pas $`\mathrm{\Delta }`$. Le foncteur $`\overline{}_{}`$ ne donne le prolongement de Mumford des faisceaux $`R^sf_{}\mathrm{\Omega }_{𝒜/M}^{}`$ sur $`\overline{M}_p`$ que lorsque $`s<p`$. En effet, pour tout $`s<p`$, Illusie  a montré que $`R^s\overline{f}\mathrm{\Omega }_{\overline{𝒜}/\overline{M}}^{}(\mathrm{dlog}\mathrm{})`$ est libre sur $`(𝔬𝒪_{\overline{M}})`$. Il en résulte que le foncteur $`\overline{}_{^{}}`$ fournit le prolongement de Mumford de $`M_p`$ à $`\overline{M}_p`$ des faisceaux $`\mathrm{Sym}^n_{\mathrm{dR}}^1(^2_{\mathrm{dR}}^1)^m`$ lorsque $`p1>_\tau (n_\tau +1)`$.

On définit de plus un $`G`$-torseur de Zariski :

$$𝔐_{}=\mathrm{Isom}_{𝔬𝒪_{\overline{M}}}(L_0𝒪_{\overline{M}},\overline{}_{\mathrm{dR}}^1)$$

On définit ainsi un foncteur de la catégorie des représentations algébriques de $`G`$ sur $`𝒪^{}[\frac{1}{\mathrm{\Delta }}]`$ vers celle des fibrés sur $`\overline{M}^{}`$ munis d’une connexion intégrable à singularités logarithmique et dont la réduction modulo $`p`$ est quasi-nilpotente en chaque $`p\mathrm{\Delta }`$ (voir  Sect.5.2). On observera d’ailleurs que l’utilisation du torseur $`𝔐_{}`$ défini ici aurait simplifié substantiellement la présentation de la partie 5.2 citée en rendant la partie 5.2.3 inutile.

###### Définition 7.7

Pour tout poids algébrique $`\kappa `$ et $`n,m[J_F]`$ comme dans la définition 2.12, on note $`\overline{𝒱}_n^{}`$ le prolongement à $`\overline{M}^{}`$ du fibré $`𝒱_n^{}`$ construit dans la définition 4.11.

### Décomposition de Hodge-Tate de $`\mathrm{H}^{}(M\overline{}_p,𝕍)`$.

Dans cette section, nous ne considérons que la filtration de Hodge dite aussi $`F`$-filtration (et son gradué associé). C’est-à-dire que la filtration par le poids dont les gradués sont purs est ici ignorée: les gradués que nous faisons apparaître sont encore munis d’une filtration par le poids.

Sur $``$ :  Nous remercions H. Hida pour avoir attiré notre attention sur le point de vue transcendant suivant. Soit $`V`$ une $``$-représentation de $`G`$, de système local sur $`M^{\mathrm{an}}`$ associé $`𝕍`$. On a $`\mathrm{GL}_2(F)/(F)^\times \mathrm{O}_2(F)=\mathrm{SL}_2(F)/\mathrm{SO}_2(F)`$. Par cette identification on voit que $`\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)z=\overline{z}`$;

Le groupe de Weyl de $`G`$, $`W=\mathrm{O}_2(F)/\mathrm{SO}_2(F)\{\pm 1\}^{J_F}`$ agit donc sur $`(M^{\mathrm{an}},𝕍)`$ : si $`ϵ_J=(1_J,1_{\overline{J}})W`$ et $`z=(z_J,z_{\overline{J}})_F`$, $`ϵ_J(z,v)=((\overline{z}_J,z_{\overline{J}}),v)`$.

Sur $`\mathrm{H}^{}(M^{\mathrm{an}},𝕍_{})=\mathrm{H}^{}(M^{\mathrm{an}},𝕍)`$, on a donc l’action de $`W`$ d’une part et celle de la conjugaison complexe $`c`$ sur les coefficients de l’autre. Soit $`ϵ_\tau =(1_\tau ,1^\tau )W`$. On décompose en espaces propres pour l’action des $`ϵ_\tau c`$:

$$\mathrm{H}^{}(M^{\mathrm{an}},𝕍_{})=\underset{JJ_F}{}\mathrm{H}^{J,\overline{J}}(M^{\mathrm{an}},𝕍_{})$$

où, en notant $`\chi _J`$ la fonction caractéristique d’une partie $`J`$ de $`J_F`$, on a

$$\mathrm{H}^{J,\overline{J}}(M^{\mathrm{an}},𝕍_{})=\{x;(ϵ_\tau c)(x)=(1)^{\chi _{\overline{J}}(\tau )}x\}$$

Cette décomposition est plus fine que la décomposition donnée par la filtration bête: pour tout entier $`a`$ tel que $`0ad`$, on a

$$\mathrm{gr}_{\mathrm{b}\widehat{\mathrm{e}}\mathrm{te}}^a\mathrm{H}^d(M^{\mathrm{an}},𝕍_{})=\underset{JJ_F,\mathrm{card}(J)=a}{}\mathrm{H}^{J,\overline{J}}(M^{\mathrm{an}},𝕍_{})$$

Si $`F=`$ , $`J_{}=\{\mathrm{id}_{}\}`$ et $`V=`$, la décomposition de Hodge de $`\mathrm{H}^1(M^{\mathrm{an}},)`$ en $`\mathrm{H}^{J_{},\mathrm{}}(M^{\mathrm{an}},)=\mathrm{H}^{1,0}\mathrm{H}^0(M^{\mathrm{an}},\mathrm{\Omega }_{M^{\mathrm{an}}}(\mathrm{dlog}\mathrm{}))`$ et $`\mathrm{H}^{\mathrm{},J_{}}(M^{\mathrm{an}},)=\mathrm{H}^{0,1}\mathrm{H}^1(M^{\mathrm{an}},𝒪_M^{\mathrm{an}})`$, où $`M^{\mathrm{an}}`$ désigne la compactification toroïdale, qui coïncide ici avec la compactification de Satake.

On voit à l’isomorphisme d’Eichler-Shimura, on voit que la partie Eisenstein du $`\mathrm{H}^1`$ est concentrée dans le $`\mathrm{H}^{1,0}`$.

Cette décomposition de nature transcendante a un parallèle algébrique semblable au Th.5.5 Chap.VI de . La simplicité de l’écriture ci-dessus vient de ce que le groupe dérivé de $`G()`$ est un produit de copies de $`\mathrm{SL}_2`$.

Sur $`_p`$ :  Soit $`p`$ un nombre premier et $`V_n`$ la $`_p`$-représentation algébrique de $`G`$ définie dans (6). On peut lui associer un faisceau lisse $`𝕍_n`$ sur $`M^1`$ et des fibrés $`\overline{𝒱}_n`$ (resp. $`\overline{𝒱}_n^{}`$) sur $`\overline{M^1}_p`$ qui sont filtrés (resp. à connexion à singularités logarithmiques intégrable et quasi-nilpotente).

La démonstration de la dégénérescence des suites spectrales des Th.5.5 et 6.2 du Chapitre VI de  dont les termes $`\mathrm{E}_1`$ sont donnés en termes du complexe de Bernstein-Gelfand-Gelfand (dualisé et faisceautisé) s’adapte au cas de la variété de Hilbert. Il est important de noter que c’est la démonstration de ce théorème qui requiert l’utilisation des compactifications toroïdales de toutes les puissances de la variété de Kuga-Sato et pas seulement de la puissance première. En effet, par un théorème de Deligne  Sect. 3.2, la suite spectrale de Hodge vers de Rham

$$\mathrm{E}_1^{i,j}=\mathrm{H}^j(\overline{𝒜^s},\mathrm{\Omega }_{\overline{𝒜^s}}^i(\mathrm{dlog}\mathrm{}))\mathrm{H}^{i+j}(\mathrm{\Omega }_{\overline{𝒜^s}}^{}(\mathrm{dlog}\mathrm{}))$$

dégénère en $`\mathrm{E}_1`$. On en déduit comme dans  p.234 la dégénérescence en $`\mathrm{E}_1`$ de la suite spectrale

$$\mathrm{E}_1^{i,j}=\mathrm{H}^{i+j}(\overline{M^1},\mathrm{gr}_F^i(R^sf_s\mathrm{\Omega }_{\overline{𝒜^s}/\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})\mathrm{\Omega }_{\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})))$$

$$\mathrm{H}^{i+j}(R^sf_s\mathrm{\Omega }_{\overline{𝒜^s}/\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})\mathrm{\Omega }_{\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})),$$

où la $`F`$-filtration est obtenue en faisant le produit tensoriel des deux filtrations de Hodge. En prenant $`s=n_0d`$, le fibré $`\overline{𝒱}_n`$ est par pléthysme (voir  Appendice II) un facteur direct de $`(R^1f_{}\mathrm{\Omega }_{\overline{𝒜}/\overline{M^1}}^{}(\mathrm{dlog}\mathrm{}))^s`$ qui, par la formule de Künneth, est lui-même un facteur direct de $`R^sf_s\mathrm{\Omega }_{\overline{𝒜^s}/\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})`$. On en déduit la dégénérescence en $`\mathrm{E}_1`$ de la suite spectrale de Hodge vers de Rham

$$\mathrm{E}_1^{i,j}=\mathrm{H}^{i+j}(\overline{M^1},\mathrm{gr}_F^i(\overline{𝒱}_n\mathrm{\Omega }_{\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})))\mathrm{H}^{i+j}(\overline{M^1},\overline{𝒱}_n\mathrm{\Omega }_{\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})).$$

Par le Théorème de comparaison de Faltings , la $`\mathrm{Gal}(\overline{}_p/_p)`$-représentation $`\mathrm{H}^{}(M^1\overline{}_p,𝕍_n)`$ est de de Rham et pour toute compactification toroïdale $`\overline{f}:\overline{𝒜}\overline{M^1}`$ de $`f:𝒜M^1`$, on a un isomorphisme canonique

$$\mathrm{H}^{}(M^1\overline{}_p,𝕍_n)B_{\mathrm{dR}}\mathrm{H}^{}(\overline{M^1},\overline{𝒱}_n\mathrm{\Omega }_{\overline{M^1}}^{}(\mathrm{dlog}\mathrm{}))B_{\mathrm{dR}}.$$

Les poids de Hodge-Tate de $`\mathrm{H}^{}(M^1\overline{}_p,𝕍_n)`$ sont donc donnés par les sauts de la filtration de Hodge sur $`\mathrm{H}^{}(\overline{M^1},\overline{𝒱}_n\mathrm{\Omega }_{\overline{M^1}}^{}(\mathrm{dlog}\mathrm{}))`$ venant de la suite spectrale ci-dessus. Nous allons calculer ces derniers comme dans  Th.5.5 ou  à l’aide d’un sous-complexe facteur direct de $`\overline{𝒱}_n\mathrm{\Omega }_{\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})`$, appelé le complexe BGG. Avant d’énoncer le théorème nous allons introduire quelques notations.

On identifie l’ensemble des parties de $`J_F`$ avec le groupe de Weyl $`W`$ de $`G`$, en associant à $`JJ_F`$ l’élément $`ϵ_J=(1_J,1_{\overline{J}})W`$. Pour tout $`JJ_F`$ on pose $`p(J)=_{\tau J}(k_0m_\tau 1)\tau +_{\tau J_F\mathrm{\backslash }J}m_\tau \tau `$; de même, pour $`a=_{\tau J_F}a_\tau \tau [J_F]`$, on pose $`|a|=_{\tau J_F}a_\tau `$. Le complexe BGG est défini comme :

$$\overline{𝒦}_n^i=\underset{JJ_F,|J|=i}{}\overline{𝒲}_{ϵ_J(n+t)t,n_0}.$$

Soit $`H=\left(\left(\begin{array}{cc}0& 0\\ 0& 1\end{array}\right)_\tau \right)_{\tau J_F}(𝔤𝔩_2)^{J_F}`$. On a $`(ϵ_J(n+t)t,n_0)(H)=|p(J)|`$ ; en effet le caractère de $`T`$ correspondant à $`(n;n_0)`$ est donné par la formule $`\left(\begin{array}{cc}a& 0\\ 0& d\end{array}\right)a^{(n_0t+n)/2}d^{(n_0tn)/2}`$. Ainsi pour tout $`\tau J_F`$ on a

$$(ϵ_\tau (n_\tau +1)1;n_0)(H)=\{\begin{array}{cc}\frac{n_0n_\tau }{2}=m_\tau \text{, si }ϵ_\tau =1(\tau \overline{J}),\hfill & \\ \frac{n_0+n_\tau +2}{2}=k_0m_\tau 1\text{, si }ϵ_\tau =1(\tau J).\hfill & \end{array}$$

La $`F`$-filtration sur $`\overline{𝒦}_n^{}`$ est donnée par $`\mathrm{Fil}^i\overline{𝒦}_n^{}=_{JJ_F,|p(J)|i}\overline{𝒲}_{ϵ_J(n+t)t,n_0}.`$

###### Théorème 7.8

(i) On a un quasi-isomorphisme de complexes filtrés

$$\overline{𝒦}_n^{}\overline{𝒱}_n\mathrm{\Omega }_{\overline{M^1}}^{}(\mathrm{dlog}\mathrm{}).$$

(ii) La suite spectrale donnée par la $`F`$-filtration

$$\mathrm{E}_1^{i,j}=\underset{JJ_F,|p(J)|=i}{}\mathrm{H}^{i+j|J|}(\overline{M^1},\overline{𝒲}_{ϵ_J(n+t)t,n_0})\mathrm{H}^{i+j}(\overline{M^1},\overline{𝒱}_n\mathrm{\Omega }_{\overline{M^1}}^{}(\mathrm{dlog}\mathrm{}))$$

dégénère en $`\mathrm{E}_1`$.

(iii) Pour tout entier $`j`$, $`0jd`$, les poids de Hodge-Tate de la représentation $`p`$-adique $`\mathrm{H}^j(M^1\overline{}_p,𝕍_n)`$ appartiennent à l’ensemble $`\{|p(J)|,|J|j\}`$.

Ce théorème admet un corollaire, donnant des propriétés $`p`$-adiques des représentations galoisiennes associées aux formes modulaires de Hilbert. Prenons $`G=\mathrm{Res}_{}^F\mathrm{GL}_2`$ de sorte qu’on connaisse l’existence de ces représentations galoisiennes. Soit $`fG_\kappa (𝔠,𝔫)`$ une forme de Hilbert cuspidale pour $`\mathrm{Res}_{}^F\mathrm{GL}_2`$ propre pour tous les opérateurs de Hecke, primitive de poids algébrique $`\kappa `$ (voir 2.12). Soit $`\rho _f`$ la représentation de $`\mathrm{Gal}(\overline{}/F)`$ dans $`\mathrm{GL}_2(\overline{}_p)`$, associée à $`f`$ et à un plongement de $`\overline{}`$ dans $`\overline{}_p`$. Soit $`W_f`$ la $`f`$-partie de $`\mathrm{H}_!^d(M_\overline{},𝕍_n(\overline{}_p))`$. Soit $`\stackrel{~}{F}`$ la clôture galoisienne de $`F`$ dans $`\overline{}`$. Pour tout $`\tau J_F`$ on note $`f_\tau `$ le conjugué interne de $`f`$ par $`\tau `$. D’après un résultat de Brylinski et Labesse  les semi-simplifications des restrictions à $`\mathrm{Gal}(\overline{}/\stackrel{~}{F})`$ des représentations $`W_f`$ et $`\underset{\tau J_F}{}\rho _{f_\tau }`$ sont isomorphes.

En prenant les invariants de la $`F`$-filtration de $`\overline{𝒱}_n\mathrm{\Omega }_{\overline{M^1}}^{}(\mathrm{dlog}\mathrm{})`$ par le groupe de Galois du revêtement étale $`\overline{M^1}\overline{M}`$, on obtient une filtration sur le complexe $`\overline{𝒱}_n\mathrm{\Omega }_{\overline{M}}^{}(\mathrm{dlog}\mathrm{})`$ sur $`\overline{M}`$, appelée encore $`F`$-filtration. De même, on définit le complexe BGG sur $`\overline{M}`$ en prenant les invariants du complexe BGG sur $`\overline{M^1}`$. La suite spectrale associée est donnée par invariants de la suite spectrale du Théorème 7.8 (ii). D’où la première assertion du

###### Corollaire 7.9

(i) La suite spectrale donnée par la $`F`$-filtration

$$\mathrm{E}_1^{i,j}=\underset{JJ_F,|p(J)|=i}{}\mathrm{H}^{i+j|J|}(\overline{M},\overline{𝒲}_{ϵ_J(n+t)t,n_0})\mathrm{H}^{i+j}(\overline{M},\overline{𝒱}_n\mathrm{\Omega }_{\overline{M}}^{}(\mathrm{dlog}\mathrm{}))$$

dégénère en $`\mathrm{E}_1`$.

(ii) Les poids de Hodge-Tate de $`W_f`$ sont les entiers $`|p(J)|`$, $`JJ_F`$, comptés avec multiplicité.

Démonstration : (ii) On a $`\overline{𝒲}_{ϵ_J(n+t)t,n_0}=\underset{¯}{\omega }^{ϵ_J(n+t)+t}\underset{¯}{\mathrm{Det}}^{p(J)}`$.

Il résulte du théorème 7.8 (comme dans  Th.5.5 et  Sect.2.3) que les sauts de la filtration de Hodge figurent parmi les $`|p(J)|`$, $`JJ_F`$. De plus,

$$\mathrm{gr}^{|p(J)|}\mathrm{H}^d(\overline{M},\overline{𝒱}_n\mathrm{\Omega }_{\overline{M}}^{}(\mathrm{dlog}\mathrm{}))=\mathrm{H}^{d|J|}(\overline{M},\underset{¯}{\omega }^{ϵ_J(n+t)+t}\underset{¯}{\mathrm{Det}}^{p(J)}).$$

D’après  Cor.2.7 la suite spectrale est Hecke équivariante. Il suffit donc de voir que pour tout $`JJ_F`$, le $`\overline{}_p`$-espace vectoriel

$$\left(\mathrm{H}^{d|J|}(\overline{M},\underset{¯}{\omega }^{ϵ_J(n+t)+t}\underset{¯}{\mathrm{Det}}^{p(J)})\overline{}_p\right)[f]$$

est de dimension $`1`$.

Grâce à l’existence d’une structure $`\overline{}`$-rationnelle du complexe BGG sous-jacent aux complexes BGG sur $`\overline{}_p`$ et sur $`\overline{}`$, en prenant un plongement de $`_p`$ dans $``$, on a un isomorphisme Hecke-équivariant

$$\mathrm{H}^{d|J|}(\overline{M},\underset{¯}{\omega }^{ϵ_J(n+t)+t}\underset{¯}{\mathrm{Det}}^{p(J)})__p=\mathrm{H}^{J,\overline{J}}(M^{\mathrm{an}},𝕍_{n,}).$$

Or, par l’isomorphisme d’Eichler-Shimura-Harder la $`f`$-partie $`\mathrm{H}^{J,\overline{J}}(M^{\mathrm{an}},𝕍_{n,})[f]`$ est de dimension $`1`$ sur $``$, pour tout $`JJ_F`$ (voir ). $`\mathrm{}`$

###### Remarque 7.10

1) Le motif $`W_f`$ est pur de poids $`(k_01)d`$. L’ensemble de ses poids de Hodge-Tate est stable par la symétrie $`h(k_01)dh`$, correspondant au passage au complémentaire $`|p(J)||p(\overline{J})|`$. Cette symétrie est induite par la dualité de Poincaré $`W_f\times W_f((k_01)d)`$.

2) Si $`F`$ est un corps quadratique et $`f`$ une forme de Hilbert cuspidale propre de poids $`\kappa `$ sur $`F`$. En notant $`\tau `$ le plongement non-trivial de $`F`$, on voit que les sauts de la filtration de Hodge de $`W_f`$ sont $`m_\tau ,k_0m_\tau 1,k_0+m_\tau 1,2k_0m_\tau 2`$.

Sur $`_p`$ : On a également une version cristalline. Soit $`p`$ un nombre premier ne divisant pas $`\mathrm{\Delta }`$ et soit $`V`$ un $`_p`$-module libre de type fini muni d’une action algébrique de $`G`$ de plus haut poids $`n[J_F]`$. On suppose que $`p1>_\tau (n_\tau +1)`$. Comme dans le paragraphe précédent, on peut associer à $`V`$

1) un faisceau lisse $`𝕍`$ sur $`M^1_p`$, et

2) un fibré $`\overline{𝒱}`$ sur $`\overline{M^1}_p`$, filtré et à connexion logarithmique intégrable quasi-nilpotente.

Étant donnée des compactifications toroïdales $`\overline{f}:\overline{𝒜}\overline{M^1}`$, on a un un théorème de comparaison de Faltings  reliant $`\mathrm{H}^{}(M^1\overline{}_p,𝕍)`$ et $`\mathrm{H}_{\mathrm{log}\mathrm{cris}}^{}(\overline{M^1},\overline{𝒱})`$.

Prenons pour $`V`$ la représentation géométriquement irréductible de plus haut poids $`n0`$. Un analogue sur $`𝔽_p`$ de la suite spectrale du théorème 7.8 donne le théorème (voir  et  Sect.5)

###### Théorème 7.11

Supposons que $`p`$ ne divise pas $`\mathrm{\Delta }`$ et que $`p1>_\tau (n_\tau +1)`$. Alors pour tout $`j`$ compris entre $`0`$ et $`d`$, les poids de Hodge-Tate du module cristallin $`\mathrm{H}^j(M\overline{}_p,𝕍_n)`$ sont les $`|p(J)|`$, où $`J`$ parcourt l’ensemble des parties de $`J_F`$ telles que $`|J|j`$.

## 8 Autres formes de Hilbert arithmétiques

Dans toute cette partie on suppose que $`D=𝔾_\mathrm{m}`$, c’est-à-dire $`G=G^{}`$, de sorte que tous les sous-groupes de congruence considérés sont contenus dans $`\mathrm{SL}_2(F)`$, et en particulier $`\mathrm{\Gamma }=\mathrm{\Gamma }^1`$, $`M^{\mathrm{an}}=M^{1,\mathrm{an}}`$ et $`M=M^1`$.

### Formes de Hilbert-Jacobi.

Le but de ce paragraphe est de poser les définitions et les propriétés de base des formes modulaires de Hilbert-Jacobi arithmétiques. Le cas des formes de Siegel-Jacobi a déjà été traité par J. Kramer . Nous donnons d’abord la définition des formes modulaires de Hilbert-Jacobi sur $``$, inspirée de .

Dans le paragraphe sur la VAHB analytique universelle nous avons déjà considéré le groupe produit semi-direct $`\mathrm{\Gamma }^J=(𝔬𝔠^{})\mathrm{\Gamma }`$ (pour $`\gamma (m,n)=(m,n)\gamma ^1`$). Ce groupe agit à gauche sur $`_F\times (F)`$ par :

$$\{\begin{array}{cc}\gamma (z,v)=(\gamma (z),j(\gamma ,z)^1v)\hfill & \\ (m,n)(z,v)=(z,v+mz+n1)\hfill & \end{array}.$$

Soient $`\kappa [J_F]=X(T)`$ et $`\mu 𝔠=X(𝔾_\mathrm{m}𝔠^{})`$ et soit $`e^\mu =\mu q:F^\times `$ la composée de l’application $`q:F𝔾_\mathrm{m}𝔠^{}`$, définie dans (2), et du caractère $`\mu `$. Pour chaque élément $`\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\mathrm{\Gamma }`$ et $`(m,n)𝔬𝔠^{}`$ on définit une transformation linéaire de l’espace des fonctions holomorphes

$$f:_F\times (F)\text{ , }(z,v)f(z,v),$$

en posant :

$$\{\begin{array}{cc}(f|_{\kappa ,\mu }\gamma )(z,v)=j(\gamma ,z)^\kappa e^\mu (\frac{cv^2}{j(\gamma ,z)})f(\gamma (z,v))\hfill & \\ (f|_{\kappa ,\mu }(m,n))(z,v)=e^\mu (m^2z+2mv)f((m,n)(z,v))\hfill & \end{array}$$
(9)
Les relations suivantes :

(i) $`(f|\gamma )|\gamma ^{}=f|(\gamma \gamma ^{})`$, pour tout $`\gamma ,\gamma ^{}\mathrm{\Gamma }`$,

(ii) $`(f|(m,n))|(m^{},n^{})=f|(m+m^{},n+n^{})`$, pour tout $`m,m^{}𝔬`$ et $`n,n^{}𝔠^{}`$,

(iii) $`(f|(m,n))|\gamma =(f|\gamma )|((m,n)\gamma )`$, pour tout $`\gamma \mathrm{\Gamma }`$, $`m𝔬`$ et $`n𝔠^{}`$,

sont faciles à démontrer (le calcul révèle que (ii) et (iii) sont équivalentes respectivement à $`e^\mu (2mn)=1`$ et $`e^\mu (cdn^2+abm^2+2bcmn)=1`$).

Une façon équivalente de formuler (i), (ii) et (iii) à la fois, est de dire que $`(\text{9})`$ définit une action du groupe produit semi-direct $`\mathrm{\Gamma }^J`$ sur les fonctions holomorphes sur $`_F\times (F)`$.

###### Définition 8.1

Une forme modulaire de Hilbert-Jacobi de poids $`\kappa [J_F]`$, indice $`\mu 𝔠`$ et niveau $`\mathrm{\Gamma }`$ est une fonction holomorphe $`f:_F\times (F)`$ vérifiant:

(i) $`f|_{\kappa ,\mu }\gamma =f`$, pour tout $`\gamma \mathrm{\Gamma }`$,

(ii) $`f|_{\kappa ,\mu }(m,n)=f`$, pour tout $`(m,n)𝔬𝔠^{}`$;

(iii) $`f`$ est “holomorphe à l’infini” : pour chaque pointe $`𝒞=\gamma \mathrm{}^1(F)`$, avec $`\gamma G_{}`$, la fonction $`f_𝒞:=f|_{\kappa ,\mu }\gamma `$ admet un développement en série de Fourier

$$f_𝒞(z,v)=\underset{\xi X,\alpha 𝔞}{}a_{\xi ,\alpha }e^{2i\pi \mathrm{Tr}_{F/}(\xi z+\alpha v)},$$

similaire à celui du (3). La condition d’holomorphie en la pointe $`𝒞`$ se lit alors :

$$a_{\xi ,\alpha }04\xi \mu \alpha ^2(X𝔠)_+\{0\}.$$
(10)
Principe du $`q`$-développement :  Si pour tout $`\xi X`$, $`\alpha 𝔞`$ on a $`a_{\xi ,\alpha }=0`$, alors $`f=0`$.

Pour tout $`u𝔬_𝒞^\times `$, il existe $`\xi _u^{}(𝔞𝔟)^{}`$, défini à $`X^{}`$ près, tel que $`\left(\begin{array}{cc}u& \xi _u^{}\\ 0& u^1\end{array}\right)\gamma ^1\mathrm{\Gamma }\gamma B_{}`$. L’invariance de $`f_𝒞`$ par le groupe $`\gamma ^1\mathrm{\Gamma }\gamma B_{}`$ nous donne pour tout $`\xi X`$ la relation :

$$a_{u^2\xi ,u\alpha }=u^\kappa e^{2i\pi \mathrm{Tr}_{F/}(u\xi \xi _u^{})}a_{\xi ,\alpha }.$$
(11)
En utilisant le diagramme commutatif suivant :

on obtient pour tout $`\beta 𝔟`$ la relation :

$$a_{\mu \beta ^2+\alpha \beta +\xi ,\alpha +2\mu \beta }=a_{\xi ,\alpha }.$$
(12)
Principe de Koecher :  Si $`F`$, alors la condition (10) est toujours satisfaite. Si $`\kappa `$ n’est pas parallèle, alors $`a_{0,0}=0`$ (pas de séries d’Eisenstein parmi les formes de Hilbert-Jacobi). Enfin, il n’existe de formes de Hilbert-Jacobi non-nulles que si $`\mu 𝔠_+`$.

On montre d’abord, par l’absurde, que si $`a_{\xi ,\alpha }`$ est non nul, alors $`\xi X_+`$. Soient $`\alpha 𝔞`$, $`\xi X`$ et $`\xi ^{}X_+^{}`$ tels que $`a_{\xi ,\alpha }0`$ et $`\xi ,\xi ^{}<0`$. D’après (11), pour tout $`u\gamma ^1\mathrm{\Gamma }\gamma T_{}`$, on a $`a_{u^2\xi ,u\alpha }=u^\kappa a_{\xi ,\alpha }0`$. En particulier, $`a_{0,0}=u^\kappa a_{0,0}`$, d’où la deuxième propriété. Comme $`f`$ est holomorphe au point $`(\underset{¯}{i}\xi ^{},0)`$, la série $`_{u\gamma ^1\mathrm{\Gamma }\gamma T_{}}u^\kappa e^{2i\pi u^2\xi ,\xi ^{}}`$ converge absolument, ce qui est impossible, par le théorème des unités de Dirichlet.

La relation (12), nous dit alors que pour tout $`\beta 𝔟`$, on a $`\mu \beta ^2+\alpha \beta +\xi X_+`$. On en déduit que $`\mu 𝔠_+`$ et $`4\xi \mu \alpha ^2(X𝔠)_+\{0\}`$. $`\mathrm{}`$

Tout comme les formes modulaires de Hilbert, les formes modulaires de Hilbert-Jacobi admettent elles aussi une définition purement géométrique.

Tout élément $`\mu 𝔠`$ donne un morphisme $`(\mathrm{id},\lambda (\mathrm{id}\mu )):𝒜𝒜\times 𝒜^t`$, d’où un faisceau inversible ample sur $`A`$, $`_\mu =(\mathrm{id},\lambda (\mathrm{id}\mu ))^{}𝒫_𝒜`$, où $`𝒫_𝒜`$ désigne le faisceau de Poincaré sur $`𝒜\times 𝒜^t`$.

###### Définition 8.2

Soit $`R`$ une $`[\frac{1}{\mathrm{\Delta }}]`$-algèbre contenant les valeurs de $`\kappa `$. Une forme modulaire de Hilbert-Jacobi de poids $`\kappa [J_F]`$, indice $`\mu 𝔠`$, niveau $`\mathrm{\Gamma }`$ et à coefficients dans $`R`$, est une section globale de $`f^{}\underset{¯}{\omega }^\kappa _\mu `$ sur $`𝒜\times _{\mathrm{Spec}([\frac{1}{\mathrm{\Delta }}])}\mathrm{Spec}(R)`$. On note $`J_{\kappa ,\mu }(R)=J_{\kappa ,\mu }(𝔠,𝔫;R):=\mathrm{H}^0(𝒜\times _{\mathrm{Spec}([\frac{1}{\mathrm{\Delta }}])}\mathrm{Spec}(R),f^{}\underset{¯}{\omega }^\kappa _\mu )`$ l’espace de ces formes modulaire de Hilbert-Jacobi.

Soit une $`(R,𝔫)`$-pointe $`𝒞`$ et soit $`R`$ une $`[\frac{1}{\mathrm{\Delta }},\zeta _𝒞]`$-algèbre. En évaluant une forme de Hilbert-Jacobi $`fJ_{\kappa ,\mu }(R)`$ sur les objets de Tate associés à une pointe $`𝒞`$, on obtient comme dans  le $`q`$-développement de $`f`$ en $`𝒞`$

$$f_𝒞=\underset{\xi X,\alpha 𝔞}{}a_{\xi ,\alpha }q^\xi 𝔛^\alpha .$$

En transposant la méthode de  au cas de Hilbert on obtient alors les relations (11) et (12) qui impliquent, comme plus haut le principe de Koecher (10), lorsque $`F`$.

Principe du $`q`$-développement :  Soient $`M_1M_2`$ sont des groupes abéliens et $`fJ_{\kappa ,\mu }(M_2)`$. Si le $`q`$-développement de $`f`$ en une $`(R,𝔫)`$-pointe $`𝒞`$ est à coefficients dans $`M_1`$, alors $`fJ_{\kappa ,\mu }(M_1)`$.

Étant donné une compactification $`\overline{𝒜}=𝒜_{\stackrel{~}{\mathrm{\Sigma }},\phi }`$ de la variété de Hilbert-Blumenthal universelle $`𝒜`$, comme dans la partie 6, on définit l’espace des formes modulaire de Hilbert-Jacobi relatives à cette compactification :

$$J_{\kappa ,\mu }(R;\stackrel{~}{\mathrm{\Sigma }},\phi ):=\mathrm{H}^0(\overline{𝒜}\times _{\mathrm{Spec}([\frac{1}{\mathrm{\Delta }}])}\mathrm{Spec}(R),f^{}\underset{¯}{\omega }^\kappa _\mu ).$$

À noter que le prolongement à $`\overline{𝒜}`$ du faisceau inversible ample $`_\mu `$ dépend de la polarisation $`\phi `$.

Contrairement au cas des formes modulaires de Hilbert, pour les formes de Hilbert-Jacobi on a juste une inclusion

$$J_{\kappa ,\mu }(R;\stackrel{~}{\mathrm{\Sigma }},\phi )J_{\kappa ,\mu }(R)$$

Dans  Kramer démontre que cette inclusion est stricte pour les formes de Siegel-Jacobi. Il serait intéressant d’étudier cette question dans le cas de formes de Hilbert-Jacobi.

Comme dans la partie précédente, on peut alors associer à toute $`(R,𝔫)`$-pointe $`𝒞`$ et tout $`fJ_{\kappa ,\mu }(R;\stackrel{~}{\mathrm{\Sigma }},\phi )`$ son $`q`$-développement en $`𝒞`$

$$f_𝒞=\underset{(\xi ,\alpha )\phi }{\underset{\xi X,\alpha 𝔞}{}}a_{\xi ,\alpha }q^\xi 𝔛^\alpha .$$

Notons que

$$(\xi ,\alpha )\phi qX_+^{},l𝔞^{}\underset{\beta 𝔟}{\mathrm{max}}\mathrm{Tr}_{F/}(\mu q\beta ^22\mu l\beta +\xi q+\alpha l)0,$$

alors que

$$4\xi \mu \alpha ^20qX_+^{},l𝔞^{}\underset{\beta 𝔟_{}}{\mathrm{max}}\mathrm{Tr}_{F/}(\mu q\beta ^22\mu l\beta +\xi q+\alpha l)0.$$

L’anneau où vit le $`q`$-développement d’une forme de $`J_{\kappa ,\mu }(R;\stackrel{~}{\mathrm{\Sigma }},\phi )`$ est donc en général strictement inclus dans celui où vit le $`q`$-développement d’une forme de $`J_{\kappa ,\mu }(R)`$. Il serait intéressant de savoir s’il existe des éventails $`\stackrel{~}{\mathrm{\Sigma }}`$, munis d’une fonction de polarisation $`\phi `$ pour lesquelles on a une égalité.

### Séries thêta et formes de Hilbert de poids demi-entier.

Références:,,

Dans cette section, on suppose que $`𝔠=𝔠_0^2`$ est un carré et est premier à $`2`$.

Sur $``$: On déduit facilement de  (Prop.1.1 et 1.2, en fait plutôt Prop.3.2 et Lemme 3.5) qu’il existe un facteur d’automorphie de poids $`t/2`$ pour $`\mathrm{\Gamma }_0(𝔠,4)`$, c’est-à-dire une fonction $`h:\mathrm{\Gamma }_0^1(𝔠,4)\times _F^\times `$ holomorphe en la seconde variable telle que

$$h(\gamma _1\gamma _2,z)=h(\gamma _1,\gamma _2(z))h(\gamma _2,z)$$

et pour tout $`\gamma \mathrm{\Gamma }_0^1(𝔠,4)`$, en notant $`t=_{\tau J_F}\tau `$,

$$()h(\gamma ,z)^2=\chi (\gamma )j(\gamma ,z)^t$$

$`\chi `$ est un caractère quadratique de $`\mathrm{\Gamma }_0(4)`$ qui ne dépend que de l’image dans $`(𝔬/4𝔬)^\times `$ de $`d_\gamma `$.

Soit $`\mathrm{\Gamma }_0^1(𝔠,4)_+=\mathrm{Ker}(\chi )`$. C’est un sous-groupe de congruences d’indice $`2`$ de $`\mathrm{\Gamma }_0^1(𝔠,4)`$. Par exemple, si $`F=`$, on a $`\mathrm{\Gamma }_0(4)_+=\mathrm{\Gamma }_1(4)`$.

Soit $`𝔫`$ un idéal entier de $`𝔬`$ tel que $`\mathrm{\Gamma }`$ soit sans torsion;

Hypothèse: on suppose dans toute cette partie ainsi que dans celle concernant les formes de Hilbert $`p`$-adiques de poids demi-entier que $`4`$ divise $`𝔫`$ dans $`𝔬`$.

On a alors

$$\mathrm{\Gamma }=\mathrm{\Gamma }_1^1(𝔠,𝔫)\mathrm{\Gamma }_0^1(𝔠,4)_+.$$

Par la formule $`()`$ ci-dessus, on a donc pour tout $`\gamma \mathrm{\Gamma }`$, $`h(\gamma ,z)^2=j(\gamma ,z)^t`$.

Pour tout poids demi-entier $`\kappa =\frac{t}{2}+\lambda `$, $`\lambda [J_F]`$, on pose pour tout $`\gamma \mathrm{\Gamma }`$, $`j_\kappa (\gamma ,z)=h(\gamma ,z)j(\gamma ,z)^\lambda `$.

On note $`G_\kappa (\mathrm{\Gamma })`$ l’espace des fonctions $`f`$ holomorphes sur $`_F`$ satisfaisant $`f(\gamma (z))=j_\kappa (\gamma ,z)f(z)`$ pour tout $`\gamma \mathrm{\Gamma }`$.

On définit un fibré inversible $`\underset{¯}{\omega }^\kappa `$ holomorphe sur $`M^{\mathrm{an}}`$, correspondant au facteur d’automorphie $`j_\kappa (\gamma ,z)`$; c’est le quotient de $`_F`$ par $`\mathrm{\Gamma }`$ agissant par $`\gamma (z,u)=(\gamma (z),j_\kappa (\gamma ,z)u)`$.

On a un isomorphisme canonique $`G_\kappa (\mathrm{\Gamma })\mathrm{H}^0(M^{\mathrm{an}},\underset{¯}{\omega }^\kappa )`$.

Pour $`z`$, soit $`e(z)=\mathrm{exp}(2i\pi z)`$ et $`𝐞:(F)^\times ,z=(z_\tau )_\tau e(_\tau z_\tau )`$.

Soit $`𝔫=4𝔫_0`$. Pour chaque fonction $`\eta :𝔠_0`$, constante modulo $`𝔫_0𝔠_0`$, on définit une série thêta par

$$\theta (z,\eta )=\underset{\alpha 𝔠_0}{}\eta (\alpha )𝐞(\alpha ^2z)$$

C’est la valeur en $`v=0`$ (Thetanullwert) de la fonction thêta de $`(z,v)_F\times (F\times )`$ et $`\eta 𝒮(F_f)`$ définie comme suit : on fixe un élément $`c_0`$ de $`𝔠_0`$ premier à $`2`$ et qui engendre $`𝔠_0/𝔫𝔠_0`$ et on pose

$$\theta (z,v;\eta )=\underset{\alpha 𝔠_0}{}\eta (\alpha )𝐞\left(\alpha ^2z+c_0\alpha v\right)$$

###### Lemme 8.3

On a $`\theta (z,\eta )G_{t/2}(\mathrm{\Gamma })`$. Les fonctions $`\theta (z,\eta )`$ pour $`\eta `$ parcourant l’ensemble des fonctions sur $`𝔠_0/𝔫_0𝔠_0`$, définissent des sections globales de $`\underset{¯}{\omega }^{t/2}`$ sur $`M^{\mathrm{an}}`$.

Démonstration :  La modularité se déduit de  Prop.1.2, ou de  (4.3). Le point de la vérification est que, au sens de la Prop.2.4 de , on a $`{}_{}{}^{g}\eta =\eta `$ pour tout $`g`$ dans (le relèvement de) l’adhérence de $`\mathrm{\Gamma }`$ dans $`G_f`$. Il suffit pour cela de voir que pour tout $`x𝔠_0\widehat{𝔬}`$, la fonction caractéristique $`\eta _x`$ de $`x+𝔫𝔠_0\widehat{𝔬}`$ satisfait $`{}_{}{}^{g}\eta _{x}^{}=\eta _x`$. On se ramène à $`g`$ triangulaire supérieure ou bien triangulaire inférieure, mais dans ce cas on exige que le coefficient $`c`$ engendre l’idéal $`𝔠_0^2𝔡𝔫`$. On conclut alors à l’aide des formules (3.2) et (3.3) de  et de la formule (i) de Prop.2.3 de .

Sur $`[\frac{1}{2\mathrm{\Delta }}]`$ :  On va examiner la question de l’algébrisation et du prolongement des fibrés inversibles $`\underset{¯}{\omega }^\kappa `$ ($`\kappa `$ demi-entier) à une compactification toroïdale $`\overline{M}`$. Pour cela on va rappeler des résultats classiques dans le cas du groupe symplectique mais qui mériteraient peut-être d’être détaillés davantage dans le cas des variétés de Hilbert.

Soit $`N=N_1(𝔠,𝔫)`$ l’espace de modules des $`(A,)`$$`A`$ est une VAHB $`𝔠`$-polarisée avec structure de niveau $`\mathrm{\Gamma }`$ et où $``$ est un fibré inversible ample symétrique, trivialisé le long de la section nulle, définissant la polarisation sur $`A`$. Cet espace existe et est un schéma lisse sur $`[\frac{1}{2\mathrm{\Delta }}]`$ par  IV.7. Soit $`f:𝒜M`$ la variété abélienne universelle sur $`M`$; $`N`$ est un $`𝒜[2]`$-torseur sur $`M`$; il n’est pas connexe; on peut montrer que son groupe des composantes connexes est naturellement isomorphe à $`𝔡^1/2𝔡^1`$. Soit $`f_N:𝒜_NN`$ le pull-back de $`f`$ à $`N`$. Par définition, $`𝒜_N`$ est muni d’un fibré inversible symétrique relativement ample universel $``$.

Donnons une description transcendante de $`N`$ (inspirée de  V.3, p.161):

$$N^{\mathrm{an}}\mathrm{\Gamma }\mathrm{\backslash }\left(_F\times \frac{1}{2}(𝔬𝔠^{})/(𝔬𝔠^{})\right)$$

pour l’action $`\gamma (z,x)=(\gamma (z),x\gamma ^1+(\frac{1}{2}cd,\frac{1}{2}ab))`$, pour $`\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)`$.

La construction de cet isomorphisme est un exercice utilisant les Thetanullwerte $`\theta (z,z+c_0x,\eta _0)`$, $`x\frac{1}{2}(𝔬𝔠^{})/(𝔬𝔠^{})`$ et où $`c_0𝔠_0`$; voir p.160-161 de .

Le sous-groupe d’Igusa de $`\mathrm{\Gamma }_1^1(𝔠,𝔫_0)`$ donné par les conditions $`ab`$ et $`cd`$ pairs est le stabilisateur de $`x=(0,0)`$ dans $`\mathrm{\Gamma }`$; ceci fournit par conjugaison par la matrice $`\left(\begin{array}{cc}2& 0\\ 0& 1\end{array}\right)`$ une section $`j^{\mathrm{an}}`$ de $`M^{\mathrm{an}}`$ dans $`N^{\mathrm{an}}`$. La description algébrique de l’image de $`M`$ est le lieu où le fibré $``$ est engendré par ses sections paires. C’est une composante connexe de $`N`$.

###### Remarque 8.4

Si $`F=`$, seule une des quatre série thêta est paire et seul le point $`(\frac{1}{2}`$, $`\frac{1}{2})`$, parmi les quatre points de $`2`$-torsion, est préservé par le sous-groupe d’Igusa.

Soit $`j:MN`$ la section algébrique (sur $`[\frac{1}{2\mathrm{\Delta }}]`$) ainsi définie. Le fibré inversible $``$ vu comme $`N`$-schéma n’est pas un schéma en groupes, mais il est muni d’une section nulle $`0_{}`$ (composée des sections nulles de $`A`$ et $`AN`$); soit $`_0=0_{}^{}T_{/𝒜}`$ le fibré tangent relatif de $`\times _NM`$ sur $`M`$. On note pour abréger $`𝒱=0_{}^{}T_{/M}=j^{}0_{}^{}T_{/N}`$ le fibré tangent de $`\times _NM`$ sur $`M`$. Ce fibré, muni de la filtration $`\{0\}_0𝒱`$, définit un torseur sous le parabolique stabilisateur de $`_0`$ dont le quotient de Levi est $`𝒯_1\times 𝔾_\mathrm{m}`$.

Pour toute $`[\frac{1}{2\mathrm{\Delta }}]`$-algèbre $`R`$ et tout caractère $`\xi `$ du quotient de Levi $`\xi :𝒯_1\times 𝔾_\mathrm{m}R^\times `$, on définit un fibré inversible algébrique $`𝒱_\xi =𝒱\stackrel{\xi }{\times }𝔾_a`$ sur $`M_R`$ par contraction par $`\xi `$; c’est-à-dire par quotient par la relation d’équivalence $`(v\theta ,\alpha )(v,\xi (\theta )\alpha )`$ pour $`\theta 𝒯_1\times 𝔾_\mathrm{m}`$, $`v𝒱`$ et $`\alpha 𝔾_a`$.

###### Lemme 8.5

Pour tout poids demi-entier $`\kappa =t/2+\lambda `$, soit $`\xi _\kappa :𝒯_1\times 𝔾_\mathrm{m}^\times `$ donné par $`(x,y)\lambda ^1(x)y`$. On a un isomorphisme canonique

$$\underset{¯}{\omega }^\kappa 𝒱_{\xi _\kappa }$$

de fibrés inversibles analytiques sur $`M^{\mathrm{an}}`$.

Démonstration :  On a la description transcendante suivante de la variété analytique $``$ sur $`M^{\mathrm{an}}`$:

$$^{\mathrm{an}}\mathrm{\Gamma }\mathrm{\backslash }\left(_F\times (F)\times \right)/(𝔬𝔠^{}),$$

pour l’action $`\gamma (z,v,u)=(\gamma (z),j(\gamma ,z)^1v,h(\gamma ,z)𝐞(\frac{c}{(cz+d)}v^2)u)`$

et $`(z,v,u)(m,n)=(z,v+mz+n,𝐞(\frac{1}{2}m^2v)u)`$.

Pour voir que la formule donnant l’action de $`\mathrm{\Gamma }`$ est correcte, il suffit de donner le cocycle $`\mathrm{\Gamma }\times _F(F)^\times \times ^\times `$ qui définit le fibré $`0_{}^{}T_{/M}^{\mathrm{an}}`$.

1) Sa $`(F)^\times `$-partie est imposée: c’est $`j(\gamma ,z)^1`$;

2) pour la $`^\times `$-partie, il suffit de noter que les fonctions $`v\theta (z,v;\eta )`$ sont des sections globales sur $`(F)=\mathrm{Lie}(𝒜_z)`$ de $`_z`$ par la théorie analytique des diviseurs thêta (on laisse en exercice la démonstration détaillée de ce fait, disons seulement que l’on vérifie que les invariants de Weil $`(H,\psi ,0,L)`$  VI.3 de $`\theta (z,v,\eta )`$ correspondent à ceux du diviseur symétrique ample $`\mathrm{\Theta }_z`$ défini par $`_z`$). Le facteur d’automorphie cherché est alors donné par les relations $`\theta (\gamma (z,v);\eta )=h(\gamma ,z)𝐞(\frac{c}{(cz+d)}v^2)\theta (z,v;\eta )`$ pour $`\gamma \mathrm{\Gamma }`$ (voir Prop.1.1 de ).

On en déduit aisément que $`𝒱_{\xi _\kappa }`$ est défini par le même facteur d’automorphie que $`\underset{¯}{\omega }^\kappa `$; d’où le résultat. L’argument des séries thêta montre aussi que la formule pour l’action de $`𝔬𝔠^{}`$ est également correcte.

###### Corollaire 8.6

Pour tout poids demi-entier $`\kappa =t/2+\lambda `$, le fibré inversible complexe $`\underset{¯}{\omega }^\kappa `$ sur $`M^{\mathrm{an}}`$ est l’analytifié du fibré inversible algébrique $`𝒱_{\xi _\kappa }`$, défini sur $`M`$ au-dessus de $`[\frac{1}{2\mathrm{\Delta }}]`$. On notera encore $`\underset{¯}{\omega }^\kappa `$ ce fibré algébrique.

On construit, comme dans  IV.7, pour tout éventail admissible $`\mathrm{\Sigma }`$ une compactification toroïdale lisse $`\overline{\pi }:\overline{N}\overline{M}`$ compatible à $`NM`$. Rappelons que le schéma semi-abélien $`𝔊`$ sur $`\overline{M}`$ a une action de $`𝔬`$ et est lui-aussi muni d’une $`𝔠`$-polarisation $`\lambda :𝔠_𝔬𝔊𝔊^t`$ prolongeant celle de $`𝒜`$. Par définition de $`\overline{N}`$, le pull-back $`𝔊_N`$ de $`𝔊`$ est muni d’un fibré inversible symétrique relativement ample $`\overline{}`$ prolongeant $``$. Soit $`0_\overline{}`$ la section nulle de $`\overline{}`$ sur $`\overline{N}`$. On définit le prolongement de $`\underset{¯}{\omega }^\kappa `$ à $`\overline{M}`$ sur $`[\frac{1}{2\mathrm{\Delta }}]`$ comme $`\overline{𝒱}_{\xi _\kappa }`$$`\overline{𝒱}=\overline{j}^{}0_\overline{}^{}T_{\overline{}/\overline{N}}`$.

Pour toute $`[\frac{1}{2\mathrm{\Delta }}]`$-algèbre $`R`$ contenant les valeurs de $`\kappa `$, on peut ainsi définir le $`R`$-module des formes arithmétiques de poids demi-entier $`\kappa `$ par

$$GD_\kappa (\mathrm{\Gamma };R)=\mathrm{H}^0(M\times \mathrm{Spec}(R),\underset{¯}{\omega }^\kappa )$$

et le principe de Koecher en poids demi-entier s’énonce:

$$GD_\kappa (\mathrm{\Gamma };R)=\mathrm{H}^0(\overline{M}\times \mathrm{Spec}(R),\underset{¯}{\omega }^\kappa )$$

Sa démonstration est analogue au cas entier.

On peut même définir le module des formes de tout poids demi-entier. Notons que $`\underset{¯}{\omega }=f_{}\mathrm{\Omega }_{𝒜/M}^1=0^{}\mathrm{\Omega }_{𝒜/M}^1`$ par propreté de $`𝒜`$ sur $`M`$ mais que $`0_{}^{}\mathrm{\Omega }_{/M}^1f_,\mathrm{\Omega }_{/M}^1`$.

Considérons le $`𝒯_1`$-torseur $`𝔐=\mathrm{Isom}_{𝒪𝒪_M}(𝒪𝒪_M,\underset{¯}{\omega })`$; formons un $`𝔾_\mathrm{m}`$-torseur sur $`𝔐`$ donné par

$$𝔐^+=\mathrm{Isom}_𝔐(𝒪_𝔐,0_{}^{}\mathrm{\Omega }_{/𝔐}^1/0^{}\mathrm{\Omega }_{𝒜/𝔐}^1))$$

ou encore $`𝔐^+=\mathrm{Isom}_M(𝒪_M,𝒱^{}/\underset{¯}{\omega })`$.

C’est un $`𝒯_1\times 𝔾_\mathrm{m}`$-torseur de Zariski sur $`M`$.

En tant que $`M`$-schéma, il classifie les systèmes $`(A,\lambda ,\iota ,\alpha ,,\omega ,s)_S`$ sur un $`[\frac{1}{2\mathrm{\Delta }}]`$-schéma $`S`$, où $`\omega `$ est une $`𝒪𝒪_S`$-base de $`0^{}\mathrm{\Omega }_{A/S}`$, et $`s`$ une $`𝒪_S`$-base de $`0^{}\mathrm{\Omega }_{/A}`$.

On définit le module des formes modulaires de poids demi-entiers comme

$$GD(\mathrm{\Gamma },R)=\mathrm{H}^0(𝔐^+\times \mathrm{Spec}(R),𝒪_{𝔐^+})$$

C’est un module gradué sur l’algèbre $`[J_F]`$-graduée

$$G(𝔠,𝔫,R)=\mathrm{H}^0(𝔐,𝒪_𝔐)$$

L’action $`(f,g)fg`$ est induite par le pull-back à $`𝔐^+`$ de $`f\mathrm{H}^0(𝔐,𝒪_𝔐)`$ par $`𝔐^+𝔐`$; ce dernier morphisme provient de la projection de $``$ sur $`𝒜`$.

Fait : Pour tout $`\kappa =t/2+\lambda `$, on a $`𝒪_{𝔐^+}[\xi _\kappa ]=𝒱_{\xi _\kappa }=\underset{¯}{\omega }^\kappa `$ et donc donc $`GD_\kappa (\mathrm{\Gamma },R)=GD(\mathrm{\Gamma },R)[\xi _\kappa ]`$. En effet, une fonction $`f(,\omega ,s)`$ satisfaisant pour tout

$$(x,y)𝒯_1\times 𝔾_\mathrm{m},f(,x\omega ,ys)=\lambda ^1(x)yf(,\omega ,s)$$

définit une section de $`𝒱_{\xi _\kappa }`$.

Par la définition algébrique de $`\underset{¯}{\omega }^\kappa `$, on peut définir le $`q`$-développement en une pointe $`𝒞`$ de $`M`$, d’une forme arithmétique de poids demi-entier $`\kappa `$ comme le composé du développement de Fourier-Jacobi (i.e. le pull-back à la variété de Tate au-dessus de $`\overline{S}_{\mathrm{\Sigma }^𝒞}^{}`$, défini comme une série grâce à la trivialité du pull-back du fibré $`e^{}\mathrm{\Omega }_{\overline{}/\mathrm{G}}^1`$) et de l’ évaluation $`q_v1`$ (i.e. $`v=0`$).

Observons que sur le groupe des unités totalement positives de $`F`$, $`u^\kappa =u^{t/2}u^\lambda =u^\lambda `$ est bien défini et est à valeurs dans l’anneau des valeurs de $`\lambda `$.

On a le “principe du $`q`$-développement” en une pointe $`𝒞`$ (disons non-ramifiée):

###### Proposition 8.7

Pour toute extension $`RR^{}`$ de $`[\frac{1}{2\mathrm{\Delta }}]`$-algèbres contenant les valeurs de $`\kappa `$, si $`fGD_\kappa (\mathrm{\Gamma };R^{})`$ et $`fR_𝒞^{(\kappa )}(R)`$, alors $`fGD_\kappa (\mathrm{\Gamma };R)`$.

Idée de démonstration: Par irréductibilité géométrique de $`\overline{M}`$, une section du fibré $`\underset{¯}{\omega }^\kappa `$ est uniquement déterminée par son pull-back à la VAHB de Tate.

Application :  Soit $`R`$ une $`[\frac{1}{2\mathrm{\Delta }}]`$-algèbre contenant les valeurs de $`\eta :𝔠_0/𝔫𝔠_0`$; la séries thêta $`\theta (z,\eta )`$ dont on a montré qu’elle appartient à $`GD_{t/2}(\mathrm{\Gamma })`$ est en fait dans $`GD_{t/2}(\mathrm{\Gamma };R)`$. De même pour les séries d’Eisenstein , une fois établi leur $`q`$-développement. Nous espérons revenir sur ce point ultérieurement.

## 9 Tour d’Igusa et formes modulaires de Hilbert $`p`$-adiques

Une autre “presque-application” est le résultat fondamental d’irréductibilité de la tour d’Igusa. C’est une presque-application au sens que la méthode des compactifications toroïdales donne un résultat intéressant mais insuffisant pour établir cette irréductibilité. Rappelons que, par ailleurs, l’irréductibilité géométrique a été établie dans cette situation par Ribet  et dans une situation plus générale (pour les groupes symplectiques ou unitaires sur des corps totalement réels) par Hida . Ribet utilise la monodromie locale en un point ordinaire et Hida utilise la théorie de Galois des tours de variétés de Shimura, due à Shimura.

Dans toute cette partie, on se limite au cas $`D=𝔾_\mathrm{m}`$ et donc $`M=M^1`$ de sorte qu’il y a une VAHB universelle $`𝒜M`$.

### L’invariant de Hasse.

On suppose toujours $`[F:]>1`$.

Soit $`M^{}`$, resp. $`\overline{M}`$ la compactification minimale, resp. une compactification toroïdale, de $`M`$.

Rappelons que le prolongement canonique $`\underset{¯}{\omega }_{𝔊/\overline{M}}^t`$ de $`\underset{¯}{\omega }^t`$ à $`\overline{M}`$ descend à $`M^{}`$ en un faisceau ample (on suppose comme d’habitude $`\mathrm{\Gamma }`$ net). Ceci est démontré dans  Thm8.6(vi).

Soit $`p`$ premier, premier avec $`𝔫𝔡𝔠`$. Pour tout entier $`m1`$, soit $`M_m^{}=M^{}\times \mathrm{Spec}(/p^m)`$. L’invariant de Hasse $`H`$ est la section globale de $`\underset{¯}{\omega }^{(p1)t}`$ sur $`M_1^{}`$ définie comme suit. Soit $`V:𝒜^{(p)}𝒜`$ le morphisme de Verschiebung sur $`M_1`$. Formons $`V^{}:\underset{¯}{\omega }_{𝒜/M_1}\underset{¯}{\omega }_{𝒜^{(p)}/M_1}`$ et prenons sa puissance extérieure maximale $`^dV^{}`$. Via l’identification canonique $`^d\underset{¯}{\omega }_{𝒜^{(p)}/M_1}=\left(^d\underset{¯}{\omega }_{𝒜/M_1}\right)^p`$, on interprète $`^dV^{}`$ comme une section globale de $`\underset{¯}{\omega }_{𝒜/M_1}^{(p1)t}`$. Par le principe de Koecher, c’est une section globale de $`\underset{¯}{\omega }^{(p1)t}`$ sur $`M_1^{}`$. On définit pour tout $`m1`$ le lieu ordinaire $`M_m^{,\mathrm{ord}}`$ de $`M_m^{}`$ comme l’image inverse du lieu $`M_1^{,\mathrm{ord}}`$ de $`M_1^{}`$$`H0`$. $`M_1^{,\mathrm{ord}}`$ est un ouvert affine de $`M_1^{}`$ car $`H`$ est une section globale d’un faisceau ample; de plus, une puissance $`H^s`$ se relève en $`E`$ sur $`_p`$, car une section modulo $`p`$ d’un faisceau très ample se relève; cette section définit un ouvert affine $`M_m^{,\mathrm{ord}}`$ sur $`/p^m`$ d’équation $`E0(modp)`$. Lorsque $`m`$ tend vers l’infini, les complémentaires de ces ouverts définissent un voisinage tubulaire ouvert d’équation $`|E|_p<1`$ du diviseur non-ordinaire $`E=0`$ dans l’espace rigide $`M^{\mathrm{rig}}`$ associé aux $`M_m`$.

Soit $`M_m^{\mathrm{ord}}=M_m^{,\mathrm{ord}}M_m`$ et soit $`\overline{M}_m^{,\mathrm{ord}}=\pi ^1(M_m^{,\mathrm{ord}})`$.

###### Remarque 9.1

Par le caractère local du principe de Koecher (voir la démonstration du Théorème 7.1), on a lorsque $`d>1`$ :

$$\mathrm{H}^0(M_m^{\mathrm{ord}},𝒪_{M_m^{\mathrm{ord}}})=\mathrm{H}^0(\overline{M}_m^{\mathrm{ord}},𝒪_{\overline{M}_m^{\mathrm{ord}}})=\mathrm{H}^0(M_m^{,\mathrm{ord}},𝒪_{M_m^{,\mathrm{ord}}})$$

Ceci entraîne que l’ouvert $`M_m^{\mathrm{ord}}`$ ne peut être affine, puisqu’il est distinct de l’ouvert affine $`M_m^{,\mathrm{ord}}`$.

### Tour d’Igusa et monodromie aux pointes.

Pour tout $`n1`$, la composante neutre du schéma fini et plat $`𝒜[p^n]`$ est purement torique au-dessus de $`M_m^{\mathrm{ord}}`$. On définit la tour d’Igusa sur $`M_m^{\mathrm{ord}}`$ par

$$T_{m,n}=\mathrm{Isom}_{M_m^{\mathrm{ord}}}(𝔡^1\mu _{p^n},𝒜[p^n]^0)M_m^{\mathrm{ord}},n1$$

Notons que $`T_{m,n}M_m^{\mathrm{ord}}`$ est une suite de $`(𝔬/p^n𝔬)^\times `$-torseurs finis étales puisque

$$(𝔬/p^n𝔬)^\times =\mathrm{Aut}(𝔡^1\mu _{p^n}).$$

Le morphismes $`T_{m,n}M_m^{\mathrm{ord}}`$ sont donc affines.

La question de l’irréductibilité géométrique de la tour d’Igusa équivaut à celle de la connexité géométrique de ces revêtements (puisque la base est géométriquement connexe). Ceci équivaut aussi à la surjectivité des représentations associées à ces revêtements (après choix d’un point base géométrique):

$$\rho _n:\pi _1(M_1\overline{𝔽}_p)(𝔬/p^n𝔬)^\times .$$

Cette surjectivité a été établie par Ribet  et Hida  dans un cadre plus général (voir aussi ). Chai,  Sect.4.6, a proposé une autre approche via les compactifications toroïdales, inspirée de  V.7. Malheureusement, cette approche n’est pas concluante dans toutes les situations de compactifications toroïdales, et en particulier pas dans le cas des variétés de Hilbert. Expliquons pourquoi. L’idée est de calculer la monodromie locale au voisinage d’une pointe non-ramifiée dans la compactification minimale. Elle ne permet cependant que d’obtenir un sous-groupe fermé de $`(𝔬_p)^\times `$ qui est ouvert si la conjecture de Leopoldt est vraie.

Pour alléger la notation dans l’argument ci-dessous, on omet (mais on sous-entend) l’extension des scalaires à $`\overline{𝔽}_p`$. Tout d’abord le cas $`F=`$ est connu. Par conséquent, la VAHB obtenue en formant le produit tensoriel de la courbe elliptique universelle au-dessus de la courbe modulaire $`Y`$ par $`𝔬`$ (puis si nécessaire une $`𝔠`$-isogénie pour obtenir une $`𝔠`$-polarisation) fournit un morphisme de $`Y`$ dans la variété de Hilbert qui permet d’inclure $`(/p^n)^\times `$ dans l’image de $`\rho _n`$.

Pour obtenir un gros sous-groupe du noyau $`(𝔬/p^n𝔬)_1^\times `$ de la norme, Chai procède comme suit. Soit $`\pi :\overline{M}_1M_1^{}`$. Soit $`𝒞`$ une pointe non-ramifiée de $`M_1^{}`$ et soit $`R`$ la complétion de l’anneau local de $`M_1^{}`$ en $`𝒞`$. Posons $`\overline{S}_{\mathrm{\Sigma }^𝒞}=_{\sigma \mathrm{\Sigma }^𝒞}\overline{S}_\sigma `$ et $`\overline{S}_{\mathrm{\Sigma }^𝒞}^{}=\overline{S}_{\mathrm{\Sigma }^𝒞}/𝔬_𝒞^\times `$. Soit $`(\overline{S}_{\mathrm{\Sigma }^𝒞})^0`$ (resp. $`(\overline{S}_{\mathrm{\Sigma }^𝒞}^{})^0`$) le complémentaire du diviseur à l’infini $`(\overline{S}_{\mathrm{\Sigma }^𝒞})^{\mathrm{}}`$ (resp. $`(\overline{S}_{\mathrm{\Sigma }^𝒞}^{})^{\mathrm{}}`$). L’image de $`\mathrm{Spec}(R)`$ dans $`M_1^{}`$ est contenue dans $`M_1^{\mathrm{ord}}`$, grâce à la description de la VAHB universelle sur $`\mathrm{Spec}(R)`$ comme quotient de Mumford. On a des morphismes de groupes

$$\pi _1((\overline{S}_{\mathrm{\Sigma }^𝒞}^{})^0)\pi _1(\mathrm{Spec}(R)\mathrm{\backslash }\{𝒞\})\pi _1(M_1^{\mathrm{ord}})$$

On observe que l’on a un revêtement étale

$$\overline{\xi }_n:\overline{T}_{1,n}=\mathrm{Isom}_{\overline{M}_1}(𝔡^1\mu _{p^n},𝔊_1[p^n]^0)\overline{M}_1^{\mathrm{ord}}=\pi ^1(M_1^{\mathrm{ord}})$$

prolongeant le revêtement étale $`T_{1,n}M_1^{\mathrm{ord}}`$.

Le pull-back de $`\overline{\xi }_n`$ à $`\overline{S}_{\mathrm{\Sigma }^𝒞}`$ est trivial car la description de $`𝔊_1|_{\overline{S}_{\mathrm{\Sigma }^𝒞}}`$ comme variété de Tate montre que sur $`\overline{S}_{\mathrm{\Sigma }^𝒞}`$, on a un isomorphisme canonique $`𝔊_1[p^n]^0\mu _{p^n}𝔞`$ compatible avec l’action de $`𝔬_𝒞^\times `$. Ainsi $`\overline{S}_{\mathrm{\Sigma }^𝒞}\times \overline{T}_{1,n}=\overline{S}_{\mathrm{\Sigma }^𝒞}\times (𝔬/p^n)^\times `$ et l’action de $`𝔬_𝒞^\times `$ sur le membre de gauche correspond à l’action diagonale sur le membre de droite. L’image de $`\rho _n`$ contient donc l’image de $`𝔬_𝒞^\times `$ dans $`(𝔬/p^n)^\times `$.

On notera que le revêtement connexe étale $`\overline{S}_{\mathrm{\Sigma }^𝒞}^{\mathrm{}}(\overline{S}_{\mathrm{\Sigma }^𝒞}^{})^{\mathrm{}}`$ de groupe $`𝔬_𝒞^\times `$ n’est pas de type fini (seulement localement de type fini). Néanmoins on peut former une tour de revêtements finis connexes étales en quotientant $`\overline{S}_{\mathrm{\Sigma }^𝒞}^{\mathrm{}}`$ par $`(𝔬_𝒞^\times )^{p^n}`$.

Comme le pull-back de $`𝔊_1\overline{M}_1`$ à $`(\overline{S}_{\mathrm{\Sigma }^𝒞}^{})^{\mathrm{}}`$ est le quotient du tore de Tate sur $`(\overline{S}_{\mathrm{\Sigma }^𝒞})^{\mathrm{}}`$ par $`𝔬_𝒞^\times `$, on voit que $`𝔬_𝒞^\times /(𝔬_𝒞^\times )^{p^n}`$ est contenue dans l’image de $`\rho _n`$ dans $`(𝔬/p^n𝔬)^\times `$. En passant à la limite projective, on obtient l’image de $`\pi _1(M_1^{\mathrm{ord}})`$ dans $`(𝔬_p)^\times `$ contient bien $`_p^\times \overline{𝔬^\times }`$.

### Formes modulaires $`p`$-adiques.

Cette théorie est une application directe de l’irréductibilité de la tour d’Igusa.

On a défini $`\overline{T}_{m,n}`$ dans la section précédente; c’est un torseur fini étale sur $`\overline{M}_m^{\mathrm{ord}}`$; il est donc affine sur ce schéma. Ce dernier n’est pas affine, mais on a vu que $`\mathrm{H}^0(\overline{M}_m^{\mathrm{ord}},𝒪_{\overline{M}_m^{\mathrm{ord}}})=\mathrm{H}^0(M_m^{\mathrm{ord}},𝒪_{M_m^{\mathrm{ord}}})`$ et que le spectre de cet anneau est $`M_m^{,\mathrm{ord}}`$. Soit

$$V_{m,n}=\mathrm{H}^0(T_{m,n},𝒪_{T_{m,n}})=\mathrm{H}^0(\overline{T}_{m,n},𝒪_{\overline{T}_{m,n}})$$

l’algèbre des fonctions régulières sur $`T_{m,n}`$. En passant à la limite inductive sur $`n`$ puis projective sur $`m`$, on obtient l’anneau $`𝕍`$ des fonctions sur le ind-pro-schéma

$$T_\mathrm{},\mathrm{}M_{\mathrm{}}^{\mathrm{ord}}$$

Notons que comme les morphismes de transition $`T_{m,n+1}T_{m,n}`$ sont affines, $`T_{m,\mathrm{}}`$ est un schéma et $`T_\mathrm{},\mathrm{}`$ est un schéma formel sur $`M_{\mathrm{}}`$.

$`M_{\mathrm{}}^{\mathrm{ord}}`$ est le schéma formel obtenu en retirant le lieu supersingulier $`E0(modp)`$ de la complétion $`M_{\mathrm{}}`$ du schéma $`M__p`$ le long de sa fibre spéciale ($`E`$ désigne un relèvement quelconque de $`H^s`$ sur $`_p`$ comme précédemment). Dans le langage de la géométrie rigide, on retire le voisinage tubulaire ouvert de rayon $`1`$ autour du diviseur supersingulier.

Soit $`𝒜_p`$ la catégorie des algèbres $`p`$-adiquement complètes. Le ind-pro-schéma $`T_\mathrm{},\mathrm{}`$ représente le foncteur qui associe à $`R𝒜_p`$ l’ensemble des classes d’isomorphisme de $`(A,\iota ,\lambda ,\alpha ,\varphi )_{/R}`$$`(A,\iota ,\lambda ,\alpha )`$ définit un point de $`M\times \mathrm{Spec}(R)`$ et $`\varphi :\mu _p^{\mathrm{}}𝔡^1A[p^{\mathrm{}}]`$ est une immersion fermée de groupes $`p`$-divisibles. De façon équivalente, on peut définir $`\varphi `$ comme un isomorphisme de groupes formels $`\widehat{𝔾}_m𝔡^1\widehat{A}`$ (complétions des schémas en groupes le long de leur section unité). On appelle un tel plongement $`\varphi `$ une rigidification du groupe formel $`\widehat{A}`$.

Pour toute $`_p`$-algèbre $`p`$-adiquement complète $`R`$, on pose

$$𝕍(𝔠,𝔫;R)=𝕍\widehat{}R$$

On l’appelle l’algèbre des formes modulaires $`p`$-adiques de niveau auxiliaire $`𝔫`$ à coefficients dans $`R`$. Elle est munie d’une action du groupe de Galois $`𝒯_1(_p)=(𝔬_p)^\times `$ du revêtement $`T_\mathrm{},\mathrm{}M_{\mathrm{}}^{\mathrm{ord}}`$. On pose pour tout homomorphisme continu $`\kappa :𝒯_1(_p)R^\times `$

$$𝕍_\kappa (𝔠,𝔫;R)=𝕍(𝔠,𝔫;R)[\kappa ]$$

La donnée d’une rigidification $`\varphi :\widehat{𝔾_\mathrm{m}}𝔡^1\widehat{A}`$ induit un isomorphisme $`\varphi ^{}:𝔬𝒪_{T_\mathrm{},\mathrm{}}\underset{¯}{\omega }`$ par le principe Géométrie Algébrique-Géométrie Formelle pour le schéma propre $`𝒜`$ sur $`M`$. Soit $`𝔐_{\mathrm{}}`$ la complétion de $`𝔐`$ formelle le long de la fibre spéciale. On obtient un morphisme de $`M_{\mathrm{}}`$-schémas formels $`T_\mathrm{},\mathrm{}𝔐_{\mathrm{}}`$; il fournit un homomorphisme $`j`$ de l’algèbre des formes classiques vers celle des formes $`p`$-adiques.

$$j:G(𝔠,𝔫)=\mathrm{H}^0(𝔐,𝒪_𝔐)𝕍(𝔠,𝔫;R)$$

###### Remarque 9.2

Si $`\kappa `$ est un caractère algébrique de $`𝒯_1`$, $`j`$ envoie les formes classiques de poids $`\kappa `$ vers les formes $`p`$-adiques de poids $`\kappa `$. Cette application est injective (voir ci-dessous) mais est loin d’être surjective, le module de droite étant de rang infini. La théorie de Hida permet de montrer que sur les sous-modules des formes ordinaires, on a un isomorphisme. Il serait intéressant par une généralisation appropriée de méthodes de Mazur-Coleman d’étendre aux formes de Hilbert surconvergentes de pente fixée un tel résultat de classicité.

###### Théorème 9.3

1) Pour toute $`(R,𝔫)`$-pointe non-ramifiée $`𝒞`$, on a un homomorphisme injectif

$$\mathrm{ev}_𝒞:𝕍(𝔠,𝔫;R)R[[q^\xi ;\xi X_+\{0\}]],$$

$`X=𝔠𝔟^2`$, qui est donné par l’évaluation sur la VAHB de Tate sur $`\overline{S}_{𝒞,\sigma }^0`$, munie de sa rigidification canonique (pour tout $`\sigma \mathrm{\Sigma }^𝒞`$). De plus, pour toute $`R𝒜_p`$, si $`f𝕍(𝔠,𝔫;R)`$ et pour toute $`(R,𝔫)`$-pointe non-ramifiée $`𝒞`$ de $`M`$, on a $`\mathrm{ev}_𝒞(f)pR[[q^\xi ]]`$, alors $`fp𝕍(𝔠,𝔫;R)`$.

2) le morphisme $`\mathrm{ev}_𝒞`$ est compatible via l’homomorphisme $`j`$ avec celui défini pour les formes classiques.

Démonstration :  1) Rappelons la propriété universelle de $`\overline{T}_\mathrm{},\mathrm{}=\mathrm{Isom}_{\overline{M}_{\mathrm{}}^{\mathrm{ord}}}(\mu _p^{\mathrm{}}𝔡^1,𝔊[p^{\mathrm{}}]^0)`$: Pour tout schéma semi-abélien $`GS`$ sur un schéma formel $`S`$ et pour tout morphisme $`G𝔊`$ au-dessus d’un morphisme $`S\overline{M}_{\mathrm{}}`$, il y a une bijection canonique entre l’ensemble des rigidifications $`\mu _p^{\mathrm{}}𝔡^1G[p^{\mathrm{}}]^0`$ et celui des relèvements $`S\overline{T}_\mathrm{},\mathrm{}`$ du morphisme donné $`S\overline{M}_{\mathrm{}}`$.

La rigidification canonique $`\mu _p^{\mathrm{}}𝔡^1G_\sigma [p^{\mathrm{}}]^0`$ fournit donc un morphisme de schémas formels de la complétion $`p`$-adique de $`\overline{S}_{𝒞,\sigma }`$ vers $`\overline{T}_\mathrm{},\mathrm{}`$. Ce morphisme est étale. L’irréductibilité du schéma formel $`\overline{T}_\mathrm{},\mathrm{}`$ entraîne qu’une section globale d’un faisceau localement libre sur $`\overline{T}_\mathrm{},\mathrm{}`$ nulle sur $`\overline{S}_{𝒞,\sigma }`$ est identiquement nulle.

2) Cet énoncé pour une algèbre $`R`$ résulte de 1) appliqué à l’algèbre $`R/pR`$. $`\mathrm{}`$

###### Corollaire 9.4

Pour tout poids $`\kappa [J_F]`$, $`j`$ restreint à $`G_\kappa (𝔠,𝔫;R)`$ est injectif.

###### Remarque 9.5

Si $`R`$ est plate sur $`_p`$, par indépendance linéaire des caractères algébriques distincts, on déduit du corollaire que l’application $`j`$ elle-même est injective. Par contre, ce n’est pas le cas pour une $`_p`$-algèbre $`p`$-adique quelconque (c’est faux pour $`𝔽_p`$).

###### Corollaire 9.6

L’homomorphisme $`\mathrm{ev}_𝒞`$ est d’image fermée dans $`R[[q^\xi ;\xi X_+\{0\}]]`$ muni de la topologie de la convergence coefficient par coefficient.

Démonstration: Si $`f_n𝕍(𝔠,𝔫;R)`$ et $`\mathrm{ev}_𝒞(f_{n+1})\mathrm{ev}_𝒞(f_n)(modp^n)`$, alors, $`f_{n+1}f_n(modp^n𝕍(𝔠,𝔫;R))`$ et donc $`f_n`$ converge dans l’algèbre $`p`$-adiquement complète $`𝕍(𝔠,𝔫;R)`$.

Pour chaque $`r1`$; on va définir un homomorphisme d’algèbres

$$j_r:G(𝔠,𝔫p^r;R)𝕍(𝔠,𝔫;R)$$

compatible avec les poids.

Le théorème de représentabilité de Mumford (GIT) entraî ne qu’il existe un $`_p`$-schéma quasi-projectif de type fini $`M_0(𝔠,𝔫p^r)`$ classifiant les VAHB $`𝔠`$-polarisées $`(A,\iota ,\lambda ,\alpha )_S`$ munies d’un $`𝔬/p^r`$-module cyclique $`C`$ (c’est-à-dire, localement libre sur $`𝔬𝒪_S`$ de rang $`p^r`$ et annulé par $`p^r`$ exactement). La normalisation de ce schéma dans $`M_1(𝔠,𝔫p^r)\times \mathrm{Spec}_p`$ définit un modèle entier sur $`_p`$ de $`M_1(𝔠,𝔫p^r)`$. Il est muni d’un morphisme propre et plat $`\pi _r`$ vers $`M`$.

Les faisceaux $`\underset{¯}{\omega }^\kappa `$ sur $`M_1(𝔠,𝔫p^r)`$ sont les pull-back par $`\pi _r`$ des $`\underset{¯}{\omega }^\kappa `$ sur $`M`$. Soit $`M_{\mathrm{},r}`$ la complétion formelle de ce schéma le long de sa fibre spéciale. La définition de $`T_{\mathrm{},r}`$ comme solution du problème de modules des immersions fermées $`\mu _{p^r}𝔡^1A[p^r]`$ montre qu’il y a une immersion ouverte canonique $`T_{\mathrm{},r}M_{\mathrm{},r}`$. Cette immersion est d’image dense dans l’une des composantes irréductibles de $`M_{\mathrm{},r}`$. Soit $`𝔐_{\mathrm{},r}=𝔐_{\mathrm{}}\times _M_{\mathrm{}}M_{\mathrm{},r}`$. On a vu qu’il y a un $`M_{\mathrm{}}`$-morphisme canonique $`T_\mathrm{},\mathrm{}𝔐_{\mathrm{}}`$; on vient d’autre part de construire un $`M_{\mathrm{}}`$-morphisme $`T_\mathrm{},\mathrm{}T_{\mathrm{},r}M_{\mathrm{},r}`$; on obtient donc un morphisme $`T_\mathrm{},\mathrm{}𝔐_{\mathrm{},r}`$ qui fournit l’homomorphisme d’algèbres $`j_r`$ par restriction au lieu ordinaire sur les fonctions.

Soit $`M_\mathrm{},\mathrm{}=\underset{}{\mathrm{lim}}M_{\mathrm{},r}`$. En fait, en passant à la limite projective sur les morphismes $`T_\mathrm{},\mathrm{}𝔐_{\mathrm{},r}`$, on voit facilement que

$$T_\mathrm{},\mathrm{}𝔐_\mathrm{},\mathrm{}\mathrm{et}T_\mathrm{},\mathrm{}M_\mathrm{},\mathrm{}^{\mathrm{ord}}$$

sont des immersions ouvertes. On peut définir un fibré inversible

Si l’on ne tient pas à préserver l’intégralité (c’est à dire que l’on se limite aux $`_p`$-algèbres), on peut aussi formuler cette construction en considérant l’espace rigide $`T_{\mathrm{},r}^{\mathrm{rig}}`$ associé à $`T_{\mathrm{},r}`$; c’est un ouvert de $`M_1(𝔠,𝔫p^r)^{\mathrm{rig}}`$; l’avantage de cette approche est que ces espaces rigides sont lisses et connexes (alors que le schémas formel de $`M_1(𝔠,𝔫p^r)`$ a un grand nombre de composantes irréductibles).

Soit $`M_1(𝔠,𝔫p^r)^{\mathrm{ord}}`$ l’image inverse dans $`M_1(𝔠,𝔫p^r)^{\mathrm{rig}}`$ de $`M_1(𝔠,𝔫)^{\mathrm{ord}}`$ par le morphisme d’oubli du groupe cyclique d’ordre $`p^r`$. On voit que $`T_{\mathrm{},r}^{\mathrm{rig}}`$ est contenu dans $`M_1(𝔠,𝔫p^r)^{\mathrm{ord}}`$ . Par conséquent le $`𝒯_1`$-torseur rigide $`𝔐(𝔠,𝔫p^r)^{\mathrm{rig}}`$ sur $`M_1(𝔠,𝔫p^r)^{\mathrm{rig}}`$ classifiant les VAHB munies d’ un $`𝔬`$-groupe cyclique d’ordre $`p^r`$ et d’une $`𝔬𝒪_S`$-base de $`\underset{¯}{\omega }`$, est image de $`T_\mathrm{},\mathrm{}^{\mathrm{rig}}`$ par le même argument que précédemment.

###### Théorème 9.7

Pour tout $`r1`$, pour tout $`\kappa [J_F]`$, l’homomorphisme d’algèbres des formes classiques de niveau $`p^r`$ vers les formes $`p`$-adiques

$$j_{r,\kappa }:G_\kappa (𝔠,𝔫p^r;R)𝕍(𝔠,𝔫;R)$$

est injectif.

Démonstration :  On sait d’une part que l’intégralité est préservée; on considère d’autre part les espaces rigides $`𝔐_{\mathrm{},r}^{\mathrm{rig}}`$ resp. $`T_\mathrm{},\mathrm{}`$, qui sont connexes par l’irréductibilité de la tour d’Igusa. Ceci entraî ne l’injectivité du $`q`$-développement des formes classiques de niveau $`𝔫p^r`$ ainsi que celui des formes $`p`$-adiques aux $`(R,𝔫)`$-pointes de $`M`$ relevées à l’aide de la rigidification canonique $`\varphi _{\mathrm{can}}`$ de la VAHB de Tate associée à $`𝒞`$. On déduit alors le théorème de la compatibilité des morphismes de $`q`$-développement. $`\mathrm{}`$

###### Remarque 9.8

1) À la différence du cas du niveau premier à $`p`$, l’utilisation de la géométrie rigide simplifie l’argument car la fibre spéciale de $`M_1(p^r)`$ est compliquée.

2) L’homomorphisme $`j_r`$ somme des $`j_{r,\kappa }`$ est injectif si $`R`$ est $`_p`$-plate.

En fait, la compatibilité des morphismes de $`q`$-développement est vraie sur un ensemble de pointes $`p`$-adiques plus grand que l’ensemble fini des relèvements standards des $`(R,𝔫)`$-pointes $`𝒞`$ de $`M`$ donnés par la rigidification canonique $`\varphi _{\mathrm{can}}`$ de la VAHB de Tate associée à $`𝒞`$. Cet ensemble est appelé l’ensemble des pointes non-ramifiées. On va le définir et le caractériser à l’aide de l’immersion ouverte (de schémas formels ou rigides)

$$T_\mathrm{},\mathrm{}𝔐_\mathrm{},\mathrm{}$$

###### Définition 9.9

Une pointe de $`T_\mathrm{},\mathrm{}`$ est un couple constitué d’une $`(R,𝔫)`$-pointe $`𝒞`$ de $`M`$ et de la classe d’isomorphisme $`i(a)`$ ($`a(𝔬_p)^\times `$) du morphisme canonique

$$\mathrm{Tate}_𝒞(q)\overline{T}_\mathrm{},\mathrm{}$$

donné par la VAHB de Tate $`(\mathrm{Tate}_𝒞(q),\iota _{\mathrm{can}},\lambda _{\mathrm{can}},\alpha _{\mathrm{can}})`$ au-dessus de $`\overline{S}_{𝒞,\mathrm{\Sigma }^𝒞}\overline{M}`$, munie de la rigidification $`\varphi _{\mathrm{can}}[a])`$.

Deux telles classes d’isomorphisme $`i(a)`$ et $`i(a^{})`$ coïncident si et seulement si $`a`$ et $`a^{}`$ sont congrus modulo $`\overline{𝔬^\times }`$ car ce groupe agit par automorphismes du carré cartésien

$$\begin{array}{ccc}\mathrm{Tate}_𝒞(q)& & \overline{T}_\mathrm{},\mathrm{}\\ & & \\ \overline{S}_𝒞& & \overline{M}\end{array}$$

Soit $`P_{\mathrm{}}^T`$ l’ensemble des pointes de $`T_\mathrm{},\mathrm{}`$. La fibre de $`P_{\mathrm{}}^T`$ au-dessus d’une pointe de $`M`$ est donc un $`(𝔬_p)^\times /\overline{𝔬^\times }`$-torseur.

Notons $`P_{\mathrm{}}`$ l’ensemble des pointes de $`M_1(𝔠,𝔫p^{\mathrm{}})=\underset{}{\mathrm{lim}}M_1(𝔠,𝔫p^r)`$. C’est un espace $`p`$-adique compact et il résulte immédiatement du théorème d’approximation forte et de la décomposition d’Iwasawa que $`P_{\mathrm{}}`$ est un fibré au-dessus de l’ensemble des pointes de $`\mathrm{\Gamma }_1(𝔠,𝔫)`$, ses fibres étant des copies de

$$U(_p)\mathrm{\backslash }G(_p)/\overline{𝒯_1(_p)}U(_p)$$

$`U`$ est le radical unipotent du Borel supérieur. Par action sur l’ouvert des vecteurs primitifs $`((𝔬_p)^2)_{\mathrm{prim}}`$ de $`(𝔬_p)^2`$, on identifie ce quotient à

$$U(_p)\mathrm{\backslash }((𝔬_p)^2)_{\mathrm{prim}}/\overline{𝔬^\times }$$

Ce quotient s’identifie à l’ensemble des classes d’homothétie par un scalaire de $`\overline{𝔬^\times }`$ de vecteurs primitifs $`\left(\begin{array}{c}a\\ c\end{array}\right)`$ dans $`(𝔬_p)^2`$, où $`c(𝔬_p)`$ et $`a`$ parcourt un système de représentants de $`(𝔬_p)/(c)`$. Notons $`\left[\begin{array}{c}a\\ c\end{array}\right]`$ une telle classe. Tout élément de $`P_{\mathrm{}}`$ s’écrit donc comme un couple constitué d’une $`(R,𝔫)`$-pointe de $`M`$ et d’une classe $`\left[\begin{array}{c}a\\ c\end{array}\right]`$. On introduit la notion de profondeur d’une pointe:

$$\mathrm{prof}_p(\left[\begin{array}{c}a\\ c\end{array}\right])=\mathrm{ord}_p(c)$$

Les pointes de profondeur infinie sont appelées les pointes non ramifiées. Soit $`P_{\mathrm{}}^{nr}`$ le sous-espace des pointes non-ramifiées; c’est un torseur sous $`(𝔬_p)^\times /\overline{𝔬^\times }`$ au-dessus de l’ensemble des pointes de $`M`$.

###### Lemme 9.10

L’immersion ouverte $`T_\mathrm{},\mathrm{}M_\mathrm{},\mathrm{}`$ identifie $`P_{\mathrm{}}^T`$ et $`P_{\mathrm{}}^{nr}`$.

Soit $`𝒞(P_{\mathrm{}}^{nr};R)`$ l’espace des fonctions continues sur $`P_{\mathrm{}}^{nr}`$ à valeurs dans une algèbre $`p`$-adique $`R`$. On peut repérer une telle pointe comme un couple constitué d’une $`(R,𝔫)`$-pointe $`c`$ et d’un élément $`a`$ de $`(𝔬_p)^\times `$. Pour tout $`f𝕍(𝔠,𝔫;R)`$, le $`q`$-développement en une pointe non ramifiée $`(c,a)`$ est bien défini: c’est l’évaluation sur la variété de $`\mathrm{Tate}_c(q)`$ munie de la rigidification

$$\varphi _c[a]:\widehat{𝔾}_m𝔡^1\widehat{\mathrm{Tate}}_c(q),t\varphi _c([a](t))$$

Ces flèches de $`q`$-développement induisent un homomorphisme d’algèbres

$$\mathrm{ev}:𝕍(𝔠,𝔫;R)𝒞(P_{\mathrm{}}^{nr};R)$$

Le noyau s’appelle l’espace des formes modulaires $`p`$-adiques cuspidales. C’est un idéal de $`𝕍(𝔠,𝔫;R)`$ noté $`𝕍^{\mathrm{cusp}}(𝔠,𝔫;R)`$

Par ce qui précède, $`𝕍(𝔠,𝔫;R)`$ contient pour chaque poids $`\kappa 2t`$

$$G_\kappa (𝔠,𝔫p^{\mathrm{}};R)=\underset{r0}{}G_\kappa (𝔠,𝔫p^r;R)$$

ainsi que

$$G(𝔠,𝔫;R)=\underset{\kappa 0}{}G_\kappa (𝔠,𝔫;R)$$

Il est de plus évident que les formes cuspidales classiques sont envoyées dans les formes $`p`$-adiques cuspidales. Hida a démontré

###### Théorème 9.11

Soit $`R`$ une $`_p`$-algèbre plate et $`p`$-adiquement complète. Alors

(i) $`G^{\mathrm{cusp}}(𝔠,𝔫;R)[\frac{1}{p}]𝕍(𝔠,𝔫;R)`$ est dense dans $`𝕍^{\mathrm{cusp}}(𝔠,𝔫;R)`$,

(ii) De même, pour tout $`\kappa 2t`$, $`G_\kappa ^{\mathrm{cusp}}(𝔠,𝔫p^{\mathrm{}};R)`$ est dense dans $`𝕍^{\mathrm{cusp}}(𝔠,𝔫;R)`$ sur les parties ordinaires.

Le premier énoncé est démontré dans , essentiellement pour toutes les variétés PEL (voir Th.2.2 et Cor.3.4). Le second est démontré dans . L’énoncé analogue sans limitation aux parties cuspidales n’est pas établi mais il est conjecturé.

### Formes modulaires de Hilbert de poids demi-entier $`p`$-adiques.

Nous allons donner une définition purement algébro-géométrique des formes modulaires de Hilbert $`p`$-adiques de poids demi-entier. L’avantage de ce point de vue est qu’il évite de recourir à la multiplication par une série thêta de poids $`t/2`$ pour passer du poids demi-entier au poids entier pour établir les propriétés arithmétiques des formes de poids demi-entier. De cette manière, on peut établir directement différents résultats obtenus par Hida dans  Sect.2, h.1-h5. Nous reviendrons sur ce point dans un travail ultérieur.

Soit $`p`$ premier, premier avec $`2\mathrm{N}(𝔠𝔡𝔫)`$. Pour chaque couple $`(m,n)`$ d’entiers, $`m,n1`$, on a défini le $`(𝔬/p^n𝔬)^\times `$-torseur $`\stackrel{~}{T}_{m,n}`$ fini étale sur $`M_m^{\mathrm{ord}}`$.

On considère le $`T_{m,n}`$-schéma donné par

$$T_{m,n}^+=\mathrm{Isom}_{T_{m,n}}(𝒪_{T_{m,n}},0^{}\mathrm{\Omega }_{/𝒜})$$

c’est un $`𝔾_\mathrm{m}`$-torseur sur $`T_{m,n}`$.

Chaque schéma $`T_{m,n}^+`$ est géométriquement connexe par irréductibilité de la tour d’Igusa. Soit $`V_{m,n}^+`$ l’anneau des fonction sur $`T_{m,n}^+`$. Il est muni d’une action de $`𝔾_\mathrm{m}`$. La partie de $`V_{m,n}^+`$ sur laquelle $`𝔾_\mathrm{m}`$ agit trivialement n’est autre que $`V_{m,n}`$. Considérons celle où $`𝔾_\mathrm{m}`$ agit par $`m_1:yy`$. Notons-la $`VD_{m,n}`$. On a une action naturelle de $`V_{m,n}`$ sur $`VD_{m,n}`$ induite par la multiplication dans $`V_{m,n}^+`$. Pour toute algèbre $`p`$-adiquement complète $`R`$, on définit le module des formes modulaires $`p`$-adiques de Hilbert à coefficients dans $`R`$ comme

$$𝕍𝔻(𝔠,𝔫;R)=\left(\underset{𝑚}{\underset{}{\mathrm{lim}}}\underset{𝑛}{\underset{}{\mathrm{lim}}}VD_{m,n}\right)\widehat{}R$$

C’est naturellement un $`𝕍(𝔠,𝔫;R)`$-module.

On a un morphisme naturel $`T_\mathrm{},\mathrm{}^+𝔐^+`$ défini par pull-back à $`𝔐^+`$ de $`T_\mathrm{},\mathrm{}𝔐`$. Il fournit un morphisme

$$j_d:GD(𝔠,𝔫;R)𝕍𝔻(𝔠,𝔫;R)$$

compatible avec les actions des formes modulaires de poids entier classiques resp. $`p`$-adiques pour l’homomorphisme

$$j:G(𝔠,𝔫;R)𝕍(𝔠,𝔫;R)$$

En particulier, pour tout poids demi-entier $`\kappa =t/2+\lambda `$, si l’on pose

$$𝕍𝔻_\kappa (𝔠,𝔫;R)=𝕍^+(𝔠,𝔫;R)[\xi _\kappa ]=𝕍𝔻(𝔠,𝔫;R)[\lambda ^1]$$

on a

$$j_d:GD_\kappa (𝔠,𝔫;R)𝕍_\kappa (𝔠,𝔫;R)$$

On a une notion de $`q`$-développement aux pointes non-ramifiées. Considérons d’abord les pointes non-ramifiées standards (données par la rigidification canonique des VAHB de Tate). Observons que pour toute $`(R,𝔫)`$-pointe $`𝒞`$ de $`M`$, et tout $`\sigma \mathrm{\Sigma }^𝒞`$, le pull-back du fibré $`\overline{}`$ sur $`𝔊`$ à la VAHB de Tate $`\mathrm{Tate}_𝒞(q)`$ sur $`\overline{S}_{𝒞,\sigma }`$ est trivial. La base $`1`$ fournit alors un morphisme de la complétion $`p`$-adique de $`\overline{S}_{𝒞,\sigma }`$ vers $`T_\mathrm{},\mathrm{}^+`$, qui fournit un homomorphisme d’algèbres

$$\mathrm{ev}_𝒞:𝕍𝔻(𝔠,𝔫;R)R[[q^\xi ;\xi X_+\{0\}]].$$

On a un principe du $`q`$-développement (conséquence de l’irréductibilité géométrique de la tour des $`T_{m,n}^+`$) qui affirme l’injectivité de $`\mathrm{ev}_𝒞`$ et même son “universelle injectivité”: si $`RR^{}`$, si $`f`$ est définie sur $`R^{}`$ et si $`\mathrm{ev}_𝒞(f)`$ est à coefficients dans $`R`$, alors $`f`$ est définie sur $`R`$.

La compatibilité de $`\mathrm{ev}_𝒞`$ avec la flèche de $`q`$-développement des formes de Hilbert de poids demi-entier arithmétiques entraîne l’injectivité de $`j_\kappa `$ pour chaque poids demi entier $`\kappa `$ et l’injectivité de $`j_d`$ sur toute algèbre $`p`$-adique $`_p`$-plate. En outre, ceci entraîne que l’image de $`𝕍𝔻(𝔠,𝔫;R)`$ est fermée dans $`R[[q^\xi ;\xi 𝔠_+\{0\}]]`$ muni de la topologie de la convergence coefficient par coefficient. La démonstration est la même que pour les formes $`p`$-adiques de poids entier.

On définit le module des formes cuspidales de poids demi-entier comme le noyau de l’application

$$𝕍𝔻(𝔠,𝔫;R)𝒞(P_{\mathrm{}}^{nr},R)$$

donnée par $`f\varphi _f`$ où pour chaque $`a(𝔬_p)^\times /\overline{𝔬^\times }`$, $`\varphi _f(a)`$ désigne le terme constant du $`q`$-développement

$$f(\mathrm{Tate}_𝒞(q),\iota _{\mathrm{can}},\lambda _{\mathrm{can}},\alpha _{\mathrm{can}},\varphi _{\mathrm{can}}[a],s_{\mathrm{can}}))$$

Application: On peut définir des formes modulaires de Hilbert $`p`$-adiques de poids demi-entier en formant les $`q`$-développements de séries thêta et de séries d’Eisenstein associées à des caractères $`p`$-adiques continus de conducteur divisant $`𝔠_0Np^{\mathrm{}}`$. Ces caractères sont limites de caractères algébriques qui définissent des formes de poids demi-entier arithmétiques. Ces séries définissent donc des éléments de $`𝕍𝔻(𝔠,𝔫;R)`$, où $`R`$ est une algèbre $`p`$-adiquement complète contenant les coefficients des séries finie et plate sur $`_p`$.

Université Paris 7 Université Paris 13

UFR de Mathématiques, Case 7012 LAGA, Institut Galilée

2 place Jussieu 99, avenue J.-B. Clément

75251 Paris 93430 Villetaneuse

FRANCE FRANCE

dimitrov@math.jussieu.fr tilouine@math.univ-paris13.fr