Morphisme plat

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En géométrie algébrique, un morphisme de schémas $f:X\to Y$ peut être vu comme une famille de schémas paramétrée par les points de Y. La notion de platitude de f est une sorte de continuité de cette famille.

Définition[modifier | modifier le code]

Un morphisme $f:X\to Y$ est dit plat en un point x de X si l'homomorphisme d'anneaux

f_{x}^{\#}:{\mathcal {O}}_{Y,f(x)}\to {\mathcal {O}}_{X,x}

induit par f est plat. On dit que f est un morphisme plat s'il est plat en tout point de X. On dit que f est fidèlement plat s'il est de plus surjectif.

Si ${\mathcal {F}}$ est un faisceau quasi-cohérent sur X. On dit que ${\mathcal {F}}$ est plat au-dessus de Y si pour tout x dans X, ${\mathcal {F}}_{x}$ , muni de la structure de ${\mathcal {O}}_{Y,f(x)}$ -module induite par $f_{x}^{\#}$ , est plat.

Exemples

Si Y est le spectre d'un corps, alors tout morphisme de X vers Y est plat.

Si Y est le spectre d'un anneau de Dedekind, et si X est intègre, alors f est plat si et seulement si f n'est pas constant.

L'espace affine $\mathbb {A} _{Y}^{n}$ au-dessus de Y est plat car son faisceau d'algèbres ${\mathcal {O}}_{Y}[T_{1},\dots ,T_{n}]$ est libre sur ${\mathcal {O}}_{Y}$ .

La projection de la deuxième des axes $\mathrm {Spec} (k[x,y]/(xy))$ sur l'un des axes n'est pas un morphisme plat.

Propriétés générales[modifier | modifier le code]

Les immersions ouvertes sont des morphismes plats.

La platitude est stable par produit: si X, Z sont plats sur Y, alors $X\times _{Y}Z$ aussi.

La platitude est stable par composition et changement de base (si $X\to Y$ est plat, alors $X\times _{Y}Y'\to Y'$ aussi pour tout $Y'\to Y$ ).

Propriétés topologiques[modifier | modifier le code]

Supposons $f:X\to Y$ $f:X\to Y$ plat et localement de présentation finie.
- L'application f est ouverte (et même universellement ouverte : pour tout $Y'\to Y$ , $X\times _{Y}Y'\to Y'$ est ouvert).
- Supposons de plus X, Y noethériens et irréductibles. Alors l'application $y\mapsto \dim X_{y}$ est constante sur f(X).
Si f est propre (en) et si ${\mathcal {F}}$ est cohérent sur X, plat sur Y, alors la caractéristique d'Euler-Poincaré $\chi _{y}({\mathcal {F}}\otimes k(y))=\sum _{i\geq 0}\dim _{k(y)}H^{i}(X_{y},{\mathcal {F}}\otimes k(y)),\quad y\in Y,$ est localement constante sur f(X). En particulier, si f est plat et si Y est connexe, alors f est surjectif et le genre arithmétique (en) des fibres est constant.
Les schémas de Hilbert (en) paramètrent des familles plates de sous-schémas fermés d'un espace projectif $\mathbb {P} _{Y}^{n}$ donné et de polynôme de Hilbert-Samuel (en) donné. Chacune de ces familles induit un morphisme (donc application continue en particulier) de Y vers le schéma de Hilbert. C'est un exemple de continuité à valeurs non-discrèt.

Morphisme fpqc[modifier | modifier le code]

Un morphisme fidèlement plat et quasi-compact ou morphisme fpqc^[1] est un morphisme de schémas, permettant de définir une topologie fpqc (en)^[1] qui est également une topologie plate (en). Ils apparaissent en théorie de la descente (en) et dans la construction d'une cohomologie étale, ainsi que dans la théorie générale des champs algébriques. La topologie fpqc est strictement plus fine que la topologie fppf (en) qui est strictement plus fine que la topologie étale, qui est strictement plus fine que la topologie de Zariski.

Un morphisme de schémas $f:X\to Y$ est fpqc s'il est fidèlement plat et quasi-compact, c'est-à-dire s'il vérifie les conditions suivantes^[1] :

f est un morphisme fidèlement plat ;
tout ouvert quasi-compact de Y est l'image d'un ouvert quasi-compact de X.

La propriété d'être fpqc est stable par composition et par changement de base. On peut définir les recouvrements fpqc, qui constituent une pré-topologie de Grothendieck sur la catégorie Aff, opposée de la catégorie CRing des anneaux commutatifs.