[论文解读] Duality of generalized Maxwell theories as an equivalence in derived geometry

Chris Elliott, Owen Gwilliam+2 more|arXiv (Cornell University)|Mar 19, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

论文通过导出微分几何形式化自伴随 p-形式广义麦克斯韦理论的非微扰模空间，证明阿贝尔对偶性等同于带电量化模空间之间的等价，并通过差分同伦批量投影在微分同伦学中分析紧化。

ABSTRACT

We propose a non-perturbative description of the moduli spaces encoding p-form generalized Maxwell theories in any dimension, using derived differential geometry. Our approach synthesizes the Batalin--Vilkovisky formalism with differential cohomology. Within this framework we formulate Dirac charge quantization and show how such charge-quantized moduli spaces exhibit abelian duality between generalized Maxwell theories of different types. We also describe the compactification of generalized Maxwell theories along closed Riemannian manifolds by computing the pushforward of the underlying sheaves of cochain complexes that model differential cohomology.

研究动机与目标

• 使用导出微分几何为阿贝尔 p-形式广义麦克斯韦理论的模空间提供非微扰描述。
• 将 BVVA（Batalin–Vilkovisky）形式主义与微分上同调结合，在这些模空间中表述狄拉克电荷量子化。
• 证明阿贝尔对偶性作为对偶 p-形式理论的带电量化模空间之间的同构。
• 展示阿贝尔 p-形式理论等价于耦合到拓扑规范理论的 n−p−2 形式的对偶理论。
• 通过将微分上同调层推送（pushforward）来计算紧化，揭示拓扑场论结构。

提出的方法

• 将场论描述为取值于阿贝尔群的共链复形的层，并将其提升为导出叠（derived stacks），以实现非微扰分析。
• 使用受 BV/BRST 启发的复形，在共链复形框架内编码运动方程与规范对称性。
• 通过将某些分量离散化（将 R 替换为 Z）以实现带电量子化，得到带电离散化的复形。
• 通过显式的共链复同构，建立 p-形式与 (n−p−2)-形式理论之间的带电离散化同构。
• 采用导出几何语言，将对偶性解释为时空中的导出叠层之层之间的等价。
• 通过将基础微分上同调层向前推送，执行紧化计算。

实验结果

研究问题

• RQ1 如何利用导出几何非微扰地描述阿贝尔 p-形式广义麦克斯韦理论？
• RQ2 狄拉克电荷量子化在模空间中如何体现，以及对对偶性的影响？
• RQ3 是否可以将 p-形式与 (n−p−2)-形式在带电量化模空间中实现同构的阿贝尔对偶性？
• RQ4 对偶性如何与在等距嵌入上的限制以及紧化过程相互作用？

主要发现

• 通过将 BV 形式主义与微分上同调相结合，可以非微扰地描述阿贝尔 p-形式理论的带电量化模空间。
• 阿贝尔对偶性在带电量化的 p-形式理论与带电量化的 (n−p−2)-形式理论之间体现为简单的同构。
• 对偶性与在等距嵌入上的限制具有相容性，确立了时空中的函子性。
• 在导出设置中，阿贝尔 p-形式规范理论与包含拓扑规范场的对偶理论之间的等价性被确立。
• 通过对微分上同调层的推送进行紧化分析，可以从上同调中的扭曲得到有限拓扑场论样结构（类似 Dijkgraaf–Witten）
• 该框架支持任意维度与任意伽玛的高形式规范理论，扩展麦克斯韦理论超越 R3 的范畴。