Lefschetz filtration and Perverse filtration on the compactified Jacobian

本文证明了对于具有平面奇点的复积分曲线，其紧致化雅可比簇上由某个丰沛除子定义的莱夫谢茨滤过与通过嵌入光滑族得到的 perverse 滤过互为对偶滤过，从而证实了 Maulik-Yun 的猜想。

要点

这篇文章听起来非常深奥，充满了“李夫谢茨（Lefschetz）”、“奇异（Perverse）”、“雅可比（Jacobian）”等数学黑话。但如果我们把它想象成一个关于**“如何从不同角度看清一个复杂物体”**的故事，就会变得有趣得多。

想象一下，你面前有一个形状非常奇怪、甚至有点破损的陶罐（这就是数学中的“紧化雅可比簇”，记作 $J$）。这个陶罐是由一条有裂痕的曲线（$C$）生成的。数学家们想知道这个陶罐的“形状结构”（也就是它的上同调群 $H^*(J)$）。

为了看清这个陶罐，作者姚远（Yao Yuan）在文章中介绍了两种完全不同的“观察滤镜”，并证明了一个惊人的事实：这两种滤镜看到的景象，虽然看起来完全相反，但实际上描述的是同一个真理。

以下是用通俗语言和比喻对这篇文章的解读：

1. 两个观察滤镜（两种过滤方式）

想象你要给这个陶罐拍照片，但你手里有两个特殊的滤镜，它们会把陶罐的图像进行不同的“分层”处理。

滤镜 A：李夫谢茨滤镜（Lefschetz Filtration）——“重力分层”

• 原理：想象你在陶罐上放了一块沉重的石头（数学上叫“ ample divisor"，即一个特殊的几何量，记作 $\Theta$）。
• 效果：这块石头会压住陶罐。如果你从下往上数，被石头压得越深的部分，层级就越低；离石头越远的部分，层级越高。
• 比喻：就像把陶罐扔进泥潭，沉得越深的部分属于“底层”，浮在上面的属于“高层”。这是一种基于**“重量”和“位置”**的排序。
• 数学含义：这是通过“杯积”（Cup product，一种乘法运算）操作生成的。

滤镜 B：奇异滤镜（Perverse Filtration）——“透视分层”

• 原理：这个滤镜比较“刁钻”（Perverse 在数学里是个专有名词，不是贬义，指它不按常理出牌）。它不是看陶罐本身，而是看陶罐是如何被制造出来的。
• 效果：作者把这条有裂痕的曲线 $C$ 想象成是某个大工厂（$B$）生产的一系列产品中的一员。他观察整个生产线，然后看这个特定的陶罐 $J$ 在生产线中处于什么位置。
• 比喻：就像你不仅看陶罐本身，还看它是从哪条流水线下来的、经历了多少道工序。这种分层方式关注的是**“结构的复杂性”和“生成的历史”**。
• 数学含义：这是通过“分解定理”（Decomposition Theorem）生成的，把复杂的几何对象拆解成更简单的“奇异层”。

2. 核心冲突与猜想

在数学界，有一个著名的猜想（由 Maulik 和 Yun 提出）：

“重力分层”（李夫谢茨）和“透视分层”（奇异）应该是完全相反的。

这就好比你用“重量”给书分类（重的在下，轻的在上），结果发现用“出版年份”分类（老的在下，新的在上）时，这两套顺序竟然完美地互补：

• 如果某样东西在“重量滤镜”下是最底层的，那它在“透视滤镜”下就是最顶层的。
• 如果它在“重量滤镜”下是中间层，那它在“透视滤镜”下也是中间层，但方向是反的。

这就叫**“相反”（Opposite）**。

3. 作者做了什么？（破解谜题）

姚远在这篇文章里，专门针对这种有裂痕的陶罐（带平面奇点的曲线 $C$ 的紧化雅可比簇），证明了上述猜想是对的。

他是怎么做到的呢？他用了三个关键工具：

1. 傅里叶变换（Fourier Transform）——“魔法镜子”

   • 在平滑的世界里，傅里叶变换就像一面镜子，能把“位置”和“频率”互换。
   • 但在有裂痕的陶罐上，普通的镜子会碎掉。作者利用一种叫**“双变理论”（Bivariant Theory）**的高级数学工具，重新定义了一面“特制镜子”。
   • 这面镜子能把“李夫谢茨滤镜”看到的图像，完美地翻转成“奇异滤镜”看到的图像。

2. $sl_2$ 三重奏（$sl_2$-triple）——“旋转陀螺”

   • 作者发现，这两个滤镜背后其实隐藏着一种对称性，就像物理学中的角动量守恒。
   • 他构造了两个操作（$e$ 和 $f$），就像陀螺的两个旋转轴。这两个轴加上它们的“对立面”，组成了一个完美的数学结构（$sl_2$ 代数）。
   • 这个结构就像是一个旋转陀螺，无论你怎么转（用哪个滤镜看），陀螺的核心结构（特征值分解）是不变的，只是观察的角度（层级）变了。

