[论文解读] Rational curves and ampleness properties of the tangent bundle of algebraic varieties

Frédéric Campana, Thomas Peternell|arXiv (Cornell University)|Jul 8, 1996

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文建立了射影代数流形的切丛的丰沛性性质与其上理性曲线几何之间的深刻联系。证明了若切丛包含一个秩至少为 $ n-2 $ 的丰沛子丛，则该流形同构于射影空间；此外，理性连通性蕴含存在一个自由的、$ T_X $-丰沛的理性曲线族，从而将切丛的正性与理性曲线的全局结构联系起来。

ABSTRACT

The purpose of this paper is to translate positivity properties of the tangent bundle (and the anti-canonical bundle) of an algebraic manifold into existence and movability properties of rational curves and to investigate the impact on the global geometry of the manifold $X$. Among the results we prove are these: \quad If $X$ is a projective manifold, and ${\cal E} \subset T_X$ is an ample locally free sheaf with $n-2\ge rk {\cal E}\ge n$, then $X \simeq \EP_n$. \quad Let $X$ be a projective manifold. If $X$ is rationally connected, then there exists a free $T_X$-ample family of (rational) curves. If $X$ admits a free $T_X$-ample family of curves, then $X$ is rationally generated.

研究动机与目标

• 研究切丛与反canonical丛的正性性质如何影响代数流形上理性曲线的存在性与可移动性。
• 确定切丛子丛的丰沛性条件所导致的几何后果。
• 阐明理性连通性与存在自由的、$ T_X $-丰沛的理性曲线族之间的关系。
• 建立充分条件，使得射影流形必同构于射影空间。

提出的方法

• 分析射影流形 $ X $ 的切丛中局部自由层 $ \mathcal{E} \subset T_X $ 的丰沛性。
• 应用代数几何中的技术，特别是丰沛向量丛与理性曲线的理论。
• 使用 $ T_X $-丰沛性概念来研究曲线族的可移动性与覆盖性质。
• 利用理性连通性的概念，并通过形变理论构造自由的理性曲线。
• 依赖极小模型程序与代数几何中的正性理论结果。
• 应用如下判别准则：若 $ \mathcal{E} \subset T_X $ 是丰沛的，且满足 $ n-2 \geq \text{rk}\, \mathcal{E} \geq n $，则 $ X \simeq \mathbb{P}^n $。

实验结果

研究问题

• RQ1 在何种切丛条件下，射影流形会同构于射影空间？
• RQ2 自由的 $ T_X $-丰沛理性曲线族的存在性如何与流形的理性生成性相关？
• RQ3 理性连通性与切丛的丰沛性之间的确切关系为何？
• RQ4 若切丛的子丛秩为 $ n-2 $ 或更高，其丰沛性是否足以迫使流形同构于 $ \mathbb{P}^n $？
• RQ5 存在 $ T_X $-丰沛的理性曲线族会暗示哪些全局几何性质？

主要发现

• 若 $ X $ 是射影流形，且 $ \mathcal{E} \subset T_X $ 是一个秩满足 $ n-2 \geq \text{rk}\, \mathcal{E} \geq n $ 的丰沛局部自由层，则 $ X $ 同构于 $ \mathbb{P}^n $。
• 若 $ X $ 是理性连通的，则 $ X $ 上存在一个自由的 $ T_X $-丰沛理性曲线族。
• 若 $ X $ 允许一个自由的 $ T_X $-丰沛曲线族，则 $ X $ 是理性生成的。
• 切丛或其子丛的丰沛性强烈约束了 $ X $ 的全局几何，尤其是在高秩子丛的情况下。
• 结果建立了切丛正性与丰富、可移动的理性曲线存在性之间的紧密联系。
• 本文通过切丛子丛的丰沛性条件，对射影空间给出了一个刻画。