■
線形リー群についての備忘録
(まともに参考にしないほうがいい)
例として2次元回転群SO(2)を考えよう
これの元を
とする
A(0)を単位元とする
A(t)のすべての元を考えて取り扱うのは難しいので単位元のまわりにげんていして考えよう
これは線形近似で
とかける
変形すると
ここで
とした
この微分方程式の解は
の形になる
JJサクライで時間発展とか平行移動とかでまずは微小な変化について考えていたけどそこの議論と実は同じ
そしてJJサクライで生成演算子と呼ばれているのは実はここで言うXのこと
ここで注意が必要なのがこれは単位元の周辺でしか成り立っていないということ
これをすべての元について適応させるには条件がある
コンパクトで連結なとき任意の元は
でひとつの指数関数で表すことができる
コンパクトではない時は任意の元は
のようになる ひとつの指数関数では表すことは出来ない
ノンコンパクト群とはパラメーターの変域が無限空間に渡るもの
コンパクト群はパラメーターの変域が有限である群
GL(2,R)群の元
について考えよう
logの中身が負なのでこれは複素数
ということは単位源からM(GR(2,R)郡の元)に直接行くのにGR(2,C)を経由してしまっている!
そこでGR(2,C)を経由せずにGR(2,R)だけで単位源からMに到達するために、少し迂回をするルートを取る。
と
を経由する必要がある
なので
の形で表される