MathLabs

解法: ヒッチンファイブレーションと幾何学的台定理によるNgôの証明(2008年)

ステップ 9/9: 結論:安定跡公式とその帰結
ざっくり言うと

この補題はArthur–Selberg跡公式を安定化するための重要な局所的要素を与えたが、それだけで跡公式全体や後のすべての分類定理を証明したわけではない。他の大域的・表現論的な成果と組み合わさって、Langlandsプログラムの大きな進展を可能にした。

Ngô Bảo Châuはこの証明により2010年のフィールズ賞を受賞した。

Fundamental Lemma proved ⟹ stable trace formula ⟹ Arthur’s classification\text{Fundamental Lemma proved} \ \Longrightarrow \ \text{stable trace formula} \ \Longrightarrow \ \text{Arthur's classification}
詳しい解説

基本補題は、一般の簡約群に対してArthur–Selberg跡公式を安定化するための最後の大きな障害であった:これを手にすることで、GG に対する跡公式の幾何学的な辺は、GG とその内視群 HH 上の安定分布の和として書き直すことができ、これはまさに1980年代初頭からLanglandsとShelstadの内視理論プログラムが予言していた通りである(Hales 2011, §7)。

James Arthurは直ちに安定化された跡公式を用いて、Sp(2n)\mathrm{Sp}(2n) や SO(n)\mathrm{SO}(n) のような古典群の離散保型スペクトルを GL(n)\mathrm{GL}(n) のそれによって分類する仕事を完成させ、2013年に研究モノグラフとして出版した。基本補題はLanglandsプログラム全体のその後の進展の土台ともなっている。

この業績によりNgô Bảo Châuは2010年にフィールズ賞を受賞した。純粋に局所的な pp 進の問いを、ヒッチンファイブレーションの大域的な幾何学を通して行き来させたこの証明は、今日に至るまで代数幾何を数論に応用した最も深い例の一つとして広く評価されている。

このステップの用語
保型表現
数体上の簡約群 GG に付随する、モジュラー形式のような対象の表現論的な化身。これらの表現を分類することがLanglandsプログラムの中心的な目標である。
このステップで使う知識