Asymptotic boundary structure of Lagrangian gauge theories

技术摘要：拉格朗日规范理论的渐近边界结构

问题陈述
本文探讨了定义在具有边界的时空上的局部规范理论与在其边界上诱导的规范理论之间的结构关系。虽然对于有限边界，体（bulk）规范理论与边界理论之间的对应关系已得到充分理解（通常通过 Batalin-Vilkovisky (BV) 和 Batalin-Fradkin-Vilkovisky (BFV) 形式，特别是在 AKSZ 西格玛模型的背景下），但将这一结论扩展到渐近边界（如闵可夫斯基空间中的零无穷远或 AdS 中的共形边界）时，存在特定的挑战。

核心困难在于，编码拉格朗日作用量的体预西米普列克结构（presymplectic structures）在渐近边界处通常呈多项式发散。因此，对这些结构进行朴素的边界拉回是未定义的，这阻碍了直接推导边界理论的哈密顿量或 BV 形式。作者寻求一种系统性的几何方法，从这些发散的体数据中提取出定义良好的边界结构，特别是针对在规范偏微分方程（gPDE）框架内构建的拉格朗日规范理论。

方法论
作者采用了 规范偏微分方程 (gPDE) 形式，该形式将规范理论描述为定义在时空德拉姆复形上的 Q-丛。这种方法推广了 AKSZ 西格玛模型，使其适用于非拓扑且非拉格朗日理论，并自然地纳入了 BV 结构。

该方法论通过以下步骤进行：

1. 紧致化与 Q-边界： 作者引入了 具有渐近边界的 gPDE 的概念。这涉及将渐近边界不仅视为一个极限，而是视为紧致化时空的子流形。他们定义了分次流形上的 Q-边界，其中同调向量场 $Q$ 与边界切向，且边界由一个函数 $\Omega$（及其 $Q$-像 $\xi = Q\Omega$）消失来定义。
2. 发散上同调类的重整化： 该方法的核心技术创新是构造了一个映射，该映射可以处理在边界处呈多项式发散（形式为 $\Omega^p v_{div}$）的体 Q-上同调类，并从中提取出一对定义良好的边界 Q-上同调类：
   • 一个与原体上同调类具有相同鬼度（ghost degree）的 重整化上同调类 ($v_R$)。
   • 一个鬼度低一阶的 异常上同调类 ($v_A$)。
     此构造利用了一个满足 $d\Omega=0$ 且 $d\xi=1$ 的向量场 $d$，以及派生向量场 $\nabla = [Q, d]$。映射 $R$（重整化）和 $A$（异常）是通过沿 $\nabla$ 的李导数以及向边界的拉回来定义的。
3. 对预西米普列克结构的应用： 作者将此映射应用于拉格朗日 gPDE 的兼容预西米普列克结构。由于体预西米普列克形式 $\omega$ 的鬼度为 $\dim(X)-1$，诱导的边界结构为：
   • $\omega_R$：一个度数为 $\dim(\partial X)$ 的预西米普列克结构，被解释为定义了一个 BFV 系统（重整化后的边界相空间）。
   • $\omega_A$：一个度数为 $\dim(\partial X)-1$ 的预西米普列克结构，被解释为在边界上定义了一个 BV 系统，与全息 Weyl 异常相关。

主要贡献与结果

1. 渐近边界的通用形式化： 本文建立了一个关于“具有渐近边界的 gPDE”的严谨几何框架。它证明了任何在边界处呈多项式发散的体 Q-上同调类都会在边界系统中生成一对兼容的 Q-上同调类。这推广了 b-几何中的剩余映射概念到规范理论和 BRST 上同调的语境中。
2. 边界作用量的推导： 作者显式地推导了由异常预西米普列克结构 ($\omega_A$) 决定的边界作用量。他们表明，对于渐近 AdS 空间，该作用量与已知的 全息 Weyl 异常 一致。
3. AdS 上的显式示例：
   • 标量场： 对于具有特定质量和共形权重的标量场，其异常作用量给出了高阶单粒子场（singleton fields）的一阶作用量，其运动方程为 $\square^\ell \phi = 0$。
   • 麦克斯韦场： 该构造恢复了重整化结构的标准 BFV 形式，并为异常结构生成了高阶共形不变作用量（例如 $\ell=2$ 时的 Paneitz 方程）。
4. 闵可夫斯基空间的新颖结果：
   • 本文通过将该框架应用于 闵可夫斯基空间 及其零无穷远，填补了文献中的空白。
   • 对于标量场和麦克斯韦场，作者推导出了零无穷远处边界结构的完整规模 gPDE 描述。
   • 他们构造了一系列无穷塔式的、具有显式共形-卡罗尔（Carroll）不变性的理论。这些理论推广了标量场和麦克斯韦场的“磁极限”。
   • 具体而言，对于 $d=4$（边界维度）的麦克斯韦场，其异常作用量重现了麦克斯韦理论的磁极限。对于更高维度，它产生了新的共形不变微分算子和作用量（例如 $d=6$ 的阿贝尔极限下的 Yang-Mills 能量泛函）。

意义与主张
本文声称所提出的形式化为研究渐近平坦和 AdS 时空上的拉格朗日规范理论的边界结构提供了一个系统的、不变的几何工具。

• 统一性： 它通过在 gPDE 框架内将渐近边界视为紧致化空间的 Q-子流形，统一了 AdS 和闵可夫斯基空间的边界结构处理方法。
• 解决发散问题： 它解决了发散预西米普列克结构的问题，通过展示发散性质如何自然地分裂为一个重整化部分（定义标准的边界相空间）和一个异常部分（定义一个新的、非平凡的边界作用量）。
• 发现新理论： 作者强调，虽然 AdS 的结果与已知的全息异常一致，但对闵可夫斯基空间的应用揭示了一个此前未知的卡罗尔不变理论族。这些理论是直接从体拉格朗日通过异常映射导出的，而非预设的。
• 范围： 作者谦虚地指出，尽管显式示例仅限于常曲率背景（平坦 AdS 和闵可夫斯基），但该通用方法同样适用于弯曲背景下的全套引力和规范场，尽管针对这些特定情况的分析留待未来工作。

总而言之，本文提供了一套强大的数学机制，用于从体拉格朗日系统中提取边界规范理论，成功恢复了 AdS 中的已知全息异常，并在闵可夫斯基空间中发现了新的共形不变边界动力学。