[論文レビュー] Boundedness of log terminal Fano pairs of bounded index

James McKernan|arXiv (Cornell University)|May 20, 2002

Algebraic Geometry and Number Theory参考文献 13被引用数 27

ひとこと要約

この論文は、有界なインデックスと固定された次元をもつ対数終票ファノ対が有界な族をなすことを証明し、双有理幾何における重要な有限性結果を確立する。有界な対数不一致度とファイバー空間構成を用いて、反 canonical 細分の次数が一様に有界であることを示し、滑らかでない部分の代数的基本群の有限性を示し、バチレフの予想をすべての次元で解決する。

ABSTRACT

We prove a conjecture of Batryev which states that the family of all Fano varieties with kawamata log terminal singularities and fixed index, forms a bounded family.

研究の動機と目的

• 固定された次元と有界インデックスをもつ対数終票ファノ対が有界な族をなすことの証明。バチレフの予想を扱う。
• このような対に対して、反 canonical 細分 $-(K_X + \Delta)$ の次数に一様な上界を確立すること。
• $(X, \Delta)$ の滑らかでない部分の代数的基本群が有限であることを示すこと。ただし $-(K_X + \Delta)$ は大域的でかつネフであるものとする。
• 滑らかなファノ多様体に対する有界性結果を、カワマタ対数終票特異点と境界除集合をもつ特異ファノ対へ拡張すること。
• 特に特異点と境界除集合が存在する状況において、最小モデルプログラムの文脈でファノ多様体の有界性を確立する基盤を提供すること。

提案手法

• Kollár の結果を適用して、有界性問題を $d = (-K_X - \Delta)^n$ の最高次自己交叉数の有界性に還元する。
• 双有理射影 $\pi: Y \to X$ と射影 $f: Y \to B$ の存在を用いて、次数が有界なファイバーの幾何を分析する。
• 対数不一致度の有界性を用いて、境界除集合 $\Delta$ の係数を $1 - \epsilon$ 以下に制御する。
• ネーター的帰納法と解消技術を用いて、グローバルな正則交差を持つ滑らかな射影への還元を行う。
• アーマー除集合上の交差論を用いて、対数引き戻し $\Gamma$ とファイバー上の除集合 $\Gamma_{t,s}$ を含む不等式により次数を有界化する。
• ファイバー族の有界性と非カワマタ対数終票条件を用いて、乗数 $w$ に対する一様な上界 $w_0$ を導出し、$d$ に対する有界性を得る。

実験結果

リサーチクエスチョン

• RQ1 固定された次元と有界インデックスをもつ対数終票ファノ対の族は有界な族をなすか？
• RQ2 このような対に対して、反 canonical 細分 $-(K_X + \Delta)$ の次数は一様に有界にできるか？
• RQ3 $(X, \Delta)$ の滑らかでない部分の代数的基本群は、$-(K_X + \Delta)$ が大域的でネフであるとき有限か？
• RQ4 有界性結果は、カワマタ対数終票特異点と境界除集合をもつ特異ファノ多様体へ拡張可能か？
• RQ5 対数不一致度とファイバー空間構造は、有界インデックスをもつファノ対の幾何を制御するために果たす役割は何か？

主な発見

• 固定された次元 $n$ と有界インデックス $r$ をもつ対数終票ファノ対 $(X, \Delta)$ の族は有界である。バチレフの予想が確認された。
• すべてのこのような対に対して、$d = (-K_X - \Delta)^n < M$ を満たす一様な実数 $M$ が存在する。これは重要な定量的有界性を示す。
• $(X, \Delta)$ の特異点集合の補集合の代数的基本群は、$-(K_X + \Delta)$ が大域的でネフであるとき有限である。これは有限エタール被覆を用いて示された。
• 反 canonical 細分の次数は、$(w_0 n)^n$ で有界であり、ここで $w_0$ は対数不一致度と次元に依存する定数である。
• ファイバー族の有界性と対数引き戻しにおける非カワマタ対数終票条件から、族の有界性が導かれる。
• 証明は、MMP を通じたファイバー空間への還元に依拠しており、次数が有界なファイバーを持つ射影の存在を用いる。