format: text

text:
# Untitled Document

Fibres de Springer et jacobiennes compactifiées

Gérard Laumon CNRS et Université Paris-Sud, UMR 8628, Mathématique, Bât. 425, F-91405 Orsay Cedex, France, Gerard.Laumon@math.u-psud.fr

L’objet de ce travail est d’identifier, à homéomorphisme près, les fibres de Springer affines pour $`GL(n)`$ sur un corps local d’égales caractéristiques à des revêtements de jacobiennes compactifiées de courbes projectives singulières. Ce lien permet de démontrer certaines propriétés géométriques de ces fibres de Springer, dont une propriété d’irréductibilité, et aussi d’en construire des $``$déformations$``$.

0. INTRODUCTION

Soient $`F`$ un corps local non archimédien d’égales caractéristiques, $`O_F`$ son anneau des entiers, $`k`$ son corps résiduel et $`E`$ un $`F`$-espace vectoriel de dimension finie.

La grassmannienne affine pour le $`F`$-schéma en groupes $`Aut_F(E)`$ des automorphismes de $`E`$ est le ind-$`k`$-schéma des $`O_F`$-réseaux $`M`$ dans $`E`$. Pour tout endomorphisme régulier semi-simple et topologiquement nilpotent $`\gamma `$ de $`E`$, on peut considérer le fermé réduit $`X_\gamma `$ de la grassmannienne affine formé des réseaux $`ME`$ tels que $`\gamma (M)M`$. Ce fermé est appelé la fibre de Springer affine en $`\gamma `$ par analogie avec les fibres de Springer classiques dans les variétés de drapeaux. D’après Kazhdan et Lusztig \[K-L\], $`X_\gamma `$ est un vrai schéma, localement de type fini sur $`k`$, qui est muni d’une action libre naturelle d’un groupe abélien libre de type fini $`\mathrm{\Lambda }_\gamma `$, et le quotient $`Z_\gamma =X_\gamma /\mathrm{\Lambda }_\gamma `$ est lui un $`k`$-schéma projectif.

Dans ce travail, nous attachons à $`\gamma `$ une courbe intègre et projective $`C_\gamma `$ sur $`k`$, qui n’a au plus qu’un seul point singulier, point en lequel l’anneau local complété de la courbe n’est autre que $`O_F[\gamma ]F[\gamma ]Au_F(E)`$. Puis, nous relions la fibre de Springer affine $`X_\gamma `$ et son quotient $`Z_\gamma `$ à la jacobienne compactifiée de $`C_\gamma `$. Nous déduisons alors des résultats d’Altman et Kleiman sur les jacobiennes compactifiées, un énoncé d’irréductibilité pour $`Z_\gamma `$ (Corollaire 2.2.2) et la possibilité de déformer à homéomorphisme près $`Z_\gamma `$ (et aussi dans une certaine mesure $`X_\gamma `$) en faisant varier $`\gamma `$ (cf. Chapitre 4).

Cette étude des fibres de Springer affines est motivée par une conjecture de Langlands et Shelstad, connue sous le nom de $``$Lemme fondamental$``$, dans le cas particulier des groupes unitaires sur les corps locaux non archimédiens. Nous explicitons cette conjecture dans la section 1.3 et nous en donnons, dans la section 1.4, une version géométrique, sous une forme due à Kottwitz.

Pour simplifier l’exposition, nous nous somme partout limité au cas où la $`F`$-algèbre commutative, semi-simple et de dimension finie, $`F[\gamma ]`$, est un produit d’extensions totalement ramifiées de $`F`$.

Je remercie J.-B. Bost, E. Esteves, L. Göttsche, L. Illusie, S. Kleiman, Y. Laszlo, F. Loeser et M. Raynaud pour l’aide qu’ils m’ont apportée durant la préparation de ce travail.

1. FIBRES DE SPRINGER

1.1. Les données

On fixe un corps $`k`$ parfait. Dans cet travail, on appelle simplement corps local tout corps $`K`$ contenant $`k`$ et muni d’une valuation discrète $`v_K:KZ\{\mathrm{}\}`$ pour laquelle $`K`$ est complet et de corps résiduel $`k`$. Pour un tel corps local, on note $`O_KK`$ l’anneau des entiers de la valuation discrète et $`p_K`$ l’idéal maximal de $`O_K`$. Le choix d’une uniformisante $`\varpi _K`$ de $`K`$ identifie $`p_KO_KK`$ à $`\varpi _Kk[[\varpi _K]]k[[\varpi _K]]k((\varpi _K))`$.

On fixe un corps local $`F`$ et une famille finie $`(E_i)_{iI}`$ non vide d’extensions finies, séparables et totalement ramifiées de $`F`$. On note $`n_i`$ de degré de $`E_i`$ sur $`F`$. Pour chaque $`iI`$, on se donne un élément $`\gamma _i`$ de $`p_{E_i}O_{E_i}E_i`$ qui engendre $`E_i`$ sur $`F`$, de sorte que $`E_iF[T]/(P_i(T))`$$`P_i(T)O_F[T]`$ est le polynôme minimal de $`\gamma _i`$ sur $`F`$.

On suppose que les polynômes $`P_i(T)`$ unitaires et irréductibles dans $`F[T]`$ sont deux à deux distincts.

On note $`A_i`$ la $`k`$-algèbre intègre

$$A_i=O_F[\gamma _i]O_{E_i}.$$

Elle est locale d’idéal maximal $`m_i=p_{E_i}A_i`$, son corps des fractions est $`E_i`$, et sa normalisation $`\stackrel{𝑒}{A}_iE_i`$ n’est autre que $`O_{E_i}`$.

On note $`E_I=_{iI}E_i`$, $`n_I=_{iI}n_i`$ la dimension de cet espace vectoriel sur $`F`$, $`\gamma _I=(\gamma _i)_{iI}_{iI}A_i`$ et

$$A_I=O_F[\gamma _I]\underset{iI}{}A_i.$$

La $`k`$-algèbre $`A_I`$ est locale d’idéal maximal $`m_I=\left(_{iI}m_i\right)A_I`$, son anneau total des fractions est $`E_I`$ et sa normalisation est égale à $`\stackrel{𝑒}{A}_I:=_{iI}\stackrel{𝑒}{A}_i=_{iI}O_{E_i}=:O_{E_I}E_I`$.

Comme

$$A_IO_F[T]/(P_I(T))=k[[\varpi _F]][T]/(P_I(T))k[[\varpi _F,T]]/(P_I(T))$$

$`P_I(T)=_{iI}P_i(T)`$, la $`k`$-algèbre locale (intègre et de dimension $`1`$) $`A_I`$ est de Gorenstein et son module dualisant $`\omega _{A_I}`$ est égal à

$$\omega _{A_I}=\{y\mathrm{\Omega }_{E_I/k}^1Res_I(xy)=0,xA_I\}\mathrm{\Omega }_{\stackrel{𝑒}{A}_I/k}^1,$$

où l’application $`k`$-linéaire $`Res_I:\mathrm{\Omega }_{E_I/k}^1k`$ est la somme des applications résidus $`Res_i:\mathrm{\Omega }_{E_i/k}^1k`$.

PROPOSITION 1.1.1 (Rosenlicht, cf. \[A-K 1\] VIII, Proposition (1.16)) . — L’accouplement $`(\stackrel{𝑒}{A}_I/A_I)\times (\omega _{A_I}/\mathrm{\Omega }_{\stackrel{𝑒}{A}_I/k}^1)k`$ qui envoie $`(x+A_I,y+\mathrm{\Omega }_{\stackrel{𝑒}{A}_I/k}^1)`$ sur $`Res_I(xy)`$ est un accouplement parfait. $`\mathrm{}`$

On pose

$$\delta _I=dim_k(\stackrel{𝑒}{A}_I/A_I)$$

et on note $`a_I`$ le conducteur de $`\stackrel{𝑒}{A}_I`$ dans $`A_I`$, c’est-à-dire l’idéal de $`\stackrel{𝑒}{A}_I`$ formé des $`x\stackrel{𝑒}{A}_I`$ tels que $`x\stackrel{𝑒}{A}_IA_I`$. Cet idéal est contenu dans $`A_I`$ et il résulte de la proposition ci-dessus que

$$dim_k(A_I/a_I)=\delta _I.$$

Pour chaque $`iI`$, on pose

$$\delta _i=dim_k(\stackrel{𝑒}{A}_i/A_i)$$

et, pour chaque $`ij`$ dans $`I`$, on note $`r_{ij}=r_{ji}`$ la valuation du résultant dans $`O_F`$ des polynômes $`P_i(T)`$ et $`P_j(T)`$, c’est-à-dire la valuation de $`P_j(\gamma _i)`$ dans $`E_i`$ ou, ce qui revien au même, de $`P_i(\gamma _j)`$ dans $`E_j`$. On vérifie que

$$\delta _I=\underset{iI}{}\delta _i+\frac{1}{2}\underset{\genfrac{}{}{0pt}{}{i,jI}{ij}}{}r_{ij}$$

et que

$$a_I=\underset{iI}{}p_{E_i}^{2\delta _i+_{jI\{i\}}r_{ij}}\underset{iI}{}O_{E_i}=O_{E_I}.$$

1.2. Fibres de Springer

Rappelons qu’un $`O_F`$-réseau dans un $`F`$-espace vectoriel de dimension finie $`E`$ est un sous-$`O_F`$-Module de $`E`$ de rang égal à la dimension de $`E`$. Si $`M`$ et $`N`$ sont deux tels $`O_F`$-réseaux, l’indice de $`M`$ relativement à $`N`$ est l’entier relatif

$$[M:N]=dim_k(M/P)dim_k(N/P)$$

$`P`$ est n’importe quel $`O_F`$-réseau de $`E`$ contenu à la fois dans $`M`$ et dans $`N`$. Par exemple, $`A_I`$ et $`\stackrel{𝑒}{A}_I`$ sont des $`O_F`$-réseaux dans $`E_I`$ et $`[\stackrel{𝑒}{A}_I:A_I]=\delta _I`$.

Soient $`N0`$ et $`d`$ des entiers et soit

$$M\varpi _F^NA_IE_I$$

un $`O_F`$-réseau qui est d’indice $`d`$ relativement au $`O_F`$-réseau particulier $`A_I`$ (bien entendu, pour qu’il existe un tel $`M`$, il faut que $`dn_IN`$). La multiplication par $`\varpi _F`$ induit un endomorphisme nilpotent du $`k`$-espace vectoriel $`\varpi _F^NA_I/M`$ de dimension $`n_INd`$. Par suite, $`M`$ contient automatiquement $`\varpi _F^{(n_I1)Nd}A_I`$ et la donnée de $`M`$ équivaut à la donnée du sous-espace vectoriel

$$M/\varpi _F^{(n_I1)Nd}A_I\varpi _F^NA_I/\varpi _F^{(n_I1)Nd}A_I$$

stable par l’endomorphisme nilpotent induit par la multiplication par $`\varpi _F`$.

Pour toute extension $`k^{}`$ de $`k`$, on note $`F^{}=k^{}\stackrel{𝑏}{}_kF=k^{}((\varpi _F))`$, $`E_i^{}=k^{}\stackrel{𝑏}{}_kE_i=k^{}((\varpi _{E_i}))`$, etc … les complétés $`\varpi _F`$-adiques de $`k^{}_kF`$, $`k^{}_kE_i`$, etc … Ce que l’on vient de dire vaut encore après que l’on ait remplacé $`k`$ par $`k^{}`$, $`F`$ par $`F^{}`$, etc …

Pour $`k^{}`$ variable, les $`O_F^{}`$-réseaux dans $`E_I^{}`$ qui sont d’indice $`d`$ relativement au $`O_F^{}`$-réseau particulier $`A_I^{}`$ et qui sont contenus dans $`\varpi _F^NA_I^{}`$ sont donc naturellement les $`k^{}`$-points d’un $`k`$-schéma projectif réduit $`R_{I,N}^d`$, à savoir le fermé (réduit) de la grassmannienne des $`(n_I1)(n_INd)`$-plans dans le $`k`$-espace vectoriel $`\varpi _F^NA_I/\varpi _F^{(n_I1)Nd}A_I`$ de dimension $`n_I(n_INd)`$, formé des plans qui sont stables par l’endomorphisme nilpotent induit par la multiplication par $`\varpi _F`$.

Pour $`d`$ fixé, les $`k`$-schémas projectifs $`R_{I,N}^d`$ s’organisent en un système inductif d’immersions fermées

$$\mathrm{}R_{I,N}^dR_{I,N+1}^d\mathrm{}$$

et on note $`R_I^d`$ le ind-$`k`$-schéma $``$limite$``$. Le ind-$`k`$-schéma des $`O_F`$-réseaux de $`E_I`$ est par définition la somme disjointe

$$R_I=\underset{dZ}{}R_I^d.$$

Toujours pour $`k^{}`$ variable, les $`O_F^{}`$-réseaux $`(ME_I^{})R_{I,N}^d(k^{})`$ tels que

$$\gamma _IMM$$

sont les $`k^{}`$-points d’un sous-$`k`$-schéma fermé réduit $`X_{I,N}^d`$ de $`R_{I,N}^d`$. Pour $`d`$ fixé, les $`X_{I,N}^dR_{I,N}^d`$ s’organisent en un système inductif et on note $`X_I^dR_I^d`$ le sous-ind-$`k`$-schéma fermé réduit $``$limite$``$.

DÉFINITION 1.2.1 . — La fibre de Springer en $`\gamma _I`$ est le sous-ind-$`k`$-schéma fermé réduit

$$X_I=\underset{dZ}{}X_I^d\underset{dZ}{}R_I^d=R_I$$

des $`O_F`$-réseaux de $`E_I`$ stabilisé par $`\gamma _I`$.

Bien entendu, chaque $`X_I^d=X_IR_I^d`$ est une partie ouverte et fermée de $`X_I`$.

La remarque évidente suivante est essentielle pour la suite:

On peut identifier les $`k^{}`$-points de $`X_I`$ aux sous-$`A_I^{}`$-modules $`ME_I^{}`$ qui sont de rang $`1`$ en chaque point générique de $`Spec(A_I^{})`$.

Pour $`k^{}`$ variable, le groupe $`E_I^\times /A_I^\times `$ est de manière naturelle le groupe des $`k^{}`$-points d’un $`k`$-schéma en groupes commutatifs $`G_I`$ qui est lisse et de dimension $`\delta _I`$ sur $`k`$. Plus précisément, le groupe des composantes connexes de $`G_I`$ est le quotient $`E_I^\times /O_{E_I}^\times =_{iI}(E_i^\times /O_{E_i}^\times )`$ qui est canoniquement isomorphe à $`\mathrm{\Lambda }_I:=Z^I`$; la composante neutre $`G_I^0`$ de $`G_I`$, qui admet $`O_{E_I^{}}^\times /A_I^\times `$ pour groupe des $`k^{}`$-points, est une extension d’un tore $`T_I`$ (le quotient de $`G_{\mathrm{m},k}^I`$ par $`G_{\mathrm{m},k}`$ plongé diagonalement) par un schéma en groupes unipotents $`U_I`$ de type fini dont le groupe des $`k^{}`$-points est

$$U_I(k^{})=\left(_{iI}(1+p_{E_I^{}})\right)/(1+m_I^{})$$

$`m_I^{}`$ est l’idéal maximal de $`A_I^{}`$.

L’action par homothéties de $`E_I^\times /A_I^\times `$ sur les réseaux $`MX_I(k^{})`$ provient d’une action algébrique naturelle de $`G_I`$ sur $`X_I`$. Cette action permute les composantes $`X_I^d`$ de $`X_I`$ suivant la règle

$$gX_I^d=X_I^{d+|\lambda |}$$

$`\lambda `$ est l’image de $`gG_I`$ dans $`\mathrm{\Lambda }_I`$ et où on a posé $`|\lambda |=_{\iota I}\lambda _i`$ pour chaque $`\lambda \mathrm{\Lambda }_I`$.

Le $`k`$-schéma $`X_I`$ contient le $`k`$-point particulier $`M=A_I`$. Le fixateur dans $`G_I`$ de ce point particulier est réduit à l’élément neutre et son orbite $`X_I^{}=G_IA_I`$ est donc une partie de $`X_I`$ isomorphe à $`G_I`$.

LEMME 1.2.2 . — La $`G_I`$-orbite $`X_I^{}`$ est l’ouvert de $`X_I`$ dont les $`k^{}`$-points sont les $`M^{}`$ qui sont libres de rang $`1`$ en tant que $`A_I^{}`$-modules. $`\mathrm{}`$

Tout scindage $`\sigma :\mathrm{\Lambda }_I^0G_I`$ de l’extension

$$1G_I^0G_I\mathrm{\Lambda }_I0$$

au-dessus du sous-groupe

$$\mathrm{\Lambda }_I^0:=\{\lambda \mathrm{\Lambda }_I|\lambda |=0\}\mathrm{\Lambda }_I$$

définit une action libre de $`\mathrm{\Lambda }_I^0`$ sur $`X_I`$ qui préserve les composantes $`X_I^d`$. On notera $`Z_I=X_I/\sigma (\mathrm{\Lambda }_I^0)`$ le $`k`$-espace quotient correspondant et $`Z_I^d=X_I^d/\sigma (\mathrm{\Lambda }_I^0)`$ ses composantes.

THÉORÈME 1.2.3 (Kazhdan-Lusztig, cf. \[K-L\] §3) . — La fibre de Springer $`X_I`$ est en fait un $`k`$-schéma localement de type fini et de dimension finie, dont les composantes connexes sont exactement les $`X_I^d`$, $`dZ`$.

Pour tout scindage $`\sigma :\mathrm{\Lambda }_I^0G_I`$ comme ci-dessus, les $`k`$-espaces quotients $`Z_I^d`$ correspondants sont des $`k`$-schémas projectifs, $`Z_I`$ est le $`k`$-schéma somme disjointe des $`Z_I^d`$ et l’application quotient $`X_IZ_I`$ est un revêtement étale galoisien de groupe de Galois $`\mathrm{\Lambda }_I^0`$. $`\mathrm{}`$

1.3. Lemme fondamental arithmétique (d’après Kottwitz)

Soit $`q`$ une puissance d’un nombre premier $`p`$ et $`F_qF_{q^2}`$ les corps finis à $`q`$ et $`q^2`$ éléments respectivement, qui sont contenus dans une clôture algébrique fixée $`\overline{F}_p`$ du corps premier $`F_p`$. On note $`xx^{}`$ les éléments de Frobenius géométriques des groupes de Galois $`Gal(\overline{F}_p/F_q)`$ et $`Gal(F_{q^2}/F_q)`$. On fixe aussi un élément $`\epsilon F_{q^2}^\times `$ tel que $`\epsilon ^{}=\epsilon `$. On prend pour $`k`$ le corps $`F_{q^2}`$.

On se donne un corps local $`F_0`$ de corps résiduel $`F_q`$ et une famille $`(E_{i,0})_{iI}`$ d’extensions finies, séparables et totalement ramifiées de $`F_0`$, et on prend pour $`F`$ le corps local $`F=F_{q^2}_{F_q}F_0`$ et pour $`E_i`$, $`iI`$, les corps locaux $`E_i=F_{q^2}_{F_q}E_{i,0}`$.

Pour toute extension finie $`k^{}`$ de $`F_q`$ contenue dans $`\overline{F}_p`$, on note $`F^{}=k^{}_{F_q}F_0`$, $`E_i^{}=k^{}_{F_q}E_{i,0}`$, etc … et on note encore $`xx^{}`$ les relèvements naturels de l’élément de Frobenius géométrique de $`Gal(k^{}/F_q)`$ aux groupes de Galois $`Gal(F^{}/F_0)`$, $`Gal(E_i^{}/E_{i,0})`$, etc … Bien sûr, si $`k^{}`$ contient $`k`$, on a $`F^{}=k^{}_kF`$, $`E_i^{}=k^{}_kE_i`$, etc …

On se donne des $`\gamma _ip_{E_i}`$ comme dans la section 1.1 et on fait l’hypothèse supplémentaire suivante: pour chaque $`iI`$, on a

$$Tr_{E_i/E_{i,0}}(\gamma _i)(=\gamma _i^{}+\gamma _i)=0.$$
$`(\mathrm{1.3.1})`$
Il résulte de cette hypothèse que l’élément

$$\alpha _I=\epsilon ^{n_I1}\frac{\mathrm{d}P_I}{\mathrm{d}T}(\gamma _I)E_I^\times $$

est en fait dans $`E_{I,0}^\times E_I^\times `$. On munit le $`F`$-espace vectoriel $`E_I`$ (de dimension finie $`n_I`$) de la forme hermitienne

$$x,y_I=Tr_{E_I/F}(\alpha _I^1x^{}y).$$

On a choisi $`\alpha _I`$ pour que $`A_IE_I`$ soit son propre orthogonal pour cette forme hermitienne.

La forme sesquilinéaire ci-dessus induit sur la fibre de Springer $`X_I`$ une $`F_q`$-structure rationnelle $`X_I`$ dont l’endomorphisme de Frobenius $`Frob_{X_I/F_q}`$ envoie, quel que soit l’extension finie $`k^{}`$ de $`k`$ contenue dans $`\overline{F}_p`$, un $`k^{}`$-point $`ME_I^{}`$ de $`X_I`$ sur le $`k^{}`$-point

$$M^_I=\{yE_I^{}M,y_I^{}O_F^{}\}E_I^{}$$

de $`X_I`$, où on a noté

$$x,y_I^{}=Tr_{E_I^{}/F^{}}(\alpha _I^1x^{}y).$$

On a $`\gamma _IM^_IM^_I`$ puisque $`\gamma _I^{}=\gamma _I`$ par hypothèse, et le flèche canonique

$$(M^{})^{}(M^_I)^_IE_I^{}$$

est bijective, de sorte que

$$Frob_{X_I/F_q}Frob_{X_I/F_q}=Frob_{X_I/F_{q^2}}$$

est l’endomorphisme de Frobenius de $`X_I`$ sur $`F_{q^2}`$.

Le $`F_{q^2}`$-point $`A_IE_I`$ de $`X_I`$ est fixé par l’endomorphisme de Frobenius $`Frob_{X_I/F_q}`$ et, quel que soit le point $`ME_I`$ de $`X_I`$, on a

$$[Frob_{X_I/F_q}(M):A_I]=[M:A_I].$$

Par suite, $`Frob_{X_I/F_q}`$ induit une $`F_q`$-structure rationnelle $`X_I^0`$ sur le $`F_{q^2}`$-schéma $`X_I^0`$ et $`A_I`$ est un $`F_q`$-point de $`X_I^0`$.

On a aussi une $`F_q`$-structure rationnelle $`G_I`$ sur le $`F_{q^2}`$-schéma en groupes $`G_I`$ dont l’endomorphisme de Frobenius $`Frob_{G_I/F_q}`$ envoie $`gG_I(k^{})=E_I^\times /A_I^\times `$ sur $`(g^{})^1`$. Cet endomorphisme induit sur le quotient $`\mathrm{\Lambda }_I=G_I/G_I^0`$ l’automorphisme $`\lambda \lambda `$.

Les $`F_q`$-structures rationnelles $`X_I`$ et $`G_I`$ sont compatibles au sens où

$$Frob_{X_I/F_q}(gM)=Frob_{G_I/F_q}(g)Frob_{X_I/F_q}(M)$$

pour tout $`gG_I`$ et tout $`MX_I`$. Fixons un scindage $`\sigma :\mathrm{\Lambda }_I^0G_I`$ de telle sorte que

$$Frob_{G_I/F_q}(\sigma (\lambda ))=\sigma (\lambda ),\lambda \mathrm{\Lambda }_I^0,$$

ce qui est toujours possible (il suffit de choisir pour chaque $`iI`$, une uniformisante $`\varpi _{E_i}`$ de $`E_i`$ qui est déjà dans $`E_{i,0}`$). Alors la $`F_q`$-structure rationnelle $`X_I`$ en induit une $`Z_I`$ sur le quotient $`Z_I=X_I/\sigma (\mathrm{\Lambda }_I^0)`$. Comme on a

$$Frob_{Z_I/F_q}(Z_I^i)=Z_I^i,iZ,$$

l’endomorphisme de Frobenius $`Frob_{Z_I/F_q}`$ induit une $`F_q`$-structure rationnelle $`Z_I^0`$ sur $`Z_I^0=X_I/\sigma (\mathrm{\Lambda }_I^0)`$ et les $`F_q`$-points de $`Z_I`$, c’est-à-dire les points fixes de l’endomorphisme de Frobenius $`Frob_{Z_I/F_q}`$, sont nécessairement contenus dans $`Z_I^0`$.

LEMME 1.3.2 . — Les $`F_q`$-points de $`Z_I`$, ou ce qui revient au même de $`Z_I^0`$, sont les $`\mathrm{\Lambda }_I^0`$-orbites $`z`$ des $`F_{q^2}`$-points $`x`$ de $`X_I^0`$ pour lesquels il existe $`\lambda _x\mathrm{\Lambda }_I^0`$ tel que

$$Frob_{X_I/F_q}(x)=\sigma (\lambda _x)x.$$

De plus, pour tout $`zZ_I^0(F_q)`$, la classe $`\overline{\lambda }_x`$ dans $`\mathrm{\Lambda }_I^0/2\mathrm{\Lambda }_I^0`$ de l’élément $`\lambda _x`$ ci-dessus est uniquement déterminée par $`z`$ et on a donc une application

$$Z_I^0(F_q)\mathrm{\Lambda }_I^0/2\mathrm{\Lambda }_I^0.$$

$`\mathrm{}`$

Pour chaque $`\overline{\lambda }\mathrm{\Lambda }_I^0/2\mathrm{\Lambda }_I^0`$, on pose

$$O_{\overline{\lambda }}^I=|\{zZ_I^0(F_q)\overline{\lambda }_z=\overline{\lambda }\}|.$$

Pour chaque caractère d’ordre $`2`$, $`\kappa :\mathrm{\Lambda }_I^0\{\pm 1\}`$, ou ce qui revient au même, pour chaque caractère $`\kappa :\mathrm{\Lambda }_I^0/2\mathrm{\Lambda }_I^0\{\pm 1\}`$, on pose

$$O^{I,\kappa }=\underset{\overline{\lambda }\mathrm{\Lambda }_I^0/2\mathrm{\Lambda }_I^0}{}\kappa (\overline{\lambda })O_{\overline{\lambda }}^I.$$

En particulier, pour $`\kappa =1`$ le caractère trivial, on pose

$$SO^I=O^{I,1}=\underset{\overline{\lambda }\mathrm{\Lambda }_I^0/2\mathrm{\Lambda }_I^0}{}O_{\overline{\lambda }}^I=|Z_I^0(F_q)|.$$

Remarque 1.3.3  : Soit $`U_I`$ le groupe unitaire sur $`F_0`$ défini par le $`F`$-espace vectoriel hermitien $`(E_I,,_I)`$ et $`u_I`$ son algèbre de Lie. Le groupe réductif $`U_I`$ est naturellement muni d’un tore maximal elliptique $`T_I`$ tel que $`T_I(F_0)`$ soit formé des éléments $`t`$ de $`E_I^\times `$ tels que $`t^{}t=1`$ et $`\gamma _I`$ est un élément régulier de l’algèbre de Lie $`t_I`$ de $`T_I`$.

Les classes de $`U_I(F_0)`$-conjugaison dans la classe de conjugaison stable de $`\gamma _I`$ peuvent être paramétrées par $`\mathrm{\Lambda }_I^0/2\mathrm{\Lambda }_I^0`$ et chaque $`O_{\overline{\lambda }}^I`$ est l’intégrale orbitale sur la classe de conjugaison correspondante à $`\overline{\lambda }`$ de la fonction caractéristique du réseau dans $`u_I(F_0)`$ qui fixe $`A_IE_I`$.

Par suite, $`O^{I,\kappa }`$ est un $`\kappa `$-intégrale orbitale et $`SO^I`$ une intégrale orbitale stable, au sens de Labesse et Langlands $`\mathrm{}`$

Bien entendu, dans tout ce qui précède on peut remplacer $`I`$ par une partie $`J`$ de $`I`$, $`E_I`$ par $`E_J=_{iJ}E_i`$, $`\gamma _J=(\gamma _i)_{iJ}`$, etc … On fera cependant attention au fait que la forme hermitienne $`,_J`$ n’est pas la forme hermitienne sur $`E_JE_I`$ qui est induite par la forme hermitienne $`,_I`$ (voir $`\mathrm{1.4.8}`$).

La donnée d’un caractère $`\kappa :\mathrm{\Lambda }_I^0/2\mathrm{\Lambda }_I^0\{\pm 1\}`$ équivaut à la donnée d’une partition $`I=I_1I_2`$ de $`I`$, le caractère $`\kappa _{I_1,I_2}`$ associé à une telle partition étant donné par la formule

$$\kappa (\lambda )=(1)^{_{iI_1}\lambda _i}=(1)^{_{iI_2}\lambda _i},\lambda \mathrm{\Lambda }_I^0.$$

