[论文解读] 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$ 的一半时的情形。研究发现，对于三生成的对称或望远镜型半群 $S$，$K[T]$ 的贝蒂数与 $T$ 的选择无关；对于四生成的对称非完全交截半群 $S$，所有此类 $T$ 的总贝蒂数相同：$eta_1=6$，$eta_2=10$，$eta_3=6$，$eta_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.

研究动机与目标

• 分析当 $T$ 是一个对称数值半群且 $S = T/2$ 时，半群环 $K[T]$ 的贝蒂数。
• 确定 $K[T]$ 的贝蒂数是否独立于满足 $S = T/2$ 的无穷多个对称半群 $T$ 的选择。
• 当 $S$ 是一个四生成的对称非完全交截半群时，计算 $K[T]$ 的总贝蒂数。
• 确定四不可约数值半群 $S$ 的 $K[S]$ 的贝蒂数，特别是当 $S$ 为三生成或极小生成时的情形。

提出的方法

• 将半群 $T$ 的一半定义为 $S = \{x \in \mathbb{N} \mid 2x \in T\}$，并利用已知构造方法生成无穷多个满足 $S = T/2$ 的对称 $T$。
• 利用命题 2.2，将分次贝蒂数 $\beta_{i,s}(K[S])$ 与关联于 $S$ 的单纯复形 $\Delta_s$ 的约化同调联系起来。
• 应用望远镜型半群理论，证明对于三生成的对称 $S$，$K[T]$ 的贝蒂数与满足 $S = T/2$ 的 $T$ 的选择无关。
• 利用对称半群环的 Gorenstein 性质推导贝蒂数的对称性，并应用交错和条件 $\sum (-1)^i \beta_i = 0$ 来计算缺失的贝蒂数。
• 利用关于三生成对称或拟对称半群的已知结果，确定当 $S$ 为四不可约时 $K[S]$ 的贝蒂数。
• 利用计算机代数系统计算特定四不可约半群（如 $\langle 4,5,6,7\rangle$ 和 $\langle 4,6,7,9\rangle$）的贝蒂数。

实验结果

研究问题

• RQ1 对于固定的 $S$，$K[T]$ 的贝蒂数是否独立于满足 $S = T/2$ 的对称半群 $T$ 的选择？
• RQ2 当 $S$ 是一个四生成的对称非完全交截半群且 $T$ 是任意满足 $S = T/2$ 的对称半群时，$K[T]$ 的总贝蒂数是多少？
• RQ3 当 $S$ 是一个四不可约数值半群时，$K[S]$ 的贝蒂数如何变化，特别是对于三生成或极小生成的情形？
• RQ4 是否可以对所有具有相同一半 $S$ 的对称半群 $T$ 统一计算 $K[T]$ 的贝蒂数？
• RQ5 单纯复形 $\Delta_s$ 在计算数值半群的 $\beta_{i,s}(K[S])$ 中起什么作用？

主要发现

• 对于任意三生成的对称或望远镜型半群 $S$，所有满足 $S = T/2$ 的对称半群 $T$ 均使 $K[T]$ 的贝蒂数相同，如推论 3.7 所示。
• 对于四生成的对称非完全交截半群 $S$，所有满足 $S = T/2$ 的对称半群 $T$ 具有相同的总贝蒂数：$eta_1 = 6$，$eta_2 = 10$，$eta_3 = 6$，$eta_4 = 1$，如命题 5.1 所确立。
• $K[T]$ 的贝蒂数（其中 $T$ 为对称半群且 $S = T/2$）与 $T$ 的选择无关，即使 $T$ 为五生成，如命题 4.13 和注记 5.2 所示。
• 对于四不可约半群 $S$，$K[S]$ 的贝蒂数可通过计算机代数系统计算特定情形（如 $\langle 4,5,6,7\rangle$ 和 $\langle 4,6,7,9\rangle$）的值，且三生成对称或拟对称情形的贝蒂数已知。
• 利用 Gorenstein 环（如对称 $T$ 的 $K[T]$）中贝蒂数的对称性以及交错和条件 $\sum (-1)^i \beta_i = 0$，可从 $\beta_1 = 6$ 和 $\beta_4 = 1$ 推出 $\beta_2 = 10$，从而确认完整的贝蒂数序列。
• 通过构造 $T = \langle 2n_1, \dots, 2n_k, f - 2g \rangle$ 且 $f > 3g(S) + 1$，可确保 $T$ 为对称半群且 $S = T/2$，从而提供一种统一方法生成所有此类 $T$。