[论文解读] A strictly decreasing invariant for resolution of singularities in dimension two

Vincent Cossart, Bernd Schober|arXiv (Cornell University)|Nov 17, 2014

Polynomial and algebraic computation参考文献 17被引用 11

一句话总结

本文为具有边界的一维优秀诺特概形上的奇点解析构造了一个严格递减的局部不变量，证明了Cossart-Jannsen-Saito算法的终止性。该不变量由三部分组成——奇点复杂度、Hilbert-Samuel行为以及Hironaka的特征多面体，其独立于嵌入结构，并通过对其值的降序归纳确保有限终止。

ABSTRACT

We construct a local invariant for resolution of singularities of 2-dimensional excellent Noetherian schemes with boundary. We prove that the invariant strictly decreases at every step of the algorithm of Cossart, Jannsen and Saito.

研究动机与目标

• 为具有边界的二维优秀诺特概形的奇点解析建立一个严格递减的不变量。
• 通过证明该不变量在每次爆破步骤中严格递减，证明Cossart-Jannsen-Saito算法的终止性。
• 确保该不变量独立于周围正则概形，使其成为奇点概形的内在性质。
• 通过引入历史函数和边界分量，改进算法对奇点簇的控制。
• 通过稳健的局部构造，将奇点解析不变量的适用范围从特征零推广至正特征情形。

提出的方法

• 定义一个局部不变量 $\iota = (\iota_0, \iota_{hs}, \iota_{poly})$，综合奇点复杂度、Hilbert-Samuel行为以及Hironaka的特征多面体。
• 利用Cohen结构定理，通过正则周围概形 $Z$ 将非嵌入情形约化为嵌入情形。
• 证明 $\iota$ 的各分量，尤其是 $\iota_{poly} \in \mathbb{Q}_\infty^4$，独立于嵌入 $X \subset Z$。
• 使用历史函数 $O_X$ 区分旧的和新的边界分量，从而在爆破过程中控制奇点簇。
• 对不变量 $\iota(X, \mathcal{B}, x)$ 应用降序归纳法，证明坏点的有限性及算法的终止性。
• 利用定理0.1和定理1.25，证明 $\iota$ 在最大对数-Hilbert-Samuel局部的分量的通用点处严格递减。

实验结果

研究问题

• RQ1 能否在正特征下，为优秀诺特概形上的二维奇点解析构造一个严格递减的不变量？
• RQ2 如何利用一个局部的、与嵌入无关的不变量，证明Cossart-Jannsen-Saito算法的终止性？
• RQ3 Hironaka的特征多面体与Hilbert-Samuel函数在奇点解析过程中对奇点的控制中起到何种作用？
• RQ4 历史函数 $O_X$ 在区分旧分量与新分量并确保算法控制方面发挥什么作用？
• RQ5 在嵌入情形下，不变量 $\iota$ 是否真正独立于周围正则概形 $Z$ 的选择？

主要发现

• 所构造的不变量 $\iota = (\iota_0, \iota_{hs}, \iota_{poly})$ 在Cossart-Jannsen-Saito算法的每一步中均严格递减。
• 分量 $\iota_{poly} \in \mathbb{Q}_\infty^4$ 与 $\iota_{hs} \in \mathbb{N}^\mathbb{N} \times \mathbb{N}^3 \times \mathbb{Q}_\infty^2$ 属于 $\left(\frac{1}{N} \cdot \mathbb{N}_\infty\right)^6$，确保有限下降。
• 该不变量独立于嵌入 $X \subset Z$，因此可写作 $\iota(X, \mathcal{B}, x)$ 而无需提及 $Z$。
• 通过在 $\iota$ 上应用降序归纳法，证明了坏点的有限性及算法的终止性，且每一步中 $\iota$ 的值严格递减。
• 在分量的通用点处，爆破后 $\iota$ 的值严格减小，如 $\iota(X_1, \mathcal{B}_1, \eta_1) < \iota(X, \mathcal{B}, \eta)$ 所示。
• 由于坏点的有限性及 $\iota$ 的严格递减性，算法在每个点（包括孤立的闭点和一维分量）均能终止。