[論文レビュー] Spectral action in Betti Geometric Langlands

David Nadler, Zhiwei Yun|arXiv (Cornell University)|Nov 13, 2016

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

ひとこと要約

この論文は、$G$-バンドルのモジュライ上の極小特異的補題を持つ層に対して、そのスペクトル作用が $G^\vee$-局所系のベティモジュライ空間上の完全複体を介して与えられることを示すことにより、ベティ幾何学的ラングランズ対応における「自動型からガロア」の方向を確立した。層の極小特異的補題を持つベティラングランズパラメータを構成し、ラフォルグのアンビション作用素のベティ版を定義した。

ABSTRACT

Let $X$ be a smooth projective curve, $G$ a reductive group, and $Bun_G(X)$ the moduli of $G$-bundles on $X$. For each point of $X$, the Satake category acts by Hecke modifications on sheaves on $Bun_G(X)$. We show that, for sheaves with nilpotent singular support, the action is locally constant with respect to the point of $X$. This equips sheaves with nilpotent singular support with a module structure over perfect complexes on the Betti moduli $Loc_{G^\vee}(X)$ of dual group local systems. In particular, we establish the "automorphic to Galois" direction in the Betti Geometric Langlands correspondence -- to each indecomposable automorphic sheaf, we attach a dual group local system -- and define the Betti version of V. Lafforgue's excursion operators.

研究の動機と目的

• 極小特異的補題を持つ層に対してスペクトル作用を構成することにより、ベティ幾何学的ラングランズ対応における「自動型からガロア」の方向を確立すること。
• $G$-バンドルのモジュライ上の層の文脈で、V. ラフォルグのアンビション作用素のベティ版を定義すること。
• 極小特異的補題を持つ非分解的自動型層各々に対して、双対群の局所系（ベティラングランズパラメータ）を割り当てること。
• このような層におけるヘッケ作用が曲線上の点に関して局所定数的であることを示し、スペクトル作用の整合性を保証すること。
• ヘッケ固有層のベティラングランズパラメータが、その固有値局所系の半単純化と同型であることを示すこと。

提案手法

• 微局所幾何学を用いて、$\mathrm{Bun}_G(X)$ 上の層の特異的補題を分析し、グローバルな極小特異的コーン $\mathcal{N}_G(X)$ に注目する。
• 点 $X$ におけるヘッケ変形を用いてサタケカテゴリを構成し、極小特異的補題を持つ層の部分カテゴリを保存することを示す。
• 均一化および局所座標を用いて、グローバルなヘッケ作用をアフィングラスマンジャンおよびループ群上の局所的構成に還元する。
• モノドロミー同型 $\mathrm{Loc}_{G^\vee}(X) \simeq \mathrm{Hom}(\pi_1(X,x_0), G^\vee)/G^\vee$ を用いて、スペクトル作用を定義し、自動型層と $G^\vee$-局所系を結びつける。
• 自動形式層 $\mathcal{F}$ の普遍変形環の最大イデアルからの写像 $L^{cr,-1}$ を通じて、ベティラングランズパラメータ $\rho_{\mathcal{F}}$ を定義する。
• ヘッケファンクターの合成と局所系への評価を通じてベティアンビション作用素を定義し、それが固有値表現によって定まるスカラーにより作用することを示す。

実験結果

リサーチクエスチョン

• RQ1 極小特異的補題を持つ層におけるヘッケ作用は、曲線上の点に関してどのように振る舞うか？
• RQ2 カテゴリ $\mathrm{QCoh}(\mathrm{Loc}_{G^\vee}(X)_E)$ のスペクトル作用を、極小特異的補題を持つ自動型層のカテゴリに構成できるか？
• RQ3 ヘッケ固有層に関連するベティラングランズパラメータとは何か？ そして、固有値局所系とどのように関係するか？
• RQ4 ベティアンビション作用素は、幾何的ラングランズ設定における古典的ラフォルグ構成とどのように関係するか？
• RQ5 ヘッケ固有層のベティラングランズパラメータは、その固有値局所系の半単純化と同型か？

主な発見

• 極小特異的補題を持つ層におけるヘッケ作用は、曲線上の点に関して局所定数的であり、グローバルなスペクトル構造と整合性を保つ。
• $\mathrm{Bun}_G(X)$ 上の極小特異的補題を持つ層は、ベティモジュライ空間 $\mathrm{Loc}_{G^\vee}(X)_E$ 上の完全複体への自然なモジュール構造を持つ。
• 層 $\mathcal{F}$ のベティラングランズパラメータ $\rho_{\mathcal{F}}$ は、$\mathcal{F}$ の普遍変形環からの写像により定義され、$\mathrm{Max}(R^{\mathrm{univ}})$ に倣う。
• 固有値 $\rho$ を持つヘッケ固有層 $\mathcal{F}$ に対して、ベティラングランズパラメータ $\rho_{\mathcal{F}}$ は、$\rho$ の半単純化 $\rho^{ss}$ と同型である。
• ベティアンビション作用素は、$\mathcal{F}$ にスカラー $f(\rho_{\mathcal{F}}(\gamma_1), \dots, \rho_{\mathcal{F}}(\gamma_n))$ を作用させ、$f$ の $\rho$ の半単純化における評価と一致する。
• この構成により、ベティ幾何学的ラングランズ対応における「自動型からガロア」の方向の幾何的実現が得られ、完全な予想への重要な一歩が達成された。