[论文解读] Super-rational singularities

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

Algebraic Geometry and Number Theory参考文献 17被引用 1

一句话总结

本文提出了一种无需分辨率的理性奇点定义，证明了其在存在分辨率的代数簇上与经典定义等价，并确立了理性奇点与伪理性奇点的一致性。该研究解决了关于结构层与对偶层高阶直接像的开放问题，并证明了在任意特征下，Cohen-Macaulay 的 klt 奇点均为理性奇点。

ABSTRACT

A resolution-free definition of rational singularities is introduced, and it is proved that for a variety admitting a resolution of singularities, this is equivalent to the usual definition. It is also demonstrated that rational singularities are equivalent to pseudo-rational singularities. As applications, several open questions about the higher direct images of structure sheaves and dualizing sheaves are answered and it is proved that Cohen-Macaulay klt singularities are rational in arbitrary characteristic.

研究动机与目标

• 提供一种不依赖奇点分辨率的理性奇点定义。
• 建立理性奇点与伪理性奇点之间的等价性。
• 解决关于结构层与对偶层高阶直接像的开放问题。
• 证明在任意特征下，Cohen-Macaulay 的 klt 奇点为理性奇点。

提出的方法

• 基于上同调消去条件，提出一种新的、无需分辨率的理性奇点判定准则。
• 利用对偶理论与格罗滕迪克的局部对偶性，将新定义与经典理性奇点联系起来。
• 应用对偶复形理论，比较理性奇点与伪理性奇点。
• 运用基变换定理与上同调下降理论，分析结构层与对偶层的高阶直接像。
• 将正特征下的极小模型程序结果应用于 klt 奇点的研究。
• 利用理性奇点与伪理性奇点之间的等价性，实现不同奇点类之间性质的传递。

实验结果

研究问题

• RQ1 能否在不依赖奇点分辨率的前提下定义理性奇点？
• RQ2 在一般情况下，理性奇点是否与伪理性奇点等价？
• RQ3 在分辨率映射下，结构层与对偶层的高阶直接像具有何种性质？
• RQ4 在任意特征下，Cohen-Macaulay 的 klt 奇点是否为理性奇点？

主要发现

• 建立了一种适用于所有代数簇（而不仅限于存在分辨率的簇）的无需分辨率的理性奇点定义。
• 证明了该新定义在存在分辨率的代数簇上与经典定义等价。
• 证明了在所有维度下，理性奇点与伪理性奇点等价。
• 解决了关于结构层与对偶层高阶直接像的若干开放问题。
• 证明了在任意特征下，Cohen-Macaulay 的 klt 奇点为理性奇点，拓展了此前仅限于特征零的结论。