[論文レビュー] La correspondance de Langlands sur les corps de fonctions [d'après Laurent Lafforgue]

Gérard Laumon|ArXiv.org|Mar 22, 2000

Advanced Algebra and Geometry参考文献 9被引用数 7

ひとこと要約

この論文は、r=2 の場合にドリンフェルトが先行して行った研究を拡張し、関数体上の GL_r に対するグローバル・ラングランズ対応をラファール・ラフォルグの証明を要約している。彼は、PGL_r^{•+1}/PGL_r の新しいトロイダルコンパクト化を用いて、自動形式のカスプ形式とガロア表現との間の対応を確立し、関数体上のラングランズ・プログラムにおける主要な一歩を、幾何学的および調和解析的手法によって完成させた。

ABSTRACT

This is the text of a Bourbaki lecture that I gave on March 12, 2000.

研究の動機と目的

• 関数体上の GL_r に対してグローバル・ラングランズ対応を確立し、r=2 の場合のドリンフェルトの研究を拡張すること。
• デ・コンチーニ＝プロセッチのコンパクト化を一般化する、単体的スキーム PGL_r^{•+1}/PGL_r の新しいトロイダルコンパクト化を構成すること。
• 幾何学的および調和解析的手法を用いて、自動形式のカスプ形式とガロア表現との間の対応を証明すること。
• アデール群とヘッケ代数を用いて、関数体上のラングランズ・プログラムの体系的枠組みを提供すること。
• 同じ幾何学的アプローチを用いて、他の再帰的群への一般化の基盤を築くこと。

提案手法

• 証明はドリンフェルトの戦略に従い、GL_r(𝔸) 上の自動形式およびそのスペクトル分解を用いる。
• 主な革新点は、デ・コンチーニ＝プロセッチのコンパクト化を拡張する、分類空間 PGL_r^{•+1}/PGL_r のトロイダルコンパクト化の構成である。
• この手法は、特にカスプスペクトルとヘッケ代数 H が L_cusp 上に作用する自動形式のスペクトル理論に依存する。
• 度数写像 deg: 𝔸× → ℤ は、算術的商を定義し、F× による商のコンパクト性を保証するために用いられる。
• 証明はトレース公式および L 関数の理論、特に関数等式とオイラー積構造を用いる。
• コンパクト化の構成により、算術的商のコホモロジーを制御でき、対応を示すために不可欠である。

実験結果

リサーチクエスチョン

• RQ1 関数体上の GL_r に対して、r=2 の場合を超えてグローバル・ラングランズ対応をどのように確立できるか？
• RQ2 分類空間 PGL_r^{•+1}/PGL_r のどの幾何的コンパクト化が、自動形式からガロア表現を構成可能にするか？
• RQ3 トロイダルコンパクト化は、算術的商のコホモロジーおよびトレース公式とどのように関係するか？
• RQ4 度数写像 deg: 𝔸× → ℤ は、自動形式のスペクトル理論においてどのような役割を果たすか？
• RQ5 ヘッケ代数 H がカスプ自動形式の空間にどのように作用することで、ラングランズ対応が実現されるか？

主な発見

• ラフォルグは、関数体上の GL_r に対してグローバル・ラングランズ対応を確立し、カスプ自動形式表現と非可約ガロア表現との間の全単射を証明した。
• PGL_r^{•+1}/PGL_r のトロイダルコンパクト化の構成は、デ・コンチーニ＝プロセッチのコンパクト化を一般化し、証明にとって不可欠である。
• カスプ自動形式の空間 L_cusp は、GL_r(𝔸) に対して滑らかな作用を持ち、ヘッケ代数 H を通じてユニタリ表現構造を持つ。
• 任意の deg(a) ≠ 0 を満たす a ∈ 𝔸× に対して、商 GL_r(F)\GL_r(𝔸)/a^ℤ はコンパクトであり、L_cusp(a) に有限次元ヒルベルト空間構造を保証する。
• 証明は自動形式のスペクトル分解およびトレース公式に依拠しており、鍵となる入力は新しいコンパクト化である。
• 対応は L 関数およびオイラー積と整合的であり、関数等式と標準的予想が検証された。