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$ 上で局所的に可解であるかどうかを調査している。特に、著者らは「原始的（primitive）」な解、すなわち $(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. 幾何学的枠組み: 著者らは、指数（exponent）の最小公倍数から導かれる重みを持つ重み付き射影スタック $\mathbb{P}(w_0, w_1, w_\infty)$ 内の相対的なスタッキー曲線 $X_{A,B,C}$ として、原始的な解を解釈している。この幾何学的視点により、ヘンゼルの補題や、曲線 $\bmod p$ への簡約に関するハッセ・ヴェイルの評価などのツールの使用が可能になる。
2. 確率的分解: 全確率 $\rho_{\ell,m,n}(p)$ は、係数 $A, B, C$ の $p$ 進評価に基づく条件付き確率へと分解される。著者らは、係数のうち $p$ が一つも割り切らない場合、一つだけ割り切る場合、あるいは二つを割り切る場合に対応する補助的な確率（例：$\rho_0, \rho_A, \rho_{AB}$）を定義している。
3. 再帰的関係式: $\mathbb{F}_p$ から $\mathbb{Z}_p$ への解のリフトアップを分析し、$\bmod p$ における対角形式の可解性に関する補題を利用することで、著者らは補助的な確率を関連付ける線形方程式系を確立している。これらの関係式は、指数の最大公約数と素数 $p$（具体的には $\gcd(p-1, \ell, 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$ が互いに素である場合、すべての局所的に可解な方程式の自然密度は**正（positive）**である。これは収束する積 $\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$ は指数によって決定される 1 の冪根である。

意義と主張
本論文は、特定のケースを超えて、指数の算術と素数 $p$ に依存する一般的な枠組みへと移行することで、一般化されたフェルマー方程式の局所可解確率の完全かつ効果的な記述を提供すると主張している。

主な意義は、グローバルな可解性の二分法にある。著者らは、指数が互いに素であることが、これらの方程式がハッセ・プリンシプルを局所的に満たすかどうかの決定的な要因であることを示している。指数が共通の因子を持つ場合、局所的な障害が頻繁に発生するため密度はゼロになるが、指数が互いに素であれば、正の密度の局所可解な方程式が保証される。

この研究は、ディオファントス方程式の算術をスタッキー曲線とファイブレーションの幾何学へと結びつけ、局所可解確率を有理関数として具体的に実現している。著者らは、自らの結果が対角超曲面（Hirakawa and Kanamuraなど）の既知の知見を回収し、特定のケース（Duque-Roseroらによる最近の研究など）を拡張するものであると述べている。彼らは定理 1.5 を、スタッキー曲線のファイブレーションに関する局所可解性の問題への部分的な回答として位置づけ、これらの族におけるグローバルな可解性のさらなる研究のための基礎を提供している。