[论文解读] Rational singularities

Sándor Kovács|arXiv (Cornell University)|Mar 7, 2017

Polynomial and algebraic computation被引用 59

一句话总结

本文提出了一种无需解析的理性奇点定义，证明其在特征零下与经典定义等价，并建立了适用于理性奇点的Kempf型判别准则——即使在该设定下也属新成果。此外，本文证明了伪理性奇点为理性奇点，并在任意特征下证明了Cohen-Macaulay dlt奇点为理性奇点，从而推广了Elkik型结果。

ABSTRACT

A resolution-free definition of rational singularities is introduced, and it is proved that for a variety admitting a resolution of singularities, so in particular in characteristic zero, this is equivalent to the usual definition. It is also demonstrated that pseudo-rational singularities are rational. The main theorem, a Kempf-type criterion for rational singularities, is new even in characteristic zero contrasting an earlier result of Cutkosky that a similar result with slightly different assumptions could not hold. Several applications are included. In particular, an Elkik-type theorem, proving that Cohen-Macaulay dlt singularities are rational in arbitrary characteristic.

研究动机与目标

• 提供一种不依赖奇点解析的理性奇点定义。
• 证明该新定义在存在解析的代数簇（特别是特征零情形）下与经典定义等价。
• 证明伪理性奇点必为理性奇点。
• 建立在特征零下仍有效的理性奇点Kempf型判别准则。
• 通过证明Cohen-Macaulay dlt奇点在任意特征下为理性奇点，推广Elkik型定理。

提出的方法

• 基于上同调消去条件，提出一种全新的、无需解析的理性奇点定义。
• 利用导出范畴与格罗滕迪克对偶性理论分析奇点，无需显式解析。
• 应用涉及canonical sheaf与高阶直接像的Kempf型判别准则，以刻画理性奇点。
• 运用对偶理论与局部上同调技术，比较正特征与零特征下的奇点。
• 在dlt奇点背景下，利用乘子理想与测试理想理论证明奇点的理性性质。
• 利用Du Bois奇点及其与理性奇点的关系，建立任意特征下奇点之间的蕴含关系。

实验结果

研究问题

• RQ1 能否在不依赖奇点解析的前提下定义理性奇点？
• RQ2 该无需解析的新定义在特征零下是否与经典定义等价？
• RQ3 伪理性奇点是否必然为理性奇点？
• RQ4 在特征零下，理性奇点的Kempf型判别准则是否成立？若成立，其条件为何？
• RQ5 Cohen-Macaulay dlt奇点在任意特征下是否为理性奇点？

主要发现

• 提出了一种无需解析的理性奇点定义，并证明其在特征零下与经典定义等价。
• 新定义使得Kempf型判别准则适用于理性奇点，且在特征零下依然有效，这是此前类似假设下未能实现的结果。
• 证明了伪理性奇点为理性奇点，确认了长期存在的猜想。
• 本文证明了Cohen-Macaulay dlt奇点在任意特征下为理性奇点，推广了Elkik型定理。
• 导出范畴与格罗滕迪克对偶性被有效用于绕过奇点分析中的解析需求。
• 结果将理性奇点理论的应用范围扩展至正特征情形，尤其适用于dlt与伪理性奇点。