Langlands et Shelstad (cf. \[La-Sh\]) ont conjecturé toute une famille de relations entre $`\kappa `$-intégrales orbitales sur un groupe réductif $`G`$ sur un corps local non archimédien et intégrales orbitales stables sur le groupe endoscopique $`H`$ de $`G`$ correspondant à $`\kappa `$. Cette famille de relations conjecturales est communément appelée le $``$Lemme fondamental$``$. En particulier, pour $`G=U_I`$ et $`\kappa =\kappa _{I_1,I_2}`$, le groupe endoscopique $`H`$ n’est autre que $`U_{I_1}\times U_{I_2}`$ et, compte tenu des calculs des facteurs de transferts pour les groupes classiques, effectués par Waldspurger (cf. \[Wa\], Chapitre X), la conjecture de Langlands et Shelstad s’énonce simplement:

CONJECTURE 1.3.4 (Lemme fondamental arithmétique) . — Pour toute partition $`I=I_1I_2`$ de $`I`$, on a la relation

$$O^{I,\kappa _{I_1,I_2}}=q^{r_{I_1,I_2}}\times SO^{I_1}\times SO^{I_2}.$$

$`r_{I_1,I_2}=[A_{I_1}\times A_{I_2}:A_I]`$.

Remarque $`\mathrm{1.3.5}`$  : On a $`r_{I_1,I_2}=\delta _I(\delta _{I_1}+\delta _{I_2})=_{i_1I_1,i_2I_2}r_{i_1,i_2}`$.

$`\mathrm{}`$

Fixons un nombre premier $`\mathrm{}p`$. D’après Grothendieck \[Gr 1\], le nombre des $`F_q`$-points d’un $`F_q`$-schéma projectif est la trace de l’action de l’endomorphisme de Frobenius sur la cohomologie $`\mathrm{}`$-adique de ce schéma. On a donc

$$SO^J=tr(Frob_{Z_J^0},R\mathrm{\Gamma }(\overline{F}_p_{F_q}Z_J^0,Q_{\mathrm{}}))$$
$`(\mathrm{1.3.6})`$
pour toute partie $`J`$ de $`I`$.

Pour toute partition $`I=I_1I_2`$, le caractère $`\kappa _{I_1,I_2}`$ peut être vu à valeurs dans $`\{\pm 1\}Q_{\mathrm{}}`$ et on peut $``$pousser$``$ le revêtement étale galoisien $`X_I^0X_I^0/\sigma (\mathrm{\Lambda }_I^0)=Z_I^0`$ de groupe de Galois $`\mathrm{\Lambda }_I^0`$ par $`\kappa _{I_1,I_2}`$ pour obtenir un système local $`\mathrm{}`$-adique $`L_{I_1,I_2}`$ de rang $`1`$ sur $`Z_I^0`$. L’endomorphisme de Frobenius $`Frob_{Z_J^0}`$ se relève à $`L_{I_1,I_2}`$ vu notre choix de la section $`\sigma `$ et, toujours d’après Grothendieck, on déduit du lemme 1.3.2 que

$$O^{I,\kappa _{I_1,I_2}}=tr(Frob_{Z_I},R\mathrm{\Gamma }(\overline{F}_p_{F_q}Z_I^0,L_{I_1,I_2})).$$
$`(\mathrm{1.3.7})`$
1.4. Lemme fondamental géométrique

Revenons à la situation de la section 1.1 où $`k`$ est un corps parfait arbitraire de caractéristique $`\mathrm{}`$ et fixons une clôture algébrique $`\overline{k}`$ de $`k`$.

Le lemme fondamental arithmétique nous amène tout naturellement à espérer que, pour chaque partition $`I=I_1I_2`$, il existe un isomorphisme canonique

$$R\mathrm{\Gamma }(\overline{k}_k(Z_{I_1}^0\times Z_{I_2}^0),Q_{\mathrm{}})[2r_{I_1,I_2}](r_{I_1,I_2})\stackrel{}{}R\mathrm{\Gamma }(\overline{k}_kZ_I^0,L_{I_1,I_2})$$

où le $`Q_{\mathrm{}}`$-système local $`L_{I_1,I_2}`$ de rang $`1`$ sur $`Z_I^0`$ est défini, comme dans la section précédente, en poussant le revêtement étale galoisien $`X_I^0X_I^0/\sigma (\mathrm{\Lambda }_I^0)=Z_I^0`$ de groupe de Galois $`\mathrm{\Lambda }_I^0`$ par $`\kappa _{I_1,I_2}`$.

Bien sûr, dans la situation arithmétique de la section 1.3, un tel isomorphisme canonique, qui s’écrit encore

$$R\mathrm{\Gamma }(\overline{F}_p_{F_q}(Z_{I_1}^0\times Z_{I_2}^0),Q_{\mathrm{}})[2r_{I_1,I_2}](r_{I_1,I_2})\stackrel{}{}R\mathrm{\Gamma }(\overline{F}_p_{F_q}Z_I,L_{I_1,I_2}),$$

serait automatiquement compatible aux actions des endomorphismes de Frobenius relatifs à $`F_q`$ et son existence impliquerait la conjecture 1.3.4.

Nous allons voir qu’un tel isomorphisme existe $``$virtuellement$``$. Plus précisément, nous allons démontrer dans cette section:

THÉORÈME 1.4.1 . — Dans le groupe de Grothendieck des $`Q_{\mathrm{}}[Gal(\overline{k}/k)]`$-modules, on a

$$\underset{i}{}(1)^i[H^i(\overline{k}_kZ_I^0,L_{I_1,I_2})]=\underset{i}{}(1)^i[H^{i2r_{I_1,I_2}}(\overline{k}_k(Z_{I_1}^0\times Z_{I_2}^0),Q_{\mathrm{}})(r_{I_1,I_2})].$$

Pour alléger la rédaction, nous noterons simplement

$$r=r_{I_1,I_2}=[A_{I_1}\times A_{I_2}:A_I]$$

et nous ne considérerons dans ce qui suit que des points rationnels sur $`k`$. Bien sûr, les mêmes arguments valent pour des points rationnels sur une extension finie arbitraire de $`k`$ après avoir remplacer $`F`$ par $`F^{}=k^{}_kF`$, $`E_i`$ par $`E_i^{}=k^{}_kE_i`$, etc …

Pour chaque $`(ME_I)X_I^0`$, soient $`M_1^{}`$ et $`M_2^{}`$ ses intersections avec $`E_{I_1}=E_{I_1}\times \{0\}`$ et $`E_{I_1}=\{0\}\times E_{I_2}`$ dans $`E_{I_1}\times E_{I_2}=E_I`$, et $`M_1^{\prime \prime }`$ et $`M_2^{\prime \prime }`$ ses projections sur les facteurs $`E_{I_1}`$ et $`E_{I_2}`$ de $`E_{I_1}\times E_{I_2}=E_I`$. On a des suites exactes

$$0M_1^{}MM_2^{\prime \prime }0$$

et

$$0M_2^{}MM_1^{\prime \prime }0,$$

et les inclusions

$$M_1^{}M_1^{\prime \prime }E_{I_1}\text{ et }M_2^{}M_2^{\prime \prime }E_{I_2}.$$

Par suite, si on pose

$$ind_\alpha ^{}(M)=[M_\alpha ^{}:A_{I_\alpha }]\text{ et }ind_\alpha ^{\prime \prime }(M)=[M_\alpha ^{\prime \prime }:A_{I_\alpha }]$$

pour $`\alpha =1,2`$, on a les relations

$$ind_1^{}(M)+ind_2^{\prime \prime }(M)=ind_2^{}(M)+ind_1^{\prime \prime }(M)=[M:A_{I_1}\times A_{I_2}]=r.$$

LEMME 1.4.2 . — Pour chaque $`(ME_I)X_I^0`$, on a

$$0ind_1^{\prime \prime }(M)ind_1^{}(M)=ind_2^{\prime \prime }(M)ind_2^{}(M)r$$

Preuve  : Pour $`\{\alpha ,\beta \}=\{1,2\}`$, on a

$$P_{I_\beta }(\gamma _{I_\alpha })M_\alpha ^{\prime \prime }M_\alpha ^{}M_\alpha ^{\prime \prime }$$

puisque $`P_{I_\beta }(\gamma _I)MM`$ et que $`P_{I_\beta }(\gamma _{I_\beta })=0`$. Par suite, on a

$$[M_\alpha ^{\prime \prime }:M_\alpha ^{}][M_\alpha ^{\prime \prime }:P_{I_\beta }(\gamma _{I_\alpha })M_\alpha ^{\prime \prime }]$$

$$\begin{array}{c}\text{ }[M_\alpha ^{\prime \prime }:P_{I_\beta }(\gamma _{I_\alpha })M_\alpha ^{\prime \prime }]\text{ }\hfill \\ \text{ }\begin{array}{cc}& =[M_\alpha ^{\prime \prime }:O_{E_{I_\alpha }}]+[O_{E_{I_\alpha }}:P_{I_\beta }(\gamma _{I_\alpha })O_{E_{I_\alpha }}][P_{I_\beta }(\gamma _{I_\alpha })M_\alpha ^{\prime \prime }:P_{I_\beta }(\gamma _{I_\alpha })O_{E_{I_\alpha }}]\hfill \\ & =[O_{E_{I_\alpha }}:P_{I_\beta }(\gamma _{I_\alpha })O_{E_{I_\alpha }}]=\underset{i_\alpha I_\alpha }{}[O_{E_{i_\alpha }}:P_{I_\beta }(\gamma _{i_\alpha })O_{E_{i_\alpha }}]\hfill \\ & =\underset{i_\alpha I_\alpha }{}v_{E_{I_\alpha }}(P_{I_\beta }(\gamma _{i_\alpha }))=\underset{\genfrac{}{}{0pt}{}{i_\alpha I_\alpha }{i_\beta I_\beta }}{}r_{i_\alpha ,i_\beta }=r.\hfill \end{array}\text{ }\hfill \end{array}$$

$`\mathrm{}`$

Pour chaque entier $`j`$, les parties

$$\{MX_I^0ind_1^{}(M)j\}=\{MX_I^0ind_2^{\prime \prime }(M)rj\}$$

et

$$\{MX_I^0ind_1^{}(M)j\}=\{MX_I^0ind_2^{\prime \prime }(M)rj\}$$

sont respectivement fermée et ouverte dans $`X_I^0`$. Par suite, pour chaque $`\rho =0,1,\mathrm{},r`$, la partie $`X_{I_1,I_2;\rho }^0`$ de $`X_I^0`$ formée des $`M`$ tels que

$$ind_1^{\prime \prime }(M)ind_1^{}(M)=ind_2^{\prime \prime }(M)ind_2^{}(M)=\rho $$

est localement fermée dans $`X_I^0`$ et la réunion disjointe

$$X_{I_1,I_2;\rho }^0=X_{I_1,I_2;0}^0X_{I_1,I_2;1}^0\mathrm{}X_{I_1,I_2;\rho }^0$$

est fermée dans $`X_I^0`$. D’après le lemme 1.4.2, on a en fait $`X_{I_1,I_2;r}^0=X_I^0`$.

Pour chaque $`\rho =0,1,\mathrm{},r`$, l’action par translations de $`\mathrm{\Lambda }_I^0`$ sur $`X_I^0`$ (via le scindage $`\sigma `$) stabilise $`X_{I_1,I_2;\rho }^0`$ et il résulte de ce qui précède que le quotient $`Z_{I_1,I_2;\rho }^0=X_{I_1,I_2;\rho }^0/\sigma (\mathrm{\Lambda }_I^0)`$ est une partie localement fermée de $`Z_I^0`$ et que la réunion disjointe

$$Z_{I_1,I_2;\rho }^0=Z_{I_1,I_2;0}^0Z_{I_1,I_2;1}^0\mathrm{}Z_{I_1,I_2;\rho }^0$$

est un fermé de $`Z_I^0`$, qui est en fait $`Z_I^0`$ tout entier pour $`\rho =r`$.

On vérifie que:

\- pour chaque $`\rho =0,1,\mathrm{},r`$, le $`k`$-schéma réduit $`X_{I_1,I_2;\rho }^0`$ est réunion disjointe de ses parties ouvertes et fermées

$$\begin{array}{cc}\hfill X_{I_1,I_2;\rho ,i}^0& =\{MX_I^0ind_1^{}(M)=i\text{ et }ind_1^{\prime \prime }(M)=\rho +i\}\hfill \\ & =\{MX_I^0ind_2^{}(M)=r\rho i\text{ et }ind_2^{\prime \prime }(M)=ri\},\hfill \end{array}$$

pour $`iZ`$,

\- pour chaque entier $`i`$, l’action de $`\mathrm{\Lambda }_{I_1}^0\times \mathrm{\Lambda }_{I_2}^0\mathrm{\Lambda }_I^0`$ via $`\sigma `$ sur $`X_I^0`$ stabilise $`X_{I_1,I_2;\rho ,i}^0`$,

\- le morphisme quotient $`X_I^0X_I^0/\sigma (\mathrm{\Lambda }_I^0)=Z_I^0`$ induit un isomorphisme de $`X_{I_1,I_2;\rho ,i}^0/\sigma (\mathrm{\Lambda }_{I_1}^0\times \mathrm{\Lambda }_{I_2}^0)`$ sur $`Z_{I_1,I_2;\rho }^0`$.

En particulier, le revêtement

$$X_{I_1,I_2;\rho }^0/\sigma (\mathrm{\Lambda }_{I_1}^0\times \mathrm{\Lambda }_{I_2}^0)Z_{I_1,I_2;\rho }^0$$

induit par le morphisme quotient $`X_I^0/\sigma (\mathrm{\Lambda }_{I_1}^0\times \mathrm{\Lambda }_{I_2}^0)X_I^0/\sigma (\mathrm{\Lambda }_I^0)=Z_I^0`$ est trivial.

LEMME 1.4.3 . — On a

$$\underset{i}{}(1)^i[H^i(\overline{k}_kZ_I^0,L_{I_1,I_2})]=\underset{\rho =1}{\overset{r}{}}\underset{i}{}(1)^i[H_\mathrm{c}^i(\overline{k}_kZ_{I_1,I_2;\rho }^0,Q_{\mathrm{}})].$$

Preuve  : Comme $`(Z_{I_1,I_2;\rho }^0)_{\rho =0,1,\mathrm{},r}`$ est une stratification du $`k`$-schéma projectif $`Z_I^0`$ en parties localement fermées, on a une suite spectrale

$$E_{}(F):E_1^{\rho ,\sigma }(F)=H_\mathrm{c}^{\rho +\sigma }(\overline{k}_kZ_{I_1,I_2;\rho }^0,F)H^{\rho +\sigma }(\overline{k}_kZ_I^0,F),$$

et donc la relation

$$\underset{i}{}(1)^i[H^i(\overline{k}_kZ_I^0,F)]=\underset{\rho =1}{\overset{r}{}}\underset{i}{}(1)^i[H_\mathrm{c}^i(\overline{k}_kZ_{I_1,I_2;\rho }^0,F)],$$

quel que soit le $`Q_{\mathrm{}}`$-faisceau $`F`$ sur $`Z_I^0`$

La restriction du $`Q_{\mathrm{}}`$-système local $`L_{I_1,I_2}`$ de rang $`1`$ à chaque partie localement fermée $`Z_{I_1,I_2;\rho }^0`$ est triviale puisque le revêtement $`X_{I_1,I_2;\rho }^0/\sigma (\mathrm{\Lambda }_{I_1}^0\times \mathrm{\Lambda }_{I_2}^0)Z_{I_1,I_2;\rho }^0`$ l’est, d’où le lemme. $`\mathrm{}`$

Remarque $`\mathrm{1.4.4}`$  : Si les suites spectrales $`E_{}(Q_{\mathrm{}})`$ et $`E_{}(L_{I_1,I_2})`$ ci-dessus ont le même terme $`E_1`$, elles n’ont cependant pas les mêmes différentielles $`d_1`$, et donc elles diffèrent déjà en leurs termes $`E_2`$. $`\mathrm{}`$

La partie

$$U_{I_1,I_2}^0=\{MX_I^0ind_1^{}(M)=0\}=\{MX_I^0ind_2^{\prime \prime }(M)=r\}$$

de $`X_I^0`$ est localement fermée et est munie d’un $`k`$-morphisme

$$\pi _{I_1,I_2}^0:U_{I_1,I_2}^0X_{I_1}^0\times X_{I_2}^r$$

qui envoie $`M`$ sur $`(M_1^{},M_2^{\prime \prime })`$. Ce morphisme est évidemment équivariant pour les actions du sous-groupe $`\mathrm{\Lambda }_{I_1}^0\times \mathrm{\Lambda }_{I_2}^0\mathrm{\Lambda }_I^0`$ via le scindage $`\sigma `$, et passe donc au quotient en un $`k`$-morphisme

$$V_{I_1,I_2}^0=U_{I_1,I_2}^0/(\mathrm{\Lambda }_{I_1}^0\times \mathrm{\Lambda }_{I_2}^0)Z_{I_1}^0\times Z_{I_2}^r$$

PROPOSITION 1.4.5 (voir \[L-R\] Theorem 6.1, et aussi \[K-L\] §5) . — Le $`k`$-morphisme $`\pi _{I_1,I_2}^0:U_{I_1,I_2}^0X_{I_1}^0\times X_{I_2}^r`$ ci-dessus est un fibré vectoriel $`(\mathrm{\Lambda }_{I_1}^0\times \mathrm{\Lambda }_{I_2}^0)`$-équivariant de rang $`r`$ et le $`k`$-morphisme induit, $`V_{I_1,I_2}^0Z_{I_1}^0\times Z_{I_2}^r`$, est un fibré vectoriel de rang $`r`$.

Preuve  : La fibre de $`\pi _{I_1,I_2}^0`$ en un point $`(M_1,M_2)`$ de $`X_{I_1}^0\times X_{I_2}^r`$ est le schéma des $`O_F`$-réseaux $`ME_I`$, stables par $`\gamma _I`$, qui s’insèrent dans le diagramme commutatif

$$\begin{array}{ccccc}E_{I_1}& & E_I& & E_{I_2}\\ & & & & \\ M_1& & M& & M_2\end{array}$$

de $`O_F`$-modules. Pour tout $`M`$ comme ci-dessus, on a nécessairement $`M_1(0)ME_{I_1}M_2`$, et $`M/(M_1(0))(E_{I_1}/M_1)M_2`$ est le graphe d’un homomorphisme de $`O_F`$-modules

$$M_2E_{I_1}/M_1$$

qui échange la multiplication par $`\gamma _{I_2}`$ sur $`M_2`$ avec celle par $`\gamma _{I_1}`$ sur $`E_{I_1}/M_1`$. La fibre de $`\pi _{I_1,I_2}^0`$ en $`(M_1,M_2)`$ peut donc être identifiée à l’espace vectoriel

$$Hom_{O_F[T]}(M_2,E_{I_1}/M_1),$$

$`T`$ agit sur $`M_2`$ par multiplication par $`\gamma _{I_2}`$ et sur $`E_{I_1}/M_1`$ par multiplication par $`\gamma _{I_1}`$. Une variante de cet argument où on remplace $`k`$ (ou $`k^{}`$) par une $`k`$-algèbre arbitraire, montre que $`\pi _{I_1,I_2}^0`$ est un fibré vectoriel généralisé au sens de Grothendieck. Comme $`\gamma _I`$ est topologiquement nilpotent, on a encore

$$Hom_{O_F[T]}(M_2,E_{I_1}/M_1)=Hom_{O_F[[T]]}(M_2,E_{I_1}/M_1).$$

Pour conclure la preuve de la proposition, il suffit donc de démontrer que le rang de l’espace vectoriel

$$Hom_{O_F[[T]]}(M_2,E_{I_1}/M_1)$$

ne dépend pas de $`(M_1,M_2)`$ et est égal à $`r`$. Pour cela on va montrer que le complexe de $`k`$-espaces vectoriels

$$RHom_{O_F[[T]]}(M_2,E_{I_1}/M_1),$$

est concentré en degré $`0`$ et a une caractéristique d’Euler-Poincaré égale à $`r`$.

On a un triangle distingué

$$RHom_{O_F[[T]]}(M_2,M_1)RHom_{O_F[[T]]}(M_2,E_{I_1})RHom_{O_F[[T]]}(M_2,E_{I_1}/M_1)$$

$`RHom_{O_F[[T]]}(M_2,E_{I_1})=(0)`$ puisque la multiplication par $`P_{I_2}(T)O_F[[T]]`$ est l’endomorphisme nul de $`M_2`$ et un automorphisme de $`E_{I_1}`$. Il ne nous reste plus qu’à démontrer que le complexe $`RHom_{O_F[[T]]}(M_2,M_1)`$ est concentré en degré $`1`$ et a une caractéristique d’Euler-Poincaré égale à $`r`$.

Adoptons un point de vue plus géométrique en introduisant le germe formel de surface $`S=Spf(O_F[[T]])`$ sur $`k`$ et, pour $`\alpha =1,2`$, la courbe

$$\iota _\alpha :C_{I_\alpha }=Spf(A_{I_\alpha })S$$

d’équation $`P_{I_\alpha }(T)=0`$, tracée sur cette surface, et le $`O_{C_{I_\alpha }}`$-Module cohérent $`M_\alpha `$, sans torsion et partout de rang générique $`1`$, défini par $`M_{I_\alpha }`$. On a bien entendu

$$RHom_{O_F[[T]]}(M_2,M_1)=RHom_{O_S}(\iota _{2,}M_2,\iota _{1,}M_1)$$

et $`RHom_{O_S}(\iota _{2,}M_2,\iota _{1,}M_1)`$ est aussi la fibre de $`RH\mathrm{𝚘𝚖}_{O_S}(\iota _{2,}M_2,\iota _{1,}M_1)`$ en l’origine $`s=(\varpi _F=0,T=0)`$ de $`S`$ puisque l’intersection des deux courbes $`C_{I_1}`$ et $`C_{I_2}`$ est par hypothèse supportée par $`s`$.

Comme $`S`$ est régulière, on a $`Ext_S^i(\iota _{2,}M_2,\iota _{1,}M_1)=(0)`$ pour $`i\{0,1,2\}`$. On a aussi

$$Hom_{O_S}(\iota _{2,}M_2,\iota _{1,}M_1)=Hom_{O_{C_{I_1}}}(\iota _1^{}\iota _{2,}M_2,M_1)=(0)$$

puisque $`\iota _1^{}\iota _{2,}M_2`$ est de torsion et $`M_1`$ est sans torsion.

Soient $`\rho _2:\stackrel{𝑒}{C}_{I_2}=Spf(O_{E_{I_1}})C_{I_2}`$ la normalisation de la courbe $`C_{I_2}`$ et $`\stackrel{𝑒}{M}_2`$ le $`O_{\stackrel{𝑒}{C}_{I_2}}`$-Module libre de rang $`1`$ défini par le $`O_{E_{I_2}}`$-module $`\stackrel{𝑒}{M}_2=O_{E_{I_2}}M_2E_{I_2}`$. On a un homomorphisme injectif de $`O_S`$-Modules $`\iota _{2,}M_2\iota _{2,}\rho _{2,}\stackrel{𝑒}{M}_2`$, et donc un épimorphisme de $`k`$-espaces vectoriels

$$Ext_{O_S}^2(\iota _{2,}\rho _{2,}\stackrel{𝑒}{M}_2,\iota _{1,}M_1)Ext_{O_S}^2(\iota _{2,}M_2,\iota _{1,}M_1).$$

Or, par dualité de Grothendieck, on a

$$Ext_{O_S}^i(\iota _{2,}\rho _{2,}\stackrel{𝑒}{M}_2,\iota _{1,}M_1)=Ext_{O_{\stackrel{𝑒}{C}_{I_2}}}^i(\stackrel{𝑒}{M}_2,L(\iota _2\rho _2)^!\iota _{1,}M_1)$$

et

$$L(\iota _2\rho _2)^!\iota _{1,}M_1=\omega _{\stackrel{𝑒}{C}_{I_2}}(\iota _2\rho _2)^{}\omega _S^1L(\iota _2\rho _2)^{}\iota _{1,}M_1[1]$$

puisque les complexes dualisants de $`S`$ et $`\stackrel{𝑒}{C}_{I_2}`$ sont de la forme $`\omega _S[2]`$ et $`\omega _{\stackrel{𝑒}{C}_{I_2}}[1]`$ où les Modules $`\omega _S`$ et $`\omega _{\stackrel{𝑒}{C}_{I_2}}`$ sont inversibles. Par suite, $`Ext_S^2(\iota _{2,}\rho _{2,}\stackrel{𝑒}{M}_2,\iota _{1,}M_1)=(0)`$ et on a montré que $`RHom_{O_S}(\iota _{2,}M_2,\iota _{1,}M_1)`$ est concentré en degré $`1`$.

On termine la démonstration de la proposition à l’aide du corollaire 1.4.7 ci-dessous.

$`\mathrm{}`$

PROPOSITION 1.4.6 (Deligne) . — Soient $`X=Spf(\stackrel{𝑏}{O}_{X,x})`$ le complété formel d’une variété lisse $`X`$ sur un corps $`k`$ en un point fermé $`x`$, supposé rationnel sur $`k`$ pour simplifier. Soient $`\iota _1:Y_1X`$ et $`\iota _2:Y_2X`$ deux sous-schémas formels fermés de $`X`$, de dimensions pures $`dim(Y_1)`$ et $`dim(Y_2)`$ respectivement, tels que

$$(Y_1Y_2)_{\mathrm{red}}=\{x\}$$

et

$$dim(Y_1)+dim(Y_2)=dim(X).$$

Soient $`K_1`$ et $`K_2`$ deux complexes bornés de $`O_X`$-Modules quasi-cohérents plats dont les faisceaux de cohomologie sont supportés par $`Y_1`$ et $`Y_2`$ respectivement.

Alors, le complexe $`K_1_{O_X}K_2`$ est supporté par le point fermé $`x`$ de $`X`$ et sa fibre (naïve) en ce point est un complexe borné de $`k`$-espaces vectoriels dont la caractéristique d’Euler-Poincaré est égale à

$$m(Y_1,Y_2)rang(K_1)rang(K_2)$$

$`m(Y_1,Y_2)`$ est la multiplicité d’intersection de $`Y_1`$ et $`Y_2`$ et où $`rang(K_\alpha )`$ est le rang générique de $`K_\alpha `$ pour $`\alpha =1,2`$.

Preuve  : Voir \[De 1\] Théorème 2.3.8 (iii). Les arguments de Deligne peuvent être facilement modifiés pour éviter l’utilisation de la cohomologie $`\mathrm{}`$-adique. $`\mathrm{}`$

COROLLAIRE 1.4.7 . — Supposons de plus que $`Y_2`$ soit d’intersection complète dans $`X`$ et, pour $`\alpha =1,2`$, soit $`M_\alpha `$ un $`O_{Y_\alpha }`$-Module cohérent de rang générique $`r_\alpha `$. Alors le complexe de $`k`$-espaces vectoriels

$$RHom_{O_X}(\iota _{2,}M_2,\iota _{1,}M_1)$$

est borné et à cohomologie de dimension finie, et sa caractéristique d’Euler-Poincaré est égale à

$$(1)^{dim(Y_2)}m(Y_1,Y_2)r_1r_2.$$

Preuve  : Comme $`X`$ est régulier, on peut trouver, pour $`\alpha =1,2`$, une résolution finie

$$K_\alpha \iota _{\alpha ,}M_\alpha 0$$

par des $`O_X`$-Modules libres de rang fini. Le complexe d’espaces vectoriels

$$RHom_{O_X}(\iota _{2,}M_2,\iota _{1,}M_1)=Hom_{O_X}(K_2,K_1)$$

est alors la fibre en $`s`$ du complexe $`K_2^{}_{O_X}K_1`$, où

$$K_2^{}=H\mathrm{𝚘𝚖}_{O_X}(K_2,O_X)$$

est aussi un complexe borné de $`O_X`$-Modules libres de rang fini.

Par dualité de Grothendieck, on a

$$\begin{array}{cc}\hfill K_2^{}=RH\mathrm{𝚘𝚖}_{O_X}(\iota _{2,}M_2,O_X)& =\iota _{2,}RH\mathrm{𝚘𝚖}_{O_{Y_2}}(M_2,\iota _2^!O_X)\hfill \\ & \iota _{2,}RH\mathrm{𝚘𝚖}_{O_{Y_2}}(M_2,O_{Y_2})[dim(X)dim(Y_2)]\hfill \end{array}$$

et, en particulier,

$$rang(K_2^{})=(1)^{dim(Y_1)}r_2.$$

Il ne reste plus qu’à appliquer la proposition. $`\mathrm{}`$

Preuve du théorème $`\mathrm{1.4.1}`$  : On stratifie $`U_{I_1,I_2}^0`$ par les parties localement fermées $`X_{I_1,I_2;\rho ,0}^0`$ pour $`\rho =0,1,\mathrm{},r`$, et donc $`V_{I_1,I_2}^0`$ par les parties localement fermées $`X_{I_1,I_2;\rho ,0}^0/\sigma (\mathrm{\Lambda }_{I_1}^0\times \mathrm{\Lambda }_{I_2}^0)Z_{I_1,I_2;\rho }^0`$ pour $`\rho =0,1,\mathrm{},r`$.

On a alors une suite spectrale

$$E_1^{\rho ,\sigma }=H_\mathrm{c}^{\rho +\sigma }(\overline{k}_kZ_{I_1,I_2;\rho }^0,Q_{\mathrm{}})H_\mathrm{c}^{\rho +\sigma }(\overline{k}_kV_{I_1,I_2}^0,Q_{\mathrm{}}),$$

et la relation

