[論文レビュー] Local Geometric Langlands Correspondence: the Spherical Case

Edward Frenkel, Dennis Gaitsgory|ArXiv.org|Nov 7, 2007

Black Holes and Theoretical Physics参考文献 6被引用数 6

ひとこと要約

本論文は、臨界レベルにおけるアフィン・カク＝ムーディ代数上の球的加群の圏と、穴あき円板上の非分岐 ${\check{G}}$-オーバーのインダクティブ・スキーム上の準連接層の圏の間の圏的同値を確立する。この結果は、非分岐局所的ローカル・システムのスタックの普遍性を用いて、表現論における古典的球的ベクトル構成のカテゴリファイケーションを通じて、局所的幾何的ラングランズ対応の重要なケースを実現する。

ABSTRACT

A module over an affine Kac--Moody algebra g^ is called spherical if the action of the Lie subalgebra g[[t]] on it integrates to an algebraic action of the corresponding group G[[t]]. Consider the category of spherical g^-modules of critical level. In this paper we prove that this category is equivalent to the category of quasi-coherent sheaves on the ind-scheme of opers on the punctured disc which are unramified as local systems. This result is a categorical version of the well-known description of spherical vectors in representations of groups over local non-archimedian fields. It may be viewed as a special case of the local geometric Langlands correspondence proposed in arXiv:math/0508382.

研究の動機と目的

• 臨界レベルにおけるアフィン・カク＝ムーディ代数の球的表現の圏と、非分岐 ${\check{G}}$-オーバーのモジュライの準連接層の圏の間の圏的同値を確立すること。
• 古典的球的ベクトル理論の一般化として、球的ケースにおける局所的幾何的ラングランズ対応の幾何的実現を提供すること。
• $G(\!(t)\!)$ のカテゴリカル表現のパrameter空間としての ${\check{G}}$-局所的システムのスタックの予想される普遍性を、球的設定で検証すること。
• 臨界レベルにおける球的加群の圏が $\operatorname{Rep}(\check{G})$ に同値であることを示すこと。ここで $\operatorname{Rep}(\check{G})$ は $\operatorname{pt}/\check{G}$ 上の層として解釈される。

提案手法

• 臨界レベルの圏の中心のスペクトル $\operatorname{Spec}(\mathfrak{Z}_\mathfrak{g}^{\operatorname{unr}})$ 上の準連接層の導来圏への関手 $\Psi$ を、球的 $\widehat{\mathfrak{g}}_{\operatorname{crit}}$-加群の圏から構成する。
• 中心 $\mathfrak{Z}_\mathfrak{g}^{\operatorname{unr}}$ が多項式環に同型であるという事実を用い、自由加群による有限分解が可能であることを示す。
• デヴィッサージュ技法を用いて、構造が単純な正則部分集合 $\operatorname{Spec}(\mathfrak{z}_\mathfrak{g}^{\operatorname{reg},\lambda})$ における加群に問題を還元する。
• $\Psi$ が正確で、任意の二つの球的加群間の $\operatorname{Ext}^i$ 群に同型を誘導することを、帰納法と分解の議論により証明する。
• $G(\!(t)\!)$ が $\widehat{\mathfrak{g}}_{\operatorname{crit}}$-加群に作用するという事実と、$\Psi$ がこの作用と可換であることを用いる。
• 球的加群の圏が非分岐オーバーのインダクティブ・スキームに沿ってファイバーするという事実を用い、そのファイバーが $\operatorname{Rep}(\check{G})$ に同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 局所的幾何的ラングランズ対応は、球的ケースにおいてどのようにカテゴリカルに実現可能か？
• RQ2 臨界レベルにおける球的加群と、穴あき円板上における非分岐 ${\check{G}}$-オーバーの幾何学的性質との間の明確な関係は何か？
• RQ3 臨界レベルにおける球的 $\widehat{\mathfrak{g}}_{\operatorname{crit}}$-加群の圏は、オーバーのモジュライ空間上の層として幾何的に記述可能か？
• RQ4 $G(\!(t)\!)$ のカテゴリカル表現のパrameter空間としてのスタック $\operatorname{Loc}_{\check{G}}(\mathcal{D}^\times)$ の普遍性が、球的設定で検証可能か？
• RQ5 臨界レベルにおける球的 $\widehat{\mathfrak{g}}_{\operatorname{crit}}$-加群の圏と $\operatorname{Rep}(\check{G})$ の間に、自然な同値が存在するか？

主な発見

• 臨界レベルにおける球的 $\widehat{\mathfrak{g}}_{\operatorname{crit}}$-加群の圏は、穴あき円板上における非分岐 ${\check{G}}$-オーバーのインダクティブ・スキーム上の準連接層の圏に同値である。
• この同値は、$G[[t]]$-等変構造を保存し、直和極限と可換である関手 $\Psi$ を通じて実現される。
• $\Psi$ は正確であり、任意の二つの球的加群間の $\operatorname{Ext}^i$ 群に同型を誘導する。
• $\Psi$ の像は本質的に全射であり、$\operatorname{Spec}(\mathfrak{Z}_\mathfrak{g}^{\operatorname{unr}})$ 上の任意の有限生成層が本質的像に属する。
• この結果は、予想された球的ケースにおける局所的幾何的ラングランズ対応を確認するものであり、普遍的パrameter空間 $\operatorname{Loc}_{\check{G}}(\mathcal{D}^\times)$ が $G(\!(t)\!)$ のカテゴリカル表現を分類することを示す。
• この構成は、古典的球的ベクトル理論のカテゴリファイケーションを提供し、$\operatorname{Rep}(\check{G})$ が球的ベクトルの空間としての役割を果たす。