ABC予想

ABC予想（エービーシーよそう、abc conjecture）あるいはオステルレ＝マッサー予想（Oesterlé–Masser conjecture）は、1985年にジョゼフ・オステルレとデイヴィッド・マッサーにより提起された数論の予想（未解決問題）である。類似するものに多項式についてのメーソン・ストーサーズの定理がある。
ABC予想は、この予想から数々の興味深い結果が得られることから、非常に有名になった。ABC予想が定理となれば、数論における数多の有名な予想や定理が直ちに導かれる。
は、ABC予想を「ディオファントス解析で最も重要な未解決問題」であると述べている。

**予想**
と b が互いに素であり、かつ  を満たす自然数の組 (a, b, c) を abc-triple と呼ぶ。一般に「ABC予想」と呼ばれている未解決問題には、
# 不等式  を満たす abc-triple が無限に存在するような正の実数 ε > 0 は存在しない。
# 不等式  を満たす abc-triple は存在しない。
という2種類の命題が存在するが、両者に論理的な強弱関係があるわけではない。すなわち、互いに主張の一部が弱められ、一部が強められている。フェルマーの最終定理の証明に使うことができるのは、2番目の命題のみである。以下、1番目の命題について詳しく解説する。
2以上の自然数 n に対して、n の素因数のうち相異なるものの積（すなわち n を素因数分解したときに現れる各素数の指数をすべて1に置き換え乗算した数。n の根基（radical）と呼ばれる）を与える関数 rad(n) のことを根基関数という。以下にいくつか例を挙げる。- p が素数ならば、
大抵の場合は c  rad(abc) が成り立つ abc-triple も無限に存在するname="壱"ため、rad(abc) を少しだけ大きくすることで例を有限個にできないかどうかを考える。すなわちABC予想は、次の不等式を満たすような自然数の組 (a, b, c) は、任意の正の実数 ε > 0 に対して高々有限個しか存在しないであろうと予想している：
 
ABC予想の定式化には、これ以外にもいくつか同値な表現が存在する。- 任意の abc-triple (a, b, c) に対して、以下の命題が成り立つ：
 
 を満たす正の実数 K(ε) > 0 が、任意の正の実数 ε > 0 に対して存在する（ K(ε) を ε に依らずに取ることは不可能）。- 質 q(a, b, c) を次のように定義する ( q は quality の頭文字)：
 
 このとき、q(a, b, c) > 1 + ε を満たす abc-triple は、任意の正の実数 ε > 0 に対して高々有限組しか存在しない。
現在、q(a, b, c) > 1.6 を満たす abc-triple は後述のコンピューティングによる成果の通り3組しか知られていない。

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

**望月新一による証明**
2012年8月30日、京都大学数理解析研究所教授の望月新一は自身が考案した宇宙際タイヒミュラー理論についての論文を、自身が所属する京都大学数理解析研究所編集の専門誌『Publications of the Research Institute for Mathematical Sciences』(以下『PRIMS』)に投稿し、初稿が同誌のプレプリントで公開されたMochizuki_d。望月は同理論によって、スピロ予想、ヴォイタ予想およびABC予想の証明に成功したと主張している。
上記の証明に対し、ドイツの数学者ペーター・ショルツェ、ジェイコブ・スティックスは、論文IUTT-IIIの系3.12の証明の反例となるレポートScholze_Stixにて「提案された〔望月のプレプリントの〕証明には深刻な問題があり、小さな修正で証明戦略を救うことはできず、証明になっていない。」と指摘した（2018年5月公開、2018年9月一部修正）。この指摘に対して望月は、反例において宇宙際タイヒミュラー理論にいくつかの簡略化がおこなわれており、それらの簡略化がことごとく誤りであると主張するレポートMochizuki_yを公表し反論した（2018年9月発表、2021年3月改訂）。
望月の証明論文は2020年2月に査読を通過しEfn|name="記者会見"|2020年4月に『PRIMS』の共同編集委員長柏原正樹、玉川安騎男より発表された。、2021年3月4日、『PRIMS』の特別号電子版に掲載されたMochizuki_z。
上記論文に対し、ショルツェは2021年7月31日にzbMATH（ヨーロッパ数学会）に掲載された書評にて「このシリーズの最初の3つのパートにおいて、読者は残念ながら実質的な数学的内容をほんの少ししか見出さないだろう。第2部と第3部では、肝心の系3.12に、数行以上の証明を見出さないだろう。」Scholzeと否定的にコメントした。一方、Mohamed Saidi (Mathematician)は2022年4月にMath Reviews誌（アメリカ数学会）に掲載された書評で、宇宙際タイヒミュラー理論の系3.12に関連する論文IUTT-IIIの定理3.11を肯定するコメントを行ったSaidi。
2022年7月、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月らの査読論文が『Kodai Mathematical Journal』（東京工業大学）に掲載されたMFJMP（受理は2021年11月）。この論文は、楕円曲線の6等分点を用いて、ディオファントス的不等式中の定数の数値を明示した形（非明示的な「定数」が現れない）に修正したものである。2012年10月のヴェッセリン・ディミトロフとアクシェイ・ヴェンカテシュによる指摘Efn|この議論の発端は、MathOverflowの記事  Philosophy behind Mochizuki’s work on the ABC conjecture である。により、望月の論文で証明される命題は「弱いABC予想」となっていたが、今回の結果により「強いABC予想」およびフェルマーの最終定理の別証明を得たとしている。

