质量住在哪里:扭量构型几何的一个体

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 被明确研究,结果均为部分肯定,并命名了较小的残余子假设)。它并未闭合该框架最难的缺口。它把这个缺口从一个任意的指派转换为一个带有具体证伪路径的定域化原理。这是该计划欠它自己的那种进展,也是未来结构性工作可以严肃对待的那种。