Non-trivial Integer Solutions of $x^r+y^r=Dz^p$

技術要約：非自明な整数解 $x^r + y^r = D z^p$ に関して

問題設定
本論文は、係数 $D$ を持つシグネチャ $(r, r, p)$ の一般化フェルマー方程式を研究する：
$$x^r + y^r = D z^p, \quad x, y, z \in \mathbb{Z}$$
ここで、$r \geq 5$ は固定された有理素数であり、$p$ は $r$ と異なる有理素数、$\gcd(r, D) = 1$ である。著者らは、十分大きな $p$ に対して、この方程式が非自明な原始整数解（$\gcd(x,y,z)=1$ かつ $xyz \neq 0$）を持たないことを証明することを目的としている。本研究では、自明な解の定義を $x=1, D=\pm(1+y^r), z=\pm 1$ の形式を除外するように拡張している。

手法：全実数体上のモジュラー・メソッド
著者らは、ウィルスのフェルマーの最終定理の戦略を、全実数体上の楕円曲線へと適応させた手法である、モジュラー・メソッドを採用している。このアプローチは、以下の3つの明確なステップで進行する：

1. フレイ楕円曲線の構成：
   Freitas [Fre15] のレシピに従い、著者らは仮定された解 $(x,y,z)$ を、第 $r$ 円分体の最大実部分体 $K = \mathbb{Q}(\zeta_r + \zeta_r^{-1})$ 上で定義される楕円曲線 $E$ に対応付ける。曲線は以下の式で与えられる：
   $$E: Y^2 = X(X - A)(X + B)$$
   ここで、$A, B, C$ は $x^r + y^r$ の $K$ 上での因数分解から構成される。具体的には、$A = (\alpha_1 - \alpha_2)f_0$、$B = (\alpha_2 - 2)f_1$、$C = (2 - \alpha_1)f_2$ であり、$f_i$ は累乗和の二次因子である。$E$ の判別式は $\Delta_E = 16(ABC)^2$ と明示的に与えられ、必要な分岐特性を満たしている。

2. モジュラー性とレベル下げ：
   著者らは、Freitas および Siksek [FS15a] によって確立された、全実数体上の楕円曲線に関するモジュラー性の結果に依拠している。著者らは、十分大きな $p$ に対して、フレイ曲線 $E$ がモジュラーであり、かつ残留ガロア表現 $\bar{\rho}_{E,p}$ が既約であることを証明する。レベル下げ定理を用いることで、$\bar{\rho}_{E,p}$ が、平行重み2およびレベル $N_p$ のヒルベルト新形式 $f$ に付随する表現 $\bar{\rho}_{f,p}$ と同型であることを導き出す。ここで $N_p$ は $D$ と $r$ にのみ依存し、特定の解 $(x,y,z)$ には依存しない。

3. 予想による排除：
   最終ステップは、そのような新形式 $f$ が存在するという可能性を排除することである。著者らは、ヒルベルト新形式の排除を、特定のコンダクターを持つ楕円曲線の排除の問題へと変換する。これは、主に2つの理論的ツールを通じて達成される：

• アイラー・シムラ対応： 特定のケース（定理3.9に詳述）において、有理ヒルベルト新形式は $K$ 上の楕密曲線に対応する。
• 弱いフレイ・マズール予想： 著者らはこの予想（予想3.10）を仮定する。これは、固定された楕円曲線 $E_0$ に対して、$\bar{\rho}_{E,p} \cong \bar{\rho}_{E_0,p}$ となる任意の曲線 $E$ は、$p$ が十分に大きいとき $E_0$ と同種であるというものである。

主要な貢献と結果
本論文は、標準的な予想に基づき、この方程式の無限個の事例における非自明な解の不在を確立している。結果は $r \pmod 4$ の合同類に基づいて分類される：

• 定理 1.1 (第一主要定理)： 弱いフレイ・マズール予想を仮定すると：

  • $r \equiv 3 \pmod 4$ の場合、定数 $B_{r,D}$ が存在し、すべての $p > B_{r,D}$ に対して、この方程式は非自明な原始解を持たない。この場合、$K$ の $\mathbb{Q}$ に対する次数が奇数であるため、アイラー・シムラ対応は無条件に成立する。
  • $r \equiv 1 \pmod 4$ の場合、定数 $B'_{r,D}$ が存在し、すべての $p > B'_{r,D}$ に対して、この方程式は $r \mid z$ である非自明な原始解を持たない。このケースでは、定理3.9(2)の条件を満たすために、素数 $\beta$（$r$ の上の素数）における慣性像の追加的な解析が必要となる。

• 定理 1.3 (第二主要定理)： 弱いフレイ・マズール予想およびアイラー・シムラ予想（予想3.8）の両方を仮定すると、$r \equiv 1 \pmod 4$ の場合でも、$r \mid z$ という制限なしに結果が成立する。

定数 $B_{r,D}, B'_{r,D}, B''_{r,D}$ は、弱いフレイ・マズール予想に含まれる定数に依存するため、非有効的（non-effective）である。

意義と範囲
著者らは、本研究を、固定された $r \geq 5$ および大きな $p$ に対する一般化フェルマー方程式 $(r,r,p)$ の解決の完成として位置づけており、先行する無条件の結果（表1.1に要約）に残された空白を埋めるものである。本論文は、その主要な貢献が以下の二点にあると明示している：

1. 強力ではあるが標準的な予想を仮定することで、これらの事例に対する証明を提供すること。
2. 全実数体上のモジュラー・メソッドに関する簡潔なサーベイを提供すること。特に、排除ステップにおけるアイラー・シムラ対応とフレイ・マズール予想の相互作用を強調している。

著者らは、アプローチ自体は専門家には馴染み深いものであるが、楕円曲線を排除するためにアイラー・シムラ対応とフレイ・マズール予想を組み合わせた具体的な適用方法は、既存の文献では広く議論されていないことを指摘している。本研究は、与えられたレベルにおけるすべてのヒルベルト新形式を明示的に計算するという計算上の困難を避け、代わりに問題を特定の還元特性を持つ楕円曲線の研究へと還元している。