$$\underset{\rho =1}{\overset{r}{}}\underset{i}{}(1)^i[H_\mathrm{c}^i(\overline{k}_kZ_{I_1,I_2;\rho }^0,Q_{\mathrm{}})]=\underset{i}{}(1)^i[H_\mathrm{c}^i(\overline{k}_kV_{I_1,I_2}^0,Q_{\mathrm{}})].$$

Mais on a

$$H_\mathrm{c}^i(\overline{k}_kV_{I_1,I_2}^0,Q_{\mathrm{}})=H^{i2r}(\overline{k}_k(Z_{I_1}^0\times Z_{I_2}^r),Q_{\mathrm{}})(r)$$

d’après la proposition 1.4.5, et $`Z_{I_2}^r`$ est isomorphe à $`Z_{I_2}^0`$, d’où la conclusion d’après le lemme 1.4.3. $`\mathrm{}`$

Remarque $`\mathrm{1.4.8}`$  : Dans la situation arithmétique de la section 1.3, on vérifie que

$$ind_\alpha ^{}(Frob_{X_I/F_q}(M))=rind_\alpha ^{\prime \prime }(M)\text{ et }ind_\alpha ^{\prime \prime }(Frob_{X_I/F_q}(M))=rind_\alpha ^{}(M)$$

pour $`\alpha =1,2`$ et tout point $`M`$ de $`X_I`$. En effet, pour $`\{\alpha ,\beta \}=\{1,2\}`$, on a

$$\epsilon ^{n_I1}\frac{\mathrm{d}P_I}{\mathrm{d}T}(\gamma _{I_\alpha })=\epsilon ^{n_{I_\beta }}P_{I_\beta }(\gamma _{I_\alpha })\times \epsilon ^{n_{I_\alpha }1}\frac{\mathrm{d}P_{I_\alpha }}{\mathrm{d}T}(\gamma _{I_\alpha })$$

avec $`v_{E_{I_\alpha }}(\epsilon ^{n_{I_\beta }}P_{I_\beta }(\gamma _{I_\alpha }))=r`$, de sorte que

$$(A_{I_1}\times A_{I_2})^_I=\epsilon ^{n_2}P_{I_2}(\gamma _{I_1})A_{I_1}\times \epsilon ^{n_1}P_{I_1}(\gamma _{I_2})A_{I_2}A_IA_{I_1}\times A_{I_2}.$$

Par suite, chaque partie localement fermée $`Z_{I_1,I_2;\rho }^0`$ de $`Z_I^0`$ est stable par l’endomorphisme de Frobenius $`Frob_{Z_I^0/F_q}`$ et est munie d’une structure rationnelle sur $`F_q`$ que l’on note bien entendu $`Z_{I_1,I_2;\rho }^0`$. De plus, le relèvement de $`Frob_{Z_{I_1,I_2;\rho }^0/F_q}`$ à $`L_{I_1,I_2}|Z_{I_1,I_2;\rho }^0=Q_{\mathrm{}}`$ est la multiplication par $`(1)^{r\rho }`$ puisque l’on a

$$ind_\alpha ^{}(\sigma (\lambda )M)ind_\alpha ^{}(M)=ind_\alpha ^{\prime \prime }(\sigma (\lambda )M)ind_\alpha ^{\prime \prime }(M)=\underset{iI_\alpha }{}\lambda _i$$

pour $`\alpha =1,2`$, tout $`MX_I^0`$ et tout $`\lambda \mathrm{\Lambda }_I^0`$, et que l’égalité

$$Frob_{X_I/F_q}(M)=\sigma (\lambda _M)M$$

pour $`MX_{I_1,I_2;\rho }`$ et $`\lambda _M\mathrm{\Lambda }_I^0`$ force

$$\underset{iI_\alpha }{}\lambda _{M,i}=rind_\alpha ^{}(M)ind_\alpha ^{\prime \prime }(M)$$

à être de même parité que $`r\rho =rind_\alpha ^{}(M)+ind_\alpha ^{\prime \prime }(M)`$. On a donc

$$\begin{array}{cc}\hfill O^{I,\kappa _{I_1,I_2}}& =tr(Frob_{Z_I^0/F_q},R\mathrm{\Gamma }(\overline{F}_p_{F_q}Z_I^0,L_{I_1,I_2}))\hfill \\ & =\underset{\rho =0}{\overset{r}{}}(1)^{r\rho }tr(Frob_{Z_{I_1,I_2;\rho }^0/F_q},R\mathrm{\Gamma }(\overline{F}_p_{F_q}Z_{I_1,I_2;\rho }^0,Q_{\mathrm{}})).\hfill \end{array}$$

$`\mathrm{}`$

2. LES FIBRES DE SPRINGER COMME REVÊTEMENTS

DE JACOBIENNES COMPACTIFIÉES

2.1. La courbe $`C_I`$ et son schéma de Picard compactifié de $`C_I`$

Dans la situation de la section 1.1, le schéma formel $`Spf(A_I)`$ est un germe formel de courbe plane dont la famille des branches irréductibles est $`(Spf(A_i))_{iI}`$ et dont le normalisé est le schéma formel semi-local $`Spf(\stackrel{𝑒}{A}_I)=_{iI}Spf(O_{E_i})`$. On suppose dans la suite que le nombre d’éléments du corps $`k`$ est au moins égal au nombre d’éléments de l’ensemble fini $`I`$.

PROPOSITION 2.1.1 . — Il existe une courbe projective et géométriquement intègre $`C_I`$ sur $`k`$, munie d’un $`k`$-point $`c_I`$, ayant les propriétés suivantes:

(1)$`C_I`$ est lisse sur $`k`$ en dehors de $`c_I`$,

(2)le complété de l’anneau local de $`C_I`$ en $`c_I`$ est isomorphe à $`A_I`$,

(3)la normalisée $`\stackrel{𝑒}{C}_I`$ de $`C_I`$ est isomorphe à la droite projective standard $`P_k^1`$ sur $`k`$.

Pour une telle courbe $`C_I`$, son morphisme de normalisation $`\pi _I:\stackrel{𝑒}{C}_IC_I`$ est un isomorphisme au-dessus de $`C_I\{c_I\}`$, et $`\pi _I^1(c_I)\stackrel{𝑒}{C}_I`$ est l’ensemble des branches de $`Spf(A_I)`$; pour chaque $`iI`$, on notera $`\stackrel{𝑒}{c}_i`$ le point de $`\pi _I^1(c_I)`$ correspondant à la branche $`Spf(A_i)`$.

Preuve  : On fixe arbitrairement une injection $`\iota :Ik`$ et, pour chaque $`iI`$, on fixe arbitrairement une uniformisante $`\varpi _{E_i}`$ de $`O_{E_i}`$. On plonge $`k[x]`$ dans $`O_{E_i}`$ en envoyant $`x`$ sur $`\iota (i)+\varpi _{E_i}`$. On en déduit un plongement de $`k`$-algèbres de $`k[x]`$ dans $`O_{E_I}=\stackrel{𝑒}{A}_I`$ qui identifie $`\stackrel{𝑒}{A}_I`$ au complété de l’anneau semi-local de la droite affine $`A_k^1=Spec(k[x])`$ en l’ensemble fini de points $`\iota (I)`$.

Considérons alors la $`k`$-algèbre $`B_I`$ définie par le carré cartésien

$$\begin{array}{ccc}B_I& & A_I\\ \\ & \mathrm{}& \\ \\ k[x]& & \stackrel{𝑒}{A}_I& .\end{array}$$

Elle est intègre, de type fini sur $`k`$ et de dimension $`1`$, l’inclusion $`B_IA_I`$ induit un isomorphisme du complété de $`B_I`$ le long de son idéal maximal $`m_IB_I`$ sur $`A_I`$ et l’inclusion $`B_Ik[x]`$ fait de $`k[x]`$ une $`B_I`$-algèbre finie. En effet, d’une part on a

$$\stackrel{𝑒}{A}_I=k[x]+a_I^{n+1},nN,$$

et $`a_IA_I\stackrel{𝑒}{A}_I`$, de sorte que

$$A_I=B_I+a_I^{n+1},nN,$$

et d’autre part

$$k[x]a_IB_Ik[x]$$

est l’idéal principal engendré par

$$\underset{iI}{}(x\iota (i))^{2\delta _i+_{jI\{i\}}r_{ij}}.$$

On peut donc effectuer la $``$somme amalgamée$``$ de $`A_k^1`$ et de $`Spf(A_I)`$ le long de $`Spf(\stackrel{𝑒}{A}_I)`$; c’est par définition le $`k`$-schéma affine $`Spec(B_I)`$. Bien sûr, le morphisme fini $`A_k^1Spec(B_I)`$, induit par l’inclusion $`B_Ik[x]`$, envoie le sous-ensemble fini $`\iota (I)A_k^1`$ sur un unique $`k`$-point $`c_I`$ de $`Spec(B_I)`$ et il induit un isomorphisme de $`A_k^1\iota (I)`$ sur $`Spec(B_I)\{c_I\}`$.

On définit la courbe géométriquement intègre et projective $`C_I`$ sur $`k`$ en recollant $`Spec(B_I)`$ et $`P_k^1\iota (I)`$ le long de leur ouvert commun $`Spec(B_I)\{c_I\}A_k^1\iota (I)`$. $`\mathrm{}`$

Le genre arithmétique $`dim_kH^1(C_I,O_{C_I})=1\chi (C_I,O_{C_I})`$ de $`C_I`$ est égal à $`\delta _I`$. Pour tout $`O_{C_I}`$-Module cohérent $`M`$, on pose

$$deg(M)=\chi (C_I,M)rang(M)\chi (C_I,O_{C_I})$$

$`rang(M)`$ est le rang générique de $`M`$. Pour tout $`O_{C_I}`$-Module inversible $`L`$, $`\pi _I^{}L`$ est un $`O_{\stackrel{𝑒}{C}_I}`$-Module inversible et on a

$$deg(L)=deg(\pi _I^{}L)$$

et

$$deg(L_{O_{C_I}}M)=rang(M)deg(L)+deg(M).$$

Soit $`P_I=Pic_{C_I/k}`$ le $`k`$-schéma en groupes de Picard de $`C_I`$. Pour toute extension $`k^{}`$ de $`k`$, ses $`k^{}`$-points sont les classes d’isomorphie de $`O_{k^{}_kC_I}`$-Modules inversibles (avec la multiplication définie par le produit tensoriel). Ce $`k`$-schéma est lisse de dimension $`\delta _I`$. Ses composantes connexes sont les sous-$`k`$-schémas $`P_I^d`$, $`dZ`$, découpés par le degré du Module inversible universel, et elles sont en fait géométriquement connexes. La composante neutre $`P_I^0`$ de $`P_I`$ est quasi-projective.

Soit $`\overline{P}_I=\overline{\mathrm{Pic}}_{C_I/k}`$ le $`k`$-schéma de Picard compactifié (cf. \[A-K 2\]) dont les $`k^{}`$-points sont les classes d’isomorphie de $`O_{k^{}_kC_I}`$-Modules cohérents sans torsion de rang générique $`1`$. Par définition, $`P_I`$ est un ouvert de $`\overline{P}_I`$ et l’action par translation de $`P_I`$ sur lui-même se prolonge en une action de $`P_I`$ sur $`\overline{P}_I`$ (encore définie par produit tensoriel). On a aussi un découpage en parties ouvertes et fermées

$$\overline{P}_I=\underset{dZ}{}\overline{P}_I^d$$

par le degré du Module sans torsion universel, avec bien entendu

$$P_I^d=P_I\overline{P}_I^d$$

et

$$P_I^d\overline{P}{}_{I}{}^{e}=\overline{P}_I^{d+e}$$

quels que soient les entiers $`d,e`$. D’après Mayer et Mumford (cf. \[A-K 2\] et \[A-K 3\]), chaque composante $`\overline{P}_I^d`$ est un $`k`$-schéma projectif.

THÉORÈME 2.1.2 (Altman, Iarrobino, Kleiman, \[A-I-K\] Corollary (7); Rego, \[Re\] Theorem A) . — Chaque composante $`\overline{P}_I^d`$ de $`\overline{P}_I`$ est géométriquement intègre et localement d’intersection complète de dimension $`\delta _I`$. $`\mathrm{}`$

2.2. Lien entre fibres de Springer et schémas de Picard compactifiés

Faisons le lien entre les $`k`$-schémas $`X_I`$ et $`\overline{P}_I`$. On a la suite exacte

$$0H^0(C_I,G_\mathrm{m})H^0(\stackrel{𝑒}{C}_I,G_\mathrm{m})H^0(C_I,\pi _IG_\mathrm{m}/G_\mathrm{m})H^1(C_I,G_\mathrm{m})H^1(\stackrel{𝑒}{C}_I,G_\mathrm{m})$$

dont la flèche de co-bord identifie les $`k`$-schémas en groupes $`G_I^0=H^0(C_I,\pi _IG_\mathrm{m}/G_\mathrm{m})`$ et $`P_I^0=Ker(H^1(C_I,G_\mathrm{m})H^1(\stackrel{𝑒}{C}_I,G_\mathrm{m}))`$ puisque $`\stackrel{𝑒}{C}_I`$ est une droite projective sur $`k`$. On prolonge cette identification en un $`k`$-épimorphisme de $`k`$-schémas en groupes

$$G_IP_I$$

en envoyant $`xE_I^\times /A_I^\times `$ sur le $`O_{C_I}`$-Module inversible $`L`$ obtenu en recollant $`O_{C_I\{c_I\}}`$ et $`A_I`$ le long de $`Spec(E_I)=(C_I\{c_I\})\times _{C_I}Spec(A_I)`$ à l’aide de la multiplication par $`x`$. Cet épimorphisme n’est autre que la flèche $`H_{\{c_I\}}^1(C_I,G_\mathrm{m})H^1(C_I,G_\mathrm{m})`$ qui s’insère dans la suite exacte longue

$$\begin{array}{cc}\hfill (1)=& H_{\{c_I\}}^0(C_I,G_\mathrm{m})H^0(C_I,G_\mathrm{m})H^0(C_I\{c_I\},G_\mathrm{m})\hfill \\ \hfill & H_{\{c_I\}}^1(C_I,G_\mathrm{m})H^1(C_I,G_\mathrm{m})H^1(C_I\{c_I\},G_\mathrm{m})=(1)\hfill \end{array}$$

et son noyau est donc le groupe discret

$$\begin{array}{ccc}H^0(C_I\{c_I\},G_\mathrm{m})/H^0(C_I,G_\mathrm{m})& & E_I^\times /A_I^\times \\ ||& & \\ H^0(\stackrel{𝑒}{C}_I\pi _I^1(c_I),G_\mathrm{m})/H^0(\stackrel{𝑒}{C}_I,G_\mathrm{m})& & E_I^\times /O_{E_I}^\times \end{array}$$

des diviseurs de degré $`0`$ sur $`\stackrel{𝑒}{C}_I`$ qui sont supportés par le fermé réduit $`\pi _I^1(c_I)_{\mathrm{red}}=\{\stackrel{𝑒}{c}_iiI\}`$, groupe que l’on identifie à $`\mathrm{\Lambda }_I^0`$ par la flèche $`\lambda _{iI}\lambda _i[\stackrel{𝑒}{c}_i]`$. Compte tenu de cette identification, le plongement

$$H^0(C_I\{c_I\},G_\mathrm{m})/H^0(C_I,G_\mathrm{m})E_I^\times /A_I^\times =G_I(k)$$

définit un scindage $`\sigma :\mathrm{\Lambda }_I^0G_I`$ de l’extension $`1G_I^0G_I\mathrm{\Lambda }_I0`$ au-dessus de $`\mathrm{\Lambda }_I^0\mathrm{\Lambda }_I`$.

On prolonge $`G_IP_I`$ en le morphisme de $`k`$-schémas

$$X_I\overline{P}_I$$

qui envoie $`ME`$ sur le $`O_{C_I}`$-Module sans torsion $`M`$ de rang générique $`1`$ obtenu en recollant $`O_{C_I\{c_I\}}`$ et $`M`$ le long de $`Spec(E_I)=(C_I\{c_I\})\times _{C_I}Spec(A_I)`$. Pour chaque entier $`d`$, ce morphisme envoie la composante connexe $`X_I^d`$ dans la composante connexe $`\overline{P}_I^d`$. Il est $`G_I`$-équivariant pour l’action naturelle de $`G_I`$ sur $`X_I`$ et l’action de $`G_I`$ sur $`P_I`$ induite par celle de $`P_I`$ sur $`\overline{P}_I`$ et l’épimorphisme $`G_IP_I`$ ci-dessus, et il passe au quotient en un morphisme de $`k`$-schémas projectifs

$$Z_I=X_I/\sigma (\mathrm{\Lambda }_I^0)\overline{P}_I$$

qui envoie, pour chaque entier $`d`$, la composante connexe $`Z_I^d`$ dans la composante connexe $`\overline{P}_I^d`$. Le morphisme $`Z_I\overline{P}_I`$ est birationnel puisqu’il induit un isomorphisme de l’ouvert $`Z_I^{}=X_I^{}/\mathrm{\Lambda }_I^0Z_I`$ sur l’ouvert $`P_I\overline{P}_I`$.

PROPOSITION 2.2.1 . — Le $`k`$-morphisme birationnel $`Z_I\overline{P}_I`$ ci-dessus est un homéomorphisme universel, c’est-à-dire est fini, radiciel et surjectif.

Preuve  : Il suffit de voir que les fibres géométriques du morphisme $`Z_I\overline{P}_I`$ sont toutes réduites à un point, avec éventuellement des nilpotents. Or tout $`O_{C_I}`$-Module $`M`$ sans torsion de rang générique $`1`$ s’obtient par recollement de $`O_{C_I\{c_I\}}`$ et d’un $`A_I`$-réseau $`ME_I`$, le couple formé de $`M`$ et de la donnée de recollement étant uniquement déterminé modulo l’action de $`\sigma (\mathrm{\Lambda }_I^0)=H^0(C_I\{c_I\},G_\mathrm{m})/H^0(C_I,G_\mathrm{m})`$. $`\mathrm{}`$

Compte tenu du théorème 2.1.2, on déduit de cette proposition:

COROLLAIRE 2.2.2 . — Le $`k`$-schéma $`Z_I`$ est irréductible et la $`G_I`$-orbite $`X_I^{}`$ de $`M=A_I`$ est dense dans $`X_I`$. $`\mathrm{}`$

Bezrukavnikov \[Be\] a donné une formule très générale pour la dimension des fibres de Springer, formule qui contient bien entendu l’égalité $`dim(X_I)=\delta _I`$. Par contre, sa méthode ne permet pas de démontrer que $`X_I`$ n’admet pas de composantes irréductibles de dimension $`<\delta _I`$.

COROLLAIRE 2.2.3 . — Le revêtement étale Galoisien $`X_IZ_I`$ de groupe de Galois $`\mathrm{\Lambda }_I^0\sigma (\mathrm{\Lambda }_I^0)`$ provient par le changement de base $`Z_I\overline{P}_I`$ d’un revêtement étale Galoisien

$$\overline{\phi }_I:\overline{P}_I^{\mathrm{}}\overline{P}_I$$

dont la description au niveau des $`k^{}`$-points est la suivantes: $`\overline{P}_I^{\mathrm{}}(k^{})`$ est l’ensemble des couples $`(M,\iota )`$, où $`M`$ est un $`O_{k^{}_kC_I}`$-Module sans torsion de rang générique $`1`$ et $`\iota :M_{|k^{}_k(C_I\{c_I\})}\stackrel{}{}O_{k^{}_k(C_I\{c_I\})}`$ est une trivialisation de la restriction de $`M`$ à $`k^{}_k(C_I\{c_I\})`$, et $`\overline{\phi }_I`$ est le morphisme d’oubli de $`\iota `$. $`\mathrm{}`$

On notera encore $`P_I^{\mathrm{}}=G_I`$ et $`\phi _I:P_I^{\mathrm{}}P_I`$ le $`k`$-épimorphisme défini plus haut.

Exemples $`\mathrm{2.2.4}`$  : Pour $`|I|=1`$ et $`P_I(T)=T^2\varpi _F^3`$, $`C_I`$ est la cubique n’ayant pour seule singularité qu’un cusp ordinaire et l’homéomorphisme $`Z_I^0\overline{P}_I^0`$ est naturellement isomorphe au morphisme de normalisation $`\pi _I:\stackrel{𝑒}{C}_IC_I`$.

Pour $`I=\{1,2\}`$, $`P_1(T)=T\varpi _F`$ et $`P_2(T)=T+\varpi _F`$, $`C_I`$ est la cubique n’ayant pour seule singularité qu’un point double ordinaire, $`\overline{\phi }_I:Z_I\overline{P}_I`$ est un isomorphisme et la composante de degré $`0`$ du revêtement $`\overline{\phi }_I:\overline{P}_I^{\mathrm{}}\overline{P}_I`$ est naturellement isomorphe au revêtement $`C_I^{\mathrm{}}C_I`$ de groupe de Galois $`Z`$ dont l’espace total est la chaîne de droites projective indexée par $`Z`$ obtenue en prenant $`Z`$ copies de la droite projective standard sur $`k`$ et en identifiant le point à l’infini de la $`n`$-ème copie à l’origine de la $`(n+1)`$-ème. $`\mathrm{}`$

On peut généraliser la proposition $`\mathrm{2.2.1}`$ comme suit. Soit $`C`$ une courbe géométriquement intègre et projective sur $`k`$ n’ayant que des singularités planes et rationnelles sur $`k`$, et dont la source du morphisme de normalisation $`\pi _C:\stackrel{𝑒}{C}C`$ est la droite projective standard sur $`k`$. Soit $`\{c_jjJ\}`$ l’ensemble fini des points singuliers de $`C`$ et, pour chaque $`jJ`$, soit $`\pi _C^1(c_j)=\{\stackrel{𝑒}{c}_iiI_j\}`$ l’ensemble des branches de $`C`$ en $`c_j`$. Pour chaque $`jJ`$, notons $`A_{I_j}`$ le complété de l’anneau local de $`C`$ en $`c_j`$ et $`C_{I_j}`$ la courbe construite en $`2.1`$, de normalisée une droite projective et qui n’a qu’une seule singularité (en $`c_{I_j}`$), singularité dont la germe formel est $`Spf(A_{I_j})`$.

On peut former les $`k`$-schémas de Picard compactifiés $`\overline{P}_{I_j}`$ des $`C_{I_j}`$ et les $``$fibres de Springer$``$ $`X_{I_j}`$ des $`A_{I_j}`$-réseaux dans l’anneau total des fractions $`E_{I_j}`$ de $`A_{I_j}`$, ainsi que leurs quotients $`Z_{I_j}=X_{I_j}/\sigma _j(\mathrm{\Lambda }_{I_j}^0)`$$`\mathrm{\Lambda }_{I_j}^0=Ker(Z^{I_j}Z)Z^{I_j}=\mathrm{\Lambda }_{I_j}`$ et

$$\sigma _j(\mathrm{\Lambda }_{I_j}^0)=H^0(C_{I_j}\{c_{I_j}\},G_\mathrm{m})/H^0(C_{I_j},G_\mathrm{m})E_{I_j}^\times /A_{I_j}^\times .$$

Alors, d’après ce qui précède, on a un homéomorphisme universel

$$\underset{jJ}{}Z_{I_j}\underset{jJ}{}\overline{P}_{I_j}$$

qui induit pour chaque famille d’entiers $`(d_j)_{jJ}`$ un homéomorphisme universel

$$\underset{jJ}{}Z_{I_j}^{d_j}\underset{jJ}{}\overline{P}_{I_j}^{d_j}.$$

On peut aussi former le $`k`$-schéma de Picard compactifié $`\overline{P}`$ de $`C`$ et on a un $`k`$-morphisme

$$X=\underset{jJ}{}X_{I_j}\overline{P}$$

qui envoie $`(M_jE_{I_j})_{jJ}`$ sur le $`O_C`$-Module $`M`$ sans torsion de rang générique $`1`$ obtenu en recollant $`O_{C\{c_jjJ\}}`$ et les $`M_j`$. Ce $`k`$-morphisme est équivariant pour l’action du groupe discret

$$H^0(C\{c_jjJ\},G_\mathrm{m})/H^0(C,G_\mathrm{m})\underset{jJ}{}E_{I_j}^\times /A_{I_j}^\times $$

qui est l’image d’une section $`\sigma `$ de la projection canonique

$$\underset{jJ}{}E_{I_j}^\times /A_{I_j}^\times \underset{jJ}{}E_{I_j}^\times /O_{E_{I_j}}^\times \underset{jJ}{}Z^{I_j}=Z^I=\mathrm{\Lambda }$$

au-dessus de $`\mathrm{\Lambda }^0=Ker(Z^IZ)`$ (on a bien entendu posé $`I=_{jJ}I_j`$). Il passe donc au quotient en un $`k`$-morphisme

$$Z=X/\sigma (\mathrm{\Lambda }^0)\overline{P}.$$

La construction des courbes $`C_{I_j}`$, et donc des sections $`\sigma _{I_j}`$, dépend du choix d’uniformisantes $`\varpi _i=\varpi _{E_i}`$ des $`E_i`$ pour les $`iI_j`$. De telles uniformisantes sont données par le choix d’une carte affine $`Spec(k[x])\stackrel{𝑒}{C}P_k^1`$ qui contient tous les points $`\stackrel{𝑒}{c}_i`$, $`iI`$. Si on fixe de cette façon les uniformisantes, la restriction de $`\sigma :\mathrm{\Lambda }^0_{jJ}E_{I_j}^\times /A_{I_j}^\times `$ à

$$\underset{jJ}{}\mathrm{\Lambda }_{I_j}^0=\underset{jJ}{}Ker(Z^{I_j}Z)Ker(Z^IZ)=\mathrm{\Lambda }^0$$

est égale à la section $`_{jJ}\sigma _{I_j}`$ et l’application quotient $`X=_{jJ}X_{I_j}Z`$ se factorise par un $`k`$-morphisme

$$\underset{jJ}{}Z_{I_j}Z$$

qui induit, pour chaque famille d’entiers $`(d_j)_{jJ}`$ de somme $`d`$, un $`k`$-isomorphisme

$$\underset{jJ}{}Z_{I_j}^{d_j}\stackrel{}{}Z^d$$

$`Z^d`$ est la composante connexe de degré $`d`$ de $`Z`$.

PROPOSITION 2.2.5 . — Le $`k`$-morphisme ci-dessus $`Z\overline{P}`$, somme disjointe pour $`dZ`$ des $`k`$-morphisme $`Z^d\overline{P}^d`$, est un homéomorphisme universel. $`\mathrm{}`$

COROLLAIRE 2.2.6 . — Le revêtement étale Galoisien $`XZ`$ de groupe de Galois $`\mathrm{\Lambda }^0\sigma (\mathrm{\Lambda }^0)`$ provient par le changement de base $`Z\overline{P}`$ d’un revêtement étale Galoisien

$$\overline{\phi }:\overline{P}^{\mathrm{}}\overline{P}$$

dont la description au niveau des $`k^{}`$-points est la suivantes: $`\overline{P}^{\mathrm{}}(k^{})`$ est l’ensemble des couples $`(M,\iota )`$, où $`M`$ est un $`O_{k^{}_kC}`$-Module sans torsion de rang générique $`1`$ et $`\iota :M_{|k^{}_k(C\{c_jjJ\})}\stackrel{}{}O_{k^{}_k(C\{c_jjJ\})}`$ est une trivialisation de la restriction de $`M`$ à $`k^{}_k(C\{c_jjJ\})`$, et $`\overline{\phi }`$ est le morphisme d’oubli de $`\iota `$. $`\mathrm{}`$

2.3. Retour à la situation arithmétique du lemme fondamental

Plaçons nous de nouveau dans la situation de la section 1.3, de sorte que $`k=F_{q^2}`$. On suppose de plus que $`|I|q`$.

Compte tenu de l’hypothèse (1.3.1), l’automorphisme $``$ de $`O_{E_I}`$ envoie $`A_I`$ dans lui-même. On vérifie alors que

$$\begin{array}{cc}\hfill A_{I,0}& =A_IE_{I,0}=\{xA_Ix=x^{}\}\hfill \\ & =\{\alpha _0+\alpha _1\gamma _I+\mathrm{}+\alpha _{n_I1}\gamma _I^{n_I1}\alpha _jO_F\text{ et }\alpha _j^{}=(1)^j\alpha _j\}\hfill \end{array}$$

est une $`F_q`$-structure sur la $`F_{q^2}`$-algèbre $`A_I`$ et que la normalisée de la $`F_q`$-algèbre $`A_{I,0}`$ est $`E_{I,0}`$. Le morphisme de normalisation

$$Spf(O_{E_I})Spf(A_I)$$

se descend donc de $`F_{q^2}`$ à $`F_q`$ en le morphisme de normalisation

$$Spf(O_{E_{I,0}})Spf(A_{I,0}).$$

Bien sûr, on peut aussi introduire de la même façon une $`F_q`$-structure $`A_{i,0}`$ sur la $`F_{q^2}`$-algèbre $`A_i`$ pour chaque $`iI`$.

On peut reprendre la construction de $`C_I`$ donnée en $`2.1`$ en choisissant $`\iota :IF_{q^2}=k`$ de telles sorte que son image soit contenue dans $`F_qF_{q^2}`$ et en choisissant chaque uniformisante $`\varpi _{E_i}`$ dans $`E_{i,0}E_i`$. La courbe $`C_I`$ obtenue se descend alors en une courbe projective et géométriquement intègre $`C_{I,0}`$ sur $`F_q`$, n’ayant qu’un seul point singulier rationnel sur $`F_q`$, dont le germe formel en ce point singulier est $`Spf(A_{I,0})`$ et a des branches $`Spf(A_{i,0})`$ qui sont toutes rationnelles sur $`F_q`$, et dont la normalisée est $`P_{F_q}^1`$.

