[论文解读] Rational curves on general type hypersurfaces

Eric Riedl, David Yang|arXiv (Cornell University)|May 5, 2016

Algebraic Geometry and Number Theory参考文献 18被引用 6

一句话总结

该论文证明，对于 $ \mathbb{P}^n $ 中非常一般化的 $ d $ 次超曲面，当 $ \frac{3n+1}{2} \leq d \leq 2n-3 $ 时，其上唯一的有理曲线是直线；不存在更高次的有理曲线。作者使用一种新颖的基于格拉斯曼流形的归纳法，将高维的结果传递到低维，结合关于直线的法诺簇结果以及可约圆锥曲线的不存在性，证明有理曲线必位于直线的并集中，而在此类度数范围内，法诺簇中本身也不存在直线。

ABSTRACT

We develop a technique that allows us to prove results about subvarieties of general type hypersurfaces. As an application, we use a result of Clemens and Ran to prove that a very general hypersurface of degree (3n+1)/2 \leq d \leq 2n-3 contains lines but no other rational curves.

研究动机与目标

• 确定在 $ d > n+1 $ 的通约型范围中，非常一般超曲面上有理曲线的存在性与结构。
• 通过证明在特定度数范围内，此类超曲面上的有理曲线仅限于直线，从而解决维辛关于有理曲线度数有界的猜想。
• 开发一种基于格拉斯曼流形的新归纳技术，用于将高维射影空间中的非存在性结果传递到低维空间。
• 通过证明对有理曲线更强的非存在性陈述，扩展埃因、维辛和帕琴萨关于通约型超曲面上子簇的先前结果。
• 证明对于任意固定的代数簇族，当 $ \mathbb{P}^n $ 中的超曲度数足够高时，其上不包含来自该族中代数簇的有限映射。

提出的方法

• 通过格拉斯曼几何实现向下归纳，将 $ \mathbb{P}^n $ 中子簇的非存在性结果传递到 $ \mathbb{P}^{n-1} $。
• 应用克莱门斯与兰的结果：若某些上同调条件不成立，则通约型超曲面上的有理曲线必位于直线扫过的区域中。
• 使用定理 3.3，该定理断言：在非常一般超曲面 $ X $ 上，其直线的法诺簇 $ F_1(X) $ 在 $ n \leq \frac{(d+2)(d+1)}{6} $ 时不含任何有理曲线。
• 使用定理 3.4 证明：当 $ d \geq \frac{3n}{2} - 1 $ 时，$ X $ 不含可约圆锥曲线，从而保证 $ F_1(X) $ 上的全纯线丛在闭点上是双射。
• 应用命题 3.5 控制关联对应中余维数的界限，以控制有理曲线扫过的区域的维数。
• 结合上述工具与维辛关于非扫掠有理曲线的结果，证明当度数足够大时，通约型超曲面会避开整个子簇族。

实验结果

研究问题

• RQ1 在 $ \mathbb{P}^n $ 中，哪些度数 $ d $ 使得非常一般化的通约型超曲面包含有理曲线？
• RQ2 能否利用一般超曲面上直线的法诺簇来界定更高次有理曲线的存在性？
• RQ3 若直线的法诺簇中不存在有理曲线，是否意味着超曲面上本身也不存在有理曲线？
• RQ4 能否使用基于格拉斯曼流形的归纳技术，将高维到低维的非扫掠结果进行传递？
• RQ5 是否存在一个统一的度数阈值，使得在 $ \mathbb{P}^n $ 中，度数超过该值的通约型超曲面会避开来自给定代数簇族的所有有理映射？

主要发现

• 当 $ \frac{3n+1}{2} \leq d \leq 2n-3 $ 时，$ \mathbb{P}^n $ 中的非常一般超曲面包含直线，但不包含其他有理曲线。
• 在 $ n \leq \frac{(d+2)(d+1)}{6} $ 条件下，超曲面 $ X $ 的直线法诺簇 $ F_1(X) $ 不含任何有理曲线，该条件在给定度数范围内成立。
• 当 $ d \geq \frac{3n}{2} - 1 $ 时，超曲面不含可约圆锥曲线，从而保证其上全纯线丛在闭点上是双射。
• 超曲面中直线扫过的区域包含了所有有理曲线，且由于该区域本身非有理，故不存在更高次的有理曲线。
• 该方法可恢复埃因与维辛关于具有非有效 canonical 簇的子簇的结果，并将其推广至有理曲线。
• 对于任意固定的代数簇族 $ S \to B $，存在一个度数 $ d $，使得 $ \mathbb{P}^n $ 中度数为 $ d $ 的非常一般超曲面不接受来自 $ S \to B $ 的纤维的有限映射。