キリング形式

数学において、 (Wilhelm Killing) の名に因むキリング形式 (Killing form) とは、リー群とリー環の理論において基本的な役割を果たす対称双線型形式である。
歴史と名称.
キリング形式は本質的に によって彼の thesis においてリー環論に導入された。「"キリング形式"」という名前はの1951年の論文において初めに現れたが、彼はなぜその用語を選んだのか覚えていないと2001年に述べた。ボレルは名称が不適切に思われ「"カルタン形式"」と呼ぶのがより正しいだろうと認めている。はリー代数の正則半単純元の特性方程式の係数が随伴群のもとで不変であることに気付いていて、そのことからキリング形式（すなわち2次の係数）が不変であることが従う。しかし彼はこの事実をそれほど利用しなかった。カルタンが利用した基本的な結果はで、これはキリング形式が非退化であることとリー環が単純リー環の直和であることが同値であるというものである。
定義.
体 上のリー環 を考える。 の任意の元 は の随伴自己準同型 （ とも書かれる）をリーブラケットを用いて
と定義する。今、 を有限次元とすると、2つのそのような自己準同型の合成のトレースは に値を持つ対称双線型形式
を定義する。これが 上のキリング形式 (Killing form) である
行列要素.
リー環 の基底 が与えられると、キリング形式の行列要素は
によって与えられる。ただし は の随伴表現のである。ここで
がアインシュタインの縮約記法を用いて成り立つ。ただし はリー環の構造係数である。添え字 は行列 の列の添え字として、添え字 は行の添え字として機能する。トレースを取ることは として和を取ることだから、
と書くことができる。キリング形式は構造定数から構成できる最も単純な2階テンソルである。
上の添え字の付いた定義において、上と下の添え字（"共変"と"反変"の添え字）に注意する。多くの場合において、キリング形式は多様体上の計量テンソルとして使うことができ、このとき区別がテンソルの変換性質のために重要になるからである。リー環が標数 0 の体上の半単純リー環であれば、キリング形式は非退化であり、したがって添え字を上げ下げするのに計量テンソルとして使うことができる。この場合、すべての上の添え字の構造定数が完全反対称となるような の基底を選ぶことが必ずできる。
いくつかのリー環 に対するキリング形式（):
実形との関係.
 を実数体上の半単純リー環とする。によって、キリング形式は非退化であり、適当な基底によって対角成分が ±1 の対角行列に対角化できる。シルヴェスターの慣性法則によって、正の成分の個数は双線型形式の不変量である、すなわち、対角化する基底の取り方に依らない。その個数をリー環 の指数 (index) と呼ぶ。これは と の次元の間の数であり、実リー環の重要な不変量である。とくに、実リー環 は、キリング形式が負定値のときコンパクト (compact) と呼ばれる。のもと、はコンパクトリー群に対応することが知られている。
 が複素数体上の半単純リー環であれば、が となるようないくつかの非同型な実リー環が存在する。これらをその実形 (real form) と呼ぶ。任意の複素半単純リー環には（同型の違いを除いて）一意的なコンパクト実形 があることが分かる。与えられた複素半単純リー環の実形はしばしばキリング形式の inertia の正の指数によってラベルづけされる。
例えば、複素特殊線型環 は2つの実形を持つ。1つは実特殊線型環 であり、もう1つは特殊ユニタリ環 である。前者は非コンパクトであり、いわゆる split real form であり、そのキリング形式の符号は である。後者はコンパクト実形でありそのキリング形式は負定値である、すなわち符号 を持つ。対応するリー群はそれぞれ、行列式が1の 実行列の非コンパクト群 と、コンパクトな特殊ユニタリ群 である。