3. Rennemo 的分解图

   • 作者引用了另一位数学家 Rennemo 的工作，把陶罐的图像拆解成一个个独立的“积木块”（$D_k$）。
   • 他发现，“李夫谢茨滤镜”是把积木从下往上堆（$k$ 越大越靠下），而“奇异滤镜”是把积木从上往下堆（$k$ 越小越靠下）。
   • 因为积木的总数是固定的，所以这两种堆法必然是完全相反的。

4. 结论：为什么这很重要？

• 统一了视角：以前数学家们觉得这两种看世界的方法（几何的 vs. 拓扑的）是割裂的。这篇文章证明了它们其实是一枚硬币的两面。
• 解决了难题：对于有裂痕的曲线（这在现实和理论中都很常见），以前很难定义这种“相反”关系。作者通过引入“双变理论”这把新钥匙，成功打开了这个锁。
• 验证了猜想：Maulik-Yun 的猜想被证实了。这意味着我们在研究这种复杂几何对象时，可以随意切换这两种视角，因为它们给出的信息是等价的，只是方向相反。

总结

这就好比你在研究一个复杂的迷宫：

• 李夫谢茨滤镜告诉你：从入口走，哪条路是“深”的，哪条路是“浅”的。
• 奇异滤镜告诉你：从出口看，哪条路是“老”的，哪条路是“新”的。
• 姚远的发现：如果你把“深”和“老”对应起来，你会发现最深的路其实就是最老的路，而且这种对应关系是完美的、可预测的。

这篇文章就是用一种极其精妙的数学语言（傅里叶变换、双变理论），证明了这种**“深度”与“历史”的完美对称性**，即使是在那个“有裂痕的陶罐”（奇异曲线）上，这种对称性依然坚不可摧。

技术摘要

这是一篇关于代数几何中**紧化雅可比簇（Compactified Jacobian）上同调群结构的论文。作者姚远（Yao Yuan）证明了由 Maulik 和 Yun 提出的一个猜想，即紧化雅可比簇上的勒让德滤过（Lefschetz filtration）与奇异滤过（Perverse filtration）**是互为“对立”的（opposite）。

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

1. 研究背景与问题 (Problem)

• 研究对象：设 $C$ 是一个具有平面奇点（planar singularities）的复整曲线，$J$ 是其紧化雅可比簇（parametrizing rank 1 torsion free sheaves）。
• 核心对象：研究 $J$ 的上同调群 $H^*(J)$ 上的两种滤过结构：
  1. 勒让德滤过 (Lefschetz filtration, $W_\bullet$)：由 $J$ 上的某个丰沛除子类 $\Theta$（广义 theta 除子）的杯积（cup product）诱导的幂零算子 $L_\omega$ 所定义的滤过。在光滑情形下，这对应于经典的硬勒让德定理。
  2. 奇异滤过 (Perverse filtration, $P_\bullet$)：通过将 $C$ 嵌入到一个光滑曲线族 $C \to B$ 中，使得相对紧化雅可比簇 $f: \mathcal{J} \to B$ 也是光滑的。根据分解定理（Decomposition Theorem），$Rf_* \mathbb{Q}_\mathcal{J}$ 分解为移位后的奇异上同调层。限制在纤维 $J$ 上得到的滤过即为奇异滤过。
• 待解决问题：Maulik 和 Yun 猜想，对于具有平面奇点的曲线，$J$ 上的勒让德滤过 $W_\bullet$ 与奇异滤过 $P_\bullet$ 是互为对立的（opposite）。即，如果 $W_k$ 是第 $k$ 级勒让德滤过，$P_{\le m}$ 是第 $m$ 级奇异滤过，则当 $m+k < 2g$ 时，$W_k \cap P_{\le m} = 0$。

2. 方法论 (Methodology)

作者采用了一种结合Rennemo 的分解理论与**双变分理论（Bivariant Theory）及傅里叶变换（Fourier Transform）**的策略。

• Rennemo 的分解：引用 Rennemo 的结果，将 $H^*(J)$ 分解为直和 $\bigoplus D_k H^*(J)$。该分解对应于奇异滤过的分裂（$P_{\le m} = \bigoplus_{k \le m} D_k$）。作者的目标是证明勒让德算子 $e$（由 $\Theta$ 诱导）在这个分解下具有特定的权重性质。
• 处理奇异性：由于 $C$ 和 $J$ 可能是奇异的，经典的傅里叶变换定义（基于线丛的核）不再直接适用。
  • 作者利用 Arinkin 构造的庞加莱层（Poincaré sheaf） $\mathcal{P}$（这是一个最大 Cohen-Macaulay 层），它诱导了 $J$ 的自对偶性。
  • 引入双变分理论（Bivariant Theory）（基于 Fulton 的相交理论），在奇异情形下严格定义傅里叶变换算子 $\mathcal{F}$ 及其逆 $\mathcal{F}^{-1}$。这解决了在奇异空间上定义上同调类乘积和推回的问题。
