[论文解读] On the Beauville conjecture

Ulrike Rieß|arXiv (Cornell University)|Sep 11, 2014

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

一句话总结

本文建立了不可约对称形式簇的博维莱弱分裂性质（WSP）猜想与存在有理拉格朗日纤维化之间的联系，证明了所有 $K3^{[n]}$-型或同调等价于广义库默尔簇的不可约对称形式簇均满足 WSP。此外，本文将完整的 WSP 猜想简化为秩为二的诺伊曼数情形，极大地缩小了问题的范围。

ABSTRACT

We investigate Beauville's conjecture on the Chow ring of irreducible symplectic varieties. For special irreducible symplectic varieties we relate it to a conjecture on the existence of rational Lagrangian fibrations, which proves Beauville's conjecture in many new cases. We further apply the same techniques to reduce Beauville's conjecture to Picard rank two.

研究动机与目标

• 建立不可约对称形式簇中博维莱弱分裂性质（WSP）与有理拉格朗日纤维化存在性之间的联系。
• 证明 WSP 在新的不可约对称形式簇类别中成立，特别是 $K3^{[n]}$-型与广义库默尔簇。
• 将完整 WSP 猜想简化为诺伊曼数为二的情形，从而显著简化问题。

提出的方法

• 利用韦列茨基与波戈莫洛夫的上同调结构，将 WSP 简化为验证对满足 $q(L) = 0$ 的同调线丛 $L$，有 $L^{ ext{dim}(X)/2 + 1} = 0$ 在查沃环中成立。
• 应用许布雷希茨与马科曼关于正锥体与双有理凯勒锥的结果，将关注范围限制在 $\overline{\mathscr{B}\mathscr{K}}_X$ 中的线丛上。
• 利用作者先前关于 WSP 在双有理变换下不变性的结果，将 $X$ 的查沃环与具有有理拉格朗日纤维化的双有理模型的查沃环联系起来。
• 通过一个 $\mathscr{X} \to T$ 的形变族（纤维的诺伊曼数为二）进行形变论论证，将一般纤维上 $\alpha^{n+1}$ 的零化性传递到特殊纤维。
• 应用伏辛提出的广义版布洛克–斯里尼瓦斯型定理，将一般纤维上的零化周期提升至中心纤维。
• 利用博维莱–波戈莫洛夫形式在形变下不变的性质，确保中心纤维上 $q(\alpha) = 0$，从而使得一般纤维上 WSP 假设的适用性得以成立。

实验结果

研究问题

• RQ1 有理拉格朗日纤维化的存在是否意味着不可约对称形式簇满足弱分裂性质（WSP）？
• RQ2 WSP 是否可简化为诺伊曼数为二的情形？
• RQ3 WSP 是否对所有 $K3^{[n]}$-型与广义库默尔簇均成立，无论 $n$ 为何值？
• RQ4 若对正锥体边界上所有 $\alpha$，均有 $\alpha^{n+1} = 0$ 在 $\mathrm{CH}^{n+1}_{\mathbb{R}}(X)$ 中成立，是否足以推出 WSP？
• RQ5 是否可通过形变与特殊化技术，将 WSP 猜想简化为有限多个情形？

主要发现

• 所有 $K3^{[n]}$-型或同调等价于广义库默尔簇的不可约对称形式簇均满足 WSP，包括任意 $n$ 与 K3 表面 $S$ 的 $\mathrm{Hilb}^n(S)$。
• 若存在由满足 $q(L) = 0$ 的线丛 $L$ 诱导的有理拉格朗日纤维化，则该簇满足 WSP。
• WSP 猜想可简化为诺伊曼数为二的簇的情形，从而极大缩小了问题范围。
• 对任意不可约对称形式簇 $X$，若对 $\partial \mathscr{C}_X \cap \mathrm{NS}(X)_{\mathbb{R}}$ 中稠密子集中的所有 $\alpha$，均有 $\alpha^{n+1} = 0$ 在 $\mathrm{CH}^{n+1}_{\mathbb{R}}(X)$ 中成立，则 WSP 成立。
• 证明依赖于将 $X$ 形变为诺伊曼数为二的簇族，其中假设 WSP 成立，并通过广义布洛克–斯里尼瓦斯论证将周期的零化性提升。
• 博维莱–波戈莫洛夫形式在形变下保持不变，确保中心纤维上 $q(\alpha) = 0$，这对论证至关重要。