モジュラリティ定理の真相|フェルマーの最終定理を解いた日本人数学者の遺産を徹底追究! 知っておきたい 重要ポイントを凝縮して配信します。
モジュラリティ定理が予想から完全証明へと昇華し、フェルマーの最終定理を巻き込んで結実するまでのプロセスは、個人の天才の閃きだけでなく、半世紀におよぶ世界的な共同検証の成果でした。その決定的転換点をデータと事実に基づいて可視化します。
年代詳細・数値データ当時の学会基準・共通見解編集部の見解・評価1955年谷山豊が日光国際シンポジウムにて4つの問題を提示。志村五郎が体系化。「偶然の一致」として大半の西洋数学者からは疑問視される。現代数論の最重要架け橋が初めて学界の表舞台に現れた原点。1985年ドイツのゲルハルト・フライが「フライ曲線」を提唱。フェルマー解との連動を示唆。フェルマーの最終定理と谷山・志村予想の関連に気づく者はいなかった。数論の孤立峰だった難問が、現代幾何学の射程内に捉えられた瞬間。1986年ケン・リベットが「イプシロン予想」を証明(リベットの定理)。「証明は不可能に近い」とみられていた専門的命題の解決。「谷山・志村が解ければフェルマーも自動的に解ける」論理リンクが完成。1993–1995年アンドリュー・ワイルズが7年の隠遁研究を経て発表。テイラーとの共著論文で修正完了。初演時の論理の穴(コリヴァギン=フラッハ法)で一度は破綻危機。「半安定な楕円曲線」に限定した部分証明により、フェルマーの最終定理が完全解決。2001年C.ブレイユ、B.コンラッド、F.ダイアモンド、R.テイラーの共著で残余部分を証明。一般の楕円曲線のモジュラリティ証明は依然として困難と予測されていた。有理数体上の「すべての」楕円曲線のモジュラリティが確立、真の完全解決へ。
上記データが示す通り、モジュラリティ定理の完全証明の経緯は、1995年のワイルズの業績で幕を閉じたわけではありません。ワイルズが示したのはあくまで「半安定」と呼ばれる特定の楕円曲線群に対する定理であり、これはフェルマーの最終定理を解くには十分でしたが、谷山と志村が予見した「すべての楕円曲線」という途方もない地平には、まだ未踏の領域が残されていました。その残されたパズルを完全に埋めたのが、ワイルズの弟子であったリチャード・テイラーら4人の若き数学者たちによる2001年の共同証明でした。