ABC予想

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ナビゲーションに移動 検索に移動
a + b = c

を満たす、互いに素な自然数の組 (a, b, c) に対し、積 abc の互いに異なる素因数の積を d と表す。このとき、任意の ε > 0 に対して、

c > d1+ε

を満たす組 (a, b, c) は高々有限個しか存在しないであろうか?

Question mark2.svg

ABC予想(ABCよそう、: abc conjecture, 別名:オステルレ–マッサー予想、: Oesterlé–Masser conjecture)は、1985年ジョゼフ・オステルレデイヴィッド・マッサーにより提起された数論の予想である。これは多項式に関するメーソン・ストーサーズの定理整数における類似であり、互いに素でありかつ a + b = c を満たすような3つの自然数(この予想に呼び方を合わせると)a, b, c について述べている[1][2]

ABC予想は、この予想から数々の興味深い結果が得られることから有名になった。数論における数多の有名な予想や定理が ABC予想から直ちに導かれる。Goldfeld (1996) は、ABC予想を「ディオファントス解析で最も重要な未解決問題」であるとしている。

証明の試み[編集]

ABC予想を証明するためのさまざまな試みがあるが、現在完全に数学コミュニティのコンセンサスが得られたものはない。ピーター・ショルツジェイコブ・スティックスらはPRIMSへの掲載決定後も「証明になっていない」と望月の証明について懐疑的・否定的な見解を表明している[3][4][5][6][7][8]

2012年8月30日、京都大学数理解析研究所教授の望月新一が ABC予想を証明したとする論文がインターネットで公開された[9][10][11][12][13]イギリスの科学誌ネイチャーは、同教授は新たな数学的手法を開発し、それを駆使して証明を展開しているため「査読に時間がかかるだろう」と報じた[14][15]。望月は証明に用いた理論を宇宙際タイヒミュラー理論と呼んでおり、スピロ予想ヴォイタ予想の証明などを含む応用があり、整数論の問題を解く強力な道具になるとしている[16]

それらの論文について、2012年10月ヴェッセリン・ディミトロフ[17]アクシェイ・ヴェンカテシュにより誤りが指摘[18]されたが、望月は指摘を認めつつ本質的結果は影響されないとコメントし、訂正を約束した[19]。以後、同年12月より指摘事項の修正や他の校正等を含む一連の訂正版論文を発表している[20]

2015年イヴァン・フェセンコによって、望月の宇宙際タイヒミュラー理論に対する初のサーベイ論文が発表された[21]

2017年9月1日、京都大学数理解析研究所の山下剛から宇宙際タイヒミュラー理論に対するサーベイ論文が発表された[22]

2017年12月、5年余りの査読の末に、望月の論文が、京都大学数理解析研究所の編集する専門誌『Publications of the Research Institute for Mathematical Sciences』 (以下『PRIMS」)に掲載される見通しになったという報道もあった[23]が、実際には掲載されず、査読は2020年まで続いた[注 1][24][25]

2020年2月に望月の証明が『PRIMS』の査読を通過したことが、同年4月に同研究所の数学者柏原正樹らによって発表された[26][27][28][29][30][注 2]

2021年3月4日、望月の論文が『PRIMS』の特別号電子版に4日付で掲載された[32]。この論文に対する懐疑的な見方について、京都大の玉川安騎男は「反論は出尽くしており、今後も評価は平行線のまま」としている[32]

定式化[編集]

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

  • p素数ならば、rad(p) = p.
  • rad(8) = rad(23) = 2.
  • rad(45) = rad(32 ⋅ 5) = 3 ⋅ 5 = 15.

自然数の組 (a, b, c) で、a + b = c, a < b で、ab互いに素であるものを abc-triple と呼ぶ。大抵の場合は c < rad(abc) が成り立つが、ABC予想が主張するのはこれが成り立たない例(例えば、a = 1, b = 8 のとき c = 9 であり、rad(abc) = 6 である)の方である。ただし、c > rad(abc) が成り立つ例も無限に存在する[注 3][注 4]ため、rad(abc) を少しだけ大きくすることで例を有限個にできないかどうかを考える。すなわち、ABC予想は任意の ε > 0 に対して、次を満たすような自然数の組 (a, b, c)高々有限個しか存在しないであろうと述べている:

これと同値な他の定式化(Oesterlé–Masser の ABC予想)として次のものがある。すなわち、任意の ε > 0 に対してある K(ε) > 0 が存在し、全ての abc-triple (a, b, c) について次が成り立つという:

