format: text

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

## 1 La construction de Mumford.

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`$.

###### Définition 1.1

Un $`S`$-schéma en groupes commutatif, lisse et de type fini $`G`$ est dit semi-abélien, si ses fibres géométriques sont des extensions d’une variété abélienne par un tore.

Considérons le tore déployé $`\stackrel{~}{G}=𝔾_m^r\times S`$ de rang $`r`$ sur $`S`$. Soit $`𝔟`$ un sous-groupe discret polarisable de $`\stackrel{~}{G}_\eta `$. L’objet de cette section est d’esquisser la construction d’un schéma semi-abélien $`G/S`$, comme “quotient” de $`\stackrel{~}{G}`$ par $`𝔟`$. La stratégie est la suivante :

(i) Construire une “compactification” $`\stackrel{~}{G}\stackrel{~}{P}`$ telle que l’action de $`𝔟`$ s’étende à $`\stackrel{~}{P}`$ et que $`𝔟`$ agisse librement et discontinument sur $`\stackrel{~}{P}\underset{𝑆}{\times }S_0`$ (pour la topologie de Zariski).

(ii) Suivre les flèches du diagramme :

(iii) Enfin, montrer que $`G`$ est semi-abélien sur $`S`$, indépendant du choix de $`\stackrel{~}{P}`$, que $`G_\eta `$ est abélien, et que $`G_0=\stackrel{~}{G}_0=𝔾_m^r\times S_0`$.

Périodes et polarisation. Soit $`𝔞=^r`$ le groupe des caractères de $`\stackrel{~}{G}`$. Pour $`\alpha 𝔞`$, notons $`𝔛^\alpha \mathrm{H}^0(\stackrel{~}{G},𝒪_{\stackrel{~}{G}})`$ le caractère associé. Alors de manière canonique :

$$\stackrel{~}{G}=\mathrm{Spec}(R[𝔛^\alpha ;\alpha 𝔞])$$

###### Définition 1.2

Un ensemble de périodes est un sous-groupe $`𝔟\stackrel{~}{G}_\eta `$ isomorphe à $`^r`$.

###### Définition 1.3

Une polarisation pour $`𝔟`$ est un homomorphisme $`\varphi :𝔟𝔞`$ tel que :

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

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

###### Lemme 1.4

Pour tout $`\alpha 𝔞`$, il existe un entier $`n1`$ avec $`𝔛^{n\varphi (\beta )+\alpha }(\beta )R`$ pour tout $`\beta 𝔟`$.

Modèles relativement complets. Étant donné un ensemble de périodes $`𝔟\stackrel{~}{G}_\eta `$ muni d’une polarisation $`\varphi `$, Mumford donne la

###### Définition 1.5

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

$`(\mathrm{a})`$ Un schéma intègre $`\stackrel{~}{P}`$, localement de type fini sur $`R`$,

$`(\mathrm{b})`$ Une immersion ouverte $`i:\stackrel{~}{G}\stackrel{~}{P}`$,

$`(\mathrm{c})`$ Un faisceau inversible $`\stackrel{~}{}`$ sur $`\stackrel{~}{P}`$,

$`(\mathrm{d})`$ Une action du tore $`\stackrel{~}{G}`$ sur $`\stackrel{~}{P}`$ et $`\stackrel{~}{}`$, notée $`S_g:\stackrel{~}{P}\stackrel{~}{P}`$ et $`S_g^{}:\stackrel{~}{}\stackrel{~}{}`$, pour tout point fonctoriel $`g`$ de $`\stackrel{~}{G}`$,

$`(\mathrm{e})`$ Une action de $`𝔟`$ sur $`\stackrel{~}{P}`$ et $`\stackrel{~}{}`$, notée $`T_\beta :\stackrel{~}{P}\stackrel{~}{P}`$ et $`T_\beta ^{}:\stackrel{~}{}\stackrel{~}{}`$, pour tout $`\beta 𝔟`$,

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 𝔟}T_\beta (U)`$.

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

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

$`(\mathrm{iii})`$ Les actions de $`\stackrel{~}{G}`$ et $`𝔟`$ sur $`\stackrel{~}{P}`$ prolongent leurs actions par translation sur $`\stackrel{~}{G}_\eta `$.

$`(\mathrm{iv})`$ Les actions de $`\stackrel{~}{G}`$ et $`𝔟`$ sur $`\stackrel{~}{}`$ vérifient la condition de compatibilité suivante :

$`S_g^{}T_\beta ^{}=𝔛^{\varphi (\beta )}(g)T_\beta ^{}S_g^{}`$, pour tout $`\beta 𝔟`$ et tout point fonctoriel $`g`$ de $`\stackrel{~}{G}`$.

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

###### Définition 1.6

Une étoile $`\mathrm{\Sigma }`$ de $`𝔞`$ est un sous-ensemble fini de $`𝔞`$ tel que $`0\mathrm{\Sigma }`$, $`\mathrm{\Sigma }=\mathrm{\Sigma }`$ et $`\mathrm{\Sigma }`$ contient une base de $`𝔞`$.

Soit l’anneau gradué : $`=_{k=0}^{\mathrm{}}K[𝔛^\alpha ;\alpha 𝔞]\theta ^k.`$

On définit une action du groupe $`𝔟`$ sur $``$ par : $`\{\begin{array}{cc}T_\beta ^{}(c)=c\text{, pour }cK,\hfill & \\ T_\beta ^{}(𝔛^\alpha )=𝔛^\alpha (\beta )𝔛^\alpha \text{, pour }\alpha 𝔞,\hfill & \\ T_\beta ^{}(\theta )=𝔛^{\varphi (\beta )}(\beta )𝔛^{2\varphi (\beta )}\theta .\hfill & \end{array}`$

###### Définition 1.7

Soit $`\mathrm{\Sigma }`$ une étoile de $`𝔞`$; on note $`R_{\varphi ,\mathrm{\Sigma }}`$ le sous anneau de $``$ engendré sur $`R`$ par les éléments $`T_\beta ^{}(𝔛^\alpha \theta )`$ pour $`\beta 𝔟`$ et $`\alpha \mathrm{\Sigma }`$, i.e. :

$$R_{\varphi ,\mathrm{\Sigma }}=R[𝔛^{\varphi (\beta )+\alpha }(\beta )𝔛^{2\varphi (\beta )+\alpha }\theta ]_{\beta 𝔟,\alpha \mathrm{\Sigma }}.$$

D’après le lemme 1.4 on peut supposer, quitte à remplacer $`\varphi `$ par $`n\varphi `$, que $`R_{\varphi ,\mathrm{\Sigma }}R[𝔛^\alpha \theta ]_{\alpha 𝔞}`$.

On montre alors que $`\mathrm{Proj}(R_{\varphi ,\mathrm{\Sigma }})`$ est un modèle relativement complet pour $`\stackrel{~}{G}`$. Comme $`R_{\varphi ,\mathrm{\Sigma }}`$ est un anneau gradué engendré par ses éléments de degré $`1`$, $`\mathrm{Proj}(R_{\varphi ,\mathrm{\Sigma }})`$ est muni d’un faisceau très ample inversible canonique, qui est le $`𝒪(1)`$.

On obtient ainsi le :

###### Théorème 1.8

$`(\mathrm{Mumford}\text{[10]})`$ Soit $`\stackrel{~}{G}`$ un tore déployé sur $`S`$, $`𝔟\stackrel{~}{G}_\eta `$ un groupe de périodes et $`\varphi :𝔟𝔞`$ une polarisation. Alors, pour toute étoile $`\mathrm{\Sigma }`$ de $`𝔞`$, quitte à remplacer $`\varphi `$ par $`n\varphi `$ $`(n`$, $`n0)`$, $`\stackrel{~}{P}=\mathrm{Proj}(R_{\varphi ,\mathrm{\Sigma }})`$, muni de son faisceau canonique $`𝒪(1)`$, est un modèle relativement complet pour $`\stackrel{~}{G}`$ sur $`S`$, par rapport à $`(𝔟,2\varphi )`$.

On remarque que $`\stackrel{~}{G}_\eta =\stackrel{~}{P}_\eta `$.

La construction du quotient procède en deux temps : Mumford forme d’abord le quotient $`𝔓`$ du complété formel de $`\stackrel{~}{P}`$ le long du bord, par $`𝔟`$. Ce quotient est un schéma formel projectif et de type fini, donc s’algébrise en un schéma projectif de type fini noté $`P`$.

Considérons l’ouvert $`_{\beta 𝔟}T_\beta (\stackrel{~}{G})\stackrel{~}{P}`$. Soit $`\stackrel{~}{B}=\stackrel{~}{P}_{\beta 𝔟}T_\beta (\stackrel{~}{G})`$ le sous-schéma réduit, et $`𝔅`$ le quotient par $`𝔟`$ de son complété formel. C’est la complétion formelle d’un sous-schéma réduit $`BP`$. Posons $`G=P\mathrm{\backslash }B`$. Par construction les complétions $`I`$-adiques de $`G`$ et $`\stackrel{~}{G}`$ sont canoniquement isomorphes.

###### Théorème 1.9

$`(\mathrm{Mumford}\text{[10]})`$ Le schéma $`G/S`$ est semi-abélien, $`G_\eta `$ est une variété abélienne et $`G_0`$ est un tore déployé de rang $`r`$. Le schéma $`G/S`$ ne dépend que du tore $`\stackrel{~}{G}`$ et du groupe de périodes $`𝔟`$, et il est indépendant de la fonction de polarisation $`\varphi `$ et du modèle relativement complet $`\stackrel{~}{P}`$. La construction de $`G/S`$ est fonctorielle en $`\stackrel{~}{G}/S`$ et en $`𝔟`$.

## 2 Construction de VAHB dégénérantes.

On applique la construction de Mumford pour construire des variétés abéliennes de Hilbert-Blumenthal dégénérantes. Afin d’éviter des répétitions avec la partie 2 de , nous n’allons donner la définition d’une variété abélienne de Hilbert-Blumenthal que dans le cas où le discriminant $`\mathrm{\Delta }_F`$ du corps $`F`$ est inversible.

###### Définition 2.1

