質量住在哪裡:扭量構型幾何的一個體

1971 年,肯尼斯·威爾遜 (Kenneth Wilson) 發表了一對論文,把重整化群理論變成了現代物理標準的組織工具。其數學是技術性的,但中心想法很簡單。量子場論中的算符按其有效強度在尺度變長(變 zoom out)時如何變化,分為三類。無關 (irrelevant) 算符消亡。相關 (relevant) 算符增長。邊緣 (marginal) 算符保持不變。這種分類帶有量綱:相關算符攜帶正質量量綱並在低能下破壞共形不變性,邊緣算符無量綱並保持尺度不變性,無關算符具有負量綱並收縮。質量項是相關的。規範耦合項是邊緣的。這種區分 — 以及它在場論體動力學與邊界或缺陷動力學之間所形成的不對稱性 — 出現在自那以後每一個重要的發展之中:AdS/CFT 對應、缺陷共形場論、全息重整化群、邊界態形式體系,以及在帶角流形上場論的嚴格 BV–BFV 機制。

我今天上傳到 Zenodo 的一篇短文,把這個老的區分應用到該框架最難的開放結構性問題上。

框架最難的缺口

扭量構型幾何 (TCG) 是一項研究計畫,其中若干標準模型無量綱不變量被讀為分層扭量模空間上的腔權重體積。它的 FPA 實現 — 該框架的核心構造 — 在每一個層 $n$ 上,以線形變秩 $r_n = 2n - 2$ ,提供兩個定理級的組合輸出:

$Z_{\rm bulk}(r_n) \;=\; r_n!, \qquad Z_\partial(r_n) \;=\; F_{r_n + 1}.$

第一個是定向區間上 $r_n$ 個標記點構型中,有標號的排序腔的數目。第二個是這種腔中,硬核相鄰配對匹配的數目。兩個數都是標準構型空間組合學的定理級輸出,在 Fulton 與 MacPherson 1994 年緊化文獻,以及同年 Axelrod 與 Singer 的實座標變體中均有詳細記載。

該框架目前以一種特定方式使用這兩個輸出:

$\text{規範耦合} \;\longleftrightarrow\; r_n!, \qquad \text{輕子質量、湯川} \;\longleftrightarrow\; F_{r_n + 1}.$

每一邊的組合學都是定理級的。指派 — 哪一種組合結構與哪一種物理可觀測量相等同 — 不是。框架的參考論文自身就指出這一點;DAEDALUS 綜述與方法論審計兩者均把扇區指派記錄為該框架最深的開放結構性問題。它有別於框架已經攜帶的具體數值缺口 — 例如規範動能邊界條件 $g_{2,W}^2 = 4/(3\pi)$ ,或者強子等式 $m_p / m_e \approx 6\pi^5$ — 也有別於近期那條以 Spin(10) 包絡閉合 $\mathfrak{su}(2)_R$ 缺口的規範代數完成弧。那些是關於具體數字的問題。扇區指派是關於組織的問題。為什麼一種組合輸出應該描述耦合,而另一種描述質量,而不是反過來?

經過對該框架反覆的結構性追問,答案始終一樣:它能工作是因為我們規定了如此。這不是推導。這是該框架所攜帶最深的假設性負擔。

一個空間上的兩個代數

新短文開始一項推導。其策略是把三層分開 — 什麼是定理、什麼是選擇、什麼是猜想 — 並使每一層都明確。

體代數毫無歧義。對於區間上的 $r$ 個標記點,開放構型空間分解為 $r!$ 個不相交腔的並,每個排序對應一腔。腔冪等代數 $\mathcal{A}_{\rm bulk}(r) \;=\; \mathbb{C}[\pi_0(\operatorname{Conf}^{\rm lab}_r(I))]$ 按定義維數為 $r!$ ,而 Grassmann 實現使同一個計數顯形為頂層 Berezin 類: $\eta = \sum_i \bar\theta_i \theta_i$ 滿足 $\eta^r = r! \cdot \prod_i \bar\theta_i \theta_i$ ,而積分 $\int d^r\bar\theta\, d^r\theta\, \eta^r = r!$ 。這是該框架的標準故事;腔計數始終是 FPA 構造給出的東西。

