この記事は、リー群と表現のざっくりふんわりとした解説記事の4本目です。
前回:多様体と接空間
cake-by-the-river.hatenablog.jp
今回はいよいよリー環についてやります。
リー環(リー代数)
前回は、接空間について考えました。リー群は積に閉じているという特徴を持つので、接空間にも普通の多様体にはない性質があるのかもしれません。
交換子積
リー群上の2つの曲線の積を考えてみましょう。リー群は群だったので、各点における積を考えることが可能です。それを連続的に行ったものが曲線の積だと考えられます。今、 という2つの曲線があって、 における接ベクトルが だったとします。この二つの曲線の積としては の2つが挙げられます。これらの接ベクトルはどうなっているでしょう?
積の微分公式によって計算したところ、同じ答えになりました。でも例えば、行列の積は順番によって普通は異なる答えになるはずでした(いわゆる「非可換性」)。曲線にしたところでこの性質は消えないはずです。接ベクトルよりもっと丁寧に見なければ非可換性は現れてこないということなのでしょう。
より精度の高い近似をするためには、テイラー展開を考えます。前回、リー群上の関数は 級と考えて問題ないと言ったので、気楽にテイラー展開することが出来ますね。各曲線をテイラー展開してみると、
となります。 は2階偏微分(のベクトル)です。2曲線の積の2次まで考慮したテイラー展開を見てみると
はランダウの記号と呼ばれ、括弧内の の次数より高次の式をまるごとざっくりまとめてしまったものと言えます。プログラミングで計算量のオーダーを示すときにも使いますね。それはともかく、順番の異なる積の間に違いが出てきました。この違いを見るためにこの2つの差を求めると
ここで、もし を と置いてみると、 となり1次の項まで落とすことが出来ます。もっとも、 が接ベクトルとなる曲線を考えることも出来て
に対して
となります。このように、接ベクトルの中には というパターンのものも含まれます。これはむしろ、接ベクトル が という演算に関して「閉じている」と考える方がよさそうです。どんな に対しても が接空間のとある1つの元に対応しているからです。
そこで、 という演算子を用意します。この括弧の形をした2項演算子は交換子積(リー括弧積・交代積など)と呼ばれています。上の結果から、線形リー群の単位元における接ベクトル空間は交換子積に関して閉じていることになります。この交換子積の計算を(行列を例に)色々と考えてみると
が成り立ちます。この最後の恒等式は、ヤコビ恒等式と名付けられています。また、 という計算自体の意味としては、積の非可換性を測っていると言えますね。だから交換子積という名前がついているようです。
リー環
リー群における単位元の接空間がリー環と呼ばれるものだと前に言いました。もっと一般には、「交換子積に関して閉じている」性質を兼ね備えた線形空間をリー環と呼びます。
線形空間 でその任意の元 に関して という演算が定義されて
を満たし、さらに ] が自然に線形を持っている、つまり
また、リー環の部分空間で独自に交換子積に関して閉じている場合、それを部分リー環と呼びます(普通の「部分」の意味通り)。リー環はリー代数と呼ばれることも多いです。というか最近はリー代数が主流みたいです。ただ、参考文献が大体リー環表記なのでリー環で進めることにします。
リー群に付随したリー環にはその名前に習慣があって、例えばリー群を と表した場合にそのリー環を とドイツ文字の小文字で表します。線形リー群では例えば
となります。
1パラメータ部分群と指数関数
リー環とリー群の次元は逆関数定理から同じ次元になります。リー環について見ていく上で、とりあえず簡単な例から始めたいので、まずは1つの接ベクトルだけで構成されたリー環を考えることにしましょう。つまり、1次元のものを考えます。
例えば、 という 次正則行列を考えます。この行列のスカラー倍が成す(直線的な)線形空間
は が成り立つので の部分リー環を成します。この時、単位元 ( とします) の接空間が となるリー群があるのか、あるとすればどんなものなのかを考えてみます。
あるとしたら1次元のはずなので、それを曲線 とおいて次の条件を課します。
この曲線は に含まれる行列で自然と構成されていると考えられます。そのため、この曲線がリー群だとするには積が閉じていることを条件にすればよくて、それは
と表せます( はある種の関数)。
もし の片方が の場合、 なので
この条件だけでは色々と候補がありそうですが、とりあえず
という単純なものが考えられます。とにかくこのパターンで行ってみましょう。
今までは単位元のみの接ベクトルを考えていました。しかし という条件を使えば、単位元以外の各点の接ベクトルを によって表現することが出来ちゃいます。 を固定しながら を微分の定義に用いてみれば
このように、各点での接ベクトルが満たすべき微分方程式が導出されます。
さてこの微分方程式、いかにも指数関数が答えになりそうな感じがしませんか?もちろん が行列な点は不思議ですが、微分したら同じ関数に がかかっただけのものとなる様子からは、その解に指数関数的な雰囲気が漂ってきます。
そこで、今までなかった行列の指数関数を考えてみることにしましょう。指数関数をテイラー展開でべき乗の世界に落とすことが出来るので、行列のべき乗と組み合わせればよさそうです。
行列の指数関数を次のように定義する。
また、パラメータ を含む場合も
と表せる。
普通の指数関数の変数部分を、行列でもOKにしただけです。曲線がリー群になると仮定すれば、その 級によって右辺が必ず収束します。言い換えるなら、 の収束半径は ∞ になります。
この指数関数が微分方程式を満たすかどうかを見てみます。
大丈夫そうです。この計算はもっとざっくりと、展開した式での微分で考えることも出来て
となり、出てきた は前後のどちらでも構わないことも分かります。この時の は「積に関して閉じている」条件を満たすため、線形リー群となります。
このように、ある(行列型の)リー環の元(接ベクトル) に対応して、行列の指数関数である曲線 が線形リー群となります。この という形のリー群を、1パラメータ部分群と呼びます。
1パラメータ部分群は積に関して閉じているはずですが、具体的にどんな感じでちゃんと閉じているのかを確かめてみたくないですか?僕はなりました。
行列には可換性がないため となります。そうなると、上式は単純な とは異なりそうです。
こんな時、 の肩から降ろせるような、つまり の中身だけ取り出せるような関数が導入出来ると嬉しいです。そんな関数と言えばやはり、普段は逆関数となる ですね。行列での も、テイラー展開を用いて定義できます。
ただし には収束半径が存在しており、 の必要があります。でも な分には大丈夫そうです。
がこの範囲で成り立つので、これを先ほどの式にも適応してみると
交換子積が出てきました。たまたま はリー環の元だったので、少なくとも2次までは積に関して閉じていることが分かりました。ちなみにこの先にも続きがあって複雑な式になっていますが、全て交換子積によって表現されています(Campbell-Hausdorff の公式と呼ばれています)。結局、1パラメータ部分群はちゃんとリー群になっています。
リー群の等質性と の一意性
1パラメータ部分群以外の はどうでしょう?今のところ、もっとも単純な だけしか考えていないので、もっとたくさん存在してそうです。
これを調べるために、リー群の等質性について考えます。
リー群を群論の立場で考えると、群とは「動き」自身のことであって、その群が作用する空間がありました。リー群 では多様体 に作用することが出来て、 の軌道は
となります。この時
が成り立つならば、 は に推移的に作用すると呼びます。なぜ「推移的」?それは、 上のどんな点も の作用によってスルスルと万遍なくたどり着くことができる、つまり
が成り立つからです。そして、このような の存在する が等質空間と呼ばれます。群の作用が全体に効いても軌道が同じになるということは、作用する全体が全て似通った均等な空間になっているからだ、ということでしょう。
本題のリー群には積の構造がありましたが、あれもよく考えれば推移的な作用をしていると言えます。つまり、リー群自身もリー群の作用における等質空間だと言えます(この時の群を群多様体と呼んだりするそうです)。
群の各点は互いに似通っている、あるいは単位元と似通っていることになります。位相群ではさらに、単位元の近傍を群の作用で
へと移したときに、その近傍同士が位相同型(級の微分位相同型にもなる)だと言えます。リー群上の各点は大抵、雰囲気が同じってことです。
これを踏まえ、単位元を通過するリー群の曲線 を考えます。 もリー群の元なので、その等質性から接空間も群の作用分の変形しか受けないはずです。つまり、単位元の接空間 に対して 各点での接空間は になります。
そうなると、どんな形の曲線であっても接ベクトルは必ず という形で( 部分は によって変わる可能性アリ)
という微分方程式に帰着します。
実はこのタイプの微分方程式は変数変換によって1パラメータ部分群と同じものでしかないことが言えてしまいます。
とおき、1パラメータ部分群 の を に変えれば
と同じ微分方程式に帰着します。 は初期条件2つも満たすので、1パラメータ部分群の単なるパラメータの違いだったことになります。ちなみに が必ず正になるため、積分による変数変換 は必ず出来ます。
以上より、どんな曲線も結局1パラメータ部分群と同じものとなるので、線形リー群の1次元のリー環 は1次元のリー群 に1対1対応すると言えます。
ベクトル場的な見方
単位元における接ベクトル は、等質性よりリー群上の各点 に として移されます。こんな感じで各点に一つのベクトルが付随する対応は、ベクトル場と呼ばれています。電磁場でおなじみのやつです。このベクトル場を「速度ベクトル」が各点に存在したものと考え、その点の上にあるものはその速度ベクトルの動きをすると考えることにしましょう。
1パラメータ部分群は微分方程式
の解ですが、これを速度ベクトル場的に考えるとどうなるでしょうか?
単位元に置いた物体が最初 の速度で動き出し、その後も移った先の点で速度ベクトルを受けて動いていく、この時の動きの流れが1パラメータ部分群に相当します。ベクトル場を川と考えて、単位元から色水を流したときに色がついて見えるようになる水の流れとも取れますね。多様体におけるこのベクトル場の「流れ」に対応した用語は積分曲線と言います。リー環によるベクトル場を「流れの向き」とするならば、1パラメータ部分群は「流れ」自身を指すものと考えられます。
今回は、リー環と行列の指数関数などを扱いました。次回はもっと高次の・大域的なリー群の構成を考えます。