Une variété abélienne de Hilbert-Blumenthal (abrégé VAHB) sur un $`[\frac{1}{\mathrm{\Delta }_F}]`$-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)`$ tels que le faisceau $`\underset{¯}{\omega }=f_{}\mathrm{\Omega }_{A/S}^1`$ soit localement libre de rang $`1`$ sur $`𝔬𝒪_S`$, pour la topologie de Zariski.

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

Soit $`X`$ un idéal fractionnaire de $`F`$, muni de sa positivité $`X_+=X(F)_+`$.

L’anneau de base $`\overline{S}_\sigma `$. Soit $`R=[q^\xi ;\xi X]`$.

Soit $`S=\mathrm{Spec}(R)=𝔾_mX^{}`$ le tore de groupe de caractères $`X`$.

Soit $`\mathrm{\Sigma }`$ un éventail complet lisse de $`X_+^{}`$ et soit $`SS_\mathrm{\Sigma }`$, l’immersion torique associée. On rappelle qu’elle est obtenue en recollant, pour $`\sigma \mathrm{\Sigma }`$, les immersions toriques affines $`SS_\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 \backslash S`$ et $`S_\mathrm{\Sigma }^{}`$ le complété de $`S_\mathrm{\Sigma }`$ le long de $`S_\mathrm{\Sigma }^{\mathrm{}}:=S_\mathrm{\Sigma }\backslash S`$.

Pour écrire les choses plus explicitement, donnons nous une base $`\xi _1^{}`$,..,$`\xi _r^{}`$ de $`\sigma `$ que l’on complète en une base $`\xi _1^{}`$,..,$`\xi _d^{}`$ de $`X^{}`$. Soit $`\xi _1`$,..,$`\xi _d`$ la base duale de $`X`$ et posons $`Z_i=q^{\xi _i}`$. Alors $`R_\sigma =[Z_1,..,Z_r,Z_{r+1}^\pm Z_d^\pm ]`$ et $`S_\sigma ^{\mathrm{}}`$ est le diviseur à croisements normaux de $`S_\sigma `$ défini par l’équation $`Z_1\mathrm{}Z_r=0`$.

On a $`S_\sigma ^{}=\mathrm{Spf}(R_\sigma ^{})`$, où $`R_\sigma ^{}`$ est le complété de $`R_\sigma `$ en l’idéal principal radiciel $`(Z_1\mathrm{}Z_r)`$.

Pour décrire ce complété, on décompose tout $`\underset{¯}{n}=(n_1,..,n_d)^d`$ en $`(\underset{¯}{n}^{},\underset{¯}{n}^{\prime \prime })^r\times ^{dr}`$. Disons qu’une série de Laurent formelle $`_{\underset{¯}{n}^d}c_{\underset{¯}{n}}Z_1^{n_1}\mathrm{}Z_d^{n_d}`$ à coefficients $`c_{\underset{¯}{n}}`$ est $`(Z_1\mathrm{}Z_r)`$-entière si

(i) pour tout $`\underset{¯}{n}^{\prime \prime }`$, $`c_{\underset{¯}{n}^{},\underset{¯}{n}^{\prime \prime }}=0`$, si $`\underset{¯}{n}^{}^r`$,

(ii) pour tout $`H1`$ on a $`c_{\underset{¯}{n}^{},\underset{¯}{n}^{\prime \prime }}=0`$, pour presque tout $`(\underset{¯}{n}^{},\underset{¯}{n}^{\prime \prime })[H,\mathrm{}[^r\times ^{dr}`$.

Le complété $`R_\sigma ^{}`$ s’identifie alors à l’ensemble des séries $`_{\underset{¯}{n}^d}c_{\underset{¯}{n}}Z_1^{n_1}\mathrm{}Z_d^{n_d}`$ qui sont $`(Z_1\mathrm{}Z_r)`$-entières. C’est un anneau normal.

On voit ainsi que $`R_\sigma ^{}`$ est aussi le complété de $`R_\sigma `$ par rapport à la topologie suivante :

$$q^{\xi _i}0\mathrm{Tr}_{F/}(\xi _i\xi ^{})+\mathrm{},\xi ^{}\sigma .$$
(1)
L’anneau de base sur lequel nous effectuons la construction de Mumford ici est $`R_\sigma ^{}`$. Soit $`\overline{S}_\sigma =\mathrm{Spec}(R_\sigma ^{})`$; posons $`\overline{S}{}_{\sigma }{}^{0}=S\underset{S_\sigma }{\times }\overline{S}_\sigma =\mathrm{Spec}(R_\sigma ^{}_{R_\sigma }R)`$. C’est l’ouvert de $`\overline{S}_\sigma `$ obtenu en rendant inversible $`q^\xi `$ pour tout élément $`\xi `$ de $`X\stackrel{ˇ}{\sigma }^0`$ (où $`\stackrel{ˇ}{\sigma }^0`$ désigne l’intérieur du cône dual $`\stackrel{ˇ}{\sigma }`$ de $`\sigma `$). Soit $`\overline{S}_{\sigma 0}:=\overline{S}_\sigma \mathrm{\backslash }\overline{S}_\sigma ^0`$ muni de la structure réduite. Si $`\sigma ^{}\sigma `$, on a une flèche $`\overline{S}_\sigma ^{}\overline{S}_\sigma `$.

Le tore $`\stackrel{~}{G}`$. Soit $`𝔞`$ (=$`P^{}`$ dans les notations de Rapoport ) un idéal du corps de nombres totalement réel $`F`$ et soit $`\stackrel{~}{G}:=(𝔾_m𝔞^{})\times \overline{S}_\sigma `$ le $`\overline{S}_\sigma `$-tore de groupe des caractères $`𝔞`$. Explicitement : $`\stackrel{~}{G}=\mathrm{Spec}\left(R_\sigma ^{}[𝔛^\alpha ;\alpha 𝔞]\right)`$.

L’ensemble des périodes $`𝔟`$. Soit $`𝔟`$ (=$`N`$ dans les notations de Rapoport ) un idéal fractionnaire de $`F`$, tel que

$$𝔞𝔟^1=𝔠\text{ et }𝔞𝔟X$$

Pour chaque $`\beta 𝔟`$ on définit un $`\overline{S}_\sigma ^0`$-point de $`\stackrel{~}{G}`$, par le morphisme

$$R_\sigma ^{}[𝔛^\alpha ;\alpha 𝔞]R_\sigma ^{}_{R_\sigma }R,𝔛^\alpha q^{\alpha \beta }.$$

Ceci définit un homomorphisme $`𝔬`$-équivariant de $`\overline{S}_\sigma ^0`$-schémas en groupes
$`q:𝔟𝔾_m𝔞^{}=\stackrel{~}{G}`$, (où $`𝔟`$ désigne le schéma en groupes constant).

La polarisation $`\varphi `$. Se donner une polarisation $`𝔬`$-linéaire $`\varphi :𝔟𝔞`$ (voir la définition 1.3) revient à se donner un élément $`[\varphi ]𝔠_+=𝔠(F)_+`$.

La construction de Mumford donne un schéma semi-abélien $`G_\sigma `$ sur $`\overline{S}_\sigma `$.

Propriétés du schéma semi-abélien $`G_\sigma `$.

$`-`$ La restriction de $`G_\sigma `$ à $`\overline{S}_\sigma ^0`$ est une VAHB, notée $`G_\sigma ^0`$.

$`-`$ Tout élément $`[\varphi ]𝔠`$ donne une flèche naturelle $`𝔾_m𝔞^{}𝔾_m𝔟^{}`$, d’où, par fonctorialité de la construction, une flèche symétrique $`\varphi `$ de la variété abélienne $`G_\sigma ^0=(𝔾_m𝔞^{})/q(𝔟)`$ vers sa duale $`(G_\sigma ^0)^t=(𝔾_m𝔟^{})/q(𝔞)`$. Si $`[\varphi ]𝔠_+`$, alors $`\varphi `$ est une polarisation.

$`-`$ Par le lemme du serpent, appliqué à la multiplication par $`𝔫`$ dans $`𝔾_\mathrm{m}𝔞^{}`$, on trouve la $`𝔫`$-torsion de $`G_\sigma ^0`$ (qui est le sous-schéma en groupes réduit, intersection des noyaux des multiplications par les éléments de $`𝔫`$) au milieu de la suite exacte

$$1(𝔞/𝔫𝔞)(1)G_\sigma ^0[𝔫]𝔫^1𝔟/𝔟0$$
(2)
$`-`$ La restriction de $`G_\sigma `$ à $`\overline{S}_{\sigma 0}`$ est égale au tore $`(𝔾_\mathrm{m}𝔞^{})\times \overline{S}_{\sigma 0}`$.

$`-`$ La construction est fonctorielle en les $`\sigma \mathrm{\Sigma }`$ et compatible avec l’action de $`𝔬^\times `$, i.e. pour tout $`\sigma ^{}\sigma `$ et pour tout $`u𝔬^\times `$ on a des diagrammes cartésiens :

## 3 $`R`$-pointes et $`(R,𝔫)`$-pointes.

Pour tout idéal $`𝔣𝔬`$ on note $`𝔬_𝔣^\times `$ le sous-groupe de $`𝔬^\times `$ formé des unités congrues à $`1`$ modulo $`𝔣`$. On note $`𝔬_+^\times `$ le groupe des unités totalement positives de $`𝔬`$.

Pour tout $`𝔬`$-réseau $`L`$ de $`F^2`$ notons $`G^+(L)`$ le stabilisateur de $`L`$ dans $`G_+^D`$ (pour l’action à gauche donnée par $`\gamma l=l\gamma ^1`$, pour tout $`\gamma G_{}^D`$ et $`lL`$). On a

$$G^+(𝔬𝔠^{})=\left\{\gamma \left(\begin{array}{cc}𝔬& 𝔠^{}\\ 𝔠𝔡& 𝔬\end{array}\right)\right|\nu (\gamma )𝔬_+^\times D_{}\}.$$

$$\text{Posons }\mathrm{\Gamma }=\mathrm{\Gamma }_1^D(𝔠,𝔫)=\left\{\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)G^+(𝔬𝔠^{})\right|c𝔠𝔡𝔫,d1(\mathrm{mod}𝔫)\}.$$

Cette partie étudie la combinatoire des pointes d’une variété modulaire de Hilbert-Blumenthal en niveau $`\mathrm{\Gamma }_1^D(𝔠,𝔫)`$ et servira à la construction de cartes locales pour les compactifications toroïdales. Cette étude a été déjà effectuée par Rapoport en niveau $`\mathrm{\Gamma }^D(𝔠,𝔫)`$ et en niveau $`\mathrm{\Gamma }_1^D(𝔠,𝔫)`$ pour une pointe non-ramifiée, lorsque $`𝔫`$ est un entier naturel et $`D=𝔾_\mathrm{m}`$ (voir ). Par ailleurs, lorsque $`F=`$, l’étude est faite par Deligne et Rapoport , en niveau $`\mathrm{\Gamma }(𝔫)`$, et par Katz et Mazur  en général.

Soit $`𝔠`$ un idéal fractionnaire de $`F`$, muni de sa de positivité $`𝔠_+=𝔠(F)_+`$.

Les objets combinatoires considérés dans cette partie sont inspirés par les structures de niveau des VAHB : une VAHB $`𝔠`$-polarisée complexe admet une uniformisation de la forme $`F/L`$, où $`L`$ est un $`𝔬`$-réseau de $`F^2`$ tel que $`_𝔬^2L=𝔠^{}`$. Or, un tel réseau s’écrit $`L=𝔟𝔞^{}`$, avec $`𝔞`$ et $`𝔟`$ deux idéaux fractionnaires de $`F`$ tels que $`𝔞^{}𝔟=𝔠^{}`$. La $`\mu _𝔫`$-structure de niveau sur une telle VAHB est donnée alors par un homomorphisme injectif de $`𝔬`$-modules $`\beta :𝔫^1𝔡^1/𝔡^1𝔫^1L/L`$. Par ailleurs tout $`𝔬`$-module projectif de rang $`2`$ est isomorphe à un $`𝔬`$-réseau de $`F^2`$. La définition suivante est une variante de celle donnée par Rapoport dans le cas $`D=𝔾_\mathrm{m}`$ :

###### Définition 3.1

Une $`R`$-pointe $`𝒞`$ (resp. une classe d’isomorphisme de $`R`$-pointes) est une classe d’équivalence de sextuplets $`(𝔞,𝔟,L,i,j,\lambda )`$, où

$`(\mathrm{i})`$ $`𝔞`$ et $`𝔟`$ sont deux idéaux fractionnaires de $`F`$ tels que $`𝔞^{}𝔟=𝔠^{}`$,

$`(\mathrm{ii})`$ $`L`$ est un $`𝔬`$-réseau de $`F^2`$ tel que l’on a une suite exacte $`𝔬`$-modules

$$0𝔞^{}\stackrel{i}{}L\stackrel{j}{}𝔟0,$$

$`(\mathrm{iii})`$ $`\lambda :_𝔬^2L𝔠^{}`$ est un isomorphisme $`𝔬`$-linéaire (polarisation),

pour la relation d’équivalence suivante : $`(𝔞,𝔟,L,i,j,\lambda )`$ et $`(𝔞^{},𝔟^{},L^{},i^{},j^{},\lambda ^{})`$ sont équivalents, si $`𝔞=𝔞^{}`$, $`𝔟=𝔟^{}`$ (resp. $`𝔞=\xi 𝔞^{}`$ et $`𝔟=\xi 𝔟^{}`$ avec $`\xi F`$) et s’il existe un diagramme commutatif de $`𝔬`$-modules :

où les flèches verticales sont des isomorphismes et tel que l’isomorphisme $`_𝔬^2L_𝔬^2L^{}`$ (déduit de $`LL^{}`$) induise, via $`\lambda `$ et $`\lambda ^{}`$, un automorphisme de $`𝔠^{}`$, donné par un élément de $`𝔬_{D+}^\times :=𝔬_+^\times D_{}`$.

L’application qui à une $`R`$-pointe $`𝒞=(𝔞,𝔟,L,i,j,\lambda )`$ associe l’idéal $`𝔟`$ est une bijection entre l’ensemble des $`R`$-pointes et l’ensemble $`_F`$ des idéaux fractionnaires de $`F`$. En effet, par (i) la donnée de $`𝔟`$ détermine $`𝔞=𝔟𝔠`$, et deux suites exactes courtes (ii), correspondant au même idéal $`𝔟`$, sont équivalentes, car toutes les deux sont scindées.

La notion d’isomorphisme de $`R`$-pointes correspond alors à celle d’homothétie des idéaux. On obtient par passage au quotient un isomorphisme entre les classes d’isomorphisme de $`R`$-pointes et le groupe $`\mathrm{Cl}_F`$ des classes d’idéaux de $`F`$.

Une $`R`$-pointe est déterminée par son $`𝔬`$-réseau $`L`$ de $`F^2`$ (en effet, la donnée d’un tel réseau détermine les idéaux $`𝔞^{}:=L(\{0\}\times F)`$ et $`𝔟=𝔠𝔞^1`$, et donc la $`R`$-pointe $`𝒞`$, à équivalence près). Le groupe $`G_{}^𝔬:=\{\gamma G_{}^D|\nu (\gamma )𝔬_+^\times \}`$ agit transitivement sur ces réseaux. Le stabilisateur du réseau $`𝔬𝔠^{}`$ dans $`G_{}^𝔬`$ est égal à $`G^+(𝔬𝔠^{})`$. De plus, deux réseaux $`L`$ et $`L^{}`$ donnent la même $`R`$-pointe $`𝒞`$, si et seulement s’ils sont dans la même $`T_{}U_{}`$-orbite. Le diagramme commutatif suivant, traduit la correspondance entre les $`R`$-pointes et les pointes classiques dans $`^1(F)`$ pour le sous-groupe de congruence $`G^+(𝔬𝔠^{})`$

où pour tout $`\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)G_{}^𝔬`$ la double classe $`B_{}\gamma ^1G^+(𝔬𝔠^{})`$ s’envoie d’une part sur la pointe classique $`G^+(𝔬𝔠^{})\gamma \mathrm{}`$ et d’autre part sur l’idéal $`𝔟=a𝔬+c𝔠^{}`$ (voir  Lemme 1.7).

###### Définition 3.2

$`(\mathrm{i})`$ Une $`(R,𝔫)`$-pointe $`𝒞`$ (resp. une classe d’isomorphisme de $`(R,𝔫)`$-pointes) est la donnée d’une classe d’équivalence de paires formées d’un sextuplet $`(𝔞,𝔟,L,i,j,\lambda )`$ (comme dans la définition 3.1) et d’un morphisme injectif de $`𝔬`$-modules

$$\beta :𝔫^1𝔡^1/𝔡^1𝔫^1L/L,$$

pour la relation d’équivalence suivante:

$`𝒞`$ est équivalent à $`𝒞^{}`$, s’il existe un isomorphisme de $`𝔬`$-modules $`LL^{}`$ induisant une égalité (resp. un isomorphisme) des $`R`$-pointes sous-jacentes et dont la réduction modulo $`𝔫`$ rend le diagramme suivant commutatif :

On associe à $`𝒞`$ l’idéal fractionnaire $`𝔟^{}𝔟`$ tel que $`𝔟^{}/𝔟=j(\mathrm{im}(\beta ))`$.

$`(\mathrm{ii})`$ Une $`(R,𝔫)`$-pointe est dite non-ramifiée lorsque la flèche $`\beta :𝔫^1𝔡^1/𝔡^1𝔫^1L/L`$ se factorise par la flèche naturelle $`𝔫^1𝔞^{}/𝔞^{}𝔫^1L/L`$ (ou si de manière équivalente $`𝔟^{}=𝔟`$).

$`(\mathrm{iii})`$ Soit une $`(R,𝔫)`$-pointe $`𝒞`$ et soit $`n`$ l’exposant du groupe $`𝔟^{}/𝔟`$. Une $`(R,𝔫)`$-pointe $`𝒞^{}`$ est dite appartenir à la même $`(R,𝔫)`$-composante que $`𝒞`$ (resp. à une $`(R,𝔫)`$-composante isomorphe), s’il existe $`\overline{a}(/n)^\times `$ et un isomorphisme de $`𝔬`$-modules $`LL^{}`$ induisant une égalité (resp. un isomorphisme) des $`R`$-pointes sous-jacentes et dont la réduction $`\psi `$ modulo $`𝔫`$ fait commuter le diagramme suivant

où la flèche $`\phi `$ est un automorphisme $`𝔬`$-linéaire de $`𝔫^1L/L`$, induisant l’identité sur $`𝔫^1𝔞^{}/𝔞^{}`$ et la multiplication par $`\overline{a}`$ sur $`𝔫^1𝔟/𝔟`$.

Soit $`y_0`$ tel que $`𝔬=𝔫+y_0𝔠`$. On munit la $`R`$-pointe $`L_0=𝔬𝔠^{}`$ de la structure de niveau $`\beta _0:𝔫^1𝔡^1/𝔡^1\stackrel{y_0}{}𝔫^1𝔠^{}/𝔠^{}𝔫^1L_0/L_0`$. Le groupe $`G_{}^𝔬`$ agit transitivement sur ces réseaux munis de structures de niveau et le stabilisateur de $`(L_0,\beta _0)`$ est $`\mathrm{\Gamma }`$. De plus, deux réseaux $`L`$ et $`L^{}`$ donnent la même $`R`$-pointe $`𝒞`$, si et seulement s’ils sont dans la même $`T_{}U_{}`$-orbite. D’où le diagramme suivant :

###### Proposition 3.3

Soit une $`(R,𝔫)`$-pointe $`𝒞`$, donnée par $`T_{}U_{}\gamma ^1\mathrm{\Gamma }`$, $`\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)G_{}^𝔬`$. Alors,

$`(\mathrm{i})`$ L’idéal $`𝔟`$, correspondant à la $`R`$-pointe sous-jacente à $`𝒞`$ est donné par $`a𝔬+c𝔠^{}`$ et sa classe ne dépend que de la classe d’isomorphisme de la pointe $`𝒞`$.

Quitte à changer $`\gamma `$, en le multipliant par un élément de $`U_{}`$, ce qui ne change pas sa classe double, on suppose que $`\gamma G_{}^𝔬\left(\begin{array}{cc}𝔟& (𝔟𝔠)^{}\\ 𝔟𝔠𝔡& 𝔟^1\end{array}\right)`$. Sous cette hypothèse:

$`(\mathrm{ii})`$ La structure de niveau de $`𝒞`$ est donnée par $`\beta :𝔫^1𝔡^1/𝔡^1\stackrel{(y_0c,y_0d)}{}𝔫^1L/L`$, où $`L=𝔟𝔞^{}`$ , avec $`𝔞=𝔟𝔠`$.

$`(\mathrm{iii})`$ L’idéal $`𝔟^{}`$ de la définition 3.2(i) est contenu dans $`𝔫^1𝔟`$ et sa classe ne dépend que de la classe d’isomorphisme de la pointe $`𝒞`$. De plus $`𝔟^{}=a𝔬+c(𝔠𝔫)^{}`$. La pointe $`𝒞`$ est non-ramifiée, si et seulement si, $`c𝔫𝔟𝔠𝔡`$.

$`(\mathrm{iv})`$ Le groupe d’automorphismes de la $`(R,𝔫)`$-pointe $`𝒞`$ est égal à $`\gamma ^1\mathrm{\Gamma }\gamma B_{}`$. La suite exacte $`1UBT1`$, donne une suite exacte :

$$0X^{}\gamma ^1\mathrm{\Gamma }\gamma B_{}𝔬_𝒞^\times 1,$$

$`X=𝔠𝔟𝔟^{}`$ et $`𝔬_𝒞^\times =\{(u,ϵ)𝔬^\times \times 𝔬_{D+}^\times |u1𝔫𝔟^{}𝔟^1,uϵ1𝔟𝔟_{}^{}{}_{}{}^{1}\}`$. En particulier, on a $`𝔬_{𝒞,1}^\times :=𝔬_𝒞^\times T_1=\{u𝔬^\times |u(1+𝔟𝔟_{}^{}{}_{}{}^{1})(1+𝔫𝔟^{}𝔟^1)\}.`$

$`(\mathrm{v})`$ L’ensemble des $`(R,𝔫)`$-pointes est fibré au-dessus de $`_F`$. La fibre de l’idéal $`𝔟`$ est isomorphe à $`(G^+(𝔟𝔞^{})T_{}U_{})\mathrm{\backslash }G^+(𝔟𝔞^{})/\gamma ^1\mathrm{\Gamma }\gamma `$, où $`𝔞=𝔟𝔠`$, $`L=𝔟𝔞^{}`$. Elle s’identifie avec l’ensemble :

$$(𝔫^1L/L)_{\mathrm{prim}}/\left\{\left(\begin{array}{cc}uϵ& \xi ^{}\\ 0& u^1\end{array}\right)\right|u𝔬^\times ,ϵ𝔬_{D+}^\times ,\xi ^{}(𝔠𝔟^\mathfrak{2})^{}\},$$

$`(𝔫^1L/L)_{\mathrm{prim}}`$ désigne l’ensemble des vecteurs primitifs du $`𝔬/𝔫`$-module $`𝔫^1L/L`$, et son cardinal est égal à $`\underset{𝔫^1𝔟𝔟^{}𝔟}{}\mathrm{\#}(𝔬/𝔟𝔟_{}^{}{}_{}{}^{1})^\times \mathrm{\#}(𝔬/𝔫𝔟^{}𝔟^1)^\times /[(𝔬^\times \times 𝔬_{D+}^\times ):𝔬_𝒞^\times ].`$

$`(\mathrm{vi})`$ L’ensemble des $`(R,𝔫)`$-composantes est fibré au-dessus de $`_F`$. La fibre de l’idéal $`𝔟`$ s’identifie avec l’ensemble :

$$(𝔫^1L/L)_{\mathrm{prim}}/\left\{\left(\begin{array}{cc}\overline{a}uϵ& \xi ^{}\\ 0& u^1\end{array}\right)\right|u𝔬^\times ,ϵ𝔬_{D+}^\times ,\overline{a}(/n)^\times ,\xi ^{}(𝔠𝔟^\mathfrak{2})^{}\}$$

qui est de cardinal $`\underset{𝔫^1𝔟𝔟^{}𝔟}{}\mathrm{\#}(𝔬/𝔟𝔟_{}^{}{}_{}{}^{1})^\times \mathrm{\#}(𝔬/𝔫𝔟^{}𝔟^1)^\times /\mathrm{\#}(/n)^\times [(𝔬^\times \times 𝔬_{D+}^\times ):𝔬_{\overline{𝒞}}^\times ]`$, où $`n`$ est égal à l’exposant du groupe $`𝔟^{}/𝔟`$. De plus

$$𝔬_{\overline{𝒞}}^\times =\{(u,ϵ)𝔬^\times \times 𝔬_{D+}^\times |u1𝔫𝔟^{}𝔟^1,uϵ(/n)^\times +𝔟𝔟_{}^{}{}_{}{}^{1}\},$$

$$𝔬_{\overline{𝒞},1}^\times =\{u𝔬^\times |u(1+𝔫𝔟^{}𝔟^1)((/n)^\times +𝔟𝔟_{}^{}{}_{}{}^{1})\}.$$

Démonstration :  (i) La $`R`$-pointe sous-jacente à $`𝒞`$ correspond à la classe double $`T_{}U_{}\gamma ^1G^+(𝔬𝔠^{})`$ et donc à la $`G^+(𝔬𝔠^{})`$-pointe $`\gamma \mathrm{}=\left[\begin{array}{c}a\\ c\end{array}\right]`$. Par le diagramme qui précède la définition 3.2 la $`R`$-pointe $`𝒞`$ correspond à l’idéal $`𝔟=a𝔬+c𝔠^{}`$.

(ii)(iii) La structure de niveau $`\beta `$ de $`L`$ est obtenue en faisant agir $`\gamma ^1`$ sur la structure de niveau $`\beta _0`$ de $`L_0`$. Or, par le choix que nous avons fait de $`\gamma `$, on a $`L_0\gamma =𝔟𝔞^{}=L`$ et donc $`\beta :𝔫^1𝔡^1/𝔡^1\stackrel{(cy_0,dy_0)}{}𝔟^{}/𝔟𝔫^1𝔞^{}/𝔞^{}𝔫^1L/L`$. La pointe est donc non-ramifiée si, et seulement, si $`cy_0𝔫^1𝔡^1𝔟`$, i.e. $`c𝔫𝔟𝔠𝔡`$. Enfin $`𝔟^{}=𝔟+cy_0𝔡^1𝔫^1=a𝔬+c𝔠^{}+c𝔠^{}𝔫^1=a𝔬+c(𝔠𝔫)^{}`$. L’indépendance des classes de $`𝔟`$ et $`𝔟^{}`$ découle du lemme 1.7 de  .

(iv) Pour le calcul du groupe d’automorphismes $`\gamma ^1\mathrm{\Gamma }\gamma B_{}`$ de la $`(R,𝔫)`$-pointe $`𝒞`$, on remarque qu’il est formé de matrices $`\left(\begin{array}{cc}uϵ& \xi _{u,ϵ}^{}\\ 0& u^1\end{array}\right)`$, avec $`u𝔬^\times `$, $`ϵ𝔬_{D+}^\times `$, $`\xi ^{}(𝔠𝔟^2)^{}`$ (c’est la forme générale d’un automorphisme de la $`R`$-pointe sous-jacente) qui respectent en plus la structure de niveau $`\beta `$. Ceci équivaut au système

$$\{\begin{array}{cc}(uϵ1)c𝔫𝔟𝔠𝔡\hfill & \\ (u1)dϵ^1\xi _{u,ϵ}^{}c𝔫𝔠𝔡𝔞^{}=𝔫𝔟^1\hfill & \end{array}.$$
(3)
En posant $`u=ϵ=1`$ on retrouve que $`X^{}`$ est formé des $`\xi ^{}c^1𝔫𝔟^1(𝔠𝔟^2)^{}=(𝔠𝔟)^{}((c(𝔠𝔫^{})^1𝔟^1)=(𝔠𝔟𝔟^{})^{}`$, i.e. $`X=𝔠𝔟𝔟^{}`$.

Pour le calcul de $`𝔬_𝒞^\times `$ on remarque que la première condition de (3) équivaut à $`uϵ1c^1𝔫𝔟𝔠𝔡𝔬=𝔟(c(𝔠𝔫)^1𝔟^1)=𝔟𝔟_{}^{}{}_{}{}^{1}`$. La deuxième condition équivaut à $`u1d^1(𝔫𝔟^1+c(𝔠𝔟^\mathfrak{2})^{})=(d𝔟)^1𝔫𝔟^{}𝔟^1`$. Par ailleurs $`u1𝔬c^1𝔫𝔟^{}𝔠𝔡=(c(𝔟𝔠)^{})^1𝔫𝔟^{}𝔟^1`$. Comme $`(d𝔟)^1(c(𝔟𝔠)^{})^1=(d𝔟+c(𝔟𝔠)^{})^1=𝔬`$, par le choix de $`\gamma `$, on en déduit que la deuxième condition de (3) équivaut à $`u1𝔫𝔟^{}𝔟^1`$.

Notons que pour tout $`u𝔬_𝒞^\times `$, $`\xi _{u,ϵ}^{}c^1(𝔫𝔟^1+d(𝔟𝔟_{}^{}{}_{}{}^{1}𝔫𝔟^{}𝔟^1))(𝔠𝔟𝔟^{})^{}+d𝔟((𝔠𝔟^2)^{}(𝔫𝔠𝔟_{}^{}{}_{}{}^{2})^{})(𝔠𝔟𝔟^{})^{}+(𝔠𝔟^2)^{}(𝔫𝔠𝔟_{}^{}{}_{}{}^{2})^{}`$, et ce dernier est un idéal inclus (parfois strictement!) dans $`(𝔠𝔟^2)^{}`$ (voir l’exemple à la fin de l’article).

(v)(vi) Comme $`\gamma `$ transforme $`𝔬𝔠^{}`$ en $`𝔟𝔞^{}`$ et $`\gamma ^1G^+(𝔬𝔠^{})\gamma =G^+(𝔟𝔞^{})`$, la fibre de l’idéal $`𝔟`$ est isomorphe à $`(G^+(𝔟𝔞^{})T_{}U_{})\mathrm{\backslash }G^+(𝔟𝔞^{})/\gamma ^1\mathrm{\Gamma }\gamma `$, L’ensemble $`G^+(𝔟𝔞^{})/\gamma ^1\mathrm{\Gamma }\gamma `$ s’identifie avec celui des vecteurs primitifs du $`𝔬/𝔫`$-module $`𝔫^1L/L`$. Le calcul du cardinal de la fibre se fait en analysant la condition sous laquelle deux vecteurs primitifs correspondent à la même $`(R,n)`$-pointe. La démonstration du (vi) est tout a fait analogue.

Comme par définition $`n𝔬𝔟𝔟_{}^{}{}_{}{}^{1}𝔬`$, l’ensemble $`(/n)^\times +𝔟𝔟_{}^{}{}_{}{}^{1}`$ est bien une réunion de classes de $`𝔬`$, modulo l’idéal entier $`𝔟𝔟_{}^{}{}_{}{}^{1}`$ Notons que $`[𝔬_{\overline{𝒞}}^\times :𝔬_𝒞^\times ]`$ divise $`\mathrm{\#}(/n)^\times `$ et le quotient représente le nombre de $`(R,n)`$-pointes dans la $`(R,n)`$-composante $`\overline{𝒞}`$. $`\mathrm{}`$

###### Exemple 3.4

On pose $`𝔠=𝔬`$ (polarisation principale) et $`G=G^{}`$ ($`𝔬_{D+}^\times =\{1\}`$).

$`(\mathrm{i})`$ Si $`F=`$, $`𝔫=p`$, avec $`p`$ un nombre premier, on a $`p1`$ $`(R,𝔫)`$-pointes, au-dessus de la $`R`$-pointe $`\mathrm{}`$ ($`𝔟=`$), dont

$`-`$ $`(p1)/2`$ non-ramifiées, avec $`𝔟^{}=`$ et $`𝔬_{\overline{𝒞}}^\times =𝔬_𝒞^\times =\{1\}`$. Chacune de ces pointes est seule dans sa $`(R,𝔫)`$-composante.

$`-`$ $`(p1)/2`$ ramifiées, avec $`𝔟^{}=p^1`$ et $`𝔬_{\overline{𝒞}}^\times =\{\pm 1\}𝔬_𝒞^\times =\{1\}`$, contenues dans une seule $`(R,𝔫)`$-composante.

$`(\mathrm{ii})`$ Si $`𝔫=𝔭^2`$, avec $`𝔭`$ un idéal premier de $`𝔬`$ de degré résiduel $`1`$ ($`\mathrm{N}(𝔭)=p`$, avec $`p`$ un nombre premier), on a 3 types de $`(R,𝔫)`$-pointes, au-dessus de la $`R`$-pointe $`\mathrm{}`$ ($`𝔟=𝔬`$) :

$`-`$ si $`𝔟^{}=𝔬`$, on a $`n=1`$, $`𝔬_{\overline{𝒞}}^\times =𝔬_𝒞^\times =𝔬_{𝔭^2}^\times `$, et donc on a $`p(p1)/[𝔬^\times :𝔬_{𝔭^2}^\times ]`$ pointes non-ramifiées, chacune seule dans sa $`(R,𝔫)`$-composante.

$`-`$ si $`𝔟^{}=𝔭^1`$, on a $`n=p`$, $`𝔬_{\overline{𝒞}}^\times =𝔬_𝒞^\times =𝔬_𝔭^\times `$, et donc on a $`(p1)^2/[𝔬^\times :𝔬_𝔭^\times ]`$ pointes peu ramifiées, partagées par groupes de $`(p1)`$, en $`(p1)/[𝔬^\times :𝔬_𝔭^\times ]`$ $`(R,𝔫)`$-composantes.

$`-`$ si $`𝔟^{}=𝔭^2`$, on a $`n=p^2`$, $`𝔬_{\overline{𝒞}}^\times =𝔬^\times `$, $`𝔬_𝒞^\times =𝔬_{𝔭^2}^\times `$, et donc on a $`p(p1)/[𝔬^\times :𝔬_{𝔭^2}^\times ]`$ pointes très ramifiées, contenus dans une seule $`(R,𝔫)`$-composante.

$`(\mathrm{iii})`$ Si $`𝔫=𝔭`$, avec $`𝔭`$ un idéal premier de $`𝔬`$ de degré résiduel $`2`$ ($`\mathrm{N}(𝔭)=p^2`$, avec $`p`$ un nombre premier), on a 2 types de $`(R,𝔫)`$-pointes, au-dessus de la $`R`$-pointe $`\mathrm{}`$ ($`𝔟=𝔬`$) :

$`-`$ si $`𝔟^{}=𝔬`$, on a $`n=1`$, $`𝔬_{\overline{𝒞}}^\times =𝔬_𝒞^\times =𝔬_𝔭^\times `$, et donc on a $`(p^21)/[𝔬^\times :𝔬_𝔭^\times ]`$ pointes non-ramifiées, chacune seule dans sa $`(R,𝔫)`$-composante.

$`-`$ si $`𝔟^{}=𝔭^1`$, on a $`n=p`$, $`𝔬_𝒞^\times =𝔬_𝔭^\times `$ $`𝔬_{\overline{𝒞}}^\times =\{u𝔬^\times |u^pu𝔭\}`$, et donc on a $`(p^21)/[𝔬^\times :𝔬_𝔭^\times ]`$ pointes peu ramifiées, partagées par groupes de $`(p1)/[𝔬_{\overline{𝒞}}^\times :𝔬_𝔭^\times ]`$, en $`(p+1)/[𝔬^\times :𝔬_{\overline{𝒞}}^\times ]`$ $`(R,𝔫)`$-composantes.

## 4 Construction des cartes locales.

Soit $`𝔠`$ un idéal de $`F`$, muni de sa positivité naturelle $`𝔠_+=𝔠(F)_+`$. Posons $`\mathrm{\Delta }=\mathrm{\Delta }_F\mathrm{N}(𝔫)=\mathrm{N}(𝔡𝔫)`$. Nous identifions $`T_1\times D`$ et $`T`$ par $`(u,ϵ)\left(\begin{array}{cc}uϵ& 0\\ 0& u^1\end{array}\right)`$.

On on considère le 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 classes d’isomorphisme de quadruplets $`(A,\iota ,\lambda ,\alpha )/S`$ (resp. $`(A,\iota ,\overline{\lambda },\alpha )/S`$), où $`(A,\iota )`$ est une VAHB (voir  Déf.2.2), $`\lambda `$ est une $`𝔠`$-polarisation sur $`A`$ (resp. $`\overline{\lambda }`$ est une classe de $`𝔠`$-polarisations; voir  Déf.2.3), et $`\alpha :(𝔬/𝔫)(1)A[𝔫]`$ est une $`\mu _𝔫`$-structure de niveau (voir  Déf.2.5).

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

Le foncteur $`\underset{¯}{}`$ admet un schéma de modules grossier $`M`$ sur $`[\frac{1}{\mathrm{N}(𝔫)}]`$ quasi-projectif, normal, géométriquement connexe et lisse au-dessus de $`[\frac{1}{\mathrm{\Delta }}]`$ (voir  Cor.4.2).

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`$.

Le but de cette partie est de munir les VAHB construites dans la partie 2 de différentes $`\mu _𝔫`$-structures de niveau, et ainsi fournir les cartes locales servant à compactifier la variété modulaire de Hilbert $`M`$.

A chaque $`(R,𝔫)`$-composante $`𝒞`$, on peut associer par la Déf.3.2 et la Prop.3.3 des idéaux $`𝔟`$, $`𝔟^{}`$ et $`X=𝔠𝔟𝔟^{}`$, un entier $`n`$ égal à l’exposant du groupe $`𝔟^{}/𝔟`$, des groupes d’unités $`𝔬_𝒞^\times `$, $`𝔬_{\overline{𝒞}}^\times `$, $`𝔬_{𝒞,1}^\times `$, $`𝔬_{\overline{𝒞},1}^\times `$ et des sous-groupes $`H_𝒞=𝔬_{\overline{𝒞}}^\times /𝔬_𝒞^\times `$, $`H_{𝒞,1}=𝔬_{\overline{𝒞},1}^\times /𝔬_{𝒞,1}^\times `$ du groupe $`(/n)^\times `$ (ces objets sont a priori associés à une $`(R,𝔫)`$-pointe, mais sont constants au sein d’une $`(R,𝔫)`$-composante).

Soit une $`(R,𝔫)`$-composante $`𝒞`$ et considérons le tore $`S=S_𝒞=\mathrm{G}_mX^{}`$. Soit $`\mathrm{\Sigma }^𝒞`$ un éventail complet de $`X_+^{}`$. Soit $`\sigma \mathrm{\Sigma }^𝒞`$. La construction de la partie précédente, appliquée à $`(X,𝔞,𝔟)`$, nous donne alors un schéma semi-abélien $`G_\sigma /\overline{S}_\sigma `$, muni d’une action de $`𝔬`$ et dont la restriction à $`G_\sigma ^0/\overline{S}_\sigma ^0`$ est une VAHB $`𝔠`$-polarisée.

En appliquant une deuxième fois la construction de la partie précédente, cette fois à $`(X,𝔞,𝔟^{})`$, on obtient un schéma semi-abélien $`G_\sigma ^{}/\overline{S}_\sigma `$, muni d’une action de $`𝔬`$ et dont la restriction $`G^{}{}_{\sigma }{}^{0}/\overline{S}_\sigma ^0`$ est une VAHB $`𝔠^{}=𝔞𝔟_{}^{}{}_{}{}^{1}`$-polarisée. Par fonctorialité on a une flèche $`G_\sigma G_\sigma ^{}`$, dont la restriction $`G_\sigma ^0G^{}_\sigma ^0`$ est une isogénie. On en déduit la suite exacte :

$$0𝔟^{}/𝔟\stackrel{𝑞}{}G_\sigma ^0[𝔫]G^{}{}_{\sigma }{}^{0}[𝔫]1.$$
(4)
Considérons d’abord le cas où $`𝒞`$ est non-ramifiée. On a alors $`𝔟=𝔟^{}`$ et donc $`X=𝔞𝔟`$. La variété abélienne $`G_\sigma ^0`$ associée à une $`(R,𝔫)`$-composante non-ramifiée est naturellement munie d’une $`\mu _𝔫`$-structure de niveau $`(𝔬/𝔫)(1)(𝔞/𝔫𝔞)(1)G_\sigma ^0[𝔫]`$, où la première flèche vient de l’isomorphisme $`\beta :𝔫^1𝔡^1/𝔡^1𝔫^1𝔞^{}/𝔞^{}`$ et la deuxième du (2).

Passons maintenant au cas où $`𝒞`$ est ramifiée. Afin de munir $`G_\sigma ^0`$ d’une $`\mu _𝔫`$-structure de niveau, on doit :

$`-`$ choisir un relèvement de $`𝔟^{}/𝔟`$ dans $`\mathrm{im}(\beta )`$ (appelé uniformisation de $`𝒞`$),

$`-`$ se placer dans ce cas au-dessus de $`\mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])`$, où $`\zeta _𝒞`$ désigne une racine de l’unité d’ordre égal à l’exposant $`n`$ du groupe abélien $`𝔟^{}/𝔟`$.

Au-dessus de $`\mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])`$ on a un isomorphisme canonique $`𝔟^{}/𝔟_{}^{}{}_{}{}^{}(𝔟^{}/𝔟)(1)`$, d’où une $`\mu _𝔫`$-structure de niveau sur $`G_\sigma ^0`$ :

$`(𝔬/𝔫)(1)(𝔞/𝔫𝔞)(1)\times (𝔟^{}/𝔟_{}^{}{}_{}{}^{})(1)(𝔞/𝔫𝔞)(1)\times 𝔟^{}/𝔟\stackrel{(\text{2})(\text{4})}{}G_\sigma ^0[𝔫],`$

où la première inclusion vient de la flèche $`\beta :𝔫^1𝔡^1/𝔡^1𝔫^1𝔞^{}/𝔞^{}\times 𝔟^{}/𝔟`$.

###### Proposition 4.1

$`(\mathrm{i})`$ Pour toute $`(R,𝔫)`$-composante uniformisée $`𝒞`$ et pour tout cône $`\sigma \mathrm{\Sigma }^𝒞`$ la construction ci-dessus donne un carré cartésien :

$$\begin{array}{cccc}G_\sigma ^0\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])& & 𝒜& \\ & & & \\ \overline{S}{}_{\sigma }{}^{0}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])& & M^1& M\end{array}.$$

$`(\mathrm{ii})`$ Changer l’uniformisation de la pointe $`𝒞`$ revient à se donner un élément $`x(𝔞𝔟)^{}/(𝔞𝔟^{})^{}=\mathrm{Hom}(𝔟^{}/𝔟,𝔫^1𝔞^{}/𝔞^{})`$ et correspond donc à l’automorphisme de $`\overline{S}{}_{\sigma }{}^{0}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])`$ qui envoie $`q^\xi `$ sur $`\zeta _𝒞^{n\mathrm{Tr}_{F/}(\xi x)}q^\xi `$ ($`\xi 𝔞𝔟^{}`$).

$`(\mathrm{iii})`$ Soient $`𝒞_1`$, $`𝒞_2`$ deux $`(R,𝔫)`$-composantes uniformisées et soient deux cônes $`\sigma _iX_{i,}^{}`$, $`i=1,2`$. Supposons qu’il existe

$`-`$ un isomorphisme de $`(R,𝔫)`$-composantes $`𝒞_1𝒞_2`$ (d’où $`\xi F^\times `$ tel que $`𝔞_2^{}=\xi 𝔞_1^{}`$, $`𝔟_2=\xi ^1𝔟_1`$ et $`X_2^{}=\xi ^2X_1^{}`$) induisant sur $`𝔠^{}`$ (via les polarisations de $`L`$ et $`L^{}`$), la multiplication par une unité $`ϵ𝔬_{D+}^\times `$,

$`-`$ des éléments $`(u,ϵ)𝔬_{𝒞_1}^\times =𝔬_{𝒞_2}^\times `$ et $`hH_𝒞`$, tels que $`\sigma _2=u^2ϵ\xi ^2\sigma _1`$ et $`\zeta _{𝒞_2}=\zeta _{𝒞_1}^h`$.

Alors, on a un isomorphisme $`\overline{S}{}_{\sigma _1}{}^{0}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _{𝒞_1}])\overline{S}{}_{\sigma _2}{}^{0}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _{𝒞_2}])`$ qui complète les deux flèches $`\overline{S}{}_{\sigma _i}{}^{0}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _{𝒞_i}])M`$ ($`i=1,2`$) du $`(\mathrm{i})`$ en un triangle commutatif.

Le (i) et (ii) découlent de ce qui précède. Le (iii) utilise la fonctorialité de la construction de $`G_\sigma ^0`$ en $`\sigma `$ et sa compatibilité avec l’action de $`𝔬_𝒞^\times `$ (voir fin de la partie 2 et la Prop.3.3(iv)). $`\mathrm{}`$

Avant de décrire la construction des compactifications toroïdales arithmétiques, on doit la préparer. C’est l’objet des deux parties suivantes.

## 5 Un théorème de descente formelle de Rapoport.

La construction d’une compactification toroïdale peut être vue comme l’ajout d’un bord à $`M`$. On a un schéma formel de type fini candidat pour ce bord, à savoir l’analogue algébrique de :

$$𝔛^{\mathrm{an}}=\underset{\text{pointes }𝒞/}{}\left(^\times (𝔠𝔟𝔟^{})^{}\right)_{\mathrm{\Sigma }^𝒞}^{}/𝔬_𝒞^\times .$$

Le but de cette partie est de donner un critère abstrait, trouvé par Rapoport , pour résoudre le problème de “Descente Formelle”, en l’occurrence, le problème d’existence et unicité du schéma recollement $`Y`$ d’un ouvert $`Y^0`$ et d’un schéma formel $`𝔛`$ : $`Y^0Y𝔛`$. Il repose en partie sur un critère d’immersion ouverte de Rapoport dont on rappellera l’énoncé.

Le problème de Descente Formelle sera en fait d’abord posé dans la catégorie des espaces algébriques. On verra dans la partie 7 que les conditions d’application du critère sont satisfaites dans notre cas.

Dans cette partie $`V`$ désignera un anneau de valuation discrète complet, de corps des fractions $`K`$ et de corps résiduel $`k`$. $`S`$ désigne un $`V`$-schéma.

Soit $`\mathrm{Aff}/S`$ la catégorie des $`S`$-schémas affines, munie de la topologie étale. Un faisceau d’ensembles sur $`\mathrm{Aff}/S`$ s’appelle un $`S`$-espace.

###### Définition 5.1

Une relation d’équivalence étale sur un $`S`$-schéma $`U_1`$ est donnée par une immersion fermée quasi-compacte $`U_2U_1\times _SU_1`$ de $`S`$-schémas dont les deux projections sont étales et qui définit une relation d’équivalence : pour tout $`Y\mathrm{Aff}/S`$, $`U_2(Y)U_1(Y)\times _{S(Y)}U_1(Y)`$ est une relation d’équivalence.

Un $`S`$-espace algébrique est un $`S`$-espace qui est quotient d’un schéma $`U_1`$, appelé un atlas étale, par une relation d’équivalence étale.

L’ensemble $`\mathrm{Alg}/S`$ des $`S`$-espaces algébriques muni des flèches de $`S`$-espaces forme une catégorie. On définit de même pour un schéma formel $`S^{}`$ la catégorie des $`S^{}`$-espaces algébriques formels, notée $`\mathrm{Form}/S^{}`$.

###### Définition 5.2

Soit $`f:𝔛^{}𝔛`$ un morphisme dans $`\mathrm{Form}/S^{}`$. On dit que $`f`$ est un éclatement admissible de $`𝔛`$ si $`f`$ est un éclatement $`𝔛^{}𝔛`$ dans $`\mathrm{Form}/S^{}`$, par rapport à un idéal qui contient une puissance de l’idéal de définition de $`𝔛`$.

La catégorie des espaces rigides $`\mathrm{Rig}/S`$ est la catégorie localisée de $`\mathrm{Form}/S`$, par rapport aux éclatements admissibles.

###### Définition 5.3

Un épaississement de $`(K,V)`$ est un couple $`(R,R^{(0)})`$ tel que :

$`-`$ $`R`$ est un anneau local artinien de corps résiduel $`K`$. On note $`R_V`$ l’image réciproque de $`V`$ dans $`R`$.

$`-`$ $`R^{(0)}R_VR`$ est un sous-anneau noethérien tel que le morphisme $`R^{(0)}V`$ soit surjectif et la localisation de $`R^{(0)}`$ au point générique de $`V`$ soit égale à $`R`$ (c’est à dire $`R`$ est le localisé de $`R^{(0)}`$ en $`J=\mathrm{ker}(R^{(0)}V)`$).

Soit $`\stackrel{~}{\pi }`$ un élément de $`R^{(0)}`$ qui se projette sur une uniformisante de $`V`$. Pour tout $`i1`$ on pose $`R^{(i)}=R^{(0)}\left[\frac{J}{\stackrel{~}{\pi }^i}\right]`$. Alors $`R^{(0)}R^{(1)}\mathrm{}R_V`$ et $`_iR^{(i)}=R_V`$.

On a $`\mathrm{Sp}_{\mathrm{rig}}(K)=\mathrm{Spf}(V)_{\mathrm{rig}}`$ et $`\mathrm{Sp}_{\mathrm{rig}}(R):=\mathrm{Spf}(R^{(0)})_{\mathrm{rig}}`$ ($`=\mathrm{Spf}(R^{(i)})_{\mathrm{rig}}`$), car $`\mathrm{Spf}(R^{(i)})`$ est obtenu par éclatement (admissible) de $`\mathrm{Spf}(R^{(0)})`$, par rapport à l’idéal $`(\stackrel{~}{\pi }^i)+J`$ (car $`J`$ est nilpotent).

###### Exemple 5.4

Soit l’anneau local artinien $`R=K[t]/(t^2)`$. Le sous-anneau $`R_V=V+Kt`$ n’est pas noethérien. Considérons le sous-anneau noethérien $`R^{(0)}=V[t]/(t^2)`$. Alors $`(R,R^{(0)})`$ est un épaississement de $`(K,V)`$. On a $`R^{(i)}=V+V\frac{t}{\stackrel{~}{\pi }^i}`$ et donc $`_iR^{(i)}=R_V`$.

A toute flèche $`f_{\mathrm{rig}}:𝔛_{\mathrm{rig}}𝔜_{\mathrm{rig}}`$ on peut associer un modèle formel $`f:𝔛𝔜`$, défini à éclatement admissible près.

###### Définition 5.5

$`f_{\mathrm{rig}}`$ est une immersion ouverte, s’il existe un modèle formel $`f`$ qui est une immersion ouverte.

M. Rapoport a démontré le critère d’immersion ouverte suivant, qui est utilisé pour démontrer le résultat de recollement abstrait que l’on a en vue.

###### Théorème 5.6

(Théorème 3.15 de ) $`f_{\mathrm{rig}}`$ est une immersion ouverte, si et seulement si, les deux conditions suivantes sont satisfaites :

$`(\mathrm{i})_{\mathrm{rig}}`$ Pour tout corps $`K`$, discrètement valué, l’application $`\mathrm{Hom}(\mathrm{Sp}_{\mathrm{rig}}(K),𝔛_{\mathrm{rig}})\stackrel{f_{\mathrm{rig}}}{}\mathrm{Hom}(\mathrm{Sp}_{\mathrm{rig}}(K),𝔜_{\mathrm{rig}})`$ est injective.

$`(\mathrm{ii})_{\mathrm{rig}}`$ Pour tout épaississement $`(R,R^{(0)})`$ de $`(K,V)`$ on peut compléter de façon unique le diagramme commutatif suivant :

###### Remarque 5.7

L’anneau $`V`$ étant principal, il n’admet pas d’éclatements admissibles. La condition $`(\mathrm{i})_{\mathrm{rig}}`$ peut s’écrire donc $`\mathrm{Hom}(\mathrm{Spf}(V),𝔛)\mathrm{Hom}(\mathrm{Spf}(V),𝔜)`$, alors que le diagramme dans la condition $`(\mathrm{ii})_{\mathrm{rig}}`$ devient (pour $`i`$ assez grand) :

Soit $`S`$ un schéma affine, de type fini sur le spectre d’un corps ou d’un anneau de Dedekind excellent (pour les applications aux compactifications toroïdales, il suffit de prendre $`S`$ de type fini sur $``$).

Soit $`A`$ un anneau noethérien complet pour la topologie $`I`$-adique, définie par un idéal $`IA`$. Soit $`𝔘=\mathrm{Spf}(A)`$ le schéma formel affine correspondant. Posons $`\overline{U}=\mathrm{Spec}(A)`$, $`\overline{U}_0=\mathrm{Spec}(A/I)`$=l’âme de $`𝔘`$ et $`\overline{U}{}_{}{}^{0}=\overline{U}\mathrm{\backslash }\overline{U}_0`$.

###### Lemme 5.8

(EGA III.5) Soit $`Y`$ un espace algébrique de type fini sur $`S`$ et $`Y_0Y`$ un sous-espace fermé. On suppose que $`\overline{U}=\mathrm{Spec}(A)`$ est un $`S`$-schéma et on se donne un $`S`$-morphisme formel adique $`𝔣:𝔘Y|_{Y_0}`$.

Alors, il existe un unique morphisme $`f:\overline{U}Y`$ dont le complété formel est $`𝔣`$.

###### Définition 5.9

Un morphisme $`g^0:\mathrm{Spec}(K)\overline{U}^0`$ sera dit permis, s’il vient (via le lemme 5.8) d’un morphisme formel de type fini $`𝔤:\mathrm{Spf}(V)𝔘`$.

Plus généralement (si $`\overline{U}`$ est un $`S`$-schéma), un morphisme $`f^0:\overline{U}{}_{}{}^{0}Y^0`$ dans un espace algébrique de type fini sur $`S`$ sera dit permis, s’il existe une immersion ouverte de $`Y^0`$ dans un $`S`$-espace algébrique propre $`Y`$, telle que : pour tout morphisme permis $`\mathrm{Spec}(K)\overline{U}^0`$, l’unique extension à $`\mathrm{Spec}(V)`$ du morphisme composé $`\mathrm{Spec}(K)Y`$, envoie le point spécial dans $`Y\mathrm{\backslash }Y^0`$.

Un morphisme $`f^0`$, provenant par restriction d’un morphisme $`f:UY`$, est permis, s’il existe un morphisme formel $`𝔣:𝔘𝔜=Y|_{Y_0}`$ qui fait commuter le diagramme suivant :

En d’autres termes, un morphisme est permis s’il “envoie le bord sur le bord”.

###### Définition 5.10

Soit $`𝔛`$ un $`S`$-espace algébrique formel, séparé et de type fini. Un découpage de $`𝔛`$ est la donnée :

$`-`$d’un atlas affine $`𝔘_2=\mathrm{Spf}(A_2)𝔘_1=\mathrm{Spf}(A_1)𝔛`$, et

$`-`$d’un espace algébrique $`Y^0`$ de type fini sur $`S`$, tel que les deux composés suivants soient égaux : $`\overline{U}{}_{2}{}^{0}\overline{U}{}_{1}{}^{0}\stackrel{f^0}{}Y^0`$, où $`\overline{U}_1=\mathrm{Spec}(A_1)`$ et $`\overline{U}_2=\mathrm{Spec}(A_2)`$ et les flèches $`\overline{U}_2\overline{U}_1`$ viennent, via le lemme 5.8, des flèches $`𝔘_2𝔘_1`$.

Le découpage est dit effectif, s’il existe un $`S`$-espace algébrique de type fini $`Y`$, une immersion ouverte $`j:Y^0Y`$ et un isomorphisme $`\phi :𝔛\stackrel{}{}𝔜`$, où $`𝔜`$ est le complété formel de $`Y`$ le long de $`Y\mathrm{\backslash }Y^0`$, tels que le morphisme $`f:\overline{U}_1Y`$, venant (via le lemme 5.8) du morphisme $`𝔣:𝔘_1𝔛\stackrel{}{}𝔜`$, induise $`f^0:\overline{U}{}_{1}{}^{0}Y^0`$ sur $`\overline{U}{}_{1}{}^{0}\overline{U}_1`$.

###### Théorème 5.11

(Théorème 3.5 de ) Soit un découpage. On suppose :

$`-`$ $`\overline{U}_1^0`$ est schématiquement dense dans $`\overline{U}_1`$ (i.e. $`𝒪_{\overline{U}_1}𝒪_{\overline{U}_1^0}`$).

$`-`$ $`Y^0`$ est compactifiable (i.e. il existe une $`S`$-immersion ouverte $`Y^0Y^{}`$ avec $`Y^{}`$ propre sur $`S`$).

$`-`$ Le morphisme $`f^0:\overline{U}{}_{1}{}^{0}Y^0`$ est permis.

$`-`$ Pour tout anneau de valuation discrète complet $`V`$, de corps des fractions $`K`$:

$`(\mathrm{i}^{})_{\mathrm{rig}}`$ la suite $`\overline{U}{}_{2}{}^{0}(K)_{\mathrm{permis}}^{}\overline{U}{}_{1}{}^{0}(K)_{\mathrm{permis}}^{}Y^0(K)_{\mathrm{permis}}`$ est exacte, et

$`(\mathrm{ii}^{})_{\mathrm{rig}}`$ pour tout épaississement $`(R,R^{(0)})`$ de $`(K,V)`$ on peut compléter de façon unique le diagramme commutatif suivant : .

Alors le découpage est effectif.

## 6 La construction de Raynaud.

Pour pouvoir vérifier les conditions $`(\mathrm{i}^{})_{\mathrm{rig}}`$ et $`(\mathrm{ii}^{})_{\mathrm{rig}}`$ ci-dessus dans la situation où l’ouvert $`Y^0`$ est l’espace de modules $`M^1`$ et le schéma formel $`𝔛`$ est celui donné par les cartes locales de la proposition 4.1, on a besoin de la construction suivante (donnée par Raynaud dans  et reprise par Rapoport dans le cas d’une VAHB ). Il est à noter que l’on a besoin de cette construction non seulement sur un corps mais aussi sur un épaississement artinien, auquel cas l’argument donné par Raynaud reste valable.

Soit $`V`$ un anneau de valuation discrète complet de corps des fractions $`K`$, et soit $`(R,R^{(0)})`$ un épaississement de $`(K,V)`$.

###### Définition 6.1

Une variété abélienne $`A`$ sur $`R`$ (resp. sur $`K`$) est dite à réduction semi-stable (déployée) s’il existe un schéma en groupes lisse sur $`R^{(i)}`$, pour un certain $`i0`$, (resp. sur $`V`$), prolongeant $`A`$ et dont la fibre spéciale est une extension d’une variété abélienne par un tore (déployé).

Pour des raisons de dimension, si une VAHB sur $`R`$ (ou sur $`K`$) est à mauvaise réduction semi-stable déployée, alors la fibre spéciale est un tore déployé. Dans ce cas la description rigide-analytique de Raynaud devient :

###### Théorème 6.2

$`(\mathrm{Raynaud})`$ Soit A une VAHB sur $`R`$ (ou sur $`K`$) à mauvaise réduction semi-stable déployée. Alors :

$$A_{\mathrm{rig}}=(𝔾_\mathrm{m}𝔞^{})_{\mathrm{rig}}/𝔟_{\mathrm{rig}},$$

$`𝔞`$ et $`𝔟`$ sont des idéaux de $`F`$. De plus :

$`-`$ on a une suite exacte $`0(𝔞/𝔫𝔞)(1)A[𝔫]𝔫^1𝔟/𝔟0`$,

$`-`$ la forme bilinéaire $`,:𝔞\times 𝔟\mathrm{Val}(\mathrm{K})`$$`(\alpha ,\beta )\mathrm{val}(𝔛^\alpha (\beta ))`$ vérifie $`a\alpha ,\beta =\alpha ,a\beta `$ pour tout $`a𝔬`$, et donc définit un unique élément $`\xi ^{}(𝔞𝔟)^{}`$, à $`_+^\times `$ près et à l’action de $`𝔬^\times `$ près,

$`-`$ le cône positif des polarisations sur $`A`$, $`𝒫(A)\mathrm{Sym}_𝔬(A,A^t)=𝔞𝔟^1`$ est obtenu comme produit de l’unique positivité sur $`𝔞𝔟`$ pour laquelle $`\xi ^{}>0`$ et de la positivité naturelle sur $`𝔟^2`$.

## 7 Compactifications toroïdales arithmétiques.

### Construction des compactifications toroïdales.

###### Définition 7.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 $`𝒞𝒞^{}`$.

Voici l’analogue du résultat principal de l’article  dans le cas de groupe de niveau $`\mathrm{\Gamma }`$ (on rappelle que $`\mathrm{\Gamma }`$ est sans torsion).

###### Théorème 7.2

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

$`(\mathrm{i})`$ Il existe une immersion ouverte $`j:M^1M_\mathrm{\Sigma }^1`$ de $`\mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)}])`$-schémas et un isomorphisme de schémas formels

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

(où $`M_\mathrm{\Sigma }^1`$ est le complété formel de $`M_\mathrm{\Sigma }^1`$ le long de sa partie à l’infini), tels que pour toute $`(R,𝔫)`$-composante $`𝒞`$ et pour tout $`\sigma \mathrm{\Sigma }^𝒞`$ on a la propriété suivante: l’image réciproque de la VAHB universelle sur $`M^1`$ par le morphisme $`\overline{S}_\sigma \times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])M_\mathrm{\Sigma }^1`$ (déduit par le lemme 5.8 du morphisme formel $`S_\sigma ^{}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])M_\mathrm{\Sigma }^1`$ construit à l’aide de $`\phi `$), soit la VAHB $`𝔠`$-polarisée avec $`\mu _𝔫`$-structure de niveau $`G_\sigma ^0\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])`$ sur $`\overline{S}{}_{\sigma }{}^{0}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])`$ construite dans la proposition 4.1(i). Le couple $`(j,\phi )`$ est unique, à unique isomorphisme près.

(ii) Il existe une immersion ouverte $`j:MM_\mathrm{\Sigma }`$ de $`\mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)}])`$-schémas 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{}{}M_\mathrm{\Sigma }^{}.$$

Démonstration :  (i) Il y a un nombre fini de $`(R,𝔫)`$-composantes $`𝒞`$ modulo isomorphisme. Soit $`\{\sigma _i^𝒞\}`$ un ensemble fini de représentants des cônes de l’éventail $`\mathrm{\Sigma }^𝒞`$, modulo l’action de $`𝔬_{𝒞,1}^\times `$.

Considérons le schéma formel affine $`𝔘_1:=\underset{𝒞/}{}\underset{𝑖}{}S_{\sigma _i^𝒞}^{}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])`$. Il est de type fini sur $``$ et muni d’un morphisme étale (“immersions toroïdales” et quotient étale par le groupe $`H_{𝒞,1}`$) dans $`𝔛:=\underset{𝒞/}{}(S_{\mathrm{\Sigma }^𝒞}^{}/𝔬_{𝒞,1}^\times )\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞]^{H_{𝒞,1}})`$.

Posons $`\overline{U}_1=\underset{𝒞/}{}\underset{𝑖}{}\overline{S}_{\sigma _i^𝒞}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])`$.

D’après la proposition 4.1(i) on a un morphisme $`f^0:\overline{U}{}_{1}{}^{0}M^1`$, qui est permis, car toute variété abélienne obtenue comme image réciproque, par un morphisme permis $`\mathrm{Spec}(K)\overline{S}{}_{\sigma _i^𝒞}{}^{0}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])`$, de la variété abélienne $`G_\sigma ^0\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])`$ est à mauvaise réduction d’après la partie 2.

Posons $`𝔘_2:=𝔘_1\times _𝔛𝔘_1=\mathrm{Spf}(A_2)`$ et $`\overline{U}_2=\mathrm{Spec}(A_2)`$. Les deux flèches composées $`\overline{U}{}_{2}{}^{0}\overline{U}{}_{1}{}^{0}M^1`$ sont égales par compatibilité de la construction de Mumford avec les inclusions $`\sigma ^{}\sigma `$, avec l’action de $`𝔬_{𝒞,1}^\times `$ et avec l’action de $`H_{𝒞,1}`$ (appliquer la proposition 4.1(iii) dans le cas $`D=𝔾_\mathrm{m}`$).

Vérifions la condition $`(\mathrm{i}^{})_{\mathrm{rig}}`$ du théorème 5.11 :

Soient $`g_1^0,g_2^0:\mathrm{Spec}(K)\overline{U}_1^0`$ deux morphismes permis avec $`f^0g_1^0=f^0g_2^0`$.

Chaque morphisme $`g_j^0`$ se factorise par un certain $`\overline{S}{}_{\sigma _j}{}^{0}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _{𝒞_j}])`$, où $`\sigma _j`$ désigne un des $`\sigma _i^{𝒞_j}`$ et détermine ainsi :

$`-`$une $`(R,𝔫)`$-composante $`𝒞_j`$ (à laquelle sont attachés des objets $`𝔞_j`$, $`𝔟_j`$, $`𝔟_j^{}`$, $`X_j`$, $`\beta _j`$),

$`-`$une racine de l’unité $`\zeta _𝒞^{(j)}K`$, d’ordre l’exposant $`n_j`$ du groupe $`𝔟_j^{}/𝔟_j`$,

$`-`$un cône $`\sigma _j`$ de $`\mathrm{\Sigma }^{𝒞_j}`$ et un morphisme $`\psi _j:R_{\sigma _j}^{}V`$, d’où un élément $`\xi _j^{}\sigma _jX_j^{}`$, déterminé par la propriété suivante : pour tout $`\xi \stackrel{ˇ}{\sigma }_jX_j`$ on a $`\mathrm{val}(\psi _j(q^\xi ))=\mathrm{Tr}_{F/}(\xi \xi _j^{})`$.

Le morphisme permis $`f^0g_j^0`$ fournit une VAHB $`A`$ sur $`K`$ munie d’une $`𝔠`$-polarisation et $`\mu _𝔫`$-structure de niveau, à mauvaise réduction semi-stable déployée.

L’uniformisation de Raynaud-Tate de la VAHB $`A`$, décrite dans la partie 6, donne alors :

$`-`$ deux idéaux $`𝔞`$ et $`𝔟`$, tels que $`A_{\mathrm{rig}}=(𝔾_\mathrm{m}𝔞^{})_{\mathrm{rig}}/𝔟_{\mathrm{rig}}`$ et $`𝔠=\mathrm{Sym}_𝔬(A,A^t)=𝔞𝔟^1`$ (ceci nous donne une $`R`$-pointe $`𝒞`$, bien définie modulo isomorphisme). Comme la construction de Mumford et celle de Raynaud sont inverses l’une à l’autre (i.e. le $`1`$-motif associé par Raynaud à la VAHB sur $`K`$ construite par Mumford est le $`1`$-motif du départ), les $`R`$-pointes sous-jacentes de $`𝒞_1`$ et $`𝒞_2`$ sont isomorphes à $`𝒞`$.

$`-`$ une suite exacte : $`0(𝔞/𝔫𝔞)(1)A[𝔫]𝔫^1𝔟/𝔟0`$. Ainsi, la $`\mu _𝔫`$-structure de niveau sur $`A`$ détermine-t-elle bien une une $`(R,𝔫)`$-composante $`𝒞`$ au-dessus de la $`R`$-pointe $`𝒞`$ et une racine de l’unité $`\zeta _𝒞`$. De nouveau par compatibilité de la construction de Mumford et celle de Raynaud on déduit que $`\zeta _{𝒞_1}`$ et $`\zeta _{𝒞_2}`$ sont conjuguées sous $`H_{𝒞,1}`$ et que les $`(R,𝔫)`$-composantes $`𝒞_1`$ et $`𝒞_2`$ sont isomorphes, et donc égales, car elles vivent dans un ensemble de représentants modulo isomorphisme.

$`-`$ un élément $`\xi ^{}(𝔞𝔟)_+^{}`$ bien défini modulo $`𝔬_{𝒞,1}^\times `$. Un dernière fois par compatibilité des constructions de Mumford et de Raynaud, on trouve que $`\xi _1^{}\sigma _1`$ et $`\xi _2^{}\sigma _2`$ sont dans la même $`𝔬_{𝒞,1}^\times `$-orbite. Par conséquent $`\xi _1^{}=\xi _2^{}`$ et, par exemple $`\sigma _1\sigma _2`$.

On en déduit qu’il existe un morphisme permis $`h^0:\mathrm{Spec}(K)\overline{U}_2^0`$ tel que $`g_1^0=p_1^0h^0`$ et $`g_2^0=p_2^0h^0`$, ce qui termine la vérification du $`(\mathrm{i}^{})_{\mathrm{rig}}`$.

Vérifions la condition $`(\mathrm{ii}^{})_{\mathrm{rig}}`$ du théorème 5.11 :

Les morphismes permis $`\mathrm{Spec}(K)\overline{U}_1^0`$ et $`\mathrm{Spec}(R)M^1`$ nous donnent deux VAHB $`A/K`$ et $`A^{}/R`$ à mauvaise réduction, avec $`AA^{}\times _RK`$. Comme dans la vérification de $`(\mathrm{i}^{})_{\mathrm{rig}}`$, la flèche $`\mathrm{Spec}(K)\overline{U}_1^0`$ détermine les des donnés combinatoires $`𝒞=(𝔞,𝔟,X,\beta ),\zeta _𝒞,\xi ^{}X^{}`$. Par la théorie de Raynaud-Tate $`A`$ et $`A^{}`$ admettent des uniformisation rigides analytiques $`A_{\mathrm{rig}}=(𝔾_\mathrm{m}𝔞^{})_{\mathrm{rig}}/𝔟_{\mathrm{rig}}`$ (compatibilité entre la construction de Mumford et celle de Raynaud) et $`A_{\mathrm{rig}}^{}=(𝔾_\mathrm{m}𝔞_{}^{}{}_{}{}^{})_{\mathrm{rig}}/𝔟_{\mathrm{rig}}^{}`$. Comme $`A_{\mathrm{rig}}=A_{\mathrm{rig}}^{}\times _RK`$, on en déduit que l’on peut prendre $`𝔞=𝔞^{}`$, $`𝔟=𝔟^{}`$, $`\zeta _𝒞=\zeta _𝒞^{}`$ et $`\xi ^{}=\xi _{}^{}{}_{}{}^{}`$, d’où le $`(\mathrm{ii}^{})_{\mathrm{rig}}`$.

Nous sommes maintenant en mesure d’appliquer le théorème 5.11 qui nous donne le couple cherché $`(j,\phi )`$, dont on admet l’unicité.

(ii) Comme $`\mathrm{\Sigma }^𝒞`$ est stable par $`𝔬_𝒞^\times `$ (et non-seulement par $`𝔬_{𝒞,1}^\times `$), le groupe fini $`𝔬_{D+}^\times /(𝔬_{D+}^\times 𝔬_𝔫^{\times 2})`$ du revêtement galoisien étale $`M^1M`$ agit proprement et librement sur $`M_\mathrm{\Sigma }^1`$ et la construction du (i) passe au quotient. La flèche $`M_\mathrm{\Sigma }^1M_\mathrm{\Sigma }`$ est encore étale. $`\mathrm{}`$

###### Remarque 7.3

Soit $`\mathrm{\Sigma }=(\mathrm{\Sigma }^𝔟)_{𝔟_F}`$, où pour tout idéal $`𝔟`$, $`\mathrm{\Sigma }^𝔟`$ est un éventail $`𝔬^\times `$-admissible de $`(𝔠𝔟^2)_+^{}`$. On aurait pu tenter de définir $`M_\mathrm{\Sigma }`$ comme la normalisation dans $`M`$ de la compactification de Rapoport $`M(𝔠)_\mathrm{\Sigma }`$ de l’espace de modules $`M(𝔠)`$. Le problème est que le schéma $`M_\mathrm{\Sigma }`$ ainsi défini n’est jamais lisse. En effet, pour compactifier chaque $`(R,𝔫)`$-pointe $`𝒞`$ qui est au-dessus de la $`R`$-pointe correspondant à $`𝔟`$ on utilise le même éventail $`\mathrm{\Sigma }^𝔟`$. Or, si $`𝔟𝔟_{}^{}{}_{}{}^{1}n𝔬`$ ($`n`$), $`\mathrm{\Sigma }^𝔟`$ ne peut pas être un éventail lisse pour $`(𝔠𝔟^2)_+^{}`$ et $`(𝔠𝔟𝔟^{})_+^{}`$ simultanément.

### Propriétés des compactifications toroïdales.

Dans la suite, pour alléger les notations, nous écrirons $`\overline{M}`$ à la place de $`M_\mathrm{\Sigma }`$, en gardant en tête la dépendance du système d’éventails $`\mathrm{\Sigma }`$.

###### Corollaire 7.4

Localement pour la topologie étale sur $`\mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)}])`$, $`j:M\overline{M}`$ est isomorphe à $`S_𝒞S_\sigma `$ pour un certain couple $`𝒞`$, $`\sigma \mathrm{\Sigma }^𝒞`$.

En particulier, pour tout cône $`\sigma \mathrm{\Sigma }^𝒞\mathrm{\backslash }\{0\}`$, et tout corps algébriquement clos $`k`$ de caractéristique $`p`$ ne divisant pas $`\mathrm{N}(𝔫)`$, l’ensemble des $`k`$-points de la strate $`M(\sigma )`$ de $`\overline{M}`$ s’identifie à celui des $`k`$-points de la strate fermée $`S(\sigma )`$ de l’immersion torique affine $`SS_\sigma `$.

Ceci résulte du fait que $`𝔬_𝒞^\times `$ opère librement sur l’ensemble des strates non-ouvertes de $`S_𝒞S_{\mathrm{\Sigma }^𝒞}`$, et donc localement pour la topologie étale $`S_{\mathrm{\Sigma }^𝒞}^{}/𝔬_𝒞^\times `$ (et donc $`\overline{M}^{}`$) est isomorphe à $`S_\sigma ^{}`$, pour un certain $`\sigma \mathrm{\Sigma }^𝒞`$.

###### Corollaire 7.5

Quitte à raffiner l’éventail $`\mathrm{\Sigma }`$, on obtient un schéma $`\overline{M}`$ qui est lisse au-dessus de $`\mathrm{Spec}([\frac{1}{\mathrm{\Delta }}])`$.

###### Proposition 7.6

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 $`𝔬`$ et c’est un tore au-dessus de $`\overline{M^1}\mathrm{\backslash }M^1`$.

Démonstration :  L’unicité est montrée dans un cadre beaucoup plus général dans le chapitre I du livre de Chai et Faltings . Pour l’existence on considère le diagramme suivant :

###### Théorème 7.7

Le $`\mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)}])`$-schéma $`\overline{M}`$ est propre.

Démonstration :  L’idée, comme dans , est d’appliquer le critère valuatif de propreté tel qu’il est énoncé dans  (voir Théorème 4.19 et le commentaire qui suit). Il suffit de vérifier la propreté de $`\overline{M^1}`$.

Soit $`V`$ un anneau de valuation discrète de corps de fractions $`K`$. Comme $`M^1`$ est ouvert et dense dans $`\overline{M^1}`$, il suffit de vérifier que tout morphisme $`g^0:\mathrm{Spec}(K)M^1`$, s’étend en un morphisme $`g:\mathrm{Spec}(V)\overline{M^1}`$. Supposons que $`g^0`$ ne s’étend pas déjà en un morphisme $`g:\mathrm{Spec}(V)M^1`$. La VAHB $`A/K`$ donnée par $`f^0`$ est donc à mauvaise réduction (voir Deligne-Pappas ). Quitte à remplacer $`K`$ par une extension finie et $`V`$ par sa normalisation, on peut supposer que $`A/K`$ est à mauvaise réduction semi-stable. Nous sommes alors en mesure d’appliquer à $`A/K`$ la théorie de géométrie rigide de Raynaud, qui nous fournit (voir la partie 6) :

$`-`$ deux idéaux $`𝔞`$ et $`𝔟`$, tels que $`A_{\mathrm{rig}}=(𝔾_\mathrm{m}𝔞^{})_{\mathrm{rig}}/𝔟_{\mathrm{rig}}`$ et $`𝔠=\mathrm{Sym}_𝔬(A,A^t)=𝔞𝔟^1`$ (ceci définit une $`R`$-pointe).

$`-`$ une suite exacte $`0(𝔞/𝔫𝔞)(1)A[𝔫]𝔫^1𝔟/𝔟0`$. La $`\mu _𝔫`$-structure de niveau $`(𝔬/𝔫)(1)A[𝔫]`$ définit alors une $`(R,𝔫)`$-composante $`𝒞`$ au-dessus de la $`R`$-pointe définie précédemment (à laquelle on peut associer un idéal $`𝔟^{}𝔟`$) et une racine de l’unité $`\zeta _𝒞`$ d’ordre l’exposant du groupe $`𝔟^{}/𝔟`$.

$`-`$ un élément $`\xi ^{}(𝔞𝔟)_+^{}`$ (bien défini modulo l’action de $`𝔬_𝒞^\times `$), venant de la forme bilinéaire $`𝔬`$-équivariante $`,:𝔞\times 𝔟\mathrm{Val}(\mathrm{K})`$$`(\alpha ,\beta )\mathrm{val}(𝔛^\alpha (\beta ))`$.

Un translaté de $`\xi ^{}`$ par le groupe $`𝔬_{𝒞,1}^\times `$ appartient à un certain cône $`\sigma _i^𝒞\mathrm{\Sigma }^𝒞`$, parmi les cônes choisis dans la démonstration du théorème. Le morphisme $`g^0`$ se factorise alors par la carte locale $`\overline{S}{}_{\sigma _i^𝒞}{}^{0}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])M^1`$. Le morphisme composé $`g:\mathrm{Spec}(V)\overline{S}_{\sigma _i^𝒞}\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞])\overline{M^1}`$ étend le morphisme $`g^0`$. $`\mathrm{}`$

## 8 Formes de Hilbert et compactification minimale arithmétiques.

Nous savons qu’une forme modulaire de Hilbert classique (sur $``$) est uniquement déterminée par son $`q`$-développement en une pointe $`𝒞`$, que la condition d’holomorphie à l’infinie est automatiquement satisfaite si $`d_F>1`$ (Principe de Koecher) et qu’il n’y a pas de séries d’Eisenstein en poids non-parallèle.

Le but de cette partie est de décrire, en suivant , les propriétés du $`q`$-développement d’une forme de Hilbert arithmétique. C’est le point de départ de la construction de la compactification minimale arithmétique de $`M`$ (voir ).

### Formes modulaires de Hilbert arithmétiques.

Pour la définition de l’espace des formes modulaires de Hilbert, nous suivons le paragraphe 6.8 de , rédigé par P. Deligne. Considérons le schéma en groupes $`𝒯_1=\mathrm{Res}_{}^𝔬𝔾_\mathrm{m}`$ sur $``$, dont la fibré générique est le tore $`\mathrm{Res}_{}^F𝔾_\mathrm{m}`$ de groupes de caractères $`[J_F]`$, où $`J_F`$ désigne l’ensemble des plongements de $`F`$ dans $``$. On suppose dans cette partie que $`d_F>1`$.

Par définition de la VAHB universelle, le faisceau $`\underset{¯}{\omega }_{𝒜/M^1}=f_{}\mathrm{\Omega }_{𝒜/M^1}^1`$ est un $`𝔬`$-fibré inversible sur $`M^1\times \mathrm{Spec}([\frac{1}{\mathrm{\Delta }}])`$.

Soit $`\kappa [J_F]=X(𝒯_1)`$ un poids et soit $`F^{\prime \prime }`$ un corps de nombres, contenant les valeurs du caractère $`\kappa :F^\times ^\times `$. On peut prendre, par exemple, $`F^{\prime \prime }=`$ et poids parallèle, ou bien $`F^{\prime \prime }=F^{\mathrm{gal}}`$ et poids quelconque.

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

A l’aide de $`\kappa `$, on peut découper dans $`\underset{¯}{\omega }`$ un fibré inversible sur $`M^1\times \mathrm{Spec}(𝔬^{\prime \prime }[\frac{1}{\mathrm{\Delta }}])`$, noté $`\underset{¯}{\omega }^\kappa `$. Soit $`𝔬^{}`$ l’anneau des entiers de $`F^{}=F^{\prime \prime }(ϵ^{1/2},ϵ𝔬_{D+}^\times )`$. Alors $`\underset{¯}{\omega }^\kappa `$ descend en un fibré inversible sur $`M\times \mathrm{Spec}(𝔬^{}[\frac{1}{\mathrm{\Delta }}])`$, noté encore $`\underset{¯}{\omega }^\kappa `$ (voir la partie 4 de  pour une présentation plus détaillée).

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

###### Définition 8.1

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 8.2

1) Le faisceau $`\underset{¯}{\omega }^t`$ ($`t=_{\tau J_F}\tau `$) n’est autre que le faisceau $`^{d_F}\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_F}\underset{¯}{\omega })^k)`$.

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

Soit $`\overline{f}:𝔊\overline{M^1}`$ le schéma semi-abélien au-dessus d’une compactification toroïdale $`\overline{M^1}`$ de $`M^1`$, comme dans la partie précédente. Le faisceau $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}:=\overline{e}^{}\mathrm{\Omega }_{𝔊/\overline{M^1}}^1`$, où $`\overline{e}:\overline{M^1}𝔊`$ désigne la section unité, prolonge le faisceau $`\underset{¯}{\omega }_{𝒜/M^1}`$. En outre $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}`$ coïncide avec le faisceau $`(\overline{f}_{}\mathrm{\Omega }_{𝔊/\overline{M^1}}^1)^𝔊`$ des $`𝔊`$-invariants de $`\overline{f}_{}\mathrm{\Omega }_{𝔊/\overline{M^1}}^1`$. En passant aux cartes formelles, on voit comme dans , qu’au-dessus de $`[\frac{1}{\mathrm{\Delta }}]`$, le faisceau $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}`$ est un $`𝔬`$-fibré inversible. Le fibré $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}`$ descend en un $`𝔬`$-fibré inversible sur $`\overline{M}^{}`$, noté $`\underset{¯}{\omega }`$ (voir la partie 7 de ). Pour tout $`\kappa [J_F]`$, on peut ainsi prolonger le fibré inversible $`\underset{¯}{\omega }^\kappa `$ en un fibré inversible sur $`\overline{M}^{}`$, noté encore $`\underset{¯}{\omega }^\kappa `$.

D’après la partie 2 pour toute $`(R,𝔫)`$-composante uniformisée $`𝒞`$, tout cône $`\sigma \mathrm{\Sigma }^𝒞`$ et pour toute $`𝔬^{}[\frac{1}{\mathrm{\Delta }},\zeta _𝒞]`$-algèbre $`R`$ on a $`\underset{¯}{\omega }|_{S_\sigma ^{}\times \mathrm{Spec}(R)}(𝔞𝒪_{S_\sigma ^{}\times \mathrm{Spec}(R)})`$, d’où

$$\underset{¯}{\omega }^\kappa |_{S_{\mathrm{\Sigma }^𝒞}^{}\times \mathrm{Spec}(R)}(𝔞𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R)^\kappa =(𝔞𝔬^{}[\frac{1}{\mathrm{\Delta }}])^\kappa \underset{𝔬^{}[\frac{1}{\mathrm{\Delta }}]}{}(𝔬𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R)^\kappa $$
(5)
Par conséquent $`\mathrm{H}^0((S_{\mathrm{\Sigma }^𝒞}^{}\times \mathrm{Spec}(R))/𝔬_𝒞^\times ,\underset{¯}{\omega }^\kappa )=𝔞^{(\kappa )}_{𝔬^{}[\frac{1}{\mathrm{\Delta }}]}R_𝒞^{(\kappa )}(R)`$, où $`𝔞^{(\kappa )}=(𝔞𝔬^{}[\frac{1}{\mathrm{\Delta }}])^\kappa `$ est un $`𝔬^{}[\frac{1}{\mathrm{\Delta }}]`$-module inversible et

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

Notons que $`\xi u\xi _{u,ϵ}^{}`$ est un élément de $`𝔟^{}𝔟^1𝔡^1`$, bien défini modulo $`𝔡^1`$, et donc $`n\mathrm{Tr}_{F/}(\xi u\xi _{u,ϵ}^{})/n`$ (on rappelle que $`n=𝔟𝔟_{}^{}{}_{}{}^{1}`$ et $`n=\mathrm{ord}(\zeta _𝒞)`$).

On a $`R_𝒞^{(\kappa )}(R)=\mathrm{H}^0(S_{\mathrm{\Sigma }^𝒞}^{}\times \mathrm{Spec}(R),(𝔬𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R)^\kappa )^{𝔬_𝒞^\times }`$.

Le diagramme suivant montre comment l’anneau $`R_𝒞^{(\kappa )}(R)`$ se situe par rapport aux différents anneaux déjà considérés dans la partie 2 :

### Principe de Koecher.

###### Théorème 8.3

(Principe de Koecher  4.9) Soit $`\overline{M}`$ une compactification toroïdale de $`M`$. Alors

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

Démonstration :  Le problème est local et il suffit de le vérifier après complétion, le long d’une $`(R,𝔫)`$-composante $`𝒞`$.

D’après la trivialisation (5) du fibré inversible $`\underset{¯}{\omega }^\kappa `$, il s’agit de voir que les sections globales méromorphes du faisceau $`(𝔬𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R)^\kappa `$ sur $`S_{\mathrm{\Sigma }^𝒞}^{}\times \mathrm{Spec}(R)`$, qui sont $`𝔬_𝒞^\times `$-invariantes, appartiennent à $`R_𝒞^{(\kappa )}(R)`$.

Soit $`f=_{\xi X}a_\xi q^\xi \mathrm{H}_{\mathrm{mer}}^0((S_{\mathrm{\Sigma }^𝒞}^{}\times \mathrm{Spec}(R))/𝔬_𝒞^\times ,(𝔬𝒪_{S_{\mathrm{\Sigma }^𝒞}^{}}R)^\kappa )`$ une telle section. Supposons que $`a_{\xi _0}0`$ avec $`\xi _0`$ non-totalement positif. Il existe donc $`\xi _0^{}X_+^{}`$ avec $`\mathrm{Tr}_{F/}(\xi _0\xi _0^{})`$ strictement négatif. Comme $`d_F>1`$, on peut choisir des unités $`u𝔬_{𝒞,1}^\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 ^{}`$. Contradiction. Donc $`fR_𝒞^{(\kappa )}(R)`$. $`\mathrm{}`$

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

Le paragraphe précédent montre que l’on peut associer à une $`(R,𝔫)`$-composante uniformisée $`𝒞`$ et à une forme modulaire de Hilbert $`f`$ de poids $`\kappa `$, niveau $`\mathrm{\Gamma }`$, et à coefficients dans une $`𝔬^{}[\frac{1}{\mathrm{\Delta }},\zeta _𝒞]`$-algèbre $`R`$, un élément :

$$f_𝒞𝔞^{(\kappa )}_{𝔬^{}[\frac{1}{\mathrm{\Delta }}]}R_𝒞^{(\kappa )}(R).$$

###### Définition 8.4

L’élément $`f_𝒞`$ est appelé le $`q`$-développement de la forme $`f`$ en la $`(R,𝔫)`$-composante uniformisée $`𝒞`$. On note $`\mathrm{ev}_{𝒞,\kappa }`$ l’application $`ff_𝒞`$.

Le principe du $`q`$-développement s’énonce alors :

###### Proposition 8.5

Soient $`\kappa `$ un poids, $`𝒞`$ une $`(R,𝔫)`$-composante uniformisée et $`R`$ une $`𝔬^{}[\frac{1}{\mathrm{\Delta }},\zeta _𝒞]`$-algèbre (contenant les valeurs de $`\kappa `$). Alors

$`(\mathrm{i})`$ l’application $`\mathrm{ev}_{𝒞,\kappa }`$ est injective,

$`(\mathrm{ii})`$ pour toute $`R`$-algèbre $`R^{}`$ et $`fG_\kappa (𝔠,𝔫;R^{})`$, si $`\mathrm{ev}_{𝒞,\kappa }(f)𝔞^{(\kappa )}_{𝔬^{}[\frac{1}{\mathrm{\Delta }}]}R_𝒞^{(\kappa )}(R)`$, alors $`fG_\kappa (𝔠,𝔫;R)`$,

$`(\mathrm{iii})`$ s’il existe $`fG_\kappa (𝔠,𝔫;R)`$ tel que le terme constant de $`\mathrm{ev}_{𝒞,\kappa }(f)`$ ne soit pas nul, alors $`ϵ^{\kappa /2}u^\kappa 1`$ est un diviseur de zéro dans $`R`$, pour tout $`(u,ϵ)𝔬_𝒞^\times `$.

Le cas de l’anneau nul $`R=0`$ redonne une formulation classique du principe. Pour démonstration du (i) et du (ii) voir la partie 7 de . Le (iii) est clair. $`\mathrm{}`$

### Compactification minimale.

La compactification minimale est la contrepartie arithmétique de la compactification de Satake sur $``$. Contrairement au cas complexe, dans le cas arithmétique, la construction de la compactification minimale utilise les compactifications toroïdales. Voici l’analogue en niveau $`\mathrm{\Gamma }`$ de l’énoncé donné par C.-L. Chai dans .

###### Théorème 8.6

$`(\mathrm{i})`$ Il existe $`k_0^{}`$ tel que le faisceau $`\underset{¯}{\omega }_{𝒜/M^1}^{k_0t}`$, soit engendré par ses sections globales sur $`\overline{M^1}`$.

$`(\mathrm{ii})`$ Le morphisme canonique $`\pi :\overline{M^1}M^1:=\mathrm{Proj}_{[\frac{1}{\mathrm{N}(𝔫)}]}\left(_{k0}\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{kt})\right),`$ est surjectif. Le $`[\frac{1}{\mathrm{N}(𝔫)}]`$-schéma $`M^1`$ est indépendant du choix de $`\mathrm{\Sigma }`$ (on rappelle que $`\overline{M^1}=M_\mathrm{\Sigma }^1`$).

$`(\mathrm{iii})`$ L’anneau gradué $`_{k0}\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{kt})`$ est de type fini sur $`[\frac{1}{\mathrm{N}(𝔫)}]`$ et $`M^1`$ est un $`[\frac{1}{\mathrm{N}(𝔫)}]`$-schéma projectif, normal, de type fini. Le groupe $`𝔬_{D+}^\times /(𝔬_{D+}^\times 𝔬_𝔫^{\times 2})`$ du revêtement fini étale $`\overline{M^1}\overline{M}`$ agit sur $`M^1`$ et le quotient est un $`[\frac{1}{\mathrm{N}(𝔫)}]`$-schéma projectif, normal, de type fini $`M^{}`$, muni d’un morphisme surjectif $`\pi :\overline{M}M^{}`$.

$`(\mathrm{iv})`$ $`\pi |_M`$ induit un isomorphisme sur un ouvert dense de $`M^{}`$, noté encore $`M`$. $`M^{}\backslash M`$ est fini et étale sur $`[\frac{1}{\mathrm{N}(𝔫)}]`$ et en fait 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{v})`$ L’image réciproque $`\pi ^1(𝒞)`$ de chaque pointe $`𝒞`$ de $`M`$, est une composante connexe de $`\overline{M}\backslash M`$. La complétion formelle de $`\overline{M}`$ le long de l’image réciproque d’une composante $`\pi ^1(𝒞)`$, est canoniquement isomorphe à $`(S_{\mathrm{\Sigma }^𝒞}^{}/𝔬_𝒞^\times )\times \mathrm{Spec}([\frac{1}{\mathrm{N}(𝔫)},\zeta _𝒞]^{H_𝒞})`$. En particulier, 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}(𝔫)}]).$$

