[論文レビュー] Boundedness of Fano threefolds with log-terminal singularities of given index

Alexandr Borisov|ArXiv.org|Oct 7, 1999

Algebraic Geometry and Number Theory参考文献 19被引用数 34

ひとこと要約

この論文は、固定されたインデックスを持つ対数終票特異点をもつファノ3次元多様体が、高々有限個の族に属することを証明し、次元3における有界性を確立する。最小モデルプログラムの技術、Kollárの有効基点自由性、Kawamataの極小曲線長の境界を用いて、従来は一極性ファノ多様体（Q-因子的でピカール数1）に限られていた有界性結果を、一般の対数終票ケースに拡張する。これはバチレフの、制御された特異点をもつファノ多様体の有界性に関する予想の重要なケースを解決する。

ABSTRACT

We prove the boundedness theorem for Fano threefolds with log-terminal singularities of any fixed index. This is an improvement of our earlier result, where we required additionally that the variety is Q-factorial, with Picard number 1. The new ideas of the paper include the following. 1. Using Alexeev Minimal Model program with suitable boundary to find horizontal extremal contractions. 2. Using Kollár's effective Base Point Freeness theorem. 3. Using Kawamata's result on the length of extremal curves with suitable boundary to avoid gluing curves in some cases.

研究の動機と目的

• 与えられたインデックスを持つ対数終票特異点をもつファノ3次元多様体が有界な族をなすことを証明すること。
• 従来、Q-因子的でピカール数1に限られていた有界性結果を、一般の対数終票ケースに拡張すること。
• n次元ファノ多様体がε-対数終票特異点をもつ場合の有界性に関する、より広範なボリスォフ＝アレクセエフ予想への重要な一歩を提供すること。
• 穏やかな特異点をもつファノ3次元多様体の分類と、対数サルキソフプログラムの基礎的結果を確立すること。

提案手法

• 適切な境界を用いた最小モデルプログラムにより、水平な極小的収縮を構成する。
• Kollárの有効基点自由性定理を用いて、全空間および表面における線形系を制御する。
• Kawamataの極小曲線の長さに関する結果を用いて、小規模な収縮における曲線の結合を避ける。
• 対数終票変形と接続公式を用いて、双有理写像下での曲線の振る舞いを分析する。
• 有界性を示すために、交差性質が制御された除集合Dを構成し、h⁰(H)の有界性を用いた背理法を適用する。
• 表面の線形系の有界性とファイバーごとの制御を組み合わせ、反標準次数の全般的な有界性を導出する。

実験結果

リサーチクエスチョン

• RQ1 固定されたインデックスを持つ対数終票特異点をもつファノ3次元多様体は、一極性の仮定なしに有界な族をなすか？
• RQ2 有理曲線の手術法は、Q-因子的でピカール数1のケースを超えて、対数終票特異点をもつファノ3次元多様体に拡張可能か？
• RQ3 極小的収縮と対数終票変形は、特異ファノ3次元多様体上の線形系の有界性を制御するために果たす役割は何か？
• RQ4 Kollárの有効基点自由性は特異点とどのように作用し、反標準次数の有界性を保証するか？
• RQ5 極小曲線の長さの境界は、対数終票設定において無限族を除外するために利用可能か？

主な発見

• 任意の固定されたn ∈ ℕに対して、インデックスnの対数終票特異点をもつファノ3次元多様体の族は有界である。
• 任意の対数終票特異点をもつファノ3次元多様体の滑らかさ領域の代数的基本群は有限である。
• 有理的ゴレンシュタイン特異点をもつファノ3次元多様体は有界な族をなす。
• 有界性結果により、反標準次数H³がインデックスnの関数として有界であることが示される。
• すべてのこのような3次元多様体が、−K_Xと有界な交わりをもつ有理曲線の被覆族を含むことが証明される。
• Kawamataの極小曲線長の境界と対数終票変形を用いることで、曲線の結合を避ける手法が成功した。