[论文解读] Isolated factorizations and their applications in simplicial affine semigroups

Pedro A. García-Sánchez, Andrés Herrera-Poyatos|arXiv (Cornell University)|Apr 3, 2018

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

一句话总结

本文在交换幺半群中引入了孤立分解，特别关注单纯仿射半群与数值半群，并建立了其数量的上界。它将 α-矩形性推广至单纯仿射半群，刻画了仅含一个贝蒂极小元素的完备交半群，定义了贝蒂有序与贝蒂可除半群，并将其与粘合构造及极小表示联系起来。

ABSTRACT

We introduce the concept of isolated factorizations of an element of a commutative monoid and study its properties. We give several bounds for the number of isolated factorizations of simplicial affine semigroups and numerical semigroups. We also generalize $\alpha$-rectangular numerical semigroups to the context of simplicial affine semigroups and study their isolated factorizations. As a consequence of our results, we characterize those complete intersection simplicial affine semigroups with only one Betti minimal element in several ways. Moreover, we define Betti sorted and Betti divisible simplicial affine semigroups and characterize them in terms of gluings and their minimal presentations. Finally, we determine all the Betti divisible numerical semigroups, which turn out to be those numerical semigroups that are free for any arrangement of their minimal generators.

研究动机与目标

• 在交换幺半群中定义并研究孤立分解，特别是单纯仿射半群与数值半群中的情况。
• 将 α-矩形数值半群的概念推广至单纯仿射半群，并分析其孤立分解。
• 通过孤立分解刻画仅含一个贝蒂极小元素的完备交单纯仿射半群。
• 定义并研究贝蒂有序与贝蒂可除单纯仿射半群，将其与粘合构造及极小表示联系起来。
• 确定所有贝蒂可除数值半群，表明其对任意极小生成元排列均为自由半群。

提出的方法

• 将孤立分解定义为因子分解图 ∇m 中大小为一的 R-类。
• 利用贝蒂元素结构与极小表示分析单纯仿射半群中的孤立分解。
• 通过 c-矩形性与极小生成元的重排，将 α-矩形性推广至单纯仿射半群。
• 利用贝蒂元素上的整除性与序关系刻画贝蒂有序与贝蒂可除半群。
• 应用粘合构造，从极小表示的角度刻画贝蒂有序与贝蒂可除半群。
• 利用极小表示理论与核同余，推导孤立分解数量的上界。

实验结果

研究问题

• RQ1 单纯仿射半群与数值半群中孤立分解的结构性质是什么？
• RQ2 α-矩形性如何从数值半群推广至单纯仿射半群？这对孤立分解有何影响？
• RQ3 通过孤立分解，能否对仅含一个贝蒂极小元素的完备交单纯仿射半群进行刻画？
• RQ4 贝蒂有序与贝蒂可除半群与粘合构造及极小表示之间存在何种关系？
• RQ5 哪些数值半群是贝蒂可除的？这对它们的自由性与生成元排列意味着什么？

主要发现

• 通过其贝蒂元素与极小表示的结构性质，单纯仿射半群与数值半群中孤立分解的数量被界定。
• 在广义定义下，仅含一个贝蒂极小元素的完备交单纯仿射半群被刻画为 α-矩形半群。
• 贝蒂可除的数值半群恰好是对于其任意极小生成元排列均为自由半群的半群。
• 贝蒂有序与贝蒂可除单纯仿射半群完全通过粘合构造与极小表示得以刻画。
• 半群 S 是贝蒂可除的，当且仅当其对任意极小生成元排列均为自由半群，且当且仅当其对每个极小生成元均为 c-矩形。
• 对于嵌入维数为 e 的数值半群 S，S 是贝蒂可除的，当且仅当其存在形如 {(ciei, ci−1ei−1) : i ∈ {2,…,e}} 的极小表示，其中 ci = c*i，且 ib(S) = e(S)。