Dualizable abelian fibrations

这篇论文《对偶可解阿贝尔纤维化》（Dualizable Abelian Fibrations）由 Daves Maulik、Junliang Shen 和 Qizheng Yin 撰写，旨在建立并阐述对偶可解阿贝尔纤维化（Dualizable Abelian Fibrations）的理论框架。该理论是对 Ngo 在朗兰兹纲领基本引理证明中引入的阿贝尔纤维化分解定理研究的推广和深化。

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

1. 研究背景与核心问题

• 背景：
  • 阿贝尔纤维化是指非奇异流形之间具有等维纤维且一般纤维为阿贝尔簇的固有满射 $f: M \to B$。
  • 分解定理（Decomposition Theorem）：Beilinson-Bernstein-Deligne-Gabber (BBDG) 定理指出，$Rf_* \mathbb{Q}_M$ 在 $B$ 的有界构造层导出范畴中分裂为移位半单 perverse 层的直和。
  • Ngô 的贡献：Ngô 引入了 $\delta$-正则弱阿贝尔纤维化（$\delta$-regular weak abelian fibrations），利用交换群概形 $P$ 在总空间 $M$ 上的作用，确定了分解定理中的支撑集（supports）和局部系统。这一工具对证明朗兰兹纲领的基本引理至关重要。
• 核心问题：
  • 当阿贝尔纤维化具有对偶结构（即存在一个对偶纤维化 $f^\vee: M^\vee \to B$）时，分解定理和上同调中的pervers 滤过（perverse filtration）会展现出更丰富的结构。
  • 现有的阿贝尔簇（Abelian schemes）理论（如 Beauville 分解）依赖于“乘以 $N$"映射和庞加莱线束的严格性质，但在存在奇异纤维的阿贝尔纤维化中，这些性质往往失效（例如，Beauville 分解可能不存在，或者分解不是乘法的）。
  • 目标：定义一个包含奇异纤维的广义类（对偶可解阿贝尔纤维化），使得 Fourier 变换、Motivic 分解和乘法结构等性质依然成立，并应用于 Hitchin 系统、紧致化雅可比纤维化等几何对象。

2. 方法论与定义框架

论文通过引入一组公理（Axioms）来定义对偶可解阿贝尔纤维化，试图在阿贝尔簇的严格结构和一般阿贝尔纤维化的复杂性之间找到平衡。

2.1 基本定义

一个相对维数为 $g$ 的阿贝尔纤维化 $f: M \to B$ 被称为对偶可解的，如果满足以下公理：

• 公理 A（存在对偶纤维化）：存在另一个阿贝尔纤维化 $f^\vee: M^\vee \to B$，使得在 $B$ 的某个 Zariski 开集 $U$ 上，$M_U$ 和 $M^\vee_U$ 是互为对偶的阿贝尔簇（$M^\vee_U \cong \text{Pic}^0(M_U)$）。
• 公理 B（全支撑）：$Rf_* \mathbb{Q}_M$ 和 $Rf^\vee_* \mathbb{Q}_{M^\vee}$ 的分解定理中，所有移位后的简单 perverse 层的支撑集均为全空间 $B$。这通常要求纤维化是 $\delta$-正则的。
• 公理 C（庞加莱丛的延拓）：存在相对积 $M^\vee \times_B M$ 上的对象 $P \in D^b\text{Coh}(M^\vee \times_B M)$，它是 $U$ 上庞加莱线束的延拓，且存在逆对象 $P^{-1}$，使得 Fourier-Mukai 变换 $F_P$ 和 $F_{P^{-1}}$ 构成互逆等价。
• 公理 C+（良好的延拓性）：对于无穷多个整数 $N \ge 1$，对象 $P^{-1} \circ P^{\otimes N}$ 和 $P^{\otimes N} \circ P^{-1}$ 的支撑集在 $M^\vee \times_B M^\vee$ 和 $M \times_B M$ 中的余维数均为 $g$。这是阿贝尔簇中“乘以 $N$"映射性质的“穷人的替代品”。
• 公理 D（卷积的良好延拓）：定义了一个卷积核 $K$，其支撑集在 $M^\vee \times_B M^\vee \times_B M^\vee$ 中余维数为 $g$，且其纯余维数 $g$ 的分量恰好是乘法映射图的闭包。这保证了在 $M^\vee$ 上存在良好的卷积结构。

2.2 核心工具：Fourier 变换

利用对象 $P$ 和 $P^{-1}$ 定义 Fourier 变换：
$$F: Rf^\vee_* \mathbb{Q}_{M^\vee}[-] \to Rf_* \mathbb{Q}_M[-], \quad F^{-1}: Rf_* \mathbb{Q}_M[-] \to Rf^\vee_* \mathbb{Q}_{M^\vee}[-]$$
这些变换不仅联系了两个纤维化的上同调，还刻画了分解定理的分量和 perverse 滤过。

3. 主要结果

3.1 分解定理与 Motivic 分解

