A counterexample to a conjecture of Thakur on Carlitz-Wieferich primes

技術要約：カルリッツ–ヴェイフェリッヒ素数に関するタクール（Thakur）の予想に対する反例

問題提起
本論文は、奇数標数の有限体上の関数体におけるカルリッツ–ヴェイフェリッヒ（Carlitz–Wieferich）素数に関する予想を取り上げる。$p$ を奇素数、$q = p^k$、$A = \mathbb{F}_q[T]$ とする。単項原始素元 $P \in A$ は、$\rho$ をカルリッツ・モジュールとしたとき、合同式 $\rho_P(1) \equiv 1 \pmod{P^2}$ を満たす場合、c-ヴェイフェリッヒ素元（底1に対して）と定義される。この条件は、古典的なヴェイフェリッヒ素数の条件 $2^{p-1} \equiv 1 \pmod{p^2}$ の関数体における類似である。

2015年、ディネシュ・タクール（Dinesh Thakur）は、次数2および3の場合の証明と限られた数値データに基づき、奇数標数においては、すべてのc-ヴェイフェリッヒ素元はその次数 $d$ が $p$ で割り切れるはずであると予想した。この予想は2024年に未解決問題として再掲され、その後のバムノバ（Bamunoba）とベルグストローム（Bergström）による広範な計算によって、奇数標数においてこの命題が真であるという信念が支持されてきた。本論文は、この予想の妥当性を検証することを目的としている。

手法
独立研究者である著者は、反例を探索するために、随伴論文 [4] で開発された系統的な計算手法を用いた。その手法は以下の通りである：

1. 有限計算への帰着： 指定された奇数標数における指定された次数 $d$ のc-ヴェイフェリッヒ素元の存在は、拡大体におけるトレースゼロ要素を用いた、有限かつ有効な計算へと帰着される。
2. 厳密演算： すべての計算は、標準的な公開計算機代数システム（SageMath, PARI/GP, FLINT, および galois Pythonライブラリ）を用い、厳密演算（浮動小数点近似なし）で行われた。
3. 検証： 結果は、独立したエンジンで再現され、既知のc-ヴェイフェリッヒ素元（例：$\mathbb{F}_3[T]$ および $\mathbb{F}_5[T]$ におけるもの）および通常の素元と比較して校正された。
4. 協調的ワークフロー： 研究の方向性と構造的解釈は著者が提供し、AIアシスタント（Claude Opus 4.8）が数学的ドメイン知識、定式化、ドラフト作成、および計算の実行を担当した。

主な貢献および結果

1. 予想の反証：
   本論文は、奇数標数におけるタクールの予想に対する決定的な反例を提示する。著者らは、体 $\mathbb{F}_{19^3} = \mathbb{F}_{19}[c]$（ここで $c^3 = 8c^2 + 4c + 11$）上の次数5の既約なc-ヴェイフェリッヒ素元 $P(T)$ を構成した。
   その多項式は以下の通りである：
   $$P(T) = T^5 + (11 + 17c + 9c^2)T^4 + (3 + 7c + 18c^2)T^3 + (2 + 5c + 6c^2)T^2 + (3 + 3c + 11c^2)T + (6 + 17c + 5c^2)$$
   極めて重要なことに、次数 $d=5$ は標数 $p=19$ で割り切れない（すなわち $19 \nmid 5$）。これは予想に直接矛盾する。

2. 共通因数の閉形式：
   本論文は、多項式 $[5]$（次数が5を割り切るすべての単項原始素元の積）と $M_5$（c-ヴェイフェリッヒ条件に関連する特定の多項式）の最大公約数の閉形式を導出している。
   $q = 19^3$ とする。$G = \mu(T^q - T)$、ここで $\mu(X) = X^5 + 5X^3 + 3X^2 - 4X - 9 \in \mathbb{F}_{19}[X]$ とすると、以下であることが示される：

• $G$ は次数 $5 \cdot 19^3 = 34,295$ の平方フリーな多項式である。
• $G$ は、正確に6,859個の異なる次数5のc-ヴェイフェリッヒ素元（$P(T)$ の平行移動類）の積である。
• $\mathbb{F}_{19^3}[T]$ において $\gcd([5], M_5)$ に等しい。

3. 次数の最小性：
   本論文は、このような反例が存在し得る最小の次数が5であることを確立している：

• 次数1、2、3は、先行研究（Thakur [6]）により除外されている。
• 次数4においては、いかなる奇数標数においてもc-ヴェイフェリッヒ素元が存在しないことが証明されている（随伴論文 [4] で証明された定理5.1）。

4. 素体における非存在性（相当な範囲において）：
   著者らは、素体 $\mathbb{F}_p$（$q=p$ の場合）において反例が存在するかどうかを判断するために、徹底的な計算を行った。命題5.2によれば、相当な次数の範囲および標数において（例：$p \in \{3, 7, 11, \dots, 37\}$ に対する次数5）、$p \nmid d$ を満たすc-ヴェイフェリッヒ素元は存在しない。既知の反例は、素体ではなく、3次拡大（$q=19^3$）を必要とする。

意義および主張
本論文は、奇数設定におけるc-ヴェイフェリッヒ素元の次数が標数で割り切れるかという未解決の問いを解決したと主張している。これは、c-ヴェイフェリッヒ素元の現象が標数2に限定されないことを示しており、タクールの予想が偽であることを証明している。

結果の意義は二重である：

1. より強い期待の論破： この反例は「非固定型（non-fixed）」である。つまり、加法的平行移動に対して不変ではない（$P(T) \neq P(T+\gamma)$）。奇数標数におけるこれまでの計算探索では、「固定型」の例しか見つかっておらず、それらは必然的に次数が $p$ で割り切れる性質を持っていた。この結果は、奇数標数において非固定型のc-ヴェイフェリッヒ素元は存在しないという、より強い期待に対し否定的な回答を与えるものである。
2. 構造的洞察： 共通因子 $\gcd([5], M_5)$ の閉形式表現の発見は、これらの素元の分布に関するより深い構造的理解を提供する。これは、それらが素体 $\mathbb{F}_{19}$ の係数を持つ多項式によって生成される完全な平行移動類を形成していることを示している。

著者らは、この例が（探索空間が $\approx 2.2 \times 10^{15}$ 個の候補となるため）計算量的に不可能な総当たり探索によって見出されたのではなく、問題を有限の計算へと帰着させる系統的な手法を通じて見出されたことを明記している。また、テストされた範囲内では素体上の反例は見つからなかったものの、素体上の反例が存在するかどうかについては、現在の計算限界を超えた未解決の問題として残っている。