部分Lie群と部分Lie環の対応
以下ほとんどLie群に連結性を課しているので、一般のLie群についてはその単位元連結成分が連結Lie群(そして正規部分群)になることを注意しておく。特に付随するLie環が一致する(ので連結性は必要な仮定である)。
Lie群
Lie群
多様体が群構造を持っていて演算(積、逆元)が全て級のときLie群と呼ぶ。
な群準同型を単にLie群の準同型と呼ぶ。
部分多様体がLie群の準同型であるとき部分Lie群と呼ぶ。つまり、部分群でも部分多様体でもありそれ自身Lie群になるもの。後に示すこととして、この定義と「部分多様体化可能な部分群」は同等。
- 可換な例。。はめ込まれた部分多様体の典型例として、内での「ぐるぐるするやつ」があるが、これは部分Lie群である。しかし閉ではない。
- とか。線形群。
- アフィン変換群、半直積。つまり、多様体としてはだがで群構造を入れたもの。
Lie環
有限次元-線形空間とその上の双線形写像が
を満たすときLie環と呼ぶ。括弧を保つ線形写像をLie環の準同型と呼び、括弧で閉じた部分線形空間を部分Lie環と呼ぶ。
- 可換な例。にで括弧を入れたもの。
- にで括弧を入れたもの。一般に結合的多元環は同じ構成でLie環と見做せる。
- にで括弧を入れたもの。
Lie群とLie環の関係
以下、はLie群であるとする。
平行移動
左移動で不変なベクトル場を付随するLie環と言う。
これはの括弧積について閉じているからLie環になる。また、次から有限次元。
より単射性は明らか。逆に、についてという構成が全射性を与えるが、の級性がやや非自明である。
に対しを示せば十分だが、だから、という上の関数の級性から降ってくる。
- に対しは可換なLie環。
- に対しとなる。
- に対しとなる。
つまりとは、を平行移動させてできるベクトル場である。
まず、が-relatedであることを見る。に対してを見ればよいが、の両辺の微分にを当てれば得る。
でが-relatedなものは一意(原点での値!)だからこれがを特徴付けるが、前頁の-relatedの補題からが-relatedとなりが括弧と交換する。
まず主張の対応を説明する。はLie環の準同型だからその像は部分Lie環である。に対しで定まる左不変分布は部分Lie環性から包合的だからを含む極大積分多様体を取ると、これは部分Lie群である:
の意味で左不変だから、極大積分多様体の一意性からであり部分群になる。演算の級性は積だけ見る(逆元も同様)。の演算の制限としては滑らかだが、像がに入るから前々頁の最後の定理より得る。
次に対応が互いに逆であることを見る。は単位元での接空間を見れば分かるからを示す。の付随するLie環に対する上の左不変分布についてが積分多様体になることは単位元での振る舞いから分かる。は極大積分多様体の開部分集合だが、これは部分群になっていて、が離散的になる。の連結性からとなり、は極大。