On the Frobenius Number of Quotients of Numerical Semigroups

技术摘要：关于数值半群商的 Frobenius 数

问题陈述
本文旨在解决确定数值半群之商的 Frobenius 数的显式公式问题。给定一个数值半群 $S$ 和一个正整数 $p$，其商 $S/p = \{n \in \mathbb{N} \mid pn \in S\}$ 也是一个数值半群。文献中曾指出过的一个核心开放问题（例如 [24, 8, 4]）是，在 $\gcd(a, b) = 1$ 的情况下，寻找 $g(\langle a, b \rangle / p)$ 的闭式公式。其中一个特别受关注的子情形是当生成元构成连续整数时，即 $S = \langle a, a+1 \rangle$。虽然对于特定情况（例如 $p=2, p=5$ 或 $p$ 整除 $a$）已存在公式，但通用的闭式表达式仍然难以求得。

研究方法
作者结合了半群理论、代数几何和解析数论，来研究是否存在多项式公式。

1. 半群结构与对称性： 本文利用了 $\langle a, b \rangle$ 是对称数值半群的性质。通过应用来自 [28] 的结果，将商的 Frobenius 数 $g(S/p)$ 表示为 $S$ 的 Frobenius 数与 $S$ 中同余于 $g(S) \pmod p$ 的最小元素 $\omega_p(S)$ 的函数。对于 $S = \langle a, a+1 \rangle$ 的情况，这简化为在特定的同余类上最小化线性型 $ia + j$。
2. 算术逼近与狄利克雷定理： 为了证明不存在性定理，作者构造了参数序列 $(a, b, p)$ 或 $(a, p)$，使得 Frobenius 数遵循特定的线性或二次模式。引理 4.1 利用狄利克雷关于算术级数中素数的定理，生成了具有预设模性质和极限斜率的素数 $a$ 及整数 $b$ 的无限序列。
3. 代数几何（扎里斯基稠密性）： 不存在性证明的核心依赖于扎里斯基稠密性的概念。论文论证了如果存在多项式关系 $F(a, b, p, g) = 0$，则 Frobenius 数的图象将不是扎里斯基稠密的。通过证明该图象是稠密的（或者说任何此类多项式的所需次数随 $p$ 无界增长），从而反驳了此类关系的存在性。
4. 拟多项式分析： 对于 $S = \langle a, a+1 \rangle$ 的情况，作者推导出了一个精确的剩余类公式。这涉及定义基于 $a \pmod p$ 的特定函数 $I_p(r)$ 和 $J_p(r)$，证明了对于固定的 $p$，Frobenius 数是一个二次拟多项式（quasi-polynomial）。

主要贡献与结果

本文确立了关于这些商的 Frobenius 数之代数性质的三个主要结果：

1. 不存在统一的多项式公式（一般情况）：
   定理 1.2 证明了不存在非零多项式 $F \in \mathbb{C}[X_1, X_2, X_3, Y]$ 使得对于所有有效的三元组 $(a, b, p)$，都有 $F(a, b, p, g(\langle a, b \rangle / p)) = 0$。因此，Frobenius 数无法由在 $a, b$ 和 $p$ 方面统一的有限个多项式或有理式表示。这一结果的得出是通过证明：对于固定的素数 $p$，Frobenius 数取决于 $b/a$ 的比率而呈现出 $(p-1)/2$ 个不同的线性形式，且此类形式的数量随 $p$ 的增长而增加，从而超过了任何固定的多项式次数。

2. 连续生成元下的拟多项式结构：
   对于特定的 $S = \langle a, a+1 \rangle$ 情况，定理 1.4 提供了 $G(a, p) = g(\langle a, a+1 \rangle / p)$ 的精确公式。该公式为：
   $$G(a, p) = \frac{a^2 - (I_p(r) + 1)a - (J_p(r) + 1)}{p}$$
   其中 $r = a \pmod p$，且 $I_p(r), J_p(r)$ 是通过基于剩余的有限最小化程序确定的。定理 1.4 得出结论：对于任何固定的 $p$，函数 $a \mapsto G(a, p)$ 是一个周期整除 $p$ 的二次拟多项式。

3. 不存在多项式公式（连续情形）：
   尽管对于固定的 $p$ 具有拟多项式结构，但定理 1.5 证明了不存在单个非零多项式 $F \in \mathbb{C}[X_1, X_2, X_3]$ 满足对于所有 $a$ 和 $p$ 为素数（甚至仅需 $p$ 为素数且 $a > p$）的对 $(a, p)$，都有 $F(a, p, G(a, p)) = 0$。该证明表明，对于固定的 $p$，多项式关系的最小次数随 $p$ 线性增长（具体至少为 $\lceil p/2 \rceil$）。由于全局多项式必须具有固定的次数，它无法适应随 $p$ 变化而无界增长的次数要求。

意义与主张

本文将其发现定位为对寻找这些 Frobenius 数闭式公式这一开放问题的否定回答，其灵感源自 Curtis 早期关于 $g(\langle a, b, c \rangle)$ 不存在公式的研究。

• 代数复杂度： 主要意义在于展示了这些商的 Frobenius 数具有一种代数复杂度，这种复杂度阻碍了其被不依赖于参数的有限多项式或有理式族所描述。
• 局部与全局的区别： 论文强调了局部与全局行为之间的对比。在局部（对于固定的 $p$），该函数表现良好（二次拟多项式）；而在全局（随着 $p$ 的变化），该函数过于复杂，无法被单一的代数关系所捕捉。
• 素数的作用： 这些结果即使在 $a$ 和 $p$ 均为素数的限制条件下依然成立，这是通过利用狄利克雷定理来确保这些情况的稠密性。
• 对“不存在性”的澄清： 作者明确指出，这些结果并不意味着 Frobenius 数是不可计算的。存在涉及取整函数、模运算和有限最小化的显式算法和公式（如定理 5.3 所示）。不存在性定理特指排除了在参数空间内统一的、具有有界次数的多项式或有理公式。

论文总结道，虽然为特定的子类寻找闭式公式仍是一个有效的研究方向，但数值半群之商的一般情况难以进行简单的代数刻画。