$`(\mathrm{vi})`$ Pour tout $`\kappa [J_F]`$ le faisceau $`\underset{¯}{\omega }^\kappa `$ s’étend en un faisceau inversible sur $`M^{}`$ si et seulement si $`\kappa `$ est parallèle.

Démonstration :  Nous suivons la méthode de C.-L. Chai . D’après  Chap.IX Thm.2.1 (voir aussi  Chap.V Prop.2.1), il existe $`k_01`$ tel que le faisceau inversible $`\underset{¯}{\omega }_{𝒜/M^1}^{k_0t}`$ soit engendré par ses sections globales sur $`\overline{M^1}`$. Ceci nous fournit un morphisme

$$\overline{M^1}\mathrm{Proj}_{[\frac{1}{\mathrm{N}(𝔫)}]}\left(\mathrm{Sym}^{}\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{k_0t})\right).$$

Soit $`B^{}`$ la normalisation de $`\mathrm{Sym}^{}\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{kk_0t})`$ dans $`\underset{k0}{}\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{kk_0t})`$. Le morphisme associé $`\pi :\overline{M^1}\mathrm{Proj}_{[\frac{1}{\mathrm{N}(𝔫)}]}(B^{})`$ est birationnel, surjectif et satisfait $`\pi ^{}𝒪(1)=\underset{¯}{\omega }_{𝒜/M^1}^{k_0t}`$. Le Théorème de Connexité de Zariski implique alors que les fibres de $`\pi `$ sont connexes. D’après  Chap.V Prop.2.2, la partie abélienne est constante dans chaque fibre géométrique de $`\pi `$, et par conséquent les fibres géométriques de $`\pi `$ sont

