Casimir算子与庞加莱群：特征值与不可约表示的对应机制

嘿，这个问题刚好戳中了QFT里用群论分类粒子的核心逻辑——Kaku在书里引入Casimir算子，其实就是在给我们搭一个框架，用群表示论的语言把粒子的基本属性（质量、自旋）和庞加莱对称性绑定起来。下面我把对应关系拆解开讲清楚：

庞加莱群的Casimir算子是和所有群生成元（平移$P^{\mu$、洛伦兹变换$J}{\mu\nu}$）都对易的算子，所以它们在表示空间里是"常数"——对整个不可约表示的所有态，它们的特征值都一样。Kaku里提到的两个核心Casimir是：

1. 动量平方：P^μ P_μ，这个算子的特征值就是粒子的质量平方$m^2$
2. Pauli-Lubanski算子的平方：W^μ W_μ，其中$W^\mu = \frac{1}{2} \varepsilon^{\mu\nu\rho\sigma} J_{\nu\rho} P_\sigma$（$\varepsilon$是Levi-Civita符号，$J$是洛伦兹生成元，包含角动量和boost）

我们可以根据动量平方的特征值$m^2$把表示分成三大类，每类里再用Pauli-Lubanski算子的特征值细化：

1. 类时表示（$m^2 > 0$，有质量粒子） #

当$m≠0$时，我们总能通过洛伦兹boost转到粒子的静止系，此时$P=(m, 0, 0, 0)$。代入Pauli-Lubanski算子的定义，会发现它的空间分量变成$W^i = m J^i$（$Ji$是角动量生成元），所以$W^2 = -m^2 J^2$。

而角动量$J^{2$的特征值是$s(s+1)$（$s$是自旋，取非负整数或半整数：0,1/2,1,3/2,...），所以$W}2$的特征值就是$-m^2 s(s+1)$。

这时候，一个不可约表示就完全由质量$m$和自旋$s$唯一确定——对应QFT里的一种有质量粒子（比如电子$m≠0$，$s=1/2$；W玻色子$m≠0$，$s=1$）。整个表示空间就是这个粒子所有自旋投影态（比如$s=1/2$有两个态：自旋向上/向下）通过洛伦兹变换得到的所有参考系下的态的集合。

2. 类光/零质量表示（$m^2 = 0$，无质量粒子） #

当$m=0$时，动量$P$是类光矢量（比如$P=(E,0,0,E)$），这时候Pauli-Lubanski算子$W$和$P$是平行的，即$W^\mu = \lambda P^{\mu$，代入$W}2$的话会得到$W^2=0$，所以这个Casimir的特征值固定为0，没法区分不同的表示。

这时候我们用螺旋度（helicity）来分类：螺旋度$h$是自旋在动量方向上的投影，它的取值是$\pm s$（$s$是自旋）。比如光子$s=1$，螺旋度是$\pm1$；中微子如果是Weyl型的，$s=1/2$，螺旋度只有$-1/2$（或$+1/2$，取决于手性）。

这里的不可约表示由螺旋度$h$唯一确定——因为零质量粒子的boost不会改变螺旋度（自旋只能沿着动量方向，没法转到垂直方向），所以每个螺旋度对应一个不可约表示。

3. 类空表示（$m^2 < 0$） #

这类表示在QFT里没有物理意义，因为对应"虚粒子"或者快子，我们一般不考虑。

为什么Casimir算子的特征值能刻画不可约表示？核心是Schur引理：对于群的不可约表示，任何与表示中所有群元都对易的算子（Casimir算子就是这类），在表示空间里必须是常数倍的单位矩阵。也就是说，同一个不可约表示里的所有态，Casimir算子的特征值都相同；反过来，如果两个表示有完全相同的Casimir特征值，它们就是等价的不可约表示。

所以庞加莱群的不可约表示，本质上就是用这两个Casimir的特征值来分类——这正好对应了我们对粒子的基本分类：质量和自旋（或螺旋度）。

内容的提问来源于stack exchange，提问作者Canonical Momenta