[论文解读] Rees algebras and $p_g$-ideals in a two-dimensional normal local domain

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

Commutative Algebra and Its Applications参考文献 11被引用 15

一句话总结

本文在代数闭域上的二维正常局部域上建立了 $p_g$-理想 的环论刻画。证明了 $\mathfrak{m}$-主理想 $I$ 是 $p_g$-理想当且仅当其 Rees 环 $\mathcal{R}(I)$ 是 Cohen-Macaulay 正常域，从而通过其 Rees 环和正常 Hilbert 系数提供了一个关键的代数判别准则，用于识别这些理想。

ABSTRACT

The authors introduced the notion of $p_g$-ideals for two-dimensional excellent normal local domain over an algebraicaly closed field in terms of resolution of singularities. In this note, we give several ring-theoretic characterization of $p_g$-ideals. For instance, an $m$-primary ideal $I \subset A$ is a $p_g$-ideal if and only if the Rees alegbra $\mathcal{R}(I)$ is a Cohen-Macaulay normal domain.

研究动机与目标

• 在二维正常局部域上提供 $p_g$-理想 的环论刻画。
• 将 $p_g$-理想 理论从奇点的解析解耦扩展到纯粹的代数条件。
• 利用 Rees 环和正常 Hilbert 系数建立 $p_g$-理想 的等价刻画条件。
• 将关于有理奇点的已知结果推广到任意具有正几何亏格的正常局部域。

提出的方法

• 利用奇点的解析解和反拟负循环，通过条件 $h^1(\mathcal{O}_X(-Z)) = p_g(A)$ 定义 $p_g$-理想。
• 应用正常 Hilbert 系数理论，特别是 $\overline{e}_2(I)$，以刻画 $p_g$-理想。
• 证明 $I$ 是 $p_g$-理想当且仅当 $\mathcal{R}(I)$ 是 Cohen-Macaulay 正常域。
• 利用联合约化和双分次 Rees 环，将结果推广至多个理想的情形。
• 利用 Cohen-Macaulay 性与 $\mathcal{R}(I)$ 的正规性蕴含积分闭理想且第二正常 Hilbert 系数为零的性质。
• 通过拟齐次超曲面构造显式例子，实现具有指定几何亏格的 $p_g$-理想。

实验结果

研究问题

• RQ1 在二维正常局部域中，$\mathfrak{m}$-主理想 $I$ 何时是 $p_g$-理想？
• RQ2 Rees 环 $\mathcal{R}(I)$ 的哪些代数条件可推出 $I$ 是 $p_g$-理想？
• RQ3 第二正常 Hilbert 系数 $\overline{e}_2(I)$ 的消失如何与 $p_g$-理想性质相关？
• RQ4 当 $I,J$ 均为 $p_g$-理想时，双分次 Rees 环 $\mathcal{R}(I,J)$ 在何种条件下是 Cohen-Macaulay？
• RQ5 是否可在具有给定几何亏格的超曲面奇点中显式构造 $p_g$-理想？

主要发现

• $\mathfrak{m}$-主理想 $I$ 是 $p_g$-理想当且仅当其 Rees 环 $\mathcal{R}(I)$ 是 Cohen-Macaulay 正常域。
• 条件 $I^2 = QI$（其中 $Q$ 为极小约化）且对所有 $n \geq 1$ 有 $\overline{I^n} = I^n$，刻画了 $p_g$-理想。
• $\overline{e}_2(I) = 0$ 当且仅当 $I$ 是 $p_g$-理想。
• 对任意两个 $p_g$-理想 $I$ 和 $J$，存在一般元素 $a \in I$，$b \in J$，使得 $IJ = aJ + bI$，从而保证双分次 Rees 环 $\mathcal{R}(I,J)$ 是 Cohen-Macaulay。
• 扩展 Rees 环 $\mathcal{R}'(I)$ 是正规域当且仅当 $I$ 是 $p_g$-理想，如在 $p_g(A) = p$ 的显式例子中所示。
• 构造了满足 $p_g(A) = p$ 的超曲面例子，其中 $\mathfrak{m}$ 是 $p_g$-理想当且仅当其 Rees 环是 Cohen-Macaulay，且对任意 $p \geq 1$，此类理想均存在。