Symmetries and Higher-Form Connections in Derived Differential Geometry

技术摘要：导出微分几何中的对称性与高阶形式联络

作者： Severin Bunk, Lukas Müller, Joost Nuiten, 以及 Richard J. Szabo

1. 问题陈述

本文旨在解决在微分几何中，对于**主 $\infty$-丛（principal $\infty$-bundles）**缺乏通用的、内在的联络定义的问题。虽然经典主丛（具有李群结构）上的联络已得到充分理解（通过 Atiyah 拟层和平行移动），但现有的高阶丛（例如 gerbes、高阶规范场）的定义往往依赖于限制性的假设，例如特定的结构群（Lie $n$-groups、交叉模）或局限于平坦联络（$\infty$-局部系统）。此外，以往的方法通常缺乏一个统一的框架，无法将无穷小对称性和联络数据置于同等地位，特别是在处理由一般导出堆（derived stacks）分类的丛时。核心问题在于：如何利用一种能够推广经典李拟层（Lie algebroid）视角的框架，来定义最一般主 $\infty$-丛上的联络？

2. 研究方法

作者开发了一个基于**导出微分几何（derived differential geometry）**和 **$L_\infty$-拟层（$L_\infty$-algebroids）**同伦论的框架。其方法通过以下阶段展开：

• 导出几何设定： 他们利用 inf-流形（inf-manifolds） 的 $\infty$-范畴（$\text{InfMfd}$），该范畴由由微分梯度（dg）$C^\infty$-环建模的导出无穷细化流形组成。这允许了一种鲁棒的变形理论，使得切复形表现良好。
• 形式微分： 他们建立了一个形式微分程序，用于处理从光滑流形 $M$ 到具有变形理论（具体为满足 Schlessinger 条件且切表示性的堆）的堆 $X$ 的映射 $x: M \to X$。这种微分产生了相对切复形 $T(M/X)$。
• Atiyah $L_\infty$-拟层： 他们证明了 $T(M/X)$ 自然地提升为一个完整的 Atiyah $L_\infty$-拟层。该对象被定义为该几何结构的 Atiyah $L_\infty$-拟层，编码了由 $x$ 分类的无穷小对称性。
• 联络的定义： 一个 $p$-形式联络 被定义为不是一组微分形式，而是一个 $L_\infty$-拟层的态射。具体而言，它是 Atiyah $L_\infty$-拟层的一个 $p$ 阶分裂（order $p$ splitting）。这通过从切丛的 $p$ 阶截断（记作 $Q(p)TM$）到 Atiyah $L_\infty$-拟层 $T(M/X)$ 的映射来形式化。
• 曲率与平坦性： $p$-形式联络的曲率被定义为将联络提升到 $(p+1)$ 阶联络的障碍。这种表述自然地强制执行了伪曲率条件（fake-curvature condition）（即低阶部分的场强与高阶部分的内部微分相匹配），因为这些联络是作为无穷小平行移动而构建的。

3. 核心贡献与结果

A. 理论框架

• 定理 3.2 (微分)： 证明了对于任何指向具有变形理论的堆的映射 $x: M \to X$，相对切复形 $T(M/X)$ 都自然地具有完整 $L_\infty$-拟层的结构。这为任何此类几何结构提供了一个函子性的 Atiyah $L_\infty$-拟层分配。
• 定理 3.12 (对称性)： 证明了 Atiyah $L_\infty$-拟层的全局截面等价于该丛的导出高阶对称群（即模空间对微分同胚取模后的环堆）的 $L_\infty$-代数。这推广了经典结论，即规范群的李代数是 Atiyah 拟层的截面空间。
• 定义 4.10 (高阶联络)： 将 $p$-形式联络的空间 $\text{Con}_p(x)$ 定义为映射空间 $\text{L}_\infty\text{Agd}_M^\infty(Q(p)TM, T(M/X))$。一旦建立了 Atiyah $L_\infty$-拟层，这一定义纯粹是代数的。

B. 在高阶 $U(1)$-丛上的验证

• 定理 5.20： 作者显式计算了 $(n-1)$-gerbe（由 $x: M \to B^n U(1)$ 分类）的 Atiyah $L_\infty$-拟层。他们证明，通过其导出几何形式化定义的 $p$-形式联络空间，与通过 Čech–Deligne 微分上同调类（Čech–Deligne differential cocycles） 定义的 $p$-形式联络空间是正则等价的。这通过已有的高阶阿贝尔丛文献验证了他们新定义的有效性。

C. 与 Courant 拟层及弱联络的关系

• 高阶 Courant 拟层： 论文将该理论与高阶 Courant 拟层联系起来。他们展示了与 gerbe 相关的更高阶 Courant 拟层的括号投影到 Atiyah $L_\infty$-拟层的 Lie $n$-代数。
• 弱联络： 通过考虑从具有固定联络的结构模堆（而非分类堆本身）出发的映射，作者定义了一种“弱化”的联络概念。他们表明，对于具有联络结构的 gerbe，一个弱 1-形式联络对应于一个增强曲率（enhanced curving）（一个标准曲率加上一个对称 2-张量），这在统一超引力中的 $B$-场与度规方面具有潜在应用。

4. 意义与主张

本文声称提供了第一个关于主 $\infty$-丛联络的通用定义，该定义适用于由任意导出堆（只要其具有变形理论）分类的丛，而不要求其结构群必须是有限维李群或交叉模。

• 统一性： 它在单一的 $L_\infty$-拟层框架下统一了无穷小对称性和联络的概念，推广了经典的 Atiyah 拟层视角。
• 恢复已知结果： 通过恢复高阶 $U(1)$-丛的 Čech–Deligne 描述，作者证明了其抽象的导出几何方法与现有的具体模型是一致且包含其中的。
• 伪平坦性（Fake-Flatness）： 该框架自然地产生**伪平坦（fake-flat）**联络（满足伪曲率条件），因为它们是作为沿无穷小路径及其同伦的平行移动而构建的。作者指出，虽然“调整后的联络”（circumvent fake-curvature，用于绕过伪曲率）在超引力中具有相关性，但其主要动机是为高阶几何中的平行移动建立严谨的基础。
• 模空间解释： 这项工作澄清了局部与全局模问题之间的关系，展示了从 $L_\infty$-代数（全局对称性）到 $L_\infty$-拟层（局部对称性）的增强是如何成为定义高阶形式联络的机制。

作者明确指出，他们的方法尚未解决“调整后联络”（用于应对某些超引力应用）的问题，但为在最一般的设定下定义和研究高阶联络提供了必要的几何基础设施。