[論文レビュー] Chtoucas de Drinfeld, formule des traces d'Arthur-Selberg et correspondance de Langlands

Laurent Lafforgue|ArXiv.org|Dec 1, 2002

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

ひとこと要約

この論文は、ドリンフェルトのシトゥカを用いて自動形式表現を幾何学的に実現し、アーチャー＝ゼルバーグのトレース公式を適用することにより、関数体上のGL_rに対するラングランズ対応を証明する。主な結果は、ランクrで有限行列式を持つirreducible ℓ-進ガロア表現と、GL_rのcusp形式自動形式表現との間の全単射を確立し、正標数におけるラマヌジャン＝ピーターソン予想および一般化されたリーマン予想の類似に対して深い帰結をもたらす。

ABSTRACT

Cet exposé est consacré à la preuve de la correspondance de Langlands pour les groupes $\GL_r$ sur les corps de fonctions. ----- This article is devoted to the proof of the Langlands correspondence for the groups $GL_r$ over function fields.

研究の動機と目的

• 関数体 F = F(X) 上のGL_rに対するグローバルラングランズ対応を確立し、ランクrのirreducible ℓ-進ガロア表現とcusp形式自動形式表現とを結びつける。
• 有限行列式を持つirreducible ℓ-進ガロア表現が、幾何ラングランズプログラムを通じて自動形式から生じることを証明する。
• 層のコホモロジー的手法を用いて、関数体設定におけるL関数に対するラマヌジャン＝ピーターソン予想および一般化されたリーマン予想を検証する。
• ラングランズ対応の自動形式側において、テンソル積、基本拡大、自動形式的インダクションの存在を確立する。

提案手法

• レベル構造付きのシトゥカのモジュライ空間としてドリンフェルトのシトゥカを用い、自動形式からガロア表現を構成する。
• シトゥカ多様体のコホモロジーにアーチャー＝ゼルバーグのトレース公式を適用し、トレースの数え上げを自動形式的およびガロア的データに関連付ける。
• シトゥカのモジュライ空間のℓ-進コホモロジーを用い、自動形式表現をコホモロジカル不変量として実現する。
• グロテンディーク＝レフシェッツの固定点公式を用い、コホモロジー上のフロベニウスのトレースをL関数およびヘッケ固有値に関連付ける。
• デリーニの純度定理を適用し、irreducible ℓ-進層上のフロベニウス固有値が絶対値1を持つことを示し、ユニタリティを示す。
• トレース公式のスペクトル側を通じて対応を構成し、L関数の一致により自動形式表現とガロア表現を同定する。

実験結果

リサーチクエスチョン

• RQ1 どのように幾何学的およびコホモロジカル手法を用いて、関数体上のGL_rに対するグローバルラングランズ対応を確立できるか？
• RQ2 ランクrで有限行列式を持つirreducible ℓ-進ガロア表現と、GL_r(A_F)のcusp形式自動形式表現との間の正確な関係は何か？
• RQ3 トレース公式およびシトゥカ多様体のコホモロジーは、自動形式的データとガロア的データの間の対応をどのように実現するか？
• RQ4 この対応は、関数体設定におけるラマヌジャン＝ピーターソン予想および一般化されたリーマン予想にどのような帰結をもたらすか？
• RQ5 基本拡大、インダクション、およびテンソル積は、幾何ラングランズ対応を通じて自動形式側でどのように実現されるか？

主な発見

• 関数体上のGL_rに対してラングランズ対応が成立する：ランクrで有限行列式を持つirreducible ℓ-進ガロア表現と、GL_r(A_F)のcusp形式自動形式表現との間の全単射が存在する。
• ラマヌジャン＝ピーターソン予想が成立する：すべての x ∈ |X| に対して、cusp形式自動形式表現のヘッケ固有値は、非分岐のとき |z_i(π_x)| = 1 を満たす。
• 一般化されたリーマン予想が成立する：L(π × π', T) のすべての零点は、|T| = q^{-1/2} の臨界直線上にある。
• 2つのcusp形式自動形式表現のテンソル積は、有限個のcusp形式自動形式表現の和に分解され、局所L因子が一致する。
• 基本拡大および自動形式的インダクションが実現される：有限拡大 F'/F に対して、GL_r(A_F) 上のcusp形式自動形式表現は、GL_r(A_F') 上の自動形式表現に持ち上がるが、フロベニウス固有値が一致する。
• シトゥカ多様体のコホモロジーにより、irreducible ガロア表現がコホモロジカル不変量として実現され、フロベニウス固有値が絶対値1の代数的数であることが示され、純度およびユニタリティが証明される。