[论文解读] 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 的分圆半群进行了分类，表明它们必须分别由 $\langle 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$ 的模运算来约束可能的分圆因式分解，利用 $\mathrm{P}_S(x) \equiv 1 - x \pmod{x^2}$（当 $S \neq \langle 1 \rangle$ 时）。
• 利用分圆多项式的已知恒等式，如 $\Phi_{pq}\Phi_{qr}\Phi_{pqr} = \mathrm{P}_{\langle pr, q \rangle}(x)$，对小深度的半群进行分类。

实验结果

研究问题

• RQ1 所有完备交截数值半群是否都是分圆的，反之是否也成立？
• RQ2 哪些数值半群的半群多项式可完全分解为分圆多项式的乘积？
• RQ3 对于给定深度 $d = pqr$ 或 $d = p^n q$，深度为 1 的分圆数值半群有哪些？
• RQ4 能否仅通过其分圆因式分解和次数来刻画半群多项式 $\mathrm{P}_S(x)$？
• RQ5 多项式 $\mathrm{P}_S(x)$ 的系数，特别是模 $x^2$ 的情形，对可能的分圆因式分解施加了哪些约束？

主要发现

• 所有分圆数值半群都是对称的，因为其半群多项式是自对偶的。
• 每个完备交截数值半群都是分圆的，从而确立了 $\text{CI} \subseteq \text{CY}$。
• 对于 $d = pqr$（$p,q,r$ 为不同素数）且高度 $h = 1$ 的情形，唯一的分圆半群是 $S = \langle pr, q \rangle$（在 $p,q,r$ 的循环置换下）。
• 对于 $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)$ 的唯一因式分解形式 $\prod_{i} \Phi_{p^i q}^{e_i}$，其中 $e_i \in \{0,1\}$，且证明了所有 $i$ 都有 $e_i = 1$。