[論文レビュー] Freeness of adjoint linear systems on threefolds with terminal Gorenstein singularities or some quotient singularities

Nobuyuki Kakimi|ArXiv.org|Dec 24, 1998

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

ひとこと要約

この論文は、KawamataのFujitaの自由性予想に関する研究を特異な3次元多様体へと拡張し、終身的Gorenstein3次元多様体ではm ≥ 4、商特異点1/r(1,1,1)および1/r(1,1,-1)の型ではm ≥ 3のとき、付随線型系統|K_X + mL|が自由であることを証明する。さらに、正則的だが非終身的な特異点の場合は、自由性の閾値がm ≥ 5に上昇し、明示的な例によってこの境界が鋭いことを示している。したがって、滑らかな場合よりも特異な場合に、より悪い推定値を必要とすることが明らかになった。

ABSTRACT

We generalize the result of Kawamata concerning the strong version of Fujita's freeness conjecture for smooth 3-folds to some singular cases, namely, Gorenstein terminal singularities and quotient singularities of type 1/r(1,1,1) and of type 1/r(1,1,-1). We generalize furthermore the result of that to projective threefolds with only canonical singularities for canonical and not terminal singularities. It turns out that the estimates in the first three cases are better than the one for the smooth case, which it is not in the fourth case. We also give explicit examples which show the estimate in the fourth case is necessarily worse than the one for the smooth case.

研究の動機と目的

• 滑らかな3次元多様体におけるKawamataの強いFujitaの自由性予想を、終身的Gorensteinまたは特定の商特異点をもつ特異な3次元多様体へ一般化すること。
• 特異な3次元多様体上での付随線型系統|K_X + mL|が自由となるような乗数mの最適な境界を特定すること。
• 特異な場合の自由性閾値が滑らかな場合と比べて、いつどのように大きくなるかを比較すること。
• 正則的だが非終身的な特異点を持つ3次元多様体の自由性境界が、滑らかな場合よりも著しく悪いことを示す明示的な例を構成すること。

提案手法

• 滑らかな場合のKawamata元来の証明手法を、終身的Gorensteinおよび商特異点をもつ特異な3次元多様体に適応する。
• 基本点自由定理および対数最小モデルプログラムの技術を用いて、特異な3次元多様体上の付随線型系統を分析する。
• 1/r(1,1,1)および1/r(1,1,-1)型の商特異点の構造を活用し、自由性閾値に対するより鋭い推定を得る。
• 標準束の公式および対数正則特異点閾値解析を用いて、特異点を制御し、自由性を保証する。
• 正則的だが非終身的な特異点をもつ3次元多様体の明示的例を構成し、自由性境界m ≥ 5が鋭いことを示す。
• さまざまな特異点型の自由性閾値を比較することで、正則的非終身的ケースにおける境界の劣化を強調する。

実験結果

リサーチクエスチョン

• RQ1 終身的Gorenstein特異点をもつ3次元多様体において、|K_X + mL|が自由となるようなmの最適な境界は何か？
• RQ2 1/r(1,1,1)および1/r(1,1,-1)型の商特異点をもつ3次元多様体における付随線型系統の自由性閾値は、滑らかな場合と比べてどうなるか？
• RQ3 正則的だが非終身的な特異点では、滑らかな場合と比べて自由性閾値が上昇するか？もしあるなら、どの程度上昇するか？
• RQ4 正則的非終身的特異点の自由性境界が、滑らかな場合よりも著しく悪いことを示す明示的な例を構成できるか？
• RQ5 終身的Gorensteinおよび商特異点の自由性推定値は、滑らかな場合のものよりも厳密に良いものか？

主な発見

• 終身的Gorenstein特異点をもつ3次元多様体では、|K_X + mL|はm ≥ 4のとき自由であり、滑らかな場合にm ≥ 5が必要とされるのと比べて改善されている。
• 1/r(1,1,1)および1/r(1,1,-1)型の商特異点では、自由性閾値がm ≥ 3であり、滑らかな場合よりも良好である。
• 正則的だが非終身的な特異点の場合は、自由性閾値がm ≥ 5に上昇し、滑らかな場合よりも悪い。
• 正則的非終身的3次元多様体に対してm ≥ 5が鋭い境界であることを示す明示的例が構成され、これが改善できないことが証明された。
• 終身的Gorensteinおよび商特異点の自由性推定値は、滑らかな場合のものよりも厳密に良いが、正則的非終身的ケースではより大きな閾値を必要とする。