[论文解读] Low degree Hodge theory for klt varieties

Martin Schwald|arXiv (Cornell University)|Dec 6, 2016

Algebraic Geometry and Number Theory参考文献 9被引用 3

一句话总结

本文证明，对于具有 klt 奇点的复射影代数簇，其一阶与二阶奇异上同调群装备有纯霍奇结构，其霍奇分量微同构于可微分形式的空间。本文证明了 klt 代数簇上的莱夫谢茨 (1,1) 定理与弱霍奇-罗宾逊双线性关系，通过可微分形式与奇点解析方法，将经典霍奇理论推广至奇异情形。

ABSTRACT

If X is a complex projective variety with klt singularities, then the mixed Hodge structures on the first two singular cohomology groups are pure. We describe the pieces of the Hodge decomposition in terms of reflexive differential forms. Applications include a Lefschetz (1,1) Theorem and a weak analogue of the Hodge-Riemann bilinear relations for klt varieties.

研究动机与目标

• 将经典霍奇理论推广至具有 klt 奇点的奇异复射影代数簇。
• 以可微分形式 $\mathrm{H}^1(X,\mathbb{C})$ 和 $\mathrm{H}^2(X,\mathbb{C})$ 的霍奇分解进行描述，其中 $\Omega^{[p]}_X$ 为可微分形式。
• 为 klt 代数簇建立莱夫谢茨 (1,1) 定理，将 $\mathrm{H}^{1,1}(X)$ 中的整同调类识别为线丛的一阶陈类。
• 证明 klt 代数簇的弱霍奇-罗宾逊双线性关系的类比，限制于一、二阶形式。

提出的方法

• 利用 klt 代数簇上可微分形式的延拓定理，将光滑点上的全纯形式提升至整个代数簇。
• 应用奇点解析与拉回函子，将 $X$ 上的上同调类与解析 $\widetilde{X}$ 上的类关联起来。
• 在光滑流形上应用局部霍奇-罗宾逊双线性关系，通过拉回推导奇异代数簇上的全局不等式。
• 通过上同调类与一个充分正类 $a$ 及体积形式的上积，定义一个上同调上的共轭线性形式 $\psi_{X,a}$。
• 证明当拉回至解析时，霍奇-罗宾逊形式的正性在 $\mathrm{H}^{p,q}(X)$ 的本原部分上成立。
• 利用典范同构 $\kappa_{p0}: \mathrm{H}^{p,0}(X) \to \mathrm{H}^0(X, \Omega^{[p]}_X)$ 与 $\kappa_{0p}: \mathrm{H}^{0,p}(X) \to \mathrm{H}^p(X, \mathcal{O}_X)$，将霍奇分量与可微分形式关联起来。

实验结果

研究问题

• RQ1 对于具有 klt 奇点的代数簇 $X$，其 $\mathrm{H}^1(X,\mathbb{C})$ 与 $\mathrm{H}^2(X,\mathbb{C})$ 上的霍奇结构如何分解？
• RQ2 莱夫谢茨 (1,1) 定理能否推广至 klt 奇点情形？
• RQ3 在奇异的 klt 情形下，是否存在霍奇-罗宾逊双线性关系的有意义类比？
• RQ4 可微分形式 $\Omega^{[p]}_X$ 如何与 klt 代数簇上同调群的霍奇分解相关联？

主要发现

• 当 $X$ 具有 klt 奇点时，$\mathrm{H}^p(X,\mathbb{C})$ 上的霍奇结构对 $p=1,2$ 是权重为 $p$ 的纯霍奇结构。
• 对 $p=1,2$，存在典范同构 $\kappa_{p0}: \mathrm{H}^{p,0}(X) \to \mathrm{H}^0(X, \Omega^{[p]}_X)$ 与 $\kappa_{0p}: \mathrm{H}^{0,p}(X) \to \mathrm{H}^p(X, \mathcal{O}_X)$。
• 莱夫谢茨 (1,1) 定理对 klt 代数簇成立：$\mathrm{H}^{1,1}(X) \cap H^2(X,\mathbb{Z})$ 恰好由 $X$ 上线丛的一阶陈类组成。
• 对 klt 代数簇，弱霍奇-罗宾逊双线性关系成立：对 $\mathrm{H}^k(X,\mathbb{C})$ 的本原部分中非零的 $\alpha$，若其为 $\mathrm{H}^1(X,\mathbb{C})$ 与 $\mathrm{H}^2(X,\mathbb{C})$ 中类的上积，则有 $i^{p-q} \cdot \psi_{X,a}(\alpha,\alpha) > 0$。
• 该结果表明，任意不可约辛代数簇 $X$ 的非平凡纤维化必为拉格朗日纤维化，满足 $\dim B = \frac{1}{2}\dim X$ 且 $\rho(B) = 1$。