**得られる結果の例**
ABC予想を真だと仮定すると、多数の系が得られる。その中には既に知られている結果もあれば、予想の提出後に予想とは独立に証明されたものもあり、部分的証明となるものもある。
ABC予想がもし早期に証明されていたなら、得られる系という意味での影響はもっと大きかったが、ABC予想が成立した場合に解決される予想はまだ残っており、また数論の深い問題と数多くの結び付きがあるので、ABC予想は依然として「重要な問題」であり続けている。具体的には、「有限個に限定される」ことが結論である命題（予想）を証明するのに役立つことが多い。
 トゥエ＝ジーゲル＝ロスの定理
 代数的数のディオファントス近似に関する定理。
 フェルマーの最終定理
 ただし指数が 6 以上の場合。この定理自体は、ABC予想とは独立にアンドリュー・ワイルズが既に1995年に証明した。有限個の例外を直接計算することにより、原理的にはすべての指数 ≥ 4 に対して証明が可能である2002。
 モーデル予想（ファルティングスの定理）
 1991
 Erdős–Woods number
 ただし有限個の反例を除く 1993。
 非Wieferich primeが無限個存在すること
 1988。
 弱い形のMarshall Hall's conjecture
 平方数と立方数の間隔に関する予想 1996。
 フェルマー＝カタラン予想
 フェルマーの最終定理の拡張であり、冪の和である冪を扱う 2008。
 ルジャンドル記号を用いて記述したディリクレのL関数 L(s, (-d/.)) がSiegel zeroを持たないこと
 正確には、このためには上で紹介している有理整数を扱うABC予想に加えて、代数体上の一様なABC予想を用いる2000。
 Schinzel–Tijdeman theorem
 P を少なくとも3つ以上の単根を持つ多項式とすると、P(1)，P(2)，P(3), … の中には高々有限個しか累乗数が存在しない、という定理 (1976)。
 Tijdeman's theoremの一般化
  が持つ解の個数について。ティーデマンの定理は 1=k = 1 の場合を述べている。また、 が持つ解の個数に関する予想は、ピライ予想 (1931)と呼ばれる。
 Granville–Langevin conjectureと同値
 修正したスピロ予想
 これは境界として  を与える 1988。
 一般化されたブロカールの問題
 任意の整数 A について、 が有限個の解しか持たないこと。1996と同値。

**コンピューティング（演算）による成果**
2006年、オランダのライデン大学数学研究所は、さらなる abc-triple を発見しようと、Kennislink科学協会と共に分散コンピューティングシステム「ABC@homeプロジェクト」を立ち上げた。たとえ演算によって発見された例または反例が ABC予想を解決することができなくとも、このプロジェクトによって発見される組み合わせが、予想と整数論についての洞察に繋がることが期待されている。
は上記で定義した abc-triple (a, b, c) の質 q(a, b, c) である。このとき、c の上限によって、質 q は以下のような分布を取る。
、ABC@homeは2310万個の3つ組を発見しており、当面の目標を 1020 を超えない c についての全ての abc-triple (a, b, c) を見つけることとしている。
2015年に、ABC@homeプロジェクトは合計2380万組の3つ組を見つけ、その直後にプロジェクトは終了した。

**脚注**

**注釈**

**出典**

**参考文献**
 Cite journal|和書|first=隆雄|last=山崎|title=フェルマー予想とABC予想|journal=数学セミナー|year=2010|month=10|url=https://drive.google.com/file/d/0B1ul2QgjY2eqczQ3eUFUZ0h0ZTA/view|format=PDF|accessdate=2021-03-28|ref=harv- Cite journal|和書|author=野口潤次郎 |title=ネヴァンリンナ理論とイロハ(abc-)予想 (解析的整数論の新しい展開) |journal=数理解析研究所講究録 |ISSN=1880-2818 |publisher=京都大学数理解析研究所 |date=2002-07 |issue=1274 |pages=70-76 |naid=110000166532 |url=https://hdl.handle.net/2433/42249 |CRID=1520572359986641664 |ref=harv- accessdate=2021-03-05- ref=harv- Cite book|first1=Enrico|last1=Bombieri|authorlink1=エンリコ・ボンビエリ|first2=Walter|last2=Gubler|authorlink2=:de:Walter Gubler|title=Heights in Diophantine Geometry|series=New Mathematical Monographs|volume=4|publisher=Cambridge University Press|year=2006|isbn=978-0-521-71229-3|zbl=1130.11034|doi=10.2277/0521846153|language=en|ref=harv- ref=harv- ref=harv- ref=harv- ref=harv- ref=harv- ref=harv- ref=harv- Cite journal|last1=Granville|first1=Andrew|authorlink=:en:Andrew Granville
journal=Notices of the AMS|volume=49|issue=10|pages=1224–1231|language=en|ref=harv - 著者の1人であるThomas J. Tuckerは、Thomas W. Tuckerの息子である。- Cite book|first=Richard K.|last=Guy|authorlink=:en:Richard K. Guy|title=Unsolved Problems in Number Theory|publisher=Springer-Verlag|location=Berlin|year=2004|isbn=978-0387208602|language=en|ref=harv- ref=harv- ref=harv- ref=harv- ref=harv- Cite journal|last=Stewart|first=C. L.|authorlink=:en:Cameron Leigh Stewart|first2=Kunrui|last2=Yu|year=1991|title=On the abc conjecture|journal=Mathematische Annalen|volume=291|issue=1|pages=225–230|doi=10.1007/BF01445201|language=en|ref=harv- ref=harv

**関連文献**-  - 上記の新版

**関連項目**
 数学上の未解決問題- ABC@home- Berkeley Open Infrastructure for Network Computing（BOINC）- n conjecture（ABC予想の一般化）

**外部リンク ==