邊界代數不那麼顯然,且需要一個選擇。當 $r$ 個點中的兩個相撞 — 當 $x_i = x_{i+1}$ 在某相鄰對中 — 該構型坐落在緊化構型空間中的一個除子 $D_i$ 上。這樣的相鄰碰撞除子有 $r - 1$ 個,而它們的關聯圖是 $r$ 個頂點上的路徑 $P_r$ 。完整的 Fulton–MacPherson 邊界包含遠多於這些原始相鄰對的內容 — 它包含巢狀簇、端點面與更高碰撞層 — 但該框架的質量扇區原始物只使用相鄰對扇區,並以一個硬核規則將其選出:每個原始相鄰對殘數最多使用一次(關係 $b_i^2 = 0$ ),而兩個共享一個碰撞頂點的相鄰對殘數不能同時出現(關係 $b_i b_{i+1} = 0$ )。

幾何上的原因很直白。碰撞塊 $\{i, i+1\}$ 與 $\{i+1, i+2\}$ 重疊但既不巢狀也不互不相交,因此在 FM/AS / 美妙緊化的標準巢狀集相容性下,它們的原始殘數不相容。代數上的結果是商 $\mathcal{A}_\partial^{\rm hc}(r) \;=\; \mathbb{C}[b_1, \ldots, b_{r-1}] \big/ (b_i^2,\; b_i b_{i+1}),$ 而它是一個教科書計算:這個代數中的非零單項式恰好是路徑圖 $P_r$ 的匹配 — 沒有兩條共享頂點的邊的集合。匹配計數滿足斐波那契遞迴 $M(P_r) = M(P_{r-1}) + M(P_{r-2})$ ,因此 $\dim \mathcal{A}_\partial^{\rm hc}(r) = F_{r+1}$ 。

這是該短文內容的第一部分:兩個組合輸出 $r!$ 與 $F_{r+1}$ 不是漂浮的數字遊戲。它們是依附於同一緊化構型空間的兩個具體代數的維數 — 一個在內部,另一個在邊界的一個被選出的扇區上。這兩個代數是定理級的。硬核扇區的選擇是第二個決定,由標準巢狀集相容性規則證立。

定域化猜想

該框架真正的物理問題不是「這兩個數是什麼?」 — 它們已經定下來了。問題是「為什麼耦合應該住在第一個代數中,而質量住在第二個代數中?」該短文的主要論斷是:答案恰恰是威爾遜的邊緣/相關區分,應用到緊化構型空間上。

量子場論中的無量綱邊緣算符在共形/內部層面存活下來。它們不需要碰撞、缺陷或邊界資料。在構型空間圖像中,它們應當由腔類來代表 — 該構型所在的開放排序結構的標號,不帶有該構型如何接近某個奇異極限的資訊。規範耦合,作為邊緣且無量綱的算符,因此應當住在體代數中。它們的計數是 $r!$ 。

有量綱的相關算符則不同。它們破壞共形不變性。它們混合左手與右手費米子扇區。它們與尺度耦合,而尺度在緊化構型空間中恰恰當構型接近一個碰撞除子時出現。在對數殘數的語言中,標準正合序列 $0 \;\to\; \Omega^\bullet \;\to\; \Omega^\bullet(\log D) \;\xrightarrow{\;\operatorname{Res}\;}\; \Omega^{\bullet-1}_D \;\to\; 0$ 將該結構精確化:沿 $D$ 具有對數奇點的形式經由殘數對映對映到 $D$ 上的普通形式。質量算符,作為破壞尺度的算符,應當坐落在殘數對映之後 — 即支援在碰撞除子上,而非開放內部。作為口號,

質量是碰撞的對數殘數。

如果這個定域化原理正確,那麼在帶角流形上場論的標準 BV–BFV 機制下(Cattaneo, Mnev, Reshetikhin 2014,帶角的細化仍在發展中),便可獲得一個尖銳的等同:邊緣耦合扇區定域到維數為 $r!$ 的體代數,而相關質量扇區定域到維數為 $F_{r+1}$ 的硬核邊界代數。該框架在 $n = 1, 2, 3$ 層上當前使用的兩個序列 $(1, 2, 24)$ 與 $(1, 2, 5)$ 將不再是獨立的指派。它們將是一個原理的聯合後果。

