リー群
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/16 13:43 UTC 版)
例
いくつかの例と、それらに関連する数学や物理学の分野について触れる。
- ユークリッド空間 Rn は、ベクトルの加法を群演算と見て可換リー群である。
- 可逆な n 次正方行列全体 GLn(R) は行列の積によって群をなす(一般線型群と呼ばれる)が、これを n2 次元のユークリッド空間の部分多様体とみるとリー群である。この一般線型群は、行列式の値が 1 となる行列全体のなす群(特殊線型群と呼ばれる)を部分群として含むが、これもやはりリー群の例となる。
- n 次元ベクトル空間における回転と鏡映が生成する変換群 On(R) は直交群と呼ばれるリー群である。(回転だけから生成される直交群の部分群SOn(R)は特殊直交群と呼ばれるリー群である。)
- スピノル群は特殊直交群の二重被覆であり、場の量子論におけるフェルミ粒子の研究に用いられる。
- 斜交群 Sp2n(R) は、シンプレクティック形式を保つ行列全体のなすリー群である。
- 0 次元球面 S0, 1 次元球面 S1 および 3 次元球面 S3 は、これらをそれぞれ絶対値が 1 の実数全体、複素数全体、四元数全体と同一視することでリー群にすることができる。他の次元の球面ではこのようなことはできないし、リー群にはならない。リー群としての S1 はしばしば円周群と呼ばれる。いくつかの円周群同士の直積リー群はトーラス群と呼ばれる。
- n 次の上三角行列の全体からなる群 B は n(n + 1)/2 次元の可解リー群である。しばしば標準ボレル部分群と呼ばれる。
- ローレンツ群およびポワンカレ群は特殊相対性理論において時空の等長性を記述するリー群で、それぞれ 6 および 10 次元である。
- ハイゼンベルク群は 3 次元リー群で量子力学に登場する。
- n 次ユニタリ群 U(n) はユニタリ行列全体のなす n2 次元のコンパクトリー群である。行列式の値が 1 のユニタリ行列全体のなすリー群 SU(n) を部分群として含む。
- 直積リー群 U(1) × SU(2) × SU(3) は 1 + 3 + 8 = 12 次元のリー群である。これは標準模型のゲージ群で、それぞれの次元は 1 が光子、3 がベクトルボソン、8 がグルーオンに対応している。
- メタプレクティック群 Mp は 3 次元のリー群である。SL2(R) の二重被覆群で、モジュラー形式の理論に用いられる。これを有限行列表現することはできない。
- G2, F4, E6, E7, E8 型の例外型リー群はそれぞれ 14, 52, 78, 133, 248 次元である。 次元 190 のリー群 E7½ もある。
リー群から新たなリー群を作り出す標準的な方法がいくつか挙げられる。たとえば、
- 二つのリー群から直積群をつくると、これは直積位相に関してリー群になる(直積リー群)。
- リー群の閉部分群をとると、これは相対位相でリー群をなす(リー部分群)。
- リー群をその正規閉部分群で割った商はリー群である(商リー群)。
- 連結リー群の普遍被覆もまたリー群である(普遍被覆リー群)。例として、円周群 S1 の普遍被覆は加法に関するリー群 R である。
リー群でないものの例を挙げる:
- 無限次元実ベクトル空間を加法群と見たもののような無限次元群。これは有限次元の多様体ではないのでリー群ではない(無限次元リー群ではある)。
- ある種の完全不連結群、たとえば体の無限次拡大のガロア群や、p-進数全体のなす加法群などがそうである。これらがリー群でないのは実多様体を台としないからである(後者は p-進リー群に属する)。
- 連結リー群のリー群準同型像は必ずしもリー群にはならない。典型的な例として、可換リー群 R を直積リー群 S1 × S1 へ、写像 x ↦ (x, √2 x) によって写すことを考える。この像は S1 × S1 の稠密な部分群で、したがってこれは多様体にならないし、特にリー群にはならない。これはまた、リー環の部分リー環がリー群の部分リー群に対応しないことの例ともなっている。
- 有理数体の加法群に実数体における位相の相対位相を入れたものも、多様体にならないのでやはりリー群ではない。
固有名詞の分類
- リー群のページへのリンク