[论文解读] P=W for Lagrangian fibrations and degenerations of hyper-Kähler manifolds

Andrew Harder, Zhiyuan Li+2 more|arXiv (Cornell University)|Aug 20, 2019

Geometry and complex manifolds参考文献 13被引用 9

一句话总结

本文建立了在超凯勒流形上的拉格朗日纤维化其上同调的病态过滤与同一流形的III型退化情形下的单值权过滤之间的直接对应关系，通过贝乌勒-鲍戈莫洛夫形式与对数单值作用诱导的 $\mathfrak{sl}_2$-三元组，证明了 $P_kH^*(M,\mathbb{Q}) = W_{2k}H^*_{\text{lim}}(\mathbb{Q})$。该结果在超凯勒几何背景下实现了 $P=W$ 猜想的几何实现。

ABSTRACT

We identify the perverse filtration of a Lagrangian fibration with the monodromy weight filtration of a maximally unipotent degeneration of compact hyper-Kähler manifolds.

研究动机与目标

• 在超凯勒流形上的拉格朗日纤维化背景下，建立 $P=W$ 猜想的几何实现。
• 将拉格朗日纤维化上同调的病态过滤与最大无单值退化情形下的单值权过滤相联系。
• 构造一个与原始流形形变等价的超凯勒流形的III型退化，使得其上同调通过极限混合霍奇结构得以识别。
• 证明由贝乌勒-鲍戈莫洛夫形式与对数单值作用生成的 $\mathfrak{sl}_2$-三元组，能同时分解病态过滤与单值过滤。

提出的方法

• 利用 $H^2(M,\mathbb{Q})$ 上的贝乌勒-鲍戈莫洛夫-富士沙克二次型，识别出相对正类 $\eta$ 与拉回类 $\beta$，满足 $q_M(\eta) = q_M(\beta) = 0$。
• 从上同调上的 $\mathfrak{so}(5,\mathbb{C})$-表示构造幂零算子 $N_{\beta,\rho} = [L_\beta, \Lambda_\rho]$，从而诱导出一个 $\mathfrak{sl}_2$-三元组。
• 应用雅可布森–莫罗佐夫定理，将 $N_{\beta,\rho}$ 提升为作用在 $H^*(M,\mathbb{Q})$ 上的 $\mathfrak{sl}_2$-三元组 $(L_N, H_N, \Lambda_N)$。
• 通过 $H_N$ 的作用识别出权分解 $W_m^d$，使得 $H_N|_{W_m^d} = m \cdot \mathrm{id}$。
• 通过权分解与 $\mathfrak{so}(5,\mathbb{C})$-表示，将病态过滤 $P_kH^d(M,\mathbb{Q})$ 与单值权过滤 $W_{2k}H^d_{\text{lim}}(\mathbb{Q})$ 进行匹配。
• 利用全局霍奇理论与扩展周期域中的幂零轨道，构造所需的III型退化 $f: \mathcal{M} \to \Delta$。

实验结果

研究问题

• RQ1 能否将超凯勒流形上拉格朗日纤维化的病态过滤与III型退化情形下的单值权过滤相匹配？
• RQ2 在超凯勒流形上拉格朗日纤维化的背景下，$P=W$ 猜想是否成立？
• RQ3 由贝乌勒-鲍戈莫洛夫形式与对数单值作用生成的 $\mathfrak{sl}_2$-三元组，如何与病态过滤及权过滤相关联？
• RQ4 是否存在一种几何构造，使得其极限混合霍奇结构与病态过滤相匹配？

主要发现

• 在上同调识别 $H^*(M,\mathbb{Q}) \cong H^*_{\text{lim}}(\mathbb{Q})$ 下，病态过滤 $P_kH^*(M,\mathbb{Q})$ 与单值权过滤 $W_{2k}H^*_{\text{lim}}(\mathbb{Q})$ 一致。
• 通过 $N_{\beta,\rho}$ 诱导的 $\mathfrak{sl}_2$-作用，有 $P_kH^*(M,\mathbb{Q}) = W_{2k}H^*_{\text{lim}}(\mathbb{Q}) = W_{2k+1}H^*_{\text{lim}}(\mathbb{Q})$ 成立。
• 退化 $f: \mathcal{M} \to \Delta$ 的构造通过扩展周期域中的幂零轨道实现，确保 $\mathcal{M}_t$ 与 $M$ 形变等价。
• 由 $N_{\beta,\rho}$ 诱导的 $\mathfrak{sl}_2$-三元组结构能同时分解病态过滤与单值过滤，提供统一的代数框架。
• 该结果恢复并重新诠释了文献[9, 定理0.2]中的“病态 = 霍奇”等式，即 $\dim_{\mathbb{Q}}\mathrm{Gr}_i^P H^{i+j}(M,\mathbb{Q}) = \dim_{\mathbb{C}}\mathrm{Gr}_i^F H^{i+j}(M,\mathbb{C})$。
• 病态过滤的乘法性由单值权过滤的乘法性推出，该结果基于福岛与斯廷布林克关于上积与权过滤的研究。