[论文解读] On semi-continuity problems for minimal log discrepancies

Yusuke Nakamura|arXiv (Cornell University)|May 7, 2013

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

一句话总结

该论文通过雅苏达的扭曲喷射层叠（twisted jet stacks）理论，证明了在德利涅-马杜尔范畴中具有创现解析（crepant resolutions）的代数簇的最小对数分歧（mld）的下半连续性。该研究证实了木斯塔察（Mustaça）关于环理想拓扑半连续性的猜想在toric对情形下的成立，并将翻转（flips）的终止性推广至具有商奇点的辛簇。

ABSTRACT

We show the semi-continuity property of minimal log discrepancies for varieties which have a crepant resolution in the category of Deligne-Mumford stacks. Using this property, we also prove the ideal-adic semi-continuity problem for toric pairs.

研究动机与目标

• 证明在德利涅-马杜尔层叠范畴中具有创现解析的代数簇上，最小对数分歧函数的下半连续性猜想（LSC）。
• 建立木斯塔察（Mustaça）关于toric对的环理想拓扑半连续性猜想。
• 将翻转的终止性推广至仅具有商奇点的辛代数簇。
• 将半连续性结果应用于ACC猜想及理想的一般极限。

提出的方法

• 利用雅苏达的扭曲喷射层叠理论，通过在创现解析上的喷射层叠维数来描述最小对数分歧。
• 应用纤维维数的上半连续性，将mld半连续性问题约化为喷射层叠的几何性质。
• 通过权函数 w ∈ M∨ 在仿射toric簇上构造C*-作用，以利用不动点结构。
• 利用理想在C*作用下的平权性（isotriviality）及态射像的闭性，推导出半连续性。
• 将理想拓扑半连续性问题约化为在A1上纤维维数的行为，利用C*作用下的不变性。
• 将结果应用于对数极小模型程序，证明在特定几何条件下实现终止。

实验结果

研究问题

• RQ1 在德利涅-马杜尔层叠范畴中具有创现解析的代数簇上，最小对数分歧函数是否保持下半连续性？
• RQ2 木斯塔察（Mustaça）的环理想拓扑半连续性猜想是否可在具有C*-不变闭子集的toric对上成立？
• RQ3 在DM层叠范畴中存在创现解析是否意味着在对数极小模型程序中翻转序列终止？
• RQ4 扭曲喷射层叠的几何结构如何与mld的半连续性相关？
• RQ5 C*-作用在控制不动点附近理想与mld行为中起什么作用？

主要发现

• 在任意具有Q-Gorenstein正则结构的代数簇上，若其在德利涅-马杜尔层叠范畴中存在创现解析，则其最小对数分歧函数是下半连续的。
• 当闭子集为torus不变时，木斯塔察（Mustaça）的环理想拓扑半连续性猜想在toric对上成立。
• LSC猜想在所有具有商奇点的代数簇上均被证实，因为它们在DM层叠范畴中存在创现解析。
• 本文证明了对于仅具有终端和商奇点的辛代数簇，其(KX + D)-MMP中不存在无限翻转序列。
• 通过利用C*-等变性及像的闭性，基于A1上扭曲喷射层叠的纤维维数的上半连续性，建立了mld的半连续性。
• 该结果为利用几何与层叠理论方法研究最小对数分歧的ACC猜想提供了新途径。