ラングランズ・プログラム

1967年、カナダの数学者ロバート・ラングランズは16ページの手紙を書いた。宛先はアンドレ・ヴェイユ——20世紀最高の数論家の一人だ。手紙の冒頭には「もし真剣に読んでもらえないなら、捨てていただいて構わない」と記されていた。しかしその内容は、数学の異なる分野をつなぐ壮大なビジョンを含んでいた。これがラングランズ・プログラムの始まりだ。一つの手紙が50年にわたる数学の研究潮流を方向づけた例は珍しい。

統一という夢

数学にはそれぞれ独立した言語を持つ分野が多数ある。数論（整数・素数の世界）、代数幾何（方程式で定義される幾何学的空間）、表現論（群論の線形代数的実現）、保型形式（特定の対称性を持つ複素関数）——これらは本来別々の言語を話している。

ラングランズが提唱したのは、これらの分野の間に深い対応関係が存在するという予想群だ。エドワード・フレンケルは『数学の大統一に挑む』のなかで、このプログラムを「数学における大統一理論」と呼んでいる。物理学でいえば電磁力・弱い力・強い力・重力を統一しようとするようなものだが、数学の場合は物理的な実体ではなく抽象的な構造の間の対応を探す。

対応の具体像

ラングランズ対応の核心は「ガロア表現」と「保型形式」の対応にある。形式体系が記号とルールの間の整合性を問うように、ラングランズ対応は異なる数学的言語で記述されているように見える対象が「実は同じもの」であることを主張する。翻訳辞書を作るのではなく、二つの言語が実は一つの概念の異なる記述だと示すことだ。

最初の大きな成果は1995年、アンドリュー・ワイルズによるフェルマーの最終定理の証明だった。ワイルズはタニヤマ・志村予想（谷山豊と志村五郎が1950年代に提唱）を部分的に証明することで、フェルマーの定理を導いた。この証明は、ラングランズ・プログラムが単なる夢想ではなく実際に機能することを示した最初の証拠だった。

証明への道のり

不完全性定理が数学の形式化の限界を示したように、ラングランズ・プログラムは数学の統一の可能性と限界を同時に問いながら進む。プログラム全体の証明はまだ遠い。しかし個々の対応の証明が積み重なるにつれて、その全体像が少しずつ明らかになっている。

フレンケルは同書で、自身がこのプログラムの特定の問題に取り組んだ個人的な体験を通して、なぜ数学者を惹きつけるかを語っている。それは謎の大きさだけではなく、対応の発見がもたらす「全体が繋がっている」という感覚だ。異なる分野の言語を翻訳できるとき、数学の深層に何か根本的なものがあることへの確信が強まる。

現代における展開

2010年代以降、幾何学的ラングランズの研究が急速に進み、物理学の弦理論との意外なつながりも見えてきた。ラングランズが手紙を書いてから半世紀以上が経った今も、このプログラムは現代数学の最前線であり続けている。数学の「大統一」がどこまで実現可能かは未知だが、統一を目指す過程で生まれる数学的な豊かさは確かだ。

ラングランズ対応の具体例

抽象的な対応の実例として最も重要なのが保型形式とガロア表現の対応だ。重さ2のモジュラー形式と楕円曲線上のガロア表現が対応する。この対応の存在が、フェルマーの最終定理の証明の核心だった。

ヴォエヴォドスキーのモチーフ理論、幾何学的ラングランズ対応——これらの発展により、プログラムは20世紀末以降急速に深まっている。個々の対応が証明されるたびに、数学の「統一」という夢の輪郭が少しずつ鮮明になっている。