En topología , una rama de las matemáticas , la homología de intersección es un análogo de la homología singular especialmente adecuado para el estudio de espacios singulares , descubierto por Mark Goresky y Robert MacPherson en el otoño de 1974 y desarrollado por ellos durante los años siguientes.
Se utilizó la cohomología de intersección para probar las conjeturas de Kazhdan-Lusztig y la correspondencia de Riemann-Hilbert . Está estrechamente relacionado con la cohomología L 2 .
Enfoque de Goresky-MacPherson
Los grupos de homología de una variedad X compacta , orientada , conexa y de n dimensiones tienen una propiedad fundamental llamada dualidad de Poincaré : hay un emparejamiento perfecto.
Clásicamente –remontándonos, por ejemplo, a Henri Poincaré– esta dualidad se entendía en términos de la teoría de la intersección . un elemento de
está representado por un ciclo j -dimensional. Si un ciclo i -dimensional y uno -dimensional están en posición general , entonces su intersección es una colección finita de puntos. Utilizando la orientación de X se puede asignar a cada uno de estos puntos un signo; en otras palabras, la intersección produce un ciclo de dimensión 0 . Se puede demostrar que la clase de homología de este ciclo depende sólo de las clases de homología de los ciclos originales i y -dimensionales; Además, se puede demostrar que este binomio es perfecto .
Cuando X tiene singularidades (es decir, cuando el espacio tiene lugares que no se parecen ), estas ideas se desmoronan. Por ejemplo, ya no es posible entender la noción de "posición general" de los ciclos. Goresky y MacPherson introdujeron una clase de ciclos "permitidos" para los cuales la posición general tiene sentido. Introdujeron una relación de equivalencia para los ciclos permitidos (donde sólo los "límites permitidos" son equivalentes a cero) y llamaron al grupo
de ciclos i -dimensionales permitidos módulo esta relación de equivalencia "homología de intersección". Además, demostraron que la intersección de un ciclo permisible de i y de dimensión da un ciclo cero (ordinario) cuya clase de homología está bien definida.
Estratificaciones
La homología de intersección se definió originalmente en espacios adecuados con una estratificación , aunque los grupos a menudo resultan ser independientes de la elección de la estratificación. Existen muchas definiciones diferentes de espacios estratificados. Uno conveniente para la homología de intersección es una pseudovariedad topológica n -dimensional . Este es un espacio X ( paracompacto , Hausdorff ) que tiene una filtración
de X por subespacios cerrados tales que:
- Para cada i y para cada punto x de , existe una vecindad de x en X , un espacio estratificado de dimensión compacta L y un homeomorfismo que preserva la filtración . Aquí está el cono abierto en L.
- .
- es denso en X .
Si X es una pseudovariedad topológica, el estrato i -dimensional de X es el espacio .
Ejemplos:
- Si X es un complejo simplicial n -dimensional tal que cada simplex está contenido en un n -simplex y n −1 simplex está contenido en exactamente dos n -simplex, entonces el espacio subyacente de X es una pseudovariedad topológica.
- Si X es una variedad cuasiproyectiva compleja (posiblemente con singularidades), entonces su espacio subyacente es una pseudovariedad topológica, con todos los estratos de dimensión par.
Perversidades
Los grupos de homología de intersección dependen de una elección de perversidad , que mide hasta qué punto se permite que los ciclos se desvíen de la transversalidad. (El origen del nombre "perversidad" fue explicado por Goresky (2010).) Una perversidad es una función
de números enteros a números enteros tales que
- .
- .
La segunda condición se utiliza para mostrar la invariancia de los grupos de homología de intersección bajo cambio de estratificación.
La perversidad complementaria de es la que tiene
- .
Los grupos de homología de intersección de dimensión complementaria y perversidad complementaria están dualmente emparejados.
Ejemplos de perversidades
- La mínima perversidad tiene . Su complemento es la perversidad máxima con .
- La perversidad media (inferior) m está definida por , la parte entera de . Su complemento es la perversidad media alta, con valores . Si no se especifica la perversidad, generalmente se entiende la perversidad media baja. Si un espacio se puede estratificar con todos los estratos de dimensión par (por ejemplo, cualquier variedad compleja), entonces los grupos de homología de intersección son independientes de los valores de la perversidad en números enteros impares, por lo que las perversidades medias superior e inferior son equivalentes.
Homología de intersección singular
Fijar una pseudovariedad topológica X de dimensión n con cierta estratificación y una perversidad p .
Una aplicación σ del estándar i -simplex a X (un simplex singular) se considera permisible si
está contenido en el esqueleto de .
El complejo es un subcomplejo del complejo de cadenas singulares en X que consta de todas las cadenas singulares de modo que tanto la cadena como su límite son combinaciones lineales de símplex singulares permitidos. Los grupos de homología de intersección singular (con perversidad p )
son los grupos de homología de este complejo.
Si X tiene una triangulación compatible con la estratificación, entonces los grupos de homología de intersección simple se pueden definir de manera similar y son naturalmente isomórficos a los grupos de homología de intersección singular.
Los grupos de homología de intersección son independientes de la elección de estratificación de X.
Si X es una variedad topológica, entonces los grupos de homología de intersección (para cualquier perversidad) son los mismos que los grupos de homología habituales.
Pequeñas resoluciones
Una resolución de singularidades
de una variedad compleja Y se llama resolución pequeña si para cada r > 0, el espacio de puntos de Y donde la fibra tiene dimensión r es de codimensión mayor que 2 r . En términos generales, esto significa que la mayoría de las fibras son pequeñas. En este caso, el morfismo induce un isomorfismo desde la homología (de intersección) de X hasta la homología de intersección de Y (con la perversidad media).
Existe una variedad con dos resoluciones pequeñas diferentes que tienen diferentes estructuras de anillo en su cohomología, lo que muestra que, en general, no existe una estructura de anillo natural en la (co)homología de intersección.
teoría de la gavilla
La fórmula de Deligne para la cohomología de intersección establece que
donde está el complejo de intersección, un cierto complejo de gavillas construibles en X (considerado como un elemento de la categoría derivada, por lo que la cohomología de la derecha significa la hipercohomología del complejo). El complejo se obtiene comenzando con la gavilla constante en el conjunto abierto y extendiéndola repetidamente a conjuntos abiertos más grandes y luego truncándola en la categoría derivada; más precisamente está dado por la fórmula de Deligne
donde es un funtor de truncamiento en la categoría derivada, es la inclusión de en y es la gavilla constante en . [1]
Al reemplazar la gavilla constante con un sistema local, se puede usar la fórmula de Deligne para definir la cohomología de intersección con coeficientes en un sistema local.
Ejemplos
Dada una curva elíptica suave definida por un polinomio cúbico homogéneo , [2] como , el cono afín tiene una singularidad aislada en el origen ya que todas las derivadas parciales desaparecen. Esto se debe a que es homogéneo de grado y las derivadas son homogéneas de grado 2. En el marco y en el mapa de inclusión, el complejo de intersección se da como
Esto se puede calcular explícitamente observando los tallos de la cohomología. En donde el avance derivado es el mapa de identidad en un punto suave, por lo tanto, la única cohomología posible se concentra en el grado . Para la cohomología es más interesante ya que
el cierre de contiene el origen . Dado que cualquiera de estos puede refinarse considerando la intersección de un disco abierto con , podemos simplemente calcular la cohomología . Esto se puede hacer observando un paquete sobre la curva elíptica , el paquete hiperplano , y la secuencia de Wang da los grupos de cohomología, por lo tanto, las gavillas de cohomología en el tallo se
truncan, esto da las gavillas de cohomología no triviales , por lo tanto, el complejo de intersección tiene gavillas de cohomología.
Propiedades del complejo IC(X)
El complejo IC p ( X ) tiene las siguientes propiedades
- En el complemento de algún conjunto cerrado de codimensión 2, tenemos
- es 0 para i + m ≠ 0, y para i = − m los grupos forman el sistema local constante C
- es 0 para i + m < 0
- Si i > 0 entonces es cero excepto en un conjunto de codimensión al menos a para la a más pequeña con p ( a ) ≥ m − i
- Si i > 0 entonces es cero excepto en un conjunto de codimensión al menos a para la a más pequeña con q ( a ) ≥ ( i )
Como es habitual, q es la perversidad complementaria de p . Además, el complejo se caracteriza únicamente por estas condiciones, hasta el isomorfismo en la categoría derivada. Las condiciones no dependen de la elección de la estratificación, por lo que esto muestra que la cohomología de intersección tampoco depende de la elección de la estratificación.
La dualidad de Verdier lleva IC p a IC q desplazado por n = dim( X ) en la categoría derivada.
Ver también
Referencias
- ^ Advertencia: existe más de una convención sobre la forma en que la perversidad entra en la construcción de Deligne: los números a veces se escriben como .
- ^ Teoría de Hodge (PDF) . E. Cattani, Fouad El Zein, Phillip Griffiths, Dũng Tráng Lê., eds. Princeton. 21 de julio de 2014. ISBN 978-0-691-16134-1. OCLC 861677360. Archivado desde el original el 15 de agosto de 2020.
{{cite book}}
: CS1 maint: location missing publisher (link) CS1 maint: others (link), págs. 281-282
- Armand Borel , Cohomología de intersección . Progreso en matemáticas, Birkhauser Boston ISBN 0-8176-3274-3
- Mark Goresky y Robert MacPherson, La dualité de Poincaré pour les espaces singuliers. CR Acad. Ciencia. t. 284 (1977), págs. 1549-1551 Serie A.
- Goresky, Mark (2010), ¿Cuál es la etimología del término "gavilla perversa"?
- Goresky, Mark; MacPherson, Robert, Teoría de la homología de intersección , Topología 19 (1980), no. 2, 135–162. doi :10.1016/0040-9383(80)90003-8
- Goresky, Mark; MacPherson, Robert, Homología de intersección. II , Inventiones Mathematicae 72 (1983), núm. 1, 77-129. 10.1007/BF01389130 MR 0696691 Esto proporciona un enfoque teórico de la gavilla a la cohomología de intersección.
- Frances Kirwan, Jonathan Woolf, Introducción a la teoría de la homología de intersección ISBN 1-58488-184-4
- Kleiman, Steven. El desarrollo de la teoría de la homología de intersección. Un siglo de matemáticas en América, parte II, Hist. Matemáticas. 2, americano. Matemáticas. Soc., 1989, págs. 543–585.
- "Homología de intersección", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
enlaces externos
- ¿Cuál es la etimología del término "gavilla perversa"? (incluye discusión sobre la etimología del término "homología de intersección") – MathOverflow