[论文解读] The locus of log canonical singularities

Florin Ambro|ArXiv.org|Jun 11, 1998

Algebraic Geometry and Number Theory参考文献 8被引用 25

一句话总结

本文證明了在對數 canonical 對中，對數 canonical 奇點的支集（LCS）是擬正規的，從而確認了 V. Shokurov 的一個猜想。作者運用受 Kawamata 启發的擾動技術與形式擬正規性結果，證明在對數 canonical 奇點下，LCS(X,B_X) 是擬正規的，推廣了先前關於正規性與嚴格對數極小奇點的結果。此結果為最小模型程序中的歸納論證提供了基礎工具。

ABSTRACT

The LCS locus is an essential ingredient in the proof of fundamental results of Log Minimal Model Program, such as nonvanishing and base point freeness theorems. We prove in this paper that the LCS locus of a log canonical variety has seminormal singularities.

研究动机与目标

• 研究對數 canonical 對中對數 canonical 奇點支集的奇點性質。
• 解決 V. Shokurov 提出的猜想，即當 (X,B_X) 具有對數 canonical 奇點時，LCS(X,B_X) 是擬正規的。
• 推廣先前關於對數極小與嚴格對數極小情形下 LCS 正規性的結果。
• 透過理想層與相對對數對中的擬正規態射，建立研究 LCS 的形式框架。
• 透過分析 LCS 支集的結構，為最小模型程序中的歸納技術提供基礎工具。

提出的方法

• 引入相對有效對數對中 LCS 理想層的改良定義，推廣了 Shokurov 原始構造。
• 證明定理 2.6，這是一個關鍵技術結果，延伸了 Shokurov 與 Kollár 對 LCS 支集收縮的結果。
• 應用 Kawamata 的擾動技術，證明在適當假設下，任何有限個對數 canonical 中心的並集均為擬正規。
• 利用形式擬正規性結果，推導出當周圍對為對數 canonical 時，LCS 支集為擬正規。
• 運用擬正規化的普遍性質，建立範疇中代數簇的態射下的函子性與相容性。
• 證明中關鍵技術工具為特徵零下的 Kawamata-Viehweg 佇列消去定理。

实验结果

研究问题

• RQ1 當周圍對數對具有對數 canonical 奇點時，對數 canonical 奇點的支集是否為擬正規？
• RQ2 Kawamata 的擾動方法能否推廣至對數 canonical 情形，以證明 LCS 支集的擬正規性？
• RQ3 LCS 理想層在雙有理態射與對數解析下的行為如何？
• RQ4 LCS 支集的擬正規性與周圍空間奇點之間的關係為何？
• RQ5 擬正規化的普遍性質能否用於建立函子性與透過 LCS 支集的因式分解？

主要发现

• 當 (X,B_X) 具有對數 canonical 奇點時，對數 canonical 奇點的支集 LCS(X,B_X) 為擬正規，從而確認了 Shokurov 的猜想。
• LCS 理想層被定義，且在對數代數簇情形下，其與 Shokurov 原始定義同構。
• 證明了 LCS 支集的收縮為擬正規態射，進而推出 LCS 支集的擬正規性。
• 在本文假設下，任何有限個對數 canonical 中心的並集均為擬正規，推廣了 Kollár 與 Shokurov 的結果。
• 擬正規化函子保持普遍性質，且擬正規態射在複合與基變換下保持不變。
• 結果在特徵零下成立，其關鍵上同調論證依賴於 Kawamata-Viehweg 佇列消去定理。