习题 19.3 - 解答
(a)
在 SU(n) 群中,表示 r 的反常系数 A(r) 定义为:
trr[ta{tb,tc}]=21A(r)dabc
对于直积表示 r1×r2,其生成元由式 (15.99) 给出:
Ta=tr1a⊗1r2+1r1⊗tr2a
我们需要计算直积表示下的迹 trr1×r2[Ta{Tb,Tc}]。首先展开反对易子:
{Tb,Tc}={tr1b,tr1c}⊗1r2+1r1⊗{tr2b,tr2c}+2tr1b⊗tr2c+2tr1c⊗tr2b
将其与 Ta 相乘并展开,得到 8 项:
Ta{Tb,Tc}=tr1a{tr1b,tr1c}⊗1r2+1r1⊗tr2a{tr2b,tr2c}+tr1a⊗{tr2b,tr2c}+{tr1b,tr1c}⊗tr2a+2tr1atr1b⊗tr2c+2tr1atr1c⊗tr2b+2tr1b⊗tr2atr2c+2tr1c⊗tr2atr2b
对直积空间求迹时,利用性质 tr(A⊗B)=tr(A)tr(B)。由于半单李代数的生成元是无迹的,即 tr(tr1i)=0 且 tr(tr2i)=0,上述展开式中包含单个生成元迹的后 6 项全部为零。因此只剩下前两项:
trr1×r2[Ta{Tb,Tc}]=trr1(tr1a{tr1b,tr1c})trr2(1r2)+trr1(1r1)trr2(tr2a{tr2b,tr2c})=21A(r1)dabcd2+d121A(r2)dabc=21[d2A(r1)+d1A(r2)]dabc
另一方面,直积表示可以分解为不可约表示的直和 r1×r2=∑iri。直和表示的迹等于各不可约表示迹的求和:
tr∑ri[Ta{Tb,Tc}]=∑itrri[tria{trib,tric}]=21∑iA(ri)dabc
比较两式系数,即证得:
d1A(r2)+d2A(r1)=i∑A(ri)
(b)
在 SU(3) 中,两指标反对称张量 a 的分量为 T[ij],其维数为 da=3×2/2=3。
利用 SU(3) 的不变张量 Levi-Civita 符号 ϵijk,我们可以构造一个单上指标的张量:
T~k=21ϵijkT[ij]
在 SU(3) 变换 U 下,T[ij]→UilUjmT[lm]。因此 T~k 的变换为:
T~k→21ϵijkUilUjmT[lm]
利用恒等式 ϵijkUilUjmUkn=det(U)ϵlmn,且对于 SU(3) 有 det(U)=1,两边同乘 (U−1)pk 可得:
ϵijkUilUjm=ϵlmn(U−1)nk
由于 U 是幺正矩阵,(U−1)nk=Ukn∗。代入变换式得到:
T~k→Ukn∗(21ϵlmnT[lm])=Ukn∗T~n
这正是复共轭表示(反基础表示)3ˉ 的变换规律。因此,在 SU(3) 中 a∼3ˉ。
对于基础表示 3,反常系数 A(3)=1。共轭表示的反常系数满足 A(rˉ)=−A(r),因此:
A(a)=A(3ˉ)=−1
利用 (a) 中的恒等式,考虑 SU(3) 的直积 3×3=s+a。此时 r1=r2=3,d1=d2=3。代入恒等式:
d3A(3)+d3A(3)=A(s)+A(a)
3(1)+3(1)=A(s)−1⟹6=A(s)−1
解得对称表示 s 的反常系数为:
A(s)=7
(c)
为了计算 SU(n) 中的反常系数,我们可以将 SU(n) 的表示分解为 SU(3) 子群的表示。SU(n) 的基础表示 F 在 SU(3) 下分解为:
F→3⊕(n−3)×1
其中 1 表示 SU(3) 的单态。
对于两指标对称张量 s 和反对称张量 a,它们由 F×F 构成。在 SU(3) 下,基矢 ei⊗ej±ej⊗ei 的分解如下:
- 当 i,j∈{1,2,3} 时,分别构成 SU(3) 的对称表示 6 和反对称表示 3ˉ。
- 当 i∈{1,2,3} 且 j∈{4,…,n}(或反之)时,对于每一个固定的 j,构成 SU(3) 的基础表示 3。共有 n−3 个这样的 j,因此给出 (n−3) 个 3 表示。
- 当 i,j∈{4,…,n} 时,完全不受 SU(3) 作用,构成单态 1。
因此,s 和 a 在 SU(3) 下的分解为:
sSU(n)→6⊕(n−3)×3⊕singlets
aSU(n)→3ˉ⊕(n−3)×3⊕singlets
由于反常系数在直和下是可加的,且单态的反常系数为 0,利用 (b) 中求得的 A(6)=7,A(3ˉ)=−1,A(3)=1,可得 SU(n) 中的反常系数:
A(s)=A(6)+(n−3)A(3)=7+(n−3)(1)=n+4
A(a)=A(3ˉ)+(n−3)A(3)=−1+(n−3)(1)=n−4
这成功导出了式 (19.141)。
计算 j 指标全反对称张量 Aj 的反常系数:
Aj 由 j 阶外代数 ΛjF 给出。将其在 SU(3) 下分解,相当于从 n 个指标中选取 j 个。假设其中有 k 个指标落在 {1,2,3} 中,剩余 j−k 个指标落在 {4,…,n} 中。
对于固定的 j−k 个单态指标(共有 (j−kn−3) 种选法),这 k 个指标构成 SU(3) 的 k 指标全反对称张量。
SU(3) 的 k 指标全反对称张量及其反常系数为:
- k=0: 单态,A=0
- k=1: 3 表示,A=1
- k=2: 3ˉ 表示,A=−1
- k=3: 单态(行列式),A=0
因此,Aj 的反常系数为:
A(Aj)=(j−1n−3)A(3)+(j−2n−3)A(3ˉ)=(j−1n−3)−(j−2n−3)
将其化简:
A(Aj)=(j−1)!(n−j−2)!(n−3)!−(j−2)!(n−j−1)!(n−3)!=(j−2)!(n−j−2)!(n−3)!(j−11−n−j−11)=(j−2)!(n−j−2)!(n−3)!(j−1)(n−j−1)n−2j
最终得到:
A(Aj)=(j−1)!(n−j−1)!(n−3)!(n−2j)
当 2j=n 时结果为零的原因:
j 指标全反对称张量 Aj 对应于 ΛjF。在 SU(n) 中,利用不变的 Levi-Civita 张量 ϵi1…in 进行缩并(Hodge 星算子),可以建立 ΛjF 与 Λn−jF 的对偶空间之间的同构关系。由于对偶表示即为复共轭表示,我们有:
Aj∼An−j
共轭表示的反常系数满足 A(rˉ)=−A(r),因此 A(An−j)=−A(Aj)。
当 2j=n 时,j=n−j,这意味着表示 An/2 等价于它自身的复共轭表示(即它是实或伪实表示):
An/2∼An/2
这直接导致 A(An/2)=−A(An/2),从而必然有 A(An/2)=0。