[論文レビュー] On the Betti numbers of some semigroup rings

Vincenzo Micale, Anda Olteanu|arXiv (Cornell University)|Nov 6, 2011

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

ひとこと要約

本稿は、固定された半群 $S$ が無限に多くの対称的半群 $T$ の半分であるような場合に、数値的半群に関連する半群環のベッチ数を調査する。3生成の対称的またはテレスコピック半群 $S$ の場合、$K[T]$ のベッチ数は $T$ の選択に依存しないことが示され、4生成の対称的で完全交差でない半群 $S$ の場合、すべての such $T$ は同一の総ベッチ数 $\beta_1=6$, $\beta_2=10$, $\beta_3=6$, $\beta_4=1$ を持つ。結果は単体的複体のホモロジーおよび対称的半群の性質を用いて得られた。

ABSTRACT

For any numerical semigroup $S$, there are infinitely many numerical symmetric semigroups $T$ such that $S=\frac{T}{2}$ is their half. We are studying the Betti numbers of the numerical semigroup ring $K[T]$ when $S$ is a 3-generated numerical semigroup or telescopic. We also consider 4-generated symmetric semigroups and the so called 4-irreducible numerical semigroups.

研究の動機と目的

• 固定された $S$ に対して $S = T/2$ を満たす対称的数値的半群 $T$ における半群環 $K[T]$ のベッチ数を分析すること。
• 与えられた半分 $S$ を持つ無限に多くの対称的半群 $T$ の中で、$K[T]$ のベッチ数が $T$ の選択に依存しないかを特定すること。
• $S$ が4生成の対称的で完全交差でない半群である場合に、$K[T]$ の総ベッチ数を計算すること。
• $S$ が4-既約な数値的半群である場合に、特に $S$ が3生成または最小生成の場合に、$K[S]$ のベッチ数を特定すること。

提案手法

• 半群 $T$ の半分を $S = \{x \in \mathbb{N} \mid 2x \in T\}$ と定義し、既知の構成法を用いて $S = T/2$ を満たす無限に多くの対称的 $T$ を生成する。
• 命題2.2を用いて、$S$ に関連する単体的複体 $\Delta_s$ の相対的ホモロジーと、$K[S]$ の次数付きベッチ数 $\beta_{i,s}(K[S])$ を関連付ける。
• テレスコピック半群の理論を適用し、3生成の対称的 $S$ の場合に、$S = T/2$ を満たす $T$ の選択に依存しない $K[T]$ のベッチ数を示す。
• 対称的半群環のゴレンシュタイン性を用いてベッチ数の対称性を導出し、交代和条件 $\sum (-1)^i \beta_i = 0$ を適用して欠落しているベッチ数を計算する。
• 3生成の対称的および擬似対称的半群に関する既知の結果を活用し、$S$ が4-既約の場合の $K[S]$ のベッチ数を特定する。
• コンピュータ代数システムを用いて、$\langle 4,5,6,7\rangle$ や $\langle 4,6,7,9\rangle$ のような特定の4-既約半群のベッチ数を計算する。

実験結果

リサーチクエスチョン

• RQ1 固定された $S$ に対して $S = T/2$ を満たす対称的半群 $T$ の選択に依存しない、$K[T]$ のベッチ数は存在するか？
• RQ2 $S$ が4生成の対称的で完全交差でない半群であり、$S = T/2$ を満たす任意の対称的半群 $T$ の場合に、$K[T]$ の総ベッチ数は何か？
• RQ3 $S$ が4-既約な数値的半群である場合、特に3生成または最小生成の場合に、$K[S]$ のベッチ数はどのように振る舞うか？
• RQ4 同じ半分 $S$ を持つすべての対称的半群 $T$ に対して、$K[T]$ のベッチ数を一様に計算できるか？
• RQ5 単体的複体 $\Delta_s$ は、数値的半群の $\beta_{i,s}(K[S])$ の計算において果たす役割は何か？

主な発見

• 任意の3生成の対称的またはテレスコピック半群 $S$ に対して、$S = T/2$ を満たすすべての対称的半群 $T$ は、$K[T]$ に対して同一のベッチ数を持つ。これはコロナリー3.7で示された。
• 4生成の対称的で完全交差でない半群 $S$ の場合、$S = T/2$ を満たすすべての対称的半群 $T$ は、同一の総ベッチ数 $\beta_1 = 6$, $\beta_2 = 10$, $\beta_3 = 6$, $\beta_4 = 1$ を持つ。これは命題5.1で確立された。
• $T$ が対称的で $S = T/2$ を満たす場合、$K[T]$ のベッチ数は $T$ の選択に依存しない。これは命題4.13および注意5.2で示された。特に $T$ が5生成であっても同様である。
• $S$ が4-既約な半群である場合、$K[S]$ のベッチ数は、$\langle 4,5,6,7\rangle$ や $\langle 4,6,7,9\rangle$ のような特定のケースにおいてコンピュータ代数システムを用いて計算可能であり、3生成の対称的または擬似対称的ケースでは既知である。
• ゴレンシュタイン環（対称的 $T$ の $K[T]$）におけるベッチ数の対称性と、交代和条件 $\sum (-1)^i \beta_i = 0$ を用いて、$\beta_1 = 6$ および $\beta_4 = 1$ から $\beta_2 = 10$ を導出し、ベッチ数列の完全性を確認した。
• $f > 3g(S) + 1$ を満たす $T = \langle 2n_1, \dots, 2n_k, f - 2g \rangle$ の構成により、$T$ が対称的かつ $S = T/2$ を満たすことが保証され、このようなすべての $T$ を一様に生成する方法が得られた。