リー群には2つの側面がある。1つは当然ながら代数的側面、もう1つは幾何学的側面である。この章ではリー群の基本について簡単に紹介した後、主に後者の側面について考察する。また、リー群の既約表現とその物理問題への応用についてもレビューする。
12.1 リー群入門
群の定義
まず一般の群について考える。群 G の要素の集合を {ai} (i=1,2,⋯,dimG) で表すと、群 G は次の公理で定義される。
1. 合成則のもとで集合は閉じている: ai⋅aj∈G2. 単位元 1 の存在: ai⋅1=1⋅ai=ai3. 結合則が成り立つ: ai⋅(aj⋅ak)=(ai⋅aj)⋅ak4. 逆元の存在: ai⋅(a−1i)=1=(a−1i)⋅ai
要素の数 dimG が有限の場合、G は有限群と呼ばれる。また、要素が無限にある場合、群は無限群と呼ばれる。
一般に、群は離散群と連続群(あるいは位相群)の2つに分類される。離散群の典型例は加法のもとでの整数の集合である。一方、連続群は群の要素をラベルするパラメターの連続的な集合で特徴付けられる。(例えば、加法のもとでの実数全体は連続群を成す。)そのようなパラメターがさらに微分可能である場合、連続群はリー群となる。
リー群の定義
リー群 G の要素を g(θ)∈G とする。g(θ) はパラメータ θ の関数であり、そのようなパラメータの数はリー群の要素の数 dimG に対応する。このとき合成則は
g(θ)⋅g(θ′)=g(β(θ,θ′))
と表せる。この合成則のもとでリー群は次のように定義される。
1. β(θ,θ′) は θ と θ′ の解析関数である。2. g(θ)⋅g(α)=1 となるパラメータ α が存在する。このとき、パラメータ α も θ の解析関数 α=α(θ) で与えられる。
微分演算子
ここで、群の要素の解析性を議論するために微分の概念を導入する。群の要素 g=g(θ) の関数を f(g) とおく。パラメータ θ による f の微分は ∂f∂θ=∂f∂g∂g∂θ と書ける。よって、解析性の要請から g(θ+dθ) を考える必要がある。ただし、dθ はパラメータ θ の無限小変位を表す。群の合成則のもとで、これは無限小の合成則
g(θ)⋅g(dθ)=g(β(θ,dθ))
を用いて考察できる。ただし、g(0)=1 とする。β(θ,dθ) を dθ で展開すると
β(θ,dθ)≃β(θ,0)+∂β(θ,0)∂θdθ=θ+∂β∂θdθ
を得る。パラメータの数を N と仮定しすると、パラメータは θi (i=1,2,⋯,N) とラベルできる。このとき、(12.3)は
βi≃θi+∂βi∂θkdθk
と表せる。よって、無限小の合成則(12.2)のもとでパラメータ θi の変位は(単に θi→θi+dθi ではなく)βi(θ,0)=θi→βi(θ,dθ)≃θi+Eikdθk で与えられる。ただし、
Eik≡∂βi∂θk
である。以上の考察から、微分演算子
Xi=(E−1)ki∂∂θk
は群の要素の任意の関数上で無限小の合成則を生成することが分かる。これはリー群においてカギとなる概念である。微分演算子 Xi の交換関係は次のように計算できる。
[Xi,Xj]=[(E−1)ki∂∂θk,(E−1)lj∂∂θl]=[(E−1)ki∂(E−1)lj∂θk−(E−1)jk∂(E−1)li∂θk]∂∂θl=[(E−1)ki∂(E−1)lj∂θk−(E−1)jk∂(E−1)li∂θk]Eml(E−1)nm∂∂θn⏟=Xm≡CmijXm
ただし、Cmij は
Cmij=Eml((E−1)ki∂(E−1)lj∂θk−(E−1)kj∂(E−1)li∂θk)
と定義される。一般に、Cmij はパラメータ θi の関数である。
リーの第1定理
リーの第1定理の主張は以下の通り。
リー群において Cmij は定数であり、パラメータ θi に依らない。
これは Cmij の値を評価するに当たり、θ=0 の近傍を考えるだけでよいことを意味する。言い換えると、リー群の広域的な構造を局所的な解析から求めることができる。この意味で、リーの第1定理は複素解析のコーシーの積分定理と類似している。定数 Cmij は構造定数と呼ばれる。
リー群の解析の多くは原点 θ=0 近傍の展開式を用いて実行できる。例えば、単位元近傍の群の要素は g(dθ)≃1+iTkdθk とパラメータ表示できる。ただし、Tk=Tk(θ) は一般に θi の関数である。このとき、無限小の合成則(12.2)は
g(θ)⋅g(dθ)≃g(θ)(1+iTkdθk)
と表せる。これを関係式
g(θ)⋅g(dθ)=g(β(θ,dθ))≃g(θi+Eikdθk)=g+dg
と比較すると、
g−1dg=iTkdθk
を得る。これより Tk=−iEik∂∂βi=−i∂∂θk が分かるので微分演算子は Xk=i(E−1)lkTl と表せる。次節では SU(2) 群における Tk(θ) の形を具体的に導出する。
リー代数
一般に、代数はベクトル空間 V を成す要素の集合 {ta} で定義される。すなわち、{ta}∈V (a=1,2,⋯,dimV), αta+βtb∈V とおける。(α, β は体の係数。) そのような要素に対してブラケット演算子 {ta,tb} を考える。その典型例として、ポアソン括弧 {ta,tb}=Ccabtc がある。ただし、Ccab は定数。ブラケット演算子は一般に写像 V×V→V を与える。リー代数はこの演算子に対して
(i) 反対称性 {ta,tb}=−{tb,ta} と
(ii) ヤコビ律 {ta,{tb,tc}}+{tb,{tc,ta}}+{tc,{ta,tb}}=0
を課すことによって定義される。ポアソン括弧の定数 Ccab を用いて言い換えると、リー代数は条件式
Ccab+Ccba=0CdabCecd+CdbcCead+CdcaCebd=0
で定義される。ヤコビ律(12.13)は添え字 (a,b,c) についての巡回和で表せることに注意しよう。
リーの第2定理
リーの第2定理の主張は以下の通り。
微分演算子 Xi=(E−1)ki∂∂θk はリー代数の(基底)要素を成す。任意のリー群 G に対して、対応するリー代数 G が存在する。
言い換えると、微分演算子 Xi と要素 ta の間に対応関係がある。この主張の逆は次のようになる。
任意のリー代数 G に対して、対応するリー群 ˜G を構成できる。(群の要素を ˜g=exp(itaθa) とすればよい。)ただし、この ˜G はユニークには決まらない。より正確には、˜G は単連結型の G(G は上記のリー群)であり、単連結普遍被覆群と呼ばれる。