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

ひとこと要約

この論文は、特に単体的アフィン半群および数値半群における可換モノイドにおける分離因子分解を導入し、その数の上限を確立する。α-長方形性を単体的アフィン半群へ一般化し、Betti最小元が1つの完全交差半群を特徴づけ、Betti順序付きおよびBetti可除性を持つ半群を定義し、それらを接合構成および最小提示に関連付ける。

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.

研究の動機と目的

• 可換モノイド、特に単体的アフィン半群および数値半群における分離因子分解を定義し、それらを研究すること。
• α-長方形性の概念を数値半群から単体的アフィン半群へ一般化し、その分離因子分解に与える影響を分析すること。
• Betti最小元が1つの完全交差単体的アフィン半群を、分離因子分解を用いて特徴づけること。
• Betti順序付きおよびBetti可除性を持つ単体的アフィン半群を定義し、それらを接合構成および最小提示に関連付けて調査すること。
• すべてのBetti可除性を持つ数値半群を特定し、それが任意の最小生成元の配置に対して自由であることを示すこと。

提案手法

• 因子分解グラフ ∇m におけるR-類のサイズが1である分離因子分解の概念を導入する。
• Betti要素の構造と最小提示を用いて、単体的アフィン半群における分離因子分解を分析する。
• c-長方形性および最小生成元の再配置を用いて、α-長方形性を単体的アフィン半群へ一般化する。
• Betti要素上の可除性および順序関係を用いて、Betti順序付きおよびBetti可除性を持つ半群を特徴づける。
• 接合構成を適用し、最小提示の観点からBetti順序付きおよびBetti可除性を持つ半群を特徴づける。
• 最小提示の理論および核同値関係を用いて、分離因子分解の数の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 単体的アフィン半群および数値半群における分離因子分解の構造的性質は何か？
• RQ2 α-長方形性は数値半群から単体的アフィン半群へどのように一般化可能か？ そして、分離因子分解に与える影響は何か？
• RQ3 分離因子分解を用いて、Betti最小元が1つの完全交差単体的アフィン半群をどのように特徴づけられるか？
• RQ4 Betti順序付きおよびBetti可除性を持つ半群は、接合構成および最小提示とどのように関係するか？
• RQ5 どの数値半群がBetti可除性を持つのか？ これは、その自由性および生成元の配置にどのような意味を持つのか？

主な発見

• 単体的アフィン半群および数値半群における分離因子分解の数は、Betti要素および最小提示の構造的性質を用いて上限が与えられる。
• Betti最小元が1つの完全交差単体的アフィン半群は、一般化された定義のもとでα-長方形であることが特徴づけられる。
• Betti可除性を持つ数値半群は、任意の最小生成元の配置に対して自由であるものに限り限られる。
• Betti順序付きおよびBetti可除性を持つ単体的アフィン半群は、接合構成および最小提示の観点から完全に特徴づけられる。
• 半群 S がBetti可除性を持つことと、任意の最小生成元の配置に対して自由であること、およびすべての最小生成元についてc-長方形であることとは同値である。
• 数値半群 S が埋め込み次元 e を持つとき、S がBetti可除性を持つことと、{(ciei, ci−1ei−1) : i ∈ {2,…,e}} の形の最小提示をもつこと、および ib(S) = e(S) が成り立つこととは同値である。