On $p$-adic solubility of $Ax^\ell + By^m + Cz^n = 0$

技术摘要：关于 $Ax^\ell + By^m + Cz^n = 0$ 在 $p$ 进数域上的可解性

问题陈述
本文研究了广义费马方程 $Ax^\ell + By^m + Cz^n = 0$ 在 $p$ 进整数 $\mathbb{Z}_p$ 上的局部可解性。具体而言，作者研究了“本原”解的存在性，其中本原解定义为三元组 $(x, y, z) \in \mathbb{Z}_p^3 \setminus (p\mathbb{Z}_p)^3$。存在本原整数解的一个必要条件是对于所有素数 $p$，都存在本原 $p$ 进解。核心目标是确定随机选取的三元组系数 $(A, B, C) \in \mathbb{Z}_p^3$ 使得方程具有本原 $p$ 进解的概率 $\rho_{\ell,m,n}(p)$。此外，作者还分析了在所有此类方程的空间中（按高度排序），具有“处处局部可解性”（即在 $\mathbb{R}$ 和所有 $\mathbb{Z}_p$ 中均可解）的方程的自然密度。

方法论
该方法结合了算术几何、$p$ 进域上的概率论以及估值的组合分析。

1. 几何框架： 作者将本原解解释为加权射影堆 $\mathbb{P}(w_0, w_1, w_\infty)$ 内部的一个相对堆曲线 $X_{A,B,C}$ 上的点，其中权重由指数的最小公倍数导出。这种几何视角允许使用 Hensel 引理和关于曲线在模 $p$ 约化的 Hasse–Weil 界限的工具。
2. 概率分解： 总概率 $\rho_{\ell,m,n}(p)$ 被分解为基于系数 $A, B, C$ 的 $p$ 进估值的条件概率。作者定义了辅助概率（例如 $\rho_0, \rho_A, \rho_{AB}$），分别对应于 $p$ 不整除、仅整除或整除其中两个系数的情况。
3. 递归关系： 通过分析从 $\mathbb{F}_p$ 到 $\mathbb{Z}_p$ 的解的提升，并利用关于模 $p$ 对角形式可解性的引理，作者建立了一个关于这些辅助概率的线性方程组。这些关系取决于指数与素数 $p$ 的最大公约数（具体为 $\gcd(p-1, \ell), \gcd(p-1, m)$ 等）。
4. 线性代数与有理函数： 该方程组被证明对于足够大的素数是可逆的。这种可逆性允许作者将条件概率以及随后的 $\rho_{\ell,m,n}(p)$ 表示为 $p$ 的有理函数。这些函数的具体形式仅取决于 $\gcd(p-1, g_{\ell m})$、$\gcd(p-1, g_{\ell n})$ 和 $\gcd(p-1, g_{mn})$ 的值，其中 $g_{xy} = \gcd(x,y)$。
5. 渐近密度： 为了确定处处局部可解方程的全局密度，作者应用了 Ekedahl 筛法（遵循 Browning, Brüdern 和 Loughran 的框架）。这涉及验证局部密度满足特定的收敛条件（具体为 $1 - \rho(p) = O(1/p^2)$），并分析所有素数上局部密度的乘积。

主要贡献与结果

• 显式有理函数 (定理 1.2)： 对于除了有限个素数之外的所有素数 $p$，概率 $\rho_{\ell,m,n}(p)$ 由一个显式的有理函数 $R_{i,j,k}(p)$ 给出。其具体函数仅取决于三元组 $(i, j, k)$，其中 $i = \gcd(p-1, \gcd(\ell, m))$，$j = \gcd(p-1, \gcd(\ell, n))$，以及 $k = \gcd(p-1, \gcd(m, n))$。论文提供了一个有效算法（通过 Sage 代码实现）来计算给定指数下的这些函数。
• 全局密度二分性 (定理 1.5)： 论文确立了关于处处局部可解方程比例的一个尖锐二分性：
  • 指数两两互质： 如果 $\ell, m, n$ 两两互质，则处处局部可解方程的自然密度为正。它由收敛乘积 $\prod_p \rho_{\ell,m,n}(p)$ 给出。
  • 非两两互质指数： 如果指数不是两两互质，则自然密度为零。
• 显式示例： 作者提供了各种情况的详细计算，包括：
  • $(\ell, m, n) = (3, 3, 2)$，产生针对 $p \equiv 1 \pmod 3$ 和 $p \equiv 2 \pmod 3$ 的不同有理函数。
  • $(\ell, m, n) = (2, 2, n)$，恢复并扩展了先前关于对角超曲面的结果。
  • $(\ell, m, n) = (2, 3, 5)$，作者估计其密度约为 $78.2\%$。
• 向数域的推广： 结果被推广到任意数域 $K$。局部概率取决于素理想在分圆扩张 $K(\zeta)/K$ 中的分裂行为，其中 $\zeta$ 是由指数确定的单位根。

意义与主张
本文声称提供了一个关于广义费马方程局部可解性概率的完整且有效的描述，超越了特定情形，建立了一个依赖于指数算术性质和素数 $p$ 的通用框架。

其主要意义在于全局可解性的二分性。作者证明了指数的两两互质性是决定这些方程中是否有正比例满足哈塞原理（Hasse principle）局部性的关键因素。当指数共享公因子时，局部障碍过于频繁（密度为零），而两两互质则确保了局部可解方程具有正密度。

这项工作将丢番图方程的算术与堆曲线及纤维化的几何联系起来，提供了局部可解性概率作为有理函数的具体实现。作者指出，其结果恢复了已知的对角超曲面研究结果（如 Hirakawa 和 Kanamura），并扩展了近期针对特定情形的研究（如 Duque-Rosero 等人）。他们将定理 1.5 定位为对堆曲线纤维化局部可解性问题的部分回答，为研究这些族群的全局可解性奠定了基础。