[論文レビュー] Local-global compatibility over function fields

Siyan Daniel Li-Huerta|arXiv (Cornell University)|Jan 23, 2023

Advanced Algebra and Geometry被引用数 4

ひとこと要約

本稿は、正標数の関数体上でのグローバル・ラングランズ対応と、V. Lafforgueの自動形式からガロアへの写像が、Fargues–Scholzeの半単純化された局所ラングランズ対応と可換であることを確立する。shtukaのモジュライ空間の均一化写像を用いて、著者たちは半単純化された対応を非半単純化されたものへ自然に持ち上げ、Fargues–Scholzeの構成がGenestier–Lafforgueのものと一致することを示し、分野における長年の問いを解決する。

ABSTRACT

We prove that V. Lafforgue's global Langlands correspondence is compatible with Fargues-Scholze's semisimplified local Langlands correspondence. As a consequence, we canonically lift Fargues-Scholze's construction to a non-semisimplified local Langlands correspondence for positive characteristic local fields. We also deduce that Fargues-Scholze's construction agrees with that of Genestier-Lafforgue, answering a question of Fargues-Scholze, Hansen, Harris, and Kaletha. The proof relies on a uniformization morphism for moduli spaces of shtukas.

研究の動機と目的

• 正標数の関数体上でのLafforgueのグローバル・ラングランズ対応と、Fargues–Scholzeの半単純化された局所ラングランズ対応の局所的・グローバルな整合性を確立すること。
• 正標数の局所体に対して、Fargues–Scholzeの半単純化された局所ラングランズ対応を自然に非半単純化されたものへ持ち上げること。
• Fargues–Scholze、Hansen、Harris、Kalethaが提起した問いを解決し、正標数においてFargues–ScholzeとGenestier–Lafforgueの構成が一致することを証明すること。
• 正標数の設定において、半単純化された局所ラングランズ対応が局所Jacquet–Langlands対応と整合することを検証すること。

提案手法

• グローバルshtukaのモジュライ空間の均一化写像を用いて、局所的およびグローバルな幾何的構造を関連付ける。
• 交差コホモロジーによるshtukaモジュライスタックの性質を用い、グローバルおよび局所の設定間でのエクスカーション作用素の整合性を確立する。
• Xueの結果を応用し、shtukaモジュライ空間のコンパクト-suppotd交差コホモロジーへのWeil群作用を用いる。
• Beuzart-Plessisによるグローバライゼーション技術と、Heinloth–Ngô–YunおよびXu–Zhuによるℓ-adic Kloosterman層とそのp進同伴を用いる。
• Deligneの純粋性定理を適用し、ガロア表現の不可約性および純粋性を導出し、Lパラメータの比較を可能にする。
• Bernstein中心およびHecke固有層の技法を用い、Satake同型と固有値の一致を通じて、自動形式側とガロア側を比較する。

実験結果

リサーチクエスチョン

• RQ1 Lafforgueのグローバル・ラングランズ対応は、正標数の関数体上でのFargues–Scholzeの半単純化された局所ラングランズ対応と可換か？
• RQ2 Fargues–Scholzeの半単純化された局所ラングランズ対応を、正標数の局所体に対して自然に非半単純化された形に持ち上げられるか？
• RQ3 正標数において、Fargues–ScholzeとGenestier–Lafforgueの局所ラングランズ対応の構成は一致するか？
• RQ4 正標数の設定において、半単純化された局所ラングランズ対応は局所Jacquet–Langlands対応と整合するか？

主な発見

• 定理Aは、Lafforgueのグローバル・ラングランズ対応がFargues–Scholzeの半単純化された局所対応と整合することを確立し、写像の正方形が可換であることを示す。
• 定理Bは、Fargues–Scholzeの半単純化された対応が、正標数の局所体に対して自然に非半単純化された局所ラングランズ対応へ持ち上げられることを示す。
• 定理Cは、正標数においてFargues–ScholzeとGenestier–Lafforgueの局所ラングランズ対応の構成が同一であることを確認する。
• 定理Dは、正標数において半単純化された局所ラングランズ対応が、中心的単純代数の単元に対する局所Jacquet–Langlands対応と可換であることを検証する。
• 定理Aの証明は、すべての再帰的群Gに対して一様であり、先行研究で用いられた群固有の議論を避ける。
• 著者たちは、誘導による整合性、特徴のねじれ、および局所整合性の性質を満たす任意の局所ラングランズ対応が一意的であることを示す抽象的証明を提供し、Fargues–ScholzeとGenestier–Lafforgueの一致を確認する。