Hodge theory and Lagrangian fibrations on holomorphic symplectic manifolds

这是一篇由 Christian Schnell 撰写的关于**全纯辛流形（Holomorphic Symplectic Manifolds）上拉格朗日纤维化（Lagrangian Fibrations）的霍奇理论（Hodge Theory）**的学术论文。

该论文的主要目的是建立拉格朗日纤维化上霍奇理论的新结果，特别是证明了 Maulik、Shen 和 Yin 提出的两个著名猜想，并在不使用超凯勒（Hyperkähler）度量的情况下，展示了拉格朗日纤维化如何诱导出李代数 $\mathfrak{sl}_3(\mathbb{C})$（非紧情形）或 $\mathfrak{sl}_4(\mathbb{C})$（紧情形）的作用。

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

1. 研究背景与核心问题

• 研究对象：设 $M$ 是一个 $2n$ 维的全纯辛流形（Kähler 但不一定紧），$\pi: M \to B$ 是一个拉格朗日纤维化，其中 $B$ 是 $n$ 维复流形。一般纤维是 $n$ 维阿贝尔簇，但奇异纤维的结构非常复杂。
• 核心问题：
  1. Shen-Yin 对称猜想：Shen 和 Yin 提出，在拉格朗日纤维化中，由霍奇模（Hodge Modules）导出的复形 $G_{i,k}$ 与 $G_{k,i}$ 在导出范畴中是同构的（即 $G_{i,k} \cong G_{k,i}$）。这里的 $G_{i,k}$ 被称为“伪霍奇复形”（perverse-Hodge complexes），它们结合了纤维的上同调度（$i$）和全纯形式度（$k$）。
  2. Maulik-Shen-Yin 猜想：关于拉格朗日纤维化分解定理中的伪层（perverse sheaves）$P_k$ 与全纯 $(n+k)$-形式直接像 $R\pi_* \Omega^{n+k}_M$ 之间的深层联系。
  3. 李代数作用：在没有超凯勒度量的情况下，如何证明拉格朗日纤维化的上同调具有 $\mathfrak{sl}_3(\mathbb{C})$ 或 $\mathfrak{sl}_4(\mathbb{C})$ 的作用。

2. 方法论

论文采用了以下核心数学工具和方法：

• 霍奇模理论（Saito's Theory of Hodge Modules）：利用 Saito 的分解定理，将 $R\pi_* \mathbb{Q}_M[2n]$ 分解为霍奇模 $P_i$ 的直和。利用霍奇模的霍奇滤过（Hodge filtration）$F^\bullet$ 来构造复形 $G_{i,k} = \text{gr}^F_{-k} \text{DR}(P_i)[-i]$。
• BGG 对应（BGG Correspondence）：利用 Bernstein-Gelfand-Gelfand 对应，建立对称代数 $S_B = \text{Sym}(T_B)$ 上的分次模与全纯形式代数 $\Omega_B$ 上的分次模之间的等价性。这使得作者能够将 $P_i$ 的霍奇滤过结构与全纯形式的结构联系起来。
• 相对硬 Lefschetz 定理（Relative Hard Lefschetz Theorem）：
  • 利用凯勒形式 $\omega$ 诱导的相对硬 Lefschetz 定理（作用于 $P_i$）。
  • 利用全纯辛形式 $\sigma$ 诱导的辛相对硬 Lefschetz 定理（这是论文的一个新发现，仅在导出范畴中成立）。
• Weil 元素（Weil Elements）：利用辛形式 $\sigma$ 和凯勒形式 $\omega$ 诱导的 $SL_2(\mathbb{C})$ 表示中的 Weil 元素（类似于 Hodge 对偶算子），在导出范畴中构造复形之间的同构。
• Matsushita 定理：利用 Matsushita 关于 $R\pi_* \mathcal{O}_M$ 形式的定理，将纤维化的直接像与底流形 $B$ 上的形式联系起来。

3. 主要贡献与结果

A. 证明 Shen-Yin 对称猜想

论文证明了在导出范畴中，对于所有 $i, k$，复形 $G_{i,k}$ 与 $G_{k,i}$ 是同构的。

• 机制：这种对称性源于辛形式 $\sigma$ 诱导的“辛相对硬 Lefschetz 定理”。该定理表明，辛形式 $\sigma$ 诱导的映射 $\sigma_1: G_{i,-k} \to G_{i+k, k}[2k]$ 是同构。
• 几何解释：$G_{i,k}$ 可以排列在一个六边形网格上。凯勒形式 $\omega$ 的硬 Lefschetz 定理对应于六边形的一条对角线反射，而辛形式 $\sigma$ 的硬 Lefschetz 定理对应于另一条对角线反射。这两个反射生成了对称群 $S_3$（即 $\mathfrak{sl}_3(\mathbb{C})$ 的 Weyl 群），从而自然地导出了 $G_{i,k} \cong G_{k,i}$ 的对称性。

B. 建立全纯形式与伪层的精确联系（主定理）

