[论文解读] A characterization of two-dimensional rational singularities via Core of ideals

Tomohiro Okuma, Kei-ichi Watanabe+1 more|arXiv (Cornell University)|Nov 4, 2015

Commutative Algebra and Its Applications参考文献 20被引用 8

一句话总结

本文为二维正常曲面奇点中的 $p_g$-理想提供了核心的显式公式，表明 $p_g$-理想 $I$ 的核心由 $I_{2Z - Y}$ 给出，其中 $Z$ 是与 $I$ 关联的循环，$Y$ 与它的最小约化相关。关键贡献是通过核心的包含性质对有理奇点进行刻画：当特征 $ eq 2$ 时，$A$ 是有理的当且仅当对所有满足 $I' \subset I$ 的积分闭 $\/mathfrak{m}$-主理想，有 $\operatorname{core}(I') \subset \operatorname{core}(I)$。这为曲面奇点中的有理性建立了一个新的同调不变量。

ABSTRACT

The notion of $p_g$-ideals for normal surface singularities has been proved to be very useful. On the other hand, the core of ideals has been proved to be very important concept and also very mysterious one. However, the computation of the core of an ideal seems to be given only for very special cases. In this paper, we will give an explicit description of the core of $p_g$-ideals of normal surface singularities. As a consequence, we give a characterization of rational singularities using the inclusion of the core of integrally closed ideals.

研究动机与目标

• 为二维正常曲面奇点中的 $p_g$-理想提供其核心的显式描述。
• 通过积分闭理想的核心的包含行为，建立有理奇点的刻画。
• 将好 $p_g$-理想的存在性推广至非 Gorenstein 的二维正常局部域。
• 通过奇点的解析和循环理论，开发计算 $Q:I$ 和 $\operatorname{core}(I)$ 的算法方法。

提出的方法

• 使用奇点的解析 $f: X \to \operatorname{Spec}A$，将理想表示为 $\mathcal{O}_X(-Z)$ 的形式，其中 $Z$ 为某循环。
• 通过条件 $\ell_A(H^1(X, \mathcal{O}_X(-Z))) = p_g(A)$ 定义并使用 $p_g$-循环和 $p_g$-理想。
• 通过公式 $\operatorname{core}(I) = I_{2Z - Y}$ 计算核心，其中 $Y$ 由 $I$ 的最小约化 $Q$ 导出。
• 在 $X$ 上应用邻接公式与交点理论，将 $Q:I$ 和 $\operatorname{core}(I)$ 与 $p_g$-理想联系起来。
• 在最小解析中使用相对典范除子 $K = K_{X/X_0}$，当 $A$ 为有理奇点时，表达 $\operatorname{core}(I) = I_{2Z - K}$。
• 利用好理想理论（其中 $I^2 = QI$ 且 $I = Q:I$）证明 $p_g$-理想的存在性与结构性质。

实验结果

研究问题

• RQ1 能否根据奇点的解析与循环数据，显式描述 $p_g$-理想的核心？
• RQ2 对所有满足 $I' \subset I$ 的积分闭 $\mathfrak{m}$-主理想，是否恒有 $\operatorname{core}(I') \subset \operatorname{core}(I)$ 成立，从而刻画有理奇点？
• RQ3 在何种条件下，$Q:I$ 或 $\operatorname{core}(I)$ 本身是 $p_g$-理想（当 $I$ 为 $p_g$-理想时）？
• RQ4 能否在非 Gorenstein 的二维正常局部域中建立好 $p_g$-理想的存在性？
• RQ5 几何亏格 $p_g(A)$、循环 $Z$ 与 $I_Z$ 的核心之间存在何种精确关系？

主要发现

• $p_g$-理想 $I = I_Z$ 的核心为 $\operatorname{core}(I) = I_{2Z - Y}$，其中 $Y$ 是满足 $Q:I = I_{Z-Y}$ 的循环，$Q$ 为 $I$ 的最小约化。
• 对于有理奇点，有 $\operatorname{core}(I) = I_{2Z - K}$，其中 $K$ 为最小解析中的相对典范除子。
• 在 $\operatorname{char}(k) \neq 2$ 条件下，对所有积分闭 $\mathfrak{m}$-主理想满足 $I' \subset I$，有 $\operatorname{core}(I') \subset \operatorname{core}(I)$ 当且仅当 $A$ 为有理奇点。
• 当 $I$ 为 $p_g$-理想且 $Q$ 为 $I$ 的最小约化时，$Q:I$ 和 $\operatorname{core}(I)$ 本身也是 $p_g$-理想。
• 任何代数闭域上二维优秀正常局部域均存在好 $p_g$-理想，推广了 Gorenstein 情形的结果。
• 当 $A$ 为 Gorenstein 时，存在一个包含于给定积分闭 $\mathfrak{m}$-主理想 $J$ 的最大 $p_g$-理想 $I$，且满足 $\mu_A(I) = e(\mathfrak{m}) + 1$ 以及 $\ell_A(A/I) = e(I)/2 = e(\mathfrak{m}) + p_a(M_X) - 1$。