1894 年,埃利·嘉當 (Élie Cartan) 在複數域上完成了簡單李代數的分類。到 1944 年,尤金·迪因金 (Eugene Dynkin) 把嘉當那套繁複的記賬方式化簡成一種小圖算:幾個點、幾條邊便足以編碼一個李代數,而對圖的操作就編碼對代數的操作。在所有這些操作中,刪除是最具後果的一種。從 Dynkin 圖中去掉一個節點,你就得到一個子代數 — 所謂的「Levi」子代數 — 它的表示理論決定了原代數在部分規範化或部分破缺時如何分解。每一個大統一理論,究其根本,都是一個關於「在哪個圖裡刪哪個節點」的故事。
A_3 的圖很簡單:三個點連成一行,中間用邊相連:• — • — •。它的緊實形是 su(4),而 su(4) 正是 1974 年帕蒂 (Jogesh Pati) 與薩拉姆 (Abdus Salam) 提出的統一模型的代數:輕子數被當作第四種色,標準模型的規範結構由一個 4×4 幺正群一舉給出。這張圖、這個代數,半個世紀以來一直是大統一理論文獻中的常駐對象。
幾週前,我上傳了一篇論文,證明扭量構型幾何頂層的腔室計數恰好是 24,即 A_3 根系的 Weyl 群階數;而在一個新增的假設下,代數重構出 su(4) 並帶有恰好可以容納帕蒂與薩拉姆四元組的分級結構。該論文裡的 Levi 約化透過刪除圖中的一個端點節點來完成,結果是 su(3) ⊕ u(1) — 色加上重子數減輕子數,正是帕蒂-薩拉姆的零件清單。
但標準模型比這要大。它有左手弱同位旋 SU(2)_L,以及在端點刪除圖像中並不出現的右手類比 SU(2)_R。SU(2)_R 究竟從哪裡來?
最自然的答案就擺在 Dynkin 圖本身裡:不要刪除端點節點,刪除中間那個。
幾乎奏效的猜想
剪掉 • — • — • 中間那一節,你得到兩塊互不相連的圖:• 與 •。每一塊都是 A_1 圖,即 su(2) 的圖。再加上中間被刪除節點貢獻的一份 u(1),整體結構是 sl_2 ⊕ sl_2 ⊕ u(1)。表面上,這恰恰是電弱理論中 SU(2)_L × SU(2)_R × U(1)_Y 的形狀。猜想幾乎是自動寫出來的:牆刪除論文取端點節點,落到帕蒂-薩拉姆減去右手同位旋的位置;一個平行的約化取中間節點,落到那個缺失的左右電弱扇區。同一張圖的兩種切法,標準模型的兩半。整潔得近乎可疑。
我上週花了幾天把這個猜想放到代數裡檢驗。形狀對了。物理沒對。
計算告訴我們什麼
su(4) 的基礎表示是四維的。每一種 Levi 約化都附帶一個特定的 u(1) 生成元,用以為這四維空間分級。對於端點刪除的情形,相關 u(1) 生成元在四個基矢上的本徵值是 (1/4, 1/4, 1/4, −3/4) — 一個 3+1 的劈分,正好對應三種夸克色加一種輕子,即 (B−L) 的對角化。這個本徵值結構正是帕蒂-薩拉姆能夠工作的全部原因。
對於中間刪除的情形,u(1) 生成元的本徵值是 (1/2, 1/2, −1/2, −1/2) — 一個 2+2 的劈分,而不是 3+1。沒有任何方式可以把 2+2 解讀為「三夸克加一輕子」。其中沒有夸克單態結構。無論這個 u(1) 在分級什麼,它都不是帕蒂-薩拉姆的 (B−L)/2,也不是標準模型的弱超荷。
僅這一點就足以宣告該猜想的失敗。但更有意思的問題是:既然它不是內部弱超荷,那它究竟是什麼?
幾何上的真相
複李代數的每一個 Levi 子代數都附帶一個齊性空間:對應群除以對應拋物子群。對於 A_3,中間根拋物刪除附帶的齊性空間是二十世紀幾何中被研究最多的對象之一。它是 Grassmann 流形 G(2,4) — 複四維空間中所有複二維平面的模空間。羅傑·彭羅斯 (Roger Penrose) 1967 年提出扭量理論時,就把這個 Grassmann 流形放在物理學的中心位置:他的「扭量空間」T = C^4 中的每一個二平面都對應緊化複化 Minkowski 空間的一個點。G(2,4),按字面意義,就是複化時空。
G(2,4) 上任一點的切空間自然分解為兩個因子 — 數學家把它們寫作 Π* 與 (C^4/Π),其中 Π 是所選的二平面。Levi 在這兩個因子上的作用恰好是 GL(2) × GL(2) 的作用。剝去行列式因子,半單部分是 SL(2) × SL(2)。把 Lorentz 代數 so(1,3) 複化,你會發現 — 這是一個早在二十世紀初便已建立的教科書計算 — 它分裂為 sl_2(C)_L ⊕ sl_2(C)_R,即左手與右手 Weyl 旋量的代數。它們不是內部對稱性。它們是時空自旋的兩種手徵。
於是,A_3 中間根刪除給出的兩個 sl_2 因子並非缺失的內部 SU(2)_R。它們是複化時空的左手與右手 Lorentz 旋量代數。中央 u(1) 給出的 2+2 分級不是弱超荷;它是用來區分兩個旋量因子的自然拋物分級。該猜想以一個猜想能失敗的最具資訊量的方式失敗了:它確實給出了真實的結構,只是不是你原本想找的那種結構。
一個根系,兩個物理世界
退後一步看這個計算,留下的是關於 A_3 的一個雖小但醒目的觀察。
同一個複根系,根據你刪除的是哪個節點,承載著兩種完全不同的物理讀法。端點根刪除給出內部的帕蒂-薩拉姆結構:三種夸克色加一種輕子,以 (B−L) 分級。中間根刪除給出外部的 Lorentz / 扭量結構:複化時空的二平面幾何,以旋量手徵分級。第一種讀法使用代數的緊實形;第二種讀法使用複化形。兩種讀法都自然成立,都附屬於框架的現有部分 — Grassmann 流形 G(2,4) 早已出現在本月稍早的電弱邊界論文中,而相關的 Plücker 空間 CP^5 出現在強子擴展論文中。在本週以前,這些 G(2,4) 的使用是我們當作既定輸入接受的。本週以後,它們成為推導:G(2,4) 恰恰就是 SL_4 除以中間根拋物子群,而這就是它出現的原因。
這不止是記賬。這意味著,框架中的內部李代數內容與外部時空內容並不是兩臺彼此獨立、被拼裝在一起的機器。它們是同一個根系的兩種拋物讀法,根系本身一旦到位,兩者皆可免費取用。在這幅圖像裡,標準模型的規範扇區與 Lorentz 時空是同一個數學對象的兩個對偶面相,而非獨立的輸入。
它沒有解決什麼
內部 SU(2)_R 的缺口 — 帕蒂與薩拉姆 1974 年留下的、上個月牆刪除論文繼承下來的那個缺口 — 並未被這個觀察填上。A_3 的中間根刪除並不提供右手弱同位旋;它提供時空的旋量結構,這是另一回事。所以缺口仍在,該論文綜述了四種 SU(2)_R 的候選來源,無一獲得背書:在更深一層結構上的手徵加倍,經由 spin(6) ⊕ spin(4) 鏈嵌入 so(10),某種深層的旋量-內部對應,或者直接接受框架就是落到帕蒂-薩拉姆 Levi 子代數,缺失的因子是真的缺失,而不是有待推導。
這篇論文很短 — 十頁正文,十四條參考文獻,一張被切成兩種方式的圖。它是一個結構性觀察,不是一個新假設,框架的活動假設清單不變。它的核心貢獻以最明顯的方式是負面的(自然的猜想失敗了),又以不那麼明顯的方式是正面的(一個根系,兩種讀法;G(2,4) 得到解釋)。統一圖譜中的缺口比之前小了,但不是因為某塊缺失的拼圖被找到 — 而是因為 SU(2)_R 的搜尋空間被收窄,而框架的架構性統一度被進一步收緊。
論文 End and Middle Parabolics of A_3 in Twistor Configuration Geometry: Internal Color versus Spacetime Incidence(《扭量構型幾何中 A_3 的端點與中間拋物:內部色 vs 時空關聯》)已發表於 Zenodo (DOI 10.5281/zenodo.20090828;CC-BY-4.0)。它讀起來像是牆刪除論文與電弱邊界論文的澄清性配套,與那兩篇放在一起閱讀最合適。