On the Frobenius Number of Quotients of Numerical Semigroups

技術要約：数値的半群の商のフロベニウス数について

問題提起
本論文は、数値的半群の商のフロベニウス数を決定することに取り組んでいる。数値的半群 $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] の結果を適用することで、商のフロベニウス数 $g(S/p)$ は、$S$ のフロベニウス数と、$g(S) \pmod p$ に合同な $S$ の最小要素 $\omega_p(S)$ を用いて表現される。$S = \langle a, a+1 \rangle$ の場合、これは特定の合同類における線形形式 $ia + j$ の最小化問題へと帰着される。
2. 算術的近似とディリクレの定理： 非存在定理を証明するために、著者はフロベニウス数が特定の線形または二次的なパターンに従うパラメータ $(a, b, p)$ または $(a, p)$ の列を構成している。補題 4.1 では、ディリクレの算術級数における素数の定理を利用して、所定の剰余特性と極限的な傾きを持つ素数 $a$ と整数 $b$ の無限列を生成している。
3. 代数幾何学（ザリスキー密度）： 非存在証明の核心は、ザリスキ密度という概念に基づいている。もし多項式関係 $F(a, b, p, g) = 0$ が存在したならば、フロベニウス数のグラフはザリスキー稠密ではないはずである。グラフが稠密であること（あるいは、そのような多項式の次数が $p$ に対して無制限に増大すること）を示すことで、そのような関係の存在を否定している。
4. 準多項式解析： $S = \langle a, a+1 \rangle$ のケースについて、著者は正確な剰余類公式を導出している。これには、$a \pmod p$ の剰余に基づく特定の関数 $I_p(r)$ および $J_p(r)$ の定義が含まれ、$p$ が固定されている場合、フロベニウス数は二次準多項式であることを示している。

主な貢献と結果

本論文は、これらの商のフロベニウス数の代数的性質に関して、主に3つの結果を確立している：

1. 一様な多項式公式の非存在（一般の場合）：
   定理 1.2 は、すべての有効な三つ組 $(a, b, p)$ に対して $F(a, b, p, g(\langle a, b \rangle / p)) = 0$ を満たすような 0 でない多項式 $F \in \mathbb{C}[X_1, X_2, X_3, Y]$ は存在しないことを証明している。したがって、フロベニウス数は、$a, b, p$ に関して一様であるような、有限個の多項式または有理式による公式では表現できない。この結果は、固定された素数 $p$ に対して、フロベニウス数が $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 は、すべてのペア $(a, p)$（ただし $a$ と $p$ は素数、あるいは少なくとも $p$ は素数で $a > p$）に対して $F(a, p, G(a, p)) = 0$ を満たす単一の 0 でない多項式 $F \in \mathbb{C}[X_1, X_2, X_3]$ は存在しないことを証明している。この証明は、固定された $p$ に対する多項式関係の最小次数が $p$ に対して線形に増大すること（具体的には少なくとも $\lceil p/2 \rceil$）を示している。グローバルな多項式は固定された次数を持つ必要があるため、$p$ の変化に伴って増大する次数の要求を満たすことはできない。

意義と主張

本論文は、カーティスによる $g(\langle a, b, c \rangle)$ の公式の非存在に関する先駆的な研究に触発され、これらのフロベニウス数の閉形式の公式を見つけるという未解決問題に対する否定的な回答として、自身の知見を位置づけている。

• 代数的複雑性： 主要な意義は、これらの商のフロベニウス数が、パラメータに依存しない有限な多項式または有理式の族による記述を拒むような代数的複雑さを備えていることを示した点にある。
• 局所的挙動とグローバルな挙動の区別： 本論文は、局所的挙動とグローバルな挙動の対比を強調している。局所的（$p$ が固定されている場合）には、関数は良好な性質を持つ（二次準多項式である）。グローバル（$p$ が変化する場合）には、関数は単一の代数関係によって捉えるにはあまりに複雑である。
• 素数の役割： 結果は、ディリクレの定理を用いてこれらのケースの密度を保証することにより、$a$ と $p$ が素数であるという制限的な条件下でも成立する。
• 「非存在」の明確化： 著者は、これらの結果がフロベニウス数が計算不可能であることを意味するものではないことを明記している。定理 5.3 に見られるように、床関数、モジュロ演算、および有限の最小化を用いた明示的なアルゴリズムや公式は存在する。非存在定理は、パラメータ空間全体にわたって一様であるような、有界な次数を持つ多項式または有理式による公式を具体的に否定するものである。

本論文は、特定のサブクラスに対する閉形式の公式を見つけることは依然として有効な研究方向であるが、数値的半群の商の一般ケースは、単純な代数的特徴付けを拒むものであると結論づけている。