[論文レビュー] Affine Beilinson-Bernstein localization at the critical level for $GL_2$

Sam Raskin|arXiv (Cornell University)|Feb 4, 2020

Advanced Algebra and Geometry参考文献 26被引用数 6

ひとこと要約

この論文は、$GL_2$ の臨界レベルにおけるアフィン Kac-Moody代数の正則中心的特徴値表現が、アフィングラスマンジャンに沿った$D$-加群に対応することを示す、Frenkel-Gaitsgory予想を証明する。この手法は、局所表現論におけるWhittakerモデル技法を幾何的設定に適応し、ヘイゼンベルク群作用と、ジャンチスキームにおける帰納的保存性議論を用いて、局在化同値を証明する。

ABSTRACT

We prove the rank 1 case of a conjecture of Frenkel-Gaitsgory: critical level Kac-Moody representations with regular central characters localize onto the affine Grassmannian. The method uses an analogue in local geometric Langlands of the existence of Whittaker models for most representations of $GL_2$ over a non-Archimedean field.

研究の動機と目的

• アフィン Kac-Moody代数の臨界レベルにおける Frenkel-Gaitsgory 予想を $GL_2$ のレベルで証明すること。
• 正則中心的特徴値を持つアフィン Kac-Moody代数の表現と、アフィングラスマンジャン上の $D$-加群との間に幾何的対応を確立すること。
• ジャンチスキームと帰納的保存性議論を用いて、局所Whittakerモデル技法をグローバルな幾何的設定に拡張すること。
• 幾何Langlands理論と臨界レベル表現論における主要予想のランク1での検証を提供すること。

提案手法

• 局所幾何LanglandsにおけるWhittakerモデル構成の類似を用いて、臨界レベルの表現を分析する。
• ジャンチスキーム $({\frak g}[[t]]/t^m{\frak g}[[t]])_{\text{reg}}$ における帰納的議論を適用し、単心的群の下での不変量の保存性を証明する。
• ヘイゼンベルク群作用を $(N_n^{m,r+1}, \psi)$-不変量に適用し、$N_n^{m,r}$ と $N_n^{m,r+1}$ の不変量を関連づけ、降下的帰納法を可能にする。
• 導来圏 $\widehat{\frak g}_\kappa\text{--mod}$ の $G(K)$--equivariant 構造と、グローバルセクション関手 $\Gamma^{\text{IndCoh}}(\operatorname{Gr}_G, -)$ を用いる。
• 残留ペアリング $\operatorname{Res}(t^{-n}\kappa(\xi_1,\xi_2)dt)$ を用いて、$t^{n-m}{\frak g}[[t]]/t^n{\frak g}[[t]]$ の双対が $\frak g[[t]]/t^m{\frak g}[[t]]$ に同定されることに依拠する。
• すべての $r \geq 1$ に対して $(N_n^{m,r}, \psi)$-不変量の保存性を証明することで、結果を導く。

実験結果

リサーチクエスチョン

• RQ1 Frenkel-Gaitsgory 予想は $GL_2$ に対して臨界レベル局在化を満たすか？
• RQ2 局所表現論におけるWhittakerモデル技法は、アフィン Kac-Moody代数の幾何的設定に適応可能か？
• RQ3 正則中心的特徴値を持つ表現に制限したとき、関手 $\Gamma^{\text{IndCoh}}(\operatorname{Gr}_G, -)$ は $D_\kappa(\operatorname{Gr}_G)$ 上で保存的か？
• RQ4 ジャンチスキームにおける帰納的議論は、幾何的表現論における $G(K)$-不変圏の保存性を証明するためにどのように用いられるか？
• RQ5 ヘイゼンベルク群作用は、ジャンチスケールの異なる単心的部分群の不変量を結びつける役割を果たすか？

主な発見

• Frenkel-Gaitsgory 予想が $GL_2$ に対して臨界レベルアフィン Beilinson-Bernstein 局在化について証明され、正則中心的特徴値を持つ $\widehat{\frak g}_\kappa$-加群の圏と、$\operatorname{Gr}_{GL_2}$ 上の $\kappa$-歪み $D$-加群の圏との同値性が確立された。
• グローバルセクション関手 $\Gamma^{\text{IndCoh}}(\operatorname{Gr}_G, -)$ は、ジャンチスキームの正則領域に台を持つ $\kappa$-歪み $D$-加群の全部分圏に制限したとき、$D_\kappa(\operatorname{Gr}_G)$ 上で保存的である。
• ヘイゼンベルク群作用を用いた降下的帰納法により、すべての $r \geq 1$ に対して $(N_n^{m,r}, \psi)$-不変量の保存性が証明された。
• この手法により、$p$-進表現論におけるWhittakerモデル技法が、ジャンチスキームの構造と残留ペアリングを用いて定義された関連する特徴に適応され、幾何的設定に成功した。
• この結果により、$GL_2$ の $\widehat{\frak g}_{\kappa}$ の臨界レベル表現に対する幾何的Whittakerモデルの存在が確認され、完全な局所幾何Langlands対応への重要な一歩が得られた。
• 証明は、$n=2m-1$ の場合を別個に取り扱い、すべての $m \leq (n+1)/2$ に対して結果が成り立つことを保証し、帰納的ステップと組み合わせて、完全な保存性を結論づけた。