缺失的那一秩:用 Spin(10) 閉合一個帕蒂-薩拉姆缺口

1974 年,Jogesh Pati 與 Abdus Salam 提出:三種夸克色與輕子或許是同一物體的四種色調。他們的統一群 $SU(4) \times SU(2)_L \times SU(2)_R$ 把輕子數當作第四種色,並把左手與右手弱同位旋作為分離但平行的因子配對在一起。這個提案歷久彌新。其中 $SU(4)$ 部分作為通往標準模型的主要途徑之一,在現代大統一理論文獻中保留下來。兩個弱同位旋的配對則在 1980 年 Mohapatra 與 Senjanović 的左右對稱模型中保留下來,在那裡右手中微子作為左手中微子的夥伴出現,而蹺蹺板機制解釋了為什麼普通中微子如此之輕。半個世紀過去,帕蒂-薩拉姆代數仍然是統一理論思考中的常駐物。

我上個月上傳到 Zenodo 的一篇論文 — 扭量構型幾何 (TCG) 的牆刪除論文 — 經由不同路徑落到帕蒂-薩拉姆代數。秩 3 經典李代數 $A_3$ 的緊實形恰好是 $\mathfrak{su}(4)$,而 $A_3$ 是該框架分層構型空間頂層所自然承載的 Weyl 配置結構。$A_3$ 的端點根刪除 — 可獲得的最簡單 Levi 約化 — 給出 $\mathfrak{su}(3) \oplus \mathfrak{u}(1)_{(B-L)/2}$,即三種夸克色加一種輕子,帶有正確的相對電荷結構。再加上從下層免費而來的 $\mathfrak{su}(2)_L$,框架達到完整帕蒂-薩拉姆統一五個秩生成元中的四個。唯一缺失的因子是右手弱同位旋 $\mathfrak{su}(2)_R$ — 正是 1974 年帕蒂與薩拉姆自己用手寫下的那個因子,也正是 1980 年 Mohapatra 與 Senjanović 用以賦予右手中微子質量所需的那個因子。沒有它,標準模型的弱超荷公式

$Y \;=\; T_{3R} \,+\, \tfrac{B-L}{2}$

無法裝配,而右手夸克與輕子單態也無處安身。

自然的問題是:到哪裡去尋找缺失的因子。自然的答案是:就在已經提供其他部分的同一個根系中尋找。

兩次失敗的嘗試

最先要試的是同一張 Dynkin 圖的第二種切法。$A_3$ 的圖是三個點連成一行,邊相連:$\bullet$—$\bullet$—$\bullet$。端點根刪除給出帕蒂-薩拉姆色。中間根刪除給出兩個互不相連的點,看起來像 $A_1$ 的兩份副本,猜想幾乎自動寫出來:或許其中一份是 $\mathfrak{su}(2)_L$,另一份是 $\mathfrak{su}(2)_R$。

我上週早些時候做了這個計算並發表為一篇短的澄清性論文。形狀是對的,但物理是錯的。$A_3$ 中間根刪除給出的兩個 $A_1$ 因子並非內部弱同位旋。它們是複化時空的左手與右手 Lorentz 旋量代數 $\mathfrak{sl}_2(\mathbb{C})_L \oplus \mathfrak{sl}_2(\mathbb{C})_R$。中間根刪除附帶的齊性空間是 Grassmann 流形 $G(2, 4)$ — 羅傑·彭羅斯 (Roger Penrose) 1967 年提出扭量空間時把它放到了物理學的中心。這對 $A_1$ 描述的是旋量手徵,而不是內部同位旋。中間根刪除回答的是關於時空的問題,而非統一的問題。

