Haz localmente constante de grupos abelianos en el espacio topológico
En matemáticas , un sistema local (o un sistema de coeficientes locales ) en un espacio topológico X es una herramienta de topología algebraica que interpola entre cohomología con coeficientes en un grupo abeliano fijo A y cohomología de gavilla general en la que los coeficientes varían de un punto a otro. . Norman Steenrod introdujo los sistemas de coeficientes locales en 1943. [1]
Los sistemas locales son los componentes básicos de herramientas más generales, como las poleas construibles y perversas .
Definición
Sea X un espacio topológico . Un sistema local (de grupos/módulos/... abelianos) en X es una gavilla localmente constante (de grupos / módulos /... abelianos ...) en X . En otras palabras, una gavilla es un sistema local si cada punto tiene una vecindad abierta tal que la gavilla restringida es isomorfa a la gavilla de alguna pregavilla constante. [ se necesita aclaración ]
Definiciones equivalentes
Espacios conectados por caminos
Si X está conectado por caminos , [ se necesita aclaración ] un sistema local de grupos abelianos tiene el mismo tallo en cada punto. Existe una correspondencia biyectiva entre sistemas locales en X y homomorfismos de grupo.
y lo mismo para sistemas locales de módulos. El mapa que proporciona el sistema local se llama representación monodromía de .
Prueba de equivalenciaTome el sistema local y un bucle en x . Es fácil demostrar que cualquier sistema local encendido es constante. Por ejemplo, es constante. Esto da un isomorfismo , es decir, entre y él mismo. Por el contrario, dado un homomorfismo , considere la gavilla constante en la cubierta universal de X. Las secciones invariantes de transformación de plataforma de dan un sistema local en X . De manera similar, las secciones equivariantes ρ de la transformada de plataforma dan otro sistema local en X : para un conjunto abierto U suficientemente pequeño , se define como
¿Dónde está la cubierta universal?
Esto muestra que (para X conectado por trayectoria) un sistema local es precisamente un haz cuyo retroceso hacia la cubierta universal de X es un haz constante.
Esta correspondencia se puede actualizar a una equivalencia de categorías entre la categoría de sistemas locales de grupos abelianos en X y la categoría de grupos abelianos dotados de una acción de (equivalentemente, -módulos). [2]
Mayor definición de espacios no conectados
Una definición no equivalente más fuerte que funciona para X no conectado es: la siguiente: un sistema local es un funtor covariante
desde el grupoide fundamental de hasta la categoría de módulos sobre un anillo conmutativo , donde normalmente . Esto es equivalente a los datos de una asignación a cada punto de un módulo junto con una representación de grupo tal que los distintos sean compatibles con el cambio de punto base y el mapa inducido en grupos fundamentales .
Ejemplos
- Gavillas constantes como . Esta es una herramienta útil para calcular la cohomología ya que, en buenas situaciones, existe un isomorfismo entre la cohomología de gavilla y la cohomología singular:
- Dejar . Puesto que , existe una familia de sistemas locales en X correspondientes a los mapas :
- Secciones horizontales de paquetes de vectores con una conexión plana. Si es un paquete vectorial con conexión plana , entonces hay un sistema local dado por. Por ejemplo, tome y , el paquete trivial. Las secciones de E son n -tuplas de funciones en X , por lo que definen una conexión plana en E , al igual que para cualquier matriz de formas unitarias en X . Las secciones horizontales son entonces es decir, las soluciones de la ecuación diferencial lineal .
Si se extiende a una forma única en lo anterior, también definirá un sistema local , por lo que será trivial ya que . Entonces, para dar un ejemplo interesante, elija uno con un polo en 0 :
en cuyo caso para ,
- Un mapa de cobertura de n hojas es un sistema local con fibras dadas por el conjunto . De manera similar, un haz de fibras con fibras discretas es un sistema local, porque cada camino se eleva de manera única hasta una elevación determinada de su punto base. (La definición se ajusta para incluir sistemas locales con valores establecidos de la manera obvia).
- Un sistema local de k -espacios vectoriales en X es equivalente a una k -representación lineal de .
- Si la conexión no es plana (es decir, su curvatura es distinta de cero), entonces el transporte paralelo de una fibra F_x sobre x alrededor de un bucle contráctil basado en x _0 puede dar un automorfismo no trivial de F_x , por lo que las poleas localmente constantes no necesariamente pueden definirse para no -conexiones planas.
Cohomología
Hay varias formas de definir la cohomología de un sistema local, llamada cohomología con coeficientes locales , que se vuelven equivalentes bajo supuestos suaves sobre X.
- Dada una gavilla localmente constante de grupos abelianos en X , tenemos los grupos de cohomología de la gavilla con coeficientes en .
- Dada una gavilla localmente constante de grupos abelianos en X , sea el grupo de todas las funciones f que asignan cada n -simplex singular a una sección global de la gavilla de imagen inversa . Estos grupos se pueden convertir en un complejo de cocadenas con diferenciales construidos como en la cohomología singular habitual. Definir como la cohomología de este complejo.
- El grupo de n -cadenas singulares sobre la cubierta universal de X tiene una acción de transformaciones por cubierta . Explícitamente, una transformación de plataforma requiere un singular n -símplex para . Entonces, dado un grupo abeliano L equipado con una acción de , se puede formar un complejo de cocadena a partir de los grupos de homomorfismos equivalentes como se indicó anteriormente. Definir como la cohomología de este complejo.
Si X es paracompacto y localmente contráctil , entonces . [3] Si el sistema local corresponde a L , entonces existe una identificación compatible con los diferenciales, [4] entonces .
Generalización
Los sistemas locales tienen una leve generalización a haces construibles : un haz construible en un espacio topológico conectado localmente es un haz tal que existe una estratificación de
donde hay un sistema local. Estos normalmente se encuentran tomando la cohomología del avance derivado para algún mapa continuo . Por ejemplo, si nos fijamos en los puntos complejos del morfismo
luego las fibras terminan
son la curva plana suave dada por , pero las fibras encima son . Si tomamos el avance derivado , obtenemos una gavilla construible. Sobre tenemos los sistemas locales.
mientras terminamos tenemos los sistemas locales
donde es el género de la curva plana (que es ).
Aplicaciones
La cohomología con coeficientes locales en el módulo correspondiente a la cobertura de orientación se puede utilizar para formular la dualidad de Poincaré para variedades no orientables: ver Dualidad torcida de Poincaré .
Ver también
Referencias
- ^ Steenrod, Norman E. (1943). "Homología con coeficientes locales". Anales de Matemáticas . 44 (4): 610–627. doi :10.2307/1969099. SEÑOR 0009114.
- ^ Milne, James S. (2017). Introducción a las variedades Shimura . Proposición 14.7.
- ^ Bredon, Glen E. (1997). Teoría de la gavilla , segunda edición, Textos de Posgrado en Matemáticas, vol. 25, Springer-Verlag . Capítulo III, Teorema 1.1.
- ^ Hatcher, Allen (2001). Topología algebraica , Cambridge University Press . Sección 3.H.
enlaces externos
- "Qué es realmente el sistema local". Intercambio de pila .
- Schnell, cristiano. "Computación de cohomología de sistemas locales" (PDF) .Analiza el cálculo de la cohomología con coeficientes en un sistema local mediante el uso del complejo de De Rham retorcido.
- Williamson, Geordie . "Una guía ilustrada de gavillas perversas" (PDF) .
- MacPherson, Robert (15 de diciembre de 1990). «Homología de intersección y gavillas perversas» (PDF) .
- El Zein, Fouad; Snoussi, Jawad. «Sistemas locales y poleas construibles» (PDF) .