[論文レビュー] Boundedness theorem for Fano log-threefolds

Alexandr Borisov|ArXiv.org|Feb 6, 1994

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

ひとこと要約

本稿では、ゴレンシュタイン指数が有界な対数終票特異点をもつすべてのファノ対数3次元多様体の族が有限であることを証明し、このような3次元多様体の有界性を確立している。特徴的定理、ヒルベルト多項式解析、および解体技術を用いて、著者は第3自己交点数 $(-K_X)^3$ が有界であることを示し、これによりネーター型帰納法によって族の有限性が導かれる。

ABSTRACT

The main purpose of this article is to prove that the family of all Fano threefolds with log-terminal singularities with bounded index is bounded.

研究の動機と目的

• 対数終票特異点と有界ゴレンシュタイン指数をもつファノ対数3次元多様体の有界性を確立すること。
• 固定された指数 $n$ をもつすべてのこのような3次元多様体が有限個の族に属することを証明すること。
• 滑らかでかつ終票特異点をもつファノ3次元多様体に対する有界性結果を、より広いクラスの対数終票特異点、$ \mathbb{Q}$-因子的、$ \rho=1$ のファノ3次元多様体に拡張すること。
• 対数差分が $-1 + \epsilon$ より大きいファノ多様体が有界であるという予想を検証するための基礎的段階を提供すること。

提案手法

• カワマタ–ビューエグの特徴的定理を用いて、$i > 0$ に対して $h^i(-mK_X) = 0$ が成り立つことを保証し、$h^0(-mK_X)$ の計算を簡略化する。
• Riemann–Roch 公式 $\chi(\mathcal{O}_X(-mnK_X))$ の解析を行い、$m$ に関する3次多項式として表現する。その係数には $(-K_X)^3$、$\alpha$、$\beta$ が含まれる。
• Lemma 2.1 を用いて、有界性問題を $h^0(-2nK_X)$ が有界であることを示すことに還元する。
• Lemma 2.2 を用いて、曲線の接続性と局所的重複度を用いて特異多様体上の交点数を有界化する。
• 正確な解体補題（Lemma 5.2）を用いて、正規化 $Y_4$ を構成し、その際、標準次数 $K_{Y_4} \cdot L$ が指数 $n$ の関数として有界になるようにし、変形の挙動を制御する。
• コラール–ミヤオカ–モリの接合補題を応用し、新しい有理曲線の被覆族を構成し、問題を低次元の場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 固定されたゴレンシュタイン指数 $n$ をもつ、対数終票特異点をもつファノ対数3次元多様体の族は、有界族をなすか？
• RQ2 終票性を仮定しないで、$\rho=1$、$\mathbb{Q}$-因子的特異点、対数終票特異点をもつファノ3次元多様体に対しても有界性が確立可能か？
• RQ3 このようなファノ対数3次元多様体に対して、第3自己交点数 $(-K_X)^3$ は有界か？
• RQ4 有界性の十分条件として、$h^0(-2nK_X)$ の有界性が利用可能か？
• RQ5 繰り返しの曲線接合および解体ステップの後、$l' \cdot (-K_X)$ の有効な上限は何か？

主な発見

• 任意の固定された自然数 $n$ に対して、指数 $n$ のすべてのファノ対数3次元多様体の族は、$(-K_X)^3$ の有界性により、有限であることが示された。
• Lemma 2.1 を用いて、$h^0(-2nK_X)$ の有界性から $(-K_X)^3$ の有界性が導かれる。
• 十分に大きな $h^0(-2nK_X)$ の場合、正確な解体 $Y_4$ が存在し、(2A) 場合では $K_{Y_4} \cdot L \leq 72n$、(2B) 場合では $K_{Y_4} \cdot L \leq 3n + 72n^2$ が成り立つ。これにより、変形挙動の制御が可能になる。
• 曲線 $L$ に対して $Y_4$ 上に非自明な2点変形がないことから、接合補題を適用して新しい被覆族を構成できる。
• 新しい被覆族における曲線の次数の上限は $l' \cdot (-K_X) \leq 12n(4 + 3n + 72n^2)$ であり、これは $n$ のみに依存する有限値であり、低次元への還元を完了する。
• 最終的にネーター型帰納法により主定理が得られ、指数 $n$ のファノ対数3次元多様体の族は有限個の族に属することが示されたが、不変量に対する有効な境界は提供されていない。