[论文解读] Erratum to the paper: Compact hyperkaehler manifolds: basic results

Daniel Huybrechts|ArXiv.org|Jun 3, 2001

Geometry and complex manifolds参考文献 3被引用 9

一句话总结

本文通过使用Demailly-Paun定理，用一个有效的证明替换了Huybrechts早期关于紧致超凯勒流形工作的有缺陷的命题，修正了其证明中的错误。关键贡献是给出了一个修正后的项目性判别准则：紧致超凯勒流形是项目性的，当且仅当其上存在一个线丛，使得其第一陈类的贝乌维尔-波戈莫洛夫二次型为正。

ABSTRACT

This is an Erratum to the paper: Compact hyperkaehler manifolds: basic results. (alg-geom/9705025, Inv. math. 135). We give a correct proof of the projectivity criterion for hyperkaehler manifolds. We use a recent result of Demailly and Paun math.AG/0105176.

研究动机与目标

• 修正原始论文中关于紧致超凯勒流形项目性判别准则的有缺陷证明。
• 利用Demailly-Paun定理，建立对非常一般超凯勒流形的凯勒锥的正确刻画。
• 证明对于非常一般的超凯勒流形，凯勒锥与正锥重合。
• 证明紧致超凯勒流形是项目性的，当且仅当其上存在一个线丛，使得其第一陈类的贝乌维尔-波戈莫洛夫二次型为正。
• 阐明原始证明依赖于一个错误的命题（命题3.8），现已被基于解析几何和正当前置的正确论证所取代。

提出的方法

• 利用Demailly-Paun定理，将紧致凯勒流形的凯勒锥刻画为在所有解析子集上为正的类的连通分支。
• 应用Fujiki关于(2p,2p)-类的形变不变性结果，证明某些整同调类在小形变下仍保持为纯类型(2p,2p)。
• 利用贝乌维尔-波戈莫洛夫二次型 $ q_X $ 将上同调类的积分与代数不变量联系起来，证明对(2p,2p)-类有 $ \int_X \beta \alpha^{2(n-p)} = c_\beta q_X(\alpha)^{n-p} $。
• 利用形变空间中非常一般点的稠密性，通过附近形变上的凯勒类逼近正锥中的任意类。
• 应用Bonavero与Ji-Shiffman的结果，证明伪有效锥内部的类蕴含Moishezon结构，从而具有项目性结构。
• 构造正(1,1)-当前置的弱极限，证明正锥中的任意类都属于伪有效锥的内部。

实验结果

研究问题

• RQ1 Huybrechts论文中关于项目性判别准则的原始证明为何有缺陷？具体错误是什么？
• RQ2 在何种条件下，紧致超凯勒流形的凯勒锥与其正锥重合？
• RQ3 能否仅通过线丛第一陈类的贝乌维尔-波戈莫洛夫二次型为正，来表征紧致超凯勒流形的项目性？
• RQ4 Demailly-Paun定理如何在超凯勒流形的背景下实现凯勒锥的正确刻画？
• RQ5 在形变空间中，非常一般点的作用是什么，以确保(2p,2p)-类在小形变下保持为纯类型？

主要发现

• 对于非常一般的紧致超凯勒流形 $ X $，其凯勒锥 $ \mathcal{K}_X $ 与正锥 $ \mathcal{C}_X $ 重合，即 $ \mathcal{K}_X = \mathcal{C}_X $。
• 在非常一般的超凯勒流形上，伪有效类锥的内部等于 $ \mathcal{K}_X = \mathcal{C}_X $，这意味着 $ \mathcal{C}_X $ 中的每个类都可以由一个下界为凯勒形式的闭正(1,1)-当前置表示。
• 对于任意余维数为 $ 2p $ 的不可约解析子集 $ Y \subset X $，其上同调类 $ [Y] \in H^{2p,2p}(X,\mathbb{Z}) $ 在 $ X $ 的所有小形变下均为纯类型(2p,2p)，且对所有 $ \alpha \in H^2(X,\mathbb{C}) $ 满足 $ \int_Y \alpha^{2(n-p)} = c_{[Y]} q_X(\alpha)^{n-p} $。
• 紧致超凯勒流形 $ X $ 是项目性的，当且仅当存在一个线丛 $ L $ 在 $ X $ 上，使得 $ q_X(c_1(L)) > 0 $，该结论现通过修正的论证得到严格确立。
• 形变空间 $ \mathrm{Def}(X) $ 中非常一般点的集合是稠密的，且对这些点，其小形变不包含奇数维的解析子集。
• 原始命题3.8是错误的，因为它暗示某些在凯勒锥上为正的类将能被所有双有理模型上的正当前置表示，这与已知反例矛盾，即此类正性在某些情况下会失败。