[論文レビュー] Introduction to chtoucas for reductive groups and to the global Langlands parameterization

Vincent Lafforgue|arXiv (Cornell University)|Apr 25, 2014

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

ひとこと要約

本稿は、関数体上の再帰的群の全般ラングランズ対応の『自動型からガロア』の方向を、チトゥーシャと幾何的サタケを用いて確立する。これにより、グローバルラングランズパラメータでインデックスづけられた、イカレル自動型形式の標準的分解を構成する。$GL_r$ に対してはトレース公式に依存しない新しい証明を提供し、チトゥーシャの分類スタックにおける新規なコホモロジー的技法を用いて、ドリーフィンの結果を一般化する。

ABSTRACT

This is a translation in English of version 5 of the article arXiv:1404.3998, which is itself an introduction to arXiv:1209.5352. We explain all the ideas of the proof of the following theorem. For any reductive group G over a global function field, we use the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence to prove the global Langlands correspondence for G in the "automorphic to Galois" direction. Moreover we obtain a canonical decomposition of the spaces of cuspidal automorphic forms indexed by global Langlands parameters. The proof does not rely at all on the Arthur-Selberg trace formula.

研究の動機と目的

• 関数体上のすべての再帰的群に対して、全般ラングランズ対応の『自動型からガロア』の方向を確立すること。
• グローバルラングランズパラメータでインデックスづけられたイカレル自動型形式の空間の標準的分解を構成すること。
• アーバート＝セルバーグのトレース公式に依存しない方法を提供し、チトゥーシャと幾何的サタケ同型を用いること。
• チトゥーシャの分類スタックにおけるコホモロジー的技法を用いて、ドリーフィンの $GL_r$ に関する結果を任意の再帰的群へと拡張すること。

提案手法

• チトゥーシャの分類スタックを用い、ドリーフィンの $GL_r$ に関する研究をすべての再帰的群へ一般化する。
• 幾何的サタケ同型を適用し、ラングランズ双対群の表現とチトゥーシャスタックのコホモロジー上のヘッケ作用素との関係を確立する。
• チトゥーシャスタックのコホモロジーにおける『ヘッケ有限』部分を分析し、主要定理に必要な性質を導出する。
• 有限集合 $I$、関数 $\widehat{G}\backslash(\widehat{G})^I/\widehat{G}$、およびガロア元 $(\gamma_i)_{i\in I}$ でインデックスづけられたエクスカーション作用素を用い、自動型形式上の自己準同型を構成する。
• チトゥーシャスタックのコホモロジー的性質を用いて、イカレル自動型表現に対応する表現 $\sigma$ が、重み 0 で既約かつ純粋であることを示す。
• ウェイユ II および $\iota$-純粋性を用いて、ほとんどすべての場所におけるフロベニウスの固有値が等しい $\iota$-重みを持つことを導出し、ラングランズ対応と整合することを保証する。

実験結果

リサーチクエスチョン

• RQ1 トレース公式に依存せずに、関数体上のすべての再帰的群に対して全般ラングランズ対応をどのように確立できるか？
• RQ2 イカレル自動型形式の空間をグローバルラングランズパラメータに従って標準的に分解できるか？
• RQ3 チトゥーシャスタックおよびそのコホモロジーは、ラングランズ対応の実現においてどのような役割を果たすか？
• RQ4 幾何的サタケ同型は、この文脈でエクスカーション作用素の構成をどのように支援するか？
• RQ5 イカレル自動型形式に付随するガロア表現の純粋性および既約性を保証する条件は何か？

主な発見

• 本稿は、関数体上のすべての再帰的群に対して、グローバルラングランズパラメータでインデックスづけられたイカレル自動型形式の空間の標準的分解を構成する。
• 関数体上のすべての再帰的群に対して、全般ラングランズ対応の『自動型からガロア』の方向を証明し、ドリーフィンの結果を $GL_r$ を超えて拡張する。
• アーバート＝セルバーグのトレース公式に依存せず、チトゥーシャの分類スタックにおけるコホモロジー的技法および幾何的サタケ同型を用いる。
• $G = GL_r$ の場合、ラングランズ対応の新証明を提供し、ランクイン＝セルバーグ法および $L$-関数解析を用いて、関連するガロア表現 $\sigma$ が既約かつ重み 0 の純粋表現であることを示す。
• チトゥーシャスタックのコホモロジーはエクスカーション作用素を実現し、得られる表現は $\iota$-純粋であることが示され、ほとんどすべての場所におけるフロベニウスの固有値は等しい $\iota$-重みを持つ。
• 結果として、$\sigma$ の $\iota$-重みが 0 であることが確認され、類体論および純粋性定理を用いて、行列式の知識から導出される。