[论文解读] Looking for rational curves on cubic hypersurfaces

Janós Kollár, Ulrich Derenthal|ArXiv.org|Oct 29, 2007

Algebraic Geometry and Number Theory参考文献 19被引用 10

一句话总结

本文研究了有限域上三次超曲面上有理曲线的存在性与密度，证明了当 𝔽_q 上的光滑三次超曲面维度 ≥2 且 q≥8 时，任意从 ℙ¹(𝔽_q) 到 X(𝔽_q) 的集合映射均可扩张为 𝔽_q 上的态射 ℙ¹→X。关键贡献是通过变形理论、点计数和三次曲面上的第三交点构造，首次给出了通过任意 𝔽_q-点的有理曲线的精确存在性结果。

ABSTRACT

These are the substantially expanded notes of the lectures of JK at the summer school "Higher-Dimensional Geometry over Finite Fields" in Göttingen, June 2007. The first part gives an overview of the methods. The main new result is the construction of rational curves passing through a given collection of points on smooth cubic hypersurfaces over finite fields.

研究动机与目标

• 确定在何种条件下，有限域上的三次超曲面包含通过任意有限个 𝔽_q-点的有理曲线。
• 研究光滑三次超曲面是否包含“大量”有理曲线，即通过任意预设有限个有理点的曲线。
• 在 q≥8 时，证明光滑三次超曲面在 𝔽_q 上存在有理曲线的精确存在性结果，将任意从 ℙ¹(𝔽_q) 到 X(𝔽_q) 的集合映射扩张为 ℙ¹→X 的态射。
• 为更广泛的猜想提供证据：有限域上的分离有理连通簇允许将零维子概形上的态射扩张为曲线上的态射。

提出的方法

• 利用超曲面上有理曲线的变形理论分析通过预设点的有理曲线的存在性。
• 应用点计数论证与 Hasse-Weil 不等式，排除过多通过某一点的直线在 𝔽_q-点上与超曲面相交的配置。
• 在三次曲面上使用第三交点映射，通过几何递归构造通过两个给定点的有理曲线。
• 分析从光滑点投影的三次超曲面的几何结构，区分可分与不可分情形。
• 利用线丛与上同调理论，将零维子概形上的截面提升为曲线上全局截面，从而实现态射的扩张。
• 应用 Lang-Weil 估计与基本群的 Lefschetz 型定理，研究开子概形及其有理曲线的拓扑结构。

实验结果

研究问题

• RQ1 每个光滑三次超曲面 X⊂ℙ^{n+1} 在 𝔽_q 上，当 q≥8 时，是否都存在定义在 𝔽_q 上的有理曲线，通过 ℙ¹(𝔽_q) 上任意给定的 𝔽_q-点集合？
• RQ2 对于任意光滑射影曲线 C，是否可将零维子概形 Z⊂C 到光滑三次超曲面 X⊂ℙ^{n+1} 上的态射 Z→X 扩张为 C→X 的态射？
• RQ3 使得任意映射 ℙ¹(𝔽_q)→X(𝔽_q) 扩张为 𝔽_q 上 ℙ¹→X 的态射的最小 q 是多少？其中 X 为维度 ≥2 的光滑三次超曲面。
• RQ4 三次超曲面的几何结构——特别是通过某一点的直线的行为——如何影响有限域上存在有理曲线？
• RQ5 第三交点构造在有限域上三次曲面上有理曲线的扩张中起什么作用？

主要发现

• 对于 𝔽_q 上的光滑三次超曲面 X⊂ℙ^{n+1}，当 n≥2 且 q≥8 时，任意集合映射 ℙ¹(𝔽_q)→X(𝔽_q) 均可扩张为 𝔽_q 上的态射 ℙ¹→X。
• 该结果是最优的：因为 𝔽_q 上的有理曲线仅有 q+1 个点，故任何曲线无法通过 X(𝔽_q) 中超过 q+1 个点。
• 当 q 足够大（取决于 dim X、C 的亏格及 Z 的次数）时，任何从零维子概形 Z⊂C 到次数 ≤n+1 的光滑超曲面 X 的态射均可扩张为 C→X 的态射，该猜想成立。
• 对于三次超曲面，当 q≥8 且 Z 仅由奇数次点构成时，该猜想成立。
• 单个 𝔽_q-点的情形通过高次线丛的上同调提升解决，确保存在满射 H⁰(C,L)↠H⁰(Z,L|_Z)。
• 两点情形比单点情形困难得多，如在 ℝ 上存在拓扑障碍，该情形通过开子概形基本群的 Lefschetz 型结果解决。