$`-`$ soit des points géométriques de $`M^1`$,

$`-`$ soit des composantes géométriques connexes de $`\overline{M^1}\mathrm{\backslash }M^1`$.

Comme pour tout $`k1`$, $`\pi ^{}𝒪(k)=\underset{¯}{\omega }_{𝒜/M^1}^{k_0kt}`$ et $`\underset{¯}{\omega }_{𝒜/M^1}^{k_0t}`$ est engendré par ses sections globales sur $`\overline{M^1}`$, on obtient $`\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{kk_0t})=\mathrm{H}^0(\mathrm{Proj}(B^{}),𝒪(k))`$. Par conséquent $`B^{}=\underset{k0}{}\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{kk_0t})`$ et c’est une $`[\frac{1}{\mathrm{N}(𝔫)}]`$-algèbre de type fini. Or, l’algèbre $`\underset{k0}{}\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{kt})`$ est entière sur $`\underset{k0}{}\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{kk_0t})`$, engendrée par les éléments de degré plus petit que $`k_0`$. Il en résulte que $`\underset{k0}{}\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{kt})`$ est de type fini sur $`[\frac{1}{\mathrm{N}(𝔫)}]`$, et que $`M^1:=\mathrm{Proj}(\underset{k0}{}\mathrm{H}^0(\overline{M^1},\underset{¯}{\omega }_{𝒜/M^1}^{kt}))=\mathrm{Proj}(B^{})`$. Par le principe de Koecher, le schéma $`M^1`$ est indépendant du choix particulier de la compactification toroïdale $`\overline{M^1}`$ de $`M^1`$. Le groupe $`𝔬_{D+}^\times /(𝔬_{D+}^\times 𝔬_𝔫^{\times 2})`$ agit sur $`M^1`$ et on définit $`M^{}`$ comme le quotient. Notons qu’en général $`M^1M^{}`$ n’est pas étale, car les pointes peuvent avoir des stabilisateurs non-triviaux.

