Variedad completa

tipo de variedad algebraica

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 una aplicación cerrada (es decir, asigna conjuntos cerrados a conjuntos cerrados).[1]​ 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 la aplicación de proyección anterior está cerrada con respecto a productos topológicos.

La imagen de una variedad completa es cerrada y es una variedad completa. Una subvariedad cerrada de una variedad completa es completa.

Una variedad compleja es completa si y solo si es compacta como variedad analítica compleja.

El ejemplo más común de una variedad completa es la variedad proyectiva, pero existen variedades completas no proyectivas en dimensiones 2 y superiores. Si bien cualquier superficie no singular completa es proyectiva,[2]​ (021) existen variedades completas no singulares en dimensión 3 y superiores que no son proyectivas.[3]​ Los primeros ejemplos de variedades completas no proyectivas fueron dados por Masayoshi Nagata[3]​ y Heisuke Hironaka.[4]​ Un espacio afín de dimensión positiva no está completo.

El morfismo que lleva una variedad completa a un punto es un morfismo propio, en el sentido de un esquema. Se puede dar una justificación intuitiva de completo, en el sentido de que no faltan puntos, basándose en el criterio valorativo de idoneidad, que se remonta a Claude Chevalley.

Véase también

editar

Referencias

editar
  1. Aquí, la variedad producto X × Y no conlleva la topología del producto en general; y la topología de Zariski tendrá más conjuntos cerrados (excepto en casos muy simples).
  2. Zariski, Oscar (1958). «Introduction to the Problem of Minimal Models in the Theory of Algebraic Surfaces». American Journal of Mathematics 80: 146-184. JSTOR 2372827. doi:10.2307/2372827. 
  3. a b Nagata, Masayoshi (1958). «Existence theorems for nonprojective complete algebraic varieties». Illinois J. Math. 2: 490-498. doi:10.1215/ijm/1255454111. 
  4. Hironaka, Heisuke (1960). On the theory of birational blowing-up (thesis). Harvard University. 

Bibliografía

editar