On munit alors le $`F_{q^2}`$-schéma de Picard compactifié $`\overline{P}_I`$ de la $`F_q`$-structure rationnelle $`\overline{P}_I`$ dont l’endomorphisme de Frobenius envoie, pour toute extension $`k^{}`$ de $`F_{q^2}`$, un $`k^{}`$-point $`M`$ sur le $`k^{}_kC_I`$-Module sans torsion de rang générique $`1`$,

$$Frob_{\overline{P}_I/F_q}(M)=(k^{}_kFrob_{C_{I,0}/F_q})^{}(M^{})=((k^{}_kFrob_{C_{I,0}/F_q})^{}M)^{},$$

$`Frob_{C_{I,0}/F_q}:C_IC_I`$ est l’endomorphisme de Frobenius pour la $`F_q`$-structure rationnelle $`C_{I,0}`$ sur $`C_I`$ et où $`M^{}=H\mathrm{𝚘𝚖}_{k^{}_kO_{C_I}}(M,k^{}_kO_{C_I})`$ est le dual de $`M`$. Si $`M`$ est inversible, il en est de même de $`Frob_{\overline{P}_I/F_q}(M)`$, de sorte que $`Frob_{\overline{P}_I/F_q}`$ induit un endomorphisme de Frobenius sur l’ouvert $`P_I\overline{P}_I`$, d’où une $`F_q`$-structure rationnelle $`\overline{P}_I`$ sur $`P_I`$.

LEMME 2.3.1 . — Les morphismes $`G_IP_I`$ et $`X_I\overline{P}_I`$ sont compatibles aux $`F_q`$-structures rationnelles considérées en $`1.3`$ et ci-dessus; ils se descendent donc en des $`F_q`$-morphismes $`G_IP_I`$ et $`X_I\overline{P}_I`$.

Preuve  : Il suffit de démontrer que, pour toute extension finie $`k^{}`$ de $`k`$ et tout sous-$`A_I^{}`$-module $`ME_I^{}(=k^{}_kE_I)`$ partout de rang générique $`1`$, on a

$$(M^{})^{}=(M^{})^{}=M^_I$$

$$M^{}=Hom_{A_I^{}}(M,A_I^{})=\{yE_I^{}yMA_I^{}\}.$$

Or, on a les inclusions évidentes

$$(M^{})^{}(M^{})^{}M^_I,$$

inclusions qui sont toutes les deux des égalités pour $`M=A_I^{}`$, et on a

$$[M^{}:N^{}]=[M^{}:N^{}]=[M^_I:N^_I]=[M:N]$$

pour tout couple $`(M,N)`$ de sous-$`A_I^{}`$-modules de $`E_I^{}`$ partout de rang générique $`1`$. $`\mathrm{}`$

*

2.4. Auto-dualité des jacobiennes compactifiées d’après Esteves, Gagné et Kleiman

Dans \[E-G-K\], Esteves, Gagné et Kleiman ont démontré un théorème d’auto-dualité pour les jacobiennes compactifiées des courbes projectives et intègres dont toutes les singularités sont planes et de multiplicité $`2`$. Ce théorème généralise l’énoncé classique d’auto-dualité des jacobiennes des courbes projectives et lisses.

Nous n’aurons besoin que de la partie $``$facile$``$ de ce théorème, partie qui vaut en fait sans l’hypothèse restrictive de multiplicité $`2`$ et que nous allons rappeler maintenant.

On se place dans la situation naturelle pour ce résultat. Soient donc $`S`$ un schéma nœthérien et $`CS`$ un morphisme projectif et plat, dont toutes les fibres géométriques sont intègres et de dimension $`1`$. Pour simplifier, on supposera qu’il existe une section globale de $`C`$ sur $`S`$ dont l’image est contenue dans le lieu de lissité de $`C`$ sur $`S`$ et on fixera une fois pour toute une telle section $`\mathrm{}:SC`$. On notera $`[\mathrm{}]`$ le diviseur de Cartier relatif sur $`C`$ image de cette section.

Pour chaque entier $`d`$, soit $`P^d=Pic_{C/S}^d`$ la composante du $`S`$-schéma de Picard de la courbe $`C/S`$ qui paramètre les classes d’isomorphie de Modules inversibles sur $`C`$ qui sont de degré $`d`$ fibre à fibre du morphisme $`CS`$, et soit $`\overline{P}{}_{}{}^{d}=\overline{\mathrm{Pic}}_{C/S}^d`$ la compactification relative de $`P^d`$ qui paramètre les Modules cohérents sur $`C`$ qui sont plats sur $`S`$ et, fibre à fibre, sans torsion, de rang générique $`1`$ et de degré $`d`$. La torsion $`MM((d+1)[\mathrm{}])`$ par le diviseur de Cartier $`(d+1)[\mathrm{}]`$ identifie $`P^d`$ et $`\overline{P}^d`$ à $`P^1`$ et $`\overline{P}^1`$ respectivement.

On supposera que, pour un entier $`d`$ ou, ce qui revient au même, pour tout entier $`d`$, le foncteur de Picard de $`\overline{P}{}_{}{}^{d}/S`$ est représentable par un $`S`$-schéma

$$Pic_{\overline{P}{}_{}{}^{d}/S}$$

qui est une réunion disjointe de $`S`$-schémas quasi-projectifs. C’est le cas d’après Grothendieck (\[Gr 2\] Théorème 3.1, et aussi \[B-L-R\] §8.2, Theorem 1) si toutes les fibres de $`C/S`$ ont au pire des singularités planes, car le $`S`$-schéma $`\overline{P}^d`$ est alors projectif, plat et à fibres géométriques intègres d’après Altman, Iarrobino et Kleiman, et Rego (cf. \[A-I-K\], \[Re\] et notre section 2.1). C’est aussi le cas si $`S`$ est le spectre d’un corps d’après Murre et Oort (cf. \[B-L-R\] §8.2, Theorem 3).

Si $`S`$ est le spectre d’un corps $`k`$, le $`k`$-schéma en groupes $`Pic_{\overline{P}{}_{}{}^{d}/k}`$ admet une composante neutre $`Pic_{\overline{P}{}_{}{}^{d}/k}^0`$ et on définit

$$Pic_{\overline{P}{}_{}{}^{d}/k}^\tau =\underset{n>0}{}[n]^1Pic_{\overline{P}{}_{}{}^{d}/k}^0,$$

$`[n]:Pic_{\overline{P}{}_{}{}^{d}/k}Pic_{\overline{P}{}_{}{}^{d}/k}`$ est la multiplication par l’entier $`n`$. Pour $`S`$ arbitraire, on note $`Pic_{\overline{P}{}_{}{}^{d}/S}^0`$ (resp. $`Pic_{\overline{P}{}_{}{}^{d}/S}^\tau `$) le sous-foncteur de $`Pic_{\overline{P}{}_{}{}^{d}/S}`$ formé des classes d’isomorphie de Modules inversibles sur $`\overline{P}^d`$ dont la restriction à chaque fibre $`\overline{P}_s^d`$ de $`\overline{P}{}_{}{}^{d}S`$ est dans $`Pic_{\overline{P}{}_{s}{}^{d}/\kappa (s)}^0`$ (resp. $`Pic_{\overline{P}{}_{s}{}^{d}/\kappa (s)}^\tau `$). Le sous-foncteur $`Pic_{\overline{P}{}_{}{}^{d}/S}^\tau `$ est représentable par une partie ouverte et fermée de $`Pic_{\overline{P}{}_{}{}^{d}/S}`$ (cf. \[B-L-R\] §8.4, Theorem 4); par contre, le sous-foncteur $`Pic_{\overline{P}{}_{}{}^{d}/S}^0`$ n’est pas représentable en général.

On a l’application d’Abel

$$A_1:C\overline{P}^1$$

définie par l’Idéal de la diagonale $`CC\times _SC`$: la première projection $`C\times _SCC`$ est un changement de base de $`CS`$ et cet Idéal est un $`O_{C\times _SC}`$-Module cohérent qui est plat sur $`C`$ et, fibre à fibre, sans torsion, de rang générique $`1`$ et de degré $`1`$. Pour tout entier $`d`$, on définit

$$A_d:C\overline{P}^d$$

comme le composé de $`A_1`$ et de l’isomorphisme $`\overline{P}{}_{}{}^{1}\stackrel{}{}\overline{P}^d`$ de torsion par $`(d+1)[\mathrm{}]`$. Le morphisme $`A_d`$ induit un homomorphisme de $`S`$-schémas en groupes

$$A_d^{}:Pic_{\overline{P}{}_{}{}^{d}/S}Pic_{C/S}.$$

Dans \[E-G-K\], Esteves, Gagné et Kleiman construisent un inverse à droite de l’homomorphisme $`A_d^{}`$ sur $`P^0=Pic_{C/S}^0Pic_{C/S}`$ en utilisant le déterminant de la cohomologie.

Plus précisément, notons

$$\begin{array}{ccccc}C\times _S\overline{P}& \stackrel{pr_{12}}{}& C\times _S\overline{P}\times _SP^0& \stackrel{pr_{13}}{}& C\times _SP^0\\ pr_2& & pr_{23}& & pr_2\\ \overline{P}& \underset{pr_1}{}& \overline{P}\times _SP^0& \underset{pr_2}{}& P^0\end{array}$$

les projections canoniques et $`L^{\mathrm{univ}}`$ et $`M^{\mathrm{univ}}`$ les Modules universels sur $`C\times _SP^0`$ et $`C\times _S\overline{P}`$ respectivement, rigidifiés le long des sections $`P^0C\times _SP^0`$ et $`\overline{P}C\times _S\overline{P}`$ induites par la section $`\mathrm{}:SC`$. Alors, on peut former le $`O_{\overline{P}\times _SP^0}`$-Module inversible

$$(detRpr_{23,}(pr_{12}^{}M^{\mathrm{univ}}pr_{13}^{}L^{\mathrm{univ}}))^1detRpr_{23,}pr_{12}^{}M^{\mathrm{univ}}$$

sur $`\overline{P}\times _SP^0`$, Module inversible qui définit un morphisme

$$\beta =\underset{dZ}{}\beta _d:P^0Pic_{\overline{P}/S}=\underset{dZ}{}Pic_{\overline{P}{}_{}{}^{d}/S}.$$

PROPOSITION 2.4.1 (Esteves, Gagné et Kleiman; \[E-G-K\], Proposition (2.2)) . — Pour chaque entier $`d`$, le morphisme $`\beta _d:P^0Pic_{\overline{P}{}_{}{}^{d}/S}`$ est un homomorphisme de $`S`$-schémas en groupes dont l’image ensembliste est contenue dans le sous-foncteur $`Pic_{\overline{P}{}_{}{}^{d}/S}^0`$, et donc dans l’ouvert et fermé $`Pic_{\overline{P}{}_{}{}^{d}/S}^\tau `$, et la formation de $`\beta _d`$ commute à tout changement de base $`S^{}S`$. De plus, le composé $`A_d^{}\beta _d`$ est l’identité de $`P^0`$. $`\mathrm{}`$

Remarque $`\mathrm{2.4.2}`$  : Si on note

$$\mu :\overline{P}\times _SP^0\overline{P},(M,L)M_{O_C}L,$$

l’action naturelle de $`P^0`$ sur $`\overline{P}`$, on a le carré cartésien

$$\begin{array}{ccc}C\times _S\overline{P}\times _SP^0& \stackrel{Id_C\times \mu }{}& C\times _S\overline{P}\\ pr_{23}& \mathrm{}& pr_2\\ \overline{P}\times _SP^0& \underset{\mu }{}& \overline{P}\end{array}$$

et on a un isomorphisme canonique

$$pr_{12}^{}M^{\mathrm{univ}}pr_{13}^{}L^{\mathrm{univ}}(Id_C\times \mu )^{}M^{\mathrm{univ}}.$$

Le théorème de changement de base assure alors que

$$Rpr_{23,}(pr_{12}^{}M^{\mathrm{univ}}pr_{13}^{}L^{\mathrm{univ}})\mu ^{}Rpr_{2,}M^{\mathrm{univ}}$$

et le morphisme $`\beta `$ d’Esteves, Gagné et Kleiman est encore défini par le Module inversible

$$(\mu ^{}detRpr_{2,}M^{\mathrm{univ}})^1detRpr_{2,}M^{\mathrm{univ}}.$$
$`\mathrm{}`$
2.5. Schémas de Picard et dualité pour les tores

Nous aurons besoin dans la section suivante et la section $`4.3`$ d’un résultat général de Grothendieck qui nous a été communiqué par Raynaud.

Soient $`f:ZS`$ un morphisme propre, plat et de présentation finie de schémas tel que $`f_{}O_Z=O_S`$ et $`T`$ un $`S`$-tore (plat et de présentation finie), de faisceau des caractères $`X^{}(T)=H\mathrm{𝚘𝚖}_{S\text{-sch.gr.}}(T,G_{\mathrm{m},S})`$. Pour chaque changement de base

$$\begin{array}{ccc}Z^{}& & Z\\ f^{}& \mathrm{}& f\\ S^{}& & S& ,\end{array}$$

chaque section globale $`t^{}`$ du $`S^{}`$-tore $`T^{}=S^{}\times _ST`$ et chaque $`f^{}X^{}(T^{})`$-torseur $`Y^{}`$ sur $`Z^{}`$, on note $`Y^{},t^{}`$ le $`G_{\mathrm{m},Z^{}}`$-torseur sur $`Z^{}`$ obtenu en poussant $`Y^{}`$ par le caractère image réciproque par $`f^{}`$ du caractère $`X^{}(T^{})G_{\mathrm{m},S^{}},\chi ^{}\chi ^{}(t^{})`$.

PROPOSITION 2.5.1 (cf. \[Ra\] Proposition (6.2.1)) . — Notons

$$Pic_{Z/S}=R^1f_{}G_{\mathrm{m},Z}$$

le foncteur de Picard relatif. Alors, l’homomorphisme de faisceaux étales sur $`S`$

$$R^1f_{}f^{}X^{}(T)H\mathrm{𝚘𝚖}_{S\text{-sch.gr.}}(T,Pic_{Z/S})$$

qui, quel que soit le $`S`$-schéma $`S^{}`$, envoie la classe d’un $`f^{}X^{}(T^{})`$-torseur $`Y^{}Z^{}`$ sur l’homomorphisme $`Y^{},:T^{}Pic_{Z^{}/S^{}}`$, est un isomorphisme.

Preuve  : On raisonne comme le fait Raynaud pour prouver la Proposition (6.2.1) de \[Ra\]. Pour tout faisceau fppf en groupes commutatifs $`F`$ sur $`S`$, on considère le foncteur

$$GH(G)=f_{}H\mathrm{𝚘𝚖}(f^{}F,G)$$

sur la catégorie des faisceaux fppf en groupes commutatifs sur $`Z`$. On a deux suite spectrale

$$E_2^{pq}=R^qf_{}E\mathrm{𝚡𝚝}^p(f^{}F,G)R^{p+q}H(G)$$

et

$$E_2^{pq}=E\mathrm{𝚡𝚝}^q(F,R^pf_{}G)R^{p+q}H(G)$$

et donc deux suites exactes courtes des termes de bas degrés, qui s’écrivent pour $`F=T`$ et $`G=G_{\mathrm{m},Z}`$,

$$0R^1f_{}f^{}X^{}(T)R^1H(G_{\mathrm{m},Z})f_{}E\mathrm{𝚡𝚝}^1(f^{}T,G_{\mathrm{m},Z})$$

et

$$\begin{array}{cc}\hfill 0& E\mathrm{𝚡𝚝}^1(T,f_{}G_{\mathrm{m},Z})R^1H(G_{\mathrm{m},Z})H\mathrm{𝚘𝚖}(T,R^1f_{}G_{\mathrm{m},Z})\hfill \\ \hfill & E\mathrm{𝚡𝚝}^2(T,f_{}G_{\mathrm{m},Z})R^2H(G_{\mathrm{m},Z}).\hfill \end{array}$$

L’homomorphisme de la proposition est alors l’homomorphisme composé

$$R^1f_{}f^{}X^{}(T)R^1H(G_{\mathrm{m},Z})H\mathrm{𝚘𝚖}(T,R^1f_{}G_{\mathrm{m},Z}).$$

On a $`f_{}G_{\mathrm{m},Z}=G_{\mathrm{m},S}`$ par hypothèse et on sait que $`E\mathrm{𝚡𝚝}^1(f^{}T,G_{\mathrm{m},Z})=(0)`$ et $`E\mathrm{𝚡𝚝}^1(T,G_{\mathrm{m},S})=(0)`$. Par suite, l’homomorphisme composé ci-dessus est injectif et, pour démontrer qu’il est bijectif, il suffit de vérifier que l’application $`E\mathrm{𝚡𝚝}^2(T,f_{}G_{\mathrm{m},Z})R^2H(G_{\mathrm{m},Z})`$ est injective. Comme cette propriété d’injectivité est locale pour la topologie fppf sur $`S`$, on peut supposer que $`f`$ admet une section globale $`z:SZ`$, et donc que l’on a une flèche $`\iota :f_{}Gz^{}G`$ fonctorielle en $`G`$. Or, la flèche $`\iota `$ induit un morphisme $`R^2H(G)E\mathrm{𝚡𝚝}^2(F,z^{}G)`$ tel que l’homomorphisme composé $`E\mathrm{𝚡𝚝}^2(F,f_{}G)R^2H(G)E\mathrm{𝚡𝚝}^2(F,z^{}G)`$ soit égal à $`E\mathrm{𝚡𝚝}^2(F,\iota )`$, et elle est un isomorphisme pour $`G=G_{\mathrm{m},Z}`$ par hypothèse. Notre assertion d’injectivité est donc vérifiée et la proposition est démontrée. $`\mathrm{}`$

2.6. Auto-dualité des jacobiennes compactifiées et fibres de Springer

Revenons maintenant à la situation de la section 2.1. Nous avons donc la courbe intègre et projective $`C=C_I`$ sur $`k`$, de normalisée $`\pi =\pi _I:\stackrel{𝑒}{C}=\stackrel{𝑒}{C}_IC`$ une droite projective, avec son unique point singulier $`c=c_I`$ en lequel la singularité est plane. Le complété de l’anneau local de $`C`$ en $`c`$ est notre anneau $`A=A_I`$ de la section 1.1 et l’ensemble des branches $`\pi ^1(c)=\{\stackrel{𝑒}{c}_iiI\}`$ est indexé par $`I`$.

On considère le $`k`$-schéma de Picard compactifié $`\overline{P}=\overline{P}_I`$ de $`C`$ et son revêtement étale Galoisien

$$\overline{P}^{\mathrm{}}\overline{P},$$

de groupe de Galois

$$\begin{array}{cc}\hfill \mathrm{\Lambda }^0& =H^0(C\{c\},G_\mathrm{m})/H^0(C,G_\mathrm{m})\hfill \\ & =H^0(\stackrel{𝑒}{C}\{\stackrel{𝑒}{c}_iiI\},G_\mathrm{m})/H^0(\stackrel{𝑒}{C},G_\mathrm{m})=Ker(Z^IZ),\hfill \end{array}$$

défini dans la section $`2.2`$. Rappelons que les $`k`$-points de $`\overline{P}^{\mathrm{}}`$ sont les couples $`(M,\iota )`$$`M`$ est un $`O_C`$-Module sans torsion de rang générique $`1`$ et $`\iota :M_{|C\{c\}}\stackrel{}{}O_{C\{c\}}`$ est une rigidification de $`M`$ sur le lieu de lissité $`C\{c\}`$ de $`C`$, et que la flèche du revêtement est l’oubli de la rigidification.

Par construction, la restriction du revêtement $`\overline{P}^{\mathrm{}}\overline{P}`$ par le morphisme radiciel

$$Z=Z_I\overline{P}$$

défini en $`2.2`$ est le revêtement

$$XX/\mathrm{\Lambda }^0=Z$$

$`X=X_I`$ est la fibre de Springer de la première partie.

Nous allons utiliser les résultats généraux des sections 2.4 et 2.5 pour donner une autre définition du revêtement $`\overline{P}^{\mathrm{}}\overline{P}`$.

Soit $`T`$ le tore maximal de la composante neutre $`P^0`$ du $`k`$-schéma de Picard de $`C`$. On a $`T=G_{\mathrm{m},k}^I/G_{\mathrm{m},k}`$ et le groupe des caractères de $`T`$ est naturellement isomorphe au noyau

$$Ker(Z^IZ)$$

de l’homomorphisme somme, avec pour accouplement

$$Ker(Z^IZ)\times TG_{\mathrm{m},k},(\lambda ,t)t^\lambda =\underset{iI}{}t_i^{\lambda _i}.$$

L’homomorphisme de $`k`$-schémas en groupes

$$TPic_{\overline{P}/k}$$

obtenu en composant l’inclusion $`TP^0`$ et l’homomorphisme canonique $`\beta `$ d’Esteves, Gagné et Kleiman (cf. 2.4), définit donc d’après la proposition 2.5.1 un $`\mathrm{\Lambda }^0`$-torseur $`\overline{P}{}_{}{}^{}\overline{P}`$.

PROPOSITION 2.6.1 . — Le $`\mathrm{\Lambda }^0`$-torseur $`\overline{P}{}_{}{}^{}\overline{P}`$ n’est autre que le revêtement $`\overline{P}^{\mathrm{}}\overline{P}`$.

Preuve  : Il s’agit de démontrer que, pour chaque entier $`d`$, la restriction à $`Z^d`$ du $`\mathrm{\Lambda }^0`$-torseur $`\overline{P}{}_{}{}^{}\overline{P}`$ est isomorphe à $`X^dZ^d=X^d/\mathrm{\Lambda }^0`$ et, bien sûr, il suffit de le faire pour $`d=0`$.

Si l’on interprète le $`k`$-schéma de Picard $`Pic_{Z^0/k}`$ de $`Z^0`$ comme le $`k`$-schéma de Picard $`\mathrm{\Lambda }^0`$-équivariant $`Pic_{X^0/k}^{\mathrm{\Lambda }^0}`$ de $`X^0`$, le $`\mathrm{\Lambda }^0`$-torseur $`X^0Z^0`$ correspond de manière tautologique par la proposition 2.5.1 au $`k`$-homomorphisme

$$TPic_{X^0/k}^{\mathrm{\Lambda }^0}=Pic_{Z^0/k}$$

qui envoie $`tT(k)`$ sur le $`O_{X^0}`$-Module inversible trivial muni de l’action de $`\mathrm{\Lambda }^0`$ donnée par le caractère

$$\chi _t:\mathrm{\Lambda }^0G_{\mathrm{m},k},\lambda t^\lambda ,$$

et on veut montrer que ce $`k`$-homomorphisme coïncide avec le $`k`$-homomorphisme composé

$$TP^0\stackrel{\beta _0}{}Pic_{\overline{P}{}_{}{}^{0}/k}Pic_{Z^0/k}$$

où la dernière flèche est la flèche de restriction par le morphisme radiciel $`Z^0\overline{P}^0`$. Il suffit donc de démontrer que, pour tout $`tT(k)`$, la restriction à $`Z^0`$ du $`O_{\overline{P}^0}`$-Module inversible $`\beta _0(t)`$ est le $`O_{X^0}`$-Module inversible trivial muni de l’action de $`\mathrm{\Lambda }^0`$ donnée par le caractère $`\chi _t`$.

Rappelons que l’anneau total des fractions de $`A`$ est $`E=E_I=_{iI}E_i`$, que $`\stackrel{𝑒}{C}`$ est la droite projective standard $`P_k^1`$, que le point $`\mathrm{}`$ de $`\stackrel{𝑒}{C}`$ est distinct des $`\stackrel{𝑒}{c}_i`$, que pour chaque $`iI`$, on peut prendre pour uniformisante $`\varpi _i=\varpi _{E_i}`$ de $`E_i`$ la fonction $`x\stackrel{𝑒}{c}_i`$$`x`$ est une coordonnée affine sur $`\stackrel{𝑒}{C}\{\mathrm{}\}A_k^1`$, que $`\stackrel{𝑒}{A}=_{iI}k[[\varpi _i]]_{iI}k((\varpi _i))E_I`$ et que $`\mathrm{\Lambda }^0`$ est l’ensemble des fractions rationnelles de la forme $`_{iI}(x\stackrel{𝑒}{c}_i)^{\lambda _i}`$ avec $`\lambda Z^I`$ et $`_{iI}\lambda _i=0`$.

Rappelons de plus que $`X^0`$ est le $`k`$-schéma des $`A`$-réseaux $`ME`$ d’indice $`0`$ relativement à $`AE`$, que l’image $`M\overline{P}{}_{}{}^{0}(k)`$ de $`MX^0(k)`$ est le $`O_C`$-Module obtenu en recollant $`O_{C\{c\}}`$ et $`M`$, et que l’action du groupe de Galois $`\mathrm{\Lambda }^0`$ est donnée par

$$(\lambda ,M)\lambda M=(\varpi _i^{\lambda _i})_{iI}M.$$

Rappelons enfin que le $`k`$-schéma $`X^0`$ est localement de type fini, réunion d’une suite croissante

$$X_0^0\mathrm{}X_n^0X_{n+1}^0\mathrm{}X^0$$

de fermés de type fini stables sous l’action par translation de $`P^0(k)=\stackrel{𝑒}{A}^\times /A^\times `$; par exemple, on peut prendre pour $`X_n^0`$ le fermé formé des $`M`$ qui sont contenus dans $`(\varpi _i^n)_{iI}\stackrel{𝑒}{A}E`$.

Il suffit donc de construire, un système compatible de trivialisations des restrictions du Module inversible $`\beta _0(t)`$ aux $`X_n^0`$ et de montrer que, pour tout $`MX^0(k)`$ et tout $`\lambda \mathrm{\Lambda }^0`$, l’isomorphisme de la fibre en $`M`$ de la restriction de $`\beta _0(t)`$ à $`X^0`$ sur celle en $`\lambda M`$ donné par l’action de $`\lambda `$ s’exprime dans ce système de trivialisations comme la multiplication par $`t^\lambda `$.

La fibre de $`\beta _0(t)`$ en l’image $`M\overline{P}{}_{}{}^{0}(k)`$ de $`MX_n^0(k)`$ peut se calculer comme suit. Soit $`R=H^0(C\{c\},O_C)E`$ la $`k`$-algèbre des fonctions rationnelles sur $`\stackrel{𝑒}{C}`$ qui sont régulières en dehors de $`\{\stackrel{𝑒}{c}_iiI\}`$. On a une suite exacte

$$0H^0(C,M)RE/MH^1(C,M)0$$

et il existe $`Nn`$, indépendant de $`MX_n^0(k)`$, tel que la restriction de la flèche surjective $`E/MH^1(C,M)`$ à $`(\varpi _i^N)_{iI}\stackrel{𝑒}{A}/ME/M`$ soit encore surjective. La suite induite

$$0H^0(C,M)R(\varpi _i^N)_{iI}\stackrel{𝑒}{A}(\varpi _i^N)_{iI}\stackrel{𝑒}{A}/MH^1(C,M)0.$$

est donc aussi exacte.

La classe d’isomorphie fixée $`tT(k)P^0(k)`$ est représentée par le $`O_C`$-Module inversible $`L`$ obtenu en recollant $`O_{C\{c\}}`$ et le réseau $`L=(t_i)_{iI}AE`$, et on peut remplacer dans les suites exactes ci-dessus $`M`$ par $`L_{O_C}M`$ et $`M`$ par $`tM=(t_i)_{iI}M(\varpi _i^n)_{iI}\stackrel{𝑒}{A}E`$. Par conséquent, la fibre de $`\beta _0(t)`$ en $`M`$ s’identifie canoniquement à la $`k`$-droite

$$\left(\stackrel{\mathrm{max}}{}(\varpi _i^N)_{iI}\stackrel{𝑒}{A}/tM\right)_k\left(\stackrel{\mathrm{max}}{}(\varpi _i^N)_{iI}\stackrel{𝑒}{A}/M\right)^1,$$

ou se qui revient au même à la $`k`$-droite

$$\left(\stackrel{\mathrm{max}}{}(\varpi _i^n)_{iI}\stackrel{𝑒}{A}/tM\right)_k\left(\stackrel{\mathrm{max}}{}(\varpi _i^n)_{iI}\stackrel{𝑒}{A}/M\right)^1.$$

Le déterminant de l’isomorphisme $`(\varpi _i^n)_{iI}\stackrel{𝑒}{A}/M\stackrel{}{}(\varpi _i^n)_{iI}\stackrel{𝑒}{A}/tM`$ induit par la multiplication par $`(t_i)_{iI}`$ définit un vecteur de base $`e_{n,M}`$ de cette dernière $`k`$-droite. La section $`Me_M=\left(_{iI}t_i^n\right)e_{n,M}`$ de la restriction de $`\beta _0(t)`$ à $`X_n^0`$ est la trivialisation cherchée: elle est $``$indépendant de $`n`$$``$ puisque le déterminant de l’automorphisme de multiplication par $`(t_i)_{iI}`$ sur $`(\varpi _i^{n1})_{iI}\stackrel{𝑒}{A}/(\varpi _i^n)_{iI}\stackrel{𝑒}{A}`$ est égal à $`_{iI}t_i`$.

