[论文解读] Semigroups of valuations dominating local domains

Steven Dale Cutkosky|ArXiv.org|Jan 2, 2008

Advanced Algebra and Logic参考文献 11被引用 5

一句话总结

本文提出了一项关于标准序子半群 ℝ₊ 的新必要条件，该子半群是支配一个特征相等的诺特局部域的赋值的值半群。通过证明区间 [0, (d+1)s₀) 内半群元素的数量受二项式系数 C(n+d, n) 的限制，作者构造了一个反例——一个序类型为 ω 的 ℚ₊ 的标准序子半群，该子半群无法作为此类值半群出现，从而表明先前已知的约束条件（标准序性和阿布扬卡特定理不等式）不足以刻画值半群。

ABSTRACT

A new criterion is given for a semigroup to be the semigroup of a valuation dominating an equicharacteristic local domain. The criterion is used to construct examples of well ordered subsemigroups of the positive rational numbers which are of ordinal type omega, but are not the value semigroup of a valuation on an equicharacteristic noetherian local domain. This shows that the necessary conditions on value semigroups given in Appendix 3 to Zariski and Samuel's book ``Commutative Algebra'' are not sufficient.

研究动机与目标

• 确定支配特征相等诺特局部域的赋值的值半群的新必要约束条件。
• 解决一个开放问题：标准序性和阿布扬卡特定理不等式是否足以完全刻画此类半群。
• 构造一个明确的例子：一个 ℚ₊ 的标准序子半群，其序类型为 ω，但无法在任何特征相等的诺特局部域上实现为值半群。
• 将赋值半群的已知结果从一维和二维正则局部环推广到高维正则局部环。
• 提供一个判别准则，用以排除某些半群作为值半群的可能性，即使它们满足经典约束条件。

提出的方法

• 证明定理 2.1，表明对于任意嵌入维数为 n 的特征相等局部域 A，对所有 d ∈ ℕ，Sᴬ(ν) ∩ [0, (d+1)s₀) 中的元素数量严格小于 C(n+d, n)。
• 使用局部域 A 的 mₐ-adic 完备化 Â，并分析在 Â/Q 上诱导的赋值，其中 Q 是无限值元素的素理想。
• 构造一个从 R → Â/Q 的满射 k-代数同态 φ，其中 R = k[[x₁,…,xₙ]] 是一个形式幂级数环，以将赋值与 R/P 上的秩 1 赋值联系起来。
• 将引理 1.2（在赋值下 F_{d,n} 中不同值数量的上界）应用于商环 R/P，推导出关键不等式。
• 将赋值限制在多项式子环 Aₙ = k[x₁,…,xₙ] 上，并利用 Aₙ 中的柯西序列在 mₐ-adic 拓扑下收敛的性质，将 Aₙ 上的值与 R 上的值联系起来。
• 使用推论 2.2 将结果特化到正则局部环，表明其值半群也满足相同的界限。

实验结果

研究问题

• RQ1 经典的约束条件——值半群的标准序性和阿布扬卡特定理不等式——是否足以完全刻画支配特征相等诺特局部域的赋值的值半群？
• RQ2 是否存在一个 ℚ₊ 的标准序子半群，其序类型为 ω，满足经典约束条件，但无法在任何特征相等的诺特局部域上实现为值半群？
• RQ3 一个 ℝ₊ 的子半群必须满足哪些新的必要条件，才能作为支配正则局部环的赋值的值半群被实现？
• RQ4 在连续区间中，半群生成元数量的增长率与局部环的维数之间有何关系？
• RQ5 能否利用 [0, (d+1)s₀) 中元素数量的界限 C(n+d, n) 来构造半群实现性的显式障碍？

主要发现

• 本文证明了，对于任意嵌入维数为 n 的特征相等局部域 A，值半群 Sᴬ(ν) 在区间 [0, (d+1)s₀) 内的元素数量，对所有 d ∈ ℕ 严格小于二项式系数 C(n+d, n)。
• 明确构造了一个 ℚ₊ 的标准序子半群 U ⊂ ℚ₊，其序类型为 ω，使得对所有 n ≥ 1，有 |U ∩ [n, n+1)| = C(2n, n)，该结果违反了定理 2.1 的界限。
• 该构造提供了一个反例，表明经典约束条件——标准序性和阿布扬卡特定理不等式——不足以刻画特征相等诺特局部域上赋值的值半群。
• 即使在一维正则局部环中，定理 2.1 的界限也并非紧致，因为 [0, (d+1)s₀) 中实际的值数量为 d，远低于 C(1+d, 1) = d+1 的界限。
• 推论 2.2 将结果加强至维数为 n 的正则局部环，表明其值半群也满足相同的界限。
• 此类反例的存在表明，在高维情形下，必须存在额外的、非平凡的约束条件，才能完全刻画值半群。