ABC予想

ABC予想は、1985年にジョゼフ・オステルレとデイヴィッド・マッサーにより提起された数論の予想である。オステルレ＝マッサー予想とも呼ばれる。

これは多項式に関するメーソン・ストーサーズの定理の整数における類似であり、互いに素でありかつ 1=//a// + //b// = //c//}} を満たすような3つの自然数a}}, b}}, c}} の和と積の関係について述べている。

ABC予想は、この予想から数々の興味深い結果が得られることから有名になった。数論における数多の有名な予想や定理がABC予想から直ちに導かれる。

ドリアン・モリス・ゴールドフェルドは、ABC予想を「ディオファントス解析で最も重要な未解決問題」であるとしている。

1. 定式化
------

自然数 n}} に対して、n}} の互いに異なる素因数の積を n}} の根基  と呼び、rad //n//}} と書く。以下に例を挙げる。

p}} が素数ならば、rad =}} //p//}}.
rad =}} rad(2sup.
rad =}} rad}} で、//a// + //b// =}} //c//}}, //a// < //b//}} で、a}} と b}} は互いに素であるものを abc-triple と呼ぶ。大抵の場合は //c// < rad}} が成り立つが、ABC予想が主張するのはこれが成り立たない例の方である。ただし、//c// > rad}} が成り立つ例も無限に存在するname="壱"}}name="弐"}}ため、rad}} を少しだけ大きくすることで例を有限個にできないかどうかを考える。すなわち、ABC予想は任意の //ε// > 0}} に対して、次を満たすような自然数の組 }} は高々有限個しか存在しないであろうと述べている：

これと同値な他の定式化として次のものがある。すなわち、任意の //ε// > 0}} に対してある //K// > 0}} が存在し、全ての abc-triple }} について次が成り立つという：

三つ目の定式化は「質」 と呼ばれる概念を導入して表現する。abc-triple }} に対して、質 //q//}} を次のように定義する：

このときABC予想は、任意の //ε// > 0}} に対して、abc-triple }} であって //q// > 1 + //ε//}} を満たすものは高々有限個しか存在しないということを主張している。

現在、//q// > 1.6}} を満たす abc-triple は後述の通り3組しか知られていない。//q//}} を 2 まで大きくすれば、そうした abc-triple は存在しないという予想もある。すなわち「全ての abc-triple }} に対して、//c// < radsupを満たすであろう」という主張だが、こちらも肯定も否定もされていないname="参"}}。

2. 証明の提案
--------

1985年の予想の提起から、数々の数学者によりABC予想の証明が提案されてきた。しかし、現在数学コミュニティの同意が得られたものはない。

2.1. 望月新一による提案
--------------

京都大学数理解析研究所教授の望月新一は、自身の考案した宇宙際タイヒミュラー理論によるディオファントス的不等式の証明から、スピロ予想、ヴォイタ予想、ABC予想を証明したと主張しているname="PRIMS"。

上記の証明に対し、ペーター・ショルツェとジェイコブ・スティックスが、論文IUTT-IIIの系3.12の証明の反例となるレポートScholze_Stix}}にて「提案された〔望月のプレプリントの〕証明には深刻な問題があり、小さな修正で証明戦略を救うことはできず、証明になっていない」と指摘した。望月は、反例において宇宙際タイヒミュラー理論にいくつかの簡略化がおこなわれており、それらの簡略化が悉く誤りであると主張するレポートMochizuki_xを公表し反論した。

望月の証明論文は2020年2月に査読を通過しname="記者会見"、2021年3月4日、雑誌『PRIMS』の特別号電子版に掲載されたMochizuki_z}}。

上記論文に対し、ショルツェは2021年7月31日にzbMATHに掲載された書評にて「このシリーズの最初の3つのパートにおいて、読者は残念ながら実質的な数学的内容をほんの少ししか見出さないだろう。第2部と第3部では、肝心の系3.12に、数行以上の証明を見出さないだろう」Scholze}}と否定的にコメントした。一方、モハメド・サイディ name="サイディ氏所属"は2022年4月にMath Reviews誌に掲載された書評で、宇宙際タイヒミュラー理論の系3.12に関連する論文IUTT-IIIの定理3.11を肯定するコメントを行ったSaidi}}。

