[論文レビュー] 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 $ の全般的な幾何に強く制約を加える。
• 結果として、接バンドルの正性と豊富で可動な有理曲線の存在との強い関連が確立された。
• 本稿は、接バンドルの部分バンドルに対する豊富性条件を用いた射影空間の特徴づけを提供している。