[论文解读] Very fast, very functorial, and very easy resolution of singularities

Michael McQuillan, Gianluca Marzo|arXiv (Cornell University)|Jun 16, 2019

Algebraic Geometry and Number Theory参考文献 9被引用 4

一句话总结

本文提出了一种新颖、快速且函子性的奇点解析方法，适用于特征零的优秀Deligne-Mumford堆栈，采用在正规中心上的平滑加权爆破，绕过了传统的Hironaka风格方法。关键贡献在于构造了一个与解析过程无关的解析函子，满足强函子性与终止条件，并基于一个具有自有界分母的新型不变量，该不变量取值于$\mathbb{Q}_{\geqslant 0}^{2m}$，确保在有限步内终止。

ABSTRACT

The main theorem, I.a, is the existence for excellent Deligne-Mumford champ of characteristic zero of a resolution functor independent of the resolution process itself. Perceived wisdom was that this was impossible, but the counterexamples overlooked the possibility of using weighted blow ups. The fundamental local calculations take place in complete local rings, and are elementary in nature, while being self contained and wholly independent of Hironaka's methods and all derivatives thereof, i.e. existing technology. Nevertheless Abramovich, Temkin, and Wlodarczyk, [ATW], have varied existing technology to obtain an even shorter proof of principalisation, I.f, in the geometric case. Excellent patching is more technical than varieties over a field, and whence easier geometric arguments are pointed out when they exist.

研究动机与目标

• 在特征零下，为优秀Deligne-Mumford堆栈构造一种既函子性又与解析过程无关的奇点解析方法。
• 通过引入基于加权爆破的新几何范式，克服使用标准光滑中心爆破构造此类函子的所谓不可能性。
• 定义一个具有自有界分母的解析不变量，确保终止性并支持局部环中的归纳构造。
• 提供一种自包含、初等的替代Hironaka方法的方案，适用于一般代数堆栈与轨道簇。
• 建立一个在有限步内终止且满足强函子性与不变性性质的解析算法。

提出的方法

• 该方法引入一种改进的修正函子（M.1 new），使用在正规中心上的平滑加权爆破，取代标准的光滑中心爆破。
• 为正规局部环中的理想构造一个新的不变量$\mathrm{inv}_A(I) \in \mathbb{Q}_{\geqslant 0}^{2m}$，其分母具有自有界性，并按词典序排列。
• 解析过程遵循一种通用行为的哲学：若通用正则性不成立，则从切空间构建极大理想的过滤，从而实现归纳细化。
• 该不变量在加权爆破下严格减小，确保终止性，且过程通过Deligne-Mumford堆栈的2范畴中的图表追踪来定义。
• 该构造是étale局部的，并与étale基变换交换，满足（M.3）与（M.4），从而保证完全函子性。
• 通过$\mathcal{Y}_{p+1} = M(\mathcal{Y}_p)$迭代算法，当不变量达到零时终止。

实验结果

研究问题

• RQ1 能否为特征零下的优秀Deligne-Mumford堆栈构造一个既与解析过程无关又在étale基变换下函子性的解析函子？
• RQ2 是否可能仅通过在正规中心上的加权爆破实现解析，而无需在奇点集中进行任意选择？
• RQ3 能否在$\mathbb{Q}_{\geqslant 0}^{2m}$中定义一个具有自有界分母的解析不变量，以确保终止性并支持归纳构造？
• RQ4 使用加权爆破是否能规避在存在对称性（如$x^2 + y^2 + (zt)^2 = 0$例子）时经典函子性解析的障碍？
• RQ5 能否使解析过程完全局部化且自包含，独立于Hironaka理论及其衍生方法？

主要发现

• 主要结果是：在特征零的约化优秀Deligne-Mumford堆栈的2范畴上，存在一个满足（M.1 new）、（M.2）、（M.3）、（M.4）与（M.5）的解析函子$M$。
• 不变量$\mathrm{inv}_{\mathcal{Y}}^\sharp$取值于$\mathbb{Q}_{\geqslant 0}^{2m}$，具有自有界分母，确保解析在有限步内终止。
• 当$\underline{i}(\mathcal{Y}) = 0$时算法终止，当且仅当$\mathcal{Y}$为正则时成立，此时$M(\mathcal{Y}) = \mathcal{Y}$。
• 解析过程在不变量上严格递减：$\underline{i}(M(\mathcal{Y})) < \underline{i}(\mathcal{Y})$，从而保证有限终止。
• 该构造完全函子性：$M$与étale基变换交换，并尊重奇点集的对称性，解决了$x^2 + y^2 + (zt)^2 = 0$例子中的经典障碍。
• 该方法自包含、初等，且独立于Hironaka理论，仅依赖于完备局部环的计算与不变量的图表化哲学。