En matemáticas, las superficies de Enriques son superficies algebraicas tales que la irregularidad q = 0 y el haz de rectas canónico K es no trivial pero tiene un cuadrado trivial. Todas las superficies de Enriques son proyectivas (y, por lo tanto, de Kähler sobre los números complejos) y son superficies elípticas de genus 0. Sobre cuerpos de característica distinta de 2, son cocientes de una superficie K3 por un grupo de orden 2 actuando sin puntos fijos; y su teoría es similar a la de las superficies algebraicas K3. Las superficies de Enriques fueron estudiadas en detalle por primera vez por como respuesta a una pregunta planteada por sobre si una superficie con q = pg = 0 es necesariamente racional, aunque algunas de las congruencias de Reye introducidas anteriormente por también son ejemplos de superficies de Enriques.
Las superficies de Enriques también pueden definirse sobre otros cuerpos. Sobre cuerpos de característica distinta de 2, demostró que la teoría es similar a la de los números complejos. Sobre cuerpos de característica 2, la definición se modifica y aparecen dos nuevas familias, denominadas superficies de Enriques singulares y supersingulares, descritas por . Estas dos familias adicionales están relacionadas con los dos esquemas de grupos algebraicos no discretos de orden 2 en característica 2.
Deben su nombre al matemático italiano Federigo Enriques (1871-1946).
Invariantes de superficies de Enriques complejas Los plurigéneros Pn son 1 si n es par y 0 si n es impar. El grupo fundamental tiene orden 2. El segundo grupo de cohomología H2(X, Z) es isomorfo a la suma del único retículo unimodular par II1,9 de dimensión 10 y signatura -8 y un grupo de orden 2.
+ Diamante de Hodge: 1 0 0 0 10 0 0 0 1
Las superficies de Enriques marcadas forman una familia conexa de 10 dimensiones, que demostró que es racional.
Característica 2
En la característica 2 aparecen nuevas familias de superficies de Enriques, a veces denominadas superficies cuasi de Enriques, superficies de Enriques no clásicas o superficies de Enriques (super)singulares. Aquí, el término "singular" no implica que la superficie tenga singularidades, sino que es "especial" de alguna manera.
En la característica 2, la definición de superficies de Enriques se modifica: se definen como superficies mínimas cuya clase canónica K es numéricamente equivalente a 0 y cuyo segundo número de Betti es 10 (en características distintas de la 2, esto equivale a la definición habitual). Así, se definebn 3 familias de superficies de Enriques:
Clásica: dim(H1(O)) = 0. Esto implica 2K = 0, pero K es distinto de cero, y Picτ es Z/2Z. La superficie es un cociente de una superficie de Gorenstein singular reducida mediante el esquema de grupo μ2.
Singular: dim(H1(O)) = 1 y recibe una acción no trivial por el endomorfismo de Frobenius. Esto implica que K = 0, y Picτ es μ2. La superficie es un cociente de una superficie K3 mediante el esquema de grupo Z/2Z.
Supersingular: dim(H1(O)) = 1 y recibe una acción trivial por el endomorfismo de Frobenius. Esto implica que K = 0, y Picτ es α2. La superficie es un cociente de una superficie de Gorenstein singular reducida mediante el esquema de grupo α2.
Todas las superficies de Enriques son elípticas o cuasi elípticas.
Ejemplos
Una congruencia de Reye es la familia de rectas contenidas en al menos dos cuádricas de un sistema lineal tridimensional de cuádricas dado en P3. Si el sistema lineal es genérico, la congruencia de Reye es una superficie de Enriques. Estas fueron halladas por y podrían ser los primeros ejemplos de superficies de Enriques.
Considérese una superficie de grado 6 en el espacio proyectivo tridimensional con rectas dobles a lo largo de las aristas de un tetraedro, como por ejemplo:
para algún polinomio homogéneo Q general de grado 2. Su normalización es una superficie de Enriques. Esta es la familia de ejemplos hallada por .
El cociente de una superficie K3 por una involución sin punto fijo es una superficie de Enriques, y todas las superficies de Enriques de característica distinta de 2 pueden construirse de esta manera. Por ejemplo, si S es la superficie K3 w4 + x4 + y4 + z4 = 0 y T es el automorfismo de orden 4 que transforma (w,x,y,z) en (w,ix,–y,–iz), entonces T2 tiene ocho puntos fijos. Al multiplicar estos ocho puntos por Texplotada y tomar el cociente por T2 se obtiene una superficie K3 con una involución T libre de puntos fijos, y el cociente de esta por T es una superficie de Enriques. Alternativamente, la superficie de Enriques se puede construir tomando el cociente de la superficie original por el automorfismo de orden 4 T y resolviendo los ocho puntos singulares del cociente. Otro ejemplo se obtiene al tomar la intersección de tres cuádricas de la forma Pi(u,v,w) + Qi(x,y,z) = 0 y calcular el cociente mediante la involución que transforma (u:v:w:x:y:z) en (–x:–y:–z:u:v:w). Para cuádricas genéricas, esta involución es una involución sin puntos fijos de una superficie K3, por lo que el cociente es una superficie de Enriques.
Véase también Anexo:Superficies algebráicas Clasificación de Enriques-Kodaira Variedad supersingular
Referencias
Bibliografía
Compact Complex Surfaces de Wolf P. Barth, Klaus Hulek, Chris A.M. Peters, Antonius Van de Ven . Este es el libro de referencia estándar para superficies complejas compactas.
Categoría:Geometría birracional Categoría:Superficies algebraicas