2022年7月、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読論文が『Kodai Mathematical Journal』に掲載されたMFJMP}}。この論文は、楕円曲線の6等分点を用いて、ディオファントス的不等式中の定数の数値を明示した形に修正したとしている。2012年10月の、ヴェッセリン・ディミトロフとアクシェイ・ヴェンカテシュによる指摘により、望月の論文で証明される命題は「弱いABC予想」となっていたが、今回の結果により「強いABC予想」および「フェルマーの最終定理」の別証明を得たとしている。

3. 得られる結果の例
-----------

ABC予想を真だと仮定すると、多数の系が得られる。その中には既に知られている結果もあれば、予想の提出後に予想とは独立に証明されたものもあり、部分的証明となるものもある。ABC予想がもし早期に証明されていたなら、得られる系という意味での影響はもっと大きかったが、ABC予想が成立した場合に解決される予想はまだ残っており、また数論の深い問題と数多くの結び付きがあるので、ABC予想は依然として「重要な問題」であり続けている。「有限個に限定される」ことが結論である命題の証明に役に立つ。

トゥエ＝ジーゲル＝ロスの定理 代数的数のディオファントス近似に関する定理。 フェルマーの最終定理 ただし指数が十分大きい場合。どの程度大きければよいかは //K//}} に依存する。この定理自体は、ABC予想とは独立にワイルズが既に1995年に証明した。ある //K//}} が具体的に求まれば、有限個の例外を直接計算することにより、原理的にはすべての指数 ≥ 4 に対して証明が可能である。1=//ε// = 1}} のとき 1=//K// = 1}} という予想もあり、この仮定の下で、指数が 6}} 以上の場合は直ちに証明される Granvillename="フェルマー"}}。 モーデル予想 ただし有限個の反例を除く Langevin。 非ヴィーフェリッヒ素数が無限個存在すること Silverman。 弱い形の 平方数と立方数の間隔に関する予想 Nitaj。 フェルマー＝カタラン予想 フェルマーの最終定理の拡張であり、冪の和である冪を扱う Pomerance。 ルジャンドル記号を用いて記述したディリクレのL関数 //L//) がジーゲル零点を持たないこと 正確には、このためには上で紹介している有理整数を扱うABC予想に加えて、代数体上の一様なABC予想を用いる。Granville。 Schinzel–Tijdeman theorem P}} を少なくとも3つ以上の単根を持つ多項式とすると、//P//，//P//，//P//, …}} の中には高々有限個しか累乗数が存在しない、という定理 。 ティーデマンの定理の一般化 1=//ysup が持つ解の個数について。ティーデマンの定理は 1=//k// = 1}} の場合を述べている。また、1=//Aysup が持つ解の個数に関するピライ予想 。 グランヴィル＝ランジュバン予想と同値 修正したスピロ予想 これは境界として を与える Oesterlé。 任意の整数//A// について、1=//n//! + //A// = //k//sup が有限個の解しか持たないこと Dąbrowskiと同値。

4. コンピューティングによる成果
-----------------

2006年、オランダのライデン大学数学研究所は、さらなる abc-triple を発見しようと、Kennislink科学協会と共に分散コンピューティングシステム「ABC@homeプロジェクト」を立ち上げた。たとえ演算によって発見された例または反例が ABC予想を解決することができなくとも、このプロジェクトによって発見される組み合わせが、予想と整数論についての洞察に繋がることが期待されている。

q}} は上記で定義した abc-triple }} の質 //q//}} である。このとき、c}} の上限によって、質 q}} は以下のような分布を取る。

2012、ABC@homeは2310万個の3つ組を発見しており、当面の目標を 1020}} を超えない c}} についての全ての abc-triple }} を見つけることとしている

2015年に、ABC@homeプロジェクトは合計2380万組の3つ組を見つけ、その直後にプロジェクトは終了した

5. 脚注
-----

5.1. 注釈
-------

5.2. 出典
-------

6. 参考文献
-------

和書
last1=Granville - 著者の1人であるThomas J. Tuckerは、Thomas W. Tuckerの息子である。
last=Langevin
last=Nitaj
last1=Oesterlé

7. 関連文献
-------

和書 - 上記の新版
和書

8. 関連項目
-------

数学上の未解決問題
ABC@home
Berkeley Open Infrastructure for Network Computing
n予想

9. 外部リンク
--------

[https://www.yomiuri.co.jp/science/20230707-OYT1T50195/ 「ＡＢＣ予想」の証明理論、欠陥見つけたら賞金１００万ドル…ドワンゴ創業者の私費で　(読売新聞2023年7月7日）