Maintenant, si $`M`$ et $`\lambda M`$ sont dans $`X_n^0(k)`$, la multiplication par $`(\varpi _i^{\lambda _i})_{iI}`$ induit un isomorphisme de la $`k`$-droite

$$\left(\stackrel{\mathrm{max}}{}(\varpi _i^n)_{iI}\stackrel{𝑒}{A}/t(\lambda M)\right)_k\left(\stackrel{\mathrm{max}}{}(\varpi _i^n)_{iI}\stackrel{𝑒}{A}/\lambda M\right)^1$$

sur la $`k`$-droite

$$\left(\stackrel{\mathrm{max}}{}(\varpi _i^{\lambda _in})_{iI}\stackrel{𝑒}{A}/tM\right)_k\left(\stackrel{\mathrm{max}}{}(\varpi _i^{\lambda _in})_{iI}\stackrel{𝑒}{A}/M\right)^1$$

qui envoie le vecteur de base $`e_{n,M}`$ sur le déterminant $`e^{}`$ de l’isomorphisme

$$(\varpi _i^{\lambda _in})_{iI}\stackrel{𝑒}{A}/M\stackrel{}{}(\varpi _i^{\lambda _in})_{iI}\stackrel{𝑒}{A}/tM$$

induit par la multiplication par $`(t_i)_{iI}`$. Or cette dernière $`k`$-droite est canoniquement isomorphe à la $`k`$-droite

$$\left(\stackrel{\mathrm{max}}{}(\varpi _i^n)_{iI}\stackrel{𝑒}{A}/tM\right)_k\left(\stackrel{\mathrm{max}}{}(\varpi _i^n)_{iI}\stackrel{𝑒}{A}/M\right)^1$$

par un isomorphisme qui envoie $`e^{}`$ sur $`t^\lambda e_{n,M}`$ (choisir arbitrairement un entier $`m\lambda _i+n`$ quel que soit $`iI`$ et utiliser les inclusions $`(\varpi _i^{\lambda _in})_{iI}\stackrel{𝑒}{A}(\varpi _i^m)_{iI}\stackrel{𝑒}{A}(\varpi _i^n)_{iI}\stackrel{𝑒}{A}`$). On en déduit donc que l’action de $`\lambda `$ envoie $`e_{\lambda M}`$ sur $`t^\lambda e_M`$, ce que l’on voulait démontrer. $`\mathrm{}`$

Remarque $`\mathrm{2.6.2}`$  : Pour tout $`\stackrel{𝑒}{a}\stackrel{𝑒}{A}^\times /A^\times `$, la multiplication par $`\stackrel{𝑒}{a}`$ induit un isomorphisme de $`(\varpi _i^n)_{iI}\stackrel{𝑒}{A}/M`$ sur $`(\varpi _i^n)_{iI}\stackrel{𝑒}{A}/\stackrel{𝑒}{a}M`$ dont le déterminant ne dépend que du $``$terme constant$``$ $`\stackrel{𝑒}{a}(0)`$ de $`\stackrel{𝑒}{a}`$, c’est-à-dire de l’image de $`\stackrel{𝑒}{a}`$ par la projection canonique $`\stackrel{𝑒}{A}^\times /A^\times (k^\times )^I/k^\times `$. Les mêmes calculs de déterminant de la cohomologie que ceux de la preuve de la proposition montrent donc que la flèche composée

$$P^0\stackrel{\beta }{}Pic_{\overline{P}}Pic_Z$$

est triviale sur la composante unipotente de $`P^0`$. $`\mathrm{}`$

Remarque $`\mathrm{2.6.3}`$  : On a bien sûr une variante de la proposition 2.6.1 pour le revêtement du corollaire 2.2.6. $`\mathrm{}`$

3. DÉFORMATIONS DE COURBES (RAPPELS)

3.1. Déformations miniverselles : généralités

On note $`Art_k`$ la catégorie des $`k`$-algèbres locales artiniennes de corps résiduel $`k`$. Tous les $`k`$-schémas considérés dans la suite sont supposés séparés et localement nœthériens.

Soit $`X_k`$ un $`k`$-schéma. On a le foncteur des déformations

$$Def_{X_k}:Art_kEns$$

qui associe à une $`k`$-algèbre locale artinienne $`R`$ l’ensemble des classes d’isomorphie de $`R`$-schémas plats $`X_R`$ munis d’un isomorphisme de $`k`$-schémas

$$\iota :X_k\stackrel{}{}k_RX_R.$$

Si $`X_k=Spec(A_k)`$ est affine, toute déformation $`X_R`$ de $`X_k`$ sur $`RobArt_k`$ est aussi un schéma affine $`X_R=Spec(A_R)`$$`A_R`$ est une $`R`$-algèbre plate munie d’un isomorphisme de $`k`$-algèbres $`k_RA_R\stackrel{}{}A_k`$. On identifiera donc $`Def_{X_k}`$ au foncteur $`Def_{A_k}`$ qui envoie $`R`$ sur l’ensemble des classes d’isomorphie des $`A_R`$.

On définit aussi le foncteur des déformations

$$Def_{X_k}^{\mathrm{top}}=Def_{A_k}^{\mathrm{top}}$$

d’un $`k`$-schéma formel affine $`X_k=Spf(A_k)`$ en tenant compte de la topologie de $`A_k`$.

Si $`U_k`$ est un ouvert de $`X_k`$ et si $`xU_k`$, on a des morphismes de foncteurs évidents

$$Def_{X_k}Def_{U_k}Def_{O_{X_k,x}}Def_{\stackrel{𝑏}{O}_{X_k,x}}^{\mathrm{top}}.$$

Une déformation formelle $`(R,X)`$ de $`X_k`$ est un couple formé d’une $`k`$-algèbre locale complète nœthérienne $`R`$ de corps résiduel $`k`$ et d’un couple $`X=(X_{},\iota _{})`$$`X_{}`$ est une suite de déformations $`X_n`$ de $`X_k`$ sur $`R_n=R/m_R^{n+1}`$ avec $`X_0=X_k`$ et où $`\iota _{}`$ est une suite d’isomorphismes

$$\iota _n:X_n\stackrel{}{}R_n_{R_{n+1}}X_{n+1},nN.$$

On verra dans la suite $`X`$ comme un $`S`$-schéma formel où $`S=Spf(R)`$.

Une telle déformation définit un morphisme de foncteurs

$$SDef_{X_k}$$

qui envoie le $`R`$-point $`\phi :RR`$ de $`S`$ sur $`(R_{\phi ,R}X,\iota )`$ où on a posé

$$R_{\phi ,R}X=R_{\phi _n,R_n}X_n$$

quel que soit l’entier $`n`$ assez grand pour que $`\phi `$ se factorise en $`RR_n\stackrel{\phi _n}{}R`$.

DÉFINITION 3.1.1 . — Une déformation formelle $`(R,X)`$ de $`X_k`$ est dite miniverselle si le morphisme de foncteurs $`Hom_{k\mathrm{alg}}(R,)Def_{X_k}`$ associé est formellement lisse et si l’application entre les espaces tangents

$$Hom_k(m_R/m_R^2,k)\stackrel{}{}S(k[\epsilon ])Def_{X_k}(k[\epsilon ])$$

est bijective.

On définit de même une déformation formelle miniverselle d’une $`k`$-algèbre $`A_k`$ et une déformation formelle miniverselle topologique d’une $`k`$-algèbre topologique $`A_k`$. Une déformation formelle miniverselle de $`X_k`$ ou $`A_k`$ (resp. une déformation formelle miniverselle topologique $`A_k`$) est unique à isomorphisme près.

THÉORÈME 3.1.2 (Schlessinger, cf. \[Ri\] Theorem 4.5) . — Soit $`X_k`$ un schéma séparé et de type fini sur $`k`$. Supposons de plus que

\- soit $`X_k`$ est propre sur $`k`$,

\- soit $`X_k`$ est affine avec un lieu singulier $`X_k^{\mathrm{sing}}`$ fini sur $`k`$.

Alors, $`X_k`$ admet une déformation formelle miniverselle $`(R,X)`$. $`\mathrm{}`$

THÉORÈME 3.1.3 (Rim, \[Ri\] Theorem 4.11, Corollary 4.13) . — Soit $`X_k`$ un schéma séparé et de type fini sur $`k`$ dont le lieu singulier $`X_k^{\mathrm{sing}}`$ est fini sur $`k`$. Pour chaque $`xX_k^{\mathrm{sing}}`$, soit $`U_{k,x}`$ un ouvert affine de $`X_k`$ qui ne rencontre $`X_k^{\mathrm{sing}}`$ qu’en $`x`$. On a alors les propriétés suivantes.

(i)Si $`H^2(X_k,H\mathrm{𝚘𝚖}_{O_{X_k}}(\mathrm{\Omega }_{X_k/k}^1,O_{X_k}))=(0)`$, le morphisme de foncteurs

$$Def_{X_k}\underset{xX_k^{\mathrm{sing}}}{}Def_{U_{k,x}}$$

est formellement lisse.

(ii)Pour chaque $`xX_k^{\mathrm{sing}}`$, le morphisme de foncteurs

$$Def_{U_{k,x}}Def_{\stackrel{𝑏}{O}_{X,x}}^{\mathrm{top}}$$

est formellement lisse et induit une bijection entre les espaces tangents de Zariski

$$Def_{U_{k,x}}(k[\epsilon ])\stackrel{}{}Def_{\stackrel{𝑏}{O}_{X,x}}^{\mathrm{top}}(k[\epsilon ]);$$

en particulier, si $`(R,U_x)`$ est une déformation formelle miniverselle du $`k`$-schéma affine $`U_{k,x}`$, alors $`(R,\stackrel{𝑏}{O}_{U_x,x})`$ est une déformation formelle miniverselle topologique de $`\stackrel{𝑏}{O}_{X,x}`$.

(iii)Si $`H^2(X_k,H\mathrm{𝚘𝚖}_{O_{X_k}}(\mathrm{\Omega }_{X_k/k}^1,O_{X_k}))=(0)`$ et si $`X_k`$ est localement d’intersection complète, tous les foncteurs de déformations considérés dans (i) et (ii) sont formellement lisses sur $`k`$; si de plus le lieu de lissité est dense dans $`X_k`$, la suite exacte entre les espaces tangents associée au morphisme de foncteurs

$$Def_{X_k}\underset{xX_k^{\mathrm{sing}}}{}Def_{\stackrel{𝑏}{O}_{X_k,x}}^{\mathrm{top}}$$

n’est autre que la suite exacte courte

$$\begin{array}{c}\text{ }0H^1(X_k,H\mathrm{𝚘𝚖}_{O_{X_k}}(\mathrm{\Omega }_{X_k/k}^1,O_{X_k}))Ext_{O_{X_k}}^1(\mathrm{\Omega }_{X_k/k}^1,O_{X_k})\text{ }\hfill \\ \text{ }H^0(X_k,E\mathrm{𝚡𝚝}_{O_{X_k}}^1(\mathrm{\Omega }_{X_k/k}^1,O_{X_k}))0.\mathrm{}\text{ }\hfill \end{array}$$

3.2. Déformations miniverselles: le cas des courbes à singularités planes

Soit $`C_k`$ une courbe intègre, projective et localement d’intersection complète sur $`k`$; $`C_k`$ est génériquement lisse sur $`k`$ puisque l’on a supposé $`k`$ algébriquement clos.

Le $`k`$-schéma $`C_k`$ admet une déformation formelle miniverselle $`(R,C)`$ d’après le théorème 3.1.2 de Schlessinger.

DÉFINITION 3.2.1 . — Soit $`c`$ un point fermé de $`C_k`$. Nous dirons que $`C_k`$ admet en $`c`$ une singularité plane isolée si le complété $`\stackrel{𝑏}{O}_{C_k,c}`$ de l’anneau local de $`C_k`$ en $`c`$ est une $`k`$-algèbre topologique isomorphe à $`k[[x,y]]/(f)`$ pour une série formelle $`f=f(x,y)(x,y)k[[x,y]]`$ telle que le $`k`$-espace vectoriel $`k[[x,y]]/(_xf,_yf)`$ soit de dimension finie.

Bien entendu, si le point $`c`$ est une singularité plane isolée de $`C_k`$ au sens de la définition ci-dessus, il l’est aussi au sens usuel puisque le $`k`$-espace vectoriel $`k[[x,y]]/(f,_xf,_yf)`$ est a fortiori de dimension finie. La réciproque est vraie si $`k`$ est de caractéristique nulle, puisque $`f`$ est alors entier sur l’idéal $`(_xf,_yf)`$ (cf. \[Te 1\] 1.1).

Supposons dans la suite que les seules singularités de $`C_k`$ sont des singularités planes isolées.

Comme $`C_k`$ est de dimension $`1`$ et localement d’intersection complète, on a

$$H^2(C_k,H\mathrm{𝚘𝚖}_{O_{C_k}}(\mathrm{\Omega }_{C_k/k}^1,O_{C_k}))=(0)$$

et il n’y a pas d’obstruction à déformer $`C_k`$. Par suite la base $`R`$ de la déformation miniverselle est une $`k`$-algèbre de séries formelles en $`\tau (C_k)`$ variables, où $`\tau (C_k)`$ est la dimension de l’espace tangent de Zariski

$$Ext_{O_{C_k}}^1(\mathrm{\Omega }_{C_k/k}^1,O_{C_k}).$$

De plus, le $`k`$-espace vectoriel sous-jacent à l’algèbre de Lie du $`k`$-schéma en groupes $`Aut_k(C_k)`$ des $`k`$-automorphismes de $`C_k`$ est égal à $`Hom_{O_{C_k}}(\mathrm{\Omega }_{C_k/k}^1,O_{C_k})`$.

De même, pour chaque point singulier $`cC_k^{\mathrm{sing}}`$, le foncteur des déformations topologiques de $`\stackrel{𝑏}{O}_{C_k,c}k[[x,y]]/(f)`$ est formellement lisse avec pour espace tangent

$$Def_{\stackrel{𝑏}{O}_{C_k,c}}^{\mathrm{top}}(k[\epsilon ])=Ext_{\stackrel{𝑏}{O}_{C_k,c}}^1(\mathrm{\Omega }_{C_k,c}^{1,\mathrm{top}},\stackrel{𝑏}{O}_{C_k,c})k[[x,y]]/(f,_xf,_yf)$$

(on a

$$\mathrm{\Omega }_{C_k,c}^{1,\mathrm{top}}=Coker(k[[x,y]]/(f)(k[[x,y]]/(f))\mathrm{d}x(k[[x,y]]/(f))\mathrm{d}y)$$

où la flèche envoie $`1`$ sur $`\mathrm{d}f=(_xf)\mathrm{d}x+(_yf)\mathrm{d}y`$). De plus, on obtient une déformation miniverselle topologique

$$Spf(k[[x,y,z_1,\mathrm{},z_{\tau _c(C_k))}]]/(\stackrel{𝑒}{f}))Spf(k[[z_1,\mathrm{},z_{\tau _c(C_k)}]])$$

du germe formel de $`C_k`$ en $`c`$ en choisissant arbitrairement des série formelles

$$g_1,\mathrm{},g_{\tau _c(C_k)}k[[x,y]]$$

dont les réductions modulo l’idéal $`(f,_xf,_yf)`$ forment une base de $`Def_{\stackrel{𝑏}{O}_{C_k,c}}^{\mathrm{top}}(k[\epsilon ])`$, et en posant

$$\stackrel{𝑒}{f}=\stackrel{𝑒}{f}(x,y,z)=f(x,y)+\underset{t=1}{\overset{\tau _c(C_k)}{}}z_tg_t(x,y).$$

Bien sûr, on peut prendre $`g_{\tau _c(C_k)}=1`$, de sorte que $`k[[x,y,z_1,\mathrm{},z_{\tau _c(C_k)}]]/(\stackrel{𝑒}{f})`$ est isomorphe à la $`k`$-algèbre de séries formelles $`k[[x,y,z_1,\mathrm{},z_{\tau _c(C_k)1}]]`$.

Il résulte de cette discussion que le morphisme propre et plat de $`k`$-schémas formels $`CSpf(R)`$ est localement d’intersection complète. On peut donc considérer son $`O_C`$-Module dualisant relatif $`\omega _{C/S}`$; la restriction de ce Module inversible à $`C_k`$ est bien entendu le $`O_{C_k}`$-Module dualisant $`\omega _{C_k/k}`$.

THÉORÈME 3.2.2 . — Soient $`S=Spec(R)`$ et $`s=Spec(k)`$ l’unique point fermé de $`S`$. La déformation formelle miniverselle $`(R,C)`$ de $`C_k`$ est algébrisable : il existe un $`S`$-schéma propre et plat $`C`$ dont le complété formel pour la topologie $`m_R`$-adique est le $`R`$-schéma formel $`C`$. $`\mathrm{}`$

Preuve  : Le degré de $`\omega _{C_k/k}`$ est $`2p(C_k)2`$$`p(C_k)=dim_kH^1(C_k,O_{C_k})`$ est le genre arithmétique de $`C_k`$.

Si $`p(C_k)2`$, $`\omega _{C_k/k}`$ est ample et on peut appliquer directement le théorème d’algébrisation de Grothendieck (\[Gr 3\] Théorème (5.4.5)).

Si $`p(C_k)=0\text{ ou }1`$, on fixe arbitrairement un $`k`$-point $`\mathrm{}`$ du lieu de lissité de $`C_k`$ et un relèvement de ce $`k`$-point en un $`R`$-point de $`C`$ noté encore $`\mathrm{}`$. Le $`O_{C_k}`$-Module inversible $`\omega _{C_k/k}((32p(C_k))[\mathrm{}])`$ est ample et on peut appliquer de nouveau théorème d’algébrisation de Grothendieck. $`\mathrm{}`$

Bien sûr, le morphisme propre et plat de schémas $`CS`$ du théorème est projectif et sa fibre $`C_t`$ en tout point géométrique $`t`$ de $`S`$ est intègre (cf. \[Gr 4\] Théorème (12.2.4)).

PROPOSITION 3.2.3 . — Soient $`C_k`$ une courbe intègre et projective sur $`k`$, qui n’admet que des singularités planes, et $`CS`$ une algébrisation d’une déformation formelle miniverselle de $`C_k`$. Alors, le schéma $`C`$ est formellement lisse sur $`k`$ et la fibre générique du morphisme $`CS`$ est lisse.

Preuve  : La première assertion est locale en chaque point singulier $`cC_k`$ et résulte immédiatement des écritures

$$Spf(k[[x,y]]/(f))\text{ et }Spf(k[[x,y,z_1,\mathrm{},z_{\tau _c(C_k)}]]/(\stackrel{𝑒}{f}))$$

pour les complétés formels de $`C_k`$ et $`C`$ en $`c`$, avec

$$\stackrel{𝑒}{f}=\stackrel{𝑒}{f}(x,y,z)=f(x,y)+\underset{t=1}{\overset{\tau _c(C_k)}{}}z_tg_t(x,y).$$

et $`g_{\tau _c(C_k)}=1`$.

Passons à la deuxième assertion. On sait déjà que la fibre $`C_\eta `$ de $`CS`$ au point générique $`\eta `$ de $`S`$ est géométriquement intègre et donc génériquement lisse.

Maintenant, si $`C_\eta `$ admettait une singularité en un point fermé $`c_\eta `$, on pourrait localiser la situation au voisinage du point fermé $`c`$ de $`C_s`$ qui spécialise $`c_\eta `$. Pour conclure, il suffit donc de vérifier que, pour $`\stackrel{𝑒}{f}`$ comme ci-dessus, le lieu critique de la projection canonique

$$Spf(k[[x,y,z_1,\mathrm{},z_{\tau _c(C_k)}]]/(\stackrel{𝑒}{f}))Spf(k[[z_1,\mathrm{},z_{\tau _c(C_k)}]])=S$$
$`()`$
est fini sur $`S`$ et son discriminant, c’est-à-dire l’image dans $`S`$ du lieu critique, est un fermé strict de $`S`$.

Or, le lieu critique de $`()`$ est le fermé de $`Spf(k[[x,y,z_1,\mathrm{},z_{\tau _c(C_k)}]])`$ d’équations

$$\stackrel{𝑒}{f}=_x\stackrel{𝑒}{f}=_y\stackrel{𝑒}{f}=0.$$

Il est donc bien fini sur $`S`$ puisque $`k[[x,y]]/(f,_xf,_yf)`$ est de dimension finie sur $`k`$, et le discriminant de $`()`$ est le fermé défini par le $`0`$-ème idéal de Fitting du $`k[[z_1,\mathrm{},z_{\tau _c(C_k)}]]`$-module de type fini $`k[[x,y,z_1,\mathrm{},z_{\tau _c(C_k)}]]/(\stackrel{𝑒}{f},_x\stackrel{𝑒}{f},_y\stackrel{𝑒}{f})`$.

Si le discriminant de $`()`$ était $`S`$ tout entier, il contiendrait en particulier tout l’axe des $`z_1`$. Or la formation de ce discriminant commute à tout changement de base (cf. \[Te 2\] §5). Sa restriction à l’axe des $`z_1`$ est donc le discriminant du morphisme

$$Spf(k[[x,y]])Spf(k[[z_1]])$$

qui envoie $`(x,y)`$ sur $`z_1=f(x,y)`$. Mais, il est facile de voir (cf. \[Te 2\] §2.6) que ce dernier discriminant est le fermé de $`Spf(k[[z_1]])`$ défini par l’équation $`z_1^{\mu (f)}`$

$$\mu (f)=dim_k(k[[x,y]]/(_xf,_yf)),$$

d’où la conclusion. $`\mathrm{}`$

La caractéristique d’Euler-Poincaré $`\chi (RHom_{O_{C_k}}(\mathrm{\Omega }_{C_k/k}^1,O_{C_k}))`$, c’est-à-dire la différence $`dim_kLie(Aut_k(C_k))\tau (C_k)`$, a été calculée par Deligne (cf. \[De 2\] Proposition 2.32): on a

$$\tau (C_k)=3p(C_k)3+dim_kLie(Aut_k(C_k)).$$
$`(\mathrm{3.2.4})`$
Variante $`\mathrm{3.2.5}`$  : Fixons un ensemble fini $`\mathrm{\Sigma }`$ de $`k`$-points dans le lieu de non lissité de $`C_k`$ dont le cardinal est suffisamment grand pour que $`Hom_k(\mathrm{\Omega }_{C_k/k}^1(\mathrm{\Sigma }),O_{C_k})=(0)`$. On peut remplacer $`C/S`$ par une algébrisation $`(C_\mathrm{\Sigma }/S_\mathrm{\Sigma })`$ de la déformation formelle universelle du couple $`(C_k,\mathrm{\Sigma })`$ (il n’y a plus d’automorphismes infinitésimaux et le foncteur des déformations est donc pro-représentable). La dimension de $`S_\mathrm{\Sigma }`$ est $`3p(C_k)3+|\mathrm{\Sigma }|`$ et le morphisme naturel $`S_\mathrm{\Sigma }S`$ est formellement lisse de dimension relative $`|\mathrm{\Sigma }|dim_kLie(Aut_k(C_k))`$. $`\mathrm{}`$

3.3. Normalisation en famille et constance de l’invariant $`\delta `$, d’après Teissier

Nous noterons dans la suite $`\pi _X:\stackrel{𝑒}{X}X`$ le morphisme de normalisation de tout schéma intègre $`X`$.

Pour toute courbe $`C_\kappa `$ géométriquement intègre sur un corps $`\kappa `$, on a la suite exacte

$$0O_{C_\kappa }\pi _{\kappa ,}O_{\stackrel{𝑒}{C_\kappa }}\underset{cC_\kappa ^{\mathrm{sing}}}{}(\pi _{\kappa ,}O_{\stackrel{𝑒}{C_\kappa }}/O_{C_\kappa })_c0$$

$`C_\kappa ^{\mathrm{sing}}`$ est le lieu singulier (fini) de $`C_\kappa `$, et on pose

$$\delta (C_\kappa )=\underset{cC_\kappa }{}\delta _c(C_\kappa )$$

où, pour chaque $`cC_\kappa ^{\mathrm{sing}}`$, $`\delta _c(C_\kappa )`$ est la dimension du $`\kappa `$-espace vectoriel $`(\pi _{\kappa ,}O_{\stackrel{𝑒}{C}_\kappa }/O_{C_\kappa })_c`$.

Soient $`S`$ un schéma local complet, intègre et nœthérien, de point fermé $`s`$, $`\phi :CS`$ une courbe relative plate à fibres géométriquement réduites et $`DC`$ un diviseur effectif fini et plat sur $`S`$ tel $`\phi `$ soit lisse en dehors du support de $`D`$.

Soit $`aO_C`$ l’Idéal annulateur du $`O_C`$-Module cohérent $`\pi _{C,}O_{\stackrel{𝑒}{C}}/O_C`$ et, pour chaque $`tS`$, soit $`a_tO_{C_t}`$ l’Idéal annulateur du $`O_{C_t}`$-Module cohérent $`\pi _{C_t,}O_{\stackrel{𝑒}{C_t}}/O_{C_t}`$, où bien entendu $`C_t`$ est la fibre de $`\phi `$ en $`t`$. Il n’est pas vrai en général que $`a_t`$ soit la restriction de $`a`$ à $`C_t`$.

LEMME 3.3.1 . — On peut trouver un diviseur effectif $`D^{}C`$, fini et plat sur $`S`$, tel que l’on ait les inclusions

$$O_{C_t}(D_t^{})a_tO_{C_t}$$

quel que soit $`tS`$.

Preuve  : Par hypothèse, on a un diviseur effectif $`DC`$ fini et plat sur $`S`$ tel que $`\phi `$ soit lisse en dehors du support de $`D`$.

Pour chaque point $`t`$ de $`S`$, $`D`$ induit un diviseur $`D_tC_t`$ et, comme $`\pi _{C_t}`$ est un isomorphisme en dehors du support de $`D_t`$, le support du fermé de $`C_t`$ défini par $`a_t`$ est contenu dans celui de $`D_t`$. Il existe donc un entier $`n0`$ tel que $`O_{C_t}(nD_t)a_tO_{C_t}`$; notons $`n_t`$ le plus petit entier $`n0`$ ayant cette propriété.

La fonction $`SN,tn_t`$, est constructible. En effet, par induction nœthérienne, il suffit de montrer que cette fonction est localement constante sur un ouvert dense de $`S`$. Mais cela résulte de l’existence d’un ouvert dense normal $`U`$ de $`S`$ tel que, pour tout $`tU`$, $`\pi _{C_t}`$ soit la fibre en $`t`$ de $`\pi _C`$ et $`a_t`$ soit la restriction de $`a`$ à $`C_t`$.

On peut donc choisir un entier $`n`$ tel que $`nn_t`$ quel que soit $`tS`$ et le diviseur $`D^{}=nD`$ répond à la question. $`\mathrm{}`$

PROPOSITION 3.3.2 (Teissier, \[Te 3\] I, 1.3.2) . — La fonction $`SZ,t\delta (C_t)`$, est semi-continue supérieurement. Elle est même constante si l’on suppose de plus que le morphisme composé $`\stackrel{𝑒}{\phi }=\phi \pi _C:\stackrel{𝑒}{C}S`$ est lisse.

Inversement, si $`S`$ est normal et si la fonction $`SZ,t\delta (C_t)`$, est constante sur $`S`$, le morphisme $`\stackrel{𝑒}{\phi }`$ est lisse.

Chaque fois que le morphisme composé $`\phi \pi _C:\stackrel{𝑒}{C}S`$ sera lisse, on verra le morphisme de normalisation $`\pi _C:\stackrel{𝑒}{C}C`$ comme une normalisation en famille de la courbe relative $`\phi :CS`$.

Teissier démontre dans un premier temps le cas particulier plus précis suivant:

LEMME 3.3.3 . — Supposons de plus que $`S=Spec(V)`$ soit un trait ($`V`$ est donc un anneau de valuation discrète), de point générique $`\eta `$. Alors, le morphisme composé $`\stackrel{𝑒}{\phi }=\phi \pi _C:\stackrel{𝑒}{C}S`$ est plat et on a la relation

$$\delta (C_s)\delta (C_\eta )=\delta ((\stackrel{𝑒}{C})_s)0$$

$`(\stackrel{𝑒}{C})_s`$ est la fibre spéciale de $`\stackrel{𝑒}{\phi }`$.

Preuve du lemme $`\mathrm{3.3.3}`$  : Il résulte du lemme $`\mathrm{3.3.1}`$ que l’image réciproque de la restriction de $`a`$ à $`C_sC`$ par le morphisme de normalisation $`\pi _{C_s}:\stackrel{𝑒}{C_s}C_s`$ est non nulle. La propriété universelle de la normalisation $`\pi _C:\stackrel{𝑒}{C}C`$ nous donne alors une factorisation

$$\stackrel{𝑒}{C_s}\stackrel{𝑒}{C}\stackrel{\pi _C}{}C$$

de $`\stackrel{𝑒}{C_s}\stackrel{\pi _{C_s}}{}C_sC`$, ou ce qui revient au même une factorisation

$$\stackrel{𝑒}{C_s}\stackrel{\rho }{}(\stackrel{𝑒}{C})_s\stackrel{\pi _{C,s}}{}C_s$$

de $`\pi _{C_s}`$ par la fibre spéciale $`\pi _{C,s}`$ de $`\pi _C`$.

