[论文解读] Resolution and alteration with ample exceptional divisor

Janós Kollár, Jakub Witaszek|arXiv (Cornell University)|Feb 5, 2021

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

一句话总结

本文提出了一种构造性方法，确保诺特性、正规概形的解析或常规变换能拥有一个充足的例外除子，利用现有的投影解析或变换。关键贡献在于运用 Q-因子性与拉回技术，提出一个简单但强大的技巧，以构造此类充足的除子，从而在算术三维簇和代数空间中实现应用。

ABSTRACT

In this short note we explain how to construct resolutions or regular alterations admitting an ample exceptional divisor, assuming the existence of projective resolutions or regular alterations. In particular, this implies the existence of such resolutions for arithmetic three-dimensional singularities.

研究动机与目标

• 为解决标准解析与变换构造中缺乏充足例外除子的问题，尤其是在正特征情形下。
• 提供一种系统性方法，将现有解析或变换升级为具有充足例外除子的形式。
• 在标准假设下，将此类解析与变换的存在性扩展至算术三维簇和代数空间。
• 确保与嵌入解析及对给定子概形或态射的有限控制兼容。
• 通过等变构造将结果推广至代数堆栈与堆栈，尽管在一般情形下存在局限性。

提出的方法

• 利用目标概形的 Q-因子性，通过拉回与线丛的对偶包络构造一个 π-ample 且 π-例外的除子。
• 在一般纯不可分情形下，应用斯坦因分解与弗罗贝尼乌斯分解，将源上的线丛与基上的凝聚层联系起来。
• 通过代数层的 Proj 构造新态射，获得具有所需充分性的投影、一般纯不可分态射。
• 利用态射的控制性，确保最终的解析或变换能控制任意有限个给定的解析或变换。
• 利用夏勒引理，将代数空间约化为具有拟投影覆盖的概形，从而可应用已知的解析定理。
• 通过平展局部检验与等变表示，在代数空间与堆栈的范畴中验证构造。

实验结果

研究问题

• RQ1 是否可以修改概形的解析或变换，以确保例外除子充足，即使标准方法无法产生此结果？
• RQ2 在何种条件下，可将投影解析或常规变换升级为具有充足例外除子的形式？
• RQ3 该构造能否扩展至代数空间与堆栈？在堆栈情形下存在哪些限制？
• RQ4 如何确保最终的解析或变换能控制有限个给定的解析或变换，或尊重嵌入子概形？
• RQ5 在正特征下，通过伽罗瓦覆盖与商映射时，是否能保持例外除子的充分性？

主要发现

• 对于任意满足投影解析（相应地，对数解析）存在的诺特性、正规概形，均存在具有充足例外除子的投影解析（相应地，对数解析）。
• 对于任意满足存在正规、投影、伽罗瓦变换的诺特性、正规概形，均存在具有充足例外除子的正规、投影、伽罗瓦变换。
• 算术三维奇异点存在具有充足例外除子的投影对数解析，因为 [CP19] 中满足了所需假设。
• 当 X 是维数 ≤3 的分离、有限型仿射准佳概形上的准佳概形时，存在具有充足例外除子的投影对数解析。
• 对于有限型于维数 ≤2 的佳概形上的概形，存在具有充足例外除子的正规、投影、伽罗瓦变换。
• 该构造与控制兼容：最终的解析或变换可控制任意有限个给定的解析或变换。