[论文解读] Triangle varieties and surface decomposition of hyper-Kähler manifolds

Claire Voisin|arXiv (Cornell University)|Oct 28, 2018

Algebraic Geometry and Number Theory参考文献 23被引用 4

一句话总结

本文引入了射影超凯勒流形的曲面可分解性概念，表明此类分解——其中全纯2-形式从曲面乘积上拉回——可推出博伊莱-富久利公式，并为博伊莱的弱分裂猜想提供几何洞察。关键结果表明，曲面可分解性将弱分裂性质简化为检查尼尔森格拉姆中与皮卡德格拉姆正交的除子的高阶幂的成比例性，特别是对与皮卡德格拉姆正交的类而言。

ABSTRACT

We introduce and study the notion of "surface decomposable" variety, and discuss the possibility that any projective hyper-Kähler manifold is surface decomposable, which would produce new evidence for Beauville's weak splitting conjecture. We show that surface decomposability relates to the Beauville-Fujiki relation, a constraint on the cohomology ring of the variety, and that general varieties with $h^{2,0} ot=0$ are not surface decomposable. We also formalize the notion of triangle variety that is useful to produce surface decomposition. We show the existence of these geometric structures on most explicitly constructed classes of projective hyper-Kähler manifolds of Picard number $1$.

研究动机与目标

• 将曲面可分解性的概念形式化并研究其作为理解超凯勒流形上同调与尼尔森格拉姆理论性质的几何机制。
• 研究所有射影超凯勒流形是否均为曲面可分解的，因为这将支持博伊莱的弱分裂猜想。
• 建立曲面可分解性与超凯勒流形上同调环上博伊莱-富久利公式的联系。
• 对显式类别的超凯勒流形（特别是皮卡德数为1的流形，包括希尔伯特方案和LSV四fold）验证曲面可分解性。
• 将弱分裂性质简化为对与皮卡德格拉姆正交的除子的高阶幂的尼尔森格拉姆条件。

提出的方法

• 通过泛余射影 φ: Γ → X 和 ψ: Γ → S₁ × … × Sₙ 定义曲面可分解性，使得 φ*σ_X = ψ*(∑ pr_i*σ_i)，其中 σ_i 为曲面 S_i 上的全纯2-形式。
• 利用霍奇理论证明，曲面可分解性意味着 H²(X, ℚ)_tr 中所有超越类也满足相同关系。
• 证明在莫尔曼-泰特群的温和条件下，曲面可分解性蕴含博伊莱-富久利公式 ∫_X α^{2n} = λ q(α)^n。
• 为K3与阿贝尔曲面的点态希尔伯特方案以及通过三角形簇结构的LSV四fold J(Y) 构造显式曲面分解。
• 利用相对和映射 μ₅: Z×_B…×_B Z → J(Y) 在基空间 B = (ℙ⁵)* 上，其中 Z 为余维4的代数共轭子簇，以实现曲面分解。
• 利用有理映射 f: Z → Σ 及其五重积，证明 μ₅*σ_J(Y) = ∑ pr_i*σ_Σ，从而构造出所需的曲面分解。

实验结果

研究问题

• RQ1 每个射影超凯勒流形是否都能实现曲面可分解，即能否表示为从曲面乘积上拉回的2-形式之和？
• RQ2 曲面可分解性是否在超凯勒流形的上同调环上蕴含博伊莱-富久利公式？
• RQ3 曲面可分解性在尼尔森格拉姆中在多大程度上蕴含弱分裂性质，特别是对与皮卡德格拉姆正交的除子而言？
• RQ4 能否为一般皮卡德数为1的超凯勒流形（如LSV四fold J(Y)）显式构造曲面分解？
• RQ5 弱分裂性质是否等价于对除子 D ∈ NS(X_t)^⊥Λ，D^{2n} 在 CH₀(X_t) 中与0-循环成比例？

主要发现

• 在莫尔曼-泰特群条件成立的前提下，曲面可分解性在流形 X 的上同调环上蕴含博伊莱-富久利公式 ∫_X α^{2n} = λ q(α)^n。
• h^{2,0} ≠ 0 的一般射影代数簇在维度 2n ≥ 4 时并非曲面可分解的，表明该条件对高维情形具有强限制性。
• LSV四fold J(Y) 通过在余维4的代数共轭子簇 Z 上的五重和映射 μ₅ 实现曲面可分解，且满足 μ₅*σ_J(Y) = ∑ pr_i*σ_Σ。
• J(Y) 的曲面可分解性通过有理映射 f: Z → Σ 及其在基空间 B = (ℙ⁵)* 上的相对和映射构造，实现了拉回条件的几何实现。
• 对于 NS(X_t)^⊥Λ 中的除子，弱分裂性质成立当且仅当 D^{2n} 在 CH₀(X_t) 中与0-循环成比例，从而将该猜想简化为高阶尼尔森格拉姆理论条件。
• 希尔伯特方案与LSV四fold的曲面可分解性构造确认了此类结构在关键例子中的存在性，即使在形变至皮卡德数为1后依然成立。