• 算子构造：
  • 定义算子 $e: H^*(J) \to H^*(J)$ 为与 $\Theta$ 的交积（对应勒让德算子）。
  • 定义算子 $f = -\mathcal{F} \circ e \circ \mathcal{F}^{-1}$。
  • 目标是证明 $(e^\vee, [e^\vee, f^\vee], f^\vee)$ 构成一个 $\mathfrak{sl}_2$ 三元组，且其特征值分解与 Rennemo 的 $D$-分解一致。

3. 关键贡献与主要结果 (Key Contributions & Results)

3.1 傅里叶变换的严格定义

在奇异曲线情形下，作者利用双变分理论构建了 $H^*(J)$ 上的傅里叶变换 $\mathcal{F}$。

• 证明了 $\mathcal{F}$ 是 $H^*(J)$ 上的同构。
• 证明了 $\mathcal{F}$ 的逆 $\mathcal{F}^{-1}$ 可以通过对偶庞加莱层 $\mathcal{P}^\vee$ 定义，且 $\mathcal{F} \circ \mathcal{F}^{-1} = \text{id}$。

3.2 $\mathfrak{sl}_2$ 表示结构的建立

作者证明了由勒让德算子 $e$（及其对偶 $e^\vee$）和通过傅里叶变换定义的算子 $f$ 生成的代数结构：

• 定理 1.3 / 推论 3.7：$(e^\vee, [e^\vee, f^\vee], f^\vee)$ 在 $H^*(J)$ 上构成一个 $\mathfrak{sl}_2$ 三元组。
• 该 $\mathfrak{sl}_2$ 表示的特征值分解与 Rennemo 的 $D$-分解 $\bigoplus D_k H^*(J)$ 完全重合。具体来说，$D_k H^*(J)$ 是算子 $H = [e^\vee, f^\vee]$ 的特征值为 $k - g$ 的特征子空间。

3.3 滤过的对立性证明

基于上述 $\mathfrak{sl}_2$ 结构，作者得出了主要结论：

• 勒让德滤过：$W_k(H^*(J)) = \bigoplus_{j \ge 2g-k} D_j H^*(J)$。
• 奇异滤过：$P_{\le m} H^*(J) = \bigoplus_{j \le m} D_j H^*(J)$。
• 对立性：由于 $W_k$ 取 $j \ge 2g-k$ 的部分，而 $P_{\le m}$ 取 $j \le m$ 的部分，当 $m + k < 2g$ 时，这两个子空间的交集为 0。
• 结论：这直接证明了 Maulik-Yun 猜想（Conjecture 2.17 in [8]），即对于具有平面奇点的复曲线，勒让德滤过与奇异滤过是互为对立的。

3.4 辅助引理与计算

• 证明了庞加莱层在希尔伯特概型（Hilbert scheme）上的拉回性质（Proposition 2.9）。
• 利用双变分理论计算了算子 $\mu_-[C]$ 与傅里叶变换及 $\Theta$ 除子之间的交换关系（Proposition 3.9），这是证明 $\mathfrak{sl}_2$ 关系的关键步骤。
• 在附录 B 中，利用奇点解消（resolution of singularities）和混合霍奇理论（mixed Hodge theory）证明了关键命题 2.4，即某些陈类在特定维数下为零。

4. 意义与影响 (Significance)

1. 解决重要猜想：该论文成功解决了 Maulik 和 Yun 关于紧化雅可比簇上两种自然滤过结构的对立性猜想，这是代数几何与表示论交叉领域的一个重要进展。
2. 推广经典理论：将经典的光滑曲线雅可比簇上的勒让德理论推广到了具有平面奇点的奇异曲线情形。这展示了即使在空间奇异的情况下，通过引入庞加莱层和双变分理论，依然可以建立类似 $\mathfrak{sl}_2$ 的对称结构。
3. 方法论创新：论文展示了如何有效地结合双变分理论（处理奇异空间上的相交和推回）与傅里叶 - 穆凯变换（Fourier-Mukai transform）来处理非光滑模空间的上同调问题。这种方法论对于研究其他奇异模空间（如希格斯丛模空间等）具有参考价值。
4. 深化对 $P=W$ 猜想的理解：勒让德滤过与奇异滤过的对立性类似于 $P=W$ 猜想（Perverse filtration equals Weight filtration）中的对偶关系，这一结果加深了对非阿贝尔霍奇理论（Non-abelian Hodge theory）在奇异情形下行为的理解。

总结

姚远的这篇论文通过构建奇异情形下的傅里叶变换算子，并利用双变分理论严格处理相交积，成功证明了紧化雅可比簇上的勒让德滤过与奇异滤过的对立性。这不仅证实了 Maulik-Yun 猜想，也为研究奇异代数簇的上同调结构提供了强有力的工具。