障碍,而非推导:电子前因子故事在何处停下

今天结束了一组三篇短文的三部曲。三天,三篇论文,全部围绕同一个狭窄的技术问题:扭量构型几何 (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 构造本身,要么是该图的另一条弧。