A torsion-intersection proof of perfect-cuboid nonexistence on 1,072 explicit master-tuple fibers

レン・ペシュマンによる論文「1072 の明示的なマスター・タプルファイバー上の完全直方体の非存在に関するねじれ交点証明」の詳細な技術的サマリーを以下に示す。

1. 問題の定義

本論文は、初等整数論における長年の未解決問題である完全直方体予想（予想 B）に取り組んでいる。

• 定義: オイラーのレンガとは、整数の辺 $(X, Y, Z)$ と整数の面対角線を持つ直方体である。完全直方体とは、さらに整数の空間対角線 ($\sqrt{X^2+Y^2+Z^2} \in \mathbb{N}$) を持つオイラーのレンガである。
• 予想: $\mathbb{N}^3$ 内に完全直方体は存在しない。
• 現状: 計算機による探索により、辺の長さが $5 \cdot 10^{11}$ までの完全直方体の存在は否定されているが、一般的な証明は存在しない。従来の代数的幾何学的アプローチは、特定の部分族に限定されていたか、証明されていない仮説（例：一般化リーマン予想）に依存していた。

2. 手法

著者は、構造的整数論、代数的幾何学、厳密な計算機検証を組み合わせる手法を採用している。このアプローチは主に 3 つの段階で進行する。

A. マスター・タプルへの構造的還元

本論文は、すべての原始オイラーのレンガが、特定の互いに素な条件と偶奇条件を満たす一意の「マスター・タプル」$(a, b, m, n) \in \mathbb{N}^4$ から導かれることを証明する構造的分類定理（定理 2.4）を確立している。

• レンガの辺は、標準的なピタゴラス数パラメータ化から導出される：$U_1 = a^2-b^2, V_1=2ab$ および $U_2=m^2-n^2, V_2=2mn$。
• 完全直方体であるための条件は、空間対角線の 2 乗を表す特定の多項式 $f_1$ が完全平方数かどうかを確認することに帰着される。
• これにより、無限の探索空間は、パラメータ $(m, n)$ によって定義される特定のファイバーの解析に還元される。

B. 種数 3 曲線の分解

固定されたマスター・タプルファイバー $(m, n)$ に対して、完全直方体であるための条件は、種数 3 の超楕円曲線 $H_{m,n}$ に符号化される。

• この曲線は $v^2 = P(t^2)Q(t^2)$ で定義され、ここで $t = a/b$ である。
• この曲線のヤコビアン $\text{Jac}(H_{m,n})$ は、等長写像を除いて 3 つの楕円曲線 $E_{PQ}$、$E_{uV}$、および $E_3$ の積に分解される。
• 本論文は、楕円商 $E_{uV}$ と $E_3$ に焦点を当てる。

C. ねじれ交点論法

核心的な証明メカニズムは、ねじれ交点補題（補題 4.2）に依存している。

• 前提: 楕円商 $E_q$ がランク 0（すなわち、その有理点は有限であり、ねじれ点のみからなる）を持つ場合、種数 3 曲線 $H_{m,n}$ 上の有理点の数は、$E_q$ のねじれ部分群のサイズによって制限される。
• 論理:
  1. $\text{rk}(E_q(\mathbb{Q})) = 0$ を検証する。
  2. $|E_q(\mathbb{Q})_{\text{tors}}|$ を計算する。
  3. $H_{m,n}$ からの有理点を $E_q$ へ写像する。写像が次数 2 であるため、$|H_{m,n}(\mathbb{Q})| \le 2 \cdot |E_q(\mathbb{Q})_{\text{tors}}|$ となる。
  4. 決定的なステップ: 曲線 $H_{m,n}$ は常に、退化したレンガ（1 つ以上の辺が 0 である場合）に対応する 8 つの既知の「自明な」有理点を持つ。
  5. ねじれ交点から導かれる上限が正確に 8 に等しい場合、そのファイバー上には非自明な（完全直方体となる）点は存在しない。

D. 無条件のランク認証

証明を無条件のもの（一般化リーマン予想などの証明されていない仮説に依存しないもの）にするために、著者はランク 0 仮説を検証する 2 つの補完的な手法を用いる。

