Lagrangian Intersections, Symplectic Reduction and Kirwan Surjectivity

这是一篇关于辛几何、代数几何与镜像对称（特别是 3d B-模型）交叉领域的学术论文。论文由 Naichung Conan Leung, Ying Xie 和 Yu Tung Yau 撰写，主要研究了在哈密顿群作用下的等变拉格朗日相交（Equivariant Lagrangian Intersections）、**辛约化（Symplectic Reduction）以及Kirwan 满射性（Kirwan Surjectivity）**的推广。

以下是对该论文的详细技术总结：

1. 研究背景与核心问题

• 背景：在辛几何和镜像对称中，复拉格朗日相交的研究对于构建复拉格朗日的 Fukaya 范畴以及 Kapustin-Rozansky-Saulina 提出的 3d B-模型 2-范畴至关重要。
• 核心问题：
  1. 给定一个光滑全纯辛流形 $X$ 和哈密顿 $G$-作用（$G$ 为复线性约化群），$G$-不变的拉格朗日子流形 $C_1, C_2$ 在辛商 $X // G$ 中诱导出的拉格朗日相交的几何结构是什么？
  2. 这些相交的 Ext 群（Ext groups）如何计算？它们与相交子流形的上同调有何关系？
  3. 能否建立从全空间 $X$ 的 Ext 群到半稳定约化空间 $X^{ss} // G$ 的 Ext 群之间的满射关系（即广义的 Kirwan 满射性）？

2. 方法论与设定

• 基本设定 (Set-up S)：
  • $(X, \omega)$ 是光滑辛拟射影簇，具有哈密顿 $G$-作用，动量映射为 $\mu: X \to \mathfrak{g}^*$。
  • $C_1, C_2$ 是 $G$-不变的光滑连通拉格朗日子流形。
  • 它们的概型论相交 $B := C_1 \cap C_2$ 非空且光滑（称为清洁相交，clean intersection）。
  • 关键假设：$B \subset X$ 的**法向序列（conormal sequence）**作为 $G$-等变丛分裂：
    $$0 \to N^\vee_{B/X} \to \Omega_X|_B \to \Omega_B \to 0$$
• 工具：
  • 导出代数几何（Derived Algebraic Geometry）：使用导出纤维积（derived fiber product）来描述相交，将经典相交 $B$ 视为导出相交 $C_1 \times_X C_2$ 的经典截断。
  • 辛约化与移位辛结构：利用 $X // G$ 作为 0-移位辛 Artin 栈（0-shifted symplectic Artin stack）的性质。
  • 过剩丛（Excess Bundles）：分析相交的过剩丛结构，将其与余切复形（cotangent complex）联系起来。
  • 覆盖技巧（Covering Trick）：利用局部系统的挠性（torsion）性质，通过循环覆盖将带有系数的上同调转化为普通上同调。
  • HKKN 分层与 Atiyah-Bott 判据：在附录中用于证明扭曲的 Kirwan 满射性。

3. 主要贡献与结果

3.1 导出拉格朗日相交的几何结构

