10.2 物理中的對稱群#
本章導言#
「對稱決定守恆」——這是二十世紀物理最深的原理之一，其數學載體正是本書的主語言：群。從 Galois 的置換群（1832），到 Lie 的連續群（1873），到 Emmy Noether 的定理（1918），到 Wigner 的量子力學表示論（1930s），到規範場論的 \(SU(3) \times SU(2) \times U(1)\) （1960s–70s），一條清晰的鏈：數學家為純粹動機發展的結構理論，被物理學家發現正是自然的語法。本節梳理這條鏈，展示群論如何從「描述形狀的學問」變成「寫下定律的語言」。
歷史前因後果#
| 人物 | 年代 | 事件 |
|---|---|---|
| Galois | 1832 | 離散對稱的代數化 |
| Sophus Lie | 1873 | 連續對稱群（8.1） |
| Emmy Noether | 1918 | 對稱性 \(\leftrightarrow\) 守恆律定理 |
| Weyl | 1928–29 | 量子力學的群論；規範（gauge）概念 |
| Wigner | 1931 | 原子光譜的群論分析（後獲諾貝爾獎） |
| Yang & Mills | 1954 | 非交換規範場論 |
| Gell-Mann 等 | 1960s | \(SU(3)\) 八重法、夸克模型 |
| 標準模型 | 1970s | \(SU(3) \times SU(2) \times U(1)\) |
驅動關係：Noether 的定理是被迫產物——物理學家（Klein、Hilbert 的同事們）爭論廣義相對論中能量守恆是否失效，Noether 用兩篇論文終結爭論：每個連續對稱群對應一個守恆量，反之亦然。Wigner 則是在研究原子光譜的分類時發現，需要的數學已由 Frobenius 與 Schur 全部備好（7.2、7.3）。理論的時間差常常是三十年：數學先備貨，物理後取貨。
NOTHER 定理：對稱與守恆的詞典#
定理 10.2.1（Noether，1918）：若作用量的連續對稱群參數為 \(\epsilon\) （變換 \(q \mapsto q + \epsilon \xi\) ），則存在守恆量
詞典（本書語言對照）：
| 物理對稱 | 群 | 守恆量 |
|---|---|---|
| 時間平移 | \(\mathbb{R}\) （8.1 節單參數子群） | 能量 |
| 空間平移 | \(\mathbb{R}^3\) | 動量 |
| 旋轉 | \(SO(3)\) （8.1–8.2 節） | 角動量 |
| 相位 | \(U(1) \cong S^1\) | 電荷 |
意義：守恆律不再是經驗規則，而是對稱群的推論。時間平移群 \(\mathbb{R}\) 是 Lie 群，其無窮小生成元就是能量算符——8.2 節的「單參數子群 ↔ 生成元」在物理中的名字是「能量與時間演化」。
量子力學：態空間是表示#
量子力學的公理結構天然是表示論：
- 態是 Hilbert 空間 \(\mathcal{H}\) 的向量；觀測量是自伴算符；
- 對稱變換必須保持全部物理關係（內積、疊加），故實現為 \(\mathcal{H}\) 上的酉算子群表示 \(\rho: G \to U(\mathcal{H})\) （7.2 節的定義照搬， \(k = \mathbb{C}\) 、群連續）。
兩個直接結論：
- 不可約表示 = 粒子種類（Wigner 的分類宣言）：基本粒子的內稟性質由 Poincaré 群的不可約酉表示分類——質量與自旋是表示的標籤，不是外加的假設。
- 選擇定則：光譜線的允許躍遷由特徵標表的分解決定（7.3 節化學光譜應用的物理版）。
自旋與 \(SU(2)\) ：8.2 節證明 \(\mathfrak{su}(2) \cong \mathfrak{so}(3)\) 且 \(\mathrm{SU}(2) \to \mathrm{SO}(3)\) 是 2 對 1 覆蓋。量子態對旋轉的反應由 \(SU(2)\) 的表示而非 \(SO(3)\) 的表示分類——因為物理態是「射影」的（相位不觀測），允許「轉 \(360°\) 變號」的表示。 \(SU(2)\) 的維數 \(2j+1\) 表示對應自旋 \(j\) ： \(j = 1/2\) （電子，二維表示——8.2 例題的 Pauli 矩陣空間！）、 \(j = 1\) （光子偏振，三維）、 \(j = 0\) （純量粒子）。電子轉一圈符號反轉、轉兩圈復原，是 8.2 節覆蓋映射的實驗事實。
規範理論：對稱決定交互作用#
二十世紀後半的粒子物理把「對稱」從描述升級為立法者：
- 電磁學： \(U(1)\) 規範對稱（波動函數的相位可逐點變換）——8.1 節 \(S^1\) 的物理化身；
- Yang–Mills（1954）：把 \(U(1)\) 推廣到非交換群（8.2 節 Lie 括號登場）；
- 標準模型： \(SU(3) \times SU(2) \times U(1)\) ——強、弱、電磁交互作用的完全由群論指定的骨架。
群論詞彙的物理翻譯：
| 數學（本書） | 物理 |
|---|---|
| Lie 群 \(G\) （8.1） | 規範群（基本力的對稱） |
| Lie 代數 \(\mathfrak{g}\) （8.2） | 規範玻色子（力載體）的空間； \(\dim \mathfrak{g}\) = 載體數 |
| 不可約表示（7.2） | 物質粒子（夸克、輕子）的種類 |
| 表示的分解（7.3） | 粒子多重態（八重法） |
| 自發對稱破缺 | 群 → 子群（Higgs 機制；正規子群鏈，6.1） |
實例：強交互作用 \(SU(3)\) 的 \(\dim = 8\) ，對應 8 個膠子——「力的載體有幾個」是 Lie 代數維數的算術。夸克三色是 \(SU(3)\) 基本表示的三維。
一個有用的對比：經典力學與量子力學的對稱觀#
Wigner 的革命可以用一張對比表固定，本書讀者應能逐行讀懂：
| 經典力學 | 量子力學 | |
|---|---|---|
| 態空間 | 相空間 \(\mathbb{R}^{6}\) 的點 | Hilbert 空間的射影空間 |
| 對稱的實現 | 辛同構（保 Poisson 括號） | 酉表示 \(\rho: G \to U(\mathcal{H})\) |
| 觀測量 | 相空間上的函數 | 自伴算符 |
| 對稱的可觀後果 | 守恆量（Noether） | 簡併與選擇定則（表示論） |
| 群的出現方式 | 隱式（變換軌道） | 顯式（態按不可約表示分類） |
兩欄在數學上由量子化連接：經典的 Poisson 括號 \(\{f, g\}\) 變成算符對易子 \([\hat f, \hat g]/i\hbar\) ——兩者都是 8.2 節的 Lie 括號，經典是函數空間上的、量子是算符空間上的。「力學就是一個 Lie 代數及其表示」是本節最壓縮的總結： \(SO(3)\) 的 \(\mathfrak{so}(3)\) 在經典中是角動量，在量子中是自旋矩陣（8.2 例題的 Pauli 矩陣）。
這張表也解釋了為何物理學家在 1930 年代必須認真學群論：經典力學中對稱是背景性的（守恆律是附錄），量子力學中對稱是分類學本身——不知道 \(SU(2)\) 的表示論，就連氫原子光譜的簡併都數不清楚。Weyl 1928 年的《群論與量子力學》是這場數學遷徙的教科書，開篇即引用 Frobenius 與 Schur 的定理（7.2、7.3）。
具體例題#
例題 10.2.1：用 Noether 定理推導中心力場中的角動量守恆，並用表示論解釋能階的 \((2j+1)\) 重簡併。
解：
守恆：拉格朗日量 \(L = \frac12 m|\dot{\mathbf{r}}|^2 - V(|\mathbf{r}|)\) 只依賴 \(|\mathbf{r}|\) ，故在 \(SO(3)\) 作用下不變（8.1 節： \(\mathrm{SO}(3)\) 是三維 Lie 群， \(\dim = 3\) ）。Noether 定理給出三個守恆量，對應三個生成方向（8.2 例題的 \(J_1, J_2, J_3\) ）：即角動量分量 \(\mathbf{L} = m\,\mathbf{r} \times \dot{\mathbf{r}}\) 。角動量守恆 = 旋轉對稱的代數必然。
簡併：量子化後， \(J_1, J_2, J_3\) 是 8.2 節 \(\mathfrak{so}(3)\) 的自伴表示。取對易基 \(J_z, J_\pm = J_1 \pm iJ_2\) ：
在角動量 \(j\) 的不可約表示中（7.2 的語言：不能拆小的最小不變子空間）， \(J_z\) 有本徵值 \(-j, -j+1, \dots, j\) ，共 \(2j+1\) 個。由於 \(L\) 本身對旋轉不變，能量不依賴 \(J_z\) 的本徵值，故每個能階至少 \((2j+1)\) 重簡併——例如 \(j = 1/2\) 時自旋上下兩態同能量。簡併度是表示維數，簡併的解除（裂距）是對稱破缺（外磁場把 \(SO(3)\) 對稱降為 \(SO(2)\) ，三重/二重簡併分裂——Zeeman 效應）。 \(\blacksquare\)
對稱破缺：群的選擇性使用#
物理不只使用「滿對稱」，還善用「降對稱」：
- Higgs 機制：電弱理論的 \(SU(2) \times U(1)\) 自發破缺到 \(U(1)_{\text{em}}\) ——真空態不再不變，但定律仍對稱；6.1 節的正規子群鏈在此是物理過程（ \(SU(2)\times U(1) \to U(1)\) ）。
- 晶體與相變：高溫相（連續對稱）冷卻到晶格（離散點群對稱）——連續到離散的表示論變化直接給出聲子譜與相變分類。
- 弦論：內部對稱候選群的名單就是 8.3 節的分類（ \(E_6\) 、 \(E_8\) 反覆出現）——Killing–Cartan 名單成為理論選單。
與其他領域的關聯#
- 往 8.1–8.3：本章的群 \(SO(3)\) 、 \(SU(2)\) 、 \(SU(3)\) 全部出自 Lie 分類； \(\dim \mathfrak{g}\) 決定力載體數。
- 往 7.2、7.3：粒子多重態 = 不可約表示；光譜選擇定則 = 特徵標分解。
- 往 6.1：對稱破缺的群鏈 \(G \to H\) 是 Galois 對應中正規子群與商群的物理實現。
- 往 2.3：晶體點群是有限群（離散對稱）的物理陣地。
- 往 9.3：規範場論的瞬子、弦論的 D-brane 電荷用同調/K 理論陳述。
結語#
Wigner 稱之為「數學在自然科學中不合理的有效性」：為行列式發明的特徵標寫下了原子光譜，為微分方程發明的 Lie 群立法了守恆律，為分類連續群發展的 ADE 名單成了弦論的選單。對稱群的歷史反覆證明本書的主題：結構理論的存貨，終將被某個領域提領。最後一節，我們回望全程，整理這本書一路鋪設的「結構之眼」。