On a donc (i),(ii),(iii) et la première partie de (iv). Le calcul de la complétion formelle de $`\overline{M}`$, le long de l’image réciproque d’une composante connexe de $`M^{}\mathrm{\backslash }M`$ découle du Théorème des Fonctions Formelles de Grothendieck.

Enfin, examinons à quelle condition $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}^\kappa `$ descend en un fibré inversible sur $`M^1`$. Comme $`(\pi _{}\underset{¯}{\omega }_{𝔊/\overline{M^1}}^\kappa )|_{M^1}=\underset{¯}{\omega }_{𝒜/M^1}^\kappa `$ et $`\mathrm{codim}(M^1\mathrm{\backslash }M^1)2`$, le faisceau $`\pi _{}\underset{¯}{\omega }_{𝔊/\overline{M^1}}^\kappa `$ est cohérent. Il est inversible si et seulement si $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}^\kappa `$ peut être trivialisé sur $`S_{\mathrm{\Sigma }^𝒞}^{}/𝔬_{𝒞,1}^\times \times \mathrm{Spec}(R)`$. D’après (5) le pull-back de $`\underset{¯}{\omega }_{𝔊/\overline{M^1}}^\kappa `$ à $`S_{\mathrm{\Sigma }^𝒞}^{}\times \mathrm{Spec}(R)`$ est canoniquement trivial et $`𝔬_{𝒞,1}^\times `$ agit sur ce pull-back à travers $`\kappa `$, d’où (vi). $`\mathrm{}`$

