[论文解读] Birationality of the tangent map for minimal rational curves

Jun-Muk Hwang, Ngaiming Mok|ArXiv.org|Apr 7, 2003

Meromorphic and Entire Functions参考文献 3被引用 4

一句话总结

该论文证明了将单连通射影流形上的极小有理曲线与其切方向关联的切映射是双有理的，从而证明了一般极小有理曲线由其切向量唯一确定。通过微分系统和极小有理切线的几何性质，作者提供了关于从 Picard 数为 1 的有理齐次空间到其他 Fano 流形的态射刚性性的新证明，且不依赖李理论，表明此类映射要么是同构，要么是射影空间的商映射。

ABSTRACT

For a uniruled projective manifold, we prove that a general rational curve of minimal degree through a general point is uniquely determined by its tangent vector. As applications, among other things we give a new proof, using no Lie theory, of our earlier result that a holomorphic map from a rational homogeneous space of Picard number 1 onto a projective manifold different from the projective space must be a biholomorphic map.

研究动机与目标

• 证明对于任意单连通射影流形，从极小有理曲线的全族到射影化切丛的切映射是双有理的。
• 确立在一般点处通过的一般极小有理曲线由其切向量唯一确定。
• 提供一个新证明，无需使用李理论，证明如下刚性结果：若从 Picard 数为 1 的有理齐次空间到 Picard 数为 1 的 Fano 流形存在满态射，则该态射必为双全纯同构或映射到射影空间。
• 研究极小有理切线的概形结构及其在一般有限态射到 Fano 流形时的刚性中的作用。
• 证明在 Picard 数为 1 的 Fano 流形的形变族中，若在一般点处极小有理切线的概形非线性，则其形变族具有强刚性。

提出的方法

• 作者利用射影化切丛子概形上的微分系统理论，分析切映射及其纤维。
• 通过 Cho-Miyaoka-Shepherd-Barron 的结果，将切映射双有理性的普遍情形约化为映射为满射的特殊情况。
• 证明依赖于极小有理曲线及其切方向的几何性质，特别是总极小有理切线概形 $\mathcal{C}$ 的结构。
• 作者应用形变理论，并在 Hilbert 概形中构造特殊闭链的可构造族，以分析一般有限态射在形变下的行为。
• 他们利用纤维之间存在 étale 映射和双有理映射的事实，构造了形变设定下的全纯族双全纯映射。
• 该论证涉及分析态射下极小有理切线概形的原像，并利用平坦性与双有理性，推导出自同构的全纯族的存在性。

实验结果

研究问题

• RQ1 对于任意单连通射影流形，从极小有理曲线全族到射影化切丛的切映射是否为双有理？
• RQ2 能否仅从切向量唯一确定通过一般点的极小有理曲线？
• RQ3 在何种条件下，Fano 流形（Picard 数为 1）的一般有限态射的形变族会允许存在全纯族的双全纯映射？
• RQ4 非线性极小有理切线概形在有理齐次空间到 Fano 流形的态射刚性中起何作用？
• RQ5 能否在不使用李理论的前提下，证明从 Picard 数为 1 的有理齐次空间到其他 Fano 流形的态射的刚性？

主要发现

• 对于任意单连通射影流形及任意极小分量 $\mathcal{K}$，切映射 $\tau: \mathcal{U} \dashrightarrow \mathbb{P}T(X)$ 是双有理的，意味着极小有理曲线由其切向量唯一确定。
• 在一般点处极小有理切线概形的正规化是光滑的，这是切映射双有理性的直接推论。
• 单连通射影流形中两个不同的极小分量会导出不同的总极小有理切线概形，从而确认了强唯一性性质。
• 对于 Picard 数为 1 的 Fano 流形形变族，若其在一般点处的极小有理切线概形非线性，则任何一般有限态射到该族均可提升为全纯族的双全纯映射。
• 从 Picard 数为 1 的有理齐次空间 $G/P$ 到 Fano 流形 $X$ 的满态射，要么是同构，要么 $X$ 同构于射影空间，且该结论在不使用李理论的前提下得到证明。