En matemáticas , una superficie algebraica es una variedad algebraica de dimensión dos. En el caso de la geometría sobre el campo de los números complejos , una superficie algebraica tiene dimensión compleja dos (como una variedad compleja , cuando no es singular ) y, por lo tanto, dimensión cuatro como una variedad suave .
La teoría de las superficies algebraicas es mucho más complicada que la de las curvas algebraicas (incluidas las superficies compactas de Riemann , que son superficies genuinas de dimensión (real) dos). Se obtuvieron muchos resultados, pero, en la escuela italiana de geometría algebraica , tienen hasta 100 años de antigüedad.
En el caso de la dimensión uno, las variedades se clasifican únicamente por el género topológico , pero, en la dimensión dos, es necesario distinguir el género aritmético y el género geométrico porque no se puede distinguir biracionalmente solo el género topológico. Luego, se introduce la irregularidad para la clasificación de las variedades. A continuación, se presenta un resumen de los resultados (en detalle, para cada tipo de superficie se hace referencia a cada redirección):
Algunos ejemplos de superficies algebraicas incluyen (κ es la dimensión de Kodaira ):
Para más ejemplos consulte la lista de superficies algebraicas .
Los primeros cinco ejemplos son, de hecho, birracionalmente equivalentes . Es decir, por ejemplo, una superficie cúbica tiene un cuerpo de funciones isomorfo al del plano proyectivo , siendo las funciones racionales dos indeterminadas. El producto cartesiano de dos curvas también proporciona ejemplos.
La geometría birracional de las superficies algebraicas es rica, debido a la transformación monoidal (también conocida como explosión ), en la que un punto se reemplaza por la curva de todas las direcciones tangentes limitantes que llegan a él (una línea proyectiva ). Algunas curvas también pueden ser derribadas , pero existe una restricción (el número de autointersecciones debe ser −1).
Uno de los teoremas fundamentales para la geometría biracional de superficies es el teorema de Castelnuovo , que establece que cualquier función biracional entre superficies algebraicas está dada por una secuencia finita de ampliaciones y descomposiciones.
El criterio de Nakai dice que:
Los divisores amplios tienen una propiedad interesante, como es el pullback de algún fibrado hiperplano del espacio proyectivo, cuyas propiedades son muy conocidas. Sea el grupo abeliano que consta de todos los divisores en S . Entonces, debido al teorema de intersección
se considera como una forma cuadrática . Sea
entonces pasa a ser un grupo de clases numéricamente equivalente de S y
también se convierte en una forma cuadrática en , donde es la imagen de un divisor D en S . (En la siguiente imagen se abrevia con D .)
Para un fibrado lineal amplio H en S , la definición
se utiliza en la versión de superficie del teorema del índice de Hodge :
Este teorema se demuestra utilizando el criterio de Nakai y el teorema de Riemann-Roch para superficies. El teorema del índice de Hodge se utiliza en la demostración de la conjetura de Weil de Deligne .
Los resultados básicos sobre superficies algebraicas incluyen el teorema del índice de Hodge y la división en cinco grupos de clases de equivalencia biracional denominada clasificación de superficies algebraicas . La clase de tipo general , de dimensión Kodaira 2, es muy grande (el grado 5 o mayor para una superficie no singular en P 3 se encuentra en ella, por ejemplo).
Hay tres invariantes esenciales de números de Hodge de una superficie. De ellos, h 1,0 se denominaba clásicamente irregularidad y se denotaba por q ; y h 2,0 se denominaba género geométrico p g . El tercero, h 1,1 , no es un invariante biracional , porque la explosión puede añadir curvas enteras, con clases en H 1,1 . Se sabe que los ciclos de Hodge son algebraicos y que la equivalencia algebraica coincide con la equivalencia homológica, de modo que h 1,1 es una cota superior para ρ , el rango del grupo de Néron-Severi . El género aritmético p a es la diferencia
Esto explica por qué la irregularidad recibió su nombre, como una especie de "término de error".
El teorema de Riemann-Roch para superficies fue formulado por primera vez por Max Noether . Las familias de curvas de superficies se pueden clasificar, en cierto sentido, y dan lugar a gran parte de su interesante geometría.