### Exemples de $`q`$-développement en une pointe ramifiée.

Nous nous proposons de décrire explicitement dans le cas particulier de l’exemple 3.4(ii)(iii) les anneaux $`R_𝒞^{(\kappa )}(R)`$ contenant les $`q`$-développements des formes modulaires de Hilbert de poids $`\kappa `$ et niveau $`\mathrm{\Gamma }`$. Rappelons que $`𝔬^{}`$ désigne les entiers d’un corps de nombres contenant les valeurs du caractère $`\kappa `$. On suppose que $`\mathrm{Cl}_F=\{1\}`$.

Plaçons nous dans le cas (ii). Le bord $`M^1\mathrm{\backslash }M^1`$ s’écrit alors

$$\underset{(R,𝔫)\mathrm{comp}.}{}_{\text{non-ramifiés}/}\mathrm{Spec}\left(\left[\frac{1}{\mathrm{N}(𝔫)}\right]\right)\underset{(R,𝔫)\mathrm{comp}.}{}_{\text{peu ramifiés}/}\mathrm{Spec}\left([\frac{1}{\mathrm{N}(𝔫)},\zeta _p]\right)\underset{(R,𝔫)\mathrm{comp}.}{}_{\text{très ramifiés}/}\mathrm{Spec}\left([\frac{1}{\mathrm{N}(𝔫)},\zeta _{p^2}]^{𝔬^\times /𝔬_{𝔭^2}^\times }\right)$$

