File failed to load: https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/extensions/TeX/mathtools.js

2024-12-03

12. リー群の幾何学的側面 vol.4

12.3 既約表現



この節ではリー群要素 gG の既約表現について考える。12.1節の初めに紹介した群の公理(合成則、結合則、単位元・逆元の存在)は群の要素を(可逆な)正則行列と見做しても成立する。実際、群の要素と行列の集合は準同型 (homomorphic) であることが知られている。12.2節の(12.16)で SU(2) 群の 2×2 行列表現 g(θ)=exp(iσa2θa) を導入した。これは SU(2) の定義表現と呼ばれる。この表現からさらに高次元の行列表現を構成できる。例えば、行列のブロック対角化
(g1(θ)00g1(θ))(g2(θ)00g2(θ))=(g1g200g1g2).
を用いると、4×4 行列による可約表現を得る。一方、既約表現は行列の相似変換 (similarity transformation) によってブロック対角化されない表現で定義される。ここで、相似変換は一般に正則行列を変換行列として定義される。例えば、(12.51)の相似変換は 4×4 特殊ユニタリー行列 U を用いて
U(g1(θ)00g1(θ))UU(g2(θ)00g2(θ))U=U(g1g200g1g2)U.
と表せる。

復習:テンソル解析

 5.3節で解説したように SU(3) 群の既約表現はテンソル解析によって構成できる。以下では一般のリー群についてテンソル解析を用いてどのように既約表現が構成できるかを見る。まず、N×N 行列はベクトル空間 V の線形変換を定義することに注意する。V の基底を ϕi (i=1,2,N) とおく。このとき ϕi の変換は
ϕi=gijϕi
と表せる。ただし、gij は対象となる群 G の要素 g(θ)=exp(itaθa) の行列成分である。ここで、gN×N 行列表現であり、ta (a=1,2,,N=dimG) はリー代数 G の生成子を表す。

 つぎに、2つの基底の直積 ΨijϕiχjVV を考える。χj は2つ目のベクトル空間 V の基底を表す。Ψij の変換は上と同様に
Ψij=gikgjlΨklGij,klΨkl
と書ける。このとき、Gij,kl は群の合成則 g(1)g(2)=g(3) を保存する。
G(1)ij,klG(2)kl,mn=g(1)ikg(2)kmg(1)jlg(2)ln=g(3)img(3)jn=G(3)ij,mn
この関係式は Gij,kl が2つの表現の合成表現であることを示している。一般に、このような合成表現は既約であり、対称成分と反対称成分を含む。任意の階数の合成表現から既約表現を得るには、次の還元則を適用する必要がある。
  1.  対称成分と反対称成分を分離する。5.3節の(5.21), (5.22)で見たように対称成分と反対称成分はそれぞれ独立に変換する。12(Ψij±Ψji)=12(gikgjlΨkl±gjkgilΨkl)=gikgjl12(Ψkl±Ψlk)この関係は群の構造に依らない。
  2. それぞれの群に応じて不変なテンソルが存在する。これらの不変テンソルを用いてテンソルの添え字を縮約できる。
定義表現 g(θ)=exp(itaθa) の複素共役は g(θ)=exp(itaθa) で与えられる。よって、変換(12.53)の複素共役は
χi=gijχj
と表せる。この共役表現は明らかに(12.53)と同じ合成則に従う。慣例として、共役表現の添え字は上付き添え字で表示される。つまり、テンソルの一般形は
Ψj1j2jqi1i2ip
と表せる。ただし、p, q は自然数である。注意として、SU(2) 群の場合、
g=exp(iσa2θa)=eiσ12θ1+iσ22θ2iσ32θ3σ2gσ2=σ2exp(iσa2θa)σ2=eiσ12θ1+iσ22θ2+iσ32θ3=g
が成り立つ。ただし、パウリ行列の関係式 (σ1)2=(σ2)2=(σ3)2=1σiσj=σjσi (ij) を用いた。SU(2) 群の要素の1つとして ˜g=exp(iσ22π)=iσ2 と表せるので、関係式(12.60)は ˜gg˜g=g と書ける。すなわち、SU(2) 群では共役表現を考える必要がない。この意味で関係式(12.60)は SU(2) 群の擬実数性と言及されることがある。

 ユニタリー表現の場合、gij=(g)ji=(g1)ji となるので、5.3節の(5.27)で解説したようにユニタリー性から δij が不変であることが導ける。