• 定理 3.2：对于对偶可解阿贝尔纤维化 $f: M \to B$：
  1. Motivic 分解存在：相对 Chow 动机 $h(M)$ 可以分解为 $\bigoplus h_i(M)$，且该分解与杯积（cup-product）兼容。这证明了 Corti-Hanamura 猜想对于此类纤维化成立。
  2. 乘法性：Perverse 截断函子是乘法的。即 $P_i H^*(M) \cup P_j H^*(M) \subset P_{i+j} H^*(M)$。
  3. 代数同构：$M$ 的上同调代数（带杯积）与 $M^\vee$ 的某种移位上同调代数（带由 $[\Gamma_{\text{mult}}]$ 诱导的卷积积）同构。

3.2 Perverse 滤过与 Chern 类的关系 (P = C)

• 定理 3.7：利用 Fourier 变换，证明了 $M$ 的 pervers 滤过 $P_i H^*(M)$ 与 Chern 分级密切相关。具体地，Fourier 变换的像包含在相应的 pervers 滤过层中。
• 推论：这为 P = C 猜想（Perverse 滤过位置由 Chern 类决定）提供了证明框架。该结果被应用于：
  • 证明 Hitchin 系统的 P = W 猜想。
  • 证明 Le Potier 模空间上的 P = C 猜想。

3.3 内在上同调环 (Intrinsic Cohomology Ring)

• 定理 3.9：如果两个阿贝尔纤维化 $f_1: M_1 \to B$ 和 $f_2: M_2 \to B$ 共享同一个对偶纤维化 $f^\vee$，那么它们的分次 pervers 上同调环（associated graded cohomology ring）是同构的。
• 意义：这意味着虽然 $M_1$ 和 $M_2$ 的上同调环本身可能不同（依赖于紧致化或稳定性条件的选择），但它们的“分次”版本是内蕴的（intrinsic），独立于具体的几何实现。这为通用紧致化雅可比簇（Universal fine compactified Jacobians）定义了内在的上同调环结构。

4. 关键应用与实例

论文列举了多个满足对偶可解条件的几何实例，展示了理论的广泛适用性：

1. 紧致化雅可比纤维化 (Compactified Jacobians)：
   • 对于整局部平面曲线（integral locally planar curves）的相对紧致化雅可比簇 $J_C \to B$，它们自身即是对偶可解的（自对偶）。
   • 应用：证明了 Maulik-Yun 提出的 pervers 滤过的乘法性，推广了 Oblomkov-Yun 关于有理曲线奇异点的结果。
2. 通用紧致化雅可比簇 (Universal Fine Compactified Jacobians)：
   • 在 Deligne-Mumford 模空间 $\mathcal{M}_{g,n}$ 上，对于非退化稳定性条件 $\phi$，通用紧致化雅可比簇 $J^\phi_{g,n}$ 是对偶可解的。
   • 应用：证明了其分次上同调环不依赖于稳定性条件 $\phi$ 的选择（定理 3.9）。
3. 抛物线 Hitchin 系统 (Parabolic Hitchin Systems)：
   • 标准的 Hitchin 系统通常不满足全支撑公理（Axiom B），但抛物线 Hitchin 系统（带有通一般残差）满足对偶可解条件。
   • 应用：通过抛物线情形，利用邻近/消失循环技术（nearby/vanishing cycles）证明了标准 Hitchin 系统的 Motivic 分解猜想和 P=W 猜想。
4. 拉格朗日纤维化 (Lagrangian Fibrations)：
   * 论文讨论了拉格朗日纤维化作为对偶可解纤维化的候选者，并提出了关于其 Chern 类位于特定 pervers 滤过层中的猜想（Conjecture 3.11）。

5. 意义与贡献

1. 理论框架的构建：成功地将阿贝尔簇的优美结构（Fourier 变换、Motivic 分解、乘法性）推广到了具有奇异纤维的更广泛几何对象中。
2. 解决长期猜想：为朗兰兹纲领相关的 P=W 猜想、代数几何中的 P=C 猜想以及 Motivic 分解猜想提供了统一的证明路径。
3. 揭示深层结构：
   • 揭示了对偶性在理解奇异纤维化拓扑结构中的核心作用：即使只关心 $M$，引入其对偶 $M^\vee$ 也是必要的。
   • 建立了Chern 类与Perverse 滤过之间的精确对应关系。
   • 定义了内在上同调环，解决了紧致化选择带来的非唯一性问题，表明分次结构是几何对象的本质属性。
4. 方法论创新：通过引入“公理化”的方法（Axioms A-D），特别是利用 $\delta$-正则性和 Fourier 变换的代数性质，绕过了直接处理奇异纤维的困难，将复杂的几何问题转化为可计算的代数对应问题。

综上所述，这篇论文不仅是对 Ngô 工作的自然延伸，更是连接朗兰兹纲领、代数几何（模空间、纤维化）和表示论（Hitchin 系统）的重要桥梁，为研究高维代数簇的拓扑和上同调结构提供了强有力的新工具。