障礙,而非推導:電子前因子故事在何處停下

今天結束了一組三篇短文的三部曲。三天,三篇論文,全部圍繞同一個狹窄的技術問題:扭量構型幾何 (TCG) 的 FPA 實現中線性的電子邊界前因子 $\langle B_e \rangle = 1 - 1/(2\pi)$ 。第一篇短文攻擊該框架最難的開放結構性問題 — 為什麼一種組合輸出描述耦合而另一種描述質量 — 透過識別提供所需計數的兩個代數,並猜想一項把它們分開的威爾遜式定域化原理。第二篇短文把該猜想的殘餘子假設從一項任意的線性算符選擇銳化為標準 QFT 的 $W = \log Z$ 結構,其中線性性精確地源於殘數代數中的冪零性。第三篇短文,即今日發布的這一篇,問:第二篇短文中所用的分扇區 $W = \log Z$ 是否本身可由一項邊界作用量原理推出?

答案是否定的,而該否定帶有一項明確的障礙。

問題的實際所在

回顧代數設定。在電子層 $r = 4$ ,硬核相鄰殘數代數為

\mathcal{A}_\partial^{\rm hc}(4) \;=\; \mathbb{C}[b_1, b_2, b_3] \big/ (b_1^2,\, b_2^2,\, b_3^2,\, b_1 b_2,\, b_2 b_3),

而單邊邊界缺陷為 $X_e = b_e \delta_0(\phi_e)$ 。上一篇短文表明冪零性 $b_e^2 = 0$ 使 $\log(1 - X_e) = -X_e$ 精確成立,而非泰勒截斷。對每一個匹配扇區 $M$ ,分扇區連通有效作用

W_M^{\rm def} \;=\; \log \prod_{e \in M}(1 - X_e) \;=\; -\sum_{e \in M} X_e

便是一項精確的代數恆等式,而對 $\mathrm{Match}(P_4) = \{\varnothing, 12, 23, 34, 12 \mid 34\}$ 取平均得 $\langle B_e \rangle = 1 - 1/(2\pi)$ 。完整的乘法版本會產生 $0.51\%$ 的不連通修正,該修正在 TCG 公式清單內被現有的電子湯川公式匹配排除。

但該論證依賴於一個承重詞:分扇區。連通對數是在每個匹配扇區內部,在對扇區取平均之前取的。僅在對所有匹配求和之後再取對數,會定義一個不同的自由能,而且不會重現該框架的 $P_4$ 。所以分扇區處方不是可選的。它是關於邊界理論如何分解的一項結構性假設。

閉合問題在於此假設是否被強制。在標準量子場論中, $W = \log Z$ 由應用於連通時空的標準樹級論證所強制。然而,在 FPA 邊界設定中,相關的「時空」是 $\mathrm{Conf}^{\rm lab}_4(I)$ 的構型空間帶角分層,帶有硬核極座標法向殘數的選擇。要使分扇區 $W = \log Z$ 成為定理而非假設,匹配扇區 $M \in \mathrm{Match}(P_4)$ 必須是邊界理論的 BFV 超選擇扇區:邊界態空間必須分解為正交直和,且 BRST/BFV 微分必須保持該分解。若兩者皆成立,連通泛函便分扇區因子化,且 $W_\partial = \bigoplus_M W_M$ 隨之而來。

因此問題是:在腔分塊緊化的 FM/AS 上的自然 BV–BFV 理論,是否產生這種超選擇結構?

第一項障礙:匹配單項式是冪零的

尋找扇區投影子最自然的位置就在殘數代數內部。如果 $\mathcal{A}_\partial^{\rm hc}(4)$ 包含中心正交冪等元 $e_M$ — 每個匹配一個,且 $e_M e_{M'} = \delta_{MM'} e_M$ , $\sum_M e_M = 1$ — 那麼該代數將分裂為以匹配為指標的正交塊,而邊界態空間在任何合理的表示之下都將繼承該塊分解。

它沒有。 $\mathcal{A}_\partial^{\rm hc}(4)$ 的匹配單項式基 $\{1, b_1, b_2, b_3, b_1 b_3\}$ 標記了匹配,但這些標記是冪零的,而非冪等的。對任何非空匹配 $S = \{i_1, \ldots, i_k\}$ ,乘積 $b_S = b_{i_1} \cdots b_{i_k}$ 滿足

b_S^2 \;=\; b_{i_1}^2 \cdots b_{i_k}^2 \;=\; 0

由定義關係 $b_i^2 = 0$ 。如果 $b_S$ 是冪等的,則 $b_S^2 = b_S$ 會強制 $b_S = 0$ — 與非零假設矛盾。所以代數中唯一的冪等元是單位元 $1$ ,對應空匹配,且不分隔其他匹配。