δij=gikgjlδkl=gikgjk=gjk(g)ki=(gg)ij=δij
また、特殊群の場合、群の要素を行列と見做すとその行列式は1となる。
detg=σSNsgn(σ)g1σ1g2σ2gNσN=1
ただし、σ は添え字{1,2,,N} あるいは対称群 SN の要素の置換を表す。置換の符号記号は階数 N のレビ-チビタ記号に他ならない。
sgn(σ)=ϵσ1σ2σN
つぎに、群の要素の行列表現において行のシャッフル g=(gij)gτ=(gτij) を考える。ただし、τ は要素 {1,2,,N} の別の置換を表す。このとき、gτ の行列式は
detgτ=σSNsgn(σ)gτ1σ1gτ2σ2gτNσN=σSNsgn(σ)g1(τ1σ)1g2(τ1σ)2gN(τ1σ)N=sgn(τ)ρSNsgn(ρ)g1ρ1g2ρ2gNρN=sgn(τ)detg=sgn(τ)
と表せる。ただし、ρ=τ1σ であり、関係式 sgn(σ)=sgn(τ)sgn(τ1σ) を用いた。ここで、σSN についての総和は ρSN についての総和と等しくなることに注意しよう。式(12.63)と(12.64)からレビ-チビタ記号の不変性が直ちに導かれる。
ϵi1i2iN=gi1σ1gi2σ2giNσNϵσ1σ2σN=ϵi1i2iNdetg=ϵi1i2iN
これは5.3節で示した SU(3) の場合
ϵijk=UiaUjbUkcϵabc=ϵijkdetU=ϵijk
の一般形である。反対称テンソル ϵi1i2iN あるいは ϵi1i2iN との縮約をとると、テンソル(12.58)の上付き添え字 (jj2 ... jqと下付き添え字 (i1 i... ipはそれぞれ完全対称であることが保証される。さらに、クロネッカーのデルタ δij との縮約からトレース・ゼロのテンソルのみが有効であることが分かる。

 SU(2) 群の場合、上述の通り、下付き添え字だけのテンソル Ψi1i2ip から既約表現を分類できる。ただし、添え字は1か2の値をとる。反対称テンソル ϵij との縮約を考えると、添え字は完全対称に取れる。よって、既約表現の次元は p+1 で与えられる。通常、既約表現は j=p/2 で特徴付けられるが、この値は SU(2) 代数の生成子 J3 の最大の固有値(スピン)に対応する。

 SU(3) 群の場合、不変テンソルは δijϵijk (あるいは ϵijk) で与えられる。(12.56)の第1の還元則を基本表現 3 の直積に適用すると、2階テンソル Ψij を対称成分 Ψ(ij) と反対称成分 Ψ[ij] に分解できる。Ψ(ij) には6つの項があり、Ψ[ij] には3つの項がある。Ψij に第2の還元則を適用すると、反対称成分は ϵijkΨij=χk と上付き添え字1つをもつテンソルで表せる。これは共役な基本表現 3 に相当する。テンソル χk が共役表現として変換することは次のように確認できる。
χk=ϵijkgimgjnΨmn=ϵmnpgkpΨmn=gkpχp
ただし、関係式 ϵijkgimgjn=ϵmnpgkp を用いた。この関係式は ϵmnp の不変性あるいは単位行列式 detg=1 から導出できる。実際、
ϵmnp=ϵijkgimgjngkp=ϵmnpdetg=ϵmnp
なので、ϵmnpglp
ϵmnpglp=ϵijkgimgjngkpglp=ϵijkgimgjngkp(g)pl=ϵijkgimgjnδlk = ϵijlgimgjn
と表せる。階数2テンソルの分解 Ψij=Ψ(ij)+Ψ[ij] を既約表現の次元で表すと
33=63
と書ける。SU(3) 群の既約表現はテンソル Ψj1j2jqi1i2ip で分類できる。ここで、上付き・下付きの添え字はそれぞれ完全対称であり、添え字1つ1つは (1,2,3) のいずれかの値をとる。さらに、上付きと下付きの添え字の (不変テンソル δji による) 縮約はテンソル解析においてトレース成分に相当しゼロとおける。テンソル Ψj1j2jqi1i2ip において下付き添え字の組み合わせは p+2C2=12(p+1)(p+2) で与えられる。同様に、上付き添え字の組み合わせは q+2C2=12(q+1)(q+2) となる。よって、トレース成分を差し引くと SU(3) 既約表現の次元 dim(p,q) を導出できる。
dim(p,q)=12(p+1)(p+2)12(q+1)(q+2)12p(p+1)12q(q+1)=12(p+1)(q+1)(p+q+2)
これは、5.3節の(5.34)で求めたもとの同じである。低次元の SU(3) 既約表現とそのテンソル表示は以下のようになる。
(p,q)  (p,q)(1,0)3Ψi  (3,0)10Ψijk(0,1)3Ψi  (0,3)10Ψijk(2,0)6Ψij  (2,1)15Ψkij(0,2)6Ψij  (1,2)15Ψjki(1,1)8Ψji  (2,2)27Ψklij

0 件のコメント: