[论文解读] Relative desingularization and principalization of ideals

Dan Abramovich, Michael Temkin+1 more|arXiv (Cornell University)|Mar 7, 2020

Commutative Algebra and Its Applications参考文献 26被引用 5

一句话总结

本文在特征零下，利用对数几何与非表示性凯默爆破，构建了对数正则态射的相对典范化与理想主化。关键贡献在于实现了函子性、与基变换相容的态射解析，保持光滑局部，并在任意赋值环上蕴含稳定减少。

ABSTRACT

In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are relatively canonical and even functorial with respect to logarithmically regular morphisms and arbitrary base changes. Relative canonicity means, that the principalization requires a fine enough non-canonical modification of the base, and once it is chosen the process is canonical. As a consequence we deduce the semistable reduction theorem over arbitrary valuation rings. In another our work in progress, the same problems will be solved canonically in the case of proper morphisms.

研究动机与目标

• 在特征零下，以相对典范方式解析概形态射，保持光滑局部，并将稳定减少推广至非离散赋值环。
• 构造一个对对数正则态射与任意基变换均函子性的理想主化。
• 将赫里翁卡的典范化推广至相对与对数设定，实现强于以往方法的函子性。
• 为任意维数下态射的相对典范解析这一开放问题提供解决方案。
• 通过叠理论修正与对数结构，建立与模空间和族兼容的框架。

提出的方法

• 利用对数几何定义对数正则态射，并在该类态射上实现相对理想主化。
• 应用凯默爆破——非表示性叠理论修正——以实现基变换下的典范行为。
• 将经典典范化技术（赫里翁卡、比尔通-米勒曼、维拉马约尔）适配至对数与相对设定。
• 利用相对对数微分定义爆破中心，确保与对数结构的相容性。
• 利用T-修正的共终定理，确保解析过程完整且普遍。
• 依赖半赋值环与RZ（黎曼-泽里斯）空间，分析修正的极限并证明共终性。

实验结果

研究问题

• RQ1 能否在特征零下构造一个与任意基变换相容的相对典范态射解析？
• RQ2 能否在典范化过程中保持态射的光滑局部，避免不必要的修正？
• RQ3 能否在任意赋值环上实现稳定减少，而不仅限于离散赋值环？
• RQ4 是否存在一个函子性、对数性与相对性的态射典范化算法，适用于任意维数？
• RQ5 能否在选定基修正后，以典范方式实现理想主化？

主要发现

• 本文为对数正则态射构造了相对典范的理想主化，该过程在足够精细的非典范基修正后变为典范。
• 该方法产生一个对数正则的态射典范化，对对数光滑态射与任意基变换均函子性。
• 该构造蕴含了在特征零下任意赋值环上的稳定减少定理。
• 该算法使用非表示性凯默爆破，其函子性强于经典方法。
• 共终定理确保了解析过程捕捉到所有相关修正，使构造完整且普遍。
• 该框架可推广至叠，并为任意维数下的相对典范解析问题提供解决方案。