[论文解读] Functorial embedded resolution via weighted blowings up

Dan Abramovich, Michael Temkin+1 more|arXiv (Cornell University)|Jun 17, 2019

Algebraic Geometry and Number Theory参考文献 36被引用 11

一句话总结

该论文提出了一种用于特征为0的域上嵌入光滑代数簇 $Y$ 中的代数簇 $X$ 的奇点的函子性嵌入解析算法，通过基于词典序不变量定义的堆栈理论加权爆破实现。该方法是显式的、无需选择的，并确保每一步中最大不变量严格递减，从而在有限步迭代后得到光滑的正规化变换，且对光滑态射具有完全函子性。

ABSTRACT

We provide a procedure for resolving, in characteristic 0, singularities of a variety $X$ embedded in a smooth variety $Y$ by repeatedly blowing up the worst singularities, in the sense of stack-theoretic weighted blowings up. No history, no exceptional divisors, and no logarithmic structures are necessary to carry this out; the steps are explicit geometric operations requiring no choices; and the resulting algorithm is efficient. A similar result was discovered independently by McQuillan in a manuscript posted on this archive simultaneously.

研究动机与目标

• 开发一种简单、显式且函子性的算法，用于在不依赖对数形式或理想指数等辅助结构的情况下，解析特征0中的嵌入奇点。
• 定义一个函子性解析函子，不仅对满射光滑态射，而且对所有对偶的光滑态射都具有函子性，从而扩展 Hironaka 的程序。
• 通过使用几何不变量——加权重数的词典序——来引导每一步爆破，消除对例外除子追踪或历史记录的需要。
• 证明沿由最大不变量定义的中心进行加权爆破，可产生一个有限且终止的解析过程，具有光滑中心和良好控制的几何结构。
• 通过去堆栈化将解析推广至非嵌入和粗模形式设置，同时保持函子性和正则性。

提出的方法

• 该算法使用基于词典序不变量 $\operatorname{inv}_p(X)$ 的堆栈理论加权爆破，该不变量用于检测每一点处奇点的严重程度。
• 爆破中心由 $\operatorname{inv}_p(X)$ 的最大值确定，爆破通过使用由不变量导出的权重 $w_i$ 的加权坐标 $x_i^{1/w_i}$ 实现。
• 爆破构造为商堆栈 $[\operatorname{Spec} R / \boldsymbol{\mu}_w]$，确保光滑性，并在拉回下保持不变量的兼容性。
• 该过程迭代进行，每一步严格减少 $\operatorname{maxinv}(X)$，从而保证在有限步内终止。
• 该方法通过仅依赖不变量及其在光滑拉回下的行为，避免了对例外除子的追踪或对对数结构的使用。
• 通过确保不变量在拉回下保持不变，实现了对所有光滑态射的函子性，且解析与基变换可交换。

实验结果

研究问题

• RQ1 能否构造一种既对所有光滑态射函子性又不依赖对数形式或理想指数等辅助结构的解析算法？
• RQ2 是否可以仅基于一个检测奇点并引导爆破的几何不变量来定义解析过程，且无需选择或历史记录？
• RQ3 堆栈理论的加权爆破能否作为嵌入奇点有限终止解析算法中的唯一几何操作？
• RQ4 使用加权爆破如何影响例外局部的几何结构？是否保持与中心的正常相交？
• RQ5 能否在保持函子性和正则性的前提下，将嵌入解析推广至非嵌入和粗模形式设置？

主要发现

• 该算法在每一步严格减少 $\operatorname{maxinv}(X)$，确保在有限步迭代后终止，$X_n$ 在 $n$ 步后变为光滑。
• 解析函子 $F_{er}$ 对所有对偶的光滑态射都具有函子性，而不仅限于满射情形，这是通过在拉回下保持不变量实现的。
• 在例子 $X = V(x^7 + y^5)$ 中，加权爆破后的正规化变换 $X'$ 是光滑的，$Y'$ 为商堆栈 $[\operatorname{Spec} k[u,y']/\boldsymbol{\mu}_7]$。
• 非嵌入解析函子 $F_{ner}$ 存在且对光滑态射具有函子性，可将任意纯维数的约化堆栈解析为正则形式。
• 通过 Bergh 的去堆栈化构造了粗解析函子 $F_{crs}$，得到一个对光滑态射具有函子性的投影正则粗模形式空间。
• 例外局部可能不与中心具有正常相交，如例子所示，新中心与例外除子 $z=0$ 相切。