Forma di Killing

In matematica, la forma di Killing è una forma bilineare simmetrica che svolge un ruolo fondamentale nella teoria delle algebre di Lie e in quella dei gruppi di Lie. Prende il nome da Wilhelm Killing, che per primo ne diede menzione. Il primo a introdurla nella teoria delle algebre di Lie è stato Élie Cartan.

Definizione

Sia $𝔤$ un'algebra di Lie di dimensione finita su un campo $K$. Ogni elemento $x$ di $𝔤$ definisce l'endomorfismo aggiunto $\text{ad}(x)$, definito come

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

Poiché $𝔤$ è di dimensione finita, la traccia della composizione di due endomorfismi è una forma bilineare simmetrica. La forma di killing $B(x,y)$ su $𝔤$ è quindi definita come

$B(x,y):=\text{Tr}(\text{ad}(x)\text{ad}(y)).$

Bibliografia

• Jacobson, Nathan, Lie algebras, Republication of the 1962 original. Dover Publications, Inc., New York, 1979. ISBN 0-486-63832-4

Voci correlate

• Criterio di Cartan