[論文レビュー] An elementary semi-ampleness result for log canonical divisors

Shigetaka Fukuda|arXiv (Cornell University)|Mar 6, 2010

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

ひとこと要約

本稿では、カワマタ対数終票特異点をもつ射影的代数多様体 $X$ 上の対数 canonical 除数 $K_X + \Delta$ が、半アーモニックな $\mathbf{Q}$-除数と数値同値であるならば、$K_X + \Delta$ 自身も半アーモニックであることを確立する。証明は相対的半アーモニック定理と数値同値性を用いて問題を双有理幾何の議論に還元し、最終的にザリスキの主要定理と数値同値性におけるアーモニック性の保存性により、除数が半アーモニックであることが結論づけられる。

ABSTRACT

If the log canonical divisor on a projective variety with only Kawamata log terminal singularities is numerically equivalent to some semi-ample $\mathbf{Q}$-divisor, then it is semi-ample.

研究の動機と目的

• 数値同値性により半アーモニックな $\mathbf{Q}$-除数と同値である場合の対数 canonical 除数の半アーモニック性基準を確立すること。
• カワマタ対数終票ペアにおける対数豊富性予想の特殊ケースを、直接的かつ初等的な証明で示すこと。
• 既知の対数 canonical 除数が数値的に自明であるという結果を、より広い意味での数値的に同値な半アーモニック除数の設定へと拡張すること。
• 対数 canonical 特異点のための部分予想を提示し、主結果をより広いペアのクラスへ一般化すること。
• 高度な最小モデルプログラムの技法を避けて、相対的半アーモニック性と数値同値性を用いた自己完結的な議論を提供すること。

提案手法

• 十分に大きく、可除性を持つ $l$ を用いて、$D$ を数値的に $K_X + \Delta$ と同値な半アーモニックな $\mathbf{Q}$-Cartier $\mathbf{Q}$-除数とするとき、線形系統 $|lD|$ を通じて写像 $f: X \to Y$ を構成する。
• $f^*A$ が $Y$ 上のアーモニック除数 $A$ と数値同値であるため、$K_X + \Delta$ が構成上 $f$-nef であることを示す。
• 一般ファイバー $F$ に対して $\mathbf{Q}$-線形自明性の結果（命題 0.4）を適用し、$(K_X + \Delta)|_F$ が $\mathbf{Q}$-線形的に自明であることを証明する。
• 相対的半アーモニック定理（命題 0.7）を用いて、$K_X + \Delta$ が $f$-半アーモニックである、したがって $m(K_X + \Delta) = g^*B$ となる $Z$ 上の $h$-アーモニック除数 $B$ が存在することを導く。
• $f^*(mA - lB)$ の数値的自明性を用いて、$h: Z \to Y$ が双有理的かつ有限であることを示し、ザリスキの主要定理を適用して $h$ が同型であることを結論づける。
• $lB$ が $Y$ 上でアーモニックであることを示し、数値同値性とアーモニック性の保存性により、$K_X + \Delta$ が半アーモニックであることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 対数 canonical 除数 $K_X + \Delta$ が、半アーモニックな $\mathbf{Q}$-除数と数値同値であるとき、どのような条件下で半アーモニックになるか？
• RQ2 数値同値性の下で、相対的半アーモニック定理から $K_X + \Delta$ の半アーモニック性を導くことは可能か？
• RQ3 一般ファイバーへの $K_X + \Delta$ の制限が $\mathbf{Q}$-線形的に自明であるならば、それが全体としての半アーモニック性を示唆するか？
• RQ4 カワマタ対数終票設定において、数値同値性を介して対数豊富性予想に到達することは可能か？
• RQ5 主結果が拡張される最小の特異点条件は何か、特に対数 canonical ペアにおいては？

主な発見

• 射影的代数多様体にカワマタ対数終票特異点をもつ場合、対数 canonical 除数 $K_X + \Delta$ が半アーモニックな $\mathbf{Q}$-Cartier $\mathbf{Q}$-除数と数値同値であるならば、$K_X + \Delta$ は半アーモニックである。
• 証明は、数値的に同値な半アーモニック除数によって誘導される写像 $f: X \to Y$ に適用される相対的半アーモニック定理（命題 0.7）に依存している。
• 一般ファイバー $F$ への $K_X + \Delta$ の制限は、命題 0.4 によって保証されるように $\mathbf{Q}$-線形的に自明である。
• 相対的半アーモニック定理によって誘導される写像 $h: Z \to Y$ は、ザリスキの主要定理により同型であることが示され、$K_X + \Delta$ が半アーモニックであることを示す。
• $mA$ のアーモニック性と数値同値性から、$Y$ 上の $lB$ のアーモニック性が従い、$K_X + \Delta$ が半アーモニックであることが確認される。
• この結果は、対数 canonical 特異点へ一般化する部分予想（予想 0.8）を支持しており、後続して Gongyo により次元 ≤ 4 において部分的に確認された。