En matemáticas , los espacios algebraicos forman una generalización de los esquemas de la geometría algebraica , introducidos por Michael Artin [1] para su uso en la teoría de la deformación . Intuitivamente, los esquemas se dan pegando esquemas afines utilizando la topología de Zariski , mientras que los espacios algebraicos se dan pegando esquemas afines utilizando la topología étale más fina . Alternativamente, se puede pensar en los esquemas como localmente isomorfos a los esquemas afines en la topología de Zariski, mientras que los espacios algebraicos son localmente isomorfos a los esquemas afines en la topología étale.
La categoría resultante de espacios algebraicos extiende la categoría de esquemas y permite realizar varias construcciones naturales que se utilizan en la construcción de espacios de módulos pero que no siempre son posibles en la categoría más pequeña de esquemas, como tomar el cociente de una acción libre por un grupo finito (cf. el teorema de Keel-Mori ).
Existen dos formas comunes de definir los espacios algebraicos: pueden definirse como cocientes de esquemas por relaciones de equivalencia de étale o como haces en un sitio de étale grande que son localmente isomorfos a los esquemas. Estas dos definiciones son esencialmente equivalentes.
Un espacio algebraico X comprende un esquema U y un subesquema cerrado R ⊆ U × U que satisface las dos condiciones siguientes:
Algunos autores, como Knutson, añaden una condición extra: un espacio algebraico tiene que estar cuasi-separado , lo que significa que la función diagonal es cuasi-compacta.
Siempre se puede suponer que R y U son esquemas afines . Esto significa que la teoría de espacios algebraicos no depende de la teoría completa de esquemas y, de hecho, puede utilizarse como un reemplazo (más general) de esa teoría.
Si R es la relación de equivalencia trivial sobre cada componente conexo de U (es decir, para todos los x , y que pertenecen al mismo componente conexo de U , tenemos xRy si y solo si x = y ), entonces el espacio algebraico será un esquema en el sentido habitual. Dado que un espacio algebraico general X no satisface este requisito, permite que un único componente conexo de U cubra X con muchas "capas". El conjunto de puntos subyacente al espacio algebraico X está dado entonces por | U | / | R | como un conjunto de clases de equivalencia .
Sea Y un espacio algebraico definido por una relación de equivalencia S ⊂ V × V . El conjunto Hom( Y , X ) de morfismos de espacios algebraicos se define entonces por la condición de que realice la secuencia descendente
exacta (esta definición está motivada por un teorema de descenso de Grothendieck para aplicaciones étales sobreyectivas de esquemas afines). Con estas definiciones, los espacios algebraicos forman una categoría .
Sea U un esquema afín sobre un cuerpo k definido por un sistema de polinomios g ( x ), x = ( x 1 , ..., x n ), sea
denotamos el anillo de funciones algebraicas en x sobre k , y sea X = { R ⊂ U × U } un espacio algebraico.
Los tallos apropiados Õ X , x sobre X se definen entonces como los anillos locales de funciones algebraicas definidas por Õ U , u , donde u ∈ U es un punto que se encuentra sobre x y Õ U , u es el anillo local correspondiente a u del anillo.
de funciones algebraicas en U .
Se dice que un punto en un espacio algebraico es suave si Õ X , x ≅ k { z 1 , ..., z d } para algunas indeterminaciones z 1 , ..., z d . La dimensión de X en x se define entonces simplemente como d .
Se dice que un morfismo f : Y → X de espacios algebraicos es étale en y ∈ Y (donde x = f ( y )) si la función inducida en tallos
es un isomorfismo.
La estructura del haz O X en el espacio algebraico X se define asociando el anillo de funciones O ( V ) en V (definido por aplicaciones étales de V a la línea afín A 1 en el sentido que se acaba de definir) a cualquier espacio algebraico V que sea étal sobre X .
Un espacio algebraico se puede definir como un conjunto de conjuntos
de tal manera que
La segunda condición es equivalente a la propiedad de que, dados cualesquiera esquemas y morfismos , su producto de fibras de haces
es representable mediante un esquema sobre . Nótese que algunos autores, como Knutson, añaden una condición adicional: un espacio algebraico tiene que estar cuasi separado , lo que significa que la función diagonal es cuasi compacta.
Los espacios algebraicos son similares a los esquemas, y gran parte de la teoría de esquemas se extiende a los espacios algebraicos. Por ejemplo, la mayoría de las propiedades de los morfismos de esquemas también se aplican a los espacios algebraicos; se puede definir la cohomología de haces cuasicoherentes, que tiene las propiedades de finitud habituales para los morfismos propios, y así sucesivamente.
Los espacios algebraicos sobre números complejos están estrechamente relacionados con los espacios analíticos y las variedades de Moishezon .
En términos generales, la diferencia entre espacios algebraicos complejos y espacios analíticos es que los espacios algebraicos complejos se forman pegando piezas afines entre sí utilizando la topología étale, mientras que los espacios analíticos se forman pegando con la topología clásica. En particular, existe un funtor de espacios algebraicos complejos de tipo finito a espacios analíticos. Las variedades de Hopf dan ejemplos de superficies analíticas que no provienen de un espacio algebraico propio (aunque se pueden construir espacios algebraicos no propios y no separados cuyo espacio analítico sea la superficie de Hopf). También es posible que diferentes espacios algebraicos correspondan al mismo espacio analítico: por ejemplo, una curva elíptica y el cociente de C por la red correspondiente no son isomorfos como espacios algebraicos, pero los espacios analíticos correspondientes sí lo son.
Artin demostró que los espacios algebraicos propios sobre los números complejos son más o menos los mismos que los espacios de Moishezon.
Una generalización de gran alcance de los espacios algebraicos la dan las pilas algebraicas . En la categoría de pilas podemos formar incluso más cocientes mediante acciones grupales que en la categoría de espacios algebraicos (el cociente resultante se llama pila de cocientes ).
