古典型リー代数のキリング形式を計算する
計算して感覚を戻す。
リー代数というのはサイズの正方行列全体の部分線型空間であって、交換子積で閉じている集合のこと。例えばもちろん自体は次元のリー代数であり、一般線型リー代数という。他にも
などがある。それぞれ特殊線型リー代数、直交リー代数、シンプレクティック・リー代数といい、ベクトル空間としての次元はである。
リー代数の元に対し、随伴が定まる。これはベクトル空間に対する線型変換なので、は対称二次形式を定める。これをキリング形式という。今回は上に挙げた四つのリー代数について、キリング形式を計算する。多くの本では演習になってると思うので、ちゃんと書くことには需要があると思う。あと自分の方法が正しいかどうかを確認したかった。
のキリング形式
まず
が成り立つので、を計算すれば十分である。ここで
なので、そのトレースを知るにはという三つの線型変換のトレースを求めればよい。
について
とする。なので、の表現行列の対角成分はの係数となる。つまりであるから、
が従う。
について
同様に計算するととなるので、
である。
について
今度はとするとを得る。対角成分はの係数だからとなる。よって
を得る。
以上より、
が分かる。従って
を得る。
のキリング形式
はのイデアルなので、そのキリング形式はの制限となる。実際に対しての基底をの基底に延長することで、に対するの表現行列はについてが成り立つことからブロック対角行列になる。に対しだから、キリング形式は
となる。
のキリング形式
と同様にについてのトレースを求めればよい。しかし今度はベクトル空間としての基底がなる-成分のみになるので注意が必要である。
について
対角成分はに対するの係数だからとなる。これが各についてなるの数だけあるから
となる。
について
今度はとなるから、同様に
となる。
について
対角成分はに対するの係数だが、でもあるので係数はになる。より
が分かる。
以上よりが分かり、
を得る。
のキリング形式
上記と同様に計算すればよいが、今回の中では一番難しい。まず
と置くと、
が成り立つ。
ベクトル空間としての基底は
に属する成分である。三つの線型変換についてに関する対角成分を調べよう。
について
のときの係数だからとなる。よってとなる。
のときもだが、個数に注意するととなる。
のときも同様にとなる。
について
係数はである。従って
のときとなる。
のときとなる。
のときとなる。
以上を合わせるととなる。
について
のときの係数はである。更にの係数も加える必要がある。全て列挙すると
となる。
のときの係数はである。更にのときだけの係数を加える必要がある。全部列挙すると
となる。
のときの係数はである。更にのときだけの係数を加える必要がある。全部列挙すると
となる。
上記に列挙したものを全て足し合わせると
が残るが、この和はに等しい。
以上よりとなるからキリング形式は
となる。
所感
随伴の表現行列そのものは複雑でとても計算できたものではないけど、対角成分の和程度なら上記のように簡単に計算できる。ちなみに上記は単なる組合せ的な計算なので、係数体が複素数である必要はない。
線型写像のちょっとした拡張について 訂正
恥ずかしながら前回の内容にミスが結構あったので、その修正をば。最近数学に手が付けられてない状況なんですがね…。
まずはでなくても同値関係になります。は次に述べる反傾(contragredient、この単語、この用法しか無い気がするのは気のせいか)を定義するとき重要になります。
線型写像の反傾はで定義されます。だと上手く行きます。このとき表現行列はについてがになります。
特にのとき、線形写像を双対変換といいます。基底の変換による表現行列はです。のとき対称、のとき交代であるといいます。前回述べた三位一体は線型写像に対するものです。
次はオマケ。
の基底を取ります。が同型のとき、双対空間からの線型同型が得られます。ここで
が一周する条件を調べるとになります。つまり表現行列はユニタリになり、逆も成立します。つまり上記の図式はユニタリ変換を与えていることが分かります。ちょっと面白いような、そうでもないような。
線型写像のちょっとした拡張について
行列の基本的な事柄について見直し中。今回は双対変換と双一次形式、その行列表示に関する三位一体のお話。
-線型写像
体の拡大及び-同型について考える。-ベクトル空間について、が-線型であるとは、が加法的かつを満たすことをいう。
例えばのときは普通の線型写像、でのときは共役線型(conjugate-linear)写像になる。これらを一つに纏めた議論を行うのが今回の目的でもある。
さて、の基底を、の基底をとする。このとき-線型写像がに関する行列表示を持つことを示そう。まずに対して
と一意的に表せるので、について
が従う。そこでと定めればであり、行列について
が成り立つ。逆にを与えれば上の式より-線型写像が定まり、この対応は互いに逆を定める。このときをのに関する行列表示という。
この議論から次の命題が成り立つことが分かる。
命題 -線型写像全体は「普通の」線型空間になり、その次元はとなる。
基底を変えると、行列表示はどのように変化するだろうか。今、の基底及びの基底を取り、可逆な行列を用いて
が成り立つとする。ただし、これらの式はの意味で用いている。さて、の及びに関する行列表示をそれぞれとしよう。即ち
が成り立つとする。
より、
を得る。以上より行列表示の一意性からが成り立つことが分かる。
この関係()は反射的かつ推移的だが、対称的とは限らない。であれば対称的となり、同値関係を定める。
-双対空間
ここではについて考える。このとき上の-線型写像全体をと表し、の-双対空間と呼ぶ。前節の通りは線形空間であり、その次元はの次元に等しい。
の基底に関しては次が言える。
命題 の基底をとする。このときで定まる-線型写像について、はの基底を定める。
(証明)が-線型写像になることは明白なので、基底であることを示そう。に対し、と定める。すると
となるので、と表せる。またならとなるので、達は一次独立である。
命題のを-双対基底と呼ぶ。
ここで-ペアリングというものを考えよう。に対しと定めれば、第一成分について-線型、第二成分について線型な写像(-双線型写像とも呼ぶ)を与えることができる。
基底を取れば、その成分表示
を得ることができる。
命題 に対してを、により定める。このときはとの線形空間としての同型写像を与える。
(証明)は上の-線型写像となる。実際
が成り立つ。またの基底を取れば、に対しと表せば、あるについてとなる。ここでについてが成り立つが、なので、結局が分かる。つまりは単射であり、より同型となることが分かる。
以下もほぼ明らかだろう。
- を次元部分空間とする。はの次元部分空間となる。
- を次元部分空間とする。はの次元部分空間となる。
-双対変換と-双一次形式
-線型写像のことを-一次変換と呼ぶことにしよう。このとき任意のに対して
を満たす-一次変換のことを、の-反傾(contragradient)と呼ぶ。
命題 -反傾は一意的に存在する。
(証明)とすると、が常に成り立つ。任意ので成り立つので、でなければならない。これが任意ので成り立つことからが従うので一意性が分かる。またの基底を取り、のに関する行列表示を、記号の乱用を許してと置く。するとについて、であるから
が成り立つ。故に
となる。よってはの-反傾である。
行列についてと書くことにする。また-一次変換の-反傾もと書く。
特にのとき、-一次変換のことを-双対変換と呼ぶ。また-双線型写像のことを-双一次形式と呼ぶ。
-双対変換について、基底を変えると行列表示はどのように変化するだろうか。の基底 を取り、その-双対基底をとしよう。としたとき、の-双対基底たちはと表せる。このを求めるには、を計算すればよい。実際であり、一方であるから、を得る。故に行列表示はとなる。
定理 -双対変換と-双一次形式は一対一に対応する。
(証明)-双対変換について、は-双一次形式である。また-双一次形式に対し、は-双対変換を定める。これらの対応は互いに逆を定める。
-双対変換がを満たすとき、-対称変換という。また-双一次形式がを満たすとき、-対称形式という。
系 -対称変換と-対称形式は、定理の対応で一対一に対応する。
(証明)-対称変換に対しては、
より-対称形式を定める。また逆に-対称形式に対しては、についてであり、またとなる。よってが従う。故には-対称変換となる。
行列表示を見てみると、のとき
となる。よって-対称行列(を満たす)は、のとき、基底の変換(-合同変換)で-対称行列に移り合う。
以上より、のときには、
及び
という三位一体が得られる。
例えば体の拡大としてを考えて、とすると上記の対応が作れる。
所感
今回の議論は線型代数のどんな教科書にも載っているような話。エルミート変換は色々な場面で現れるので、似たような理論が-変換でも行えると思う。いずれにせよ対称や歪対称といった話を、体の拡大という立場から統一的に議論できるので便利かなと思う。
追記:-線型は-半線型(semi-linear)とも呼ぶそうです。