[論文レビュー] Décomposition au-dessus des paramètres de Langlands elliptiques

Vincent Lafforgue, Xinwen Zhu|arXiv (Cornell University)|Nov 19, 2018

Advanced Algebra and Geometry被引用数 5

ひとこと要約

この論文は、関数体上の非分裂再帰的群へと、自動形式のラングランズパラメータ分解を拡張し、shtuka スタックのカスプコホモロジーが楕円ラングランズパラメータに沿って分解されることを証明する。ヘッケ不変コホモロジーとアンセントレーター作用素を用いて、$L$-群の表現と自動形式が一致するスペクトル分解を確立し、幾何学的およびガロア理論的技法を用いて、元来のスプリットの場合の結果を一般化する。

ABSTRACT

We prove that, over any elliptic global Langlands parameter $σ$, the cuspidal cohomology groups of moduli stacks of shtukas are given by a formula involving a finite dimensional representation of the centralizer of $σ$. It is a first step in the direction of Arthur-Kottwitz conjectures.

研究の動機と目的

• グローバル関数体上の非分裂再帰的群へ、ラングランズパラメータによる自動形式のスペクトル分解を一般化すること。
• [Laf19] のヒューリスティック (8.3) が非分裂の場合にも成り立つことを正当化し、楕円ラングランズパラメータにおいてその有効性を確認すること。
• [Xue18a] のスプリットの場合の結果を拡張し、カスプコホモロジーを $L$-パラメータによってインデックスづけられた成分に標準的に分解すること。
• カスプコホモロジーへのアンセントレーター代数の作用が、幾何的構成を介して $L$-群の表現データと正確に一致することを証明すること。
• $Z_k$ 上での中心化子条件と軌道構造が、アンセントレーター代数が体であることを強制し、各成分に対して一意の $L$-パラメータが存在することを示すこと。

提案手法

• コンパクト台付きshtuka スタックのコホモロジーを用いて、$\tilde{G} \times {}^L G^I$ の表現から $\tilde{T}_N$-加群（ガロア作用付き）への $\natural$-ファンクター $H^{\text{cusp}}$ を構成する。
• アンセントレーター作用素の理論を適用し、$\frak{B}^{\text{cusp}}$ が $H^{\text{cusp}}_{I,W}$ 上に作用することを定義し、$\tilde{T}_N$ およびガロア作用と整合するようにする。
• $L$-パラメータ $\rho$ をインデックスとするスペクトル分解 $H^{\text{cusp}}_{I,W} \bigotimes \bar{\bbQ}_\bl \to \bigoplus (H^{\text{cusp}}_{I,W})_\rho$ を用いる。
• $ {}^L G^n $ 内での $n$-組 $(\rho(\tilde{\tau}_1), \rho(\tilde{\tau}_2), \text{...})$ の中心化子を分析し、軌道が中央スライス $Z_k$ と一点で交わるならば、$\rho$ が一意に定まることを示す。
• 固定された $\rho$ に関連するアンセントレーター代数 $\frak{C}$ が局所アートン代数であることを証明し、軌道が $Z_k$ で孤立しているならば、$\frak{C} \to \bar{\bbQ}_\bl$ が同型であることを示す。
• 共役条件と軌道の単射性を用いて、$\beta = \rho$ が得られ、$\frak{C}$ の唯一の特徴は $\rho$ であると結論づけ、$\frak{A}_\rho = (H^{\text{cusp}}_{\text{reg}})_{\rho,Z}$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 [Laf19] のヒューリスティック分解 (8.3) が関数体上の非分裂再帰的群に対しても成り立つか？
• RQ2 shtuka スタックのカスプコホモロジーは、楕円ラングランズパラメータによってインデックスづけられた成分に分解可能か？
• RQ3 アンセントレーター代数のカスプコホモロジーへの作用は、$L$-群の表現データと整合的か？
• RQ4 固定された $L$-パラメータ $\rho$ に関連するアンセントレーター代数の構造は何か？ そして、それらは対応する成分を分類できるか？
• RQ5 $n$-組 $(\rho(\tau_1), ..., \rho(\tau_n))$ の $({}^L G)^n$ 内の軌道が $\rho$ を一意に決定する条件は何か？

主な発見

• カスプコホモロジー $H^{\text{cusp}}_{\text{reg}}$ は、$L$-パラメータ $\rho$ における直和として分解され、各成分 $(H^{\text{cusp}}_{\text{reg}})_{\rho}$ はアンセントレーター代数 $\frak{A}_\rho$ に同型である。
• 任意の $L$-パラメータ $\rho$ に対して、関連するアンセントレーター代数 $\frak{C}$ は $\bar{\bbQ}_\bl$ 上の局所アートン代数であり、$(\rho(\tau_1), ..., \rho(\tau_n))$ の軌道が中央スライス $Z_k$ と一点で交わるならば、$\frak{C} \to \bar{\bbQ}_\bl$ は同型である。
• $\frak{C}$ の唯一の特徴は $\rho$ であるため、$\frak{A}_\rho = (H^{\text{cusp}}_{\text{reg}})_{\rho,Z}$ が成り立ち、成分が $\rho$ によって制御されることを証明する。
• $\frak{B}^{\text{cusp}}$ の $H^{\text{cusp}}_{I,W}$ 上の作用は、$\tilde{T}_N$-作用およびガロア作用と整合的であり、$W$ に関してファンクター的である。
• $ (\rho(\tau_1), ..., \rho(\tau_n)) $ の中心化子は $\rho$ の中心化子と同型であり、軌道条件のもとで $\rho$ の一意性が保証される。
• この結果により、アンセントレーター作用素によるカスプコホモロジーのスペクトル分解が、非分裂の場合でもラングランズパラメータ化と一致することが確認された。