Editing Openai/69174844-9774-8012-8b69-32262ca5e35a (section)

=== Assistant: 好的，我们来详细地从有质量粒子和无质量粒子两类举例，说明为什么它们各自的“小群”是保持动量的群，以及这些群如何控制自选自由度。我们把这个问题分步骤、直观又数学化地说明。 ===
好的，我们来详细地从有质量粒子和无质量粒子两类举例，说明为什么它们各自的“小群”是保持动量的群，以及这些群如何控制自选自由度。我们把这个问题分步骤、直观又数学化地说明。

==== ### ====
* 有质量粒子可以选择静止系：

pμ=(m,0,0,0)p^\mu = (m, 0, 0, 0)pμ=(m,0,0,0)
* 这是最自然的参考动量。

===== - 我们要求 Λμνpν=pμ\Lambda^\mu{}_\nu p^\nu = p^\muΛμνpν=pμ =====
* 静止动量只有时间分量 p0=mp^0 = mp0=m，空间分量为零。

因此：

Λ00p0+Λ0ipi=Λ00m=m  ⟹  Λ00=1\Lambda^0{}_0 p^0 + \Lambda^0{}_i p^i = \Lambda^0{}_0 m = m \implies \Lambda^0{}_0 = 1Λ00p0+Λ0ipi=Λ00m=m⟹Λ00=1
而空间部分 Λij\Lambda^i{}_jΛij 可以是任意旋转 R∈SO(3)R \in SO(3)R∈SO(3)，因为：

Λijpj=0\Lambda^i{}_j p^j = 0Λijpj=0
✅ 结论：静止动量下的“小群” = SO(3)（三维旋转群）
* 作用在空间方向上，不改变动量。
* 这个小群的不可约表示维数 = 2s+1 → 自旋自由度。

===== - 电子（自旋 1/2）： - SO(3) 表示维数 = 2 → 自旋投影 ms=±1/2m_s = \pm 1/2ms=±1/2 =====
* 质子（自旋 1/2）同理
* 光子是无质量，所以下面讨论无质量情形。

==== ### ====
* 没有静止系，可以选择沿 z 轴传播的参考动量：

pμ=(E,0,0,E)p^\mu = (E, 0, 0, E)pμ=(E,0,0,E)
* 能量 = 动量大小，符合光子等无质量粒子。

===== 我们要求 Λμνpν=pμ\Lambda^\mu{}_\nu p^\nu = p^\muΛμνpν=pμ，也就是： =====

Λ(E00E)=(E00E)\Lambda \begin{pmatrix} E \\ 0 \\ 0 \\ E \end{pmatrix} = \begin{pmatrix} E \\ 0 \\ 0 \\ E \end{pmatrix}ΛE00E=E00E
====== - 沿 z 轴旋转 θ\thetaθ： ======

Rz(θ)=(10000cos⁡θ−sin⁡θ00sin⁡θcos⁡θ00001)R_z(\theta) = 
\begin{pmatrix}
1 & 0 & 0 & 0 \\
0 & \cos\theta & -\sin\theta & 0 \\
0 & \sin\theta & \cos\theta & 0 \\
0 & 0 & 0 & 1
\end{pmatrix}Rz(θ)=10000cosθsinθ00−sinθcosθ00001
* 作用在 p 上不会改变 p → 是保持动量的变换。
* 沿 x 或 y 方向的 boost（所谓“平移”）：

T(a,b)=null rotation/ISO(2) translation partT(a,b) = \text{null rotation/ISO(2) translation part}T(a,b)=null rotation/ISO(2) translation part
* 可以证明这些变换会改变空间方向，但仍保持 p2=0p^2 = 0p2=0 且沿 z 方向不动（数学上是 ISO(2) 群）。

✅ 结论：无质量粒子的小群 = ISO(2)（二维欧几里得群）
* 包含沿 z 轴的旋转（对应螺旋度）
* 平移部分 → 对物理态无影响，可规掉

===== - 光子（自旋 1）： - ISO(2) 的不可约表示 → 只有两种 helicity ±1 =====
* 引力波（自旋 2）： - ISO(2) 不可约表示 → helicity ±2

==== |     |     |     |     |     | ====
| --- | --- | --- | --- | --- |
|     |     |     |     |     |
|     |     |     |     |     |
* 关键点： - 小群定义 = “保持参考动量不变的洛伦兹变换” - 其不可约表示 = “粒子内部自由度（自选自由度）”

==== 1. 为什么要用“保持动量的不变子群”？ - 粒子的“内部自由度”必须在动量固定下定义（否则自旋状态随动量变化不一致） - 这个子群就是 Poincaré 群下保持参考动量不动的变换 ====
# 不同质量的粒子对应不同小群 - 有质量 → 静止系 → 小群 = SO(3) → 自旋 2s+1 - 无质量 → 沿动量参考系 → 小群 = ISO(2) → 仅 helicity ±s
# 物理意义 - 电子、质子等有质量粒子 → 3 个自旋方向（1/2粒子 2 个投影） - 光子 → 只有两个偏振态 - 无质量粒子多余的自由度被规范或动力学约束去掉

我可以帮你画一张小群示意图：
* 左边：有质量粒子静止系，SO(3) 旋转作用
* 右边：无质量粒子沿 z，ISO(2) 螺旋 + 平移（规掉）

这张图直观显示“为什么不同小群给出不同自由度”。

你希望我画吗？