[论文解读] Desingularization algorithms I. Role of exceptional divisors

Edward Bierstone, Pierre D. Milman|ArXiv.org|Jul 11, 2002

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

一句话总结

本文提出了一种在特征零下统一的去奇异化原理，该原理通过基于不变量的爆破控制了奇点的规范去奇异化。研究证明，例外除子在局部定义不变量和全局保持不变性方面的作用，决定了算法的效率与正确性，而局部数据的等价类确保了在爆破下的不变性。

ABSTRACT

The article is about a "desingularization principle" common to various canonical desingularization algorithms in characteristic zero, and the roles played by the exceptional divisors in the underlying local construction. We compare algorithms of the authors and of Villamayor and his collaborators, distinguishing between the fundamental effect of the way the exceptional divisors are used, and different theorems obtained because of flexibility allowed in the choice of "input data". We show how the meaning of "invariance" of the desingularization invariant, and the efficiency of the algorithm depend on the notion of "equivalence" of collections of local data used in the inductive construction.

研究动机与目标

• 提出一个适用于特征零下各种规范去奇异化算法的通用去奇异化原理。
• 阐明例外除子在局部归纳构造与去奇异化不变量全局不变性中的双重作用。
• 通过分析例外除子如何影响不变量和爆破中心的选择，比较不同算法（特别是作者与Villamayor等人提出的算法）。
• 定义并分析确保去奇异化过程不变性的局部数据（表示）等价性的概念。
• 为理解组合结构如何简化局部二项式或 торic 代数簇中的去奇异化过程奠定基础，详见后续研究。

提出的方法

• 引入一个去奇异化原理（定理 1.14），指出若初始不变量选择得当，并在其经过一系列允许爆破的扩展下，可通过依次爆破其最大值集来实现奇点的去奇异化。
• 采用局部归纳构造方法，通过测试爆破追踪例外除子，以定义表示的等价类。
• 利用依赖于累积例外除子的测试爆破序列来定义表示的等价性，确保不变量仅依赖于等价类。
• 将该原理应用于嵌入去奇异化与理想主化，通过选择不同的初始不变量（Hilbert-Samuel 函数与理想阶数）。
• 证明残余重数在不变量中依赖于表示的等价类，而不仅仅依赖于更粗的“基本对象”或“理想指数”类。
• 利用形式幂级数与标准基，证明在特定条件下，变换后理想的牛顿图与原始理想相同，从而保证不变性。

实验结果

研究问题

• RQ1 如何通过一个共同原理统一特征零下多种规范去奇异化算法？
• RQ2 例外除子在局部构造与去奇异化不变量全局不变性中的精确作用是什么？
• RQ3 对局部数据（表示）所选择的等价关系如何影响算法的不变性与效率？
• RQ4 为何不变量中的残余重数依赖于表示的等价类，而非更粗的类（如基本对象）？
• RQ5 组合结构（如牛顿图）在何种方式下简化了局部二项式代数簇的去奇异化过程？

主要发现

• 去奇异化原理（定理 1.14）确保可通过依次爆破在允许爆破下扩展的不变量的最大值集来实现奇点的去奇异化。
• 例外除子具有双重作用：它们影响不变量的局部构造，并通过等价类的引入在爆破下实现不变性。
• 使用依赖于累积例外除子的测试爆破所定义的表示等价类，比基本对象或理想指数的等价类更精细。
• 不变量中的残余重数仅依赖于表示的等价类，而非更粗的类，这解释了作者与Villamayor方法在算法行为上的差异。
• 当 $u=0$ 时，变换后理想 $J_1$ 的标准基诱导出原始理想 $J_0$ 的标准基，证明牛顿图 ${\frak{N}}(J_1) = {\frak{N}}(J_0)$。
• 对所有 $k$，同构 $\frac{{\mathbb{K}}{[\![}u,v{]\!]}}{J_1 + \underline{m}^{k+1}} \cong \frac{{\mathbb{K}}{[\![}u,v{]\!]}}{\underline{m}^{k+1}}$ 成立，意味着 $J_1 \cap \mathbb{K}[[u,v]]^\mathfrak{N} = 0$，从而确认了直和分解与不变性。