ラングランズ・プログラム：数論と表現論を統合する枠組み

中心概念

このプログラムには、いくつかの中心的な概念が繰り返し現れる。主なものは次のとおりである。

• ガロア表現 — ガロア群がベクトル空間に線形に作用するものであり、算術情報を符号化する。
• 保型表現 — アデール群上の二乗可積分関数、およびモジュラー形式や保型形式から得られる解析的対象である。
• L関数 — 表現に付随する複素解析的関数であり、その性質、すなわち解析接続や関数等式は算術への応用に不可欠である。
• 関手性 — 双対群の間の自然な写像を反映し、異なる群の保型表現の間で生じると予想される移送である。

歴史的背景

このプログラムは、1960年代後半のロバート・ラングランズの研究に始まり、代数的・解析的数論の考え方と、群上の調和解析を統合したものであった。これは類体論を大規模に一般化したものとみなすことができ、アーベル的な相互法則を非可換な対応へと置き換える。以後数十年にわたり、多くの特殊な場合が定式化・証明され、代数、幾何、解析の各分野に新たな技法を生み出す契機となった。

成果と例

ラングランズ・プログラムの部分的な成功には、有理数体上の楕円曲線とモジュラー形式を結び付けたモジュラー性に関する結果の証明がある。これはフェルマーの最終定理の証明における重要な要素となった。ほかの画期的成果として、一般線形群に対する局所および大域ラングランズ対応の進展、さらに幾何学的方法（志村多様体、跡公式）を用いた相互性の事例の確立が挙げられる。これらの進展は、深い算術的問題が表現論と解析の観点へと再定式化できることを示している。

構造と意義

このプログラムは局所的部分と大域的部分に分かれる。局所ラングランズ対応は、局所ガロア群またはワイル群の表現を、局所簡約群の許容表現に関係付ける。一方、大域理論は、L関数と相互性原理を通じて、大域ガロア表現と保型表現を結び付ける。研究者はしばしば、予想に取り組むために数論の技法と表現論の方法を行き来する。

未解決問題と影響

関手性や相互性の広い形をはじめ、多くの主要な場合はいまなお予想の段階にある。それにもかかわらず、ラングランズ・プログラムは分野間に強力な橋を架けることで現代数学を大きく変え、幾何学的・圏論的な再定式化を促すとともに、算術幾何学、保型形式、数理物理学における研究を導いてきた。