這就是代數障礙。硬核殘數代數是一個無平方關聯環(對 $P_r$ 的匹配複形而言是 Stanley–Reisner 型),而非超選擇扇區的半單直和代數。從匹配基傳遞到一個典範的正交扇區分解,需要一個該代數結構未提供的額外量子化或半單化步驟。特別地, $b_i$ 及其乘積本身不能充當投影子 $\Pi_M$ 。

第二項障礙:帶角理論自然混合層

即便繞過代數,直接嘗試構造一個分扇區的 BV–BFV 理論,FM/AS 緊化上帶角邊界場論的自然默認行為也走錯了方向。

FM/AS 緊化是一個帶角流形構造,其邊界層編碼嵌套碰撞資料以及這些資料之間的關聯關係。在 Cattaneo–Mnev–Reshetikhin BV–BFV 理論中,邊界相空間和邊界微分由體作用量的變分邊界項所誘導,而分塊對角性是某種特定邊界條件的屬性,而非「擁有邊界」這件事的後果。在 Costello–Gwilliam 因子化代數語言中,從局部到整體的映射是黏合映射,而非超選擇投影子。在帶角分層的上同調或胞腔模型中,面與關聯微分關聯相鄰餘維的邊界層 — 自然默認的微分讀作

Q_\partial \;:\; \mathcal{H}_M \;\longrightarrow\; \bigoplus_{M'} \mathcal{H}_{M'},

帶有扇區之間可能的關聯映射,而不是分扇區因子化所要求的分塊對角 $Q_\partial \Pi_M = \Pi_M Q_\partial$ 。

要強制分塊對角性,人們必須將保扇區條件加諸於 $Q_\partial$ 之上,作為額外的邊界資料 — 一個邊界條件,選定哪些扇區躍遷是被允許的。該選定恰好是缺失的內容。它不是「使用帶角 BV–BFV 理論」的結果;它是這種理論可以接受或拒絕的一項獨立輸入。

這不是無解定理。它是一項結構性觀察:相關機制的自然默認不交付超選擇。未來帶角擴展的對數 BV–BFV 構造原則上可以產生一種理論,其特定的邊界條件強制保持匹配扇區。但那將是未來構造的肯定結果,而非現有框架的後果。

一個可以做的構造,以及它的代價

一個一致的分扇區模型用手組裝並不困難。宣告極座標法向邊界態空間為直和

\mathcal{H}_{\partial,4}^{\rm pol} \;=\; \bigoplus_{M \in \mathrm{Match}(P_4)} L^2((S^1)^M)

帶正交投影子 $\Pi_M$ 。宣告邊界辛形式與 BRST 微分為分扇區對角, $\Omega_\partial = \bigoplus_M \Omega_M$ 和 $Q_\partial = \bigoplus_M Q_M$ 。則 $Q_\partial \Pi_M = \Pi_M Q_\partial$ 自然成立,匹配扇區按構造為超選擇,且分扇區因子化 $W_\partial = \bigoplus_M W_M$ 與 $W_M = \log Z_M$ 由標準連通有效作用論證在每一塊內局部應用而成立。把結果對 $\mathrm{Match}(P_4)$ 帶單位增廣 $\epsilon$ 與均勻測度取平均,正好給出 $\langle B_e \rangle = 1 - 1/(2\pi)$ ,與上一篇短文所推導的相符。

但該構造是宣告,而非推導。 $\Omega_\partial$ 和 $Q_\partial$ 的分塊對角形式正是超選擇輸入 — 正是閉合嘗試本應證立的內容。沒有它,一個整體邊界理論可以先形成總配分函數再取整體對數,或可以包含匹配扇區之間的關聯映射。在沒有額外結構禁止之前,兩個選項都與一般邊界場論的預期相容。分扇區處方是一個一致的選擇,而非被強制的選擇。

殘餘假設,以及它所核算的內容

殘餘結構性假設的最簡潔陳述把構造的四塊捆綁起來:

$P_{\rm BFV}^{\rm sec}$ 。 電子邊界理論的硬核極座標法向匹配扇區為正交 BFV 超選擇扇區。邊界態空間 $\mathcal{H}_{\partial,4}^{\rm pol}$ 分解為對匹配的直和,帶扇區投影子 $\Pi_M$ ;邊界辛形式與 BRST 微分為分扇區對角;跡為匹配單項式上的單位增廣 $\epsilon(b_{i_1} \cdots b_{i_k}) = 1$ ;且匹配扇區平均為 $\mathrm{Match}(P_4)$ 上的均勻計數測度,而每個極座標法向相位圓帶歸一化哈爾測度 $d\phi/(2\pi)$ 。