论文建立了 $P_k$ 的霍奇滤过部分与 $R\pi_* \Omega^{n+k}_M$ 之间的精确对应关系：
$$\bigoplus_{k} G_{k,i}[i+k] \cong \bigoplus_{k} G_{i,k}[i+k]$$
更具体地说，论文证明了：

1. 从霍奇模 $P_i$ 出发，取霍奇滤过的伴随分次（associated graded），再通过 BGG 对应，得到一个 $\Omega_B$-模复形。
2. 从全纯形式 $R\pi_* \Omega^{n+i}_M$ 出发，取伪滤过（perverse filtration）的伴随分次，再利用 Matsushita 定理转化为 $\Omega_B$-模作用。
3. 结论：这两个过程得到的复形在导出范畴中是同构的。这可以表述为“取霍奇滤过的伴随分次”与“取伪滤过的伴随分次”是可交换的（$\text{gr}^F \circ \text{gr}^P \cong \text{gr}^P \circ \text{gr}^F$）。

C. 李代数 $\mathfrak{sl}_3(\mathbb{C})$ 和 $\mathfrak{sl}_4(\mathbb{C})$ 的作用

• 非紧情形：证明了所有复形 $G_{i,k}$ 的直和构成了李代数 $\mathfrak{sl}_3(\mathbb{C})$ 的一个表示。生成元由 $\omega_2$（凯勒形式诱导）和 $\sigma_1$（辛形式诱导）及其对偶算子组成。这些算子满足 Serre 关系。
• 紧情形：当 $M$ 和 $B$ 都是紧流形时，引入了底流形 $B$ 上的凯勒类 $\lambda$。这三个算子（$\omega_2, \sigma_1, \lambda$）共同作用，将表示提升为 $\mathfrak{sl}_4(\mathbb{C})$（同构于 $\mathfrak{so}_6(\mathbb{C})$）的作用。
• 意义：这推广了 Looijenga-Lunts 和 Verbitsky 关于不可约紧超凯勒流形的结果，且完全不依赖超凯勒度量的存在性。

D. 数值伪 = 霍奇对称性（Numerical Perverse = Hodge Symmetry）

利用上述结果，论文给出了紧全纯辛流形上“数值伪 = 霍奇”对称性的新证明（即 $H^j(B, G_{i,k}) \cong H^j(B, G_{k,i})$），同样不需要超凯勒度量。

4. 技术细节与证明策略

1. 构造辅助对象：作者构造了三个相关的复形 $G, G_v, G_f$，分别对应于 $\Omega_B$ 通过拉回形式 $\pi^*\beta$、向量场 $v(\beta)$ 和 $(0,1)$-形式 $f(\beta)$ 的作用。
2. Weil 元素桥梁：
   • 利用辛形式的 Weil 元素 $w_\sigma$ 证明 $G \cong G_v$（交换了形式作用与向量场作用）。
   • 利用凯勒形式的 Weil 元素 $w_\omega$ 证明 $G_v \cong G_f$（交换了向量场作用与 $(0,1)$-形式作用）。
3. Serre 关系的验证：通过计算算子的交换子（commutators），特别是验证 $[Y_{\omega_2}, Y_{\sigma_1}] = 0$ 等关键恒等式，证明了这些算子满足 $\mathfrak{sl}_3(\mathbb{C})$ 的 Serre 关系。
4. 紧化情形：在紧情形下，利用 $B$ 上的凯勒类 $\lambda$ 引入第三个 $SL_2(\mathbb{C})$ 作用，并验证其与其他两个作用的兼容性，从而得到 $\mathfrak{sl}_4(\mathbb{C})$ 结构。

5. 重要性与影响

• 去除了超凯勒度量的假设：这是该论文最重要的贡献之一。以往关于拉格朗日纤维化的许多深刻结果（如 Verbitsky 的 $\mathfrak{so}_6$ 作用）都依赖于流形具有超凯勒度量。本文证明了这些结构本质上是辛几何和霍奇理论的产物，即使在没有超凯勒度量的非紧或一般紧全纯辛流形上也成立。
• 统一了不同领域的猜想：将 Maulik-Shen-Yin 关于分解定理的猜想与 Shen-Yin 关于对称性的猜想统一在一个框架下，揭示了伪层（perverse sheaves）与全纯形式之间深刻的对偶性。
• 新的几何结构：揭示了拉格朗日纤维化上存在六边形（$\mathfrak{sl}_3$）或菱形十二面体（$\mathfrak{sl}_4$）的对称结构，这些结构仅在导出范畴中可见，为研究奇异纤维提供了新的代数工具。
• 应用：该理论直接适用于希钦纤维化（Hitchin fibration），为研究模空间的上同调提供了强有力的新工具。

总结来说，这篇论文通过结合霍奇模理论、BGG 对应和辛几何，在不需要超凯勒度量的情况下，彻底解决了拉格朗日纤维化上的一系列核心猜想，并揭示了其背后丰富的李代数对称结构。