Accueil🇫🇷Chercher

Variété complète

En mathématiques, en particulier en géométrie algébrique, une variété algébrique complète est une variété algébrique X, telle que pour toute variété Y le morphisme de projection

est une application fermée (c'est-à-dire qu'elle envoie les fermés sur des fermés)[note 1]. Cela peut être vu comme un analogue de la compacité en géométrie algébrique : en effet, un espace topologique X est compact si et seulement si l'application de projection ci-dessus est fermée par rapport aux produits topologiques.

L'image d'une variété complète est fermée et c'est une variété complète. Une sous-variété fermée d'une variété complète est complète.

Une variété complexe est complète si et seulement si elle est compacte en tant que variété analytique complexe.

L'exemple le plus courant d'une variété complète est une variété projective, mais il existe des variétés complètes non projectives (en) en dimensions 2 et supérieures. Alors que toute surface non singulière complète est projective[1], il existe des variétés complètes non singulières en dimension 3 et plus qui ne sont pas projectives[2]. Les premiers exemples de variétés complètes non projectives ont été donnés par Masayoshi Nagata[2] et Heisuke Hironaka[3]. Un espace affine de dimension non nulle n'est pas complet.

Le morphisme qui envoie une variété complète sur un point est un morphisme propre (en), au sens de la théorie des schémas. Une justification intuitive du terme « complet », au sens de « sans point manquant », peut être donnée sur la base du critère valuatif de propreté, dû à Claude Chevalley.

Notes et références

Notes

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Complete variety » (voir la liste des auteurs).
  1. Ici la variété produit X × Y n'est pas munie de la topologie produit en général. La topologie de Zariski admet plus d'ensembles fermés que cela (sauf dans des cas très simples).

Références

  1. Zariski, « Introduction to the Problem of Minimal Models in the Theory of Algebraic Surfaces », American Journal of Mathematics, vol. 80, , p. 146–184 (DOI 10.2307/2372827, JSTOR 2372827)
  2. Nagata, « Existence theorems for nonprojective complete algebraic varieties », Illinois J. Math., vol. 2, , p. 490-498 (DOI 10.1215/ijm/1255454111)
  3. Heisuke Hironaka, On the theory of birational blowing-up (thèse), Université Harvard,

Annexes

Bibliographie

Articles connexes

  • Lemme de Chow (en)
  • Théorème du cube (en)
  • Variété de Fano (en)
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.