跳轉到

8.3 分類簡介 ADE 分類#

本章導言#

有限群有單群的分類（百年工程，數萬頁），交換群有結構定理（一頁），而半單 Lie 代數恰好處於兩者之間：可以分類，且分類結果美到令人不安。Killing（1888–90）與 Cartan（1894）證明：覆數上的單 Lie 代數對應九族對象，記號 \(A_n, B_n, C_n, D_n, E_6, E_7, E_8, F_4, G_2\) 。其中 \(A, D, E\) 三族的圖（每個頂點度數 \(\le 2\) ）稱為 ADE 圖，它們神秘地出現在：奇點理論、量子場論、有限子群、折疊群、甚至生物化學。本節講分類的機理（根系 → Dynkin 圖）、名單本身，以及「ADE 現象」為何成為數學深層統一性的標誌。

分類的機理：根系#

對覆數半單 Lie 代數 \(\mathfrak{g}\) ，取 Cartan 子代數 \(\mathfrak{h}\) （極大交換子代數，如 \(\mathfrak{sl}_n\) 的對角矩陣空間），把 \(\mathfrak{g}\) 對 \(\mathfrak{h}\) 的作用同時對角化：

\[ \mathfrak{g} = \mathfrak{h} \oplus \bigoplus_{\alpha \in \Phi} \mathfrak{g}_\alpha, \qquad [H, X_\alpha] = \alpha(H) X_\alpha, \]

\(\Phi \subset \mathfrak{h}^*\) 是根系：有限的、對稱的向量組，例如 \(\mathfrak{sl}_{n+1}\) 的根系是

\[ \Phi = \{ e_i - e_j \mid i \ne j \} \subset \{(a_1, \dots, a_{n+1}) \mid \sum a_i = 0\}. \]

根系的公理（Killing 的發現）：對任意 \(\alpha, \beta \in \Phi\) ， \(\beta - m\alpha\) （ \(m\) 為適當整數）形成的「 \(\alpha\) -根鏈」也在 \(\Phi\) 中；根之間的夾角只能是 \(90°, 120°, 135°, 150°\) 。這些剛性約束把根系壓到組合學。

Dynkin 圖#

定義 8.3.1：選正根組成單根 \(\alpha_1, \dots, \alpha_n\) 。作圖：每個單根一個頂點； \(\alpha_i, \alpha_j\) 夾角越大，連邊越多（ \(120°\) 連一邊、 \(135°\) 兩邊、 \(150°\) 三邊）。得到 Dynkin 圖。

Killing–Cartan 定理：連通半單 Lie 代數的分類 \(\iff\) 連通 Dynkin 圖的分類，而後者是小學生能檢查的組合問題：

\[ A_n,\ B_n,\ C_n,\ D_n,\ E_6,\ E_7,\ E_8,\ F_4,\ G_2. \]

名單與對應的矩陣群#

型 圖 Lie 代數 群 尺寸/意義
\(A_n\) \(\circ-\circ-\cdots-\circ\) （ \(n\) 點鏈） \(\mathfrak{sl}_{n+1}\) \(\mathrm{SL}, \mathrm{SU}, \mathrm{PGL}\) 線性世界
\(B_n\) 鏈 + 短尾（單箭頭） \(\mathfrak{so}_{2n+1}\) \(\mathrm{SO}(2n+1)\) 奇維旋轉
\(C_n\) 鏈 + 短尾（反向） \(\mathfrak{sp}_{2n}\) \(\mathrm{Sp}(2n)\) 辛幾何、經典力學
\(D_n\) 鏈 + 分叉尾 \(\mathfrak{so}_{2n}\) \(\mathrm{SO}(2n)\) 偶維旋轉
\(E_{6,7,8}\) 特殊分叉 例外 — 無古典化身
\(F_4\) 帶箭頭特殊 例外 — 八元數
\(G_2\) 三重邊 例外 — 八元數的自同構

\(A, D, E\) 三族的圖沒有箭頭、頂點度數 \(\le 2\) ——它們是「最勻稱」的，被選中扮演跨學科主角，史稱 ADE 現象。

分類之外：為什麼例外群存在#

\(E_6, E_7, E_8, F_4, G_2\) 沒有矩陣群的直接化身，它們棲息在八元數（octonions，非結合的賦範除法代數）中： \(G_2 = \mathrm{Aut}(\mathbb{O})\) （八元數的自同構群，14 維）， \(F_4\) 是其子群（保持單位元的對稱）。八元數是實數、複數、四元數之後最後一個可除的數系（Hurwitz 定理），例外群是它存在的代數迴聲。 \(E_8\) 有 248 維，其最小表示的特徵標是十九世紀至 2017 年間數學家接力計算的對象（4×4 的魔群模形式與 \(E_8\) 格子），它在 2007 年後成為「例外」物理模型（如 \(E_8\) 對稱的臨界格點模型）的主角。

為什麼恰好九族：分類的「剛性」直覺#

讀者可能困惑：為何 Lie 代數可以分類而有限單群要百年工程？答案在根系的剛性公理。單根之間夾角只能是 \(90°, 120°, 135°, 150°\) ，且根鏈長度受限——這些約束來自「 \(\alpha\) -根鏈」 \(\beta - m\alpha\) 的整數性，而整數性歸根結柢來自 \(\mathrm{ad}\) 作用的特徵值差。幾何（夾角）被代數（特徵值）鎖死，於是可能的圖被壓到九族。

對比有限單群：離散群沒有「夾角」這種連續不變量可以鎖死結構，散族（李型、交錯群、26 個散在群）需要逐一偵察。連續結構的微分剛性，反而使其分類更容易——這是 8.1 節「無窮小哲學」的獎賞：微分掉了自由度，也微分掉了分類的困難。

