[论文解读] Notes on the inductive algorithm of resolution of singularities by S. Encinas and O. Villamayor

Kenji Matsuki|ArXiv.org|Mar 19, 2001

Advanced Differential Equations and Dynamical Systems被引用 4

一句话总结

本文提出了一种构造性、归纳性的算法，用于在特征零的域上解析代数簇的奇点，采用一种基于新不变量的方法，避免依赖希尔伯特-萨缪埃尔函数。该方法通过沿中心进行逐次爆破来系统地消除奇点，而这些中心无需为光滑或位于奇点集内，而是依赖于一个良序不变量 $\underline{\Gamma}$ 来确保在有限步内终止并实现奇点解析。

ABSTRACT

In this revised version, the mistake of the author confusing the weak transform and strict transform, pointed out by E. Bierstone, is corrected. It gives a self-contained proof of (embedded) resolution of singularities over a field of characteristic zero following the inductive algorithm of Encinas and Villamayor. A chapter explaining the background motivation for the invariants used (based upon a lecture by Villamayor) and another containing some examples demonstrating the subtle points are added.

研究动机与目标

• 提供恩西纳斯与维拉马约尔所开发的奇点解析归纳算法的详细阐述与澄清。
• 解释 $t$-不变量的起源及其构造，该不变量是算法终止机制的关键组成部分。
• 展示算法如何在不需中心为光滑或位于基空间奇点集内的条件下，实现嵌入与非嵌入奇点解析。
• 建立一个适用于任意特征零基域（即使非代数闭）的奇点解析框架。
• 阐明不变量 $\underline{\Gamma}$ 在指导中心选择中的作用，以及其如何确保每一步严格递减并实现有限终止。

提出的方法

• 该算法基于每个奇异点 $p$ 关联的良序不变量 $\underline{\Gamma}(p)$，采用递归归纳的方法。
• 在每一步中，爆破中心被选为 $\underline{\rm Max}\,\Gamma$，即由不变量元组的字典序最大值所定义的极大集。
• 不变量 $\underline{\Gamma}(p)$ 结合了理想阶数（按例外除子的重数加权）以及基于除子指标的破局元组。
• 爆破操作针对的是尊重例外除子 $E_{i-1}$ 的简单法向交叉结构的容许中心。
• 算法保持一个“基本对象” $(W, (J,b), E)$ 的结构，其中 $J$ 为理想，$b$ 为正整数，$E$ 为一组光滑除子。
• 当理想奇异集为空时，过程终止，表示已实现奇点解析。

实验结果

研究问题

• RQ1 如何在不强制要求中心为光滑或位于基空间奇点集内的情况下实现奇点解析？
• RQ2 $t$-不变量在确保奇点解析算法终止中的作用是什么？
• RQ3 不变量 $\underline{\Gamma}$ 如何指导中心的选择，以保证严格递减并实现有限终止？
• RQ4 该算法能否被调整以适用于特征零的非代数闭域？
• RQ5 该算法如何处理中心与严格变换之间非约或非光滑交集的机制？

主要发现

• 该算法通过有限步爆破成功解析了单变量基本对象的奇点，如例11-7所示。
• 不变量 $\underline{\Gamma}$ 在每一步严格递减：$\max\Gamma_{B_0} = (-1,\frac{3}{2},(2,0)) > \max\Gamma_{B_1} = (-1,\frac{3}{2},(1,0)) > \max\Gamma_{B_2} = (-2,1,(4,3))$，确保了终止。
• 中心 $Y_{i-1}$ 无需为光滑或位于 $X_{i-1}$ 的奇异集内，其与严格变换的交集可能为奇异或非约。
• 通过确保中心相对于例外除子 $E_{i-1}$（为简单法向交叉除子）是容许的，算法实现了嵌入奇点解析。
• 最终的严格变换 $X_l$ 在 $k$ 上光滑，且态射 $X_0 \to X_l$ 是射影的，并在正则集上是同构的。
• 该方法避免使用希尔伯特-萨缪埃尔函数，转而依赖阶函数与一个精炼的不变量实现终止，提供了一条更直接且构造性更强的路径。