[论文解读] Non-algebraic Hyperkaehler manifolds

Frédéric Campana, Keiji Oguiso+1 more|ArXiv.org|Apr 10, 2008

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

一句话总结

本文研究非代数的超凯勒流形，重点关注其代数维数与纤维化结构。证明了在4维情况下，超凯勒流形的代数维数为0、2或4，并证实了当代数维数为维数一半时，代数约化为全纯拉格朗日子流形的猜想。研究结果依赖于 nef 线丛的结构及尼龙-塞弗尔群上博伊丘形式的性质。

ABSTRACT

We study the algebraic dimension a(X) of a compact hyperkaehler manfold of dimension 2n. We show that a(X) is at most n unless X is projective. If a compact Kaehler manifold with algebraic dimension 0 and Kodaira dimension 0 has a minimal model, then only the values 0,n and 2n are possible. In case of middle dimension, the algebraic reduction is holomorphic Lagrangian. If n = 2, then - without any assumptions - the algebraic dimension only takes the values 0,2 and 4. The paper gives structure results for "generalised hyperkaehler" manifolds and studies nef lines bundles.

研究动机与目标

• 解决超凯勒流形代数维数的猜想，特别是非代数情形。
• 确定尼龙-塞弗尔群在抛物与椭圆情形下代数约化的结构。
• 确立代数约化为全纯且拉格朗日子流形的条件，特别是在4维情况下。
• 研究 nef 线丛及其半幅性在决定代数维数中的作用。
• 将凯勒流形中 Kodaira 维数为0的极小模型存在性与高维情况下猜想的有效性联系起来。

提出的方法

• 利用 $ H^2(X,\mathbb{Z}) $ 上的博伊丘形式，将尼龙-塞弗尔群分类为双曲、抛物或椭圆型。
• 应用近乎全纯纤维化与有理函数约化的理论，分析代数约化的结构。
• 在半正与 nef 设置下，运用 Riemann–Roch 与 Hard Lefschetz 定理，将上同调消失性与代数维数联系起来。
• 利用乘子理想与 nef 线丛上的奇异度量，研究正维子簇的存在性。
• 依赖上同调的半连续性及极小模型理论的结果，在极小模型假设下约束代数维数。
• 以 K3 曲面上点的 Hilbert 模型 $ S^{[n]} $ 作为关键例子，以激发该猜想。

实验结果

研究问题

• RQ1 超凯勒流形在维数 $ 2n $ 时，其代数维数是否仅取值于 $ 0, n, 2n $？
• RQ2 若 $ a(X) = n $，代数约化是否为全纯且拉格朗日子流形？
• RQ3 当尼龙-塞弗尔群为抛物型且 $ a(X) > 0 $ 时，代数约化的结构如何？
• RQ4 非代数超凯勒流形在何种条件下存在非平凡的 nef 线丛？
• RQ5 若存在紧致凯勒流形 $ Y $ 满足 $ \dim Y \leq 2n-1 $，$ a(Y) = \kappa(Y) = 0 $，且 canonical 除数有效，则其极小模型的存在性是否意味着高维情况下猜想成立？

主要发现

• 对于4维超凯勒流形，代数维数为 $ 0 $、$ 2 $ 或 $ 4 $，从而在该情形下证实了猜想1.1。
• 若尼龙-塞弗尔群为椭圆型，则 $ a(X) = 0 $，即流形为非代数的，且不存在非平凡的代数约化。
• 当尼龙-塞弗尔群为抛物型且 $ a(X) > 0 $ 时，代数约化要么是全纯拉格朗日子流形（此时 $ a(X) = n $），要么不是近乎全纯的，且纤维的代数维数为0。
• 具有抛物型尼龙-塞弗尔群的非代数超凯勒流形，包含至少维数为2的正维紧致子簇。
• 在非代数超凯勒流形上，若存在非平凡的 Hermitian 半正线丛 $ L $，则 $ \kappa(L) = a(X) $，从而将伊塔卡纤维化与代数约化联系起来。
• 若每个紧致凯勒流形 $ Y $ 满足 $ \dim Y \leq 2n-1 $，$ a(Y) = \kappa(Y) = 0 $，且 canonical 除数有效，均存在极小模型，则该猜想在一般情形下成立。