特定商取引法に基づく表示サイトマップ当サイトでは、JavaScriptを使用しております。JavaScriptを有効にしていただきますと、より快適にご覧いただけます。科学はどこまでわかっているのか」では、〈未解決問題「ABC予想」が証明されたようだ〉として、望月新一教授の論文が世界を驚かせたわけをこのようにしるされていました。近ごろ、数学の業界は、重要未解決問題である「ABC予想」が証明されたようだ、という話題で盛りあがっています。望月新一教授(1969-)で、その証明論文は全部で600ページを超える膨大なしろものです。これをプリントアウトした人、世界に何人いるんでしょうか。「近ごろ」といっても、その論文は2012年にウェブ上に発表されたものです。何年もたてば、普通は、ホットな話題も温度が下がってくるものですが、そうはならずにかえって沸騰している理由は、その証明がどうやら正しいようだと認められ、学術誌に掲載されることになったためです。この膨大な論文はあまりに難解で、数学業界が理解するのに何年もかかったというのです。もこの件についての世間の報道は、望月教授の生い立ちや人柄に多くのバイト数を費やして、ABC予想そのものについては、難解すぎるためか、さわらぬ数学にたたりなしという態度をとるメディアが多いようです。たしかに、数学者も解読に難儀する600ページの証明をここでわかりやすく説明するのは、まあはっきりいって無理なんですが、男には負けるとわかっていても戦わなければならないときがあるとキャプテンハーロックも言ってます。どんな予想で、なにがすごいのか、解説を試みましょう。ABC予想とはどんなものか「ABC予想」、別名「オスターリ・マッサー予想」とは、フランスのパリ第4大学のジョゼフ・オスターリ博士(1954-)とスイスのバーゼル大学のデイヴィッド・マッサー教授(1948-)が1980年代に発表した予想です。数学業界における「予想」とは、「まだだれも証明できないけど、△△という定理が成り立つような気がするなあ」という主張です。だれかがこういう予想をすると、これを証明したくなったり、あるいはこれがまちがっていることを証明したくなったりするのが数学者という人種です。なんでそんなことをしたくなるのか理解できない方が人類の多数派と思われますが、数学者のそういうモチベーションによって、世の中は進歩してきました。これはどのような予想なのでしょうか。いくつか表現方法がありますが、そのうちの一つは次のようなものです。正の整数AとBの和をCとします。正の整数は、素数のべきの積に「素因数分解」することができます。15ならば、15=3×54ならば、4=2^2という具合です。AとBは、このような素因数分解をほどこした時、共通の素因数をもたないように選んでおきます。A=4、B=15という組み合わせです。このような、共通の素因数をもたないAとBは「たがいに素」だといいますが、べつに覚えなくてもさしつかえありません。A=4、B=6という組み合わせは、共通の素因数2をもつので、今回の考察の対象外です。次に、そうやって選んだAとBと、その和Cを、かけ合わせ、素因数分解します。A×B×C=4×15×19=(2^2)×3×5×19さらに、素因数分解の結果から、異なる素因数だけを拾ってかけ合わせて、新たな数Dを作ります。べき乗は1乗に変えます。2×3×5×19=570=DDはA×B×Cの「根基(こんき)」と呼ばれますが、やはり覚えなくてもさしつかえありません。この時、「たいていの場合、DはCよりも大きくなるだろう」というのがABC予想です。C>D^(1+ε)を満たすCは有限個しか存在しないだろう」となります。これで一応、あまり難しい数学用語は使わずに、ABC予想を説明してみました。作ると、Cには、AにもBにも含まれない新しい素因数がいくつも含まれるだろう」という予想です。いう場合はたいてい、D>Cが成り立ちます。望月新一教授が、個人ホームページに「宇宙際タイヒミュラー理論」と題する4篇の論文をアップロードしました。合計で500ページ(後に補足を含めて600ページ)になる大論文です(*1)。この論文は世界的に注目を浴びました。・実績とユニークな言動で業界に知られる望月教授の論文である。(今度は何を始めたんだ。)・ABC予想の証明論文である。)・膨大で難解で、同業者にも理解が困難である。(なにかすごいことが書いてあるのだろうか。査読を受けて学術誌に掲載されたわけではないのに、早速(2012年)、『ネイチャー』にもとり上げられました。Sciences(PRIMS)』(編集長は望月教授)への投稿論文ということになります。通常、論文を受け取った学術雑誌の編集部は、(査読のある学術誌なら)査読者(レフェリー)に読んでもらいます。編集部がその論文の研究分野の研究者から査読者を選び、匿名で査読をおこないます。査読は数週間程度、長いと数カ月かかるものですが、望月論文の場合は5年以上という異例の長期間におよびました。証明論文でもちいられている「宇宙際タイヒミュラー理論」は、望月教授が20年以上取りくんで、ほぼ独力で構築してきた理論です。論文には多くの新しい用語や定義がちりばめられ、専門家にとっても理解するのに相当な努力が必要です。5年の間には、この論文を勉強するための国際会議も開かれました。普段、日本国外で講演しない望月教授もTV会議システムで参加しました。ほとんどの聴衆は望月教授の説明を理解できなかったようです。正式に掲載されていない論文の勉強会がおこなわれるとは、これも異例です。しないと理解が進まず、査読もできなかったのです。関係者のそうした努力の結果、論文に誤りがないようだと結論され、ついに受理が決まりました。(ただし2019年現在、掲載はまだ決まっていません。)専門家も読解に苦労するこの600ページの望月論文、筆者もページをめくってみたものの、残念ながらというか当たり前というか、やはり理解できませんでした。(LaTeX〈*2〉でこんな数式が表示できるのか、と感心したので、ソースを見たくなりました。)ABC予想は整数について述べていますが、望月論文では、これを楕円曲線についての定理に置き換えます。フロベニオイドという新たな数学概念を作りあげ、これをもちいて楕円曲線をあつかい、証明をおこなっているようです。無責任なようで申し訳ありませんが、証明方法についてこれ以上詳しく知りたい方は、原論文をご参照ください。それにしても、ABC予想は一見単純なのに、それを証明するとなると、新しい数学概念と600ページが必要だとは、数学の世界とそれを探求する人類の営みは、実に深遠です。*1─http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdfhttp://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20II.pdfhttp://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdfhttp://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf*2─数式入力などに定評がある組版処理システム。物理系や数学系の論文は、だいたいこれを使って書かれる。元NASA研究員の著者が、最先端の宇宙ニュースの中でもとくに知的好奇心を刺激するものをどこよりもわかりやすく解説。現在、人類が把握できている宇宙とはどんな姿なのか、宇宙学の最前線が3時間でざっくりわかる。本書では元NASA研究員の著者が物理学の7大論争をやさしく解説、“宇宙の今”が楽しくわかる。幻冬舎plusで立ち読み・購入Amazon楽天ブックス「ナンバープレートの4桁が素数だと嬉しくなる」「花火を見れば炎色反応について語りだす」「揺れを感じると震源までの距離を計算し始める」「液体窒素でバナナを凍らせる」......。本書では理系の人なら身に覚えのある(そして文系の人は不可解な顔をする)「あるある」な行動や習性を蒐集し、その背後の科学的論理をやさしく解説。ベッセル関数、ポアソン確率、ガウス分布、ダーク・マターなど科学の知識が身につき、謎多き理系の人々への親しみが増す一冊。}宇宙はどこまでわかっているのか幻冬舎新書『宇宙はどこまでわかっているのか』の最新情報をお知らせします。専門は宇宙物理学と観測装置開発。研究員を経て国際基督教大学ほかで教鞭を執るかたわら、科学のおもしろさを一般に広く伝える著作活動を展開している。