[论文解读] Functorial resolution of tame quotient singularities in positive characteristic

Federico Buonerba|arXiv (Cornell University)|Nov 2, 2015

Algebraic Geometry and Number Theory参考文献 8被引用 3

一句话总结

该论文在代数闭域上的准射影代数簇上，对纯特征下的驯服商奇点建立了函子性解析。通过基于不变量的归纳方法，结合沿光滑中心的加权爆破，并利用平展局部的函子性，作者将问题约化为驯服循环商奇点，随后通过全局特征条件进一步降低不变量，最终构造出一个与平展基变换交换的光滑、准射影解析。

ABSTRACT

The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.

研究动机与目标

• 证明在纯特征下，对具有驯服商奇点的准射影代数簇，存在一个函子性解析。
• 通过确保与平展基变换的相容性，克服解析中的局部到整体障碍。
• 通过全局不变量和特征条件，将解析问题约化为驯服循环商奇点。
• 通过弱化塔里奇（toroidal）假设并引入忠实特征条件，将塔里奇几何中的解析技术扩展至纯特征。
• 表明当不满足驯服条件时，该方法失效，暗示在一般情况下需要根本不同的策略。

提出的方法

• 定义一个不变量 $ i(X) \in \mathbb{N} $，使得 $ i(X) = 0 $ 当且仅当 $ X $ 光滑，并基于 $ i(X) $ 的大小进行归纳。
• 采用两步法：首先通过保持不变量的双有理变换，将一般驯服商奇点约化为驯服循环商奇点。
• 在除子 $ E $ 上引入一个全局特征条件，使得局部循环稳定子在 $ E $ 上忠实作用，从而构造出一个全局良定义的代数层。
• 利用由代数层定义的光滑中心上的加权爆破，即使在出现非驯服奇点时，也能生成具有更小稳定子的新代数簇。
• 通过基于最大非驯服稳定子的迭代爆破过程处理非驯服循环奇点，利用在除子上作用的忠实性，确保最终下降为驯服奇点。
• 通过构造一个迭代的、平展局部的程序，确保函子性在平展基变换下保持不变，该程序与拉回运算可交换。

实验结果

研究问题

• RQ1 能否在纯特征下，对准射影代数簇的驯服商奇点构造出函子性解析？
• RQ2 在不假设塔里奇嵌入或全局环作用的情况下，如何克服解析中的局部到整体问题？
• RQ3 对局部稳定子全局定义的特征在实现全局解析过程中的作用是什么？
• RQ4 当加权爆破产生非驯服奇点时，只要满足忠实特征条件，是否仍可有效使用加权爆破？
• RQ5 该方法为何在非驯服群作用下失效？这对一般商奇点的解析意味着什么？

主要发现

• 主要定理建立了解析函子 $ X \to (M(X), r_X) $ 的存在性，其中 $ M(X) $ 光滑、准射影，且 $ r_X: M(X) \to X $ 是一个正规、双有理、相对射影的态射，且在 $ X $ 的光滑部分上是同构。
• 该解析函子与平展基变换交换，确保其与代数空间、Deligne-Mumford堆栈及解析空间的相容性。
• 第一步通过平展局部函子性，将任意驯服商奇点约化为驯服循环商奇点，同时保持不变量。
• 第二步通过构造沿由除子上忠实特征诱导的代数层定义的光滑中心的加权爆破，即使在临时出现非驯服奇点时，也能降低不变量。
• 一个关键引理（II.II.1）证明：若出现非驯服对角循环奇点，只要稳定子在除子上忠实作用，即可通过基于最大非驯服稳定子的迭代爆破过程加以解析。
• 该方法在非驯服作用下失效，原因在于缺乏可对角化的正则参数，暗示在一般情况下需要根本不同的策略。