今年の反省と来年への抱負
気付けばこのブログを始めて、二年が経ちました。しょーもないことばかりのブログですが、有難いことに見て下さっている方々もいるようなので、その期待に応えられるよう、これからも頑張って続けていきたいと思います。
思い返せば今年は色々と反省することが多かったと思います。動画も作ると宣言しておきながら結局作らなかったし。とにかく何もできないまま時間があっという間に過ぎてしまった感じです。変わったことといえば、とうとうテレビを見なくなってしまったことぐらいですかね。その分オンゲ(WoWsとか)をやってた気がします。数学やれよ……。堕落しきった一年だったので、来年は飛躍の年にしたいです。人間的にも数学的にも。
来年への抱負
古典型リー代数のキリング形式を計算する
計算して感覚を戻す。
リー代数というのはサイズの正方行列全体の部分線型空間であって、交換子積で閉じている集合のこと。例えばもちろん自体は次元のリー代数であり、一般線型リー代数という。他にも
などがある。それぞれ特殊線型リー代数、直交リー代数、シンプレクティック・リー代数といい、ベクトル空間としての次元はである。
リー代数の元に対し、随伴が定まる。これはベクトル空間に対する線型変換なので、は対称二次形式を定める。これをキリング形式という。今回は上に挙げた四つのリー代数について、キリング形式を計算する。多くの本では演習になってると思うので、ちゃんと書くことには需要があると思う。あと自分の方法が正しいかどうかを確認したかった。
のキリング形式
まず
が成り立つので、を計算すれば十分である。ここで
なので、そのトレースを知るにはという三つの線型変換のトレースを求めればよい。
について
とする。なので、の表現行列の対角成分はの係数となる。つまりであるから、
が従う。
について
同様に計算するととなるので、
である。
について
今度はとするとを得る。対角成分はの係数だからとなる。よって
を得る。
以上より、
が分かる。従って
を得る。
のキリング形式
はのイデアルなので、そのキリング形式はの制限となる。実際に対しての基底をの基底に延長することで、に対するの表現行列はについてが成り立つことからブロック対角行列になる。に対しだから、キリング形式は
となる。
のキリング形式
と同様にについてのトレースを求めればよい。しかし今度はベクトル空間としての基底がなる-成分のみになるので注意が必要である。
について
対角成分はに対するの係数だからとなる。これが各についてなるの数だけあるから
となる。
について
今度はとなるから、同様に
となる。
について
対角成分はに対するの係数だが、でもあるので係数はになる。より
が分かる。
以上よりが分かり、
を得る。
のキリング形式
上記と同様に計算すればよいが、今回の中では一番難しい。まず
と置くと、
が成り立つ。
ベクトル空間としての基底は
に属する成分である。三つの線型変換についてに関する対角成分を調べよう。
について
のときの係数だからとなる。よってとなる。
のときもだが、個数に注意するととなる。
のときも同様にとなる。
について
係数はである。従って
のときとなる。
のときとなる。
のときとなる。
以上を合わせるととなる。
について
のときの係数はである。更にの係数も加える必要がある。全て列挙すると
となる。
のときの係数はである。更にのときだけの係数を加える必要がある。全部列挙すると
となる。
のときの係数はである。更にのときだけの係数を加える必要がある。全部列挙すると
となる。
上記に列挙したものを全て足し合わせると
が残るが、この和はに等しい。
以上よりとなるからキリング形式は
となる。
所感
随伴の表現行列そのものは複雑でとても計算できたものではないけど、対角成分の和程度なら上記のように簡単に計算できる。ちなみに上記は単なる組合せ的な計算なので、係数体が複素数である必要はない。
線型写像のちょっとした拡張について 訂正
恥ずかしながら前回の内容にミスが結構あったので、その修正をば。最近数学に手が付けられてない状況なんですがね…。
まずはでなくても同値関係になります。は次に述べる反傾(contragredient、この単語、この用法しか無い気がするのは気のせいか)を定義するとき重要になります。
線型写像の反傾はで定義されます。だと上手く行きます。このとき表現行列はについてがになります。
特にのとき、線形写像を双対変換といいます。基底の変換による表現行列はです。のとき対称、のとき交代であるといいます。前回述べた三位一体は線型写像に対するものです。
次はオマケ。
の基底を取ります。が同型のとき、双対空間からの線型同型が得られます。ここで
が一周する条件を調べるとになります。つまり表現行列はユニタリになり、逆も成立します。つまり上記の図式はユニタリ変換を与えていることが分かります。ちょっと面白いような、そうでもないような。