$`-`$ Si la pointe $`𝒞`$ est non-ramifiée, pour toute $`𝔬^{}[\frac{1}{\mathrm{\Delta }}]`$-algèbre $`R`$, on a

$$R_𝒞^{(\kappa )}(R)=\left\{\underset{\xi 𝔬_+}{}a_\xi q^\xi \right|a_\xi R,a_{u^2\xi }=u^\kappa a_\xi ,u𝔬_{𝔭^2}^\times \}.$$

$`-`$ Si la pointe $`𝒞`$ est peu ramifiée, pour toute $`𝔬^{}[\frac{1}{\mathrm{\Delta }},\zeta _p]`$-algèbre $`R`$, on a

$$R_𝒞^{(\kappa )}(R)=\left\{\underset{\xi 𝔭_+^1}{}a_\xi q^\xi \right|a_\xi R,a_{u^2\xi }=u^\kappa \zeta _p^{p\mathrm{Tr}_{F/}(\xi u\xi _u^{})}a_\xi ,u𝔬_𝔭^\times \}.$$

$`-`$ Si la pointe $`𝒞`$ est très ramifiée, pour toute $`𝔬^{}[\frac{1}{\mathrm{\Delta }},\zeta _{p^2}]`$-algèbre $`R`$, on a

$$R_𝒞^{(\kappa )}(R)=\left\{\underset{\xi 𝔭_+^2}{}a_\xi q^\xi \right|a_\xi R,a_{u^2\xi }=u^\kappa \zeta _{p^2}^{p^2\mathrm{Tr}_{F/}(\xi u\xi _u^{})}a_\xi ,u𝔬_{𝔭^2}^\times \}.$$

