[论文解读] Rational curves on Calabi-Yau threefolds and a conjecture of Oguiso

Simone Diverio|arXiv (Cornell University)|Nov 26, 2013

Algebraic Geometry and Number Theory参考文献 2被引用 3

一句话总结

本文研究了卡拉比-丘三流形上存在有理曲线的问题，提出在较弱的庞蒂亚金数条件下，此类流形是非双曲的，并包含有理曲线。该研究结合了微分几何的曲率条件（特别是非退化的负 $k$-阶芽曲率）与代数几何技术，证明了若一个卡拉比-丘三流形满足 $\rho(X) > 4$ 且存在非零的 nef 但非 ample 的线丛，则其必包含一条有理曲线，从而支持了 Oguiso 的猜想。

ABSTRACT

This short note is an extended abstract of a talk given at the conference "Komplexe Analysis" at the Mathematisches Forschungsinstitut Oberwolfach in September 2012. We explained some recent results about the existence of rational curves on Calabi-Yau threefolds as well as a curvature approach to the non hyperbolicity of such manifolds.

研究动机与目标

• 通过证明有理曲线的存在性来回应 Oguiso 关于卡拉比-丘三流形非双曲性的猜想。
• 将微分几何的曲率条件（特别是非退化的负 $k$-阶芽曲率）与 canonical 线丛的 ample 性及有理曲线的缺失性联系起来。
• 建立卡拉比-丘三流形在 $\rho(X) > 4$ 且存在非零 nef 但非 ample 线丛时必含有一条有理曲线的结论，推进代数几何中的常识性猜想。
• 探讨 Kawamata-Morrison 锥体猜想对三维情形 Kobayashi 猜想的影响。
• 通过将曲率的正负性与双有理不变量（如 Kodaira 维数和 nef 锥）联系起来，弥合微分几何与代数几何之间的鸿沟。

提出的方法

• 分析全纯截面曲率及其对 Ricci 曲率和第一陈类的影响，通过平均与迹论证，在 $c_1(X)_{\mathbb{R}} = 0$ 的假设下导出矛盾。
• 通过紧化芽丛 $X_k$ 引入非退化的负 $k$-阶芽曲率的概念，利用 $\mathcal{O}_{X_k}(-1)$ 上的奇异 Hermitian 度量，并在子丛 $V_k$ 上要求其曲率为负定。
• 应用锥定理与 log 最小模型程序（log-MMP），证明若存在非零有效但非 nef 的线丛，则必存在一条有理曲线。
• 利用 Kawamata-Morrison 锥体猜想，推导出在自同构群作用下 nef 锥为有理多面体，从而在 nef 边界上实现有理点的稠密性论证。
• 通过欧拉示性数计算与 Kawamata–Viehweg 范性定理，证明当 $c_2(X) \cdot D > 0$ 时，$\mathbb{Q}$-除子 $D$ 的有效性，从而导出有理曲线的存在。
• 通过利用 Beauville-Bogomolov 分解与双曲流形中无有理曲线的性质，将三维情形的 Kobayashi 猜想归约为卡拉比-丘三流形的非双曲性。

实验结果

研究问题

• RQ1 若一个卡拉比-丘三流形满足 $\rho(X) > 4$ 且存在非零的 nef 但非 ample 线丛，是否必然包含一条有理曲线？
• RQ2 非退化的负 $k$-阶芽曲率是否足以推出 $c_1(X)_{\mathbb{R}} \neq 0$？
• RQ3 Kawamata-Morrison 锥体猜想是否意味着在三维情形下 Kobayashi 猜想成立，除非是庞蒂亚金数为一的卡拉比-丘三流形？
• RQ4 能否通过锥定理利用卡拉比-丘三流形上非零有效但非 ample 线丛的存在性来保证有理曲线的存在？
• RQ5 在三维流形中，测度双曲性蕴含一般型的猜想是否与 Kobayashi 猜想等价？

主要发现

• 若一个卡拉比-丘三流形满足 $\rho(X) > 4$ 且存在非零的 nef 但非 ample 线丛，则其必含有一条有理曲线，这在该条件下为 Oguiso 猜想提供了肯定回答。
• 若存在非零有效但非 ample 的线丛，则通过锥定理与 log-MMP 可保证卡拉比-丘三流形中存在有理曲线。
• 若 Kawamata-Morrison 锥体猜想成立，则在三维情形下 Kobayashi 猜想成立，除非是庞蒂亚金数为一的双曲卡拉比-丘三流形。
• 非退化的负 $k$-阶芽曲率蕴含双曲性，本文提出一个开放问题：它是否也蕴含 $c_1(X)_{\mathbb{R}} \neq 0$，若成立，则将支持 canonical 线丛的 ample 性。
• 本文证明负全纯截面曲率蕴含负数量曲率，若 $c_1(X)_{\mathbb{R}} = 0$，则通过 Ricci 形式与光滑函数的 $\omega$-Laplacian 可导出矛盾。
• 若卡拉比-丘三流形中无有理曲线，则其自同构群为有限群；在 Kawamata-Morrison 猜想成立的条件下，nef 锥成为有理多面体，从而可构造与 $c_2(X)$ 有正交交的有理 $\mathbb{Q}$-除子。