[論文レビュー] Chtoucas pour les groupes r\\'eductifs et param\\'etrisation de Langlands globale

Vincent Lafforgue|arXiv (Cornell University)|Sep 24, 2012

Advanced Algebra and Geometry参考文献 125被引用数 99

ひとこと要約

本稿は、関数体上の再帰的群に対して、幾何的サタケとエクスカージョン作用素を用いて、大域的ラングランズ対応の自動形式からガロアへの方向を確立する。cusp形式のℓ進ラングランズパラメータでインデックス付けされた一意的な分解を構成し、局所的サタケ同型と整合することを証明し、内包的形とker¹(F,G)を用いて非分裂群へ拡張する。

ABSTRACT

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.

研究の動機と目的

• 関数体上の再帰的群に対して、大域的ラングランズ対応の自動形式からガロアへの方向を確立すること。
• ℓ進ラングランズパラメータでインデックス付けされた一般化固有空間に、cusp形式の自然な分解を構成すること。
• 内包的形とコhomological不変量ker¹(F,G)を用いて、非分裂再帰的群へ結果を拡張すること。
• 分解が非分岐な場所における局所的サタケ同型と整合することを証明すること。
• 予想されたように、分解がQ上に定義され、ℓの選び方に依存しないこと。

提案手法

• 各場所におけるLanglands双対群の表現とHecke代数との関係を、幾何的サタケ同型を用いて確立する。
• cusp形式に作用する「エクスカージョン作用素」を導入し、有限集合I、(bG)^I//bG上の関数f、およびGalois元(γi)i∈Iでパラメトライズする。
• エクスカージョン作用素のなす可換代数Bを構成し、その特徴χνがcusp形式空間の自然な分解をインデックスづける。
• スペクトル分解を適用して、Qℓ上のcusp形式空間の直和分解を、Bの特徴χνでインデックスづける。
• 各特徴χνが一意的に、Gal(F/F) → bG(Qℓ)に値をとる連続的で、半単純的で、ある有限集合Nを除いて非分岐なグローバルラングランズパラメータσに対応することを確立する。
• ker¹(F,G)の和をとることとL群を双対群の代わりに用いることで、非分裂群への結果の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 任意の再帰的群に対して、関数体上の自動形式からガロアへのラングランズ対応をどのように証明できるか？
• RQ2 局所的サタケ同型と整合する自然なcusp形式の分解を構成できるか？
• RQ3 エクスカージョン作用素は、幾何的にラングランズ対応を実現するために果たす役割は何か？
• RQ4 分解は基底変換および非分裂の場合にどのように振る舞うか？
• RQ5 分解はQ上に定義され、ℓの選び方に依存しないか？

主な発見

• 本稿は、Qℓ上のcusp形式空間の自然な分解を、グローバルラングランズパラメータσ: Gal(F/F) → bG(Qℓ)でインデックスづける一般化固有空間Hσに構成する。
• 各Hσは、エクスカージョン作用素SI,f,(γi)i∈Iがf((σ(γi))i∈I)を通じて作用することによって特徴づけられ、作用素とGaloisパラメータの明確な関係を確立する。
• 有限集合Nを除くすべての場所において、分解は局所的サタケ同型と整合する。これは、T(hV,v)がHσ上でχV(σ(Frobv))の乗法的作用をもたらすことを意味する。
• 非分裂群の場合、cusp形式空間は、内包的形の空間のker¹(F,G)に関する直和に置き換えられ、パラメータはL群に値をとる。
• 分解はQ上に定義され、ℓに依存しない。これは、論文で予想された通りである。
• 結果はFℓに対しても成り立ち、理論が正標数の係数へ拡張されることを示す。