K(ε)ε に依らずに取ることはできない。)

三つ目の定式化は「」(quality) と呼ばれる概念を導入して表現する。abc-triple (a, b, c) に対して、質 q(a, b, c) を次のように定義する:

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

現在、q(a, b, c) > 1.6 を満たす abc-triple は後述の通り3組しか知られていない。q(a, b, c) を 2 まで大きくすれば、そうした abc-triple は存在しないという予想もある。すなわち「全ての abc-triple (a, b, c) に対して、c < rad(abc)2 を満たすであろう」という主張だが、こちらも肯定も否定もされていない[注 5]

得られる結果の例[編集]

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

トゥエ=ジーゲル=ロスの定理
代数的数のディオファントス近似に関する定理。
フェルマーの最終定理
ただし指数が十分大きい場合(どの程度大きければよいかは K(ε) に依る)。定理自体は(ABC予想とは独立に)ワイルズが証明した。ある K(ε) が具体的に求まれば、有限個の例外を直接計算することにより、原理的にはすべての指数 ≥ 4 に対して証明が可能である。ε = 1 のとき K(1) = 1 という予想もあり、この仮定の下で、指数が 6 以上の場合は直ちに証明される (Granville & Tucker 2002)[注 6]。望月らは、フェルマーの最終定理の別証明を与えたとプレプリントで公表している[31]
モーデル予想ファルティングスの定理)
(Elkies 1991)
エルデシュ=ウッズ予想英語版
ただし有限個の反例を除く (Langevin 1993)。
ヴィーフェリッヒ素数英語版が無限個存在すること
(Silverman 1988)。
弱い形のマーシャル・ホール予想英語版
平方数と立方数の間隔に関する予想 (Nitaj 1996)。
フェルマー=カタラン予想
フェルマーの最終定理の拡張であり、冪の和である冪を扱う (Pomerance 2008)。
ルジャンドル記号を用いて記述したディリクレのL関数 L(s, (-d/.)) がジーゲル零点英語版を持たないこと
正確には、このためには上で紹介している有理整数を扱うABC予想に加えて、代数体上の一様なABC予想を用いる。(Granville & Stark 2000)。
Schinzel–Tijdeman theorem
P を少なくとも3つ以上の単根を持つ多項式とすると、P(1),P(2),P(3), … の中には高々有限個しか累乗数が存在しない、という定理 (1976)[33]
ティーデマンの定理英語版の一般化
ym = xn + k が持つ解の個数について。ティーデマンの定理は k = 1 の場合を述べている。また、Aym = Bxn + k が持つ解の個数に関するピライ予想 (1931)。
グランヴィル=ランジュバン予想英語版と同値。
修正したスピロ予想
これは境界として を与える (Oesterlé 1988)。
任意の整数A について、n! + A = k2 が有限個の解しか持たないこと(一般化されたブロカールの問題
(Dąbrowski 1996)

コンピューティングによる成果[編集]

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

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

q > 1 となる abc-triple の質 q の分布[34]
cの値 q > 1 q > 1.05 q > 1.1 q > 1.2 q > 1.3 q > 1.4
c < 102 6 4 4 2 0 0
c < 103 31 17 14 8 3 1
c < 104 120 74 50 22 8 3
c < 105 418 240 152 51 13 6
c < 106 1,268 667 379 102 29 11
c < 107 3,499 1,669 856 210 60 17
c < 108 8,987 3,869 1,801 384 98 25
c < 109 22,316 8,742 3,693 706 144 34
c < 1010 51,677 18,233 7,035 1,159 218 51
c < 1011 116,978 37,612 13,266 1,947 327 64
c < 1012 252,856 73,714 23,773 3,028 455 74
c < 1013 528,275 139,762 41,438 4,519 599 84
c < 1014 1,075,319 258,168 70,047 6,665 769 98
c < 1015 2,131,671 463,446 115,041 9,497 998 112
c < 1016 4,119,410 812,499 184,727 13,118 1,232 126
c < 1017 7,801,334 1,396,909 290,965 17,890 1,530 143
c < 1018 14,482,059 2,352,105 449,194 24,013 1,843 160

2012年9月 (2012-09)現在、ABC@homeは2310万個の3つ組を発見しており、当面の目標を 1020 を超えない c についての全ての abc-triple (a, b, c) を見つけることとしている[35]

質の大きいabc-triple[36]
番号 q a b c 発見者
1 1.6299 2 310·109 235 Eric Reyssat
2 1.6260 112 32·56·73 221·23 Benne de Weger
3 1.6235 19·1307 7·292·318 28·322·54 Jerzy Browkin, Juliusz Brzezinski
4 1.5808 283 511·132 28·38·173 Jerzy Browkin, Juliusz Brzezinski, Abderrahmane Nitaj
5 1.5679 1 2·37 54·7 Benne de Weger

脚注[編集]

注釈[編集]

  1. ^ Publications of the Research Institute for Mathematical Sciences”. KURIMS. 2021年3月6日閲覧。。リンク先にあるように、そもそもPRIMS編集委員は京都大学数理解析研究所の教員により構成されており、望月自身が編集長を務めている。
  2. ^ 同誌の2021年発行号に掲載見込[31]
  3. ^ 例として、a = 1, b = 32n − 1, c = 32nのとき、全ての n について rad(abc) < 3c/4 が成り立つ。また、a = 1, b = 32n − 1, c = 32nのとき、全ての n について rad(abc) < 3c/2n+1が成り立つ。
  4. ^ なお、c = rad(abc) すなわち q(a, b, c) = 1 となるような abc-triple は1組もない。もし a < b を課さなければ (1, 1, 2) という1組だけがあるが、予想自体には支障をきたさない。
  5. ^ この主張と元のABC予想の主張の間に論理的な強弱関係はない。
  6. ^ ABC予想が K = 1 かつ ε = 1 で正しければ、互いに素な自然数 A, B, CA + B = C を満たすとき C < (rad ABC)2 が成り立つ。互いに素な自然数 a, b, can + bn = cn を満たすと仮定すると、an, bn, cn は互いに素より、A = an, B = bn, C = cn を代入して
    が成り立つ。一般に であるから、 となる。ゆえに cn < c6, c > 1 より n < 6n = 3, 4, 5 については古典的な証明があるので定理が証明される。(山崎 2010, p. 11)

出典[編集]

  1. ^ 知恵蔵2013『ABC予想』”. kotobank.jp. コトバンク (2020年4月3日). 2020年4月3日閲覧。
  2. ^ "abc Conjecture".”. mathworld.wolfram.com. MathWorld (2020年4月3日). 2020年4月3日閲覧。
  3. ^ The ABC conjecture has (still) not been proved”. Persiflage (2017年12月). 2020年4月28日閲覧。
  4. ^ annahaensch (2017年12月). “Best and Worst of 2017”. Blog on Math Blogs. 2020年4月28日閲覧。
  5. ^ Latest on abc” (英語). Not Even Wrong. Peter Woit (2020年4月3日). 2021年3月5日閲覧。
  6. ^ Castelvecchi, Davide (2020-04-03). “Mathematical proof that rocked number theory will be published”. Nature. doi:10.1038/d41586-020-00998-2. 
  7. ^ 石倉徹也 (2020年5月3日). “ABC予想「証明は本当か?」 欧米で論文に異議相次ぐ”. 朝日新聞デジタル. 朝日新聞. 2021年4月4日閲覧。
  8. ^ Peter Woit (4 March 2021). "ABC is Still a Conjecture". math.columbia.edu. コロンビア大学 数学科. 2021年6月2日時点のオリジナルよりアーカイブ。2021年6月2日閲覧
  9. ^ 京都大学数理解析研究所 - プレプリント -”. www.kurims.kyoto-u.ac.jp. 2021年4月17日閲覧。
  10. ^ Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory IV: Log-volume Computations and Set-theoretic Foundations.” (PDF). Working Paper. http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf 2021年3月5日閲覧。. 
  11. ^ Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory I: Construction of Hodge Theaters.” (PDF). Working Paper. http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf 2021年3月5日閲覧。. 
  12. ^ Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory II: Hodge-Arakelov-theoretic Evaluation.” (PDF). Working Paper. http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20II.pdf 2021年3月5日閲覧。. 
  13. ^ Mochizuki, Shinichi (2012-08-30). “Inter-universal Teichmüller Theory III: Canonical Splittings of the Log-theta-lattice.” (PDF). Working Paper. http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf 2021年3月5日閲覧。. 
  14. ^ Ball, Phillip (2012-09-10). “Proof claimed for deep connection between primes”. Nature. https://www.nature.com/news/proof-claimed-for-deep-connection-between-primes-1.11378 2021年3月5日閲覧。. 
  15. ^ 「異世界からきた」論文を巡って 望月新一による「ABC予想」の証明と、数学界の戦い”. WIRED ジャパン. WIRED Japan (2020年4月3日). 2021年3月5日閲覧。
  16. ^ “数学の難問「ABC予想」、京大教授が解明か”. 共同通信社. 日本経済新聞. (2012年9月18日). https://www.nikkei.com/article/DGXNASDG1805T_Y2A910C1000000/?dg=1 2021年3月5日閲覧。 
  17. ^ Vesselin Dimitrov”. math.toronto.edu. トロント大学数学科. 2021年6月3日閲覧。
  18. ^ この議論の発端は、MathOverflowの記事 Philosophy behind Mochizuki’s work on the ABC conjecture である
  19. ^ Kevin Hartnett (2012年11月3日). “An ABC proof too tough even for mathematicians” (英語). Boston Globe. https://www.bostonglobe.com/ideas/2012/11/03/abc-proof-too-tough-even-for-mathematicians/o9bja4kwPuXhDeDb2Ana2K/story.html 2021年3月5日閲覧。 
  20. ^ 望月新一の最新情報”. 京都大学数理解析研究所望月研究室 (2021年3月6日). 2021年4月4日閲覧。
  21. ^ Ivan Fesenko. (2015) "Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki."
  22. ^ Go Yamashita, A Proof of abc Conjecture After Mochizuki
  23. ^ 石倉徹也 (2017年12月16日). “数学の超難問・ABC予想を「証明」 望月京大教授”. 朝日新聞. https://www.asahi.com/articles/ASKDD5Q6MKDDPLBJ007.html 2021年3月5日閲覧。 
  24. ^ Not Even Wrong” (英語). Peter Woit (2017年12月16日). 2021年3月5日閲覧。
  25. ^ Erica Klarreich (2018年9月). “Titans of Mathematics Clash Over Epic Proof of ABC Conjecture” (英語). Quonta Magazine. 2021年3月5日閲覧。
  26. ^ 現代数学の難問「ABC予想」を証明、論文掲載へ 京大・望月教授、8年越しで専門誌に|文化・ライフ|地域のニュース|京都新聞” (2020年4月3日). 2021年3月5日閲覧。
  27. ^ 数学の難問「ABC予想」証明 望月京大教授の論文、学術誌に掲載”. 産経新聞ニュース. 産経新聞 (2020年4月3日). 2020年4月3日閲覧。
  28. ^ 未解明だった数学の超難問「ABC予想」を証明 京大の望月教授 斬新・難解で査読に8年”. mainichi.jp. 毎日新聞 (2020年4月3日). 2020年4月3日閲覧。
  29. ^ 石倉徹也 (2020年4月3日). “数学の超難問ABC予想、京大教授が証明 検証に7年半”. 朝日新聞デジタル. 朝日新聞. 2021年4月4日閲覧。
  30. ^ 数学の超難問ABC予想、京大教授が「証明」”. www.nikkei.com. 日本経済新聞 (2020年4月3日). 2020年4月25日閲覧。
  31. ^ a b SHINICHI MOCHIZUKI; IVAN FESENKO, YUICHIRO HOSHI,ARATA MINAMIDE, AND WOJCIECH POROWSKI (2020-11-30). Explicit Estimates in Inter-universal Teichm¨uller Theory (Report). 京都大学数理解析研究所. http://www.kurims.kyoto-u.ac.jp/preprint/file/RIMS1933.pdf 2020年12月5日閲覧。. 
  32. ^ a b "難問「ABC予想」論文が掲載". 共同通信. 5 March 2021. 2021年4月4日閲覧
  33. ^ The ABC-conjecture (Frits Beukers, 9 september 2005) (PDF)
  34. ^ Synthese resultaten”. rekenmeemetabc.nl. 2008年12月22日時点のオリジナルよりアーカイブ。2011年1月1日閲覧。 (オランダ語)
  35. ^ Data collected sofar”. ABC At Home. 2012年10月4日時点のオリジナルよりアーカイブ。2012年9月10日閲覧。
  36. ^ Bart de Smit / ABC triples / by quality”. Reken mee met ABC (2005年8月1日). 2021年3月5日閲覧。


参考文献[編集]

関連文献[編集]

関連項目[編集]

外部リンク[編集]