第二種要試的是把更深一層已經存在的 $A_1$ 加倍。框架的下層已經提供了一份 $A_1$ — 即現有的 $\mathfrak{su}(2)_L$。如果在該層存在某種手徵結構能產生一對左右手副本,我們就能從同一個地方得到 $\mathfrak{su}(2)_L \oplus \mathfrak{su}(2)_R$。但這一思路在一項教科書層面的障礙上失敗了。要得到兩個對易的 $A_1$ — 這正是 $\mathfrak{su}(2)_L \oplus \mathfrak{su}(2)_R$ 配對所要求的 — 你需要兩個正交的簡單根,也即圖中兩個互不相連的節點。最自然的候選 $A_2$ 的兩個簡單根卻不正交:它們的對易子非零,$[E_{12}, E_{23}] = E_{13} \neq 0$,而對應的兩個 $\mathfrak{sl}_2$ 子代數的閉包是整個 $\mathfrak{sl}_3$,而不是直和。$A_2$ 的外自同構給出兩個 $\mathfrak{sl}_2$ 之間的等價,但並不產生兩份獨立副本;緊實 $\mathfrak{su}(2)$ 與分裂 $\mathfrak{sl}_2(\mathbb{R})$ 之間的實形對偶性給出的是替代項,而非直和,而且分裂形式無論如何都是非緊的。窮盡各候選機制後,$A_2$ 內部路線否定地關閉。

經過兩天在已有 $A_1 \subset A_2 \subset A_3$ 鏈內部的搜尋,結論是:這條鏈的任何部分都不提供內部 $\mathfrak{su}(2)_R$。

Borel 與 de Siebenthal 早就知道的事

經典答案來自 1949 年 Armand Borel 與 Jean de Siebenthal 的一篇我直到本週才仔細讀過的論文。他們對簡單李代數極大子代數的分類,對秩 5 代數 $D_5 = \mathfrak{so}(10)$ 給出恰好那個正規極大子代數

$D_5 \;\supset\; D_3 \oplus D_2.$

讓這個結論有用的,是一對自二十世紀初起就成為教科書內容的偶然低秩同構。秩 3 正交代數 $D_3$ 與秩 3 特殊線性代數 $A_3$ 相同,後者又與帕蒂-薩拉姆 $\mathfrak{su}(4)$ 相同。秩 2 正交代數 $D_2$ 不是單代數 — 它恰好是 $A_1 \oplus A_1$,即兩個互不相連的 $\mathfrak{su}(2)$。把這些同構串起來,

$\mathfrak{so}(10) \;\supset\; \mathfrak{so}(6) \oplus \mathfrak{so}(4) \;\cong\; \mathfrak{su}(4)_C \oplus \mathfrak{su}(2)_L \oplus \mathfrak{su}(2)_R.$

那正是完整帕蒂-薩拉姆,恰好如此。兩個 $\mathfrak{su}(2)$ 對易,因為它們生活在 $D_5$ 根系不同的正交塊中;框架在已有根資料內部找不到的那個缺失的秩 1 因子,作為獨立的一塊坐落在正交包絡內。

秩的算術是看清這一點最清潔的方式。框架現有的規範內容總秩為 $3 + 1 = 4$。完整帕蒂-薩拉姆秩為 $5$。其正規極大子代數同時包含 $A_3$ 與加倍的 $A_1$ 的最小秩 5 簡單李代數是 $D_5$。Borel 與 de Siebenthal 七十年前完成了這一完成的分類。

那個十六維旋量

把 $\mathfrak{so}(10)$ 嚴肅看待的理由,除了秩的完成之外,還在於其手徵旋量表示所做的事。秩 5 正交代數有兩個維數為 $2^4 = 16$ 的手徵旋量,其中之一在帕蒂-薩拉姆下分支為

$\mathbf{16} \;\longrightarrow\; (\mathbf{4}, \mathbf{2}, \mathbf{1}) \,\oplus\, (\bar{\mathbf{4}}, \mathbf{1}, \mathbf{2}).$

第一塊是左手夸克與輕子雙重態,所有三種色加一種輕子,由 $\mathfrak{su}(2)_L$ 配對在一起。第二塊是右手單態的共軛 — 右手上型與下型夸克、右手電子,以及第四個本身是標準模型單態但仍處於右手帕蒂-薩拉姆雙重態之中的場:右手中微子。十六個復分量恰好容納一代完整的標準模型粒子,包括標準模型本身並不預言的右手中微子。

