stringtranslate.com

Cohomología del álgebra de Lie

En matemáticas , la cohomología del álgebra de Lie es una teoría de cohomología para las álgebras de Lie . Fue introducida por primera vez en 1929 por Élie Cartan para estudiar la topología de los grupos de Lie y los espacios homogéneos [1] relacionando los métodos cohomológicos de Georges de Rham con las propiedades del álgebra de Lie. Posteriormente fue ampliada por Claude Chevalley y Samuel Eilenberg (1948) a los coeficientes en un módulo de Lie  arbitrario . [2]

Motivación

Si es un grupo de Lie compacto simplemente conexo , entonces está determinado por su álgebra de Lie, por lo que debería ser posible calcular su cohomología a partir del álgebra de Lie. Esto se puede hacer de la siguiente manera. Su cohomología es la cohomología de De Rham del complejo de formas diferenciales en . Usando un proceso de promediado, este complejo puede ser reemplazado por el complejo de formas diferenciales invariantes por la izquierda . Las formas invariantes por la izquierda, mientras tanto, están determinadas por sus valores en la identidad, de modo que el espacio de formas diferenciales invariantes por la izquierda puede identificarse con el álgebra exterior del álgebra de Lie, con un diferencial adecuado.

La construcción de esta diferencial en un álgebra exterior tiene sentido para cualquier álgebra de Lie, por lo que se utiliza para definir la cohomología del álgebra de Lie para todas las álgebras de Lie. De manera más general, se utiliza una construcción similar para definir la cohomología del álgebra de Lie con coeficientes en un módulo.

Si es un grupo de Lie no compacto simplemente conexo , la cohomología del álgebra de Lie del álgebra de Lie asociada no necesariamente reproduce la cohomología de De Rham de . La razón de esto es que el paso del complejo de todas las formas diferenciales al complejo de formas diferenciales invariantes por la izquierda utiliza un proceso de promediado que solo tiene sentido para grupos compactos.

Definición

Sea un álgebra de Lie sobre un anillo conmutativo R con álgebra envolvente universal , y sea M una representación de (equivalentemente, un -módulo). Considerando R como una representación trivial de , se definen los grupos de cohomología

(ver funtor Ext para la definición de Ext). Equivalentemente, estos son los funtores derivados derechos del funtor submódulo invariante exacto izquierdo

De manera análoga, se puede definir la homología del álgebra de Lie como

(ver functor Tor para la definición de Tor), que es equivalente a los funtores derivados izquierdos del functor coinvariante exacto derecho

Algunos resultados básicos importantes sobre la cohomología de las álgebras de Lie incluyen los lemas de Whitehead , el teorema de Weyl y el teorema de descomposición de Levi .

Complejo Chevalley-Eilenberg

Sea un álgebra de Lie sobre un cuerpo , con una acción por la izquierda sobre el módulo . Los elementos del complejo de Chevalley-Eilenberg

se denominan cocadenas de a . Una -cocadena homogénea de a es, por tanto, una función -multilineal alternante . Cuando se genera finitamente como espacio vectorial, el complejo de Chevalley-Eilenberg es canónicamente isomorfo al producto tensorial , donde denota el espacio vectorial dual de .

El corchete de Lie sobre induce una aplicación transpuesta por dualidad. Esto último es suficiente para definir una derivación del complejo de cocadenas de a extendiendo según la regla graduada de Leibniz. Se sigue de la identidad de Jacobi que satisface y es de hecho un diferencial. En este contexto, se considera un módulo trivial mientras que se pueden considerar constantes.

En general, denotemos la acción izquierda de sobre y consideremosla como una aplicación . La diferencial de Chevalley–Eilenberg es entonces la única derivación que extiende y según la regla graduada de Leibniz , la condición de nilpotencia que se sigue del homomorfismo del álgebra de Lie de a y la identidad de Jacobi en .

Explícitamente, el diferencial de la -cocadena es la -cocadena dada por: [3]

donde el símbolo de circunvalación significa omitir ese argumento.

Cuando es un grupo de Lie real con álgebra de Lie , el complejo de Chevalley–Eilenberg también puede identificarse canónicamente con el espacio de formas invariantes por la izquierda con valores en , denotado por . La diferencial de Chevalley–Eilenberg puede entonces considerarse como una restricción de la derivada covariante en el fibrado trivial de fibras , equipada con la conexión equivariante asociada con la acción por la izquierda de en . En el caso particular donde está equipada con la acción trivial de , la diferencial de Chevalley–Eilenberg coincide con la restricción de la diferencial de De Rham en al subespacio de formas diferenciales invariantes por la izquierda.

Cohomología en pequeñas dimensiones

El grupo de cohomología cero es (por definición) los invariantes del álgebra de Lie que actúan sobre el módulo:

El primer grupo de cohomología es el espacio Der de derivaciones módulo el espacio Ider de derivaciones internas

,

donde una derivación es un mapa del álgebra de Lie tal que

y se llama interior si viene dado por

Para algunos en .

El segundo grupo de cohomología

es el espacio de clases de equivalencia de las extensiones del álgebra de Lie

del álgebra de Lie por el módulo .

De manera similar, cualquier elemento del grupo de cohomología da una clase de equivalencia de formas de extender el álgebra de Lie a un " álgebra de Lie" con en grado cero y en grado . [4] Un álgebra de Lie es un álgebra de Lie de homotopía con términos distintos de cero solo en los grados 0 a .

Ejemplos

Cohomología en el módulo trivial

Cuando , como se mencionó anteriormente, el complejo de Chevalley-Eilenberg coincide con el complejo de De-Rham para un grupo de Lie compacto correspondiente . En este caso conlleva la acción trivial de , por lo que para cada .

Las álgebras de Lie simples y de dimensión finita sólo tienen extensiones centrales triviales: aquí se proporciona una prueba .

Cohomología en el módulo adjunto

Cuando , la acción es la acción adjunta , .

Véase también

Referencias

  1. ^ Cartan, Élie (1929). "Sur les invariantes integrados de ciertos espacios homogéneos clos". Annales de la Société Polonesa de Mathématique . 8 : 181–225.
  2. ^ Koszul, Jean-Louis (1950). "Homología y cohomología de los álgebras de mentira". Boletín de la Société Mathématique de France . 78 : 65-127. doi : 10.24033/bsmf.1410 . Archivado desde el original el 21 de abril de 2019 . Consultado el 3 de mayo de 2019 .
  3. ^ Weibel, Charles A. (1994). Introducción al álgebra homológica . Cambridge University Press . pág. 240.
  4. ^ Baez, John C. ; Crans, Alissa S. (2004). "Álgebra de dimensiones superiores VI: 2-álgebras de Lie". Teoría y aplicaciones de categorías . 12 : 492–528. arXiv : math/0307263 . Código Bibliográfico :2003math......7263B. CiteSeerX 10.1.1.435.9259 .