古典型リー代数のキリング形式を計算する
計算して感覚を戻す。
リー代数というのはサイズの正方行列全体の部分線型空間であって、交換子積で閉じている集合のこと。例えばもちろん自体は次元のリー代数であり、一般線型リー代数という。他にも
などがある。それぞれ特殊線型リー代数、直交リー代数、シンプレクティック・リー代数といい、ベクトル空間としての次元はである。
リー代数の元に対し、随伴が定まる。これはベクトル空間に対する線型変換なので、は対称二次形式を定める。これをキリング形式という。今回は上に挙げた四つのリー代数について、キリング形式を計算する。多くの本では演習になってると思うので、ちゃんと書くことには需要があると思う。あと自分の方法が正しいかどうかを確認したかった。
のキリング形式
まず
が成り立つので、を計算すれば十分である。ここで
なので、そのトレースを知るにはという三つの線型変換のトレースを求めればよい。
について
とする。なので、の表現行列の対角成分はの係数となる。つまりであるから、
が従う。
について
同様に計算するととなるので、
である。
について
今度はとするとを得る。対角成分はの係数だからとなる。よって
を得る。
以上より、
が分かる。従って
を得る。
のキリング形式
はのイデアルなので、そのキリング形式はの制限となる。実際に対しての基底をの基底に延長することで、に対するの表現行列はについてが成り立つことからブロック対角行列になる。に対しだから、キリング形式は
となる。
のキリング形式
と同様にについてのトレースを求めればよい。しかし今度はベクトル空間としての基底がなる-成分のみになるので注意が必要である。
について
対角成分はに対するの係数だからとなる。これが各についてなるの数だけあるから
となる。
について
今度はとなるから、同様に
となる。
について
対角成分はに対するの係数だが、でもあるので係数はになる。より
が分かる。
以上よりが分かり、
を得る。
のキリング形式
上記と同様に計算すればよいが、今回の中では一番難しい。まず
と置くと、
が成り立つ。
ベクトル空間としての基底は
に属する成分である。三つの線型変換についてに関する対角成分を調べよう。
について
のときの係数だからとなる。よってとなる。
のときもだが、個数に注意するととなる。
のときも同様にとなる。
について
係数はである。従って
のときとなる。
のときとなる。
のときとなる。
以上を合わせるととなる。
について
のときの係数はである。更にの係数も加える必要がある。全て列挙すると
となる。
のときの係数はである。更にのときだけの係数を加える必要がある。全部列挙すると
となる。
のときの係数はである。更にのときだけの係数を加える必要がある。全部列挙すると
となる。
上記に列挙したものを全て足し合わせると
が残るが、この和はに等しい。
以上よりとなるからキリング形式は
となる。
所感
随伴の表現行列そのものは複雑でとても計算できたものではないけど、対角成分の和程度なら上記のように簡単に計算できる。ちなみに上記は単なる組合せ的な計算なので、係数体が複素数である必要はない。