コンパクト群
- コンパクト群の全てのユニタリー既約表現は有限次元である。これらの既約表現は定義表現のテンソル積を適切に還元して得られる。
- 非コンパクト群の全ての有限次元の表現は非ユニタリーである。また、非コンパクト群の全てのユニタリー表現は無限次元である。
ここで、コンパクト群は有限体積をもつリー群 G で定義される。12.2節で定義したカルタン-キリング計量は
ds2=−2Tr(g−1dgg−1dg)=EaμEaνdθμdθν=gμνdθμdθν
であった。ただし、g−1dg=itaEaμdθμ は G のフレーム場1形式である。ta (a=1,2,⋯,dimG) はリー代数 G の基底(生成子)を成す行列で代数 [ta,tb]=iCabctc を満たす。Cabc は G の構造定数であり、規格化は Tr(tatb)=12δab で与えられる。ことのき、リー群 G の体積要素は
dV=√|detg|dθ1dθ2⋯dθdimG
で与えられる。ただし、detg は計量テンソル gμν=EaμEaν を行列表示した際の行列式を表す。以上より、コンパクト群は有限体積の条件式
∫GdV<∞
リー代数のランクに関するワイルの定理
リー代数 G のランク(階数)はその基底行列 ta のなかで同時対角化可能な行列の最大数で定義される。例えば、パウリ行列は唯一つの対角行列を持つので SU(2) 代数のランクは1である。同様に、1.5節で紹介したゲルマン行列(1.49)は2つの同時対角行列を持つので SU(3) 代数のランクは2である。
リー代数 G の基底行列 ta で構成されるより大きな集合 {ta,tatb,tatbtc,⋯} を考える。これには t2=δabtatb など添え字が縮約された要素も含まれる。行列 ta についての特性方程式(あるいはケイリー・ハミルトンの定理)を用いるとこれらの次数を下げることができる。しかし、一般にこれらの集合要素は元々の代数 G とは異なる代数を成す。というのも、t2 などの縮約された要素は必ずしも元の代数の要素に属さないためである。このように構成された(大きな)代数は G の包絡代数 (enveloping algebra) と呼ばれる。包絡代数には元となるリー代数の全ての要素と交換する要素が含まれる。例えば、角運動量代数において2次の演算子 J2 は [J2,Ja]=0 を満たすので角運動量代数の全ての要素 Ja (a=1,2,3) と交換する。このように元となるリー代数 G の全ての要素と交換する演算子をカシミール演算子と呼ぶ。この演算子は包絡代数の中心 (center) を成す。リー代数のランクに関してもワイルによる次の定理が存在する。
- リー代数 G において独立なカシミール演算子の数はそのリー代数のランクに等しい。
- リー群 G において独立な不変テンソルの数は対応するリー代数 G のランクに等しい。
カシミール演算子: SU(3) とそれ以外
以上より、コンパクト・リー群の既約表現を求めるにあたりカシミール演算子と不変テンソルが重要であることが分かった。以下では、SU(3) 代数のカシミール演算子を考えることでこの点の理解をさらに深める。SU(3) 代数のランクは2であるので、2つの不変テンソルと2つのカシミール演算子が存在する。不変テンソルは生成子 ta (a=1,2,⋯,8) の多重項のトレースから得られる。というのも、そのようなトレースは変換 ta→h−1tah のもとで不変なためである。ただし、h∈G=SU(3) である。ここで、SU(3) 群の要素 g=exp(itaθa) は g→h−1gh=exp(ih−1tahθa) と変換することに注意しよう。トレース Tr(tatb) の不変性は次のように直接確認できる。
Tr(tatb)⟶Tr(h−1tahh−1tbh)=Tr(tatb)=12δab
不変テンソル δab に対応するカシミール演算子は δabtatb=tata=t2 で与えられる。
もう一方のカシミール演算子は3次のオーダーのトレース Tr(tatbtc) から計算できる。このトレースは次にように対称成分と反対称成分に分離できる。
Tr(tatbtc)=Tr[ta(12[tb,tc]+12{tb,tc})]=12Tr[ta(iCbcktk)]+12Tr[ta{tb,tc}]=i4Cabc+14dabc
ただし、添え字について対称な記号
dabc≡2Tr[ta(tbtc+tctb)]
を導入した。リー代数 [ta,tb]=iCabktk を用いると、(12.62)の反対称成分は2次のトレース Tr(tatk) に還元される。よって、(12.62)から新しいカシミール演算子を求めるにはこの反対称部分は必要ない。言い換えると、2次のトレースと独立な3次のトレースは対称化されたトレース(12.63)で与えられる。この不変な対称テンソルに対応するカシミール演算子は dabctatbtc と表せる。SU(2) の場合は、ta=σa2 となり (tbtc+tctb)=12δbc1 が成り立つので、対称記号 dabc はゼロとなることに注意しよう。
同様に、SU(N) (N≥4) のカシミール演算子も高次の対称化されたトレースから計算できる。上記の 14dabc=12Tr(tatbtc+tatctb) に対応する N 次の対称記号を κa1a2⋯aN とすると、これは対称化されたトレースを用いて
κa1a2⋯aN=1(N−1)!∑σ∈SN−1Tr(ta1taσ2taσ3⋯taσN)
と定義できる。ただし、σ∈SN−1 についての和は添え字 {2,3,⋯,N} の置換 σ について取る。ここで、σ は σ=(2 3 ⋯ Nσ2σ3⋯σN) とラベルされる。不変な対称テンソル κa1a2⋯aN に対応するカシミール演算子は κa1a2⋯aNta1ta2⋯taN で与えられる。
問題となる物理系がリー群 G に従う対称性を持っていると仮定する。このとき、対称群 G のユニタリー既約表現の概念は物理で重要である。対称性が時間とともに保たれる場合、物理系の状態は G のユニタリー既約表現で分類される。よって、対称性が保存される物理系ではユニタリー既約表現の知識が重要であり代数的な手法が有用となる。
一方、物理系の対称性が自発的に破れる場合 (G→H⊂G) 、コセット空間 G/H が物理的に重要となる。つまり、自発的対称性の破れが起きる物理系ではコセット空間 G/H 上の計量やリーマン曲率などの知識が重要であり幾何学的な手法が有用となる。自発的対称性の破れの理論的な枠組みについては14章で解説する。
0 件のコメント:
コメントを投稿