[论文解读] Principalization of ideals on toroidal orbifolds

Dan Abramovich, Michael Temkin+1 more|arXiv (Cornell University)|Sep 10, 2017

Algebraic Geometry and Number Theory参考文献 21被引用 6

一句话总结

本文提出了一种在具有局部对数光滑结构的轨道化奇点的轨道化轨道丛（toroidal orbifolds）上，通过库默展开（Kummer blowings up）实现理想主化（principalization）的函子性算法，通过在对数光滑基变换下保持稳定的修改，实现单变量理想。其核心贡献在于提出了一种广义化的奇点消除过程，将经典奇点消除推广至对数结构与堆栈（stacky）情形，同时保持强函子性。

ABSTRACT

Given an ideal $\mathcal I$ on a variety $X$ with toroidal singularities, we produce a modification $X' o X$, functorial for toroidal morphisms, making the ideal monomial on a toroidal stack $X'$. We do this by adapting the methods of [Wło05], discarding steps which become redundant. We deduce functorial resolution of singularities for varieties with logarithmic structures. This is the first step in our program to apply logarithmic desingularization to a morphism $Z o B$, aiming to prove functorial semistable reduction theorems.

研究动机与目标

• 通过在特征 0 下开发新一代的奇点消除算法，将经典奇点消除推广至态射 $ Z \to B $ 的情形。
• 使用一种修改过的、函子性的方法，利用对数结构来消除具有轨道化奇点的代数簇上的理想奇点。
• 在保持与对数光滑态射相容的前提下，实现轨道化轨道丛上理想主化。
• 为代数几何中态射的函子性半稳定化定理的证明提供基础步骤。
• 证明在对数光滑基变换下保持函子性，必须使用轨道化轨道丛，而不能仅使用光滑代数簇或概形。

提出的方法

• 将 W\'lodarczyk（2005）的方法适配于轨道化轨道丛，而非光滑的环境代数簇。
• 以库默展开（Kummer blowings up）作为基本操作，即涉及对单变量取根的修改，其在对数光滑基变换下保持稳定。
• 在轨道化轨道丛上构造一系列库默展开，所有展开均位于理想 $ {\mathcal{I}} $ 的零点集 $ V({\mathcal{I}}) $ 上方，将理想 $ {\mathcal{I}} $ 转化为可逆的单变量理想。
• 通过使用饱和拉回（saturated pullbacks）确保该过程对对数光滑态射是函子性的，从而在基变换下保持相容性。
• 在具有有限对角化惯性且具有简单轨道化嵌入 $ U \subset X $（其中 $ U $ 为概形）的 Deligne–Mumford 堆栈范畴内工作。
• 利用轨道化堆栈上对数结构与单变量理想理论，将正规相交除子（normal crossings divisors）的概念推广至奇异环境空间。

实验结果

研究问题

• RQ1 在存在轨道化奇点的情况下，如何在保持强函子性的同时实现理想主化？
• RQ2 为将经典奇点消除推广至态射 $ Z \to B $（特别是当 $ B $ 不是点时），需要进行哪些修改？
• RQ3 为何必须使用 Deligne–Mumford 堆栈（特别是轨道化轨道丛）才能在对数光滑基变换下保持函子性？
• RQ4 能否仅通过使用对数结构而无需堆栈，实现对数几何对象的函子性奇点消除？
• RQ5 轨道化轨道丛上的单变量理想与经典奇点消除理论中正规相交除子的概念之间有何关系？

主要发现

• 本文构造了轨道化轨道丛上的一系列库默展开，可将任意理想层 $ {\mathcal{I}} $ 主化，最终在最终堆栈上得到一个可逆的单变量理想。
• 该主化过程对对数光滑基变换态射是函子性的，且在基 $ Y \to X $ 上的展开序列，是 $ X $ 上序列的饱和拉回（至多忽略平凡展开）。
• 该算法为特征 0 下态射 $ Z \to B $ 的函子性半稳定化定理提供了基础步骤。
• 通过将主化算法与去堆栈化（destackification）结合，可得到一个对对数光滑、准饱和且无动的态射是函子性的对数几何对象 $ Z $ 的奇点消除。
• 存在一条不使用堆栈的替代奇点消除路径：首先应用 Gabber 的单变量奇点消除，再使用经典嵌入主化，但此方法仅能恢复经典函子性。
• 该奇点消除序列中的中间代数簇本身并非轨道化，但在增强对数结构后局部为轨道化，表明轨道化轨道丛为奇点消除提供了一个自然的中间范畴。