[论文解读] Divisorial linear algebra of normal semigroup rings

Winfried Bruns, Joseph Gubeladze|ArXiv.org|Jan 10, 2000

Commutative Algebra and Its Applications参考文献 9被引用 6

一句话总结

该论文证明，在正规半群环中，对于任意固定的上界 C，具有至多 C 个生成元的除子理想仅有有限多个。通过组合方法与多加权 Hilbert 函数技术，证明仅有有限多个除子类是 Cohen–Macaulay 的，并通过定义锥的面结构刻画了除子理想的最小深度。

ABSTRACT

We investigate the minimal number of generators $μ$ and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the semigroup. The main result is that for every bound $C$ there exist, up to isomorphism, only finitely divisorial ideals $I$ such that $μ(I)\le C$. It follows that there exist only finitely many Cohen--Macaulay divisor classes. Moreover we determine the minimal depth of all divisorial ideals and the behaviour of $μ$ and depth in ``arithmetic progressions'' in the divisor class group. The results are generalized to more general systems of linear inequalities whose homogeneous versions define the semigroup in a not necessarily irredundant way. The ideals arising this way can also be considered as defined by the non-negative solutions of an inhomogeneous system of linear diophantine equations. We also give a more ring-theoretic approach to the theorem on minimal number of generators of divisorial ideals: it turns out to be a special instance of a theorem on the growth of multigraded Hilbert functions.

研究动机与目标

• 确定正规半群环中生成元数量有界的除子理想的有限性。
• 利用定义有理锥的面结构刻画除子理想的最小深度。
• 通过组合方法与 Hilbert 函数论证，证明仅有有限多个除子类是 Cohen–Macaulay 的。
• 推广关于由非齐次线性丢番图不等式组定义的除子理想的结果。
• 建立除子理想最小生成元数量与多加权 Hilbert 函数增长之间的环论联系。

提出的方法

• 将除子理想视为模 KT，其中 T 是某个非齐次线性不等式组的整数解集。
• 使用半群环 R 嵌入到由除子类群 Cl(R) 为指标的多项式环 P 的标准嵌入。
• 应用多加权 Hilbert 函数理论，证明当 Hilbert 函数在等差数列上被 C 有界时，具有此类取值的分量仅有有限多个。
• 对与除子理想相关的凸多面体运用组合论证，特别关注正维数的紧致面。
• 利用类似 Frobenius 的自同态，将锥形除子理想刻画为 R 在该自同态像上的分解中的分量。
• 将问题约化为分数群中子半群的分析，并在秩条件约束下研究其并集中的间隙。

实验结果

研究问题

• RQ1 对于固定的上界 C，正规半群环中生成元数不超过 C 的除子理想是否仅有有限多个？
• RQ2 正规半群环中任意除子理想的最小可能深度是多少？它如何由锥的面结构决定？
• RQ3 除子类群中仅有有限多个类对应 Cohen–Macaulay 模吗？
• RQ4 μ(I) 与 depth 沿除子类群中的等差数列如何变化？
• RQ5 当半群纯嵌入多项式环时，其陪集模在何种条件下成为除子理想？

主要发现

• 对每个正整数 C，正规半群环中满足 μ(I) ≤ C 的除子理想 I 仅有有限多个。
• 所有除子理想的最小深度等于由半群生成的锥的面数的最小值，且其交集为 {0}。
• 由于生成元数量有界的理想仅有有限多个，因此除子类群中仅有有限多个类代表 Cohen–Macaulay 模。
• 沿除子类群中等差数列，μ(I) 与 depth 的行为受良好控制且具有周期性。
• 除子理想最小生成元数量由多加权 Hilbert 函数的增长所决定，这为有限性结果提供了另一种证明。
• 锥形除子理想——即由不等式 σ_i(z) ≥ σ_i(β) 定义的——是 Cohen–Macaulay 的，且恰好对应于 R 在类似 Frobenius 自同态下的分解中的分量。