[論文レビュー] 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

ひとこと要約

本稿では、2つの生成子を持つ数値半群 Γ における半モジュールの導子について、閉形式の公式を提示する。この公式は、その関係のゼロ除法モジュールの最大生成子と半群の生成子を用いて表される。主な結果は、半モジュールの導子が最大ゼロ除法生成子から α と β を引いたものに 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$.

研究の動機と目的

• Γ が2つの生成子を持つ場合の Γ-半モジュールの導子に対する閉形式の式を導出すること。
• 半モジュールの導子をその最小生成子のゼロ除法モジュールに関連付けること。
• 半モジュールの導子と半群の導子の差が、半群自体に属することを確立すること。
• 双対半モジュールの最小生成子を用いて導子を表現することで、代替的な計算手法を提供すること。

提案手法

• Γ-半モジュール ∆ の導子を c(∆) = max(N \ ∆) + 1 として定義する。
• s = α + β を基準とする Apéry 組合せを用い、命題 2.1 を用いて導子を特徴付ける。
• ゼロ除法モジュール Syz(∆) の最小生成子を、特定のモジュロ制約と順序制約を満たす「スリム集合」J = [h₀, ..., hₙ] として同定する。
• J の最大生成子 M = max≤N{h ∈ J} が導子公式の主要な構成要素であることを特徴付ける。
• 双対性を適用：写像 x ↦ αβ − x を用いて、Syz(∆) の生成子と双対半モジュール ∆∗ の生成子を関連付ける。
• 導子公式 c(∆) = M − α − β + 1 とその双対形 c(∆) = αβ − min≤N{x₀, ..., xₙ} − α − β + 1 を導出する。

実験結果

リサーチクエスチョン

• RQ1 2つの生成子を持つ Γ-半モジュールの導子は、ゼロ除法モジュールのデータを用いて閉形式で表現可能か？
• RQ2 半モジュールの導子と半群の導子の差は、半群自体の元であるか？
• RQ3 双対半モジュールの最小生成子を用いて、半モジュールの導子をどのように計算できるか？
• RQ4 最大ゼロ除法生成子の幾何的解釈（格子路との関係）は何か？

主な発見

• Γ = ⟨α, β⟩ である Γ-半モジュール ∆ の導子は、c(∆) = M − α − β + 1 で与えられ、ここで M はゼロ除法モジュール Syz(∆) の最大生成子である。
• Corollary 3.4 により、c(Γ) − c(∆) は Γ の元であることが示された。
• Γ = ⟨5, 7⟩ および ∆ の最小生成子が [0, 9, 11, 8] の場合、導子は c(∆) = 7 であり、M = 18 を用いて計算された。
• ∆ の双対半モジュール ∆∗ の最小生成子は [20, 17, 19, 21] であり、c(∆) = 35 − 17 − 12 + 1 = 7 と計算され、Corollary 3.6 により公式が裏付けられた。
• 最大ゼロ除法生成子 M は、Ap(∆, α + β) の最大元に一致し、導子を Apéry 組合せに関連付ける。
• M のギャップ表現における格子座標 (m₁, m₂) を用いて、c(∆) = c(Γ) − m₁α − m₂β が成り立つ。