Fixons une uniformisante $`v`$ de $`V`$. On vérifie que

$$(v\pi _{C,}O_{\stackrel{𝑒}{C}})O_C=vO_C,$$

et donc que le $`O_S`$-Module cohérent $`\pi _{C,}O_{\stackrel{𝑒}{C}}/O_C`$ est sans $`v`$-torsion et que les homomorphismes de $`k`$-Algèbres

$$O_{C_s}(\pi _{C,s})_{}O_{(\stackrel{𝑒}{C})_s}\pi _{C_s,}O_{\stackrel{𝑒}{C_s}}$$

correspondant à la factorisation ci-dessus sont injectifs. On vérifie aussi que la fibre générique $`\pi _{C,\eta }:(\stackrel{𝑒}{C})_\eta C_\eta `$ de $`\pi _C`$ est la normalisation de $`C_\eta `$. Par suite, le $`O_S`$-Module $`\phi _{}(\pi _{C,}O_{\stackrel{𝑒}{C}}/O_C)`$ est libre de rang fini égal à

$$\begin{array}{cc}\hfill dim_{\kappa (s)}\phi _{s,}((\pi _{C,s})_{}O_{(\stackrel{𝑒}{C})_s}/O_{C_s})& =dim_{\kappa (s)}(\phi _{}(\pi _{C,}O_{\stackrel{𝑒}{C}}/O_C))_s\hfill \\ & =dim_{\kappa (\eta )}(\phi _{}(\pi _{C,}O_{\stackrel{𝑒}{C}}/O_C))_\eta \hfill \\ & =dim_{\kappa (\eta )}\phi _{\eta ,}((\pi _{C,\eta })_{}O_{(\stackrel{𝑒}{C})_\eta }/O_{C_\eta })=\delta (C_\eta ),\hfill \end{array}$$

le morphisme $`\stackrel{𝑒}{\phi }`$ est plat, sa fibre spéciale $`(\stackrel{𝑒}{C})_s`$ est intègre, $`\rho `$ est le morphisme de normalisation de $`(\stackrel{𝑒}{C})_s`$ et on a bien

$$\delta (C_s)=\delta ((\stackrel{𝑒}{C})_s)+dim_k\phi _{s,}((\pi _{C,s})_{}O_{(\stackrel{𝑒}{C})_s}/O_{C_s})=\delta ((\stackrel{𝑒}{C})_s)+\delta (C_\eta ).$$

$`\mathrm{}`$

Preuve de la proposition $`\mathrm{3.3.2}`$  : La semi-continuité de la fonction $`t\delta (C_t)`$ dans le cas général résulte de sa constructibilité laissée au lecteur (voir la preuve du lemme $`\mathrm{3.3.1}`$) et du cas déjà traité où $`S`$ est un trait.

Si $`\stackrel{𝑒}{\phi }`$ est lisse, il résulte du lemme $`\mathrm{3.3.3}`$ que

$$\delta (C_s)\delta (C_\eta )=\delta ((\stackrel{𝑒}{C})_s)=0$$

dans le cas où $`S`$ est un trait. On en déduit immédiatement que la fonction $`t\delta (C_t)`$ est constante pour $`S`$ arbitraire.

Inversement, supposons que $`t\delta (C_t)`$ est constante de valeur $`\delta `$ et fixons un diviseur effectif $`D^{}S`$ comme dans le lemme $`\mathrm{3.3.1}`$. Le $`O_S`$-Module $`\phi _{}(O_C(D^{})/O_C)`$ est localement libre de rang fini $`d\delta `$. Soit $`GS`$ la grassmannienne des quotients localement libres de rang $`d\delta `$ de ce $`O_S`$-Module. On définit une section ensembliste $`\sigma :SG`$ de $`G`$ sur $`S`$ en envoyant le point $`t`$ sur le conoyau de l’inclusion

$$\mathrm{\Gamma }(C_t,\pi _{C_t,}O_{\stackrel{𝑒}{C_t}}/O_{C_t})\mathrm{\Gamma }(C_t,O_{C_t}(D_t^{})/O_{C_t})$$

(on a $`O_{C_t}(D_t^{})\pi _{C_t,}O_{\stackrel{𝑒}{C_t}}a_t\pi _{C_t,}O_{\stackrel{𝑒}{C_t}}O_{C_t}`$ et donc $`\pi _{C_t,}O_{\stackrel{𝑒}{C_t}}O_{C_t}(D_t^{})`$).

Soit $`ZG`$ l’ensemble des points $`\sigma (t)`$ pour $`t`$ parcourant $`S`$. On vérifie par induction nœthérienne (comme dans la preuve du lemme $`\mathrm{3.3.1}`$) que l’ensemble $`Z`$ est constructible. On vérifie aussi que les constructions de $`F`$, $`G`$ et $`Z`$ commutent aux changements de bases $`S^{}S`$. On vérifie enfin, à l’aide du lemme $`\mathrm{3.3.3}`$, que dans le cas où $`S`$ est un trait, $`Z`$ est l’image ensembliste d’une section algébrique de $`G`$ sur $`S`$.

On déduit de ces propriétés que $`Z`$ est l’ensemble des points d’un fermé réduit de $`G`$, noté encore $`Z`$, et que la restriction de la projection canonique $`GS`$ à ce fermé est un homéomorphisme de $`Z`$ sur $`S`$.

Supposons de plus que $`S`$ soit normal. Cet homéomorphisme est alors nécessairement un isomorphisme et $`\sigma `$ est en fait une section algébrique de $`GS`$. En d’autres termes, les espaces vectoriels $`\mathrm{\Gamma }(C_t,\pi _{C_t,}O_{\stackrel{𝑒}{C_t}}/O_{C_t})`$ pour $`tS`$ sont les fibres fibré vectoriel $`E`$ de rang $`\delta `$ sur $`S`$ qui est un sous-$`O_S`$-Module localement facteur direct de $`\phi _{}(O_C(D^{})/O_C)`$.

Considérons maintenant le $`O_C`$-Module cohérent

$$M=(O_CO_C(D^{}))/O_C$$

$`O_C`$ est plongé diagonalement dans $`O_CO_C(D^{})`$. On a d’une part une suite exacte évidente

$$0O_CMO_C(D^{})/O_C0.$$

On a d’autre part le plongement

$$MO_C(D^{}),(ff^{})+O_Cff^{},$$

que l’on peut composer avec le plongement canonique de $`O_C(D^{})`$ dans l’Anneau total des fractions $`K_C`$ de $`O_C`$.

Notons $`FM`$ l’image réciproque de $`E`$ par la surjection $`MO_C(D^{})/O_C`$. On peut voir $`FM`$ comme un sous-$`O_C`$-Module de $`K_C`$. Comme $`O_{C_t}(D_t^{})a_t`$, on vérifie facilement que la restriction de $`F`$ à $`C_t`$ est une sous-$`O_{C_t}`$-Algèbre de l’Anneau total des fractions $`K_{C_t}`$ de $`O_{C_t}`$ quel que soit $`tS`$. Il s’en suit que $`F`$ est une sous-$`O_C`$-Algèbre de $`K_C`$, et donc que

$$O_CF\pi _{C,}O_{\stackrel{𝑒}{C}}K_C$$

puisque $`\pi _{C,}O_{\stackrel{𝑒}{C}}`$ est la clôture intégrale de $`O_C`$ dans $`K_C`$ et que $`F`$ est évidemment un $`O_C`$-Module cohérent.

Comme on l’a vu au cours de la preuve du lemme $`\mathrm{3.3.3}`$, pour chaque $`tS`$, on a les inclusions

$$O_{C_t}(\pi _{C,t})_{}O_{(\stackrel{𝑒}{C})_t}\pi _{C_t,}O_{\stackrel{𝑒}{C_t}}K_{C_t}$$

et donc $`(\pi _{C,t})_{}O_{(\stackrel{𝑒}{C})_t}`$ est contenu dans la restriction de $`F`$ à $`C_t`$. Il s’en suit que $`\pi _{C,}O_{\stackrel{𝑒}{C}}FK_C`$ et donc que $`F=\pi _{C,}O_{\stackrel{𝑒}{C}}`$.

Comme $`O_C`$ et $`O_C(D^{})/O_C`$ sont $`S`$-plats, il en est de même de $`M`$. De plus, comme $`E`$ est aussi $`S`$-plat, il en est de même de $`F=\pi _{C,}O_{\stackrel{𝑒}{C}}`$. On a donc bien montré que $`\stackrel{𝑒}{\phi }`$ est plat et qu’en outre

$$(\stackrel{𝑒}{C})_t=\stackrel{𝑒}{C_t}$$

pour tout $`tS`$. $`\mathrm{}`$

COROLLAIRE 3.3.4 . — Les points $`tS`$ pour lesquels $`\delta (C_t)=\delta (C_s)`$ sont les points points d’un fermé réduit $`S^\delta S`$, la strate à $`\delta `$-constant.

La courbe plate relative $`C_{\stackrel{𝑒}{S^\delta }}=\stackrel{𝑒}{S^\delta }\times _SC\stackrel{𝑒}{S^\delta }`$ déduite de $`\phi :CS`$ par le changement de base par le morphisme

$$\stackrel{𝑒}{S^\delta }S^\delta S,$$

composé du morphisme de normalisation $`\pi _{S^\delta }`$ de $`S^\delta `$ et de l’inclusion de $`S^\delta `$ dans $`S`$, admet une normalisation en famille $`\pi _{C_{\stackrel{𝑒}{S^\delta }}}:\stackrel{𝑒}{C_{\stackrel{𝑒}{S^\delta }}}C_{\stackrel{𝑒}{S^\delta }}`$. $`\mathrm{}`$

3.4. La strate à $`\delta `$ constant

Soit $`A=k[[x,y]]/(f)`$ l’anneau formel d’un germe de courbe plane à singularité isolée (le $`k`$-espace vectoriel $`k[[x,y]]/(f,_xf,_yf)`$ est donc supposé de dimension finie).

On note $`K`$ l’anneau total des fractions de $`A`$ et $`\stackrel{𝑒}{A}K`$ la normalisation de $`A`$ dans $`K`$. On peut décomposer $`K`$ en un produit fini de corps $`K=_{iI}K_i`$ et $`\stackrel{𝑒}{A}`$ en le produit correspondant d’anneaux intègres $`\stackrel{𝑒}{A}=_{iI}\stackrel{𝑒}{A}_i`$. On pose $`\delta (A)=dim_k(\stackrel{𝑒}{A}/A)`$.

On fixe dans la suite une uniformisante $`t_i`$ de $`\stackrel{𝑒}{A}_i`$ pour chaque $`iI`$, de sorte que $`\stackrel{𝑒}{A}_i=k[[t_i]]`$. Le plongement $`A\stackrel{𝑒}{A}`$ est donné par une famille de couples $`(x_i(t_i),y_i(t_i))k[[t_i]]^2`$ indexée par $`iI`$.

On rappelle (cf. \[A-K 1\], Chapter 8) que:

\- le module dualisant $`\omega _A`$ est le $`A`$-module libre de rang $`1`$ défini par

$$\omega _A=Ext_{k[[x,y]]}^1(A,\omega _{k[[x,y]]})$$

$`\omega _{k[[x,y]]}=\mathrm{\Omega }_{k[[x,y]]/k}^2`$ est un $`k[[x,y]]`$-module libre de rang $`1`$,

\- pour tout $`A`$-module $`M`$ et tout entier $`i`$, on a un isomorphisme canonique de $`A`$-modules

$$Ext_A^i(M,\omega _A)Ext_{k[[x,y]]}^{i+1}(M,\omega _{k[[x,y]]})$$

$`M`$ est vu comme un $`k[[x,y]]`$-module via l’épimorphisme canonique $`k[[x,y]]A`$,

\- le module dualisant $`\omega _A`$ est donné concrètement par

$$\omega _A=A\frac{\mathrm{d}x\mathrm{d}y}{\mathrm{d}f}=A\frac{\mathrm{d}x}{_yf}=A\left(\frac{\mathrm{d}y}{_xf}\right)\mathrm{\Omega }_{K/k}^1,$$

et aussi par

$$\omega _A=\{\alpha \mathrm{\Omega }_{K/k}^1Res(A\alpha )=(0)\}$$

$$Res=\underset{iI}{}Res_i:\mathrm{\Omega }_{K/k}^1=\underset{iI}{}\mathrm{\Omega }_{K_i/k}^1k,_{iI}a_i(t_i)\frac{\mathrm{d}t_i}{t_i}\underset{iI}{}a_i(0),$$

est la somme des homomorphismes résidus,

\- on a

$$\omega _{\stackrel{𝑒}{A}}=\mathrm{\Omega }_{\stackrel{𝑒}{A}/k}^1\omega _A$$

et l’accouplement

$$(\stackrel{𝑒}{A}/A)\times (\omega _A/\omega _{\stackrel{𝑒}{A}})k,(\stackrel{𝑒}{a}+A,\alpha +\omega _{\stackrel{𝑒}{A}})Res(\stackrel{𝑒}{a}\alpha ),$$

est un accouplement parfait entre deux $`k`$-espaces vectoriels de dimension $`\delta (A)`$,

\- le conducteur

$$a=\{aAa\stackrel{𝑒}{A}A\}$$

est aussi le conducteur

$$a=\{aAa\omega _A\omega _{\stackrel{𝑒}{A}}\}.$$

En particulier, on a:

LEMME 3.4.1 . — L’idéal de $`A`$ engendré par les classes de $`_xf`$ et $`_yf`$ modulo $`(f)`$ est contenu dans le conducteur $`a`$. $`\mathrm{}`$

On considère maintenant le foncteur de déformations

$$Def_A^{\mathrm{top}}:Art_kEns$$

(cf. 3.1) et on s’intéresse plus particulièrement aux déformations de $`A`$ à $`\delta `$ constant. Pour cela, on va étudier les déformations de l’homomorphisme de $`k`$-algèbres $`A\stackrel{𝑒}{A}`$. On considère donc le foncteur

$$Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}:Art_kEns$$

qui envoie $`RobArt_k`$ sur l’ensemble des classes d’isomorphie d’homomorphismes de $`R`$-algèbres

$$A_R\stackrel{𝑒}{A}_R$$

dont la réduction modulo $`m_R`$ est l’inclusion $`A\stackrel{𝑒}{A}`$, où $`A_R`$ est une déformation plate sur $`R`$ de $`A`$ et $`\stackrel{𝑒}{A}_R`$ est une déformation plate sur $`R`$ de $`\stackrel{𝑒}{A}`$. On a bien sûr un morphisme d’oubli

$$Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}Def_A^{\mathrm{top}}.$$

LEMME 3.4.2 . — Tout homomorphisme de $`R`$-algèbres $`(A_R\stackrel{𝑒}{A}_R)Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}(R)`$ est nécessairement injectif et son conoyau est automatiquement $`R`$-plat.

Preuve  : Notons $`N_R`$, $`I_R`$ et $`C_R`$ les noyau, image et conoyau de l’homomorphisme $`A_R\stackrel{𝑒}{A}_R`$. On a les suites exactes

$$0Tor_1^R(C_R,k)I_R_Rk\stackrel{𝑒}{A}_R_RkC_R_Rk0$$

et

$$0Tor_1^R(I_R,k)N_R_RkA_R_RkI_R_Rk0$$

et l’homomorphisme composé

$$A_R_RkI_R_Rk\stackrel{𝑒}{A}_R_Rk$$

est par hypothèse l’inclusion $`A\stackrel{𝑒}{A}`$; par suite, la surjection $`A_R_RkI_R_Rk`$ est nécessairement un isomorphisme, la flèche $`I_R_Rk\stackrel{𝑒}{A}_R_Rk`$ est injective et $`Tor_1^R(C_R,k)=(0)`$, de sorte que $`C_R`$ est bien $`R`$-plat; mais alors $`I_R`$ est aussi $`R`$-plat puisque $`\stackrel{𝑒}{A}_R`$ l’est, et on a $`N_R_Rk=(0)`$. Il s’en suit que $`N_R=(0)`$ et le lemme est démontré. $`\mathrm{}`$

LEMME 3.4.3 . — Soit $`M`$ un $`A`$-module de type fini sans torsion. On a

$$Ext_A^i(M,A)=(0),i0,$$

et il existe un entier $`n0`$ tel que $`M`$, vu comme $`k[[x,y]]`$-module via l’épimorphisme canonique $`k[[x,y]]A`$, admette une résolution

$$0k[[x,y]]^nk[[x,y]]^nM0.$$

Si on suppose de plus que $`M`$ est de rang générique $`1`$, il existe même un tel entier $`n\delta (A)+1`$.

Preuve  : Comme le $`A`$-module $`\omega _A`$ est libre de rang $`1`$, pour tout $`A`$-module $`M`$ on a

$$Ext_A^i(M,A)Ext_A^i(M,\omega _A)Ext_{k[[x,y]]}^{i+1}(M,\omega _{k[[x,y]]})$$

et, comme la $`k`$-algèbre $`k[[x,y]]`$ est régulière de dimension $`2`$, il s’en suit que

$$Ext_A^i(M,A)=(0)$$

quel que soit $`i0,1`$. Si $`M`$ est sans torsion, on a de plus la suite exacte

$$Ext_A^1(K_AM,A)Ext_A^1(M,A)Ext_A^2(K_AM/M,A)$$

$$Ext_A^1(K_AM,A)Ext_K^1(K_AM,K)=(0)$$

et $`Ext_A^2(K_AM/M,A)=(0)`$, et donc on a aussi $`Ext_A^1(M,A)=(0)`$ et a fortiori

$$Ext_{k[[x,y]]}^2(M,k[[x,y]])Ext_{k[[x,y]]}^2(M,\omega _{k[[x,y]]})=(0).$$

Par suite, si $`M`$ est de type fini et sans torsion, le noyau de tout épimorphisme de $`k[[x,y]]`$-modules $`k[[x,y]]^nM`$ est nécessairement libre de rang fini et donc non canoniquement isomorphe à $`k[[x,y]]^n`$ puisqu’en tant que $`k[[x,y]]`$-module, $`M`$ est de rang générique $`0`$.

Montrons enfin que, si $`M`$ un $`A`$-module de type fini, sans torsion et de rang générique $`1`$, $`M`$ peut être engendré par $`\delta (A)+1`$ éléments. Comme $`\stackrel{𝑒}{A}_AM`$ est un $`\stackrel{𝑒}{A}`$-module libre de rang $`1`$ et que l’homomorphisme canonique $`M\stackrel{𝑒}{A}_AM`$ est injectif, on peut supposer $`M\stackrel{𝑒}{A}`$ et que $`\stackrel{𝑒}{A}M=\stackrel{𝑒}{A}`$. Mais alors, $`M`$ contient au moins un élément inversible $`m`$ de $`\stackrel{𝑒}{A}`$ et, à isomorphisme près, on peut supposer que $`m=1`$, c’est-à-dire que

$$AM\stackrel{𝑒}{A}.$$

Sous ces conditions, on a $`dim_k(M/A)\delta (A)`$ et on conclut en remarquant que $`M`$ est engendré sur $`A`$ par $`\{1,m_1,\mathrm{},m_n\}`$$`\{m_1,\mathrm{},m_n\}M`$ représente une base de $`M/A`$ sur $`k`$. $`\mathrm{}`$

Considérons maintenant les foncteurs

$$Def_{k[[x,y]]A}^{\mathrm{top}},Def_{k[[x,y]]\stackrel{𝑒}{A}}^{\mathrm{top}}:Art_kEns$$

qui envoie $`RobArt_k`$ sur l’ensemble des classes d’isomorphie d’homomorphismes de $`R`$-algèbres

$$R[[x,y]]A_R\text{ et }R[[x,y]]\stackrel{𝑒}{A}_R$$

dont les réductions modulo $`m_R`$ sont l’épimorphisme canonique $`k[[x,y]]A`$ et l’homomorphisme composé $`k[[x,y]]A\stackrel{𝑒}{A}`$, où bien entendu $`A_R`$ et $`\stackrel{𝑒}{A}_R`$ sont des déformations plates sur $`R`$ de $`A`$ et $`\stackrel{𝑒}{A}`$ respectivement. On remarque que $`R[[x,y]]A_R`$ est automatiquement un épimorphisme d’après le lemme de Nakayama. On a les morphismes de foncteurs évidents

$$\begin{array}{ccc}& & Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}\\ & & \\ Def_{k[[x,y]]A}^{\mathrm{top}}& & Def_A^{\mathrm{top}}\end{array}$$

et on pose

$$Def_{k[[x,y]]A\stackrel{𝑒}{A}}^{\mathrm{top}}=Def_{k[[x,y]]A}^{\mathrm{top}}\times _{Def_A^{\mathrm{top}}}Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}.$$

Le foncteur $`Def_A^{\mathrm{top}}`$, le morphisme de foncteurs $`Def_{k[[x,y]]A}^{\mathrm{top}}Def_A^{\mathrm{top}}`$ et donc aussi le foncteur $`Def_{k[[x,y]]A}^{\mathrm{top}}`$, sont formellement lisses.

THÉORÈME 3.4.4 . — Le morphisme de composition $`Def_{k[[x,y]]A\stackrel{𝑒}{A}}^{\mathrm{top}}Def_{k[[x,y]]\stackrel{𝑒}{A}}^{\mathrm{top}}`$ est un isomorphisme.

Preuve  : Nous allons expliciter un inverse pour ce morphisme de composition. Suivant une suggestion de J.-B. Bost, nous utiliserons pour cela un cas très simple de la construction $``$$`Div`$$``$ de Mumford (cf. \[M-F\] Chapter 5, §3).

Soit $`R[[x,y]]\stackrel{𝑒}{A}_R`$ une déformation de $`k[[x,y]]\stackrel{𝑒}{A}`$. On voit $`\stackrel{𝑒}{A}`$ et $`\stackrel{𝑒}{A}_R`$ comme des modules sur $`k[[x,y]]`$ et $`R[[x,y]]`$ à l’aide de ces homomorphismes. Fixons arbitrairement une résolution

$$0k[[x,y]]^n\stackrel{F}{}k[[x,y]]^n\stackrel{𝑒}{A}0$$

de $`\stackrel{𝑒}{A}`$ en tant que $`k[[x,y]]`$-module (il en existe d’après le lemme précédent). Si $`F^{}`$ est la matrice des co-facteurs de $`F`$, on a $`F^{}F=FF^{}=detF`$ et $`detF`$ annule $`\stackrel{𝑒}{A}`$. Inversement si une fonction $`gk[[x,y]]`$ annule $`\stackrel{𝑒}{A}`$, c’est-à-dire est telle que $`gk[[x,y]]^nFk[[x,y]]^n`$, il existe une matrice carrée $`G`$ de taille $`n\times n`$ à coefficient dans $`k[[x,y]]^n`$ telle que $`g=FG`$ et $`g^n=detFdetG`$. Comme $`k[[x,y]]`$ est réduit, il s’en suit que $`detF`$ et $`f`$ engendre le même idéal de $`k[[x,y]]`$ et que l’on peut demander de plus que $`detF=f`$.

Comme $`\stackrel{𝑒}{A}_R`$ est plat sur $`R`$, on peut relever la résolution ci-dessus en une résolution

$$0R[[x,y]]^n\stackrel{F_R}{}R[[x,y]]^n\stackrel{𝑒}{A}_R0.$$

En considérant la matrice des co-facteurs de $`F_R`$, on montre comme ci-dessus que $`f_R=detF_R`$ dans le noyau de l’homomorphisme $`R[[x,y]]\stackrel{𝑒}{A}_R`$, ou ce qui revient au même que l’on a une factorisation

$$R[[x,y]]R[[x,y]]/(f_R)\stackrel{𝑒}{A}_R$$

qui relève la factorisation $`k[[x,y]]A\stackrel{𝑒}{A}`$. Alors, $`A_R:=R[[x,y]]/(f_R)`$ est un relèvement plat sur $`R`$ de $`A`$ et la flèche $`A_R\stackrel{𝑒}{A}_R`$ est nécessairement injective (à conoyau $`R`$-plat) d’après le lemme 3.4.2. La factorisation $`R[[x,y]]A_R\stackrel{𝑒}{A}_R`$ est donc la factorisation canonique par l’image et la construction de Mumford produit bien un inverse au morphisme de foncteurs $`Def_{k[[x,y]]A\stackrel{𝑒}{A}}^{\mathrm{top}}Def_{k[[x,y]]\stackrel{𝑒}{A}}^{\mathrm{top}}`$. $`\mathrm{}`$

Si $`J`$ est un idéal de carré nul dans $`RobArt_k`$ et si $`\overline{R}=R/J`$, il n’y a pas d’obstruction à relever un homomorphisme de $`\overline{R}`$-algèbres $`\overline{R}[[x,y]]\stackrel{𝑒}{A}_{\overline{R}}`$ en un homomorphisme de $`\overline{R}`$-algèbres $`R[[x,y]]\stackrel{𝑒}{A}_R`$. En particulier, le foncteur $`Def_{k[[x,y]]\stackrel{𝑒}{A}}^{\mathrm{top}}`$ est formellement lisse et son espace tangent est le $`k`$-espace vectoriel $`\stackrel{𝑒}{A}\stackrel{𝑒}{A}`$. Le théorème admet donc le corollaire suivant:

COROLLAIRE 3.4.5 . — Le foncteur $`Def_{k[[x,y]]A\stackrel{𝑒}{A}}^{\mathrm{top}}`$, et donc aussi le foncteur $`Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}`$, est formellement lisse.

$`\mathrm{}`$

Remarque $`\mathrm{3.4.6}`$  : En évaluant l’isomorphisme du théorème sur $`R=k[\epsilon ]`$ avec $`\epsilon ^2=0`$, on trouve que, pour tout $`(\dot{x}(t_i),\dot{y}(t_i))_{iI}_{iI}(k[[t_i]]\times k[[t_i]])=\stackrel{𝑒}{A}\stackrel{𝑒}{A}`$, il existe $`\dot{f}(x,y)k[[x,y]]`$ tel que

$$(f+\epsilon \dot{f})(x(t_i)+\epsilon \dot{x}(t_i),y(t_i)+\epsilon \dot{y}(t_i))0,iI,$$

c’est-à-dire tel que

$$\dot{f}(x(t_i),y(t_i))+_xf(x(t_i),y(t_i))\dot{x}(t_i)+_yf(x(t_i),y(t_i))\dot{y}(t_i)0,iI,$$

ce qui est une reformulation du lemme 3.4.1. $`\mathrm{}`$

Nous allons maintenant déterminer l’espace tangent au foncteur $`Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}`$. Plus généralement étudions le problème de relèvement d’une déformation $`A_{\overline{R}}\stackrel{𝑒}{A}_{\overline{R}}`$ de $`A\stackrel{𝑒}{A}`$ sur $`\overline{R}=R/J`$, où $`J`$ est un idéal de carré nul dans $`R`$, en une déformation $`A_R\stackrel{𝑒}{A}_R`$ de $`A\stackrel{𝑒}{A}`$ sur $`R`$.

Commençons par fixer un relèvement $`R`$-plat $`\stackrel{𝑒}{A}_R`$ de $`\stackrel{𝑒}{A}_{\overline{R}}`$ sur $`R`$. On a donc un diagramme

$$\begin{array}{ccc}R& & \overline{R}\\ & & \text{}\\ & & A_{\overline{R}}\\ & & \\ \stackrel{𝑒}{A}_R& & \stackrel{𝑒}{A}_{\overline{R}}\end{array}$$

que l’on cherche à compléter en un diagramme

$$\begin{array}{ccc}R& & \overline{R}\\ & & \\ A_R& & A_{\overline{R}}\\ & & \\ \stackrel{𝑒}{A}_R& & \stackrel{𝑒}{A}_{\overline{R}}\end{array}$$

$`A_R`$ est une déformation plate de $`A_{\overline{R}}`$ sur $`R`$. D’après Illusie (\[Il\] Chapitre III, §2.3), ce problème de relèvement est contrôlé par un complexe $`T`$ qui s’insère dans un triangle distingué

$$TRHom_{A_{\overline{R}}}(L_{A_{\overline{R}}/\overline{R}},J_{\overline{R}}A_{\overline{R}})RHom_{\stackrel{𝑒}{A}_{\overline{R}}}(\stackrel{𝑒}{A}_{\overline{R}}_{A_{\overline{R}}}L_{A_{\overline{R}}/\overline{R}},J_{\overline{R}}\stackrel{𝑒}{A}_{\overline{R}})$$

$`L_{A_{\overline{R}}/\overline{R}}`$ est le complexe cotangent de la $`\overline{R}`$-algèbre $`A_{\overline{R}}`$. Plus précisément, il y a une obstruction à relever dans $`H^2(T)`$ et, si cette obstruction est nulle, l’ensemble des classes d’isomorphie de relèvements est un torseur sous $`H^1(T)`$ et le groupe des automorphismes d’un relèvement donné s’identifie canoniquement à $`H^0(T)`$. Comme la déformation plate $`A_{\overline{R}}`$ de $`A`$ sur $`\overline{R}`$ est nécessairement de la forme $`A_{\overline{R}}=\overline{R}[[x,y]]/(f_{\overline{R}})`$ pour $`f_{\overline{R}}\overline{R}[[x,y]]`$, le complexe cotangent

$$L_{A_{\overline{R}}/\overline{R}}=[A_{\overline{R}}A_{\overline{R}}\mathrm{d}xA_{\overline{R}}\mathrm{d}y]$$

