[論文レビュー] Cyclotomic numerical semigroups

Emil-Alexandru Ciolan, Pedro A. García-Sánchez+1 more|arXiv (Cornell University)|Sep 19, 2014

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

ひとこと要約

本稿では、半群多項式が円分多項式に因数分解できる数値半群である『円分数値半群』を導入し、それが常に対称的であることを証明するとともに、完全交差数値半群と完全に一致するという予想を提示している。著者らは円分指数および多項式的に関連する半群の概念を導入し、深さ $d = pqr$ および $d = p^n q$ で高さ 1 の円分半群を分類し、それぞれ $\<pr, q\rangle$ および $\langle p^n, q\rangle$ で生成されることを示している。

ABSTRACT

Given a numerical semigroup $S$, we let $\mathrm P_S(x)=(1-x)\sum_{s\in S}x^s$ be its semigroup polynomial. We study cyclotomic numerical semigroups; these are numerical semigroups $S$ such that $\mathrm P_S(x)$ has all its roots in the unit disc. We conjecture that $S$ is a cyclotomic numerical semigroup if and only if $S$ is a complete intersection numerical semigroup and present some evidence for it. Aside from the notion of cyclotomic numerical semigroup we introduce the notion of cyclotomic exponents and polynomially related numerical semigroups. We derive some properties and give some applications of these new concepts.

研究の動機と目的

• 半群多項式のすべての根が単位円上にある（すなわち円分数値半群である）数値半群の内在的特徴付けを提供すること。
• 円分数値半群と完全交差数値半群の関係を調査すること。
• 円分指数および多項式的に関連する数値半群の概念を導入し、それらを研究すること。
• 所与の深さと高さを持つ円分数値半群を分類すること、特に小さな素数の冪の深さについて。
• 半群多項式が円分多項式の積としてどのように因数分解できるかを調べ、構造的制約を導出すること。

提案手法

• 半群多項式 $\mathrm{P}_S(x) = (1 - x)\sum_{s \in S} x^s$ を定義し、$\mathrm{P}_S(x)$ が単位円上にすべての根を持つ Kronecker 多項式であるような半群として円分数値半群を特徴付ける。
• 非ゼロ定数項をもつ Kronecker 多項式は円分多項式の積に因数分解できることを用い、$\mathrm{P}_S(x) = \prod_{d \in \mathcal{D}} \Phi_d(x)^{e_d}$ と定義する。
• 半群多項式 $\mathrm{P}_S(x)$ の自己双対性と、既知の対称半群の特徴付けを用いて、すべての円分数値半群が対称的であることを確立する。
• 円分因数分解における指数から得られる不変量として、半群多項式の深さと高さの概念を導入する。
• $x^2$ を法とする整数論的計算を用いて、可能な円分因数分解を制限し、$S \neq \langle 1 \rangle$ のとき $\mathrm{P}_S(x) \equiv 1 - x \pmod{x^2}$ を用いる。
• 既知の円分多項式の恒等式（例：$\Phi_{pq}\Phi_{qr}\Phi_{pqr} = \mathrm{P}_{\langle pr, q \rangle}(x)$）を用いて、小規模な深さの半群を分類する。

実験結果

リサーチクエスチョン

• RQ1 すべての完全交差数値半群は円分的であり、逆も成り立つのか？
• RQ2 どの数値半群の半群多項式が完全に円分多項式の積に因数分解できるか？
• RQ3 所与の深さ $d = pqr$ または $d = p^n q$ に対して、高さ $h = 1$ の円分数値半群は何か？
• RQ4 半群多項式 $\mathrm{P}_S(x)$ は、その円分因数分解と次数によってのみ特徴付けられるか？
• RQ5 特に $x^2$ を法とした係数が、可能な円分因数分解にどのような制約を課えるか？

主な発見

• すべての円分数値半群は対称的であり、その半群多項式が自己双対的であるためである。
• すべての完全交差数値半群は円分的であることが示され、$\text{CI} \subseteq \text{CY}$ が確立された。
• 深さ $d = pqr$ で $p,q,r$ が相異なる素数、高さ $h = 1$ の場合、唯一の円分半群は $p,q,r$ の巡回置換を除き $S = \langle pr, q \rangle$ である。
• 深さ $d = p^n q$ で $p,q$ が相異なる素数、高さ $h = 1$ の場合、唯一の円分半群は $T = \langle p^n, q \rangle$ である。
• 高さ 1 の円分半群の半群多項式 $\mathrm{P}_S(x)$ は $\mathrm{P}_S(x) \equiv 1 - x \pmod{x^2}$ を満たす必要があり、これにより可能な円分因数分解が制限される。
• 深さ $d = p^n q$ で高さ 1 の円分半群の分類は、$\mathrm{P}_T(x)$ が $\Phi_{p^i q}^{e_i}$ の積として一意に因数分解できることに依存し、$e_i \in \{0,1\}$ であり、証明によりすべての $i$ で $e_i = 1$ であることが示された。