[论文解读] Calabi-Yau threefolds with Picard number three

P. Μ. H. Wilson|arXiv (Cornell University)|Nov 25, 2020

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

一句话总结

本论文在特定条件下，建立了具有三个皮卡德数的卡拉比-丘三流形的有界性。通过分析刚性不可移动曲面，并运用实椭圆曲线的Hessian矩阵上的Steinian对合，作者证明了当Hessian光滑或在非拐线条件下奇异时，此类三流形属于有界族，从而解决了高皮卡德数情形下模空间有界性的一个关键问题。

ABSTRACT

In this paper, we continue the study of boundedness questions for (simply connected) smooth Calabi-Yau threefolds commenced in arXiv:1706.01268. The diffeomorphism class of such a threefold is known to be determined up to finitely many possibilities by the integral middle cohomology and two integral forms on the integral second cohomology, namely the cubic cup-product form and the linear form given by cup-product with the second chern class. The question addressed in both papers is whether knowledge of these cubic and linear forms determines the threefold up to finitely many families, that is the moduli of such threefolds is bounded. If this is true, then in particular the middle integral cohomology would be bounded by knowing these two forms. Crucial to this question is the study of rigid non-movable surfaces on the threefold, which are the irreducible surfaces that deform with any small deformation of the complex structure of the threefold but for which no multiple moves on the threefold. We showed in the previous paper that if there are no such surfaces, then the answer to the above question is yes. Moreover if the Picard number is 2, the answer was shown to be yes without any further assumptions on the Calabi-Yau threefold. The main results of this paper are for Picard number 3, where we prove boundedness in the case where there is at most one rigid non-movable surface, assuming the cubic form is smooth (thereby defining a real elliptic curve); in the two cases where the Hessian curve is singular, we also assume that the line defined by the second chern class does not intersect this curve at an inflexion point. In addition to the methods described in the previous paper, a further crucial tool in the proofs will be the classical Steinian involution on the Hessian of an elliptic curve.

研究动机与目标

• 基于三次上积形式与由第二陈类定义的线性形式，确定皮卡德数为三的卡拉比-丘三流形是否在族中具有有界性。
• 研究刚性不可移动曲面在阻碍或促进模空间有界性中的作用。
• 将先前针对皮卡德数为二的结果扩展至皮卡德数为三的情形，特别是当关联的椭圆曲线及其Hessian具有特定几何性质时。
• 建立在Hessian光滑且不与拐点处的直线 $c_2 = 0$ 相交的条件下，有界性成立的条件。

提出的方法

• 将实椭圆曲线的Hessian上的Steinian对合作为关键几何工具，用于分析三次型及其对偶结构。
• 应用正指数锥与可移动锥 $\overline{\mathrm{Mov}}(X)$，以识别具有正高阶上同调的类，从而确保可移动倍数的存在性。
• 采用由 $E \cdot D^2 > 0$ 定义的锥 $Q$（其中 $E$ 为刚性不可移动曲面），该锥包含凯勒锥，有助于限制可能的可移动类。
• 通过文献[6]中的命题2.2，对 $c_2 \cdot E$ 和 $E^3$ 施加代数有界性，将 $E$ 的可能类减少至有限多个。
• 分析仿射平面 $z=1$ 上二次型与三次型的渐近行为，以证明在相关区域中 $E^2 \cdot D$ 为负，从而暗示可移动类的有界性。
• 应用从一点对凸锥边界可见性的条件，以确定类何时可为可移动类，从而导出变形参数的显式上界。

实验结果

研究问题

• RQ1 当三次型光滑且至多存在一个刚性不可移动曲面时，皮卡德数为三的卡拉比-丘三流形的有界性是否成立？
• RQ2 Hessian曲线的奇点性以及直线 $c_2 = 0$ 相对于实椭圆曲线的位置如何影响模空间的有界性？
• RQ3 实椭圆曲线的Hessian上的Steinian对合是否可用于分类并限制刚性不可移动曲面的可能类？
• RQ4 在何种条件下，刚性不可移动曲面的存在性可推出 $\rho = 3$ 情形下模空间的有界性？
• RQ5 在给定的上同调约束下，刚性不可移动曲面的可能类数量是否有限？

主要发现

• 当三次型光滑且实椭圆曲线有两个分支时，凯勒锥位于Hessian的有界分支上的正锥内，且 $X$ 属于有界族。
• 若实椭圆曲线有一个分支且Hessian光滑，则 $X$ 包含一个刚性不可移动曲面 $E$，且 $E$ 位于Hessian有界分支所定义的闭半锥内，此时 $X$ 属于有界族。
• 当Hessian奇异且直线 $c_2 = 0$ 不在拐点处与实椭圆曲线相交时，$X$ 包含一个刚性不可移动曲面 $E$，且 $X$ 属于有界族。
• 对于 $\rho = 3$，若Hessian光滑且 $b_3(X)$ 足够大，则 $X$ 必须至少包含两个刚性不可移动曲面。
• 由于 $c_2 \cdot E$ 与 $E^3$ 的约束，任何刚性不可移动曲面 $E$ 的类至多有有限多个可能。
• 推导出参数 $\lambda$ 的显式上界 $\lambda_0$，使得 $D - \lambda E$ 可为可移动类，从而确保可移动类仅有有限多个候选。