[論文レビュー] On the multiplicity of terminal singularities on threefolds

Nobuyuki Kakimi|ArXiv.org|Apr 17, 2000

Algebraic Geometry and Number Theory参考文献 7被引用数 3

ひとこと要約

本稿は、複素数体ℂ上における3次元多様体上の端末特異点の重複度と埋め込み次元について明示的な公式を確立し、multₚX ≤ indexₚX + 2を証明する。この境界を用いて、端末弱ℚ-ファノ3次元多様体の有界性結果を改善し、非超曲面的端末特異点に対してもフジタの自由性条件を拡張する。

ABSTRACT

We give the multiplicity of terminal singularities on threefolds by simple calculation. Then we obtain the best inequalities for the multiplicity and the index. By using this, we can improve the boundedness number of terminal weak Q-Fano 3-folds in [KMMT, Theorem 1.2]. Furthermore, we can extended [K, Theorem 3.6] for Fujita freeness conditions to nonhypersurface terminal singularities.

研究の動機と目的

• 3次元多様体上の端末特異点の正確な重複度および埋め込み次元を特定すること。
• 端末特異点における重複度とインデックスの間の鋭い不等式を確立すること。
• よりきつい重複度の境界を用いて、端末弱ℚ-ファノ3次元多様体の有界性数を改善すること。
• 3次元の非超曲面的端末特異点に対し、フジタの自由性条件を拡張すること。
• 局所環のヒルベルト＝サミュエル重複度の明示的公式を提供すること。

提案手法

• 端末特異点における局所環の各次数付き部分の次元を導出する：dim(mₚ^k / mₚ^{k+1}) = multₚX · k(k+1)/2 + k + 1。
• モリによる3次元端末特異点の分類を用いて、各型（cA/r, cAx/4, cAx/2, cD/2, cD/3, cE/2）を分析する。
• 連分数アルゴリズムを適用して、商特異点ℂ³/ℤᵣ(a,−a,1)の重複度を計算し、multₚX = ⌊r₀/r₁⌋ + ⌊r₁/r₂⌋ + ⋯ + ⌊rₙ₋₁/rₙ⌋ + 2を導出する。
• 補題3.2（ネフかつビッグな除斥子と重複度による体積の下界）を用いて、反標準的体積を有界化する。
• [KMMT]における従来の境界を、改善された重複度境界 multₚX ≤ indexₚX + 2 に置き換える。
• [K, 定理3.6]の証明戦略を改変し、新たな重複度境界を組み込むことで、非超曲面的端末特異点に対してもフジタの自由性を拡張する。

実験結果

リサーチクエスチョン

• RQ1 端末3次元多様体特異点における局所環のヒルベルト＝サミュエル重複度の正確な公式は何か？
• RQ2 インデックスを用いて、端末特異点の重複度の鋭い上界は何か？
• RQ3 よりきつい重複度の境界を用いて、端末弱ℚ-ファノ3次元多様体の有界性数を改善できるか？
• RQ4 3次元の非超曲面的端末特異点に対し、フジタの自由性条件を拡張できるか？
• RQ5 端末3次元多様体特異点の埋め込み次元は、その重複度およびインデックスとどのように関係するか？

主な発見

• 端末3次元多様体特異点の重複度は multₚX ≤ indexₚX + 2 を満たし、indexₚX ≥ 2 のとき等号が成立しうる。
• 端末特異点に対して、emb.dimₚX = multₚX + 2 が成り立つ。
• 商特異点 ℂ³/ℤᵣ(a,−a,1) の重複度は、r/a の連分数展開における床関数の和に2を加えたものに等しい。
• 改善された境界により、反標準的体積の境界 (−K_X)³ ≤ 6³·(2 + 24!) が得られる。これは、反標準的写像に除斥的収縮がない端末弱ℚ-ファノ3次元多様体に対して成り立つ。
• 端末弱ℚ-ファノ3次元多様体に対して、Gorensteinインデックス I(X) は 24! を割り切る。これは −K_X·c₂(X) ≥ 0 であるためである。
• フジタの自由性条件が非超曲面的端末特異点に拡張された：L が非常に正で、ある体積条件を満たすならば、|K_X + L| は特異点で自由である。