Forma de Killing
En matemáticas, la forma de killing de un álgebra de Lie, llamada así por Wilhelm Killing, es una forma bilineal simétrica que desempeña un papel básico en las teorías de grupos de Lie y álgebras de Lie. Los criterios de Cartan (criterio de solubilidad y criterio de semisimplicidad) afirman que la forma de Killing tiene una estrecha relación con la semisimplicidad de las álgebras de Lie.[1]
Historia y nombre
La forma Killing fue esencialmente introducida en la teoría de álgebras de Lie por Élie Cartan () en su tesis. En un estudio histórico sobre la teoría de Lie,Borel (2001) señala cómo el término "forma de Killing" apareció por primera vez en 1951, durante uno de los informes para el Séminaire Bourbaki; surgió como una denominación inadecuada, ya que la forma había sido utilizada previamente por teóricos como Sophus Lie, aunque no la habían denominada de ninguna manera especial. Otros autores ahora emplean el término forma de Cartan-Killing.[2] A finales del siglo XIX, W. Killing había notado que los coeficientes de la ecuación característica de un elemento semisimple y regular de un álgebra de Lie son invariantes bajo el grupo adjunto, de lo que se deduce que la forma Killing (es decir, el coeficiente de grado 2) es invariante, pero no extrajo mayores consecuencias de esta observación. Un resultado básico que É. Cartan utilizó fue el criterio de Cartan, que establece que la forma Killing no es degenerada si y solo si el álgebra de Lie es una suma directa de álgebras de Lie simples.[2]
Definición
Considérese un álgebra de Lie sobre un cuerpo algebraico , entonces, cada elemento de define el endomorfismo adjunto (también escrito como ) de con la ayuda del corchete de Lie, como
Ahora, suponiendo es de dimensión finita, la traza de la composición de dos de estos endomorfismos define una forma bilineal simétrica
con valores en , la forma de Killing en .
Propiedades
Las siguientes propiedades se siguen como teoremas de la definición anterior:
- La forma Killing es bilineal y simétrica.
- La forma Killing es una forma invariante, al igual que todas las demás formas obtenidas de operadores de Casimir. La derivación de los operadores de Casimir desaparece; para la forma Killing, esta desaparición se puede escribir como
- donde [ , ] es el corchete de Lie.
- Si es un álgebra de Lie simple entonces cualquier forma bilineal simétrica invariante en es un múltiplo escalar de la forma Killing.
- La forma Killing también es invariante bajo automorfismos s del álgebra , es decir,
- para s en .
- El criterio de Cartan establece que un álgebra de Lie es semisimple si y sólo si la forma Killing es no degenerada.
- La forma Killing de un álgebra de Lie nilpotente es idénticamente cero.
- Si y son dos ideales en un álgebra de Lie con intersección cero, luego y son subespacios ortogonales con respecto a la forma Killing.
- El complemento ortogonal con respecto a de un ideal es de nuevo un ideal.[3]
- Si un álgebra de Lie dada es una suma directa de sus ideales , entonces la forma Killing de es la suma directa de las formas Killing de los summands individuales.
Elementos de matriz
Dada una base del álgebra de Lie , los elementos matriciales de la forma Killing vienen dados por
Aquí
en notación de suma de Einstein, donde cijk son las constantes de estructura del álgebra de Lie. El índice funciona como índice de columna y el índice como índice de fila en la matriz . Tomar el rastro equivale a poner y sumando, y así podemos escribir
La forma Killing es el 2-tensor más simple que se puede formar a partir de las constantes de estructura. La forma en sí es entonces
En la definición indexada anterior, debemos tener cuidado al distinguir los índices superiores e inferiores (índices co- y contra-variantes). Esto se debe a que, en muchos casos, la forma Killing se puede usar como un tensor métrico en una variedad, en cuyo caso la distinción se vuelve importante para las propiedades de transformación de los tensores. Cuando el álgebra de Lie es semisimple sobre un campo de característica cero, su forma Killing no es degenerada, y por lo tanto se puede usar como un tensor métrico para subir y bajar índices. En este caso, siempre es posible elegir una base para tal que las constantes de estructura con todos los índices superiores sean completamente antisimétrico.
La forma Killing para algunas álgebras de Lie son (para X, Y en visto en su representación matricial fundamental):
, | |
, | |
, | |
, | |
, | |
, | |
, |
Conexión con formas reales
Supongamos que es un álgebra de Lie semisimple sobre el campo de los números reales . Por criterio de Cartan, la forma Killing no es degenerada, y puede ser diagonalizada en una base adecuada con las entradas diagonales ±1. Por ley de inercia de Sylvester, el número de entradas positivas es un invariante de la forma bilineal, es decir, no depende de la elección de la base diagonalizante, y se llama el índice del álgebra de Lie . Este es un número entre y la dimensión de que es un invariante importante del álgebra de Lie real. En particular, un álgebra de Lie real se llama compacta si la forma killing es definida negativa (o semidefinida negativa si el álgebra de Lie no es semisimple). Nótese que esta es una de las dos definiciones inequivalentes comúnmente utilizadas para la compacidad de un álgebra de Lie; el otro establece que un álgebra de Lie es compacta si corresponde a un grupo de Lie compacto. La definición de compacidad en términos de definición negativa de la forma Killing es más restrictiva, ya que usando esta definición se puede demostrar que bajo la correspondencia de Lie, álgebra de Lie compactas corresponden a grupo de Lie compactos.
Si es un álgebra de Lie semisimple sobre los números complejos, entonces hay varias álgebras de Lie reales no isomorfas cuya complejización es , que se llaman sus formas reales. Resulta que cada álgebra de Lie semisimple compleja admite una forma real compacta única (hasta el isomorfismo) . Las formas reales de un álgebra de Lie semisimple compleja dada se etiquetan con frecuencia por el índice positivo de inercia de su forma Killing.
Por ejemplo, el complejo álgebra lineal especial tiene dos formas reales, el álgebra lineal especial real, denotada , y el álgebra unitaria especial, denotado . El primero es no compacto, la llamada forma real dividida, y su forma Killing tiene firma . La segunda es la forma real compacta y su forma Killing es definida negativa, es decir, tiene firma ( 0, 3). Los grupos de Lie correspondientes son el grupo no compacto de matrices reales 2 × 2 con el determinante unitario y el grupo unitario especial , que es compacto.
Formas de traza
Sea ser un álgebra de Lie de dimensión finita sobre el campo , y ser una representación del álgebra de Lie. Sea ser el funcional de seguimiento en . Luego podemos definir la forma de traza para la representación como
Entonces la forma Killing es el caso especial de que la representación es la representación adjunta, .
Es fácil demostrar que esto es simétrico, bilineal e invariante para cualquier representación .
Si además es simple y es irreducible, entonces se puede mostrar donde es el índice de la representación.
Véase también
- Invariante de Casimir
- Campo vectorial de Killing
- Tensor de Killing
Referencias
- ↑ Kirillov, 2008, p. 102.
- ↑ a b Borel, 2001
- ↑ Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (en inglés británico) 129. New York: Springer-Verlag. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103. doi:10.1007/978-1-4612-0979-9. Ver página 207.
Datos: Q634557