[論文レビュー] Solutions of polynomial equations in several variables modulo a prime power

Arnaud Bodin, Christian Drouin|arXiv (Cornell University)|Feb 24, 2026

Polynomial and algebraic computation被引用数 0

ひとこと要約

この論文は、 trunk ベースの手法を用いて multivariate polynomial congruences を p^e で解くと同時に解の個数を列挙せずに数える方法を提案し、さらに二変数の separable polynomial に対する Igusa の定理の特殊ケースをこの枠組みで証明する。

ABSTRACT

We explain how to obtain the set of solutions of a multivariate polynomial equation modulo a power of a prime number. These solutions are determined by a tree, called the trunk, which makes it possible to reconstruct all solutions. We apply these methods to determine the number of solutions, without having to enumerate them. We also illustrate these techniques by proving a simple case of Igusa's theorem: the Poincaré series associated with a polynomial in two separated variables is rational.

研究の動機と目的

• p^e による多項式合同式の解をトランクと解木構造で取得し、全解を数える方法を説明する。
• 簡略化されたトランク構造から全解集合を再構成する方法を示す。
• 特定の二変数の場合に Poincaré 系を有理式で表すための解法と解の個数算定の公式を提供する。

提案手法

• 厚さ、トランク、木頂点関数を定義して P(x1,...,xn) を modulo p^e の p 進合同式木に構築する。
• 解はトランク頂点から発芽するファンの葉に対応することを、適切な高さ制約とともに示す（定理 2.8）。
• 厚さ-e 条件の下で葉を和として表される N_e の閉形式の個数公式を導出する：N_e = sum p^{n(e-k)}（定理 4.1）。
• Poincaré 系 S(T) をトランクの和として S(T) = sum over trunk vertices of T^{φ(r,k)-t_k+1} / p^{nk} に有限な等比尾部を乗じた形で表現する（定理 4.3）。
• 定数厚さの無限 stalks や Hensel-type 木を含む特別な場合を分析して有理性を確立する（レモン 4.4, 4.5）。
• 正規化と還元技法を用いて、二変数 separable polynomial P(x,y)=F(x)+G(y) の扱いを整理し、この設定で Igusa の有理性を証明する（セクション 6）。

実験結果

リサーチクエスチョン

• RQ1 P(x1,...,xn) ≡ 0 mod p^e の全解を記述するトランクを系統的に構築・活用するにはどうすればよいか？
• RQ2 トランク由来の公式で列挙せずに解の個数 N_e をどう算出するか？
• RQ3 P(T) の有理性はどの条件下で成立し、二変数 separable 多項式のトランクからどう計算できるか？
• RQ4 素数のべき乗を用いた多変量合同式の解析を単純化する正規化と還元の手順は？
• RQ5 P(x,y)=F(x)+G(y) の特殊ケースで Igusa の定理をトランクベースの計算で再現できるか？

主な発見

• 厚さ・トランク・木頂点関数からなるトランクベースの枠組みは、P(x1,...,xn) ≡ 0 mod p^e の全解を再構成可能であることを示す（定理 2.8）。
• 具体的な個数公式が得られる：N_e は φ(r,k)−t_k < e ≤ φ(r,k) を満たすトランク頂点に対して p^{n(e-k)} の和である（定理 4.1）。
• Poincaré 系 S(T) はトランクから直接、閉形式の xylon-sum 表現で計算できる（定理 4.3）。
• 無限 stalks の定数厚さおよび Hensel 木のような特殊ケースは、有理な生成関数を生み出す（レモン 4.4, 4.5）。
• 二変数の separable polynomial P(x,y)=F(x)+G(y) の場合、トランク解析から有理な Poincaré 系を得られ、この場合の Igusa の有理性の簡潔な証明を提供する（セクション 6）。
• 付録には P(x,y)=x^2−y^3 の詳解例が含まれ、トランク構築、Poincaré 系、および mod p^e に対する解の個数を具体的に示す。