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.Plantilla:Sfn

Historia y nombre

La forma Killing fue esencialmente introducida en la teoría de álgebras de Lie por Élie Cartan Plantilla:Harvtxt en su tesis. En un estudio histórico sobre la teoría de Lie,Plantilla:Harvtxt 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. A finales del Plantilla:Siglo, 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.

Definición

Considérese un álgebra de Lie $𝔤$ sobre un cuerpo algebraico $𝕂$, entonces, cada elemento $x$ de $𝔤$ define el endomorfismo adjunto $\text{ad}(x)$ (también escrito como ${\text{ad}}_x$) de $𝔤$ con la ayuda del corchete de Lie, como

$\mathrm{ad}(x)(y)=[x,y].$

Ahora, suponiendo $𝔤$ es de dimensión finita, la traza de la composición de dos de estos endomorfismos define una forma bilineal simétrica

$B(x,y)=\mathrm{trace}(\mathrm{ad}(x)\circ \mathrm{ad}(y)),$

con valores en $𝕂$, la forma de Killing en $𝔤$.

Propiedades

Las siguientes propiedades se siguen como teoremas de la definición anterior:

• La forma Killing $B$ 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

$B([x,y],z)=B(x,[y,z])$

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 Plantilla:Math del álgebra $𝔤$, es decir,

$B(s(x),s(y))=B(x,y)$

para Plantilla:Math 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 $I$ y $J$ son dos ideales en un álgebra de Lie $𝔤$ con intersección cero, luego $I$ y $J$ son subespacios ortogonales con respecto a la forma Killing.
• El complemento ortogonal con respecto a $B$ de un ideal es de nuevo un ideal.
• Si un álgebra de Lie dada $𝔤$ es una suma directa de sus ideales $I_1,\dots ,I_n$, entonces la forma Killing de $𝔤$ es la suma directa de las formas Killing de los sumandos individuales.

Elementos de matriz

Dada una base $e_i$ del álgebra de Lie $𝔤$, los elementos matriciales de la forma Killing vienen dados por

$B_{ij}=\mathrm{t}\mathrm{r}\mathrm{a}\mathrm{c}\mathrm{e}(\mathrm{a}\mathrm{d}(e_i)\circ \mathrm{a}\mathrm{d}(e_j)).$

Aquí

$(\text{ad}(e_i)\circ \text{ad}(e_j))(e_k)=[e_i,[e_j,e_k]]=[e_i,{c_{jk}}^m{e}_m]={c_{im}}^n{c_{jk}}^m{e}_n$

en notación de suma de Einstein, donde Plantilla:Math son las constantes de estructura del álgebra de Lie. El índice $k$ funciona como índice de columna y el índice $n$ como índice de fila en la matriz $\text{ad}(e_i,e_j)$. Tomar el rastro equivale a poner $k=n$ y sumando, y así podemos escribir

$B_{ij}={c_{im}}^n{c_{jn}}^m$

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 $B=B_{ij}{e}^i\otimes e^j.$

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 Plantilla:Math en $𝔤$ visto en su representación matricial fundamental):

$𝔤$	$B(X,Y)$
$𝔤𝔩(n,ℝ)$	$2n\text{tr}(XY)-2\text{tr}(X)\text{tr}(Y)$
$𝔰𝔩(n,ℝ)$, $n\ge 2$	$2n\text{tr}(XY)$
$𝔰𝔲(n)$, $n\ge 2$	$2n\text{tr}(XY)$
$𝔰𝔬(n)$, $n\ge 3$	$(n-2)\text{tr}(XY)$
$𝔰𝔬(n,ℂ)$, $n\ge 3$	$(n-2)\text{tr}(XY)$
$𝔰𝔭(2n,ℝ)$, $n\ge 1$	$(2n+2)\text{tr}(XY)$
$𝔰𝔭(2n,ℂ)$, $n\ge 1$	$(2n+2)\text{tr}(XY)$
$\text{sp}(n)$, $n\ge 1$	$(2n+2)\text{tr}(XY)$

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 Plantilla:Math. 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 $0$ 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 $𝔰𝔩(2,ℂ)$ tiene dos formas reales, el álgebra lineal especial real, denotada $𝔰𝔩(2,ℝ)$, y el álgebra unitaria especial, denotado $𝔰𝔲(2)$. El primero es no compacto, la llamada forma real dividida, y su forma Killing tiene firma $(2,1)$. La segunda es la forma real compacta y su forma Killing es definida negativa, es decir, tiene firma Plantilla:Math. Los grupos de Lie correspondientes son el grupo no compacto $\mathrm{S}\mathrm{L}(2,ℝ)$ de matrices reales Plantilla:Math con el determinante unitario y el grupo unitario especial $\mathrm{S}\mathrm{U}(2)$, que es compacto.

Formas de traza

Sea $𝔤$ ser un álgebra de Lie de dimensión finita sobre el campo $K$, y $\rho :𝔤\to \text{End}(V)$ ser una representación del álgebra de Lie. Sea ${\text{Tr}}_V:\text{End}(V)\to K$ ser el funcional de seguimiento en $V$. Luego podemos definir la forma de traza para la representación $\rho$ como

${\text{Tr}}_{\rho }:𝔤\times 𝔤\to K,$

${\text{Tr}}_{\rho }(X,Y)={\text{Tr}}_V(\rho (X)\rho (Y)).$

Entonces la forma Killing es el caso especial de que la representación es la representación adjunta, ${\text{Tr}}_{\text{ad}}=B$.

Es fácil demostrar que esto es simétrico, bilineal e invariante para cualquier representación $\rho$.

Si además $𝔤$ es simple y $\rho$ es irreducible, entonces se puede mostrar ${\text{Tr}}_{\rho }=I(\rho )B$ donde $I(\rho )$ es el índice de la representación.

Véase también

• Invariante de Casimir
• Campo vectorial de Killing
• Tensor de Killing