九族之外，分類定理還有一個常被忽略的深意：例外群不是「沒被分類進去的殘渣」，而是有內在原因的必然。八元數（Hurwitz 定理：實數、複數、四元數之後再無可除數系）正是 \(G_2, F_4\) 與 \(E\) 系列棲息的土壤——例外性對應於「結合律剛好在此失效」。數系的四件套（ \(\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}\) ）與 Lie 分類各系列之間的呼應，是二十世紀數學統一性的著名篇章（Adams 定理 1960 的球面向量場問題是其嚴格化身）。

具體例題#

例題 8.3.1：驗證 \(\mathfrak{sl}_3\) 的根系對應 \(A_2\) 圖，並算出它的 Weyl 群。

解： \(\mathfrak{sl}_3 = \{3\times3\text{ 跡零矩陣}\}\) ， \(\dim = 8\) 。Cartan 子代數 \(\mathfrak{h}\) = 對角跡零矩陣（ \(\dim = 2\) ）。取對角函數 \(e_i(\mathrm{diag}(a_1,a_2,a_3)) = a_i\) （注意 \(e_1 + e_2 + e_3 = 0\) 於 \(\mathfrak{h}^*\) ），根系：

\[ \Phi = \{e_i - e_j\} = \{\alpha_1 = e_1 - e_2,\ \alpha_2 = e_2 - e_3,\ \alpha_3 = e_1 - e_3 = \alpha_1 + \alpha_2\}. \]

單根 \(\alpha_1, \alpha_2\) ：長度 \(|\alpha_i|^2 = 2\) ，夾角

\[ \langle \alpha_1, \alpha_2 \rangle = (e_1-e_2)\cdot(e_2-e_3) = -1, \qquad \cos\theta = \frac{-1}{2} \Rightarrow \theta = 120°. \]

夾角 \(120°\) 、等長 \(\Rightarrow\) 連一條單邊、無箭頭：** \(A_2\) 圖**（ \(\circ - \circ\) ）。✓

Weyl 群（根系的對稱群，Lie 代數的「內在 Galois 群」）： \(A_2\) 的 Weyl 群由沿兩個單根超平面的反射生成，反射的合成角是 \(120°\) 的補角 \(60°\) ，故

\[ W(A_2) = \langle s_1, s_2 \mid s_1^2 = s_2^2 = (s_1s_2)^3 = e \rangle \cong S_3. \]

正是 \(S_3\) ——第 7 章特徵標表的舊朋友以新身分出現：** \(A_2\) 的對稱結構與三次方程的置換群是同一個對象**。 \(A_{n}\) 的 Weyl 群恰是 \(S_{n+1}\) ——分類把 Galois 的置換世界與 Lie 的連續世界接通了。 \(\blacksquare\)

ADE 現象：同一張圖的多重化身#

ADE 圖在不同領域反覆出現，以下是著名的對應網：

領域 ADE 對象 年代
Lie 代數 單 Lie 代數 \(A, D, E\) Killing 1888
有限子群 \(SU(2)\) 的有限子群（循環、二面體、 \(E_{6,7,8}\) 對應四面體/八面體/二十面體群） Klein 1884
奇點 曲面奇點 \(x^2 + y^2 + z^{n+1} = 0\) 型（有理雙奇點） Du Val 1934
折疊群 Coxeter 群 Coxeter 1935
量子場論 2D 統一模型、D-brane 端點 1990s
代數表示 McKay 對應： \(SU(2)\) 有限子群的表示圖 = ADE 圖 McKay 1980

McKay 對應的內容：取 \(SU(2)\) 的有限子群 \(G\) ，作「表示圖」——頂點是不可約表示，邊由 \(V_{\text{2維自然表示}} \otimes V_i\) 的分解決定——得到的圖恰好是對應的 ADE 圖。四面體群的表示圖是 \(E_6\) ，八面體是 \(E_7\) ，二十面體是 \(E_8\) 。有限（離散對稱）與連續（Lie）兩個世界，在這張圖上完成對接——本書第 2 章的有限群與第 8 章的連續群在此匯流。

與其他領域的關聯#

  • 往 8.2：根系與 Dynkin 圖是 Killing 型 + 結構常數的組合壓縮；Weyl 群是分類的「內在對稱」。
  • 往 7.2、7.3：McKay 對應把有限群的表示圖（特徵標表的推廣）與 ADE 圖等同。
  • 往 6.2： \(A_n\) 的 Weyl 群是 \(S_{n+1}\) ——Galois 的置換群棲身於分類的第一族。
  • 往 10.2：粒子物理的規範群取自分類名單：標準模型 \(U(1) \times SU(2) \times SU(3)\) （ \(A_1\) 與 \(A_2\) 的組合）；大統一理論候選是 \(SU(5)\) （ \(A_4\) ）與 \(\mathrm{Spin}(10)\) （ \(D_5\) ）、 \(E_6\) 。
  • 往 10.3：ADE 現象是「結構之眼」的最佳案例：同一組合骨架在數論、幾何、物理反覆現身。

結語#

Killing 是一位在 Banhof 中學教書的教師，他在 1888 年的論文裡有計算錯誤，Cartan 在 1894 年逐條修補並補上 \(G_2\) 。分類的完成標誌著：連續對稱的原子已被全部清點——九族，一個不多，一個不少。而 ADE 現象則揭示更深的謎：這些「原子」的圖譜，居然也是奇點、多面體、弦論的圖譜。數學的深處不是堆積，而是迴響。第九章，我們學習描述「迴響」本身的語言：同調與範疇。