定理 1.1 (Theorem 4.5)：
在设定 (S) 下，如果 $B \subset X$ 的法向序列分裂，则导出纤维积同构于 $B/G$ 的 $(-1)$-移位余切栈：
$$C_1/G \times_{X//G} C_2/G \cong \text{Tot}_{B/G}(L_{B/G}[-1])$$
其中 $L_{B/G}$ 是商栈 $B/G$ 的余切复形。这意味着导出相交在几何上等同于 $B/G$ 的“导出法丛”。

3.2 Ext 群与等变上同调的对应

定理 1.1 (Corollary 4.7)：
在满足一定紧性条件（$B$ 在仿射上固有，$h^0(B, \mathcal{O})^G < \infty$）且 Hodge-to-de Rham 谱序列退化（或满足 Hodge spreadable 条件）的情况下：

• 一般情况：如果 $\det(N_{B/C_2})$ 是挠的（torsion），则 Ext 群同构于带系数的等变上同调：
  $$\text{Ext}^\bullet_{X//G}(\mathcal{O}_{C_1/G}, \mathcal{O}_{C_2/G}) \cong H^\bullet_G(B, \det(N_{B/C_2})^\delta)$$
  其中 $\delta$ 表示由挠线丛定义的局部系统。
• 自相交情况：若 $C_1 = C_2 = C$，则：
  $$\text{Ext}^\bullet_{X//G}(\mathcal{O}_{C/G}, \mathcal{O}_{C/G}) \cong H^\bullet_G(C, \mathbb{C})$$
  这解释了 3d B-模型中对称性与约化交换的问题。
• Spin 结构情况：如果拉格朗日子流形具有 Spin 结构（即 $K^{1/2}_{C_i}$ 存在），则 Ext 群同构于由 $K^{-1/2}_{C_1} \otimes K^{1/2}_{C_2} \otimes \det(N_{B/C_2})$ 定义的 2-挠局部系统的等变上同调（定理 1.2）。

3.3 广义 Kirwan 满射性

定理 1.3 (Theorem 5.5, 5.7)：
论文建立了从全空间到半稳定约化空间的自然限制映射的满射性：
$$\text{Ext}^\bullet_{X//G}(\mathcal{O}_{C_1/G}, \mathcal{O}_{C_2/G}) \twoheadrightarrow \text{Ext}^\bullet_{X^{ss}//G}(\mathcal{O}_{C^{ss}_1/G}, \mathcal{O}_{C^{ss}_2/G})$$

• 该结果依赖于扭曲的 Kirwan 满射性（Twisted Kirwan Surjectivity），即对于任意 $G$-不变局部系统 $L$，映射 $H^\bullet_G(B, L) \to H^\bullet_G(B^{ss}, L)$ 是满射。
• 这一结果将经典的 Kirwan 满射性推广到了带有局部系数的 Ext 群计算中，并解释了在 3d B-模型中，物理上的“对称性”与“约化”操作的交换性。

3.4 具体算例

论文在余切丛 $X = T^*M$ 的背景下验证了这些结果：

• 零截面：零截面的自相交 Ext 群同构于商栈 $M/G$ 的 Hodge 上同调。
• 闭 1-形式的图：若 $\eta$ 是 $G$-不变的全纯闭 1-形式，其零点的图 $\Gamma_\eta$ 与零截面的相交 Ext 群同构于零点集 $Z(\eta)$ 的扭曲等变上同调。
• 法丛：两个法丛 $N^\vee_{Z_1/M}$ 和 $N^\vee_{Z_2/M}$ 的相交 Ext 群同构于 $Z_1 \cap Z_2$ 的等变上同调。

4. 意义与影响

1. 理论统一：该工作将导出代数几何中的相交理论（如 Arikin-Căldăraru-Hablicsek 的工作）与辛几何中的约化理论（Kirwan 理论）成功结合，为计算辛商中的拉格朗日相交提供了强有力的代数工具。
2. 镜像对称与物理：结果直接关联到 Kapustin-Rozansky-Saulina 提出的 3d B-模型 2-范畴。Ext 群的同构性揭示了物理上 D-膜（branes）在约化后的相互作用，特别是 Spin 结构（2-挠局部系统）在超弦理论中确保世界面费米子定义良好的物理意义。
3. 推广 Kirwan 定理：通过引入扭曲的局部系统，论文将经典的 Kirwan 满射性推广到了更广泛的系数范畴，解决了带有非平凡局部系统时的上同调满射性问题。
4. 计算工具：提供了一种将复杂的导出相交 Ext 群计算转化为相对简单的代数簇（或商栈）的等变上同调计算的方法，特别是当法向序列分裂时。

总结

这篇论文通过引入导出几何视角，精确刻画了哈密顿群作用下辛商中拉格朗日相交的几何结构，证明了其 Ext 群同构于相交子流形的等变上同调（可能带有挠系数），并建立了广义的 Kirwan 满射性。这不仅深化了对 3d B-模型数学结构的理解，也为相关领域的计算提供了新的范式。