1. 2-降下: PARI/GP の ellrank を用いて厳密な範囲 $[r_{low}, r_{up}]$ を取得する。もし $r_{low} = r_{up} = 0$ なら、ランクは 0 であることが証明される。
2. モジュラー記号（コリヴァギンの定理）: 2-降下が曖昧な場合（例：$[0, 2]$）、Sage のモジュラー記号を用いて $L(E, 1)/\Omega_E$ を正確に計算する。
   • 模数性定理とコリヴァギンの定理により、$L(E, 1) \neq 0$ ならば、ランクは 0 である。
   • 半安定曲線（遭遇したすべての因子がこれに該当する）の場合、Manin 定数は 1 であるため、モジュラー記号の計算は正確かつ無条件であることが保証される。

3. 主要な貢献

1. 構造的分類（定理 2.4）: マスター・タプルパラメータ化の逆方向を証明し、すべての原始オイラーのレンガがマスター・タプルに対応することを示す。これは従来の文献における欠落していたリンクであった。
2. ねじれ交点論法: 楕円商 $E_{uV}$ と $E_3$ に洗練された交点上限を適用する。$E_A$ に焦点を当てた先行研究とは異なり、本論文は $E_{uV}$ と $E_3$ の特定の幾何学を利用することで、点の数を正確に 8 に強制する。
3. 洗練されたリフト数え上げ: 単純なねじれ上限が緩すぎる場合（例：ねじれサイズ 8 が上限 12 を生む場合）、著者は 4 次モデル上の 8 つのねじれ点を明示的に数え上げる。どの点が種数 3 曲線へ有理的に「リフト」するかをチェックすることで、上限を再び 8 に洗練する。
4. 無条件認証パイプライン: 一般化リーマン予想 (GRH) やバーチ・スウィンナートン＝ダイヤー予想に依存せず、代わりにコリヴァギンの定理と Manin 定数に関するエディホーヴェンの境界に依存する、PARI/GP と SageMath を組み合わせた堅牢な計算ワークフロー。

4. 結果

• 範囲: 本研究は、$\max(m, n) \le 100$ かつ $m-n$ が奇数であるすべての互いに素なペア $(m, n)$ を網羅している。そのようなペアは 2,040 組ある。
• 成功率: この手法は、1,072 のファイバー（探索空間の約 52.5%）において、完全直方体の非存在を無条件に証明する。
• 証明されたファイバーの内訳:
  • 827 ファイバー（$E_3$ 経由）: 359 ファイバーは鋭い 2-降下により、468 ファイバーはモジュラー記号認証により証明された。
  • 245 ファイバー（$E_{uV}$ 経由）: ねじれサイズが 8 だったため、すべて洗練されたリフト数え上げ論法（ケース c）を必要とした。
• 結果: これら 1,072 のファイバーについて、関連する種数 3 曲線上の有理点の集合は、正確に 8 つの退化点の集合である。したがって、これらの $(m, n)$ ペアから導かれるマスター・タプルに対しては、完全直方体は存在しない。

5. 意義と限界

• 意義:
  • これは、証明されていない仮説に依存することなく、大規模な明示的なファイバー集合における完全直方体の非存在を証明した無条件の最初の証明である。
  • 曲線の族におけるランク 0 のケースを解決するために、明示的な降下とモジュラー記号計算を組み合わせる力を示している。
  • 将来の網羅的探索のための具体的な枠組み（マスター・タプル）を提供している。
• 限界と今後の課題:
  • 網羅性: 結果は $m,n \le 100$ までのファイバーの約 52% しかカバーしていない。残りの 968 ファイバーは、現在の計算リソースを超えて曖昧なランクを持つ（導手 $> 10^{12}$）か、または全ヤコビアンランクが $\ge 3$ であり、標準的なチャバウティ法が適用不可能である。
  • 困難なファイバー: 3 つの楕円因子すべてがランク $\ge 1$ を持つファイバー（例：$(5,2)$）は未解決のままである。
  • 拡張: 著者は、残りの「困難な」ファイバーに対処し、上限をより高い $m, n$ に拡張するために、二次チャバウティ（$p$ 進法）とモルデール・ヴェイル篩が次の必要なステップであると示唆している。

要約すると、ペシュマンは、パラメータ空間の重要な部分集合に対して完全直方体の可能性を排除する、厳密で計算機支援による証明を提供し、この古典的問題における無条件の結果の新たな基準を確立した。