宇宙際タイヒミュラー理論
宇宙際タイヒミュラー理論(うちゅうさいタイヒミュラーりろん、Inter-Universal Teichmüller Theory、略称: IUT)は、数学者・望月新一によって開発された、数論におけるさまざまな予想、特にABC予想を解く要件の考察により、遠アーベル幾何などを拡大した圏の宇宙際 (IU) 幾何を構想した数学理論である。望月によれば、自身が2000年代に開発した、p進タイヒミュラー理論、楕円曲線のホッジ・アラケロフ理論、および、数論的log Scheme圏論的表示の構成等に続いた、いわば「楕円曲線を備えた数体のタイヒミュラー理論の算術版」であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である。ノッティンガム大学で純粋数学の教授を務めるイヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている。
宇宙際タイヒミュラー理論は、2012年8月30日、京都大学数理解析研究所 (RIMS) の望月新一により、プレプリントとして公表された。公開後にまもなくイヴァン・フェセンコにより論文が取り上げられたが、望月の新たな数学的手法と言語により「査読に時間がかかるだろう」と報じられた。上記のプレプリントは、7年半にわたる査読の審査を経て、2020年2月5日、査読を通過し、2021年3月に、RIMSが編集する論文誌PRIMSの特別号に掲載された。査読通過の発表後、雑誌ネイチャーは、望月の論文に対するショルツェとスティクスの指摘(後述)は致命的であり、望月の反論にもかかわらず、「数学コミュニティの大勢はこの問題が決着したと考えている」と述べる複数の匿名の専門家のコメントを紹介し、「論文の査読通過によって、この状況が変わることはないだろう」との見方を示した。
7年余の間に、1000以上となる論文の質問があり、回答、指摘事項の修正や語句訂正等で100以上となる更新版とその改定内容が公開された。
2012年10月、ヴェッセリン・ディミトロフとアクシェイ・ヴェンカテシュにより「エタール・テータ関数が素数 "2 "で分割する悪い場所においては正しく機能しなくなる」障害に基づく数値的な有効性の指摘があった。望月は改定版を公開した。この修正で論文中のディオファントス的不等式中の定数の数値は明示されない形に変更されたが、本質的結果は影響されない。その後、2022年7月、楕円曲線の 6 等分点を用いて、論文中のディオファントス的不等式中の定数の数値を明示したもの(非明示的な「定数」が現れない)に変更した、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読論文が、東京工業大学が編集する数学論文誌Kodai Mathematical Journalに掲載された。この結果により、宇宙際タイヒミュラー理論によるフェルマーの最終定理の新たな証明を得たとされる。
2018年3月、ペーター・ショルツェとジェイコブ・スティックスが京都大学を訪れ、望月と星裕一郎は彼らと5日間議論し、双方による議論のレポートの作成につながった。ショルツェとスティックスは、2018年5月および2018年9月に公開した10ページのレポートで、論文IUTT-IIIの系3.12の論理過程で反例があると主張した。ショルツとスティクスによれば、望月の方法では「エッシャーの階段」(正しくはペンローズの階段あるいはシェパードトーン。いわゆる不思議の環の一つ。)のように「ぐるぐるまわっているのに昇り(あるいは降り)つづける」といったことが起き、矛盾がないようにした場合、不等式は無意味になるという。一方で望月は、反例でIUT理論の前提にいくつかの簡略化が行われ、それらが誤りであるとして、ショルツェとスティックスが公開したそれぞれのレポートに、彼の理論の誤解を指摘し反論するレポートを公開した。また、2021年3月、望月はIUT理論の論理展開について詳しく解説する論文を公開した。同論文で、理論の論理構造が論理的なAND “∧"であるが、OR “∨"に取り違える簡略化による誤りが生じる、と主張した。
2021年7月、ボン大学教授のペーター・ショルツェはZentralblatt Math誌で望月IUT論文に批判的なレビューを寄稿した。内容は2018年に指摘した反例の回答に対する不満足を主張するものである。
2022年4月、エクスター大学教授のモハメド・サイディは Math Reviews誌の書評で、宇宙際タイヒミュラー理論の系3.12に関連した定理 3.11を肯定するレビューを寄稿した。
2015年、イヴァン・フェセンコによって、望月の宇宙際タイヒミュラー理論のサーベイ論文が発表された。2017年9月1日、RIMSの山下剛から宇宙際タイヒミュラー理論に対するサーベイ論文が発表された。
2015年から、IUTに関するワークショップが順次に開催され、日本国内では2015年3月にRIMSで、国際ワークショップは2015年7月に北京、2015年12月にオックスフォード、2016年7月および2021年9月にRIMS等で開催された。国際ワークショップは100人以上の参加者を集めた。これらのワークショップのプレゼンテーションはオンラインで見ることができる。
オックスフォードでのワークショップの参加者のブライアン・コンラッドは「準備論文の理解に大きな進展があったが、本論文の検討にはたどり着けなかった。」と感想を述べている。
2021年8月から9月、将来数学分野のリードと研究者育成を目的とした訪問滞在型国際共同研究として、京都大学数理解析研究所RIMSで「宇宙際タイヒミューラー理論の拡がり」をテーマとした研究集会が開催され、85人以上の国際共同研究者を集めた。これらの研究集会のプレゼンテーションは数学者に向けたリンクからオンラインで見ることができる。
2020年4月、PRIMS特別編集委員会の記者会見で共同編集委員長の柏原正樹、玉川安騎男は、記者会見を行い、望月論文の査読受理を発表した。なお、論文の査読者は公表されていない。
柏原正樹のコメント「ABC予想を証明した望月氏の論文が正しいものであると判断した。」
玉川安騎男のコメント「内容に懐疑的な海外の数学者もごく少数いるが、反論は出尽くしており、今後も平行線のままではないか」
特別編集委員会全体のコメント「望月教授自身が反論もしており、(ショルツェ教授からの)再反論もない」
また、論文掲載に際して、玉川安騎男は「今回掲載されたものが未来に残る最終確定のものだ」とコメントした。
なお、投稿の際、PRIMS編集長の望月が投稿する場合は編集から排除する取り決めにより、玉川安騎男を編集長(その後に柏原正樹が共同編集長で参加)とする特別編集委員会が設置されている。
2022年4月、NHK制作のドキュメンタリー番組『NHKスペシャル 数学者は宇宙をつなげるか?abc予想証明をめぐる数奇な物語』(制作統括:井手真也、春日真人)が放送された。放送では、ABC予想を証明するためには「数学の世界に混ざり合うように存在しているたし算とかけ算を分離する」必要が根底にあり、望月のアイデアは「かけ算は成立するけど、たし算が成立しない数学世界を作ることで、たし算とかけ算を独立して扱う」手法の理論であると説明された。理論には、望月新一のかつての指導教授であったゲルト・ファルティングス等の「これまでの数学との違いを分かりやすく説明する言葉を見つけてほしい」等の意見があることが紹介され、一方、望月からは論理展開を詳しく解説するレポートの公開で応対していることが紹介された。同放送の評価に関しては、望月が自身のブログで2022年5月2日と2023年1月1日の2回に渡り取り上げており、特に番組後半について「著しい誤解・混乱を拡散したことになり(…)極めて遺憾」としている。
また、上記テレビ番組の短縮版とも言える「笑わない数学 #10 abc予想」も、2022年9月14日にNHKで放送され、「理論の出発点に限って、ごく単純化して」IUTの内容が説明された。
宇宙際タイヒミュラー理論は、数論幾何学における望月の2000年代からの研究の続きである。これら理論は、国際的な数学界によって査読され、好評を得ており、遠アーベル幾何学への主要な貢献、およびp進タイヒミュラー理論p進数についてのタイヒミュラー空間(タイヒミュラー理論は、リーマン面についてのモジュライ空間の理論で、タイヒミュラー空間はドイツの数学者オズヴァルト・タイヒミュラーに因む)。、ホッジ・アラケロフ理論およびフロベニオイド圏の開発を含む。これは、ABC予想および関連する予想をより深く理解することを目的として明示的に参照して開発されたものであり、これら既存の理論の上にIUT理論は成り立っている。
幾何学的な設定では、IUTの特定のアイデアに類似したものが、幾何学的なスピロ不等式のフョードル・ボゴモロフによる証明に現れる。
IUTの重要な前提条件は、望月の単遠アーベル幾何学単(mono-)遠アーベル幾何学とは、数体または他のいくつかの体にわたる特定のクラスの双曲的曲線について、その代数的基本群からその曲線を復元するものである。単遠アーベル幾何学の主要な結果は望月の「絶対遠アーベル幾何学」などにある。
"「復元」の操作は一種のアルゴリズムであり、コンピュータのソフトウェアに似ています。IUT論文も、「復元」のアルゴリズムとして、ステートメントは長いが証明は自明という定義や命題を積み重ねていくことによって高度に非自明な構造を作り上げています。"とその強力な再構成結果である。これにより、その基本群または特定のガロア群の知識から、数体上の双曲線に関連するさまざまなスキーム理論オブジェクトを取得できる。IUTは、単遠アーベル幾何学のアルゴリズムの結果を適用して、算術変形を適用した後、関連するスキームを再構築する。主要な役割は、望月のエタルシータ理論で確立された3つの剛性によって演じられる。
大まかに言えば、乗法的情報から加法構造を遠アーベル的な復元を行い、算術変形は与えられた環の乗算を変更し、タスクは加算が変更された量を測定することである。
遠アーベル的な復元、変形手順のインフラストラクチャは、Θリンクやlogリンクなど、いわゆるホッジ劇場間の特定のリンクによってデコードされる。
これらのホッジ劇場は、IUTの2つの主要な対称性を使用する。乗法演算と加法幾何学である。ホッジ劇場は、アデールやイデールなどの古典的オブジェクトをグローバル要素に関連して一般化し、一方で、望月のホッジ・アラケロフ理論に登場する特定の構造を一般化する。劇場間のリンクは、環またはスキーム構造と互換性がなく、従来の数論幾何学の外部で実行される。 ただし、それらは特定の群構造と互換性があり、絶対ガロア群や特定のタイプの位相群はIUTで基本的な役割を果たす。関数性の一般化である多重放射性の考慮事項は、3つの穏やかな不確定性を導入する必要があることを意味している。
IUTは主に、数論におけるさまざまな予想、特にディオファントス問題の解析に適用されるが、次のようなより多くの幾何学的予想に適用される。
最初の進展は、宇宙際タイヒミュラー理論の原論文の帰結による、弱いABC予想、楕円曲線ではスピロ予想、楕円曲線のFrey予想、曲線ではヴォイタ予想への適用である。これらのオブジェクトの算術情報を、フロベニオイド圏の設定に変換することである。この側の追加の構造により、主張された結果に変換されるステートメントを推測することができると主張されている。
2つめの進展としては、2022年7月に数学誌Kodai Mathematical Journalに掲載された、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読付き論文で、IUT理論に登場する不等式を数値的に明示的な形に帰結され、強いABC予想の証明、デュサールの式、およびフェルマーの最終定理の別証明、への適用を拡げた。
3つめの進展としては、IUTにおけるテータ関数を、メリン変換によってリーマンのゼータ関数と関係させることができるのではないかと期待しての研究で、宇宙際タイヒミュラー理論と、リーマンゼータ関数を一般化したDirichlet L関数の零点の間に数学的な関係があったとされて、L関数の零点で応用が検討されている。
その他の進展としては、高機能暗号への暗号理論的な検討などで、応用が検討されている。
加藤文元「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」KADOKAWA, ISBN 978-4044004170(2019年4月25日)。