[论文解读] On canonical bundle formulae and subadjunctions

Osamu Fujino, Yoshinori Gongyo|arXiv (Cornell University)|Sep 21, 2010

Algebraic Geometry and Number Theory参考文献 6被引用 12

一句话总结

本文為正常代數簇之間的通態有限的有限射影態射建立了規範叢公式，進而導出對對數極小奇點中心的子鄰接公式。證明了此類奇點中心上對數極小叢的限制線性等價於一個卡瓦马塔對數極小對，從而推出其具有有理奇點，並應用於非消去定理與有限態射下的對數法諾簇。

ABSTRACT

We consider a canonical bundle formula for generically finite proper surjective morphisms and obtain subadjunction formulae for minimal log canonical centers of log canonical pairs. We also treat related topics and applications.

研究动机与目标

• 為正常代數簇之間的通態有限、有限射影、滿射態射建立規範叢公式。
• 將卡瓦馬塔的子鄰接公式推廣至對數極小對中的對數極小奇點中心。
• 透過子鄰接公式證明對數極小奇點中心具有有理奇點。
• 將結果應用於非消去定理與有限態射下對數法諾簇的像。
• 發展一個局部版本的子鄰接公式，適用於局部奇點理論，且不依賴緊化。

提出的方法

• 證明一個主要引理：若對通態有限態射 $f: X \to Y$ 有 $K_X + \Delta \sim_{\mathbb{K},f} 0$，則存在 $Y$ 上的 $\mathbb{K}$-除子 $\Gamma$，使得 $K_X + \Delta \sim_{\mathbb{K}} f^*(K_Y + \Gamma)$，且 $(Y, \Gamma)$ 為對數極小。
• 利用史坦因分解與奇點的解析化，將問題簡化至有限態射。
• 應用安布羅對卡瓦馬塔對數極小對的規範叢公式，並推廣至對數極小對。
• 透過限制規範叢至對數極小奇點中心，構造子鄰接公式，並證明所導出的對為卡瓦馬塔對數極小。
• 利用局部版本的規範叢公式，推導出一個在無需緊化下依然有效的局部子鄰接結果。
• 將結果應用於證明非消去定理，並研究有限態射下對數法諾簇的像。

实验结果

研究问题

• RQ1 能否為正常代數簇之間的通態有限、有限射影、滿射態射建立規範叢公式？
• RQ2 對數極小對中的對數極小奇點中心是否具有子鄰接公式，並推廣卡瓦馬塔的結果？
• RQ3 子鄰接公式能否以局部形式表述，且不依賴整體緊化？
• RQ4 子鄰接公式對對數極小奇點中心奇點性質有何影響？
• RQ5 子鄰接結果如何應用於非消去定理與對數法諾簇？

主要发现

• 為通態有限態射建立了規範叢公式：若 $K_X + \Delta \sim_{\mathbb{K},f} 0$，則存在 $Y$ 上的有效 $\mathbb{K}$-除子 $\Gamma$，使得 $K_X + \Delta \sim_{\mathbb{K}} f^*(K_Y + \Gamma)$，且 $(Y, \Gamma)$ 為對數極小。
• 證明了對數極小奇點中心的子鄰接公式：$(K_X + D)|_W \sim_{\mathbb{K}} K_W + D_W$，其中 $(W, D_W)$ 為卡瓦馬塔對數極小。
• 對數極小奇點中心僅具有有理奇點，此為子鄰接公式的直接推論。
• 利用子鄰接結果與卡瓦馬塔–昭和的基點自由定理，快速證明了對數極小對的非消去定理。
• 建立了一個局部版本的子鄰接公式，適用於仿射簇且不依賴緊化，其基礎為局部規範叢公式。
• 證明了若原對為卡瓦馬塔對數極小且反規範叢為ample，則有限態射下的對數法諾簇的像仍為對數法諾。