est concentré en degrés $`[1,0]`$ et son unique différentielle non triviale envoie $`1`$ sur $`df_{\overline{R}}=(_xf_{\overline{R}})\mathrm{d}x(_yf_{\overline{R}})\mathrm{d}y`$. Comme de plus la flèche $`A_{\overline{R}}\stackrel{𝑒}{A}_{\overline{R}}`$ est nécessairement injective à conoyau $`\overline{R}`$-plat d’après le lemme 3.4.2, le complexe

$$T=[J_{\overline{R}}(\stackrel{𝑒}{A}_{\overline{R}}/A_{\overline{R}})_xJ_{\overline{R}}(\stackrel{𝑒}{A}_{\overline{R}}/A_{\overline{R}})_yJ_{\overline{R}}(\stackrel{𝑒}{A}_{\overline{R}}/A_{\overline{R}})]$$

est concentré en degrés $`[1,2]`$ et son unique différentielle envoie $`\stackrel{𝑒}{a}_x\stackrel{𝑒}{b}_y`$ sur $`\stackrel{𝑒}{a}_xf_{\overline{R}}+\stackrel{𝑒}{b}_yf_{\overline{R}}`$. On a donc $`H^0(T)=(0)`$ et la suite exacte

$$0H^1(T)J_{\overline{R}}(\stackrel{𝑒}{A}_{\overline{R}}/A_{\overline{R}})_xJ_{\overline{R}}(\stackrel{𝑒}{A}_{\overline{R}}/A_{\overline{R}})_yJ_{\overline{R}}(\stackrel{𝑒}{A}_{\overline{R}}/A_{\overline{R}})H^2(T)0.$$

L’obstruction au relèvement se calcule comme suit. On se donne des relèvements arbitraires $`f_RR[[x,y]]`$ de $`f_{\overline{R}}`$ et $`R[[x,y]]\stackrel{𝑒}{A}_R`$ de l’homomorphisme de $`\overline{R}`$-algèbres composé $`\overline{R}[[x,y]]A_{\overline{R}}\stackrel{𝑒}{A}_{\overline{R}}`$. Alors l’image de $`f_R`$ par l’homomorphisme de $`R`$-algèbres $`R[[x,y]]\stackrel{𝑒}{A}_R`$ est dans $`J\stackrel{𝑒}{A}_R\stackrel{𝑒}{A}_R`$. L’obstruction cherchée est l’image de l’élément ainsi construit de $`J\stackrel{𝑒}{A}_R`$ par l’épimorphisme composé

$$J\stackrel{𝑒}{A}_RJ_{\overline{R}}\stackrel{𝑒}{A}_{\overline{R}}J_{\overline{R}}(\stackrel{𝑒}{A}_{\overline{R}}/A_{\overline{R}})H^2(T).$$

Bien entendu, cette obstruction ne dépend pas des choix faits et elle est nulle d’après le corollaire 3.4.5.

En particulier, l’espace tangent relatif au morphisme de foncteurs $`Def_{\stackrel{𝑒}{A}}^{\mathrm{top}}Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}`$ est le noyau de l’application $`k`$-linéaire

$$(\stackrel{𝑒}{A}/A)_x(\stackrel{𝑒}{A}/A)_y(\stackrel{𝑒}{A}/A),\stackrel{𝑒}{a}_x\stackrel{𝑒}{b}_y\stackrel{𝑒}{a}_xf+\stackrel{𝑒}{b}_yf,$$

application qui est identiquement nulle d’après le lemme 3.4.1. Cet espace tangent est donc égal au $`k`$-espace vectoriel $`(\stackrel{𝑒}{A}/A)_x(\stackrel{𝑒}{A}/A)_y`$ de dimension $`2\delta (A)`$.

Comme $`\stackrel{𝑒}{A}=_{iI}k[[t_i]]`$, le foncteur $`Def_{\stackrel{𝑒}{A}}^{\mathrm{top}}`$ est trivial. Plus précisément, toute déformation plate de $`\stackrel{𝑒}{A}`$ sur $`RobArt_k`$ est isomorphe à $`_{iI}R[[t_i]]`$ et, en termes de relèvements, pour tout idéal $`J`$ de carré nul dans $`R`$ et pour $`\overline{R}=R/J`$, il n’y a pas d’obstruction à relever $`\stackrel{𝑒}{A}_{\overline{R}}=_{iI}\overline{R}[[t_i]]`$ à $`R`$, il n’y a qu’une seule classe d’isomorphie de tels relèvements, à savoir celle de $`\stackrel{𝑒}{A}_R=_{iI}R[[t_i]]`$, et le groupe des automorphismes d’un relèvement arbitraire dans cette classe est le groupe

$$Hom_{\stackrel{𝑒}{A}_{\overline{R}}}(\mathrm{\Omega }_{\stackrel{𝑒}{A}_{\overline{R}}/\overline{R}}^1,J_{\overline{R}}\stackrel{𝑒}{A}_{\overline{R}})=\underset{iI}{}(J_{\overline{R}}\overline{R}[[t_i]])_{t_i}.$$

On a donc montré:

PROPOSITION 3.4.7 . — Soient $`RobArt_k`$, $`JR`$ un idéal de carré nul et $`\overline{R}=R/J`$.

(i)Tout objet $`A_R\stackrel{𝑒}{A}_R`$ de $`Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}(R)`$ est de la forme

$$R[[x,y]]/(f_R)\underset{iI}{}R[[t_i]],x(x_{R,i}(t_i))_{iI},y(y_{R,i}(t_i))_{iI},$$

pour des séries $`f_RR[[x,y]]`$ et $`x_{R,i}(t_i),y_{R,i}(t_i)R[[t_i]]`$, qui relèvent les séries $`f`$ et $`x_i(t),y_i(t)`$, et qui vérifient bien sûr

$$f_R(x_{R,i}(t_i),y_{R,i}(t_i))0,iI.$$

(ii)Soit $`(A_{\overline{R}}\stackrel{𝑒}{A}_{\overline{R}})Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}(\overline{R})`$ isomorphe à

$$\overline{R}[[x,y]]/(f_{\overline{R}})\underset{iI}{}\overline{R}[[t_i]],x(x_{\overline{R},i}(t_i))_{iI},y(y_{\overline{R},i}(t_i))_{iI}.$$

Il n’y a pas d’obstruction à relever cet objet à $`R`$, l’ensemble des classes d’isomorphie des relèvements est le conoyau de la flèche

$$\underset{iI}{}(J_{\overline{R}}\overline{R}[[t_i]])_{t_i}Ker(J_{\overline{R}}(\stackrel{𝑒}{A}_{\overline{R}}/A_{\overline{R}})_xJ_{\overline{R}}(\stackrel{𝑒}{A}_{\overline{R}}/A_{\overline{R}})_yJ_{\overline{R}}(\stackrel{𝑒}{A}_{\overline{R}}/A_{\overline{R}}))$$

qui envoie $`_{iI}a_i(t_i)_{t_i}`$ sur

$$\left((a_i(t_i)(_{t_i}x_{\overline{R},i})(t_i))_{iI}+J_{\overline{R}}A_{\overline{R}}\right)_x\left((a_i(t_i)(_{t_i}y_{\overline{R},i})(t_i))_{iI}+J_{\overline{R}}A_{\overline{R}}\right)_y$$

et que le groupe des automorphismes d’un relèvement arbitraire dans cette classe est son noyau. $`\mathrm{}`$

COROLLAIRE 3.4.8 . — L’espace tangent au foncteur formellement lisse $`Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}`$ est le conoyau de l’application $`k`$-linéaire

$$\underset{iI}{}k[[t_i]]_{t_i}(\stackrel{𝑒}{A}/A)_x(\stackrel{𝑒}{A}/A)_y$$

qui envoie $`_{iI}a_i(t_i)_{t_i}`$ sur

$$\left((a_i(t_i)(_{t_i}x_i)(t_i))_{iI}+A\right)_x\left((a_i(t_i)(_{t_i}y_i)(t_i))_{iI}+A\right)_y.$$

De plus, l’application tangente au morphisme de foncteur $`Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}Def_A^{\mathrm{top}}`$ est induite par l’application $`k`$-linéaire

$$(\stackrel{𝑒}{A}/A)_x(\stackrel{𝑒}{A}/A)_yA/(_xf,_yf)$$

qui envoie la classe d’un élément $`\stackrel{𝑒}{a}_x\stackrel{𝑒}{b}_y\stackrel{𝑒}{A}_x\stackrel{𝑒}{A}_y`$ sur la classe de l’élément $`(\stackrel{𝑒}{a}_xf+\stackrel{𝑒}{b}_yf)A\stackrel{𝑒}{A}`$.

$`\mathrm{}`$

L’énoncé suivant est dû à Diaz et Harris Il devrait être vérifié pour $`k`$ de caractéristique arbitraire. Faute de référence nous nous limiterons à la caractéristique nulle.

THÉORÈME 3.4.9 (Diaz et Harris, \[D-H\] Proposition (4.17) et Theorem (4.15)) . — Supposons de plus que $`k`$ est de caractéristique nulle. Alors, le morphisme de $`k`$-schémas formels $`Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}Def_A^{\mathrm{top}}`$ est fini, son image schématique

$$Def_A^{\mathrm{top},\delta }Def_A^{\mathrm{top}}$$

est une fermé intègre de codimension $`\delta (A)`$ et le morphisme canonique $`Def_{A\stackrel{𝑒}{A}}^{\mathrm{top}}Def_A^{\mathrm{top},\delta }`$ est le morphisme de normalisation.

De plus, le cône tangent de $`Def_A^{\mathrm{top},\delta }`$ est le sous-$`k`$-espace vectoriel

$$V(A)=a/(_xf,_yf)A/(_xf,_yf)=Def_A^{\mathrm{top}}(k[\epsilon ])$$

de l’espace tangent de $`Def_A^{\mathrm{top}}`$, où $`aA`$ est le conducteur du normalisé $`\stackrel{𝑒}{A}`$ de $`A`$ dans $`A`$ (cf. Lemme $`\mathrm{3.4.1}`$). $`\mathrm{}`$

Soient maintenant $`C_k`$ une courbe projective, intègre et à singularités planes isolées sur $`k`$, et $`\phi :CS`$ une algébrisation d’une déformation formelle miniverselle de $`C_k`$ comme dans la section $`3.2`$. Toutes les fibres de $`\phi `$ sont géométriquement intègre et le lieu singulier $`_{tS}C_t^{\mathrm{sing}}`$ est fini sur $`S`$. On peut donc appliquer le corollaire $`\mathrm{3.3.4}`$ à cette courbe et on obtient la strate à $`\delta `$ contant

$$S^\delta S.$$

Pour chaque point singulier $`c`$ de $`C_k`$, on peut aussi considérer une déformation miniverselle $`C_c=Spf(A_c)S_c=Spf(R_c)`$ de $`C_{c,s}=Spf(\stackrel{𝑏}{O}_{C_k,c})`$. Il résulte du théorème 3.1.3 que l’on a un morphisme canonique formellement lisse

$$S\underset{cC_k^{\mathrm{sing}}}{}S_c$$

$`S=Spf(O_{S,s})`$ est le complété de $`S`$ en son point fermé $`s`$.

Pour chaque $`cC_k^{\mathrm{sing}}`$, soit

$$S_c^\delta S_c$$

la strate à $`\delta `$ constant.

LEMME 3.4.10 . — Le complété de $`S^\delta `$ au point fermé $`s`$ est le fermé de $`S`$ image réciproque du fermé $`_{cC_k^{\mathrm{sing}}}S_c^\delta `$ de $`_{cC_k^{\mathrm{sing}}}S_c`$ par le morphisme canonique ci-dessus. $`\mathrm{}`$

L’énoncé suivant est une variante globale du théorème 3.4.9. Tout comme ce dernier théorème, il devrait être vérifié pour $`k`$ de caractéristique arbitraire. Faute de référence nous nous limiterons de nouveau à la caractéristique nulle. La dernière assertion est bien connue mais ne semble être démontrée nulle part; elle résulte du théorème (1.3) de \[D-H\] dans le cas où $`C_k`$ est une courbe plane.

THÉORÈME 3.4.11 (Diaz et Harris) . — Supposons de plus que $`k`$ est de caractéristique nulle. Alors, la strate $`S^\delta `$ est irréductible de codimension dans $`S`$ égale à $`\delta (C_k)`$. Le schéma normalisé de $`S^\delta `$ est formellement lisse sur $`k`$.

De plus, le cône tangent à l’origine de $`S^\delta `$ est le sous-$`k`$-espace vectoriel

$$V(C_k)T_sS$$

de l’espace tangent à l’origine $`s`$ de $`S`$ obtenu par image inverse du sous-$`k`$-espace vectoriel

$$\underset{cC_k^{\mathrm{sing}}}{}V(\stackrel{𝑏}{O}_{C_s,c})\underset{cC_k^{\mathrm{sing}}}{}Def_{\stackrel{𝑏}{O}_{C_s,c}}^{\mathrm{top}}(k[\epsilon ])$$

par l’épimorphisme naturel $`T_sS_{cC_k^{\mathrm{sing}}}Def_{\stackrel{𝑏}{O}_{C_s,c}}^{\mathrm{top}}(k[\epsilon ])`$.

En outre, la fibre de $`CS`$ en tout point géométrique générique de $`S^\delta S`$ est une courbe n’ayant comme seules singularités que $`\delta (C_k)`$ points doubles ordinaires. $`\mathrm{}`$

4. $``$DÉFORMATIONS$``$ DES FIBRES DE SPRINGER

4.1. Retour aux fibres de Springer

Revenons à la situation de la première partie. On rappelle (cf. §2.1) qu’on a introduit une courbe intègre, projective $`C=C_I`$ sur $`k`$ qui n’a qu’un seul point singulier $`c=c_I`$ pour lequel le complété $`\stackrel{𝑏}{O}_{C,c}`$ de l’anneau local de $`C`$ en $`c`$ est isomorphe à

$$A_IO_F[\gamma _I]k[[\varpi _F,T]]/(P_I(T)).$$

Par hypothèse de séparabilité de $`P_I(T)`$, on sait que l’idéal

$$(_TP_I(T),P_I(T))k[[\varpi _F]][T]$$

est de codimension finie. Il en est donc de même des idéaux

$$(_TP_I(T),P_I(T))\text{ et }(_{\varpi _F}P_I(T),_TP_I(T),P_I(T))k[[\varpi _F,T]].$$

On supposera dans la suite que l’idéal

$$(_{\varpi _F}P_I(T),_TP_I(T))k[[\varpi _F,T]]$$

est lui aussi de codimension finie (comme on l’a déjà dit, cette hypothèse est automatiquement vérifiée si $`k`$ est de caractéristique nulle).

Par construction la courbe $`C`$ est muni d’un point $`\mathrm{}`$ dans son lieu de lissité et la normalisée $`\stackrel{𝑒}{C}`$ de $`C`$ est identifiée à la droite projective $`P_k^1`$ de telle sorte que $`\mathrm{}`$ soit le point à l’infini (cf. la preuve de la proposition $`\mathrm{2.1.1}`$).

LEMME 4.1.1 . — Supposons de plus que $`C`$ n’est pas lisse en $`c`$ et que la caractéristique de $`k`$ est $`>|I|`$. Alors, le $`k`$-schéma en groupes des automorphismes $`(C,\mathrm{})`$ sur $`k`$ est soit fini, soit isomorphe à $`G_{\mathrm{m},k}`$.

Preuve  : Tout automorphisme $`g`$ de $`(C,\mathrm{})`$ induit un automorphisme de $`\stackrel{𝑒}{C}=P_k^1`$ qui fixe le point à l’infini et $`\{\stackrel{𝑒}{c}_iiI\}\stackrel{𝑒}{C}`$ dans son ensemble. Par suite, $`Aut_k(C,\mathrm{})`$ est un sous-$`k`$-schéma en groupes fermé du sous-groupe de Borel des matrices triangulaires supérieures dans $`PGL(2)`$. De plus, la puissance $`g^{|I|!}`$ de $`g`$ fixe chacun des $`\stackrel{𝑒}{c}_i`$. Par suite, si $`|I|2`$, $`g^{|I|!}`$ est nécessairement l’identité et $`Aut_k(C,\mathrm{})`$ est un $`k`$-schéma en groupes fini d’ordre premier à la caractéristique de $`k`$, et si $`|I|=1`$, $`Aut_k(C,\mathrm{})`$ est un sous-$`k`$-schéma en groupes du tore maximal diagonal $`G_\mathrm{m}PGL(2)`$ $`\mathrm{}`$

On s’intéresse de nouveau à la fibre de Springer $`X=X_I`$ et à son quotient $`Z=Z_I`$ par le réseau $`\mathrm{\Lambda }^0=\mathrm{\Lambda }_I^0`$.

On a vu d’une part que $`Z`$ est naturellement homéomorphe au $`k`$-schéma de Picard compactifié $`\overline{P}=\overline{P}_I`$ et que le revêtement $`XZ`$ provient d’un revêtement $`\overline{P}^{\mathrm{}}=\overline{P}_I^{\mathrm{}}\overline{P}`$. On a vu d’autre part comment déformer la courbe $`C`$. On se propose maintenant d’utiliser les déformations de $`C`$ pour déformer $`\overline{P}`$, et aussi d’une certaine manière $`\overline{P}^{\mathrm{}}`$.

On note dorénavant les objets ci-dessus par $`X_s=X_{I,s_I}`$, $`Z_s=Z_{I,s_I}`$, $`\mathrm{\Lambda }_s^0=\mathrm{\Lambda }_{I,s_I}^0`$, $`C_s=C_{I,s_I}`$, $`\mathrm{}_s=\mathrm{}`$, $`P_s=P_{I,s_I}`$, $`\overline{P}_s=\overline{P}_{I,s_I}`$, ..., ce qui libère les notation $`X`$, $`Z`$, $`\mathrm{\Lambda }`$, $`C`$, $`\mathrm{}`$, $`P`$, $`\overline{P}`$, ... que nous allons pouvoir utiliser pour les déformations de ces mêmes objets.

Ainsi, on note simplement $`(C=C_I,\mathrm{}=\mathrm{}_I)S_I=S`$ une algébrisation de la déformation miniverselle (presque universelle compte tenu du lemme 4.1.1) de $`(C_s,\mathrm{}_s)`$ et $`s=s_I`$ est l’unique point fermé de $`S`$. Le schéma $`S`$ est le spectre d’une $`k`$-algèbre de séries formelles en $`\tau (C_s,\mathrm{}_s)`$ variables, où $`\tau (C_s,\mathrm{}_s)`$ est la dimension sur $`k`$ de $`Ext_{C_s}^1(\mathrm{\Omega }_{C_s/k}^1(\mathrm{}_s),O_{C_s})`$. La courbe relative $`C`$ est projective et plate, $`\mathrm{}`$ est une section dans $`C/S`$ à image contenue dans le lieu de lissité et toutes les fibres géométriques $`C_t`$ ($`t`$ un point géométrique de $`S`$) sont intègres et à singularités planes. La fibre générique géométrique de $`CS`$ est lisse (cf. Proposition 3.2.3).

Soient $`P=P_I\overline{P}{}_{I}{}^{}=\overline{P}`$ les schémas de Picard et de Picard compactifié de $`C/S`$. On rappelle que $`\overline{P}`$ paramètre les classes de $`O_C`$-Modules plats sur $`S`$ qui sont fibre à fibre sans torsion et de rang générique $`1`$, et que $`P`$ est l’ouvert de $`\overline{P}`$ formé des classes de Modules inversibles.

Les schémas $`P`$ et $`\overline{P}`$ sont purement de dimension relative $`\delta _I`$ sur $`S`$, réunions disjointes de composantes connexes $`P^d=P_I^d\overline{P}{}_{I}{}^{d}=\overline{P}^d`$, respectivement quasi-projectives et projectives sur $`S`$. Les fibres $`P_t^d`$ et $`\overline{P}_t^d`$ de $`P^dS`$ et $`\overline{P}{}_{}{}^{d}S`$ en tout point géométrique $`t`$ de $`S`$ sont les composantes de degré $`d`$ des schémas de Picard et de Picard compactifié de la fibre $`C_t`$ de $`CS`$ en $`t`$; chaque $`\overline{P}_t^d`$ est intègre et localement d’intersection complète, d’après le théorème de Rego et Altman, Iarrobino et Kleiman (cf. Théorème 2.1.2).

THÉORÈME 4.1.2 (Fantechi, Göttsche et van Straten; \[F-G-S\] Corollary B.2) . — Le schéma $`\overline{P}`$ est régulier (formellement lisse sur $`k`$) et la fibre spéciale $`\overline{P}_s`$ de $`\overline{P}S`$ est localement d’intersection complète dans $`\overline{P}`$.

Pour prouver ce théorème, Fantechi, Göttsche et van Straten considèrent le foncteur des déformations

$$Def_{C_s,M_s}:Art_kEns$$

du couple $`(C_s,M_s)`$$`M_s`$ est un $`O_{C_s}`$-Module cohérent sans torsion de rang générique $`1`$, et sa variante locale

$$Def_{\stackrel{𝑏}{O}_{C_s,c},\stackrel{𝑏}{M}_{s,c}}^{\mathrm{top}}:Art_kEns$$

en l’unique point singulier $`c`$ de $`C_s`$. On a le carré commutatif de morphismes naturels de foncteurs

$$\begin{array}{ccc}Def_{C_s,M_s}& & Def_{\stackrel{𝑏}{O}_{C_s,c},\stackrel{𝑏}{M}_{s,c}}^{\mathrm{top}}\\ & +& \\ Def_{C_s}& & Def_{\stackrel{𝑏}{O}_{C_s,c}}^{\mathrm{top}}\end{array}$$

et il est facile de vérifier :

LEMME 4.1.3 . — Le morphisme de foncteurs

$$Def_{C_s,M_s}Def_{C_s}\times _{Def_{\stackrel{𝑏}{O}_{C_s,c}}^{\mathrm{top}}}Def_{\stackrel{𝑏}{O}_{C_s,c},\stackrel{𝑏}{M}_{s,c}}^{\mathrm{top}}$$

induit par le diagramme ci-dessus est formellement lisse. $`\mathrm{}`$

Le théorème résulte donc de la proposition suivante:

PROPOSITION 4.1.4 . — Soient $`f(x,y)k[[x,y]]`$ tel que l’idéal $`(_xf,_yf)`$ soit de codimension finie dans $`k[[x,y]]`$, $`A=k[[x,y]]/(f)`$ et $`M`$ un $`A`$-module de type fini, sans torsion et de rang générique $`1`$. Alors, le foncteur des déformations $`Def_{A,M}^{\mathrm{top}}`$ est formellement lisse sur $`k`$

Preuve  : D’après le lemme 3.4.3, $`M`$ admet, en tant que $`k[[x,y]]`$-module, une résolution

$$0k[[x,y]]^n\stackrel{F}{}k[[x,y]]^nM0$$

$`n\{1,\mathrm{},\delta (A)+1\}`$ et $`F`$ est une matrice carré de taille $`n\times n`$ à coefficients dans $`k[[x,y]]`$. En raisonnant comme dans la preuve du théorème 3.4.4 avec la matrice des co-facteurs de $`F`$, on peut exiger de plus que le déterminant $`detF`$ est égal à $`f`$.

Toute déformation topologique ($`R`$-plate) $`M_R`$ du $`k[[x,y]]`$-module $`M`$ sur $`RobArt`$ peut-être obtenue en déformant la matrice $`F`$ en une matrice carrée $`F_R`$ de taille $`n\times n`$ à coefficients dans $`R[[x,y]]=R_kk[[x,y]]`$, de telle sorte que $`M_R`$ admette la présentation

$$0R[[x,y]]^n\stackrel{F_R}{}R[[x,y]]^nM_R0.$$

Pour une telle déformation topologique $`M_R`$ de $`M`$ en tant que $`k[[x,y]]`$-module, la $`R`$-algèbre quotient $`A_R=R[[x,y]]/(detF_R)`$ est une déformation topologique de $`A`$ sur $`R`$ et $`M_R`$ est de manière évidente un $`A_R`$-module sans torsion. Si maintenant $`B_R=R[[x,y]]/(g_R)`$ est une autre déformation plate de $`A`$ sur $`R`$ telle que $`g_RM_R=(0)`$, alors on a $`g_R=h_RdetF_R`$$`h_RR[[x,y]]`$ est congru modulo l’idéal maximal de $`R`$ à un élément inversible de $`k[[x,y]]`$ et est donc inversible dans $`R[[x,y]]`$, de sorte que $`B_R=A_R`$.

Si $`Def_F^{\mathrm{top}}:Art_kEns`$ est le foncteur des déformations de la matrice $`F`$ ci-dessus, on a donc construit un morphisme formellement lisse de foncteurs

$$Def_F^{\mathrm{top}}Def_{A,M}^{\mathrm{top}},F_R(R[[x,y]]/(detF_R),Coker(F_R)).$$

Comme le foncteur $`Def_F^{\mathrm{top}}`$ est trivialement formellement lisse sur $`k`$, la proposition s’en suit. $`\mathrm{}`$

Le résultat suivant généralise le théorème 4.1.2.

THÉORÈME 4.1.5 (Fantechi, Göttsche, van Straten; \[F-G-S\] Corollary B.3) . — Soit $`C_TT`$ une courbe relative de base $`TSpec(k[[t_1,\mathrm{},t_m]])`$ qui provient de la courbe universelle $`CS`$ par un changement de base local $`TS`$. Alors, le $`T`$-schéma

$$\overline{P}_T=T\times _S\overline{P}$$

de Picard compactifié de $`C_T/T`$ est régulier (formellement lisse sur $`k`$) si et seulement si l’espace tangent à l’origine de $`T`$ est transverse au sous-espace $`V(C_k)T_sS`$ de l’espace tangent à l’origine de $`S`$ introduit dans le théorème $`\mathrm{3.4.11}`$.

Preuve  : Reprenons les notations de la proposition 4.1.4 et de sa preuve. On a un morphisme d’oubli

$$Def_{A,M}^{\mathrm{top}}Def_A^{\mathrm{top}}$$

et il suffit de démontrer que l’image de l’application tangente à ce morphisme contient le sous-espace $`V(A)`$ de l’espace tangent à $`Def_A^{\mathrm{top}}`$ (cf. 3.4.9).

L’image de cette application tangente est le quotient $`I/(f,_xf,_yf)`$$`Ik[[x,y]]`$ est l’idéal engendrée par les entrées de la matrice $`F^{}`$ des co-facteurs de $`F`$ puisque l’on a

$$det(F+\epsilon E^{ij})=detF+\epsilon F_{ji}^{}$$

quels que soient $`0i,jn`$, où $`E^{ij}`$ est la matrice élémentaire dont l’entrée $`(i,j)`$ est égale à $`1`$ et dont toutes les autres entrées sont nulles.

Or, le $`A`$-module $`M=Coker(F)`$ admet la résolution périodique, de période $`2`$,

$$\mathrm{}\stackrel{F}{}A^n\stackrel{F^{}}{}A^n\stackrel{F}{}A^nM0,$$

et $`M`$ est encore égal à

$$M=Ker(F)=Im(F^{}).$$

Comme on a $`Ext_A^1(N,A)=(0)`$ pour tout $`A`$-module sans torsion $`N`$, le morphisme $`Hom_A(F^{},A)`$ admet la factorisation canonique

$$Hom_A(A^n,A)Hom_A(M,A)Hom_A(A^n,A)$$

et l’image $`I/(f)`$ de $`I`$ dans $`A`$ est égale à l’idéal engendré par les $`\phi (m)`$ pour $`\phi `$ parcourant $`Hom_A(M,A)`$ et $`m`$ parcourant $`M`$.

Mais, à isomorphisme près, on peut supposer que $`AM\stackrel{𝑒}{A}`$ (cf. la preuve du lemme 3.4.3), et alors il est clair que

$$\{\phi (m)\phi Hom_A(M,A),mM\}a,$$

ce qui termine la preuve du théorème. $`\mathrm{}`$

4.2. Application à la pureté dans le cas homogène

Soient $`m>n1`$ premiers entre eux. On suppose que $`m!`$ est inversible dans $`k`$. On considère la fibre de Springer $`X`$ associée à l’extension totalement ramifiée $`FE`$ de degré $`n`$ définie par $`\varpi _F=\varpi _E^n`$ et à l’élément $`\gamma =\varpi _E^m`$, ou encore celle associée à l’extension totalement ramifiée $`FE`$ de degré $`m`$ définie par $`\varpi _F=\varpi _E^m`$ et à l’élément $`\gamma =\varpi _E^n`$. Dans les deux cas, le germe formel de courbe plane correspondant est le même, à savoir $`Spf(A)`$$`A=k[[x,y]]/(x^my^n)`$. Comme ce germe n’a qu’une seule branche, on a $`\mathrm{\Lambda }=Z`$ et $`X=Z=Z^0\times Z`$.

Rappelons que, si $`C_k`$ est n’importe quelle courbe intègre, projective sur $`k`$, de normalisée isomorphe à la droite projective $`P_k^1`$, et qui est munie d’un $`k`$-point $`c`$ en dehors duquel elle est lisse sur $`k`$ et en lequel le germe formel de $`C_k`$ est isomorphe à $`Spf(A)`$, alors le $`k`$-schéma $`Z^0`$ est homéomorphe à la composante $`\overline{\mathrm{Pic}}_{C_k/k}^{\mathrm{\hspace{0.17em}0}}`$ de degré $`0`$ du $`k`$-schéma de Picard compactifié de $`C_k`$.

