[论文解读] A formula for the conductor of a semimodule of a numerical semigroup with two generators

Patricio Almirón, Julio José Moyano‐Fernández|arXiv (Cornell University)|Jul 20, 2020

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

一句话总结

本文为具有两个生成元的数值半群上的半模的导子提供了一个闭式公式，该公式以关系模的最 generators 和半群生成元表示导子。关键结果是：半模的导子等于最大关系生成元减去 α 和 β 再加 1，且半群与半模导子之间的差值属于该半群本身。该公式亦通过对偶半模的最小生成元重新表达。

ABSTRACT

We provide an expression for the conductor $c(\Delta)$ of a semimodule $\Delta$ of a numerical semigroup $\Gamma$ with two generators in terms of the syzygy module of $\Delta$ and the generators of the semigroup. In particular, we deduce that the difference between the conductor of the semimodule and the conductor of the semigroup is an element of $\Gamma$, as well as a formula for $c(\Delta)$ in terms of the dual semimodule of $\Delta$.

研究动机与目标

• 推导当 Γ 有两个生成元时，Γ-半模导子的闭式表达式。
• 将半模导子与其中小生成元的关系模联系起来。
• 证明半模导子与半群导子之间的差值本身属于该半群。
• 通过双对偶半模的最小生成元表达导子，以实现替代计算方式。

提出的方法

• 将 Γ-半模的导子定义为 c(∆) = max(N \ ∆) + 1。
• 利用 s = α + β 的 Apéry 集，通过命题 2.1 描述导子。
• 将关系模 Syz(∆) 的最小生成元识别为满足特定模运算与排序约束的精简集合 J = [h₀, ..., hₙ]。
• 将最大生成元 M = max≤N{h ∈ J} 作为导子公式的关键组成部分。
• 应用对偶性：利用映射 x ↦ αβ − x，将 Syz(∆) 的生成元与对偶半模 ∆∗ 的生成元联系起来。
• 推导出导子公式 c(∆) = M − α − β + 1 及其对偶形式 c(∆) = αβ − min≤N{x₀, ..., xₙ} − α − β + 1。

实验结果

研究问题

• RQ1 是否能利用关系模数据，以闭式表达具有两个生成元的 Γ-半模的导子？
• RQ2 半模导子与半群导子之间的差值是否属于该半群本身？
• RQ3 如何通过双对偶半模的最小生成元计算半模的导子？
• RQ4 最大关系生成元在格路几何中的解释是什么？

主要发现

• 对于 Γ = ⟨α, β⟩ 的 Γ-半模 ∆，其导子为 c(∆) = M − α − β + 1，其中 M 为关系模 Syz(∆) 的最大生成元。
• 差值 c(Γ) − c(∆) 属于 Γ，如推论 3.4 所示。
• 当 Γ = ⟨5, 7⟩ 且 ∆ 的最小生成元为 [0, 9, 11, 8] 时，导子为 c(∆) = 7，通过 M = 18 计算得出。
• ∆ 的对偶半模 ∆∗ 的最小生成元为 [20, 17, 19, 21]，且 c(∆) = 35 − 17 − 12 + 1 = 7，通过推论 3.6 确认了公式的正确性。
• 最大关系生成元 M 对应于 Ap(∆, α + β) 中的最大元素，将导子与 Apéry 集联系起来。
• 公式 c(∆) = c(Γ) − m₁α − m₂β 成立，其中 (m₁, m₂) 为 M 在间隙表示中的格点坐标。