[論文レビュー] Log pluricanonical representations and abundance conjecture

Osamu Fujino, Yoshinori Gongyo|arXiv (Cornell University)|Apr 3, 2011

Algebraic Geometry and Number Theory参考文献 31被引用数 20

ひとこと要約

この論文は、半正則な対数 canonical 分岐線を備えた射影的対数 canonical 対に対して、対数 pluricanonical 表現の有限性を確立し、そのような対に関連する双有理自己同型群が有限であることを証明する。主な貢献として、正規化を用いた、半対数 canonical 対における豊富性予想を対数 canonical 場合に還元することにより、高次元における最小モデルプログラムの帰納的アプローチが可能になる。

ABSTRACT

We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is semi-ample if and only if so is the log canonical divisor of its normalization. We also treat many other applications.

研究の動機と目的

• 射影的対数 canonical 対で、対数 canonical 分岐線が半正則である場合の、対数 pluricanonical 表現の有限性を証明すること。
• 正規化を用いて、半対数 canonical 対における対数豊富性予想を、対数 canonical 場合に還元すること。
• 高次元における最小モデルプログラムの帰納的アプローチの基礎的段階を提供すること。
• 半正則性および双有理的有限性に関する結果を、対数 canonical 及び半対数 canonical 対に一般化すること。
• 双有理自己同型の有限性と、最小モデルプログラムにおける豊富性予想および拡張予想を結びつけること。

提案手法

• kawamata log terminal 対に対して、$\widetilde{B}$-双有理写像および$\widetilde{B}$-双有理表現の概念を導入し、高次元への一般化のための新しい技術的道具を提供する。
• 相対 Kawamata–Viehweg の消失定理およびコhomological 連結性を用いて、対数 canonical 中心上の制限写像を分析する。
• Iitaka 纤維空間と相対半正則性を用いて、問題を低次元の場合に還元する。
• グローバル ACC 予想および対数 canonical 閾値の ACC を用いて、非消滅予想を滑らかさの状況に還元する。
• Shokurov の多面体論法を適用し、半正則性の議論において$\mathbb{Q}$-因子から$\mathbb{R}$-因子へ結果を拡張する。
• Kollár の接合理論およびアーマー・スケーリングを用いた相対 MMP を用いて、予想的仮定の下で良い最小モデルを構成する。

実験結果

リサーチクエスチョン

• RQ1 log pluricanonical 表現 $\rho_m(\mathrm{Bir}(X,\Delta))$ が、対数 canonical 対 $(X,\Delta)$ に対して有限である条件は何か？
• RQ2 半対数 canonical 対に対して、対数 canonical 分岐線 $K_X + \Delta$ が半正則であるのはいつか？ また、その正規化との関係は？
• RQ3 半対数 canonical 対における豊富性予想を、どのように対数 canonical 場合に還元できるか？
• RQ4 log canonical 中心 $S$ に対して、制限写像 $H^0(X, \mathcal{O}_X(m(K_X + \Delta))) \to H^0(S, \mathcal{O}_S(m(K_X + \Delta)))$ が全射となる条件は何か？
• RQ5 既存の予想を用いて、非消滅および拡張予想を、低次元またはより単純な状況にどの程度まで還元できるか？

主な発見

• 対数 canonical 分岐線 $K_X + \Delta$ が半正則で、$m(K_X + \Delta)$ が Cartier であるとき、対数 pluricanonical 表現 $\rho_m(\mathrm{Bir}(X,\Delta))$ は有限である。これは Fujino と Gongyo の予想を解決する。
• 対数 canonical 分岐線 $K_X + \Delta$ が大であるとき、双有理自己同型群 $\mathrm{Bir}(X,\Delta)$ は有限である。これは Cacciola と Tasin の質問に答える。
• 半対数 canonical 対に対して、対数 canonical 分岐線 $K_X + \Delta$ が半正則であることと、その正規化への引き戻しが半正則であることとは同値であり、これは重要な還元ステップを提供する。
• log abundance およびネフ性の仮定の下で、対数 canonical 対における豊富性予想は成り立つ。これは既知の kawamata log terminal 対に対する結果を一般化する。
• 対数 canonical 分岐線 $K_X + \Delta$ が半正則であるとき、除法的対数 canonical 対に対する拡張予想は成り立つ。これは低次元における豊富性予想に従属する。
• 標準的仮定の下で、次元 $n$ における豊富性予想および関連する予想が成り立つならば、基底上での良い最小モデルの存在が示唆される。