[论文解读] On Semirational Singularities

Jeremy Berquist|arXiv (Cornell University)|Aug 25, 2014

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

一句话总结

本文为具有 $G_1$、$S_2$ 和正规性的非正规代数簇引入了半解析解，建立了半光滑的格劳尔特-里曼施特拉瑟消去定理，并证明了半有理奇点的定义与半解析解的选择无关。通过以半解析解替代解析解，将双有理分类工具扩展至非正规情形，表明半有理奇点是科恩-麦考利且为杜波依斯的。

ABSTRACT

We study semiresolutions of quasi-projective varieties with properties $G_1$, $S_2$, and seminormality. Equivalently, these are varieties $X$ with Serre's $S_2$ property, such that there exists an open subvariety $U$, with complement of codimension at least two, such that the only singularities of $U$ are (analytically) double normal crossings. Such varieties have been called "demi-normal" by Kollár \cite{Kol13}. First, we discuss why these properties are ideal for the study of nonnormal varieties that appear in the birational classification of varieties. We define semiresolutions and provide examples to illustrate the procedure of gluing along the conductor as the fundamental tool in obtaining a semiresolution of $X$ from a resolution of its normalization. As an application of these methods, we discuss semirational singularities. Our main results are a semismooth Grauert-Riemenschneider vanishing theorem (Theorem 4.2) and a proof that the definition of semirational singularities does not depend on the semiresolution chosen (Theorem 4.3) . The smooth version of (4.2) first appeared in \cite{GR70}. We also explain why semirational singularities are, in particular, Cohen-Macaulay and DuBois. Finally, we discuss the role semiresolutions play in forming a nonnormal interpretation of the results of de Fernex and Hacon in \cite{dFH09}, where the $\mathbb{Q}$-Cartier hypothesis was found to be extraneous in the birational classification of normal varieties.

研究动机与目标

• 通过引入半解析解作为正规簇解析解的类比，为非正规代数簇建立双有理分类框架。
• 在具有 $G_1$、$S_2$ 和正规性的簇背景下，定义并研究半有理奇点，扩展有理奇点的概念。
• 证明半有理奇点的定义与半解析解的选择无关，确保分类的一致性。
• 建立半解析解下的半光滑版格劳尔特-里曼施特拉瑟消去定理。
• 证明半有理奇点是科恩-麦考利且为杜波依斯的，将其与更深层的上同调与奇点理论性质联系起来。

提出的方法

• 将半解析解定义为适当的双有理态射 $f: Y o X$，其在开子簇 $U o X$ 上为同构，且满足 $ ext{codim}(X \setminus U) \geq 2$，其中 $Y$ 为半光滑簇。
• 使用余导理想并沿余导集进行粘合，作为从正规化解析解构造半解析解的基本工具。
• 应用半光滑格劳尔特-里曼施特拉瑟消去定理：$R^i f_* \tilde{\theta}_Y = 0$ 对所有 $i > 0$ 成立，其中 $\tilde{\theta}_Y$ 为 $Y$ 上的对偶层。
• 通过半解析解 $g: Y o X$ 满足 $R^i g_* \mathcal{O}_Y = 0$ 对所有 $i > 0$ 的消失性条件来刻画半有理奇点。
• 通过证明半光滑簇具有杜波依斯奇点，且由拟同构 $\mathcal{O}_X \cong_{qis} Rf_* \mathcal{O}_Y$ 可推出 $X$ 具有杜波依斯奇点，从而证明半有理奇点为科恩-麦考利且为杜波依斯。
• 通过以半解析解替代解析解，将 de Fernex 与 Hacon 关于非 $\mathbb{Q}$-Gorenstein 正规簇的结果推广至非正规簇。

实验结果

研究问题

• RQ1 能否使用半解析解而非解析解，为非正规代数簇建立双有理分类理论？
• RQ2 半有理奇点的定义是否与半解析解的选择无关？
• RQ3 对于具有 $G_1$、$S_2$ 和正规性的簇，是否存在半光滑版的格劳尔特-里曼施特拉瑟消去定理？
• RQ4 半有理奇点是否必然为科恩-麦考利且为杜波依斯？
• RQ5 在使用半解析解对非正规簇进行双有理分类时，能否去除 $\mathbb{Q}$-Gorenstein 假设？

主要发现

• 半光滑格劳尔特-里曼施特拉瑟消去定理（定理 4.2）成立：对于具有 $G_1$、$S_2$ 和正规性的簇的半解析解 $f: Y o X$，有 $R^i f_* \tilde{\theta}_Y = 0$ 对所有 $i > 0$ 成立。
• 半有理奇点的定义与半解析解的选择无关（定理 4.3），确保了分类的一致性。
• 半有理奇点为科恩-麦考利，因其满足 $R^i g_* \mathcal{O}_Y = 0$ 对所有 $i > 0$，且通过半解析解定义。
• 半有理奇点为杜波依斯，因为半光滑簇具有杜波依斯奇点，且由拟同构 $\mathcal{O}_X \cong_{qis} Rf_* \mathcal{O}_Y$ 可推出 $X$ 具有杜波依斯奇点。
• de Fernex 与 Hacon 关于非 $\mathbb{Q}$-Gorenstein 正规簇的结果，通过半解析解推广至非正规簇，从而消除了对 $\mathbb{Q}$-Gorenstein 假设的需求。
• 存在具有 $G_1$、$S_2$ 和正规性的非正规非正规簇，其不具有半有理奇点，例如在正常嵌入阿贝尔曲面上的锥面，其顶点处非科恩-麦考利。