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

X × Y → Y {\displaystyle X\times Y\to Y}

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 propremorphisme propre, 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. ↑ a et b 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

  • Paragraphe II.4 de Robin Hartshorne, Algebraic Geometry, Berlin, New York, Springer-Verlag, (ISBN 978-0-387-90244-9, DOI 10.1007/978-1-4757-3849-0, MR 0463157, zbMATH 0367.14001, Algebraic Geometry sur Google Livres)
  • Chapitre 7 de James S. Milne (v. 5.20), Algebraic geometry, (lire en ligne)
  • Paragraphe I.9 de David Mumford, The red book of varieties and schemes, vol. 1358, Springer-Verlag, coll. « Lecture Notes in Mathematics », , 2e éd. (ISBN 978-3-540-63293-1, DOI 10.1007/b62130)

Articles connexes

  • Lemme de Chow (en)
  • Théorème du cube (en)
  • Variété de Fano (en)
  • icône décorative Portail des mathématiques