這是一個精確的結構性陳述。給定它,上一篇短文的分扇區連通對數處方作為定理而成立。但假設性負擔的核算保持誠實。 $P_{\rm BFV}^{\rm sec}$ 捆綁了四項具體假設,其全部都隱含在上一篇短文所命名的分扇區 $P_e^{\rm conn}$ 之中。以前者替代後者並不削弱殘餘的負擔。它澄清之。新陳述識別了未來推導必須提供的精確數學結構,而這就是該閉合短文有用的意義所在 — 它銳化了研究的把手,而無需製造推導。

活躍的 TCG/FPA 假設清單不變。 $P_{\rm BFV}^{\rm sec}$ 是 $P_4$ 定域化猜想中現有的 $P_e^{\rm conn}$ 子假設的結構性內容,而非一項新的框架公理。完整的清單仍為 $P_0$ – $P_4$ 、 $P_{5'}$ 、 $P_6$ 、 $P_7$ 、 $P_{H'}$ 、 $P_{SO(10)}$ ,完全與三部曲短文開始之前一樣。

文獻缺口

要精確表述該問題所需的帶角擴展對數 BV–BFV 理論 — 其邊界相空間典範地為硬核極座標法向匹配扇區直和,且其轉移在匹配扇區中分塊對角 — 當前未由任何已發表的機制提供。各組件分別存在。FM/AS 緊化提供帶角幾何。Stanley–Reisner 型關聯代數編碼面複形。Cattaneo–Mnev–Reshetikhin 2014 提供帶邊界 BV–BFV 框架。Costello–Gwilliam 2017–2021 為連通有效作用提供因子化代數語言。這些綜合起來提供足夠的詞彙來陳述問題,但它們不提供構造。

誠實的結論不是帶角擴展對數 BV–BFV 理論不可能。而是它當前不可獲得,不應在沉默中假定。五項失敗模式命名了可能出錯的地方:未來的 BV–BFV 構造可能肯定地閉合該障礙;跡與測度可能從更強的有限態邊界 TQFT 中獲得作用量級證立;正確的電子前因子可能是整體自由能 $\log \langle Z \rangle_M$ 而非 $\langle \log Z \rangle_M$ ,那將完全使分扇區定域化路線失效;不同的邊界理論擬設若 $b_i^2 \neq 0$ 則會重新打開代數;自然的 BFV 理論可能看見完整的 FM/AS 邊界而非硬核子複形。每一項都是未來構造可以決斷的精確問題。

統一圖當前所處的位置

該三部曲將該框架統一圖的弧 (3) 從「開放」轉換為「條件性閉合」。在規範代數包絡弧上週以假設等價層級閉合(Spin(10), $\mathfrak{su}(2)_R$ 經由 $D_5 \supset D_3 \oplus D_2$ 提供)之後,且在扇區指派弧過去兩天將 $P_4$ 的全部四項子假設以結構性動機層級閉合之後,這第三條弧 — 由單一邊界 BV–BFV 原理推導 $P_4$ 的作用量級 — 現在擁有一個精確的殘餘形式。有一項明確的代數障礙(匹配單項式是冪零的,而非冪等的),一項明確的結構性障礙(帶角理論經由關聯自然混合層),一項明確的殘餘假設( $P_{\rm BFV}^{\rm sec}$ 帶四塊捆綁),以及一項明確的文獻缺口(帶角擴展對數 BV–BFV 與分扇區轉移當前不在已發表機制中)。

該圖的三條弧現在在成熟度上對稱。每一條都有帶命名殘餘結構的假設等價閉合。它們共享一個開放的研究目標:帶角擴展對數 BV–BFV 構造,該構造將同時提供體側的腔冪等代數,邊側的硬核極座標法向殘數代數,以及連通有效作用結構的分扇區 $W = \log Z$ 限制,作為一項邊界作用量原理的推導後果。

論文 Boundary Superselection Obstruction for the Electron Prefactor in Twistor Configuration Geometry(《扭量構型幾何中電子前因子的邊界超選擇障礙》)已發表於 Zenodo(DOI 10.5281/zenodo.20110780;CC-BY-4.0)。它很短 — 八頁,十條參考文獻,兩條定理,一項殘餘假設,五項失敗模式。它並未閉合弧 (3)。它把弧 (3) 從「開放」轉換為「帶顯式障礙與命名殘餘假設的條件性閉合」。這種進展 — 精確地命名什麼缺失,而非製造推導 — 是該框架三天發表弧到達的自然停頓點。接下來的工作要麼是帶角擴展對數 BV–BFV 構造本身,要麼是該圖的另一條弧。