En matemáticas , en particular en geometría algebraica , una variedad algebraica completa es una variedad algebraica X , tal que para cualquier variedad Y el morfismo de proyección
es un mapa cerrado (es decir, mapea conjuntos cerrados sobre conjuntos cerrados). [a] Esto puede verse como un análogo de la compacidad en geometría algebraica: un espacio topológico X es compacto si y solo si el mapa de proyección anterior está cerrado con respecto a los productos topológicos.
La imagen de una variedad completa está cerrada y es una variedad completa. Una subvariedad cerrada de una variedad completa es completa.
Una variedad compleja es completa si y sólo si es compacta como una variedad analítica-compleja .
El ejemplo más común de una variedad completa es una variedad proyectiva , pero existen variedades completas no proyectivas en dimensiones 2 y superiores. Si bien cualquier superficie no singular completa es proyectiva, [1] existen variedades completas no singulares en dimensión 3 y superiores que no son proyectivas. [2] Los primeros ejemplos de variedades completas no proyectivas fueron dados por Masayoshi Nagata [2] y Heisuke Hironaka . [3] Un espacio afín de dimensión positiva no es completo.
El morfismo que lleva una variedad completa a un punto es un morfismo propio , en el sentido de la teoría de esquemas . Una justificación intuitiva de "completo", en el sentido de "sin puntos faltantes", se puede dar sobre la base del criterio valorativo de propiedad , que se remonta a Claude Chevalley .
