[论文解读] Fano Hypersurfaces in Positive Characteristic

Yi Zhu|arXiv (Cornell University)|Nov 12, 2011

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

一句话总结

该论文证明了在任意特征下，$ \mathbb{P}^n$ 中任意一般的 $n$ 次 Fano 超曲面包含一条度数为 $n$ 的非常自由有理曲线，其法丛分解为 $\mathcal{O}(2)\oplus\mathcal{O}(1)^{\oplus(n-2)}$，从而确立了可分有理连通性。该结果通过变形理论与组合形变技术，解决了 Kollár 在正特征下关于 Fano簇的猜想的关键情形。

ABSTRACT

We prove that a general Fano hypersurface in a projective space over an algebraically closed field of arbitrary characteristic is separably rationally connected.

研究动机与目标

• 为 Kollár 关于正特征下 Fano 代数簇是否可分有理连通的猜想提供证明。
• 在代数闭域的任意特征下，建立一般 $ \mathbb{P}^n$ 中 $n$ 次 Fano 超曲面上非常自由有理曲线的存在性。
• 利用 Fano 超曲面的几何结构与有理截面，给出 Tsen 定理的新证明。

提出的方法

• 在退化情形下构造一个类似梳子的 reducible 曲线，以典型圆锥作为柄，以直线作为齿。
• 利用变形理论证明，典型有理曲线在全族超曲面上的 Hilbert 模间形成一个开子集。
• 应用上同调与基变换定理，证明层 $\pi_*\mathcal{I}_D(d)$ 局部自由，从而保证族的平坦性。
• 将退化的梳子曲线提升为形式盘上一对的平坦族，从而在一般纤维中构造出一条非常自由曲线。
• 通过法丛的分解类型与高阶上同调的消失性，在特殊纤维上验证开条件。
• 通过与线性子空间相交并分析法丛序列，将一般情形 $d < n$ 归约至 $d = n$ 的情形。

实验结果

研究问题

• RQ1 在任意特征的域上，$ \mathbb{P}^n$ 中任意一般的 Fano 超曲面是否都包含一条度数为 $n$ 的非常自由有理曲线？
• RQ2 在正特征下，可分有理连通性条件是否等价于有理连通性，且对 Fano 超曲面是否成立？
• RQ3 Fano 超曲面上非常自由曲线的存在性是否可用于证明在曲线上的族中存在有理截面，如 Tsen 定理所述？

主要发现

• 在代数闭域的任意特征下，$ \mathbb{P}^n$ 中 $n$ 次的一般 Fano 超曲面包含一条度数为 $n$ 的非常自由有理曲线，其法丛分解为 $\mathcal{O}(2)\oplus\mathcal{O}(1)^{\oplus(n-2)}$。
• 此类非常自由曲线的存在性意味着该超曲面在任意特征下是可分有理连通的。
• 该证明构造了一个形式盘上的曲线族，将退化的梳子曲线提升为一般纤维中的一条非常自由曲线。
• 该结果通过证明任意关于曲线的 Fano 超曲面族都存在有理截面，从而给出了 Tsen 定理的新证明。
• 所用的变形理论技术表明，典型有理曲线在 Hilbert 模间形成一个开子集，从而保证了这些曲线在一般纤维中的存在性。
• 对于 $d < n$ 的情形，通过与 $d$ 维线性子空间相交，并利用子簇的法丛确保了提升切丛的正性，从而推导出非常自由曲线的存在性。