[论文解读] Perverse filtrations, Hilbert schemes, and the P=W conjecture for parabolic Higgs bundles

Junliang Shen, Zili Zhang|arXiv (Cornell University)|Oct 12, 2018

Algebraic Geometry and Number Theory被引用 5

一句话总结

该论文通过在椭圆曲面上的点的希尔伯特概形上利用 perverse 膜滤子分析典范类，证明了在任意秩下关于仿射 Dynkin 图 $\tilde{A}_0$、$\tilde{D}_4$、$\tilde{E}_6$、$\tilde{E}_7$ 和 $\tilde{E}_8$ 的抛物 Higgs 纤维丛的 P=W 猜想。关键结果建立了模空间上 cohomology 的 perverse 滤子与 Hodge 滤子之间的典范同构，确认了这些情形下的 P=W 猜想，并导出了特征簇的混合 Hodge 数的闭合公式。

ABSTRACT

We prove de Cataldo-Hausel-Migliorini's P=W conjecture in arbitrary rank for parabolic Higgs bundles labeled by the affine Dynkin diagrams $ ilde{A}_0$, $ ilde{D}_4$, $ ilde{E}_6$, $ ilde{E}_7$, and $ ilde{E}_8$. Our proof relies on the study of the tautological classes on the Hilbert scheme of points on an elliptic surface with respect to the perverse filtration.

研究动机与目标

• 在特定仿射 Dynkin 图上，建立任意秩下抛物 Higgs 纤维丛的 P=W 猜想。
• 通过典范类描述椭圆曲面上点的希尔伯特概形上 cohomology 的 perverse 滤子。
• 证明抛物 Higgs 纤维丛模空间上的典范类位于正确的 perverse 滤子层级，从而确认 P=W 同构。
• 为五类抛物 Higgs 纤维丛的特征簇导出混合 Hodge 数的闭合公式。

提出的方法

• 分析椭圆曲面 $S$ 上点的希尔伯特概形 $S^{[n]}$ 的 cohomology 上的 perverse 滤子，其中 $S$ 是纤维化在曲线 $C$ 上的曲面。
• 利用全息子概形 $Z_n \subset S^{[n]} \times S$ 定义典范类 $c_k(\mathcal{O}_{Z_n})$，并证明其像位于 $P^{\bar{\pi}^{[n]}}_k H^{2k}(S^{[n]} \times S, \mathbb{Q})$ 中。
• 应用 perverse 滤子的乘法性质，证明典范类生成 cohomology 环并尊重该滤子。
• 构建模空间 $M_n$ 的 cohomology 的典范分解为 perverse 片段 $G_i H^*(M_n, \mathbb{Q})$。
• 通过非交换 Hodge 定理，将模空间 $M_n$ 上的典范类 $\int_\alpha c_k(\mathcal{E})$ 与 Hodge 滤子中的类联系起来。
• 通过证明 $\bigoplus_{k,d} G_k H^d(M_n, \mathbb{Q})$ 与 $\bigoplus_{k,d} {}^k\mathrm{Hdg}^d(M_n, \mathbb{Q})$ 之间的典范同构，建立 P=W 同构。

实验结果

研究问题

• RQ1 P=W 猜想是否在仿射 Dynkin 图 $\tilde{A}_0$、$\tilde{D}_4$、$\tilde{E}_6$、$\tilde{E}_7$ 和 $\tilde{E}_8$ 上对任意秩的抛物 Higgs 纤维丛成立？
• RQ2 椭圆曲面上点的希尔伯特概形上的典范类如何表现于 perverse 滤子之下？
• RQ3 抛物 Higgs 纤维丛模空间 cohomology 的 perverse 滤子能否通过典范生成元显式描述？
• RQ4 相应特征簇的混合 Hodge 数结构是怎样的？

主要发现

• 在抛物 Higgs 纤维丛的 $\tilde{A}_0$、$\tilde{D}_4$、$\tilde{E}_6$、$\tilde{E}_7$ 和 $\tilde{E}_8$ 标记下，P=W 猜想已在任意秩下被证明。
• 希尔伯特概形 $S^{[n]} \times S$ 上的典范类 $c_k(\mathcal{O}_{Z_n})$ 位于 $P^{\bar{\pi}^{[n]}}_k$ 的第 $k$ 个部分。
• 模空间 $M_n$ 的 cohomology 环 $H^*(M_n, \mathbb{Q})$ 由典范类 $\int_\alpha c_k(\mathcal{E})$ 生成，其位于与对应 Hodge 理论类相同的 perverse 滤子层级。
• 建立了 $\bigoplus_{k,d} G_k H^d(M_n, \mathbb{Q})$ 与 $\bigoplus_{k,d} {}^k\mathrm{Hdg}^d(M_n, \mathbb{Q})$ 之间的典范同构，从而确认了 P=W 猜想。
• 获得了五类家族中特征簇的混合 Hodge 多项式生成系列的闭合公式，与数值数据及 Hausel、Letellier 和 Rodriguez-Villegas 的猜想一致。
• 通过 P=W 同构计算了特征簇的混合 Hodge 数，为这些情形下其系统性计算提供了一种方法。