Variedad proyectiva
En geometría algebraica, una variedad proyectiva sobre un cuerpo algebraicamente cerrado k es un subconjunto de algún n-espacio proyectivo sobre k que es el lugar de los ceros de alguna familia finita de polinomios homogéneos de n + 1 variables con coeficientes en k, que generan un ideal primo, el ideal definitorio de la variedad. De manera equivalente, una variedad algebraica es proyectiva si se puede incrustar como una subvariedad cerrada de Zariski de .
![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/6/64/Addition_on_cubic_%28clean_version%29.svg/300px-Addition_on_cubic_%28clean_version%29.svg.png)
Una variedad proyectiva es una curva proyectiva si su dimensión es uno; es una superficie proyectiva si su dimensión es dos; es una hipersuperficie proyectiva si su dimensión es uno menos que la dimensión del espacio proyectivo que la contiene. En este caso, es el conjunto de ceros de un único polinomio homogéneo.
Si X es una variedad proyectiva definida por un ideal primo homogéneo I, entonces el anillo cociente
se llama anillo coordenado homogéneo de X. Los invariantes básicos de X, como el grado y la dimensión, se pueden leer en el polinomio de Hilbert de este álgebra graduada.
Las variedades proyectivas surgen de muchas maneras. Son completas, lo que se puede expresar aproximadamente diciendo que no faltan puntos. Lo contrario no es cierto en general, pero el lema de Chow describe la estrecha relación entre estas dos nociones. Para demostrar que una variedad es proyectiva se estudian los paquetes de rectas o los divisores en X.
Una característica destacada de las variedades proyectivas son las limitaciones de finitud de la cohomología del haz. Para variedades proyectivas suaves, la dualidad de Serre puede verse como un análogo de la dualidad de Poincaré. También conduce al teorema de Riemann-Roch para curvas proyectivas, es decir, variedades proyectivas de dimensión 1. La teoría de las curvas proyectivas es particularmente rica e incluye una clasificación según el género de la curva. El programa de clasificación para variedades proyectivas de dimensiones superiores conduce naturalmente a la construcción de módulos de variedades proyectivas.[1] Los esquemas de Hilbert parametrizan subesquemas cerrados de con el polinomio de Hilbert prescrito. Los esquemas de Hilbert, de los cuales los grasmanianos son casos especiales, también son esquemas proyectivos por derecho propio. La teoría invariante geométrica ofrece otro enfoque. Los enfoques clásicos incluyen el espacio de Teichmüller y las variedades de Chow.
Se dispone de una teoría particularmente rica, que se remonta a los clásicos, para variedades proyectivas complejas, es decir, cuando los polinomios que definen X tienen coeficientes complejos. En términos generales, el principio GAGA dice que la geometría de los espacios (o variedades) analíticos complejos proyectivos es equivalente a la geometría de las variedades complejas proyectivas. Por ejemplo, la teoría de haces de vectores holomorfos (más generalmente haces analíticos coherentes) sobre X coincide con la de los paquetes de vectores algebraicos. El teorema de Chow dice que un subconjunto del espacio proyectivo es el lugar de los ceros de una familia de funciones holomorfas si y solo si es el lugar de los ceros de polinomios homogéneos. La combinación de métodos analíticos y algebraicos para variedades proyectivas complejas conduce a áreas como la teoría de Hodge.
Variedad y estructura de esquema
editarEstructura de una variedad
editarSea k un cuerpo algebraicamente cerrado. La base de la definición de variedades proyectivas es el espacio proyectivo , que se puede definir de formas diferentes pero equivalentes:
- Como el conjunto de todas las rectas que pasan por el origen en (es decir, todos los subespacios vectoriales unidimensionales de )
- Como el conjunto de tuplas , donde no son todos cero, con módulo la relación de equivalencia : para cualquier . La clase de equivalencia de dicha tupla se denota por: . Esta clase de equivalencia es el punto general del espacio proyectivo. Los números se denominan coordenadas homogéneas del punto.
Una variedad proyectiva es, por definición, una subvariedad cerrada de , donde cerrado se refiere a la topología de Zariski.[2] En general, los subconjuntos cerrados de la topología de Zariski se definen como el lugar cero común de una colección finita de funciones polinomiales homogéneas. Dado un polinomio , la condición
no tiene sentido para polinomios arbitrarios, pero solo si f es homogéneo, es decir, los grados de todos los monomios (cuya suma es f) son los mismos. En este caso, la anulación de
es independiente de la elección de .
Por lo tanto, las variedades proyectivas surgen de ideales primos homogéneos I de , y haciendo que
Además, la variedad proyectiva X es una variedad algebraica, lo que significa que está cubierta por subvariedades afines abiertas y satisface el axioma de separación. Así, el estudio local de X (por ejemplo, una singularidad) se reduce al de una variedad afín. La estructura explícita es la siguiente: el espacio proyectivo está cubierto por los mapas afines abiertos estándar
que a su vez son n-espacios afines con el anillo de coordenadas
Ahora, se hace que i = 0 para simplificar la notación y se elimina el superíndice (0). Entonces, es una subvariedad cerrada de definida por el ideal de generado por
para toda f en I. Por lo tanto, X es una variedad algebraica cubierta por (n+1) mapas afines abiertos .
Téngase en cuenta que X es el cierre de la variedad afín en . Por el contrario, a partir de alguna variedad cerrada (afín) , la clausura de V en es la variedad proyectiva llamada de V. Si define V, entonces el ideal definitorio de este cierre es el ideal homogéneo[3] de generado por
para toda f en I.
Por ejemplo, si V es una curva afín dada, por ejemplo, por en el plano afín, entonces su completamiento proyectivo en el plano proyectivo viene dado por
Esquemas proyectivos
editarPara diversas aplicaciones, es necesario considerar objetos álgebro-geométricos más generales que las variedades proyectivas, es decir, esquemas proyectivos. El primer paso hacia los esquemas proyectivos es dotar al espacio proyectivo de una estructura de esquema, refinando de alguna manera la descripción anterior del espacio proyectivo como una variedad algebraica, es decir, es un esquema que es una unión de (n + 1) copias del n-espacio afín kn. De manera más general, el espacio proyectivo[4] sobre un anillo A es la unión de los esquemas afines
de tal manera que las variables coincidan como se esperaba. El conjunto de puntos cerrados de , para cuerpos algebraicamente cerrados k, es entonces el espacio proyectivo en el sentido habitual.
Una construcción equivalente pero simplificada la proporciona la construcción proy, que es un análogo del espectro de un anillo, denominado "Espec", que define el espectro de un anillo.[5] Por ejemplo, si A es un anillo, entonces
Si R es un cociente de por un ideal homogéneo I, entonces la sobreyección canónica induce la inmersión cerrada
En comparación con las variedades proyectivas, se abandonó la condición de que el ideal I fuera un ideal primo. Esto lleva a una noción mucho más flexible: por un lado, el espacio topológico puede tener múltiples componentes irreducibles. Además, puede haber funciones nilpotentes en X.
Los subesquemas cerrados de corresponden biyectivamente a los ideales homogéneos I de que son saturados; es decir, [6] Este hecho puede considerarse como una versión refinada del teorema de los ceros de Hilbert.
Se puede dar una analogía sin coordenadas de lo anterior. Es decir, dado un espacio vectorial de dimensión finita V sobre k, sea
donde es el álgebra simétrica de .[7] Es la proyectivización de V; es decir, parametriza rectas en V. Existe una aplicación sobreyectiva canónico , que se define utilizando el cuadro descrito anteriormente.[8] Un divisor D en una variedad proyectiva X corresponde a un conjunto de líneas rectas L. Entonces, se tiene que
- ;
se llama sistema lineal completo de D.
El espacio proyectivo sobre cualquier esquema S se puede definir como un producto de fibra de esquemas
Si es la construcción Proy de , se considera que denota el retorno de a ; es decir, para la aplicación canónica
Un esquema X → S se llama proyectivo sobre S si factoriza como una inmersión cerrada
seguido de la proyección sobre S.
Un haz de rectas (o haz invertible) en un esquema X sobre S se dice que es muy amplio en relación con S si existe una immersión (es decir, una inmersión abierta seguida de una inmersión cerrada)
para algunos n para que retorne a . Entonces, un S-esquema X es proyectivo si y solo si es propio y existe un haz muy amplio en X con respecto a S. De hecho, si X es propio, entonces una inmersión correspondiente al haz de líneas muy amplio es necesariamente cerrada. Por el contrario, si X es proyectivo, entonces el retorno de bajo la inmersión cerrada de X en un espacio proyectivo es muy amplio. Que proyectivo implica propio es una relación más profunda, de acuerdo con el teorema principal de la teoría de la eliminación.
Relación con las variedades completas
editarPor definición, una variedad es completa, si es propia sobre k. El criterio valorativo de propiedad expresa la intuición de que en una variedad adecuada no "faltan" puntos.
Existe una estrecha relación entre variedades completas y proyectivas: por un lado, el espacio proyectivo y por tanto cualquier variedad proyectiva es completa. Lo contrario no es cierto en general. Sin embargo:
- Una curva suave C es proyectiva si y solo si es completa. Esto se demuestra identificando C con el conjunto de anillos de valoración discretos de un cuerpo de funciones k(C) sobre k. Este conjunto tiene una topología natural de Zariski llamada espacio de Zariski-Riemann.
- El lema de Chow establece que para cualquier variedad completa X, existe una variedad proyectiva Z y un morfismo birracional Z → X.[9] Además, a través de normalización, se puede asumir que esta variedad proyectiva es normal.
Algunas propiedades de una variedad proyectiva se derivan de la completitud. Por ejemplo,
para cualquier variedad proyectiva X sobre k.[10] Este hecho es un análogo algebraico del teorema de Liouville (cualquier función holomorfa en una variedad compleja compacta conexa es constante). De hecho, la similitud entre la geometría analítica compleja y la geometría algebraica en variedades proyectivas complejas va mucho más allá, como se explica a continuación.
Las variedades cuasi-proyectivas son, por definición, aquellas que son subvariedades abiertas de variedades proyectivas. Esta clase de variedades incluye las variedades afines, que casi nunca son completas (o proyectivas). De hecho, una subvariedad proyectiva de una variedad afín debe tener dimensión cero. Esto se debe a que solo las constantes son globalmente funciones regulares en una variedad proyectiva.
Ejemplos e invariantes básicos
editarPor definición, cualquier ideal homogéneo en un anillo polinomial produce un esquema proyectivo (requiere ser primo ideal para generar una variedad). En este sentido, abundan los ejemplos de variedades proyectivas. La siguiente lista menciona varias clases de variedades proyectivas que son dignas de mención porque han sido estudiadas con especial intensidad. La importante clase de variedades proyectivas complejas, es decir, el caso , se analiza más adelante.
El producto de dos espacios proyectivos es proyectivo. De hecho, existe la inmersión explícita (llamada embebido de Segre)
Como consecuencia, el producto de variedades proyectivas sobre k es nuevamente proyectivo. El embebido de Plücker exhibe un grasmaniano como una variedad proyectiva. Las variedades de bandera, como el cociente del módulo el grupo lineal general , el subgrupo de matrices triangulares superiores, también son proyectivas, lo que es un hecho importante en la teoría de grupos algebraicos.[11]
Anillo de coordenadas homogéneas y polinomio de Hilbert
editarComo el ideal primo P que define una variedad proyectiva X es homogéneo, el anillo de coordenadas homogéneas
es un álgebra graduada, es decir, se puede expresar como la suma directa de sus componentes graduados:
Existe un polinomio P tal que para todo n suficientemente grande, y se llama polinomio de Hilbert de X. Es una invariante numérica que codifica alguna geometría extrínseca de X. El grado de P es al dimensión r de X y su coeficiente principal multiplicado por r! es el grado de la variedad X. El género aritmético de X es (−1)r (P(0) − 1) cuando X es suave.
Por ejemplo, el anillo de coordenadas homogéneas de es y su polinomio de Hilbert es ; su género aritmético es cero.
Si el anillo de coordenadas homogéneas R es un dominio íntegramente cerrado, entonces se dice que la variedad proyectiva X es proyectivamente normal. Téngase en cuenta que, a diferencia de la normalidad, la normalidad proyectiva depende de R, el embebido de X en un espacio proyectivo. La normalización de una variedad proyectiva es proyectiva. De hecho, es la construcción Proy del cierre integral de algún anillo de coordenadas homogéneas de X.
Grado
editarSea una variedad proyectiva. Hay al menos dos formas equivalentes de definir el grado de X en relación con su embebido. La primera forma es definirlo como la cardinalidad del conjunto finito
donde d es la dimensión de X y Hi son hiperplanos en "posiciones generales". Esta definición corresponde a una idea intuitiva de grado. De hecho, si X es una hipersuperficie, entonces el grado de X es el grado del polinomio homogéneo que define X. Las "posiciones generales" pueden precisarse, por ejemplo, mediante la teoría de la intersección, y se requiere que la intersección sea propia y que las multiplicidades de los componentes irreducibles sean todas uno.
La otra definición, que se menciona en la sección anterior, es que el grado de X es el coeficiente principal del polinomio de Hilbert de X (dim X)! veces. Geométricamente, esta definición significa que el grado de X es la multiplicidad del vértice del cono afín sobre X.[12]
Sean subesquemas cerrados de dimensiones puras que se cruzan propiamente (dado que están en posición general). Si mi denota la multiplicidad de un componente irreducible Zi en la intersección (es decir, la multiplicidad de intersección), entonces la generalización del teorema de Bézout dice:[13]
La multiplicidad de intersección mi se puede definir como el coeficiente de Zi en el producto de intersección en el anillo de Chow de .
En particular, si es una hipersuperficie que no contiene a X, entonces
donde Zi son los componentes irreducibles de la intersección teórica de esquemas de X y H con multiplicidad (longitud del anillo local) mi.
Una variedad proyectiva compleja puede verse como una variedad compleja, y el grado de la variedad (relativo al embebido) es entonces el volumen de la variedad como variedad con respecto a la métrica heredada del entorno, el espacio proyectivo complejo. Una variedad proyectiva compleja se puede caracterizar como minimizadora del volumen (en cierto sentido).
Anillo de secciones
editarSea X una variedad proyectiva y L un conjunto de líneas rectas. Entonces, el anillo graduado
se llama anillo de secciones de L. Si L es amplio, entonces la construcción Proy de este anillo es X. Además, si X es normal y L es muy amplia, entonces es la clausura integral del anillo de coordenadas homogéneas de X determinado por L; es decir, para que retorne a L.[14]
Para las aplicaciones, es útil permitir un divisor (o divisores ), no solo paquetes de líneas rectas; suponiendo que X es normal, el anillo resultante se denomina anillo generalizado de secciones. Si es un divisor canónico en X, entonces el anillo generalizado de secciones
se llama anillo canónico de X. Si el anillo canónico se genera de forma finita, entonces el Proy del anillo se denomina modelo canónico de X. El anillo o modelo canónico se puede utilizar para definir la dimensión de Kodaira de X.
Curvas proyectivas
editarLos esquemas proyectivos de dimensión uno se denominan curvas proyectivas. Gran parte de la teoría de curvas proyectivas trata sobre curvas proyectivas suaves, ya que las singularidades de las curvas pueden resolverse mediante normalización, que consiste en tomar localmente el cierre integral del anillo de funciones regulares. Las curvas proyectivas suaves son isomorfas si y solo si sus cuerpos de funciones son isomorfas. El estudio de extensiones finitas de
o curvas proyectivas equivalentemente suaves sobre es una rama importante en teoría de números algebraicos.[15]
Una curva proyectiva suave de género uno se llama curva elíptica. Como consecuencia del teorema de Riemann-Roch, dicha curva puede incluirse como una subvariedad cerrada en . En general, cualquier curva proyectiva (suave) se puede incrustar en (para una demostración, consúltese variedad secante#Ejemplos). Por el contrario, cualquier curva cerrada suave en de grado tres tiene género uno por la fórmula del género y, por lo tanto, es una curva elíptica.
Una curva completa suave de género mayor o igual a dos se llama curva hiperelíptica si existe un morfismo finito de grado dos.[16]
Hipersuperficies proyectivas
editarTodo subconjunto cerrado irreducible de de codimensión uno es una hipersuperficie, es decir, el conjunto de ceros de algún polinomio irreducible homogéneo.[17]
Variedades abelianas
editarOtro invariante importante de una variedad proyectiva X es el grupo de Picard de X, el conjunto de clases de isomorfismo de haces de líneas rectas en X. Es isomorfo a y, por tanto, una noción intrínseca (independiente de la incrustación). Por ejemplo, el grupo de Picard de es isomorfo a mediante la aplicación de grados. El núcleo de no es solo un grupo abeliano abstracto, sino que existe una variedad llamada variedad jacobiana de X, Jac(X), cuyos puntos son iguales a este grupo. El jacobiano de una curva (suave) juega un papel importante en el estudio de la curva. Por ejemplo, el jacobiano de una curva elíptica E es la propia E. Para una curva X de género g, Jac(X) tiene dimensión g.
Las variedades, como la variedad jacobiana, que son completas y tienen una estructura de grupo, se conocen como variedades abelianas, en honor a Niels Henrik Abel. En marcado contraste con los grupos algebraicos afines como , estos grupos son siempre conmutativos, de ahí el nombre. Además, admiten un paquete de rectas amplio y, por tanto, son proyectivos. Por otro lado, es posible que un esquema abeliano no sea proyectivo. Ejemplos de variedades abelianas son las curvas elípticas, las variedades jacobianas y las K3 superficies.
Proyecciones
editarSea un subespacio lineal; es decir, para algunos funcionales lineales linealmente independientes si. Entonces la proyección de E es el morfismo (bien definido)
La descripción geométrica de esta aplicación es la siguiente:[18]
- Sea de manera que esté separado de E. Entonces, para cualquier , : donde denota el espacio lineal más pequeño que contiene E y x (llamado unión de E y x).
- donde son las coordenadas homogéneas en
- Para cualquier subesquema cerrado disjunto de E, la restricción es un morfismo finito.[19]
Las proyecciones se pueden utilizar para reducir la dimensión en la que está embebida una variedad proyectiva, hasta el morfismo finito. Comiéncese con alguna variedad proyectiva Si la proyección desde un punto que no está en X da Además, es una aplicación finita de su imagen. Así, al iterar el procedimiento, se ve que hay una aplicación finita
Este resultado es el análogo proyectivo del lema de normalización de Noether (de hecho, produce una prueba geométrica del lema de normalización).
Se puede utilizar el mismo procedimiento para mostrar el siguiente resultado ligeramente más preciso: dada una variedad proyectiva X sobre un cuerpo perfecto, existe un morfismo birracional finito desde X hasta una hipersuperficie H en [20] En particular, si X es normal, entonces es la normalización de H.
Dualidad y sistema lineal
editarMientras que un n-espacio proyectivo parametriza las líneas rectas en un n-espacio afín, su dual parametriza los hiperplanos en el espacio proyectivo, de la siguiente manera. Sea un cuerpo k. Por se hace referencia a un n-espacio proyectivo.
equipado con la construcción:
- , un hiperplano en
donde es un punto-L de para una extensión del cuerpo L de k y
Para cada L, la construcción es una biyección entre el conjunto de puntos L de y el conjunto de hiperplanos de . Debido a esto, se dice que el espacio proyectivo dual es el espacio de módulos de los hiperplanos en .
Una línea en se llama pincel: es una familia de hiperplanos en parametrizados por .
Si V es un espacio vectorial de dimensión finita sobre k, entonces, por la misma razón que antes, es el espacio de hiperplanos en . Un caso importante es cuando V consta de secciones de un haz de líneas rectas. Es decir, sea X una variedad algebraica, L un paquete de líneas rectas en X y un subespacio vectorial de dimensión positiva finita. Entonces, existe una aplicación:[21]
determinada por el sistema lineal V, donde B, llamado lugar geométrico base, es la intersección de los divisores de cero de secciones distintas de cero en V (véase sistema lineal de divisores para la construcción de la aplicación).
Cohomología de haces coherentes
editarSea X un esquema proyectivo sobre un cuerpo (o, más generalmente, sobre un anillo noetheriano A). La cohomología de haces coherentes en X satisface los siguientes teoremas importantes debidos a Serre:
- es un espacio vectorial k de dimensión finita para cualquier p.
- Existe un entero (dependiendo de ; véase también regularidad de Castelnuovo-Mumford) tal que : para todo y p > 0, donde es la torsión con potencia de un haz de líneas rectas muy amplio
Estos resultados se demuestran reduciendo al caso utilizando el isomorfismo
donde en el lado derecho se ve como un haz en el espacio proyectivo mediante su extensión por cero.[22] El cálculo continúa mediante un cálculo directo para n cualquier número entero, y para arbitrario se reduce a este caso sin mucha dificultad.[23]
Como corolario del punto 1 anterior, si f es un morfismo proyectivo de un esquema noetheriano a un anillo noetheriano, entonces la imagen directa superior es coherente. El mismo resultado es válido para los morfismos propios f, como se puede demostrar con la ayuda del lema de Chow.
Los grupos de cohomología de haces Hi en un espacio topológico noetheriano se anulan para i estrictamente mayor que la dimensión del espacio. Así, la cantidad, llamada característica de Euler de ,
es un número entero bien definido (para X proyectivo). Entonces se puede deducir para algún polinomio P sobre números racionales.[24] Aplicando este procedimiento a la estructura del haz , se recupera el polinomio de Hilbert de X. En particular, si X es irreducible y tiene dimensión r, el género aritmético de X viene dado por
que es manifiestamente intrínseco; es decir, independiente del embebido.
El género aritmético de una hipersuperficie de grado d es en . En particular, una curva suave de grado d en tiene género aritmético . Esta es la fórmula de género.
Variedades proyectivas suaves
editarSea X una variedad proyectiva suave donde todos sus componentes irreducibles tienen dimensión n. En esta situación, el haz canónico ωX, definido como el haz del diferencial de Kähler de grado superior (es decir, n-formas algebraicas), es un paquete de líneas rectas.
Dualidad de Serre
editarLa dualidad de Serre establece que para cualquier gavilla localmente libre en X,
donde el superíndice primo se refiere al espacio dual y es el haz dual de . Una generalización a esquemas proyectivos, pero no necesariamente suaves, se conoce como dualidad de Verdier.
Teorema de Riemann-Roch
editarPara una curva (proyectiva suave) X, H2 y superiores desaparecen por razones dimensionales y el espacio de las secciones globales de la estructura es unidimensional. Por lo tanto, el género aritmético de X es la dimensión de . Por definición, el género geométrico de X es la dimensión de H0(X, ωX). La dualidad de Serre implica, por tanto, que el género aritmético y el género geométrico coinciden. Simplemente se les llamará género de X.
La dualidad de Serre es también un elemento clave en la prueba del teorema de Riemann-Roch. Como X es suave, existe un isomorfismo de grupos
del grupo de divisores principales de módulo divisor de (Weil) al grupo de clases de isomorfismo de haces de líneas rectas. Un divisor correspondiente a ωX se llama divisor canónico y se denota por K. Sea l(D) la dimensión de . Entonces, el teorema de Riemann-Roch establece que: si g es el género de X,
para cualquier divisor D en X. Por la dualidad de Serre, esto es lo mismo que:
que puede demostrarse fácilmente.[25] Una generalización del teorema de Riemann-Roch a una dimensión superior es el teorema de Hirzebruch-Riemann-Roch, así como el teorema de Grothendieck-Riemann-Roch de gran alcance.
Esquemas de Hilbert
editarLos esquemas de Hilbert parametrizan todas las subvariedades cerradas de un esquema proyectivo X en el sentido de que los puntos (en el sentido functorial) de H corresponden a los subesquemas cerrados de X. Como tal, el esquema de Hilbert es un ejemplo del espacio de módulos, es decir, un objeto geométrico cuyos puntos parametrizan otros objetos geométricos. Más precisamente, el esquema de Hilbert parametriza subvariedades cerradas cuyo polinomio de Hilbert es igual a un polinomio prescrito P.[26] Es un teorema profundo de Grothendieck que existe un esquema[27] sobre k tal que, para cualquier k-esquema T, existe una biyección
El subesquema cerrado de que corresponde a la aplicación de identidad se denomina familia universal.
Para , el esquema de Hilbert se denomina grasmaniano de r-planos en y, si X es un esquema proyectivo, se denomina esquema de Fano de r-planos en X.[28]
Variedades proyectivas complejas
editarEn esta sección, todas las variedades algebraicas son variedades algebraicas complejas. Una característica clave de la teoría de variedades proyectivas complejas es la combinación de métodos algebraicos y analíticos. La transición entre estas teorías se proporciona mediante el siguiente vínculo: dado que cualquier polinomio complejo es también una función holomorfa, cualquier variedad compleja X produce un espacio analítico complejo, denotado . Además, las propiedades geométricas de X se reflejan en las de . Por ejemplo, este último es una variedad compleja si y solo si X es suave; es compacto si y solo si X es propio sobre .
Relación con las variedades complejas de Kähler
editarEl espacio proyectivo complejo es una variedad de Kähler. Esto implica que, para cualquier variedad algebraica proyectiva X, es una variedad compacta de Kähler. En general, lo contrario no es cierto, pero el teorema de incrustación de Kodaira da un criterio para que una variedad de Kähler sea proyectiva.
En dimensiones bajas, se obtienen los siguientes resultados:
- (Riemann) Una superficie de Riemann (es decir, una variedad compleja compacta de dimensión uno) es una variedad proyectiva. Por el teorema de Torelli, está determinado únicamente por su jacobiano.
- (Chow-Kodaira) Una variedad compleja compacta de dimensión dos con dos funciones meromorfas algebraicamente independientes es una variedad proyectiva.[29]
GAGA y el teorema de Chow
editarEl teorema de Chow proporciona una forma sorprendente de ir en sentido contrario, de la geometría analítica a la algebraica. Afirma que toda subvariedad analítica de un espacio proyectivo complejo es algebraica. Se puede interpretar que el teorema dice que una función holomorfa que satisface cierta condición de crecimiento es necesariamente algebraica: el carácter "proyectivo" proporciona esta condición de crecimiento. Del teorema se puede deducir lo siguiente:
- Las funciones meromorfas en el espacio proyectivo complejo son racionales.
- Si una aplicación algebraica entre variedades algebraicas es un isomorfismo analítico, entonces es un isomorfismo (algebraico). Esta parte es un hecho básico en el análisis complejo. En particular, el teorema de Chow implica que una aplicación holomorfa entre variedades proyectivas es algebraica (considérese el grafo de dicha aplicación).
- Cada haz de vectores holomorfos en una variedad proyectiva es inducido por un paquete de vectores algebraicos único.[30]
- Cada paquete de líneas rectas holomorfas en una variedad proyectiva es un paquete de líneas rectas de un divisor.[31]
El teorema de Chow se puede demostrar mediante el principio GAGA de Serre. Su teorema principal dice:
- Sea X un esquema proyectivo sobre . Entonces, el funtor que asocia los haces coherentes en X con los haces coherentes en el correspondiente espacio analítico complejo Xan es una equivalencia de categorías. Además, los mapas naturales
- son isomorfismos para toda i y todos los haces coherentes en X.[32]
Toros complejos frente a variedades abelianas complejas
editarLa variedad compleja asociada a una variedad abeliana A sobre es un grupo de Lie complejo compacto. Se puede demostrar que son de la forma
y también se les conoce como toros complejos. Aquí, g es la dimensión del toro y L es una red (también conocida como par fundamental de períodos).
Según el teorema de uniformización ya mencionado anteriormente, cualquier toro de dimensión 1 surge de una variedad abeliana de dimensión 1, es decir, de una curva elíptica. De hecho, las funciones elípticas de Weierstraß unidas a L satisfacen una determinada ecuación diferencial y como consecuencia definen un embebido cerrado:[33]
Existe un análogo p-ádico, el teorema de uniformización p-ádica.
Para dimensiones superiores, las nociones de variedades abelianas complejas y toros complejos difieren: solo los toros complejos polarizados provienen de variedades abelianas.
Teorema de anulación de Kodaira
editarEl teorema de anulación de Kodaira fundamental establece que para un paquete de líneas rectas amplio en una variedad proyectiva suave X sobre un cuerpo de característica cero,
para i > 0, o, de manera equivalente, por la dualidad de Serre para i < n.[34] La primera demostración de este teorema utilizó métodos analíticos de la geometría de Kähler, pero más tarde se encontró una demostración puramente algebraica. La anulación de Kodaira en general falla en una variedad proyectiva suave en característica positiva. El teorema de Kodaira es uno de varios teoremas de anulación, que dan criterios para que desaparezcan las cohomologías de haces superiores. Dado que la característica de Euler de un haz (véase más arriba) es a menudo más manejable que los grupos de cohomología individuales, esto a menudo tiene consecuencias importantes sobre la geometría de las variedades proyectivas.[35]
Nociones relacionadas
editar- Variedad multiproyectiva
- Variedad proyectiva ponderada, una subvariedad cerrada de un espacio proyectivo ponderado[36]
Véase también
editarReferencias
editar- ↑ Kollár, Moduli, Ch I.
- ↑ Shafarevich, Igor R. (1994), Basic Algebraic Geometry 1: Varieties in Projective Space, Springer.
- ↑ Este ideal homogéneo a veces se denomina homogeneización de I.
- ↑ Mumford, 1999, pg. 82
- ↑ Hartshorne, 1977, Section II.5
- ↑ Mumford, 1999, pg. 111
- ↑ Esta definición difiere de Eisenbud y Harris, 2000, III.2.3 pero es consistente con las otras partes de Wikipedia.
- ↑ Véase la demostración de Hartshorne, 1977, Ch II, Theorem 7.1
- ↑ Grothendieck y Dieudonné, 1961, 5.6
- ↑ Hartshorne, 1977, Ch II. Exercise 4.5
- ↑ Humphreys, James (1981), Linear algebraic groups, Springer., Theorem 21.3
- ↑ Hartshorne, 1977, Ch. V, Exercise 3.4. (e).
- ↑ Fulton, 1998, Proposition 8.4.
- ↑ Hartshorne, 1977, Ch. II, Exercise 5.14. (a)
- ↑ Rosen, Michael (2002), Number theory in Function Fields, Springer.
- ↑ Hartshorne, 1977, Ch IV, Exercise 1.7.
- ↑ Hartshorne, 1977, Ch I, Exercise 2.8; esto se debe a que el anillo de coordenadas homogéneo de es un dominio de factorización única y en una UFD todo ideal primo de altura 1 es principal.
- ↑ Shafarevich, 1994, Ch. I. § 4.4. Example 1.
- ↑ Mumford y Oda, 2015, Ch. II, § 7. Proposition 6.
- ↑ Hartshorne, 1977, Ch. I, Exercise 4.9.
- ↑ Fulton, 1998, § 4.4.
- ↑ Esto no es difícil:(Hartshorne, 1977, Ch III. Lemma 2.10) considérese una resolución flácida de y su extensión cero a todo el espacio proyectivo.
- ↑ Hartshorne, 1977, Ch III. Theorem 5.2
- ↑ Hartshorne, 1977, Ch III. Exercise 5.2
- ↑ Hartshorne, 1977, Ch IV. Theorem 1.3
- ↑ Kollár, 1996, Ch I 1.4
- ↑ Para que la construcción funcione, es necesario permitir una no variedad.
- ↑ Eisenbud y Harris, 2000, VI 2.2
- ↑ Hartshorne, 1977, Appendix B. Theorem 3.4.
- ↑ Griffiths y Adams, 2015, IV. 1. 10. Corollary H
- ↑ Griffiths y Adams, 2015, IV. 1. 10. Corollary I
- ↑ Hartshorne, 1977, Appendix B. Theorem 2.1
- ↑ Mumford, 1970, pg. 36
- ↑ Hartshorne, 1977, Ch III. Remark 7.15.
- ↑ Esnault, Hélène; Viehweg, Eckart (1992), Lectures on vanishing theorems, Birkhäuser.
- ↑ Dolgachev, Igor (1982), «Weighted projective varieties», Group actions and vector fields (Vancouver, B.C., 1981), Lecture Notes in Math. 956, Berlin: Springer, pp. 34-71, ISBN 978-3-540-11946-3, MR 0704986, doi:10.1007/BFb0101508 Parámetro desconocido
|cite=
ignorado (ayuda).
Bibliografía
editar- Eisenbud, David; Harris, Joe (2000), The geometry of schemes.
- Fulton, William (1998), Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 2 (2nd edición), Berlin, New York: Springer Science+Business Media, ISBN 978-3-540-62046-4, MR 1644323.
- Griffiths, Phillip A.; Adams, John Frank (8 de marzo de 2015). Topics in Algebraic and Analytic Geometry. (MN-13), Volume 13: Notes From a Course of Phillip Griffiths (en inglés). Princeton University Press. ISBN 978-1-4008-6926-8.
- Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
- Huybrechts, Daniel (2005). Complex Geometry: An Introduction. Springer. ISBN 978-3-540-21290-4.
- Grothendieck, Alexandre; Dieudonné, Jean (1961). Éléments de géométrie algébrique: II. Étude globale élémentaire de quelques classes de morphismes. Publications Mathématiques de l'IHÉS. 8. doi:10.1007/bf02699291. MR 0217084
- Kollár, János, Book on Moduli of Surfaces.
- Kollár, János (1996), Rational curves on algebraic varieties.
- Mumford, David (1970), Abelian Varieties.
- Mumford, David (1995), Algebraic Geometry I: Complex Projective Varieties.
- Mumford, David (1999), The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians, Lecture Notes in Mathematics 1358 (2nd edición), Springer Science+Business Media, ISBN 978-3540632931, doi:10.1007/b62130.
- Mumford, David; Oda, Tadao (2015). Algebraic Geometry II (en inglés).
- Igor Shafarevich (1995). Basic Algebraic Geometry I: Varieties in Projective Space (2nd edición). Springer-Verlag. ISBN 978-0-387-54812-8.
- R. Vakil, Fundamentos de la geometría algebraica
Enlaces externos
editar- The Hilbert Scheme de Charles Siegel - una entrada de blog
- Variedades proyectivas Cap. 1