2+1维时空的单粒子态
本文主要内容来自笔者对 Weinberg 量子场论卷一第二章习题 2.5 与 2.6 的解答,如有错误还请读者指正。
本文全篇使用爱因斯坦求和约定,取东海岸度规。
2+1维时空中的指标取值为0,1,2.
众所周知,我们日常生活所接触到的世界一般由三个空间维度与一个时间维度组成,也就是所谓的3+1维时空。基于狭义相对性原理,我们知道3+1维时空中的物理理论必须满足 Poincaré 对称性,亦即在 O(3,1) 群元的变换下不发生改变。依此要求与Wigner基本定理(保证对称变换的幺正/反幺正性),我们可以推导出3+1维时空中的单粒子态。在本文中,我们尝试来探讨一下去除一个空间维度的“二次元”世界,也即2+1维时空中的单粒子态。
O(2,1) 群及其代数
显然地,2+1维时空中的 Poincaré 对称性变为了在群 O(2,1) 的变换下物理体系不变。所以我们先来研究群 O(2,1) 的性质。如同群 O(3,1) 的操作一样,群 O(2,1) 有保三维度规 ημν=diag(−1,1,1) 的条件,即:
ημνΛμρΛνσ=ηρσ
其中 Λ 是群 O(2,1) 的群元。用 U(Λ) 表示其对应的幺正变换,显然其应满足乘法规则:
U(¯Λ,¯a)U(Λ,a)=U(¯ΛΛ,¯Λa+¯a)
取无穷小变换 Λμν=δμν+ωμν,aρ=ερ,并将其展开为幂级数形式:
U(1+ω,ε)=1+12iωμνJμν−iερPρ+⋅⋅⋅
其中生成元 Jμν 与 Pρ 仍旧是厄米算符,且 ωμν 与 Jμν 依然是反对称矩阵。考虑如下算式:
U−1(Λ,a)U(1+ω,ε)U(Λ,a)
我们容易看到,一方面上式等于:
U−1(Λ,a)(1+12iωρσJρσ−iελPλ)U(Λ,a)
另一方面应用乘法规则再展开后又等于:
1+12iωρσ(ΛρμΛσνJμν−ΛρλaσPλ)−iερΛρλPλ
使二者相等,并注意使用 ωμν 的反对称性,我们可以得到:
U−1(Λ,a)JρσU(Λ,a)=ΛρμΛσνJμν+ΛσλaρPλ−ΛρλaσPλ
以及:
U−1(Λ,a)PλU(Λ,a)=ΛλρPρ
再次取另一组无穷小变换 Λμν=δμν+ωμν ,aρ=ερ ,同样注意使用 ωμν 的反对称性,我们便可以计算出其生成元的对易关系(看起来和 O(3,1) 的没什么两样):
i[Jρσ,Jμν]=ηρμJνσ−ηρνJμσ+ησμJρν−ησνJρμi[Pλ,Jρσ]=ηρλPσ−ησλPρ
但由于缺少了一个空间维度,实际上的 Jμν 仅剩下了三个独立分量 J01、J02、J12,其中前两个对应于 Boost 变换的生成元,而第三个则对应于子群 SO(2) 中的唯一转动生成元。因而实际上的对易关系与3+1维时空中的不大一样。
有质量单粒子态
小群表示
考虑2+1维Lorentz变换在有质量单粒子态上的作用。我们同样使用 σ 标记所有除动量之外的自由度。类似于3+1维的情况,我们有:
PμU(Λ)|p,σ⟩=U(Λ)U−1(Λ)PμU(Λ)|p,σ⟩=U(Λ)ΛμνPν|p,σ⟩=ΛμνpνU(Λ)|p,σ⟩
可见 U(Λ) 使一动量为 pμ 的单粒子态变为动量为 Λμνpν 的单粒子态。因而我们有:
U(Λ)|p,σ⟩=∑σ′Cσ′σ|p,σ′⟩
效仿 Weinberg 的做法,我们仍旧使用小群(迷向子群)来获得 U(Λ) 的表示。小群被定义为保标准动量 kμ 不变的 Lorentz 子群。对于有质量粒子,自然地选择标准动量为 kμ=(M,0,0),以及标准 Lorentz 变换 L(p),使得有 L(p)μνkν=pμ. 2+1维时空中有质量粒子的小群为 SO(2),即我们最熟悉的二维旋转群。 定义一般动量态为:
|p,σ⟩=√Λp0p0U(L(p))|k,σ⟩
其中 √Λp0p0 是归一化系数。容易得到:
U(Λ)|p,σ⟩=√Λp0p0U(ΛL(p))|k,σ⟩=√Λp0p0U(L(Λp)L−1(Λp)ΛL(p))|k,σ⟩
容易看出 L−1(Λp)ΛL(p) 是保 kμ 不变的,因而其属于小群 SO(2). 对于小群任意群元 W 的幺正表示,我们总有:
U(W)|k,σ⟩=∑σ′D(W)σ′σ|k,σ′⟩
其中 D(W)σ′σ 是幺正算符 U(W) 的矩阵元。因而我们有:
U(Λ)|p,σ⟩=√Λp0p0∑σ′D(W)σ′σ|Λp,σ⟩
由于2+1维情况下小群是 SO(2),所以这种情况的矩阵元 D(W)σ′σ 是显然的,即 exp(iθσ)δσ′σ,其中 θ=θ(Λ,p) 依赖于动量与 Lorentz 变换。因此,我们得到了2+1维中有质量单粒子态在 Lorentz 变换下的行为:
U(Λ)|p,σ⟩=√Λp0p0exp(iθσ)|Λp,σ⟩
反演变换
定义时间反演变换为:
T=⎛⎜⎝−100010001⎞⎟⎠
空间反演变换为:
P=⎛⎜⎝1000−1000−1⎞⎟⎠
在不考虑弱相互作用的情况下近似地认为 T 与 P 守恒,则我们要求存在:
P≡U(P,0)T≡U(T,0)
使得:
P−1U(Λ,a)P=U(P−1ΛP,Pa)T−1U(Λ,a)T=U(T−1ΛT,Ta)
利用和上述计算 O(2,1) 的幺正算符与生成元对易关系的方法类似,我们可以计算出如下结果:
P−1iJρσP=iPρμPσνJμνP−1iPτP=iPτρPρ
以及:
T−1iJρσT=iTρμTσνJμνT−1iPτT=iTτρPρ
分别取 τ 指标为 0,可以看出为保证正能态,我们必须要求 P 是线性且幺正的而 T 是反(线性)幺正的。
因此我们有:
PμP|k,σ⟩=P(H,−P)|k,σ⟩=PμνkνP|k,σ⟩
以及:
J12P|k,σ⟩=PJ12|k,σ⟩=σP|k,σ⟩
容易看出,对于有质量粒子,P 不改变 Pμ 与 J12 的本征值。因此,我们只能有:
P|k,σ⟩=ησ|k,σ⟩
并且我们有:
P|p,σ⟩=√Mp0U(PL(p)P−1)P|k,σ⟩=ησ√Mp0U(L(Pp))|k,σ⟩=ησ|Pp,σ⟩
其中 ησ 是一个模为 1 的相位。但由于2+1维时空中似乎并不存在其余与 σ 相关的算符,笔者无法仿照3+1维时空中那样判断 ησ 是否与 σ 无关。若读者有想法欢迎来讨论。
类似的,我们有:
PμT|k,σ⟩=PμνkνT|k,σ⟩
以及:
J12T|k,σ⟩=−TJ12|k,σ⟩=−σT|k,σ⟩
可见我们有:
T|k,σ⟩=ζσ|k,−σ⟩
以及:
T|p,σ⟩=√Mp0U(TL(p)T−1)T|k,σ⟩=ζσ√Mp0U(L(Pp))|k,−σ⟩=ζσ|Pp,−σ⟩
这里的 ζσ 同样为一个模为 1 的相位。虽然我们仍不知道 ζ 与 σ 的依赖关系,但我们可以重定义 |k,σ⟩′=ζ1/2|k,σ⟩ 来消去这个模长,因而其不具有物理意义。
无质量单粒子态
小群表示
对于2+1维的无质量单粒子态,取 kμ=(κ,0,κ). 其小群为 ISO(1)=E(1). 该群的表示会导致无质量粒子要么仅有一个连续的“自旋/螺旋度”来标记不同单粒子态,要么不存在可以区分不同单粒子态的“自旋/螺旋度”,仅能依靠其统计性质区分粒子。在这里我们仍旧不希望出现连续的自由度来标记不同粒子态,因而笔者选择了直接使用动量作为区分2+1维单粒子态的唯一自由度,即:
U(Λ)|p⟩=√Λp0p0|Λp⟩
(这样的选择不一定完全合理,如有其他想法欢迎和笔者讨论交流。)
关于2+1维时空中的单粒子态、小群与其表示的更多讨论,读者可以参看参考书目2 (arxiv.org/pdf/1610.08526) 中的4.3节。
反演变换
我们仍旧有:
PμP|k,σ⟩=P(H,−P)|k,σ⟩=PμνkνP|k,σ⟩
但在无质量情况下 P≠0 因而 P 改变了 kμ. 同样为了方便,我们考虑算符 U(R−13)P,其中 U(R3)=exp(iπJ12) 为180°旋转变换,其将 −P 变回 P. 因而 U(R−13)P 保 kμ 不变。于是我们有:
U(R−13)P|k⟩=η|k⟩
进一步计算一般动量态,有:
P|p⟩=P√Λp0p0U(L(p))|k⟩
仍旧取 L(p)=R(^p)B(|^p|κ),其中 B(|^p|κ) 是在2-方向上的 Boost 而 R(^p)=exp(iθJ12) 使 2-方向转向 ^p 方向。因此有:
P|p⟩=√Λp0p0U(PR(^p)B(|^p|κ))|k⟩=√Λp0p0U(R(^p)R3R−13PB(|^p|κ))|k⟩=√Λp0p0U(R(^p)R3B(|^p|κ))U(R−13P)|k⟩=η√Λp0p0U(R(^p)R3B(|^p|κ))|k⟩
不同于3+1维情况额外多出的一个旋转,这里的 R(^p)R3 刚好就是 R(−^p). 因此,我们可以直接得到:
P|p⟩=√Λp0p0η|Pp⟩
类似的,对于时间反演算符,我们可以得到:
T|p⟩=√Λp0p0ζ|Pp⟩
以上内容即为笔者计算的2+1维时空中的单粒子态情况,如有错误还请指正。
参考书目:
The Quantum Theory of Fields Volume I, Steven Weinberg
BMS Particles in Three Dimensions, Blagoje Oblak