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

技术摘要：对 Thakur 关于 Carlitz–Wieferich 素数猜想的反例

问题陈述
本文探讨了关于奇特征下有限域函数域中 Carlitz–Wieferich 素数的猜想。设 $p$ 为奇素数，$q = p^k$，且 $A = \mathbb{F}_q[T]$。一个单项素元 $P \in A$ 被定义为（以 1 为底的）c-Wieferich 素数，如果它满足同余式 $\rho_P(1) \equiv 1 \pmod{P^2}$，其中 $\rho$ 是 Carlitz 模。该条件是经典 Wieferich 素数条件 $2^{p-1} \equiv 1 \pmod{p^2}$ 在函数域中的类比。

2015 年，Dinesh Thakur 基于对 2 次和 3 次情形的证明以及有限的数值数据，提出了一个猜想：在奇特征下，每个 c-Wieferich 素数的次数 $d$ 必须能被 $p$ 整除。该猜想在 2024 年被重新表述为一个开放问题，随后的 Bamunoba 和 Bergström 的广泛计算也支持了该命题在奇特征下成立的观点。本文旨在测试该猜想的有效性。

方法论
作者采用了一种在配套论文 [4] 中开发的系统化计算方法来寻找反例。该方法包括：

1. 归约为有限计算： 在给定的奇特征下，寻找给定次数 $d$ 的 c-Wieferich 素元的存在性，被归约为涉及扩域中迹为零元素的有限且有效的计算。
2. 精确算术： 所有计算均使用精确算术进行（不使用浮点近似），并使用了标准的公共计算机代数系统（SageMath, PARI/GP, FLINT 以及 galois Python 库）。
3. 验证： 结果在独立的引擎上进行了重现，并针对已知的 c-Wieferich 素数（例如 $\mathbb{F}_3[T]$ 和 $\mathbb{F}_5[T]$ 中的素数）以及普通素数进行了校准。
4. 协作工作流： 研究方向和结构解释由作者提供，而 AI 助手（Claude Opus 4.8）负责数学领域知识、形式化、起草以及计算执行。

主要贡献与结果

1. 对猜想的驳斥：
   本文为 Thakur 关于奇特征下的猜想提供了确定的反例。作者构造了一个在域 $\mathbb{F}_{19^3} = \mathbb{F}_{19}[c]$（其中 $c^3 = 8c^2 + 4c + 11$）上次数为 5 的不可约 c-Wieferich 素元 $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-Wieferich 条件相关的特定多项式）的最大公因式的闭式解。
   设 $q = 19^3$。多项式 $G = \mu(T^q - T)$，其中 $\mu(X) = X^5 + 5X^3 + 3X^2 - 4X - 9 \in \mathbb{F}_{19}[X]$，被证明为：

   • 是次数为 $5 \cdot 19^3 = 34,295$ 的无平方因子多项式。
   • 是恰好 6,859 个不同的次数为 5 的 c-Wieferich 素元（$P(T)$ 的平移类）的乘积。
   • 在 $\mathbb{F}_{19^3}[T]$ 中等于 $\gcd([5], M_5)$。

3. 次数的最小性：
   本文确定了此类反例在奇特征下的最小可能次数：

   • 之前的研究（Thakur [6]）排除了 1 次、2 次和 3 次的情形。
   • 定理 5.1（在配套论文 [4] 中证明）证明了 4 次情形在任何奇特征下都不存在 c-Wieferich 素元。

4. 在素域上的非存在性（在显著范围内）：
   作者进行了详尽的计算，以确定是否存在于素域 $\mathbb{F}_p$（即 $q=p$）上的反例。命题 5.2 报告称，在显著的次数和特征范围内（例如对于 $p \in \{3, 7, 11, \dots, 37\}$，次数 $d=5$），不存在 $\mathbb{F}_p$ 上的 c-Wieferich 素元。已知的反例需要一个三次扩张（$q=19^3$），而非素域。

意义与主张
本文声称解决了关于奇特征环境下 c-Wieferich 素数的次数能否被特征整除这一开放问题。它证明了该猜想是错误的，且这种现象并不局限于特征 2。

其研究意义在于两方面：

1. 对更强预期的反驳： 该反例是“非固定”的，这意味着它在加法平移下不是不变的（即 $P(T) \neq P(T+\gamma)$）。此前在奇特征下的计算搜索仅发现了“固定”型示例，而这类示例的次数必然能被 $p$ 整除。这一结果否定了更强的预期，即在奇特征下不存在非固定型的 c-Wieferich 素元。
2. 结构性洞察： 发现公因式 $\gcd([5], M_5)$ 的闭式表达式提供了对这些素元分布更深层的结构理解，表明它们构成了一个由系数在素域 $\mathbb{F}_{19}$ 中的多项式生成的完整平移类。

本文明确指出，该示例并非通过暴力搜索（由于搜索空间巨大，约为 $\approx 2.2 \times 10^{15}$ 个候选对象，暴力搜索在计算上是不可行的）获得，而是通过一种将问题归约为有限计算的系统化方法找到的。作者指出，虽然在测试范围内未发现素域上的反例，但在素域上是否存在此类示例，在超出当前计算极限的范围内仍是一个开放问题。