stringtranslate.com

Haz coherente

En matemáticas, especialmente en geometría algebraica y en la teoría de variedades complejas , los haces coherentes son una clase de haces estrechamente ligados a las propiedades geométricas del espacio subyacente. La definición de haces coherentes se hace con referencia a un haz de anillos que codifica esta información geométrica.

Los haces coherentes pueden considerarse como una generalización de los fibrados vectoriales . A diferencia de estos, forman una categoría abeliana y, por lo tanto, están cerrados bajo operaciones como la toma de núcleos , imágenes y conúcleos . Los haces cuasi coherentes son una generalización de los haces coherentes e incluyen los haces localmente libres de rango infinito.

La cohomología de haces coherentes es una técnica poderosa, en particular para estudiar las secciones de un haz coherente dado.

Definiciones

Un haz cuasi-coherente en un espacio anillado es un haz de - módulos que tiene una presentación local, es decir, cada punto en tiene un vecindario abierto en el que hay una secuencia exacta

para algunos conjuntos (posiblemente infinitos) y .

Un haz coherente en un espacio anillado es un haz de módulos que satisfacen las dos propiedades siguientes:

  1. es de tipo finito sobre , es decir, cada punto en tiene un vecindario abierto en tal que existe un morfismo sobreyectivo para algún número natural ;
  2. para cualquier conjunto abierto , cualquier número natural y cualquier morfismo de -módulos, el núcleo de es de tipo finito.

Los morfismos entre haces (cuasi-)coherentes son los mismos que los morfismos de haces de -módulos.

El caso de los esquemas

Cuando es un esquema, las definiciones generales anteriores son equivalentes a otras más explícitas. Un haz de -módulos es cuasi-coherente si y solo si sobre cada subesquema afín abierto la restricción es isomorfa al haz asociado al módulo sobre . Cuando es un esquema localmente noetheriano, es coherente si y solo si es cuasi-coherente y los módulos anteriores pueden considerarse finitamente generados .

En un esquema afín , existe una equivalencia de categorías desde los módulos hasta los haces cuasi coherentes, tomando un módulo para el haz asociado . La equivalencia inversa toma un haz cuasi coherente sobre el módulo de las secciones globales de .

A continuación se presentan varias caracterizaciones adicionales de haces cuasi coherentes en un esquema. [1]

Teorema  :  Sea un esquema y un módulo sobre él. Entonces los siguientes son equivalentes.

es un isomorfismo.
es un isomorfismo. El homomorfismo proviene de la propiedad universal de localización .

Propiedades

En un espacio anillado arbitrario, los haces cuasi-coherentes no necesariamente forman una categoría abeliana. Por otra parte, los haces cuasi-coherentes en cualquier esquema forman una categoría abeliana y son extremadamente útiles en ese contexto. [2]

En cualquier espacio anillado , los haces coherentes forman una categoría abeliana, una subcategoría completa de la categoría de -módulos. [3] (De manera análoga, la categoría de módulos coherentes sobre cualquier anillo es una subcategoría abeliana completa de la categoría de todos los -módulos). Por lo tanto, el núcleo, la imagen y el conúcleo de cualquier mapa de haces coherentes son coherentes. La suma directa de dos haces coherentes es coherente; de ​​manera más general, un -módulo que es una extensión de dos haces coherentes es coherente. [4]

Un submódulo de un haz coherente es coherente si es de tipo finito. Un haz coherente es siempre un -módulo de presentación finita , lo que significa que cada punto en tiene un entorno abierto tal que la restricción de a es isomorfa al conúcleo de un morfismo para algunos números naturales y . Si es coherente, entonces, a la inversa, todo haz de presentación finita sobre es coherente.

El haz de anillos se llama coherente si es coherente considerado como un haz de módulos sobre sí mismo. En particular, el teorema de coherencia de Oka establece que el haz de funciones holomorfas en un espacio analítico complejo es un haz coherente de anillos. La parte principal de la prueba es el caso . Del mismo modo, en un esquema localmente noetheriano , el haz de estructura es un haz coherente de anillos. [5]

Construcciones básicas de haces coherentes

