[論文レビュー] Perfect Powers: Pillai's works and their developments

Michel Waldschmidt|ArXiv.org|Aug 27, 2009

Algebraic Geometry and Number Theory参考文献 79被引用数 12

ひとこと要約

この論文は、完全乗数を含むディオファントス方程式、特に方程式 $a^x - b^y = k$ に関するS. S. ピライの基礎的研究を調査し、固定された $k$ に対して、整数 $x, y \geq 2$ における解の数が有限であることを示している——これは今やピライの予想として知られるものである。論文は、$abc$ 予想、カタランの不定方程式、フェルマー＝カタラン方程式といった主要な未解決問題と関連づけ、$abc$ 予想の精緻化がピライの予想および理想ウェアリングの定理を示すことを示している。

ABSTRACT

After a short introduction to Pillai's work on Diophantine questions, we quote some later developments and we discuss related open problems.

研究の動機と目的

• 完全乗数を含むディオファントス方程式におけるS. S. ピライの貢献を要約し、文脈づけること。
• 任意の固定された $k \geq 1$ に対して、方程式 $a^x - b^y = k$ が $x, y \geq 2$ で有限個の解しかも持たないというピライの予想を検討すること。
• カタランの方程式、ビーラの不定方程式、フェルマー＝カタラン方程式といった関連問題に対するピライの予想の影響を調査すること。
• $abc$ 予想との関連および理想ウェアリングの定理の証明における役割を調査すること。
• $abc$ 予想によるピライの予想の定量的精緻化と、ウェアリング問題へのその影響を分析すること。

提案手法

• 1931–1945年のピライの初期の結果を調査し、特に $a^x - b^y = c$ に関する指数的ディオファントス不等式と方程式を扱う。
• シーゲルの定理とトゥエの不等式を用いて、固定された $a, b, c$ に対して $a^x - b^y = c$ の解の数を評価する。
• $abc$ 予想を用いて、$a^x - b^y = k$ の解の数に対する定量的評価を導出し、この仮定のもとで解の有限性を示す。
• $abc$ の根拠となる $abc$ の根拠を $abc$ 予想の文脈で分析し、ウェアリング問題における $g(k)$ の評価を導く。
• $abc$ 予想が特定の指数 $\theta$ で成り立つならば、$g(k) = I(k)$ がすべての十分大きな $k$ に対して成り立つことを示すことで、$abc$ 予想と理想ウェアリングの定理の間のつながりを確立する。
• 対数形式および対数の線形形式を用いて、$|3^x - 2^y| = c$ の解の数の推定値を精緻化する。

実験結果

リサーチクエスチョン

• RQ1 固定された $k \geq 1$ に対して、ディオファントス方程式 $a^x - b^y = k$ は整数 $x, y \geq 2$ で有限個の解しか持たないか？
• RQ2 $abc$ 予想がどのようにピライの予想および $a^x - b^y = k$ の解の有限性を示すか？
• RQ3 ピライの予想と理想ウェアリングの定理との関係、特に $g(k) = I(k)$ との関係は何か？
• RQ4 特定の指数 $\theta$ を持つ $abc$ 予想が、すべての十分大きな $k$ に対して $g(k) = I(k)$ を保証できるか？
• RQ5 対数形式および対数の線形独立性は、$|3^x - 2^y| = c$ のような指数的ディオファントス方程式の解の評価にどのように役立つか？

主な発見

• ピライは1936年および1945年に、任意の固定された $k \geq 1$ に対して、方程式 $a^x - b^y = k$ が $x, y \geq 2$ で有限個の解しか持たないという予想をした。これは、連続する完全乗数間の距離が無限大に近づくことに等しい。
• 固定された $a, b, c$ で $\gcd(a,b) = 1$ かつ $a > b \geq 1$ であるとき、ピライは $|a^x - b^y| = c$ が $|c| > c_0(a,b)$ に対して高々一つの解しか持たないことを証明したが、$c_0(a,b)$ の明示的計算は行われなかった。
• $c_0(3,2) = 13$ であるという予想は、ストローカーとティージェマン（1982年）によって確認され、$|3^x - 2^y| = c$ が $c > 13$ に対して高々一つの解しか持たないことが示された。
• $abc$ 予想はピライの予想を含意する：$abc$-タイプの評価が指数 $\theta < \log 3 / (2 \log(3/2))$ で成り立つならば、すべての十分大きな $k$ に対して $g(k) = I(k)$ が成り立つ。
• 特定の $\theta$ を持つ $abc$ 予想のもとで、すべての $k \geq k_0$ に対して理想ウェアリングの定理が成り立つ。ここで $k_0$ は $\theta$ および $\kappa$ の関数として明示的に評価可能である。
• 大きな $k$ における理想ウェアリングの定理の証明は、$3^k = 2^k q + r$ の剰余 $r$ が $r \leq 2^k - q - 3$ を満たすことを示すことに依存しており、これは適切な $\theta$ を持つ $abc$ 予想によって示唆される。