[论文解读] Hodge theory of degenerations, (II): vanishing cohomology and geometric applications

Matt Kerr, Radu Laza|arXiv (Cornell University)|Jun 6, 2020

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文通过分析孤立超曲面奇点的加权谱与消失上同调，推进了复代数簇退化情形下的霍奇理论，特别聚焦于 $k$-对数正则与 $k$-有理奇点。研究确立了谱最小值 $\sigma_f^{\text{min}} \geq 1+k$ 可表征 $k$-对数正则奇点，并证明双重悬垂作用使加权谱发生塔特定扭，从而在混合霍奇结构下得到 $V_{\Sigma^2 f} \cong V_f(-1)$。

ABSTRACT

We study the weighted spectrum and vanishing cohomology for several classes of isolated hypersurface singularities, and how they contribute to the limiting mixed Hodge structure of a smoothing. Applications are given to several types of singularities arising in KSBA and GIT compactifications and mirror symmetry, including nodes on odd-dimensional hypersurfaces, $k$-log-canonical and $k$-rational singularities, and singularities with Calabi-Yau tail.

研究动机与目标

• 发展孤立奇点在双有理几何与扇形几何中加权谱的系统性计算方法。
• 阐明消失上同调如何贡献于退化情形下的极限混合霍奇结构，尤其在非孤立奇点情形下。
• 通过谱不变量澄清克莱门斯-施密德序列与消失上同调正合序列中的歧义。
• 利用谱最小值 $\sigma_f^{\text{min}}$ 建立 $k$-对数正则与 $k$-有理奇点的精确判别准则。
• 将上述结果应用于 KSBA 与 GIT 紧化等几何背景，以及镜像对称。

提出的方法

• 利用布里施克恩–斯蒂恩布林克留数理论，从局部多项式计算加权谱 $\tilde{\sigma}_f$。
• 应用牛顿多面体的组合方法，通过公式 (5.2)–(5.5) 推导拟齐次奇点的谱不变量。
• 应用塞巴斯蒂安-汤姆公式，将悬垂的加权谱表示为卷积形式：$\tilde{\sigma}_{f \oplus g} = \tilde{\sigma}_f * \tilde{\sigma}_g$。
• 利用若尔当代数分解 $T = T^{\text{ss}} e^N$ 分解单值作用，并定义谱分量 $V_{f,\lambda}^{p,q}$。
• 将谱最小值 $\sigma_f^{\text{min}} = \min\{p + \lambda \mid V_{f,\lambda}^{p,q} \neq 0\}$ 作为奇点分类的关键不变量。
• 通过 CM 型分解的塔特定扭构造，将双悬垂 $\Sigma^2 f$ 解释为在 MHS 中满足 $V_{\Sigma^2 f} \cong V_f(-1)$。

实验结果

研究问题

• RQ1 加权谱 $\tilde{\sigma}_f$ 如何编码退化情形下极限混合霍奇结构的信息？
• RQ2 谱最小值 $\sigma_f^{\text{min}}$ 与孤立超曲面奇点的 $k$-对数正则或 $k$-有理性质之间的确切关系为何？
• RQ3 悬垂与基变换如何影响谱不变量及其产生的霍奇结构？
• RQ4 消失上同调 $V_f$ 在双重悬垂 $\Sigma^2$ 作用下如何变换？
• RQ5 关于 $k$-对数正则奇点的谱规则如何与霍奇理想与双有理几何中的已知结果相一致？

主要发现

• 具有纯 $K3$ 尾部的孤立拟齐次曲面奇点恰好为 14 个多尔加切夫奇点、6 个四边形奇点，以及两个三模奇点 $V_{15}$ 与 $N_{16}$。
• $k$-对数正则奇点由 $\sigma_f^{\text{min}} \geq 1 + k$ 表征，为该类奇点提供谱判别准则。
• 双重悬垂满足 $V_{\Sigma^2 f} \cong V_f(-1)$ 作为混合霍奇结构，且每个分量的谱发生 $[(1,2)]$ 的平移。
• 悬垂 $\Sigma_{(r)}f = f \oplus z^r$ 的加权谱为 $\tilde{\sigma}_{\Sigma_{(r)}f} = \sum_{\alpha,w} \sum_{i=1}^{r-1} m_{\alpha,w}[(\alpha + \frac{i}{r}, w + \langle \alpha \mid \frac{i}{r} \rangle)]$，其中 $\langle \alpha \mid \frac{i}{r} \rangle$ 依 $\alpha$ 的取值为 0、1 或 2。
• 对于 $k$-对数正则奇点，所有基变换 $t \mapsto t^r$ 均保持 $k$-有理性质；而非对数正则奇点仅当 $r < \frac{1}{1 - \sigma_f^{\text{min}}}$ 时才变为有理奇点。
• 当 $|\sigma_f| \cap \frac{1}{2}\mathbb{Z} = \emptyset$ 时，悬垂 $\Sigma f$ 实现了冯·盖门意义上的半扭，即通过 CM 型分解有 $V_{\Sigma f} \cong (V_f)_{\Phi,-\frac{1}{2}}$。