[論文レビュー] Rational Curves on Quasi-Projective Surfaces

Seán Keel, James McKernan|ArXiv.org|Jul 25, 1997

Algebraic Geometry and Number Theory参考文献 6被引用数 8

ひとこと要約

この論文は、準射影的表面が負の対数Kodaira次元を持つことと、アフィン直線からの有理曲線によって支配されることとは同値であることを確立している。主な結果は、対Fano表面の滑らかさ部分が有理的連結であることの証明に起因し、ランク1の対デル・ペzzo表面のうち、有界な族を除くすべてが分類されている。

ABSTRACT

The main result is that a quasi-projective surface has negative log Kodaira dimension (i.e. no log pluricanonical sections) iff it is dominated by images of the affine line. This follows from our main intermediate result, that the smooth locus of a log Fano surface is rationally connected. We also give a classification of all but a bounded family of rank one log del Pezzo surfaces.

研究の動機と目的

• 負の対数Kodaira次元を持つ準射影的表面を、有理曲線を用いて特徴付けること。
• 中心的な技術的道具として、対Fano表面の滑らかさ部分の有理的連結性を確立すること。
• 有界な族を除くランク1の対デル・ペzzo表面を分類すること。
• 表面に有理曲線が存在することと、その対数Kodaira次元との関係を結ぶこと。
• ファノおよび対ファノ幾何学の結果を、準射影的設定へと拡張すること。

提案手法

• 対数特異点と対ファノ表面を分析するための、対数幾何学と最小モデルプログラムの技法の使用。
• 対Fano表面の滑らかさ部分への有理的連結性の結果の応用。
• 変形理論とモーリーの「湾曲・分裂」技法を用いた有理曲線の構成。
• 有界性結果と明示的な幾何的解析を用いたランク1の対デル・ペzzo表面の分類。
• 主定理を、アフィン直線を介した有理曲線が表面を支配することの研究に還元すること。
• 負の対数Kodaira次元を特徴付けるために、対数高次の線形系とその消滅性の使用。

実験結果

リサーチクエスチョン

• RQ1 準射影的表面が対数高次元線形系の切断を持たないのは、いつか？
• RQ2 アフィン直線からの有理曲線の存在と、対数Kodaira次元との関係は何か？
• RQ3 対Fano表面の滑らかさ部分が有理的連結であるための条件は何か？
• RQ4 ランク1の対デル・ペzzo表面の中で、有界でないものはどれであり、残りはどのように分類できるか？
• RQ5 滑らかさ部分の有理的連結性が、アフィン直線からの有理曲線による支配をどのように示唆するか？

主な発見

• 準射影的表面が負の対数Kodaira次元を持つことと、アフィン直線の像によって支配されることとは同値である。
• 任意の対Fano表面の滑らかさ部分は有理的連結である。これは中間的な主要結果である。
• ランク1の対デル・ペzzo表面のうち、有界な族を除くすべてが本論文で分類されている。
• 対数高次元線形系の切断が存在しないことは、アフィン直線からの有理曲線が表面を支配することと同値である。
• ランク1の対デル・ペzzo表面の分類は、幾何的および有界性の議論によって達成された。
• 証明は、特に準射影的場合において、最小モデルプログラムおよび対数幾何学の深い結果に依存している。