Haces y Cohomología
Un haz registra datos que se definen localmente y se pegan consistentemente, y la cohomología de haces mide la obstrucción para pasar de soluciones locales a una global.
Definition
Un haz en un espacio asigna a cada conjunto abierto un conjunto (o grupo, anillo o módulo) de secciones compatibles bajo restricción y pegado; la cohomología de haces es la secuencia de functores derivados de tomar secciones globales, cuantificando la falla de las secciones locales para pegarse globalmente.
Scope
Este tema introduce pre-haces y haces en un espacio topológico o esquema, tallos, hacificación y morfismos de haces, con los ejemplos centrales del haz estructural, haces ideales y haces coherentes y cuasi-coherentes. Desarrolla la cohomología de haces a través de functores derivados del functor de secciones globales y la herramienta computacional de la cohomología de Čech, la cohomología de haces coherentes en el espacio proyectivo, y resultados fundamentales como los teoremas de finitud y anulación de Serre y la dualidad de Serre.
Core questions
- ¿Cómo las axiomas de pegado hacen de un haz la herramienta adecuada para datos de lo local a lo global?
- ¿Qué capturan los haces coherentes y cuasi-coherentes sobre la geometría en un esquema?
- ¿Por qué se define la cohomología de haces como un functor derivado, y cómo la calcula la cohomología de Čech?
- ¿Qué nos dicen los teoremas de finitud, anulación y dualidad de Serre sobre la cohomología coherente?
Key concepts
- Pre-haces, haces, tallos y hacificación
- Haces coherentes y cuasi-coherentes
- Cohomología de haces como un functor derivado
- Cohomología de Čech y su concordancia con la cohomología derivada
- Finitud de Serre, anulación y dualidad de Serre
Clinical relevance
La cohomología de haces es el motor computacional central de la geometría algebraica, controlando las secciones de haces de líneas, deformaciones y la teoría de obstrucción; la misma maquinaria subyace a la cohomología étale utilizada para probar las conjeturas de Weil y es omnipresente en la topología y la geometría compleja.
History
Leray introdujo los haces y su cohomología en la década de 1940; el FAC de Serre (1955) incorporó la cohomología de haces coherentes a la geometría algebraica, y Grothendieck reformuló la cohomología como functores derivados en su artículo de Tôhoku (1957), el marco adoptado en los tratamientos modernos.
Key figures
- Jean Leray
- Jean-Pierre Serre
- Alexander Grothendieck
Related topics
Seminal works
- hartshorne1977
- maclane1971
Frequently asked questions
- ¿Cuál es la diferencia entre un pre-haz y un haz?
- Un pre-haz asigna datos a conjuntos abiertos con mapas de restricción; un haz requiere adicionalmente que las secciones locales que concuerdan en las superposiciones se peguen a una sección global única, que es exactamente la localidad necesaria para la geometría.
- ¿Por qué la cohomología de haces es importante geométricamente?
- Sus dimensiones cuentan secciones globales, obstrucciones e invariantes como el género; la anulación de la cohomología superior es lo que permite que los datos geométricos locales —por ejemplo, secciones de un haz de líneas— se ensamblen globalmente.