数学の大統一に挑む

xのn乗 + yのn乗 = zのn乗上の方程式でnが3以上の自然数の場合、これを満たす解はない。私はこれについての真に驚くべき証明を知っているが、ここには余白が少なすぎて記せない。17世紀の学者フェルマーが書き残したこの一見簡単そうな「フェルマーの予想」を証明するために360年にわたって様々な数学者が苦悩した。360年後にイギリスのワイルズがこれを証明するが、その証明の方法は、谷村・志村予想というまったく別の数学の予想を証明すれば、フェルマーの最終定理を証明することになるというものだった。私たちのなじみの深いいわゆる方程式や幾何学とはまったく別の数学が数学の世界にはあり、それは、「ブレード群」「調和解析」「ガロア群」「リーマン面」「量子物理学」などそれぞれ別の体系を樹立している。しかし、「モジュラー」という奇妙な数学の一予想を証明することが、「フェルマーの予想」を証明することになるように、異なる数学の間の架け橋を見つけようとする一群の数学者がいた。それがフランスの数学者によって始められたラングランス・プログラムである。この本は、80年代から今日まで、このラングランス・プログラムをひっぱってきたロシア生まれの数学者が、その美しい数学の架け橋を、とびきり魅力的な語り口で自分の人生の物語と重ね合わせながら、書いたノンフィクションである。