Open-closed Deligne-Mumford field theories: construction

技术摘要：开闭 Deligne–Mumford 场论：构造

问题陈述
本文解决了辛拓扑与代数几何中的一个根本性缺口：缺乏一个严谨的、链层面的代数框架，能够将拉格朗日子流形的 Fukaya 范畴与任意亏格下环境辛流形的 Gromov–Witten 不变量联系起来。虽然上同调场论（CohFTs）描述了 Gromov–Witten 不变量的代数结构，而 Fukaya 范畴描述了拉格朗日 Floer 理论，但直接构造一个在链层面（而不仅仅是在同调层面）运作、且同时包含开（拉格朗日边界）和闭（内部）扇区的场论一直难以实现。

先前的尝试，例如 Costello 的开闭拓扑共形场论（TCFTs），依赖于光滑带框曲面的模态 properads。然而，这些方法并未直接利用在伪全纯曲线研究中自然产生的带边稳定曲线的紧化模空间。此外，标准的拉格朗日 Floer 理论通常产生弯曲的 $A_\infty$-代数，而将这些理论扩展到具有任意边界分量的高亏格情形，需要处理弯曲性以及带边模空间特有的几何障碍。

方法论
作者构造了“开闭 Deligne–Mumford 场论”（DMFTs），将其定义为从带边稳定曲线模空间上的链范畴到链复形范畴的对称幺半 $A_\infty$-函子。该构造通过以下几个技术阶段进行：

1. 代数框架：作者定义了一个在带边稳定曲线模空间（$M_{oc}$）上的链上富化的范畴 $\mathcal{OC}$。为了处理拉格朗日边界条件的几何现实，他们引入了该范畴的“弯曲”版本 $\mathcal{OC}_r$，该版本形式地 adjoining 生成元 $D_0$ 和 $D_1$ 以解释具有少量标记点的圆盘的不稳定性。这使得该理论能够容纳弯曲的 $A_\infty$-代数。
2. 链模型与奇点解消：定义在奇异角状 orbifold 模空间上的链运算是一个主要的技术障碍。作者采用了一种基于“解析奇异链”的特定链模型。他们利用实解析奇点解消算法（扩展了 Bierstone 和 Milman 的结果）来处理非横截的模空间纤维积。这使得即使在稳定化映射不是次微分的情况下，也能定义良好的拉回 - 推送运算（q-运算）。
3. 立方配边与 Kuranishi 结构：为了实现严格的函子性并处理高阶同伦，该构造依赖于稳定映射模空间的“立方配边”（全局 Kuranishi 图）系统。这些图表的构造与边界层和 clutching 运算相容。作者利用这些图表和 Thom 形式定义对应关系，从而定义场论的运算。
4. 形变与弯曲消除：初始构造产生了一个弯曲的开闭 DMFT。为了获得无弯曲理论（这对于恢复标准的 Gromov–Witten 不变量是必要的），作者利用了界定链（bounding cochains）理论。他们证明，如果拉格朗日子流形允许一个弱界定链，则可以通过消除弯曲项的代数形变过程，将弯曲的 DMFT 形变为无弯曲的 DMFT。
5. 同伦独立性：作者证明了所得场论在至多同伦的意义下独立于辅助选择（如殆复结构和特定的 Kuranishi 图表）。这是通过利用底层几何数据的“伪等距”构造显式同伦来实现的。

主要贡献与结果

• 开闭 DMFT 的定义：本文将开闭 Deligne–Mumford 场论定义为对称幺半 $A_\infty$-函子 $F: \mathcal{OC} \to \text{Ch}_\Lambda$。该结构将 Fukaya $A_\infty$-代数扩展到了任意高亏格且具有任意多边界分量的曲线。
• 构造定理（定理 A）：对于闭辛流形 $(X, \omega)$ 和相对 Spin、嵌入且弱无阻碍的拉格朗日子流形 $L$，作者构造了一个半严格、算子型的弯曲开闭 DMFT。
  • 如果 $L$ 配备了弱界定链，则该 DMFT 可形变为无弯曲的开闭 DMFT。
  • 该理论相关的闭扇区恢复了 $X$ 的 Gromov–Witten 理论。
• 严格性与算子性质：该构造是“半严格”的（在稳定链上严格）且“算子型”的（兼容遗忘标记点）。这意味着拉格朗日子流形上的相关代数是一个循环 $A_\infty$-代数。
• 推论 1.2：作为结果，任何紧辛流形都允许稳定亏格 0 曲线算子在微分形式 $\Omega^*(X; \Lambda)$ 上的严格链层面作用，从而提升量子杯积。
• 同伦独立性（定理 B）：构造的 DMFTs 在至多 DMFT 同伦的意义下，独立于所有辅助选择（包括殆复结构的选择和界定链的规范等价类）。
• 通用曲线计数：该理论被描述为一种“通用曲线计数理论”，它将开闭和闭开映射作为其数据的一部分，从而弥合了 Fukaya 范畴与 Gromov–Witten 不变量之间的鸿沟。

意义
本文代表了证明 Kontsevich 猜想（即 Fukaya 范畴决定辛流形的 Gromov–Witten 不变量）的关键第一步。通过遵循 Costello delineated 的策略，作者提供了必要的几何和代数机制，将 Fukaya 范畴提升为一个在链层面以及带边稳定曲线模空间层面运作的场论。

通过利用虚拟扰动和全局 Kuranishi 图表，该构造消除了对限制性正则性假设的需求（例如 Ganatra、Pomerleano 和 Seidel 先前工作中所要求的）。本文确立了当 Fukaya 范畴通过界定链增强后，其代数结构自然地编码了辛流形的枚举不变量。虽然本文并未声称在不进行进一步工作（特别是关于 Fukaya 范畴的生成和 $S^1$-作用的平凡化）的情况下完全证明所有亏格的猜想，但它成功构造了进行此类比较所需的场论桥梁。此外，该工作还将先前关于亏格零开 Gromov–Witten 不变量的结果推广到了任意亏格和任意边界分量。