En fait, d’après la démonstration de la Prop.3.3(iv), on a $`\xi _u^{}𝔭^2𝔡^1`$ et donc $`\mathrm{Tr}_{F/}(\xi u\xi _u^{})`$ (alors qu’à priori il appartient juste à $`p^2`$!). On en déduit que

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

ce qui est compatible avec le fait que $`\zeta _{p^2}`$ n’appartient pas au corps de définition de la pointe $`𝒞`$, qui est $`(\zeta _{p^2})^{𝔬^\times /𝔬_{𝔭^2}^\times }`$ (notons que $`1𝔬^\times /𝔬_{𝔭^2}^\times `$).

Plaçons nous dans le cas (iii). Le bord $`M^1\mathrm{\backslash }M^1`$ s’écrit alors

$$\underset{(R,𝔫)\mathrm{comp}.}{}_{\text{non-ramifiés}/}\mathrm{Spec}\left(\left[\frac{1}{\mathrm{N}(𝔫)}\right]\right)\underset{(R,𝔫)\mathrm{comp}.}{}_{\text{ramifiés}/}\mathrm{Spec}\left([\frac{1}{\mathrm{N}(𝔫)},\zeta _p]^{𝔬_{\overline{𝒞}}^\times /𝔬_𝔭^\times }\right).$$

$`-`$ Si la pointe $`𝒞`$ est non-ramifiée, pour toute $`𝔬^{}[\frac{1}{\mathrm{\Delta }}]`$-algèbre $`R`$, on a

$$R_𝒞^{(\kappa )}(R)=\left\{\underset{\xi 𝔬_+}{}a_\xi q^\xi \right|a_\xi R,a_{u^2\xi }=u^\kappa a_\xi ,u𝔬_𝔭^\times \}.$$

$`-`$ Si la pointe $`𝒞`$ est ramifiée, pour toute $`𝔬^{}[\frac{1}{\mathrm{\Delta }},\zeta _p]`$-algèbre $`R`$, on a

$$R_𝒞^{(\kappa )}(R)=\left\{\underset{\xi 𝔭_+^1}{}a_\xi q^\xi \right|a_\xi R,a_{u^2\xi }=u^\kappa \zeta _p^{p\mathrm{Tr}_{F/}(\xi u\xi _u^{})}a_\xi ,u𝔬_𝔭^\times \}.$$

En fait, d’après la démonstration de la Prop.3.3(iv), on a $`\xi _u^{}𝔭𝔡^1`$ et donc $`\mathrm{Tr}_{F/}(\xi u\xi _u^{})`$ (alors qu’à priori il appartient juste à $`p^1`$!). On en déduit que

$$R_𝒞^{(\kappa )}(R)=\left\{\underset{\xi 𝔭_+^1}{}a_\xi q^\xi \right|a_\xi R,a_{u^2\xi }=u^\kappa a_\xi ,u𝔬_𝔭^\times \},$$

ce qui est compatible avec le fait que $`\zeta _p`$ n’appartient pas au corps de définition de la pointe $`𝒞`$, qui est $`(\zeta _p)^{𝔬_{\overline{𝒞}}^\times /𝔬_𝔭^\times }`$ (notons que $`1𝔬_{\overline{𝒞}}^\times /𝔬_𝔭^\times `$).

Université Paris 7

UFR de Mathématiques, Case 7012

2 place Jussieu

75251 PARIS

FRANCE

Email : dimitrov@math.jussieu.fr