[论文解读] Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant

Edward Bierstone, Pierre D. Milman|ArXiv.org|Aug 15, 1995

Advanced Numerical Analysis Techniques被引用 8

一句话总结

本文通过引入一个离散局部不变量 $Δ_X(a)$，给出了特征零下代数簇与解析空间的典范去奇异化的构造性、初等证明，其最大值点集确定了用于爆破的光滑中心。该方法通过归纳应用沿这些中心的爆破，确保实现去奇异化，从而得到一个适用于有限型概形的典范、函子性去奇异化过程。

ABSTRACT

This article contains an elementary constructive proof of resolution of singularities in characteristic zero. Our proof applies in particular to schemes of finite type and to analytic spaces (so we recover the great theorems of Hironaka). We introduce a discrete local invariant $\inv_X (a)$ whose maximum locus determines a smooth centre of blowing up, leading to desingularization. To define $\inv_X$, we need only to work with a category of local-ringed spaces $X=(|X|,{\cal O}_X)$ satisfying certain natural conditions. If $a\in |X|$, then $\inv_X(a)$ depends only on $\widehat{\cal O}_{X,a}$. More generally, $\inv_X(a)$ is defined inductively after any sequence of blowings-up whose centres have only normal crossings with respect to the exceptional divisors and lie in the constant loci of $\inv_X(\cdot)$. The paper is self-contained and includes detailed examples. One of our goals is that the reader understand the desingularization theorem, rather than simply ``know'' it is true.

研究动机与目标

• 为特征零下的代数簇与解析空间提供一个自包含的、构造性的奇异点消除证明。
• 定义一个仅依赖于完备化 $\widehat{\cal O}_{X,a}$ 的离散局部不变量 $Δ_X(a)$，并使其控制去奇异化过程。
• 通过将中心选为 $Δ_X(\cdot)$ 的最大值点集，确保去奇异化过程是典范且函子性的。
• 将该方法推广至满足自然条件的任意局部环空间，而不仅限于概形。
• 使证明易于理解且具直观性，强调概念理解而非技术抽象。

提出的方法

• 在每个点 $a \in |X|$ 处定义一个仅依赖于完备化 $\widehat{\cal O}_{X,a}$ 的离散局部不变量 $Δ_X(a)$，用以衡量奇点的严重程度。
• 将 $Δ_X(\cdot)$ 的最大值点集作为下一次爆破的中心，确保每一步后该不变量严格减小。
• 采用归纳构造：在任意一系列沿与例外除子具有正常交叉的中心进行的爆破后，归纳地重新定义 $Δ_X$。
• 通过要求中心位于 $Δ_X$ 的最大层（即光滑子簇）中，确保中心是光滑且定义良好的。
• 通过迭代应用该过程，直至对所有点都有 $Δ_X(a) = 0$，此时表明为光滑簇。
• 该方法是函子性且典范的，因为中心的选择由不变量及其点集唯一确定。

实验结果

研究问题

• RQ1 如何通过一种构造性、初等的方法实现特征零下奇异点消除，而无需依赖高级工具？
• RQ2 何种局部不变量可用于定义一个典范、函子性的爆破序列，以消除奇点？
• RQ3 如何定义不变量 $Δ_X(a)$，使其仅依赖于形式邻域 $\widehat{\cal O}_{X,a}$，且在爆破下行为良好？
• RQ4 能否通过将中心选为该不变量的最大值点集，使去奇异化过程成为典范的？
• RQ5 除了概形之外，该方法在更一般的环境空间 $X$ 上适用的必要与充分条件是什么，例如解析空间？

主要发现

• 本文为任意特征零域上有限型概形建立了完整、典范的去奇异化过程。
• 该方法统一适用于代数簇与复解析空间，以更清晰的方式恢复了Hironaka的奠基性结果。
• 局部不变量 $Δ_X(a)$ 以归纳方式定义，确保每次爆破的中心均为光滑且由最大值点集唯一确定。
• 该过程在有限步内终止，因为不变量 $Δ_X$ 每步严格减小，且其取值为离散值。
• 该构造是函子性的：中心由不变量及例外除子的几何结构唯一确定。
• 该方法自包含，并包含详细示例，使研究人员能够理解而非仅接受去奇异化定理。