On peut construire une telle courbe $`C_k`$ de la façon suivante. Soit

$$P_k=Proj(k[X,Y,Z])$$

le plan projectif pondéré où $`degX=n`$, $`degY=m`$ et $`degZ=1`$, et soit $`C_kP_k`$ le fermé défini par l’équation homogène

$$F(X,Y,Z)=X^mY^n=0$$

de degré $`mn`$. L’intersection de $`C_k`$ avec la carte affine $`\{Z0\}=Spec(k[x,y])`$ de $`P_k`$ est la courbe d’équation

$$f=x^my^n=0;$$

elle est donc lisse en dehors de l’origine $`(0,0)`$ et admet le germe formel voulu en $`(0,0)`$. L’intersection de $`C_k`$ avec le diviseur à l’infini $`\{Z=0\}`$ de $`P_k`$ est réduite au point de coordonnées homogènes $`(1;1;0)`$. De plus le germe formel de $`C_k`$ en ce point est isomorphe à celui en $`(x=1,z=0)`$ de la courbe d’équation

$$x^m1=0$$

dans le plan affine $`Spec(k[x,z])`$. (La carte affine $`\{Y0\}`$ de $`P_k`$ est le quotient de ce plan affine par le groupe fini des racines $`m`$-ème de l’unité dans $`k`$ pour l’action définie par $`(\zeta ,(x,z))(\zeta ^nx,\zeta z)`$ et cette action est libre en dehors de l’origine.) Par suite, $`C_k`$ est lisse au point $`(1;1;0)`$. Enfin, la normalisation de $`C_k`$ est donnée par

$$P_k^1C,(T;U)(T^n;T^m;U).$$

L’espace tangent au foncteur des déformations plates du germe formel de courbe $`Spf(k[[x,y]]/(f))`$ est égal à

$$k[[x,y]]/(f,_xf,_yf)=k[[x,y]]/(x^{m1},y^{n1})$$

et est donc de dimension

$$\mu =(m1)(n1).$$

Une déformation miniverselle de $`f`$ est donnée par

$$Spf(k[[\mathrm{},a_{ij},\mathrm{},x,y]]/(\stackrel{𝑒}{f}))$$

où les $`a_{ij}`$ sont des indéterminées sur le corps de base $`k`$ et

$$\stackrel{𝑒}{f}(x,y)=x^my^n+\underset{\genfrac{}{}{0pt}{}{0im2}{0jn2}}{}a_{ij}x^iy^j.$$

Le conducteur $`a`$ de $`A=k[[t^n,t^m]]`$ dans son normalisé $`\stackrel{𝑒}{A}=k[[t]]`$ est égal à $`t^{(m1)(n1)}k[[t]]`$, soit encore à

$$a=\{\underset{i,j0}{}a_{ij}x^iy^jk[[x,y]]a_{ij}=0,i,j\text{ tels que }in+jm<(m1)(n1)\}/(f).$$

En particulier, le quotient

$$V(A)=a/(_xf,_yf)A/(_xf,_yf)=k[[x,y]]/(x^{m1},y^{n1})$$

admet pour base les classes des monômes $`x^iy^j`$ pour lesquels $`0im2`$, $`0jn2`$ et $`in+jm(m1)(n1)`$.

Considérons l’espace affine $`S=Spec(k[\mathrm{},a_{ij},\mathrm{}])`$, son fermé $`TS`$ défini par les équations $`a_{ij}=0,i,j\text{ tels que }in+jm(m1)(n1)`$, le plan projectif pondéré

$$P_T=Proj(O_T[X,Y,Z])$$

$`degX=n`$, $`degY=m`$ et $`degZ=1`$, et la courbe projective et plate relative

$$\begin{array}{ccc}C_T& & P_T\\ \\ & & \\ \\ T& & \end{array}$$

définie par l’équation homogène

$$\stackrel{𝑒}{F}(X,Y,Z)=X^mY^n+\underset{\genfrac{}{}{0pt}{}{\genfrac{}{}{0pt}{}{0im2}{0jn2}}{in+jm<\left(m1\right)\left(n1\right)}}{}a_{ij}X^iY^jZ^{mninjm}=0$$

de degré $`mn`$. Pour chaque $`tT`$, l’intersection de la fibre $`C_t`$ de $`C_TT`$ en $`t`$ avec le diviseur à l’infini $`Z=0`$ du plan projectif pondéré $`P_t`$ est réduite au point $`(1;1;0)`$ et on voit comme ci-dessus que $`C_t`$ est lisse en ce point.

On a des actions compatibles du groupe multiplicatif $`G_{\mathrm{m},k}`$ sur $`T`$ et $`C_T`$ données par

$$\lambda (\mathrm{},a_{ij},\mathrm{})=(\mathrm{},\lambda ^{mninjm}a_{ij},\mathrm{})$$

et

$$\lambda (\mathrm{},a_{ij},\mathrm{},X;Y;Z))=(\mathrm{},\lambda ^{mninjm}a_{ij},\mathrm{},\lambda ^nX,\lambda ^mY,Z).$$

Par définition du fermé $`T`$ de $`S`$, l’action sur $`T`$ est contractante.

Considérons la composante $`\overline{\mathrm{Pic}}_{C_T/T}^{\mathrm{\hspace{0.17em}0}}`$ de degré $`0`$ du schéma de Picard compactifié relatif de $`C_T`$ sur $`T`$. L’action de $`G_{\mathrm{m},k}`$ sur $`C_T`$ induit une action de $`G_{\mathrm{m},k}`$ sur $`\overline{\mathrm{Pic}}_{C_T/T}^0`$ qui relève celle sur $`T`$.

L’espace tangent au fermé $`TS`$ est un supplémentaire du sous-espace $`V(A)`$ de $`A/(_xf,_yf)=T_{(0,0)}S`$. Il s’en suit, d’après le théorème 4.1.5, que le schéma $`\overline{\mathrm{Pic}}_{C_T/T}`$ est lisse sur le corps de base $`k`$ le long de sa fibre $`\overline{\mathrm{Pic}}_{C/k}`$ à l’origine $`0`$ de $`T`$. Compte tenu de l’action de $`G_{\mathrm{m},k}`$, $`\overline{\mathrm{Pic}}_{C_T/T}`$ est partout lisse sur $`k`$.

Soient $`\mathrm{}`$ un nombre premier distinct de la caractéristique de $`k`$ et $`KobD_\mathrm{c}^\mathrm{b}(T,Q_{\mathrm{}})`$ l’image directe du faisceau constant $`Q_{\mathrm{}}`$ par la projection $`\overline{\mathrm{Pic}}_{C_T/T}^{\mathrm{\hspace{0.17em}0}}T`$. L’action de $`G_{\mathrm{m},k}`$ sur $`T`$ se relève en une $``$action$``$ sur $`K`$ et on peut appliquer la Proposition 1 de \[Sp\] qui assure que

$$H^i(T,K)=\{\begin{array}{cc}K_0\hfill & \text{si }i=0\text{,}\hfill \\ (0)\hfill & \text{sinon.}\hfill \end{array}$$

Or $`R\mathrm{\Gamma }(T,K)`$ n’est autre que la cohomologie $`\mathrm{}`$-adique $`R\mathrm{\Gamma }(\overline{\mathrm{Pic}}_{C_T/T}^{\mathrm{\hspace{0.17em}0}},Q_{\mathrm{}})`$ du $`k`$-schéma lisse et quasi-projectif $`\overline{\mathrm{Pic}}_{C_T/T}^{\mathrm{\hspace{0.17em}0}}`$, et le théorème de changement de base propre implique que la fibre $`K_0`$ de $`K`$ à l’origine de $`T`$ n’est autre que la cohomologie $`\mathrm{}`$-adique $`R\mathrm{\Gamma }(\overline{\mathrm{Pic}}_{C_k/k}^{\mathrm{\hspace{0.17em}0}},Q_{\mathrm{}})`$ du $`k`$-schéma projectif $`\overline{\mathrm{Pic}}_{C_k/k}^{\mathrm{\hspace{0.17em}0}}`$, soit encore la cohomologie $`\mathrm{}`$-adique $`R\mathrm{\Gamma }(X^0,Q_{\mathrm{}})`$ de la composante de degré $`0`$ de la fibre de Springer puisque cette composante $`X^0=Z^0`$ est universellement homéomorphe à $`\overline{\mathrm{Pic}}_{C/k}^0`$.

Si $`k`$ est de caractéristique $`p>0`$, toute la situation ci-dessus est définie sur $`F_p`$. Appliquant alors la forme forme de la conjecture de Weil prouvée par Deligne comme l’a fait Springer dans \[Sp\] , on déduit de qui précède:

PROPOSITION 4.2.1 . — Chaque groupe de cohomologie $`H^i(X^0,Q_{\mathrm{}})`$ est pur de poids $`i`$. $`\mathrm{}`$

Bien sûr, cette proposition résulte aussi de fait que $`X^0`$ peut être pavé par des espaces affines (cf. \[Lu-Sm\]).

4.3. Construction de déformations de fibres de Springer affine

Revenons à la situation générale de la section 4.1. Nous avons donc la courbe intègre, projective $`C_s=C_{I,s_I}`$ sur $`k`$, de normalisée $`\pi _s:\stackrel{𝑒}{C}_sC_s`$ une droite projective, avec son unique point singulier $`c`$ en lequel la singularité est plane et l’ensemble des branches $`\pi _s^1(c)=\{\stackrel{𝑒}{c}_iiI\}`$ est indexé par $`I`$. Nous allons utiliser les résultats généraux de la section 2.5 et les résultats de la section 2.6 pour $``$déformer$``$ le revêtement

$$X_sZ_s$$

de groupe de Galois

$$\mathrm{\Lambda }_s^0=H^0(\stackrel{𝑒}{C}_s\pi _s^1(c),G_\mathrm{m})/H^0(\stackrel{𝑒}{C}_s,G_\mathrm{m})=Ker(Z^IZ),$$

de la section $`2.2`$. Plus exactement, nous déformerons le revêtement

$$\overline{P}_s^{\mathrm{}}\overline{P}_s$$

qui lui est homéomorphe.

Considérons l’algébrisation $`(C=C_I,\mathrm{})S_I=S`$ de la déformation miniverselle de $`(C_s,\mathrm{}_s)`$ introduite en 4.1 et la strate à $`\delta `$ constant $`S^\delta =S_I^\delta S`$ (cf. la fin de la section $`3.4`$). Considérons aussi le morphisme de normalisation $`\pi _{S^\delta }:\stackrel{𝑒}{S^\delta }=\stackrel{𝑒}{S_I^\delta }S^\delta `$ de cette strate et la courbe

$$C_{\stackrel{𝑒}{S^\delta }}=C_{I,\stackrel{𝑒}{S^\delta }}\stackrel{𝑒}{S^\delta }$$

déduite de $`CS`$ par le changement de base

$$\stackrel{𝑒}{S^\delta }S^\delta S.$$

D’après le Corollaire 3.3.4, cette courbe relative admet une normalisation en famille $`\stackrel{𝑒}{C_{\stackrel{𝑒}{S^\delta }}}C_{\stackrel{𝑒}{S^\delta }}`$, et on a en fait

$$\stackrel{𝑒}{C_{\stackrel{𝑒}{S^\delta }}}P_{\stackrel{𝑒}{S^\delta }}^1$$

puisque la normalisée de $`C_s`$ est une droite projective sur $`k`$. On peut choisir l’isomorphisme ci-dessus de telle sorte que la section de $`\stackrel{𝑒}{S^\delta }\stackrel{𝑒}{C_{\stackrel{𝑒}{S^\delta }}}`$ induite par la section $`\mathrm{}:SC`$ corresponde à la section à l’infini de $`P_{\stackrel{𝑒}{S^\delta }}^1`$ sur $`\stackrel{𝑒}{S^\delta }`$.

On a vu (cf. Théorème 3.4.11) que, au moins pour $`k`$ de caractéristique nulle, le morphisme $`C_{\stackrel{𝑒}{S^\delta }}\stackrel{𝑒}{S^\delta }`$ a les propriétés suivantes :

(1)$`\stackrel{𝑒}{S^\delta }`$ est un schéma strictement local régulier (formellement lisse sur $`k`$) de dimension $`\tau (C_s,\mathrm{}_s)\delta _I`$,

(3)toutes les fibres géométriques de $`\stackrel{𝑒}{C_{\stackrel{𝑒}{S^\delta }}}\stackrel{𝑒}{S^\delta }`$ sont des courbes intègres à singularités planes,

(2)la fibre générique géométrique de $`\stackrel{𝑒}{C_{\stackrel{𝑒}{S^\delta }}}\stackrel{𝑒}{S^\delta }`$ n’a comme seules singularités que $`\delta _I`$ points doubles ordinaires.

HYPOTHÈSES ET NOTATIONS 4.3.1 . — Dans la suite, nous supposerons que les propriétés $`(1)`$ à $`(3)`$ sont vérifiées sur notre corps $`k`$ (c’est le cas par exemple si la caractéristique de $`k`$ nulle ou $``$assez grande$``$).

De plus, comme la déformation totale $`CS`$ n’interviendra plus, nous noterons simplement $`CS`$ la courbe relative $`C_{\stackrel{𝑒}{S^\delta }}\stackrel{𝑒}{S^\delta }`$ pour alléger l’exposition.

Nous avons donc un schéma strictement local $`S`$ formellement lisse sur $`k`$, de dimension $`\tau (C_s,\mathrm{}_s)\delta _I`$, et une courbe relative $`C`$ sur $`S`$, munie d’une section globale $`\mathrm{}`$ le long de laquelle $`C`$ est lisse sur $`S`$, de fibre spéciale $`C_s`$, qui admet une normalisation en famille $`\pi _C:\stackrel{𝑒}{C}C`$ dont l’espace total $`\stackrel{𝑒}{C}`$ est une droite projective sur $`S`$. Le morphisme structural $`f:CS`$ est lisse en dehors du sous-schéma $`DC`$ fini sur $`S`$ qui est défini par l’Idéal conducteur $`a`$ de $`\pi _{}O_{\stackrel{𝑒}{C}}`$ dans $`O_C`$ et

$$\stackrel{𝑒}{f}=f\pi _C:\stackrel{𝑒}{C}S$$

est identifié à la droite projective standard $`P_S^1S`$ de telle sorte que la section à l’infini corresponde à la section $`\mathrm{}:SC`$, et donc ne rencontre pas $`\stackrel{𝑒}{D}=\pi _C^1(D)`$.

Considérons les $`S`$-schémas de Picard $`P`$ et de Picard compactifié $`\overline{P}`$ relatifs de $`C`$ sur $`S`$. Le $`S`$-schéma en groupes $`P`$ est isomorphe à $`P^0\times Z`$ puisque le lieu de lissité de $`CS`$ admet une section. Pour chaque entier $`d`$, la composante connexe $`\overline{P}^d`$ contient $`P^d=P^0\times \{d\}`$ comme ouvert dense.

La composante neutre $`P^0`$ du schéma de Picard est par définition le $`S`$-schéma affine et lisse qui représente le faisceau fppf

$$\stackrel{𝑒}{f}_{}G_{\mathrm{m},\stackrel{𝑒}{C}}/f_{}G_{\mathrm{m},C}=f_{}(\pi _{C,}G_{\mathrm{m},\stackrel{𝑒}{C}}/G_{\mathrm{m},C}).$$

Notons $`f_D`$ (resp. $`\stackrel{𝑒}{f}_D`$) les restrictions de $`f`$ et $`\stackrel{𝑒}{f}`$ aux fermés $`DC`$ (resp. $`\stackrel{𝑒}{D}\stackrel{𝑒}{C}`$). On a le $`S`$-schéma en groupes affine et lisse

$$Res_{D/S}G_\mathrm{m}\text{ (resp. }Res_{\stackrel{𝑒}{D}/S}G_\mathrm{m})$$

restriction à la Weil du groupe multiplicatif de $`D`$ à $`S`$ (resp. de $`\stackrel{𝑒}{D}`$ à $`S`$), qui représente le faisceau fppf $`f_{D,}G_{\mathrm{m},D}`$ (resp. $`\stackrel{𝑒}{f}_{D,}G_{\mathrm{m},\stackrel{𝑒}{D}}`$), et on a la flèche d’adjonction

$$\alpha :\pi _{C,}G_{\mathrm{m},\stackrel{𝑒}{C}}/G_{\mathrm{m},C}i_{}(\pi _{D,}G_{\mathrm{m},\stackrel{𝑒}{D}}/G_{\mathrm{m},D})$$

$`i:DC`$ est l’inclusion et $`\pi _D:\stackrel{𝑒}{D}D`$ est la restriction de $`\pi `$.

LEMME 4.3.2 . — La flèche d’adjonction $`\alpha `$ est un isomorphisme et induit un isomorphisme de $`S`$-schémas en groupes

$$P^0\stackrel{}{}Res_{\stackrel{𝑒}{D}/S}G_\mathrm{m}/Res_{D/S}G_\mathrm{m}.$$

Preuve  : Soit $`Spec(A)C`$ une carte affine de $`C`$. Au dessus cette carte, $`\stackrel{𝑒}{C}`$ est égal à $`Spec(B)`$ pour une $`A`$-algèbre finie $`B`$, la trace de $`D`$ est définie par l’idéal conducteur $`I`$ de $`B`$ dans $`A`$ et $`\alpha `$ est donnée par la flèche naturelle

$$B^\times /A^\times (B/I)^\times /(A/I)^\times $$

(on rappelle que $`IAB`$ est à la fois un idéal de $`A`$ et un idéal de $`B`$). Comme cette dernière flèche est trivialement injective, l’injectivité de $`\alpha `$ est démontrée.

Maintenant, si $`b,b^{}B`$ sont tels que $`bb^{}=1+a`$ avec $`aIA`$, quitte à remplacer $`Spec(A)`$ par le voisinage ouvert $`Spec(A[(1+a)^1])`$ du fermé $`Spec(A/I)Spec(A)`$, on voit que $`b`$ est inversible dans $`B`$, ce qui démontre la surjectivité de $`\alpha `$. $`\mathrm{}`$

La fibre spéciale $`Res_{D_s/s}G_\mathrm{m}`$ du $`S`$-schéma en groupes $`Res_{D/S}G_\mathrm{m}`$ admet pour tore maximal le tore $`G_{\mathrm{m},k}`$ puisque $`(D_s)_{\mathrm{red}}`$ est réduit au point $`cD_sC_s`$. De même, $`Res_{\stackrel{𝑒}{D}_s/s}G_\mathrm{m}`$ admet pour tore maximal le tore $`G_{\mathrm{m},k}^I`$ puisque $`(\stackrel{𝑒}{D}_s)_{\mathrm{red}}=\{\stackrel{𝑒}{c}_iiI\}`$. Le tore maximal $`T_s`$ de $`P_s^0`$ est donc canoniquement isomorphe à $`G_{\mathrm{m},k}^I/G_{\mathrm{m},k}`$ (plongement diagonal).

Le tore maximal $`G_{\mathrm{m},k}`$ de $`Res_{D_s/s}G_\mathrm{m}`$ est la fibre spéciale du tore canonique $`G_{\mathrm{m},S}Res_{D/S}G_\mathrm{m}`$ défini par la flèche d’adjonction $`idf_{D,}f_D^{}`$. Comme $`S`$ est strictement hensélien, $`\stackrel{𝑒}{D}`$ se casse en autant de composantes connexes qu’il y a de points dans $`(\stackrel{𝑒}{D}_s)_{\mathrm{red}}`$ et le tore maximal $`G_{\mathrm{m},k}^I`$ de $`Res_{\stackrel{𝑒}{D}_s/s}G_\mathrm{m}`$ est aussi la fibre spéciale du tore canonique $`G_{\mathrm{m},S}^IRes_{\stackrel{𝑒}{D}/S}G_\mathrm{m}`$ défini par la flèche d’adjonction $`id\stackrel{𝑒}{f}_{D,}\stackrel{𝑒}{f}_D^{}`$, composante connexe par composante connexe de $`\stackrel{𝑒}{D}`$.

Par suite, le tore maximal $`T_s`$ de $`P_s^0`$ est la fibre spéciale d’un tore canonique

$$T=G_{\mathrm{m},S}^I/G_{\mathrm{m},S}P^0.$$

Plus généralement, pour chaque point géométrique $`t`$ de $`S`$, la fibre $`T_t`$ de $`T`$ en $`t`$ est contenue dans le tore maximal de

$$P_t^0\stackrel{}{}Res_{\stackrel{𝑒}{D}_t/t}G_\mathrm{m}/Res_{D_t/t}G_\mathrm{m},$$

tore maximal qui est isomorphe à $`_{jJ_t}(G_{\mathrm{m},\kappa (t)}^{I_{t,j}}/G_{\mathrm{m},t})`$$`\{c_{j,t}jJ_t\}`$ est l’ensemble des points singuliers de $`C_t`$ et, pour chaque $`jJ_t`$, $`\{\stackrel{𝑒}{c}_{t,i}iI_{t,j}\}`$ est l’ensemble des branches du germe formel de $`C_t`$ en son point singulier $`c_{t,j}`$.

On identifie le groupe des caractères de $`T_s`$, ou ce qui revient au même celui de $`T`$, à $`\mathrm{\Lambda }_s^0:=\mathrm{\Lambda }^0`$ comme dans la section $`2.6`$. Pour chaque point géométrique $`t`$ de $`S`$, $`\mathrm{\Lambda }^0`$ est donc un quotient du groupe des caractères

$$\mathrm{\Lambda }_t^0=\underset{jJ}{}Ker(Z^{I_{t,j}}Z)$$

du tore maximal de $`P_t^0`$, quotient que l’on peut voir concrètement en considérant la manière dont les points singuliers $`c_{t,j}`$ et leurs branches $`\stackrel{𝑒}{c}_{t,i}`$ confluent vers le point singulier $`c`$ et ses branches $`\stackrel{𝑒}{c}_i`$.

Nous sommes maintenant en mesure de construire la déformation de $`\overline{P}_s^{\mathrm{}}\overline{P}_s`$.

Pour chaque entier $`d`$, la restriction de l’homomorphisme $`\beta `$ d’Esteves, Gagné et Kleiman à $`T`$ est un homomorphisme $`TPic_{\overline{P}/S}`$ qui définit d’après la proposition 2.5.1 un $`\mathrm{\Lambda }^0`$-torseur

$$Q^d\overline{P}^d$$

dont la formation commute à tout changement de base $`S^{}S`$. Notons

$$Q\overline{P}$$

la somme disjointe de ces torseurs. C’est la déformation cherchée.

En effet, la fibre spéciale est par définition le revêtement $`\overline{P}_s^{\mathrm{}}\overline{P}_s`$. Plus généralement, pour chaque point géométrique $`t`$ de $`S`$, $`Q_t\overline{P}_t`$ est le quotient du revêtement $`\overline{P}_t^{\mathrm{}}\overline{P}_t`$ dans le corollaire $`\mathrm{2.2.6}`$, quotient qui correspond au quotient $`\mathrm{\Lambda }_t^0\mathrm{\Lambda }^0`$ entre les groupes de Galois.

5. BIBLIOGRAPHIE

\[A-I-K\] A. ALTMAN, A. IARROBINO, S. KLEIMAN – Irreducibility of the Compactified Jacobian, dans “Real and complex singularities. Proceedings, Oslo 1976, P. Holm (ed.)”, Sijthoff & Nordhoff, (1977), 1-12.

\[A-K 1\] A. ALTMAN, S. KLEIMAN – Introduction to Grothendieck Duality Theory, Lecture Notes in Math. 146, Springer-Verlag, (1970).

\[A-K 2\] A. ALTMAN, S. KLEIMAN – Compactifying the Jacobian, Bull. Am. Math. Soc. 82, (1976), 947-949.

\[A-K 3\] A. ALTMAN, S. KLEIMAN – Compactifying the Picard Scheme, Advances in Math. 35, (1980), 50-112.

\[A-K 4\] A. ALTMAN, S. KLEIMAN – Bertini Theorems for Hypersurface Sections Containing a Subscheme, Communication in Algebra 7, (1979), 775-790.

\[Be\] R. BEZRUKAVNIKOV – The Dimension of the Fixed Point Set on Affine Flag Manifolds, Math. Res. Letters 3, (1996), 185-189.

\[B-L-K\] D. BOSCH, W. LÜTKEBOHMERT, M. RAYNAUD – Néron Models, Ergebnisse der Mathematik und ihrer Grenzgebiete 3.Folge, Band 21, Springer-Verlag, (1990).

\[De 1\] P. DELIGNE – La classe de cohomologie associée à un cycle, dans Cohomologie étale, SGA 4$`\frac{1}{2}`$, Lecture Notes in Math. 569, Springer-Verlag, (1977), 129-153.

\[De 2\] P. DELIGNE – Intersection sur les surfaces régulières, dans “SGA 7 II, Groupe de Monodromie en Géométrie Algébrique, dirigé par P. Deligne et N. Katz”, Lecture Notes in Math. 340, Springer-Verlag, (1973), 1-38.

\[D-H\] S. DIAZ, J. HARRIS – Ideals Associated to Deformations of Singular Plane Curves, Trans. of the Amer. Math. Soc. 309, (1988), 433-468.

\[E-G-K\] E. ESTEVES, M. GAGNÉ, S. KLEIMAN – Autoduality of the compactified Jacobian, http://arxiv.org/abs/math.AG//9911071, (1999).

\[Fo\] J. FOGARTY – Algebraic Families on an Algebraic Surface, Amer. J. Math. 90, (1968), 511-521.

\[F-G-S\] D. FANTECHI, L. GÖTTSCHE, D. VAN STRATEN – Euler Number of the Compactified Jacobian and Multiplicity of Rational Curves, J. Algebraic Geometry 8, (1999), 115-133.

\[Gr 1\] A. GROTHENDIECK – Formule de Lefschetz et rationalité des fonctions $`L`$, Séminaire Bourbaki 279, 1964/65, dans Dix exposés sur la cohomlologie des schémas, Masson, Paris, et North-Holland, Amsterdam, (1968).

\[Gr 2\] A. GROTHENDIECK – Fondements de la géométrie algébrique, Séminaire Bourbaki 232, Benjamin, New York, (1966).

\[Gr 3\] A. GROTHENDIECK – Éléments de géométrie algébrique, III, Étude cohomologique des faisceaux cohérents, Publications Mathématiques de l’I.H.É.S. 11, (1961).

\[Gr 4\] A. GROTHENDIECK – Éléments de géométrie algébrique, IV, Étude locale des schémas et des morphismes de schémas (Troisième partie), Publications Mathématiques de l’I.H.É.S. 28, (1966).

\[Ia\] A. IARROBINO – Punctual Hilbert Schemes, Mem. Am. Math. Soc. 188, (1977).

\[Il\] L. ILLUSIE – Complexe Cotangent et Déformations I, Lecture Notes in Math. 239, Springer-Verlag, (1971).

\[K-L\] D KAZHDAN, G. LUSZTIG – Fixed Point Varieties on Affine Flag Manifolds, Israel J. of Math. 62, (1988), 129-168.

\[L-R\] G. LAUMON, J. RAPOPORT – A geometric approach to the fundamental lemma for unitary groups, http://arxiv.org/abs/math.AG/9711021, (1997).

\[La-Sh\] R. LANGLANDS, D. SHELSTAD – On the definition of the transfer factors, Math. Ann. 278, (1987), 219-271.

\[Lu-Sm\] G. LUSZTIG, J.M. SMELT – Fixed point varieties on the space of lattices, Bull. London. Math. Soc. 23, (1991), 213-218.

\[M-F\] D. MUMFORD, J. FOGARTY – Geometric Invariant Theory, Second Enlarged Edition, Springer-Verlag, (1982).

\[Ra\] M RAYNAUD – Spécialisation du foncteur de Picard, Publications Mathématiques de l’I.H.É.S. 38, (1970), 27-76.

\[Re\] C.J. REGO – The Compactified Jacobian, Ann. Scient. Éc. Norm. Sup. 13, (1980), 211-223.

\[Ri\] D.S. RIM – Formal Deformation Theory, dans “SGA 7 I, Groupe de Monodromie en Géométrie Algébrique, dirigé par A. Grothendieck”, Lecture Notes in Math. 288, Springer-Verlag, (1972), 32-132.

\[Sp\] T.A. SPRINGER – A purity result for fixed point varieties in flag manifolds, J. Fac. Sci. Univ. Tokyo 31, (1984), 271-282.

\[Te 1\] B. TEISSIER – Cycles évanescents, sections hyperplanes et condition de Whitney, dans “Singularités à Cargèse”, Astérisque 7 et 8, (1973), 285-362.

\[Te 2\] B. TEISSIER – The hunting of invariants in the geometry of discriminants, dans “Real and complex singularities. Proceedings, Oslo 1976, P. Holm (ed.)”, Sijthoff & Nordhoff, (1977), 565-677.

\[Te 3\] B. TEISSIER – Résolution simultanée - I, II, dans “Séminaire sur les Singularités des Surfaces, Palaiseau, France 1976-1977, Édité par M. Demazure, H. Pinkham, B. Teissier”, Lecture Notes in Math. 777, (1980), 71-146.

\[Wa\] J.-L. WALDSPURGER – Intégrales orbitales nilpotentes et endoscopie pour les groupes classiques non ramifiés, Astérisque 269, (2001).