[论文解读] 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 表示的有限性，從而證明與此類對相關的雙有理自同構群是有限的。一個關鍵貢獻是透過歸一化，將 semi log 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 表示的有限性。
• 透過歸一化，建立 semi log canonical 對的對數豐沛猜想向對數 canonical 對的簡化。
• 為高維度極小模型程序的歸納方法提供基礎步驟。
• 將半正則性與雙有理有限性結果推廣至對數 canonical 和 semi log canonical 對。
• 將雙有理自同構的有限性與極小模型程序中的豐沛猜想及延拓猜想聯繫起來。

提出的方法

• 引入子 kawamata log terminal 對的 $\widetilde{B}$-雙有理映射與 $\widetilde{B}$-雙有理表示之概念，作為高維推廣的新技術工具。
• 應用相對 Kawamata–Viehweg 虛無定理與上同調注入性，分析對數 canonical 中心上的限制映射。
• 使用 Iitaka 纖化與相對半正則性，將問題簡化至低維情況。
• 運用整體 ACC 猜想與對數 canonical 閾值的 ACC，將非零猜想簡化至光滑情況。
• 應用 Shokurov 的多面體論證，將半正則性論證中從 $\mathbb{Q}$-除子推廣至 $\mathbb{R}$-除子。
• 利用 Kollár 的黏合理論與帶 ample scaling 的相對 MMP，於假設性條件下構造良好的極小模型。

实验结果

研究问题

• RQ1 在何種條件下，對數 canonical 對 $(X,\Delta)$ 的對數 pluricanonical 表示 $\rho_m(\mathrm{Bir}(X,\Delta))$ 是有限的？
• RQ2 對於 semi log canonical 對，對數 canonical 除子 $K_X + \Delta$ 何時是半正則的？這與其歸一化有何關係？
• RQ3 如何將 semi log canonical 對的豐沛猜想簡化為對數 canonical 情況？
• RQ4 在何種條件下，對數 canonical 中心 $S$ 上的限制映射 $H^0(X, \mathcal{O}_X(m(K_X + \Delta))) \to H^0(S, \mathcal{O}_S(m(K_X + \Delta)))$ 是滿射？
• RQ5 在現有猜想下，非零猜想與延拓猜想能在多大程度上簡化為低維度或更簡單的情況？

主要发现

• 當 $K_X + \Delta$ 是半正則且 $m(K_X + \Delta)$ 是 Cartier 時，對數 pluricanonical 表示 $\rho_m(\mathrm{Bir}(X,\Delta))$ 是有限的，從而解決了 Fujino 與 Gongyo 的一個猜想。
• 當 $K_X + \Delta$ 是大時，雙有理自同構群 $\mathrm{Bir}(X,\Delta)$ 是有限的，從而回答了 Cacciola 與 Tasin 的問題。
• 對於 semi log canonical 對，對數 canonical 除子 $K_X + \Delta$ 是半正則，當且僅當其在歸一化上的拉回是半正則，這提供了關鍵的簡化步驟。
• 在假設對數豐沛與 nefness 的條件下，對數 canonical 對的豐沛猜想成立，從而推廣了對 kawamata log terminal 對的已知結果。
• 當 $K_X + \Delta$ 是半正則時，除子對的延拓猜想對 divisorial log terminal 對成立，且此結論可由低維度的豐沛猜想推出。
• 在標準假設下，若豐沛猜想與相關猜想在維度 $n$ 成立，則可推出在基上存在良好的極小模型。