Los fibrados vectoriales en este sentido de teoría de haces sobre un esquema son equivalentes a fibrados vectoriales definidos de una manera más geométrica, como un esquema con un morfismo y con una cobertura de por conjuntos abiertos con isomorfismos dados sobre tales que los dos isomorfismos sobre una intersección difieren por un automorfismo lineal. [6] (La equivalencia análoga también es válida para espacios analíticos complejos). Por ejemplo, dado un fibrado vectorial en este sentido geométrico, el haz correspondiente está definido por: sobre un conjunto abierto de , el -módulo es el conjunto de secciones del morfismo . La interpretación de teoría de haces de fibrados vectoriales tiene la ventaja de que los fibrados vectoriales (en un esquema localmente noetheriano) están incluidos en la categoría abeliana de haces coherentes.
Esto se debe a que está restringido al lugar de desaparición de los dos polinomios que tiene fibras bidimensionales, y tiene fibras unidimensionales en el resto.
[9]
Dado que este haz tiene tallos no triviales, pero cero secciones globales, no puede ser un haz cuasi coherente. Esto se debe a que los haces cuasi coherentes en un esquema afín son equivalentes a la categoría de módulos sobre el anillo subyacente, y la adjunción proviene de tomar secciones globales.

Funcionalidad

Sea un morfismo de espacios anillados (por ejemplo, un morfismo de esquemas ). Si es un haz cuasi-coherente en , entonces el módulo de imagen inversa (o pullback ) es cuasi-coherente en . [10] Para un morfismo de esquemas y un haz coherente en , el pullback no es coherente en generalidad completa (por ejemplo, , que podría no ser coherente), pero los pullbacks de haces coherentes son coherentes si es localmente noetheriano. Un caso especial importante es el pullback de un fibrado vectorial, que es un fibrado vectorial.

Si es un morfismo cuasi-compacto cuasi-separado de esquemas y es un haz cuasi-coherente en , entonces el haz de imagen directa (o pushforward ) es cuasi-coherente en . [2]

La imagen directa de un haz coherente a menudo no es coherente. Por ejemplo, para un cuerpo , sea la línea afín sobre , y considere el morfismo ; entonces la imagen directa es el haz sobre asociado al anillo de polinomios , que no es coherente porque tiene dimensión infinita como un espacio vectorial -. Por otro lado, la imagen directa de un haz coherente bajo un morfismo propio es coherente, por resultados de Grauert y Grothendieck .

Comportamiento local de haces coherentes

Una característica importante de los haces coherentes es que las propiedades de en un punto controlan el comportamiento de en un entorno de , más de lo que sería cierto para un haz arbitrario. Por ejemplo, el lema de Nakayama dice (en lenguaje geométrico) que si es un haz coherente en un esquema , entonces la fibra de en un punto (un espacio vectorial sobre el cuerpo de residuos ) es cero si y solo si el haz es cero en algún entorno abierto de . Un hecho relacionado es que la dimensión de las fibras de un haz coherente es semicontinua superior . [11] Por lo tanto, un haz coherente tiene rango constante en un conjunto abierto, mientras que el rango puede saltar hacia arriba en un subconjunto cerrado de dimensión inferior.

En el mismo espíritu: un haz coherente en un esquema es un fibrado vectorial si y sólo si su tallo es un módulo libre sobre el anillo local para cada punto en . [12]

En un esquema general, no se puede determinar si un haz coherente es un fibrado vectorial sólo a partir de sus fibras (en contraposición a sus tallos). Sin embargo, en un esquema localmente noetheriano reducido , un haz coherente es un fibrado vectorial si y sólo si su rango es localmente constante. [13]

Ejemplos de paquetes vectoriales

Para un morfismo de esquemas , sea el morfismo diagonal , que es una inmersión cerrada si está separado sobre . Sea el haz ideal de en . Entonces el haz de diferenciales puede definirse como el pullback de a . Las secciones de este haz se denominan 1-formas sobre sobre , y pueden escribirse localmente en como sumas finitas para funciones regulares y . Si es localmente de tipo finito sobre un cuerpo , entonces es un haz coherente sobre .

Si es suave sobre , entonces (que significa ) es un fibrado vectorial sobre , llamado fibrado cotangente de . Entonces, el fibrado tangente se define como el fibrado dual . Para una superficie suave de dimensión en todas partes, el fibrado tangente tiene rango .

