Accueil🇫🇷Chercher

Morphisme plat

En géométrie algébrique, un morphisme de schémas 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

Un morphisme est dit plat en un point x de X si l'homomorphisme d'anneaux

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 est un faisceau quasi-cohérent sur X. On dit que est plat au-dessus de Y si pour tout x dans X, , muni de la structure de -module induite par , est plat.

Exemples

  • Si Y est le spectre d'un corps, alors tout morphisme de X vers Y est plat.
  • L'espace affine au-dessus de Y est plat car son faisceau d'algèbres est libre sur .
  • La projection de la deuxième des axes sur l'un des axes n'est pas un morphisme plat.

Propriétés générales

  • Les immersions ouvertes sont des morphismes plats.
  • La platitude est stable par produit: si X, Z sont plats sur Y, alors aussi.
  • La platitude est stable par composition et changement de base (si est plat, alors aussi pour tout ).

Propriétés topologiques

  • Supposons plat et localement de présentation finie.
    • L'application f est ouverte (et même universellement ouverte : pour tout , est ouvert).
    • Supposons de plus X, Y noethériens et irréductibles. Alors l'application est constante sur f(X).
  • Si f est propre (en) et si est cohérent sur X, plat sur Y, alors la caractéristique d'Euler-Poincaré
    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 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

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

Références

  1. (en) Barbara Fantechi, Lothar Göttsche (en), Luc Illusie, Steven L. Kleiman, Nitin Nitsure et Angelo Vistoli, Fundamental Algebraic Geometry: Grothendieck's FGA Explained, AMS, (lire en ligne), p. 27-28.

Bibliographie

Alexandre Grothendieck et Jean Dieudonné, Éléments de géométrie algébrique, Publ. Math. IHÉS 1960 - 1967.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.