那個原理是體–邊界扇區定域化猜想。它是猜想級的,不是定理級的。短文將其陳述為一個精確的結構性目標,而非已經確立的物理。

什麼可能出錯

論文中明列了五種可識別的失敗模式,它們都是精確的數學或物理問題,而非含糊的障礙。

最危險的是第一種:全邊界主導。該框架需要邊界 BFV 理論只看到硬核相鄰對扇區,而非帶有巢狀簇與端點面的完整 FM/AS 邊界。如果在腔分塊緊化上的某種自然 BV–BFV 理論給出完整的邊界代數而非硬核商,那麼斐波那契扇區仍然是被選出的子複形,而不是被推導出的 — 假設性負擔只是搬家而非消失。這是結構性決定性的風險,短文明示了這一點。

第二種是內部質量代表:如果有量綱的相關改變手徵性的形變同樣可以由內部類自然地代表,那麼體–邊界區分並不強制扇區分裂。該猜想將處於未定狀態,而非被反駁。

第三種關於同一邊界殘數圖像的一個附屬應用。在複化碰撞除子附近,極座標法向 $z = \rho e^{i\phi}$ ,形式 $dz/z$ 分裂為 $d\rho/\rho + i\, d\phi$ ,而角變數 $\phi$ 在圓 $S^1$ 上取值。該圓上一個標記的恆等-完整 (identity-holonomy) 缺陷期望值為 $\int_{S^1} \delta_0(\phi)\, d\phi/(2\pi) = 1/(2\pi)$ ,與該框架的電子邊界前因子 $\langle B_e \rangle = 1 - 1/(2\pi)$ 暗示性地接近。早期對 $\langle B_e \rangle$ 的條件性模型曾把 $S^1$ 相位因子用手新增。在新圖像中,它可以自然出現 — 但僅當 FPA 邊界理論容許複化法向座標或定向實爆破時。實區間緊化本身只產生一個超曲面邊界; $S^1$ 相位需要一個增強,而這就是第三種失敗模式。

剩下兩種是關於嵌入物理作用量原理與證立複化法向增強。這些都不是手揮的;每一個都是可以由具體計算定結的那種問題。

假設,而非推導 — 也不是新的

短文對它未做的事保持謹慎。它不推導標準模型扇區指派。它不引入新的假設。活躍的 TCG/FPA 假設清單恰恰是近期那條統一弧之後的樣子: $P_0$ 到 $P_4$ 、 $P_{5'}$ 、 $P_6$ 、 $P_7$ 、強子表示體積不變量 $P_{H'}$ ,以及 Spin(10) 包絡 $P_{SO(10)}$ 。新短文專門針對 $P_2$ 與 $P_3$ — 即框架參考論文的兩個扇區定域化假設 — 並把它們轉換為單一的體–邊界定域化猜想。它本身並不推導任何其他假設。

改變的是關於假設性負擔坐落何處的診斷。短文之前,負擔是被分散的:指派的腔計數側說耦合,匹配計數側說質量,而兩半是分別規定的。短文之後,負擔被集中到兩個具體的地方 — 硬核相鄰殘數邊界理論的選擇(它是被 FM/AS 幾何所強制,還是被用手強加),與邊緣對相關算符的 BV–BFV 定域化(威爾遜區分的構型空間版本是否可證,還是僅具暗示性)。兩者都是精確問題。任一者都可能被回答。

論文 Bulk–Boundary Localization in Twistor Configuration Geometry: A Conjecture for the Coupling/Mass Sector Split(《扭量構型幾何中的體–邊界定域化:耦合/質量扇區分配的一個猜想》)已發表於 Zenodo(DOI 10.5281/zenodo.20102027;CC-BY-4.0)。它很短 — 十六頁,十四條參考文獻,兩條定理,一條猜想,五項失敗模式(其中 F1 和 F5 被明確研究,結果均為部分肯定,並命名了較小的殘餘子假設)。它並未閉合該框架最難的缺口。它把這個缺口從一個任意的指派轉換為一個帶有具體證偽路徑的定域化原理。這是該計畫欠它自己的那種進展,也是未來結構性工作可以嚴肅對待的那種。