Si es un subesquema suave cerrado de un esquema suave sobre , entonces hay una secuencia corta y exacta de fibrados vectoriales en :

que puede usarse como definición del fibrado normal en .

Para un esquema suave sobre un cuerpo y un número natural , el fibrado vectorial de i -formas en se define como la -ésima potencia exterior del fibrado cotangente, . Para una variedad suave de dimensión sobre , el fibrado canónico significa el fibrado lineal . Por lo tanto, las secciones del fibrado canónico son análogos algebro-geométricos de las formas de volumen en . Por ejemplo, una sección del fibrado canónico del espacio afín sobre se puede escribir como

donde es un polinomio con coeficientes en .

Sea un anillo conmutativo y un número natural. Para cada entero , existe un ejemplo importante de fibrado lineal en el espacio proyectivo sobre , llamado . Para definirlo, considere el morfismo de los esquemas -

dada en coordenadas por . (Es decir, pensando en el espacio proyectivo como el espacio de subespacios lineales unidimensionales del espacio afín, envíe un punto distinto de cero en el espacio afín a la línea que abarca). Entonces, una sección de sobre un subconjunto abierto de se define como una función regular en que es homogénea de grado , lo que significa que

como funciones regulares en ( . Para todos los números enteros y , existe un isomorfismo de fibrados de líneas en .

En particular, cada polinomio homogéneo en de grado sobre puede verse como una sección global de sobre . Nótese que cada subesquema cerrado del espacio proyectivo puede definirse como el conjunto cero de alguna colección de polinomios homogéneos, por lo tanto como el conjunto cero de algunas secciones de los fibrados de líneas . [14] Esto contrasta con el caso más simple del espacio afín, donde un subesquema cerrado es simplemente el conjunto cero de alguna colección de funciones regulares. Las funciones regulares en el espacio proyectivo sobre son solo las "constantes" (el anillo ), y por lo tanto es esencial trabajar con los fibrados de líneas .

Serre dio una descripción algebraica de todos los haces coherentes en el espacio proyectivo, más sutil que lo que ocurre para el espacio afín. Es decir, sea un anillo noetheriano (por ejemplo, un cuerpo), y considere el anillo polinómico como un anillo graduado con cada uno de grado 1. Entonces cada módulo graduado finitamente generado tiene un haz coherente asociado en sobre . Cada haz coherente en surge de esta manera a partir de un módulo graduado finitamente generado . (Por ejemplo, el fibrado de líneas es el haz asociado al módulo con su graduación reducida en .) Pero el módulo que produce un haz coherente dado en no es único; solo es único hasta cambiar por módulos graduados que son distintos de cero en solo un número finito de grados. Más precisamente, la categoría abeliana de haces coherentes es el cociente de la categoría de módulos graduados finitamente generados por la subcategoría de Serre de módulos que son distintos de cero solo en un número finito de grados. [15]

El fibrado tangente del espacio proyectivo sobre un cuerpo puede describirse en términos del fibrado lineal . Es decir, existe una sucesión exacta corta, la sucesión de Euler :

De ello se deduce que el fibrado canónico (el dual del fibrado lineal determinante del fibrado tangente) es isomorfo a . Este es un cálculo fundamental para la geometría algebraica. Por ejemplo, el hecho de que el fibrado canónico sea un múltiplo negativo del fibrado lineal amplio significa que el espacio proyectivo es una variedad de Fano . Sobre los números complejos, esto significa que el espacio proyectivo tiene una métrica de Kähler con curvatura de Ricci positiva .

Paquetes vectoriales en una hipersuperficie

Consideremos una hipersuperficie de grado suave definida por el polinomio homogéneo de grado . Entonces, existe una secuencia exacta

donde el segundo mapa es el retroceso de las formas diferenciales, y el primer mapa envía

Nótese que esta secuencia nos dice que es el haz conormal de en . Al dualizar esto obtenemos la secuencia exacta

por lo tanto es el fibrado normal de en . Si usamos el hecho de que dada una secuencia exacta

de fibrados vectoriales con rangos , , , existe un isomorfismo

de haces de líneas, entonces vemos que existe el isomorfismo

demostrando que

Construcción de Serre y paquetes vectoriales

Una técnica útil para construir fibrados vectoriales de rango 2 es la construcción de Serre [16] [17] pg 3 que establece una correspondencia entre fibrados vectoriales de rango 2 en una variedad proyectiva suave y subvariedades de codimensión 2 utilizando un cierto grupo calculado en . Esto se da por una condición cohomológica en el fibrado lineal (ver abajo).

La correspondencia en una dirección se da de la siguiente manera: para una sección podemos asociar el lugar de desaparición . Si es una subvariedad de codimensión 2, entonces

  1. Es una intersección completa local, lo que significa que si tomamos un gráfico afín, entonces se puede representar como una función , donde y
  2. El fibrado lineal es isomorfo al fibrado canónico en

En la otra dirección, [18] para una subvariedad de codimensión 2 y un fibrado lineal tal que

Hay un isomorfismo canónico

,

que es funcional con respecto a la inclusión de subvariedades de codimensión. Además, cualquier isomorfismo dado a la izquierda corresponde a un haz localmente libre en el medio de la extensión a la derecha. Es decir, para que sea un isomorfismo hay un haz localmente libre correspondiente de rango 2 que encaja en una secuencia exacta corta

Este fibrado vectorial puede estudiarse más a fondo utilizando invariantes cohomológicos para determinar si es estable o no. Esto constituye la base para estudiar los módulos de fibrados vectoriales estables en muchos casos específicos, como en variedades abelianas principalmente polarizadas [17] y superficies K3 . [19]

Clases de Chern y algebraicasK-teoría

Un fibrado vectorial sobre una variedad suave sobre un cuerpo tiene clases de Chern en el anillo de Chow de , en para . [20] Estas satisfacen las mismas propiedades formales que las clases de Chern en topología. Por ejemplo, para cualquier secuencia exacta corta

de fibrados vectoriales en , las clases de Chern de están dadas por

De ello se deduce que las clases de Chern de un fibrado vectorial dependen únicamente de la clase de en el grupo de Grothendieck . Por definición, para un esquema , es el cociente del grupo abeliano libre en el conjunto de clases de isomorfismo de fibrados vectoriales en por la relación que para cualquier secuencia exacta corta como la anterior. Aunque es difícil de calcular en general, la K-teoría algebraica proporciona muchas herramientas para estudiarla, incluida una secuencia de grupos relacionados para números enteros .

Una variante es el grupo (o ), el grupo de Grothendieck de haces coherentes en . (En términos topológicos, la teoría G tiene las propiedades formales de una teoría de homología de Borel-Moore para esquemas, mientras que la teoría K es la teoría de cohomología correspondiente ). El homomorfismo natural es un isomorfismo si es un esquema noetheriano separado regular , usando que cada haz coherente tiene una resolución finita por fibrados vectoriales en ese caso. [21] Por ejemplo, que da una definición de las clases de Chern de un haz coherente en una variedad suave sobre un cuerpo.

En términos más generales, se dice que un esquema noetheriano tiene la propiedad de resolución si cada haz coherente en tiene una sobreyección de algún fibrado vectorial en . Por ejemplo, cada esquema cuasiproyectivo sobre un anillo noetheriano tiene la propiedad de resolución.

Aplicaciones de la propiedad de resolución

Dado que la propiedad de resolución establece que un haz coherente en un esquema noetheriano es cuasi-isomorfo en la categoría derivada del complejo de fibrados vectoriales: podemos calcular la clase total de Chern de con

Por ejemplo, esta fórmula es útil para encontrar las clases de Chern del haz que representa un subesquema de . Si tomamos el esquema proyectivo asociado al ideal , entonces

ya que existe la resolución

encima .

Homomorfismo de haces vs. homomorfismo de haces

Cuando se utilizan indistintamente fibrados vectoriales y haces localmente libres de rango constante finito, se debe tener cuidado de distinguir entre homomorfismos de fibrado y homomorfismos de haces. En concreto, dados fibrados vectoriales , por definición, un homomorfismo de fibrado es un morfismo de esquema sobre (es decir, ) tal que, para cada punto geométrico en , es una función lineal de rango independiente de . Por tanto, induce el homomorfismo de haces de rango constante entre los correspondientes -módulos localmente libres (haces de secciones duales). Pero puede haber un homomorfismo de -módulo que no surja de esta manera; es decir, aquellos que no tienen rango constante.

En particular, un subconjunto es un subconjunto (es decir, es un subconjunto de ). Pero la inversa puede fallar; por ejemplo, para un divisor de Cartier efectivo en , es un subconjunto pero típicamente no es un subconjunto (ya que cualquier conjunto de líneas tiene solo dos subconjuntos).

La categoría de haces cuasi-coherentes

Los haces cuasi-coherentes en cualquier esquema fijo forman una categoría abeliana. Gabber demostró que, de hecho, los haces cuasi-coherentes en cualquier esquema forman una categoría abeliana particularmente bien comportada, una categoría de Grothendieck . [22] Un esquema cuasi-compacto cuasi-separado (tal como una variedad algebraica sobre un cuerpo) está determinado hasta el isomorfismo por la categoría abeliana de haces cuasi-coherentes en , por Rosenberg, generalizando un resultado de Gabriel . [23]

Cohomología coherente

La herramienta técnica fundamental en geometría algebraica es la teoría de cohomología de haces coherentes. Aunque se introdujo recién en la década de 1950, muchas técnicas anteriores de geometría algebraica se clarifican con el lenguaje de la cohomología de haces aplicado a haces coherentes. En términos generales, la cohomología de haces coherentes puede considerarse como una herramienta para producir funciones con propiedades específicas; las secciones de haces de líneas o de haces más generales pueden considerarse funciones generalizadas. En geometría analítica compleja, la cohomología de haces coherentes también desempeña un papel fundamental.

Entre los resultados principales de la cohomología de haces coherentes se encuentran resultados sobre la dimensionalidad finita de la cohomología, resultados sobre la desaparición de la cohomología en varios casos, teoremas de dualidad como la dualidad de Serre , relaciones entre la topología y la geometría algebraica como la teoría de Hodge , y fórmulas para las características de Euler de los haces coherentes como el teorema de Riemann-Roch .

Véase también

Notas

  1. ^ Mumford 1999, Cap. III, § 1, Teorema-Definición 3.
  2. ^ Proyecto ab Stacks, Etiqueta 01LA.
  3. ^ Proyecto Stacks, etiqueta 01BU.
  4. ^ Serre 1955, §13
  5. ^ Grothendieck y Dieudonné 1960, Corolaire 1.5.2
  6. ^ Hartshorne 1977, Ejercicio II.5.18
  7. ^ Proyecto Stacks, etiqueta 00NV.
  8. ^ Serre 1955, §14
  9. ^ Hartshorne 1977
  10. ^ Proyecto Stacks, Etiqueta 01BG.
  11. ^ Hartshorne 1977, Ejemplo III.12.7.2
  12. ^ Grothendieck y Dieudonné 1960, cap. 0, 5.2.7
  13. ^ Eisenbud 1995, Ejercicio 20.13
  14. ^ Hartshorne 1977, Corolario II.5.16
  15. ^ Proyecto Stacks, Etiqueta 01YR.
  16. ^ Serre, Jean-Pierre (1960-1961). "Sobre los módulos proyectados". Seminario Dubreil. Algèbre et théorie des nombres (en francés). 14 (1): 1–16.
  17. ^ ab Gulbrandsen, Martin G. (2013-05-20). "Fertilizadores vectoriales y mónadas en tripletas abelianas" (PDF) . Communications in Algebra . 41 (5): 1964–1988. arXiv : 0907.3597 . doi :10.1080/00927872.2011.645977. ISSN  0092-7872.
  18. ^ Hartshorne, Robin (1978). "Paquetes de vectores estables de rango 2 en P3". Annalen Matemáticas . 238 : 229–280.
  19. ^ Huybrechts, Daniel; Lehn, Manfred (2010). La geometría de los espacios de módulos de haces. Cambridge Mathematical Library (2.ª ed.). Cambridge: Cambridge University Press. pp. 123–128, 238–243. doi :10.1017/cbo9780511711985. ISBN 978-0-521-13420-0.
  20. ^ Fulton 1998, §3.2 y Ejemplo 8.3.3
  21. ^ Fulton 1998, B.8.3
  22. ^ Proyecto Stacks, etiqueta 077K.
  23. ^ Antieau 2016, Corolario 4.2

Referencias

Enlaces externos