[论文解读] Hodge theory meets the minimal model program: a survey of log canonical and Du Bois singularities

Sándor J. Kovács, Karl Schwede|arXiv (Cornell University)|Sep 5, 2009

Algebraic Geometry and Number Theory参考文献 49被引用 42

一句话总结

本综述论文通过系统回顾对数极小奇点与杜波依斯奇点，将霍奇理论与极小模型程序统一起来，阐明了它们与双有理几何及模理论的联系。文章全面概述了定义、性质及最新进展，特别强调了杜波依斯奇点如何推广有理奇点，并在紧致模空间及奇点的解析中自然出现。

ABSTRACT

This is a survey of some recent developments in the study of singularities related to the classification theory of algebraic varieties. In particular, the definition and basic properties of Du Bois singularities and their connections to the more commonly known singularities of the minimal model program are reviewed and discussed.

研究动机与目标

• 在极小模型程序框架内，全面综述对数极小奇点与杜波依斯奇点。
• 阐明这些奇点在双有理几何中的作用及其在代数簇双有理等价分类中的重要性。
• 解释杜波依斯奇点如何在模理论中自然出现，特别是在光滑簇模空间的紧化中。
• 通过近期结果，将杜波依斯奇点与特征 p 方法（如弗罗贝尼乌斯分裂与 F-奇点）联系起来。
• 介绍理解高维代数几何中奇点所必需的基础定义与工具，如超解析与导出范畴。

提出的方法

• 利用超解析与概形图的范畴语言，通过导出范畴定义并研究杜波依斯复形。
• 对超解析 $ f: X_\bullet \to X $ 应用导出上推 $ R(f_*) $，将 $ R(f_*)\mathcal{O}_{X_\bullet} $ 计算为杜波依斯复形的解析。
• 采用对偶幂 $ \mathcal{F}^{[m]} = (\mathcal{F}^{\otimes m})^{**} $ 的概念，定义 $ \mathbb{Q} $-线丛与 $ \mathbb{Q} $-除子。
• 引入 $ \mathbb{Q} $-柯里斯除子的概念：即存在某个 $ m \in \mathbb{N}_+ $ 使得 $ mD $ 为柯里斯除子的 Weil 除子 $ D $，这对极小模型程序中的奇点至关重要。
• 利用导出范畴 $ D^+(X_\bullet, \text{Ab}(X_\bullet)) $ 与右导出函子 $ R(f_*) $，将杜波依斯复形构造为 $ R\varprojlim(Rf_{i*} \mathcal{O}_{X_i}) $。
• 依赖 [GNPP88] 的基础结果来构造杜波依斯复形并证明其性质，包括与基变换的相容性及奇点解析的相容性。

实验结果

研究问题

• RQ1 杜波依斯奇点如何与极小模型程序中更经典的奇点（如有理奇点或对数极小奇点）相关联？
• RQ2 杜波依斯奇点在模理论及模空间紧化背景下以何种方式自然出现？
• RQ3 超解析在定义与计算杜波依斯复形中起什么作用？该构造与霍奇理论有何关联？
• RQ4 特征 p 方法（如弗罗贝尼乌斯分裂与 F-奇点）如何与杜波依斯奇点理论相联系？
• RQ5 奇点为杜波依斯奇点的必要与充分条件是什么？如何通过上同调或导出范畴准则进行检验？

主要发现

• 杜波依斯奇点的特征是：对任意超解析 $ \pi: X_\bullet \to X $，自然映射 $ \mathcal{O}_X \to R\pi_*\mathcal{O}_{X_\bullet} $ 是拟同构，这推广了有理奇点的概念。
• 对数极小奇点是杜波依斯奇点，且杜波依斯奇点类在小态射与有限覆盖下保持不变。
• 杜波依斯复形 $ \underline{\Omega}^\bullet_X $ 同构于德尔格内-杜波依斯复形，其上同调群在奇异情形下恢复了霍奇到德拉姆谱序列。
• 对任意正规代数簇 $ X $，其奇点为杜波依斯奇点当且仅当对某个（或任意）奇点解析，自然映射 $ \mathcal{O}_X \to R\pi_*\mathcal{O}_{X_\bullet} $ 是拟同构。
• 杜波依斯奇点类包含有理奇点，并在 codimension 一 处为同构的双有理映射下保持不变。
• 近期结果表明，杜波依斯奇点等价于在特征 p 下弗罗贝尼乌斯态射在上同调上诱导出满射，通过模 p 约化将它们与 F-奇点联系起来。