[论文解读] Rational curves and strictly nef divisors on Calabi--Yau threefolds

Haidong Liu, Roberto Svaldi|arXiv (Cornell University)|Oct 23, 2020

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

一句话总结

本文在特定数值条件下，建立了卡拉比-丘三复乘流形上 nef 除子半正则性的判别准则，证明了数值维数 ≠1 的严格 nef 除子是 ample 的。此外，当拓扑欧拉示性数非零时，非 ample 的 nef 除子的存在意味着存在有理曲线，从而推进了对卡拉比-丘三复乘流形上 Abundance 猜想与有理曲线几何的理解。

ABSTRACT

We give a criterion for a nef divisor $D$ to be semiample on a Calabi--Yau threefold $X$ when $D^3=0=c_2(X)\cdot D$ and $c_3(X) eq 0$. As a direct consequence, we show that on such a variety $X$, if $D$ is strictly nef and $ν(D) eq 1$, then $D$ is ample; we also show that if there exists a nef non-ample divisor $D$ with $D ot\equiv 0$, then $X$ contains a rational curve when its topological Euler characteristic is not $0$.

研究动机与目标

• 在满足 D³ = 0 且 c₂(X)·D = 0 的条件下，建立卡拉比-丘三复乘流形上 nef 除子 D 为半正则的充分条件。
• 在上述条件下，证明数值维数 ν(D) ≠ 1 的严格 nef 除子为 ample。
• 当存在非 ample 的 nef 除子时，研究卡拉比-丘三复乘流形上是否存在有理曲线。
• 将有理曲线的存在性与 Kawamata–Morrison 猜想及 nef 锥的几何结构联系起来。
• 探讨三维情形下 Kobayashi 双曲性与 Abundance 猜想的含义。

提出的方法

• 作者利用卡拉比-丘三复乘流形的数值不变量，特别是 c₃(X)、c₂(X)，以及与 D 正交的素除子的亏格，推导出半正则性的判别准则。
• 通过研究 nef 锥在 N¹(X)ℝ 中与超平面 c₂(X)⊥ 的交线，分析 nef 锥的结构。
• 证明依赖于对偶簇 W̃ 的几何结构及其在 ℝ 上的不可约分支分解，特别是直线与圆锥曲线。
• 作者应用伽罗瓦理论方法分析定义在数域上的曲线上的有理点，尤其在 W̃ 可约的情况下。
• 通过自同构群在上同调上的作用，推导出表示的有限性，从而得出 nef 锥的有理多面体结构。
• 该论证结合了代数几何技术，包括 Iitaka 纤维化与数值维数理论，以分析 nef 除子的行为。

实验结果

研究问题

• RQ1 在什么条件下，卡拉比-丘三复乘流形上满足 D³ = 0 且 c₂(X)·D = 0 的 nef 除子 D 是半正则的？
• RQ2 在什么条件下，卡拉比-丘三复乘流形上的严格 nef 除子必然是 ample 的？
• RQ3 卡拉比-丘三复乘流形上存在非 ample 的 nef 除子是否意味着存在有理曲线？
• RQ4 卡拉比-丘三复乘流形背景下，nef 锥的几何结构如何与 Kawamata–Morrison 猜想相关联？
• RQ5 卡拉比-丘三复乘流形上存在有理曲线是否可与该流形的非双曲性相联系？

主要发现

• 若卡拉比-丘三复乘流形上的 nef 除子 D 满足 D³ = 0 且 c₂(X)·D = 0，则当 c₃(X)/2 ≠ r − ∑gⱼ 时，D 是半正则的，其中 r 为与 D 正交的素除子的个数，gⱼ 为其亏格。
• 若 D 为严格 nef 且 ν(D) ≠ 1，则在 D³ = 0 且 c₂(X)·D = 0 的条件下，D 为 ample。
• 若卡拉比-丘三复乘流形上存在非平凡的 nef 但非 ample 的除子 D，则当 c₃(X) ≠ 0 或 h²(X) ∉ {2,3,4} 时，必存在有理曲线。
• 在假设 c₂(X) 在 nef 锥除去零元后不为正，且不存在半正则除子的条件下，卡拉比-丘三复乘流形的 nef 锥为有理多面体。
• 结果支持 Kawamata–Morrison 猜想，并表明当 ρ(X) ≥ 2 时，卡拉比-丘三复乘流形通常不是 Kobayashi 双曲的，除非是 Picard 数为 1 的情形。
• 本文在温和的拓扑约束下，为 Oguiso 关于有理曲线的猜想提供了条件性解决，表明非 ample 的 nef 除子的存在可推出有理曲线的存在。