這是 $\mathfrak{so}(10)$ 的最強動機。沒有 $\mathfrak{su}(2)_R$,$\mathbf{16}$ 的右手扇區無法裝配。有了 $\mathfrak{su}(2)_R$,一代標準模型粒子 — 三色、三個帶電輕子態、三個右手對應物以及一個右手中微子 — 裝入單一簡單李代數的單一不可約表示。框架缺失的 $\mathfrak{su}(2)_R$ 不是一個需要獨立辯護的迷途秩 1 因子;它是手徵旋量的另外一半。

公設,不是推導

Spin(10) 包絡無法由該框架現有機制推導出來。牆刪除論文的底層公設 $P_7$ 提供已有根資料上的拋物 Levi 約化。Spin(10) 要求的是一種不同的操作:在更大的環境根系內對 $A_3 \oplus A_1$ 作正規子代數完成。這是李理論文獻中由兩個不同部分分別分類的兩種不同代數操作,而現有公設並不產生第二種。

因此論文以新公設的形式陳述這一完成,提供兩種形式。最小代數形式即包絡完成本身。更強的旋量形式要求該框架的規範資料將一代標準模型粒子作為單一不可約手徵旋量表示來承載,這在簡單經典候選之中以旋量維數極小性強制 $D_5$。旋量形式提供更佳的物理動機;代數形式則是更清潔的清單條目。兩者都被陳述,旋量形式被命名為首選解讀。

論文未做的事是提出一個新測量比值。一個誘人的做法是在射影化 $\mathbb{P}(\mathbf{16}) \cong \mathbb{CP}^{15}$ 上新增 Fubini–Study 體積不變量,這會以與該框架強子擴展論文從 $\mathbb{P}(\wedge^2 \mathbf{4}) \cong \mathbb{CP}^5$ 上的 $6 \pi^5$ 提取質子-電子比相同的方式給出無量綱數 $16 \pi^{15}$。但 $16 \pi^{15}$ 在任何精度下都不接近任何可測量的標準模型無量綱比值,而無目標地新增該不變量會削弱該框架的統計審計紀律。$\mathbf{16}$ 作為結構推導目標,不作為數值可觀測量。Spin(10) 公設擴展的是規範結構清單,不是常數公式語法。

論文明列採納該公設未閉合的六項缺口:正交包絡的極小性、$D_5$ 相對於更大的 $D_n$ 替代項的選擇、$\mathfrak{su}(2)_R$ 的破缺機制、現有電弱邊界條件在 $\mathfrak{su}(2)_L$ 與 $\mathfrak{su}(2)_R$ 間的不對稱性、家族數,以及缺少新的可測試不變量。每一項都是若獲得解決便會把公設轉化為推導的具體研究目標。其中沒有一項已被解決。

它閉合什麼,它不閉合什麼

Spin(10) 包絡是該框架在已有 $A_1 \subset A_2 \subset A_3$ 鏈內部諸嘗試失敗之後,對其規範代數內容最清潔的可用完成。它不是推導,論文對此明示無遺。它所做的是把缺失的因子錨定到單一簡單李代數中手徵旋量的另外一半 — 提供超出空白插入之上的架構性內容 — 並把已有強子表示體積不變量恢復為 $\mathfrak{so}(10)$ 向量的電弱單態塊。這兩件事都是真實的結構性動作。兩者皆不產生新的可測量數值。

論文 The Spin(10) Envelope of Twistor Configuration Geometry: A Postulate-Equivalent Completion of the SU(2)_R Gap(《扭量構型幾何的 Spin(10) 包絡:SU(2)_R 缺口的等價於公設的完成》)已發表於 Zenodo (DOI 10.5281/zenodo.20091562;CC-BY-4.0)。它很短 — 十一頁,十八條參考文獻,三個支柱,六項缺口。讀起來像是牆刪除論文與拋物注的收尾配套,與那兩篇放在一起閱讀最合適。統一圖譜中規範代數核心弧到此閉合。剩餘的開放部分是對稱性破缺、家族數現象學,以及現有左手弱扇區上的規範動能邊界條件 — 這些是該框架欠自身的下一組研究弧。