[论文解读] Introduction to the log minimal model program for log canonical pairs

Osamu Fujino|ArXiv.org|Jul 9, 2009

Algebraic Geometry and Number Theory参考文献 68被引用 95

一句话总结

本文通過擬-log代數簇建立對數 canonical 對的對數最小模型程序（LMMP）的基礎框架，推廣了 Kollár 對嵌入的法向交錯（NC）對的消影與無 torsion 定理。本文證明了擬-log代數簇的錐與收縮定理，使得以透過附帶與消影定理對對數 canonical 對進行系統的雙有理分類，主要成果包括對數 canonical 對的基點自由、有理性與錐定理。

ABSTRACT

We describe the foundation of the log minimal model program for log canonical pairs according to Ambro's idea. We generalize Kollár's vanishing and torsion-free theorems for embedded simple normal crossing pairs. Then we prove the cone and contraction theorems for quasi-log varieties, especially, for log canonical pairs.

研究动机与目标

• 發展對數 canonical 對的對數最小模型程序（LMMP）理論基礎，超越 klt 情況。
• 將 Kollár 的消影與無 torsion 定理推廣至嵌入的法向交錯（NC）對，以提供對數 canonical 奇點的上同調工具。
• 引入並系統發展擬-log代數簇理論，作為處理對數 canonical 對及其奇點的框架。
• 利用附帶與消影定理，證明擬-log代數簇的錐與收縮定理，特別是對對數 canonical 對。
• 提供一個自包含的、對對數 canonical 對的 LMMP 的基礎處理，與 [BCHM] 的結果區分，專注於混合 Hodge 理論與消影定理。

提出的方法

• 利用混合 Hodge 理論，將 Kollár 的消影與無 torsion 定理推廣至嵌入的簡單法向交錯（SNC）與法向交錯（NC）對。
• 透過對對數 canonical 對的解析上定義擬-log代數簇，並透過包含負部分的上取整的直接像公式，識別對數 canonical 軌跡的結構層。
• 透過混合 Hodge 結構理論，將擬-log代數簇的消影定理歸約至 SNC 對上的 Kollár 定理。
• 利用推廣的消影定理與環境空間上 canonical 類的結構，證明擬-log代數簇的基點自由定理。
• 透過基點自由定理與 Kleiman–Mori 錐的幾何性質，推導有理性與錐定理，並利用對數 canonical 中心上的附帶公式。
• 利用 торic幾何構造顯式例子，包括非 ℚ-因子化的翻轉，以說明 LMMP 在奇異且非因子化設定下的行為。

实验结果

研究问题

• RQ1 如何透過統一框架將對數最小模型程序從 klt 對推廣至對數 canonical 對？
• RQ2 對對數 canonical 對而言，Kollár 的消影與無 torsion 定理需要哪些推廣才是必要且充分的？
• RQ3 擬-log代數簇的概念如何用於證明對數 canonical 對的錐與收縮定理？
• RQ4 混合 Hodge 理論在證明對數 canonical 對的消影定理中扮演何種角色？
• RQ5 對數 canonical 對的 LMMP 是否能獨立於 [BCHM] 的結果發展，特別是在非 ℚ-因子化設定下？

主要发现

• 透過附帶與推廣的消影定理，證明了擬-log代數簇（特別是對數 canonical 對）的錐與收縮定理。
• 利用擬-log代數簇框架與推廣的消影定理，證明了對數 canonical 對的基點自由定理。
• 由基點自由定理與 Kleiman–Mori 錐的幾何性質，推導出對數 canonical 對的有理性定理。
• 顯式構造了一個非 ℚ-因子化的 Gorenstein toric 翻轉，顯示在非 ℚ-因子化情況下，Picard 數可能在翻轉下增加。
• 推廣了對數 canonical 中心上的附帶公式，顯示即使在奇異設定下，中心上的 canonical 類亦可透過拉回與分歧校正表達。
• 證明擬-log代數簇框架對對數 canonical 對而言至關重要，因混合 Hodge 理論對所需消影定理而言不可或缺。