[论文解读] On the value-semigroup of a simple complete ideal in a two-dimensional regular local ring

Silvio Greco, K. Kiyek|ArXiv.org|Dec 28, 2007

Commutative Algebra and Its Applications参考文献 10被引用 3

一句话总结

本文在剩余有理性的条件下，建立了二维正则局部环中一个简单完备 $π$-主理想的价值半群、重数序列和形式特征序列之间的等价性。利用哈默尔-诺特表，本文给出了价值半群对称性的新证明，并基于表的数据推导出其亏格的显式公式。

ABSTRACT

Let R be a two-dimensional regular local ring with maximal ideal \mathfrak m, and let \wp be a simple complete \mathfrak m-primary ideal which is residually rational. Let R_0:= R\subsetneqq ...\subsetneqq R_r be the quadratic sequence associated to \wp, let Γ_\wp be the value-semigroup associated to \wp, and let ((e_j(\wp))_{0\leq j\leq r} be the multiplicity sequence of \wp. We associate to \wp a sequence of natural integers, the formal characteristic sequence of \wp, and we show that the value-semigroup, the multiplicity sequence and the formal characteristic sequence are equivalent data. Furthermore, we give a new proof that Γ_\wp is symmetric, and give a formula for c_\wp, the conductor of Γ_\wp, in terms of entries of the Hamburger-Noether tableau of \wp.

研究动机与目标

• 建立二维正则局部环中一个简单完备 $π$-主理想的价值半群、重数序列和形式特征序列之间的等价性。
• 在剩余有理性的假设下，通过哈默尔-诺特表给出价值半群对称性的新证明。
• 基于哈默尔-诺特表数据，推导出价值半群 $\Gamma_\wp$ 的亏格 $c_{\wp}$ 的显式公式。
• 澄清并修正先前工作中在哈默尔-诺特表构造及其在半群计算中应用方面的遗漏。

提出的方法

• 以理想 $\wp$ 的哈默尔-诺特表作为核心计算与理论工具。
• 从重数序列和重数之间的可除性条件出发，递归构造形式特征序列 $(\gamma_i(\wp))_{0\leq i\leq g}$。
• 应用 HN-表推导出半群序列 $(r_i)$ 和除子序列 $(\theta_i)$，它们严格生成价值半群 $\Gamma_\wp$。
• 利用连续 $\gamma_i$ 值之间的递推关系，将形式特征序列与 HN-表结构联系起来。
• 应用霍斯金-德利涅的长度公式，将重数序列中 1 的个数表示为其他重数的函数。
• 通过比较不同 HN-表（如 $\operatorname{HN}(\wp;x,y)$ 和 $\operatorname{HN}(\wp^{R_1};x_1,y_1)$）中的亏格公式，验证一致性并推导出主要的亏格公式。

实验结果

研究问题

• RQ1 在二维正则局部环中，一个剩余有理的简单完备 $\mathfrak{m}$-主理想的价值半群、重数序列和形式特征序列是否为等价数据？
• RQ2 能否通过哈默尔-诺特表重新证明价值半群 $\Gamma_\wp$ 的对称性？
• RQ3 价值半群 $\Gamma_\wp$ 的亏格 $c_\wp$ 的精确公式是什么，其表达式如何基于哈默尔-诺特表数据表示？
• RQ4 重数序列与形式特征序列通过 HN-表在结构上如何关联？
• RQ5 在早期哈默尔-诺特表构造中，为半群计算应进行哪些修正或澄清？

主要发现

• 对于一个剩余有理的简单完备 $\mathfrak{m}$-主理想，其价值半群 $\Gamma_\wp$、重数序列 $(e_j(\wp))_{0\leq j\leq r}$ 和形式特征序列 $(\gamma_i(\wp))_{0\leq i\leq g}$ 是等价数据。
• 价值半群 $\Gamma_\wp$ 是对称的，且本文通过哈默尔-诺特表给出了其对称性的新证明。
• 价值半群 $\Gamma_\wp$ 的亏格 $c_\wp$ 由公式 $c_\wp = -r_0 + 1 + \sum_{j=1}^h r_j(\theta_j/\theta_{j+1} - 1)$ 给出，其中 $r_j$ 和 $\theta_j$ 是 HN-表中的半群序列与除子序列。
• 对 $c_\wp$ 的另一种表达式为 $c_\wp = (q_1 - 1)(\theta_1 - 1) + \sum_{j=2}^h q_j(\theta_j - 1)$，其中 $q_j$ 是 HN-表中的商。
• 第三个等价公式为 $c_\wp = (p_1 - 1)(c_1 - 1) + \sum_{i=2}^\epsilon p_i(c_i - 1)$，其中 $p_i$ 和 $c_i$ 是 HN-表中的条目。
• 本文修正了文献 [3] 中的遗漏，通过增加条件 $\theta_1 > \cdots > \theta_{g+1} = 1$ 确保 HN-表的有效性。