[論文レビュー] Base point free theorems--saturation, b-divisors, and canonical bundle formula--

Osamu Fujino|arXiv (Cornell University)|Aug 29, 2005

Algebraic Geometry and Number Theory参考文献 9被引用数 8

ひとこと要約

この論文は、b-除斥と飽和条件を用いて、基本点自由定理を再定式化し、Fukudaの数的効果的対数正則除斥のための結果を一般化し、厳密に証明する柔軟な枠組みを提供する。擬klt対に対する新しい基本点自由定理を確立し、最小lcm中心上のネフで豊富な除斥Hが特定の数的条件下で半アーモニックであることを証明する。これは、以前の証明におけるギャップを解消し、次元4の対数正則環への応用を可能にする。

ABSTRACT

We reformulate base point free theorems. Our formulation is flexible and has some important applications. One of the main purposes of this paper is to prove a generalization of the base point free theorem in Fukuda's paper: On numerically effective log canonical divisors.

研究の動機と目的

• b-除斥と飽和条件を用いた、基本点自由定理の厳密で柔軟な再定式化を提供し、以前の証明におけるギャップを解消すること。
• 特に対数正則4次元多様体の文脈において、Fukudaの数的効果的対数正則除斥のための基本点自由定理を一般化すること。
• 擬klt対に対する新しい基本点自由定理を確立し、Kawamata–Shokurovの定理の適用範囲をより一般な特異点を持つ対へ拡張すること。
• 除斥Hが最小lcm中心W上にあり、そのIitakaのファイブレーションに関する数的条件を満たす場合、Hがπ-半アーモニックであることを証明し、対数正則環の有限生成性を保証すること。

提案手法

• Shokurovのb-除斥形式主義を用いて、被約同型モデル間の線形系統と基本点の条件を扱う。
• 飽和条件を適用することで、Kawamata–Shokurovの基本点自由定理を部分kltおよび擬klt対へ拡張する。
• Ambroの canonical bundle formula の形式化を用いて、接続を介して複雑な場合を単純な場合に還元する。
• 底面S上にIitakaファイブレーションを構成し、数的次元を分析し、層の押し出しのランク条件を用いて半アーモニック性を検証する。
• dlt吹き上げとStein因子分解を用いて、lcm中心上の除斥とklt対との関係を確立し、既知の半アーモニック性結果の適用を可能にする。
• 射影公式と基底変換を用いて、異なるモデル間の層コホロロジーを関係づけ、特に可換図式内のV, W, Z間の関係を扱う。

実験結果

リサーチクエスチョン

• RQ1 b-除斥と飽和条件を用いて、擬klt対に対する基本点自由定理を一般化できるか？
• RQ2 Fukudaの数的効果的対数正則除斥に関する結果は、欠陥のある以前の証明に依存せずに厳密に証明可能か？
• RQ3 最小lcm中心上のネフで豊富な除斥が半アーモニックであるための条件は何か？
• RQ4 線形系統の文脈において、飽和条件は被約同型引き戻しに関してどのように安定化するか？
• RQ5 接続を介して、canonical bundle formula を用いて、基本点自由定理をkltの場合に還元できるか？

主な発見

• 本論文は、Fukudaの数的効果的対数正則除斥のための基本点自由定理の、初の厳密な証明を提供し、[K1, Theorem 4.3]におけるギャップを是正する。
• 定理4.4は、b-除斥とcanonical bundle formula を用いて、飽和条件を満たすネフで豊富な除斥について、部分klt対に対する一般化された基本点自由定理を確立する。
• 定理6.7は、Fukudaの結果を一般化し、数的次元と一般ファイブレーション上のIitakaファイブレーションに関する条件を満たす場合にHがπ-半アーモニックであることを証明する。
• 定理7.11は、擬klt対に対する基本点自由定理を証明し、Kawamata–Shokurovの定理の適用範囲を非klt特異点へ拡張する。
• 定理7.13は、ネフで豊富な除斥Hが最小lcm中心W上にあり、その数的次元とIitaka体積が特定の条件を満たす場合、Hがπ-半アーモニックであることを確認する。
• 半アーモニック性の証明は、押し出し層h_*O_V(⌈A(V,B)⌉)のランクが正確に1であることに依存し、これは正則性と基底変換の議論によって確立される。