補間行列式でルベーグ–ナーゲル型方程式を解く
Interpolation determinants and the Lebesgue--Nagell equation $a^2-D=b^p$
この論文をやさしく読む
ひとことで言うと
整数の二乗から小さな定数を引いた値が、奇素数乗になる方程式の解を調べた数論研究です。著者はD＝2の長年の予想を証明したと述べています。
何に役立つ？
特定の整数方程式を解くだけでなく、ほかの平方因子を持たないDについて解を調べる方法を与えることが目的です。
この研究の面白いところ
対数の線形形式を扱う補間行列式法について、下からの評価と上からの評価の双方を改良している点に特徴があります。
どこまで分かった？
証明の成立をこちらで独立に確認したものではなく、要旨に示された著者の主張です。D＝3、5の具体的な解や一般的方法の詳しい条件は要旨に列挙されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
任意の奇素数pについて、a²−2＝b^pの整数解は(a,b)＝(±1,−1)だけである、という長年の予想を証明する。また、D＝3およびD＝5に対する同様の方程式y²−D＝x^pを完全に解き、Dが8を法として1と合同でない、その他の正の平方因子を持たない値の場合に使える一般的な手法を説明する。証明では、特別な場合における2つの対数の線形形式に対する補間行列式法を精密化し、算術的な下界と解析的な上界の両方に新しい考え方を導入する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We prove the long-standing conjecture that, for every odd prime $p$, the only integral solutions of $a^2-2=b^p$ are $(a,b)=(\pm 1, -1)$. We also completely solve the analogous equations $y^2-D=x^p$ for $D=3$ and $D=5$ and describe a general approach for other positive squarefree values of $D \not \equiv 1 \pmod 8$. The proof refines the interpolation determinant method for linear forms in two logarithms in special cases, introducing new ideas for both the arithmetic lower bounds and the analytic upper bounds.
著者のコメント
44 pages, comments very welcome!
arXiv ID: 2609.23899 ／ 要約の誤りについて