物理学におけるノンコンパクトリー群・リー代数の役割
こちらは物理 Advent Calendar 2017 21日目の記事である。
物理学の諸分野でノンコンパクトリー群・リー代数が顔を出すが、多くの分野の根底にある数理構造にも関わらずあまり着目されていないように思われる。これが本記事の執筆の動機である。
数学部分については『群上の調和解析』と"Noncompact Lie Groups and Some of Their Applications"という本を参考にしている。
物理部分については文献は後々整理しようと考えている。
- 序論
- 特殊相対性理論と Lorentz 変換群
- 宇宙論
- 共形変換群と共形対称性を持つ物理
- Hamilton 形式の解析力学とシンプレクティック群
- 量子力学と Heisenberg 代数とシンプレクティック代数
- 非相対論的水素原子とスペクトル生成代数
- 量子力学と古典力学における力学的対称群と力学的群
- 光学とシンプレクティック群
- 量子情報と SL(2,R)
- 量子重力理論と SL(2,C)
- まとめと今後の展望
序論
群に関する数学の分野が群論であるが、物理においては群論そのものよりも群の表現論による恩恵が大きいと考えられる。ここで、 が群 の表現であるとは、 が群 から 上線形空間 における一般線形群 への群準同型写像となっていることを言う。この時の線形空間 は表現空間と呼ばれる。群の表現を考えることで線形代数の諸々の定理や手法を用いることができるので便利である。
量子力学では表現の中でもユニタリ表現を特に考えることが多い。ここでユニタリ表現とは群のすべての元について準同型写像の行き先がユニタリ作用素(ユニタリ変換)となるような表現を言う。特に有限群における表現はユニタリ表現となる。ユニタリ表現の中でも既約なユニタリ表現(Unitary Irreducible Representations, UIR)は基本的な表現である。既約表現とは部分表現が自明な表現しかない場合を指す。群が与えられ時に全ての既約ユニタリ表現を見つける、という問題は一般に難しい。ユニタリ同値という適当な同一視を設けた時の全てのユニタリ既約表現の集まりはユニタリ双対と呼ばれる。群 のユニタリ双対は と書かれる。
物理で用いられる群は有限群とは限らない。例えば系や方程式が連続的な対称性を持つことを考える場合はリー群の表現論を考えることが多い。リー群はいろいろな種類があるがその分類の仕方として位相多様体としてコンパクトがどうかという観点での分類*1がある。コンパクトなリー群はコンパクトリー群と呼ばれ、そうではないリー群はノンコンパクトリー群と呼ばれる。コンパクトリー群の特徴としては群上の関数を考えた時に有限群と同様の表現論の定理(Schur直交性等、有限次元既約ユニタリ表現が存在すること)や群上の関数解析をする際に便利な表現論の定理(例えばPeter-Weylの定理)が成立する。
ところでリー群は位相多様体であるから位相空間としては局所コンパクトである。リー群が局所コンパクト群だということは、これは群上の関数の解析を行う際に重要である。すなわち、局所コンパクト群については群上の不変測度*2が存在し群上の関数について積分を行うことが可能になる。
ノンコンパクトリー群はコンパクトリー群と比較して扱いが難しいとは言え、局所コンパクトリー群であるために群上の関数解析が可能でありその表現論についても詳しく論じられてきた。例えば有用な知見の一つが、ノンコンパクトな単純リー群*3には有限次元既約ユニタリ表現が存在しないというものである。ノンコンパクトリー群のわかりやすい例は加法群 である。フーリエ変換の理論は可換ノンコンパクトリー群のユニタリ表現論であると考えることができる。ただし可換群の既約ユニタリ表現は必ず1次元である。非可換なノンコンパクトリー群のユニタリ表現論については物理側で始まったと考えられている。すなわち、1939年に Wigner が非可換ノンコンパクトリー群である Lorentz 群のユニタリ表現論を調べた。これに続く1947年の二つの研究が重要であり、Gelfand とNaimark による (本義 Lorentz 群(Lorentz群の を含む連結部分)の普遍被覆群)のユニタリ双対を求めた研究とBargmann による のユニタリ双対を求めた研究である。この後、Gelfand-Naimark による複素半単純リー群のユニタリ表現論の研究、Harish-Chandra による半単純リー群の研究が1950年代くらいまでの大きな成果と考えられている。その後もノンコンパクトリー群・リー代数の研究は盛んであり、
- 超リー代数
- Kac-Moody リー代数等の無限次元リー代数
- 量子群
といったものはその一環と考えることができる。
本記事で扱う物理学におけるノンコンパクトリー群は半単純リー群が中心であり、中でも本義 Lorentz 群 、 、 に関わるものが多い。
特殊相対性理論と Lorentz 変換群
Lorentz 対称性
特殊相対性理論の舞台となる Minkowski 時空においては Lorentz 対称性がある。
Lorentz 対称性はローレンツ変換群によって記述される。
Lorentz 変換群は Minkowski 空間における距離である Minkowski 距離を不変に保つ変換からなる群であり、特殊相対性理論における基本原理である光速不変の法則を体現するものである。
以下の議論ではEinsteinの縮約が使われる。
テンソルの上付き添え字は反変成分に、下付き添え字は共変成分に対応する。
Minkowski 距離を定義する計量テンソル を導入したが、これを行列として表示した場合に
となるように定義している。時間成分は第0成分、空間成分は第1,2,3成分とする。
また反変ベクトルに対して、 は を表すものとする。
Minkowski 距離を保つ微小な線形座標変換
微小な線形座標変換
について考える。
微小座標変換が Minkowski 距離 を保つとは、
が の範囲で成立することを言う。
このとき、右辺において となる項を無視すると、
が成立する。
すなわち、
が成立し、が反対称テンソルであることすなわち、
を要請する。
ミンコフスキー距離を保つ微小な線形変換は、Minkowski 空間における狭義回転*4すなわち Lorentz 変換に対応する。
本義 Lorentz 変換とリー代数
狭義回転演算子を としたとき、これに期待される役割は の範囲で反対称テンソル を用いて
と書けること、すなわち反対称テンソル を用いて
と書けることである。
このとき、 は、
と書ける。
ここで、狭義回転演算子
を導入すると、
が成立する。
ここで、同士の交換関係をリーブラケットと解釈すると、これらの演算子はリー代数 をなすことがわかる。
すなわち、
が成立する。
また、は基底をなし、リー代数の次元は6であることもわかる。
Dirac 場と群 Spin(3,1)=SL(2,C)
特殊相対性理論と関わりの深い、Maxwell 方程式(電磁場)や Klein-Gordon 方程式(Klein-Gordon 場)や Dirac 方程式(Dirac 場)はいずれも Lotentz 対称性を持つ。その中で Dirac 場の対称性について述べる。
Dirac 場は,Lorentz 群のスピン表現の場として特徴付けられる。Dirac 場の対称性については色々な理解があるが、(3,1)実 Clifford 代数*5から本義 Lorentz 群 の二重被覆群である を構成するやり方がある。一般に 次元のスピン群は 次元(はガウス記号)のスピノールに作用し、これをスピン表現という。
宇宙論
前節で出てきた Lorentz 群・対称性は平坦な時空を記述する。一方で、宇宙論では様々な時空モデルが存在する。静的ではない宇宙のモデルとして、反 de Sitter 空間や de Sitter 空間というものがある。例えば、 次元 de Sitter 空間は 次元 Minkowski 空間に埋め込まれた Lorentz 多様体である。もう一つ有名なものとして、 次元反 de Sitter 空間というものがあり、 次元 Lorentz 空間(時間に当たる軸が二軸ある)に埋め込まれた Lorentz 多様体である。両空間とも 次元と呼称されるが、それは両空間について計量の接空間への制限の符号が(d,1)となっていることに由来する。
共形変換群と共形対称性を持つ物理
今まで考えてきた座標変換は回転変換であった。しかしながら、物理では他の座標変換がしばしば重要となる。
まず、 次元 Lorentz 空間(空間的軸が 個、時間的軸が 個)を考えると、この時空の回転対称性は である。これに並進対称性を加えると という群になる。 の時は特に3次元 Euclid 群と呼ばれるものであり、 の時は Poincare 群と呼ばれるものである。これにスケール変換対称性と反転対称性を加えると、SO(p+1,q+1)の共形変換対称性が生じる。Minkowski 空間()における共形変換群の構成やスケール変換対称性や反転対称性については
に書いた。一般の 時空における共形変換群 の構成方法については Minkowski 空間における構成方法を単純に拡張したものである。
Maxwell 方程式は実は Lorentz 対称性や Poincare 対称性だけではなく、共形対称性を持つ。
共形対称性を持つ理論としては Maxwell 方程式の他に1+1次元共形場理論をはじめとした共形場理論 が有名である。1+1次元共形場理論についてはその対称性を から正則関数の等角写像の変換群(無限次元リー群)というより大きな群で記述されるものに拡張することができる。この変換群に対応するリー代数がVirasoro代数である。1+1次元共形場理論は2次元イジング模型をはじめとする2次元の統計力学模型の臨界点における物理を解析する際に強力な道具となる。さらに超対称性を持たせた共形場理論は超共形場理論と呼ばれるが、超弦理論への応用が考えられている。
ところで 次元古典重力理論と 次元量子ゲージ理論の対応関係が存在し、AdS-CFT対応と呼ばれる。
最初に考えられた有名な対応関係は という時空( はAdS時空で は5次元球面であり、 次元時空である。これは の対称性を持つ。)上の超重力理論(の古典論)と超共形場理論の一つである4次元(時空 の境界に相当する。 次元と言っているが、時空としては 次元である。 ) 超対称 Yang-Mills 理論(量子論)の対応関係である。この最初の例から AdS-CFT 対応と呼ばれていると考えられるが、実のところ必ずしも古典側は AdS に、量子側は CFT には限らない。
Hamilton 形式の解析力学とシンプレクティック群
Hamilton 形式の解析力学は実空間(あるいは配位空間)上の軌跡として捉えてきた Newton 以来の古典力学や Lagrane 形式の解析力学と異なり、相空間上の運動として捉える体系である。 自由度の配位空間に対して、相空間は 次元となる。この相空間はシンプレクティック対称性を有する、すなわち という群(シンプレクティック群)の作用に対してシンプレクティック形式という二次形式が不変となる。そもそも解析力学で考える相空間(Phase Space!)の実態はユークリッド空間(一般には実多様体)の余接束であり、シンプレクティック形式を自然に定義できてシンプレクティック空間(一般にはシンプレクティック多様体)となっている。シンプレクティック空間 に対してその元は とかけるが、シンプレクティック形式は
で定義される非退化反対称二次形式である。
このシンプレクティック群は非可換ノンコンパクトリー群のひとつであり、特にその中で最も小さい は [tex;{SL(2,\mathbb{R})}] と群同型の関係にある。
量子力学と Heisenberg 代数とシンプレクティック代数
シンプレクティック空間におけるHeisenberg 代数の構成
Heisenberg 代数はシンプレクティック空間上のテンソル代数を次の関係式から定まるイデアルで割ったものである。
を満たすように定義される。この定義により、
となるが、これはまさしく正準量子化に相当する操作である。内積空間上のテンソル代数を内積を用いた関係式から定まるイデアルで割ることにより構成されるClifford 代数に通じる。実は Heisenberg 代数はリー代数となり、Heisenberg 代数がなすリー群は Heisenberg 群と呼ばれる。
Heisenberg 代数からシンプレクティック群・シンプレクティック代数の構成
Clifford 代数から特殊直交群の二重被覆群であるところのスピン群を構成することと同様の方法により、Heisenberg 代数からシンプレクティック群・シンプレクティック代数を構成することができる。
2次元シンプレクティック空間において Heisenberg 代数を構成する。すなわち、 を
を満たす演算子とする。
ここで、
という演算子を考えると、
が成立する。
とすると、 の間には
という交換関係が成立している。この交換関係(あるいは構造定数)により定まるリー代数は、 *6である。特にこのリー代数は実シンプレクティックリー代数 と解釈することができる。このリー代数から生成されるリー群は実シンプレクティック群 *7 であり、元のシンプレクティック空間におけるシンプレクティック形式を保存する群に他ならない。
非相対論的水素原子とスペクトル生成代数
非相対論的水素原子の Schrödinger 方程式の書き換え
非相対論的水素原子の Schrödinger 方程式は
で与えられる。これを少し変形すると、
となる。さらに球極座標による変数分離
を行うと、
のように動径方向の方程式ができる。
さらに
として、変数変換
を導入すると、動径方向 Schrödinger 方程式は
となる。
スペクトル生成代数 sl(2,R) の存在
次の演算子を導入する。
ここで の間には
という交換関係が成立している。すなわち、 は を構成する。*8これらの演算子を用いると、動径方向 Schrödinger 方程式は
と書ける。
階数1の半単純リー代数である には Casimir 演算子が一つ存在する。
カシミール演算子 は、 のいずれとも可換である。
Bargmann はこのリー代数の無限次元離散スペクトルを発見している。*9
すなわち、Casimir 演算子 と コンパクト生成元 の同時固有状態によって無限次元離散スペクトルを与えるユニタリ既約表現を表すことができる。
を同じくする状態は同じユニタリ既約表現に属する。
同じユニタリ既約表現に属する状態は上昇演算子によって、 のものから無限に作り出すことができる。
が大きい状態はエネルギーが高い状況を表すので、上昇演算子の働きはエネルギーの高い状態を作り出すことである。同様に下降演算子の働きはエネルギーの低い状態を作り出すことである。これらの演算子の働きに着目して は水素原子のスペクトル生成代数と呼ばれる。
今回の問題の場合、実は
である。したがって、 は特に 以上の整数となり、動径方向 Schrödinger 方程式の固有状態は
と書くことができる。
リー代数 によって、固有状態は簡潔に整理することができる。
その様子を図示する。
同じ角運動量を持つ状態は同じユニタリ既約表現に属し、 によって結び付けられていることがわかる。
光学とシンプレクティック群
追加予定
量子情報と SL(2,R)
追加予定
量子重力理論と SL(2,C)
追加予定
まとめと今後の展望
本記事では物理の諸分野に出てくるノンコンパクトリー群・リー代数の役割について書いた。各分野に共通の代数構造があることがわかる。物理を統一的に見るといったときにこれらの代数構造の存在は指針の一つになるかもしれない。これらの代数構造に着目した物理の講義というのがあっても良いかもしれない。
一方で、必ずしもその共通性の意味合いについては理解しきれていない(少なくとも私は理解しきれていない)と考えられる。物理の今後の発展に際し、これらの代数構造を意識しながら関わっていければと考えている。
##### リファレンス
- 朝倉書店| 群上の調和解析
- Noncompact Lie Groups and Some of Their Applications | Elizabeth A. Tanner | Springer
- Xavier Bekaert & Nicolas Boulanger: "The unitary representations of the Poincare group in any spacetime dimension"
- P. Weit: "Topics in Representation Theory: The Heisenberg Algebra"
- Marcel Novaes: "Some basics of su(1, 1)"
- V. Bargmann: "Irreducible Unitary Representations of the Lorentz Group"
*1:他には⑴実か複素か、⑵連結か非連結か、⑶単連結かどうか、⑷可換かどうか、⑸単純か半単純か可解か冪ゼロか、⑹単純リー群について古典型か例外型か、等の分類がある。
*2:不変 Haar 測度。ただし一般には左作用と右作用に対応して左不変 Haar 測度と右不変 Haar 測度がありこれらは異なっても良い。ユニモジュラー群と呼ばれるクラスの局所コンパクト群では両者が一致する。ユニモジュラー群としてはコンパクト群・可換群・離散群・半単純リー群・連結冪ゼロ群がある。
*3:単純リー群は連結非可換リー群であって非自明な連結正規部分群を持たないもの
*4:対応する回転行列のdeterminant が 1 になるもの
*5:計量の符号が(-+++)であることを示す。
*6:順に実特殊直交リー代数、実シンプレクティックリー代数、特殊ユニタリリー代数(非正定値計量)、不定特殊直交リー代数(非正定値計量)を表している
*7:実際はリー代数の交換関係だけでは生成されるリー群は定まらないので、慎重な検討が必要である。
*8: が生成する1パラメータ部分群がコンパクトであるのに対して、 それぞれが生成する1パラメータ部分群はノンコンパクトとなる。
*9:他のタイプの既約ユニタリ表現もある。