[論文レビュー] Twisted geometric Satake equivalence: reductive case

Sergey Lysenko|arXiv (Cornell University)|Nov 25, 2014

Finite Group Theory Research参考文献 1被引用数 5

ひとこと要約

この論文は、代数閉体上での分離再帰的群に対して、以前のほとんど単純な群への結果を再帰的群へ拡張する、ねじれた幾何的サタケ同値を確立する。同値は、$K_2$ および $
\mathbb{G}_m$ を用いた中心拡大を通じてメタプレクティックデータを統合し、曲線上の対称双線形形式とシータデータを重要な入力として含む。再帰的群の $G(\mathcal{O})$-不変な perverse sheaf の圏と双対群の表現の圏との間で、対称モノイダル同値を構成する。

ABSTRACT

In this paper we extend the twisted Satake equivalence established in arXiv:0809.3738 for almost simple groups to the case of split reductive groups.

研究の動機と目的

• 代数閉体上での分離再帰的群へのねじれたサタケ同値の拡張。
• 先行する物理的取り扱いにおける誤りを是正し、メタプレクティック幾何的ラングランズの数学的厳密な枠組みの提供。
• $\theta$-データと中心拡大を用いて、指定された $\mathbb{G}_m$-モノドロミーを持つ $G(\mathcal{O})$-不変な perverse sheaf の対称モノイダル圏の構成。
• $K_2$-中心拡大と $\mathbb{G}_m$-gerbe を用いてメタプレクティック構造を統合した幾何的サタケ同値の確立。
• $G$ のワイル群と双対群 $\check{G}_\zeta$ のワイル群が $\mathrm{Aut}(\Lambda^\sharp)$ の部分群として一致することの証明。

提案手法

• 再帰的群の $K_2$-中心拡大の Brylinski-Deligne 理論を用いて、メタプレクティック構造をモデル化する。
• 曲線 $X$ 上の対称双線形形式 $\kappa: \Lambda \otimes \Lambda \to \mathbb{Z}$ と超拡大 $\tilde{\Lambda}^s$ から、正則な射影的曲線 $X$ 上の $\theta$-データを構成する。この際、正則バンドルの平方根 $\Omega^{1/2}$ を用いる。
• $\mathrm{Gr}_M$ 上の $T$-安定な部分スキーム $Y \cong \mathbb{P}^1$ を用いて、$\mathcal{L}_{M_0}$ の切断の消失位数を計算し、局所系のモノドロミーを求める。
• $\zeta^{(a+b)c_j\kappa_j(\alpha_i,\alpha_i)/2}$ が自明であるための必要十分条件が $b\bar{\kappa}(\alpha_i,\alpha_i) \in 2N\mathbb{Z}$ であることから、最小の $b = \delta_i$ を定義し、これにより $m_i = \delta_i$ を定義する。

実験結果

リサーチクエスチョン

• RQ1 代数閉体上での分離再帰的群へのねじれた幾何的サタケ同値を、ほとんど単純な群からどのように拡張できるか？
• RQ2 $\mathbb{G}_m$-モノドロミー $\zeta$ を持つ $G(\mathcal{O})$-不変な perverse sheaf の圏の正確な幾何的・圏的構造は何か？
• RQ3 $K_2$-中心拡大が再帰的群 $G$ に対してどのように $\theta$-データと幾何的サタケ圏上の対称モノイダル構造を生じるか？
• RQ4 メタプレクティック設定下で、$G$ のワイル群と双対群 $\check{G}_\zeta$ のワイル群の関係は何か？
• RQ5 線分束の制限と消失位数を用いて、アフィングラスマンイアンのストラタ上の局所系のモノドロミーはどのように計算されるか？

主な発見

• この論文は、$\mathbb{E}/G(\mathcal{O})$ 上の $G(\mathcal{O})$-不変な $\bar{\mathbb{Q}}_\ell$- perverse sheaf の圏（$\mathbb{G}_m$-モノドロミー $\zeta$ を持つ）と双対群 $\check{G}_\zeta$ の表現の圏との間で、対称モノイダル同値を確立する。
• $G$ のワイル群と $\check{G}_\zeta$ のワイル群は、$\mathrm{Aut}(\Lambda^\sharp)$ の部分群として同型であり、ラングランズ双対性と整合性を保つ。
• $b\bar{\kappa}(\alpha_i,\alpha_i) \in 2N\mathbb{Z}$ を満たす最小の $b$ は $\delta_i$ であり、これにより $m_i = \delta_i$ が定義され、モノドロミー条件を支配する。
• $f_0^*\mathcal{L}_j$ の $\mathrm{Gr}_{M_0}$ 上への制限は $\mathcal{L}_{M_0}^{\kappa_j(\alpha_i,\alpha_i)/2}$ に同型であり、$M_0$ の幾何と $\mathcal{L}_j$ のグローバル構造を結びつける。
• $\mathrm{Gr}_M$ 内の $T$-安定な部分スキーム $Y \subset \mathrm{Gr}_M$ は $\mathbb{P}^1$ に同型であり、固定点は $t^\nu M(\mathcal{O})$ と $t^{-\lambda}M(\mathcal{O})$ にあたる。$\mathcal{L}_{M_0}$ の $Y$ 上への制限は $\mathcal{O}_{\mathbb{P}^1}(a+b)$ に同型である。
• $\Omega_{\bar{c}}^{\kappa_j(\nu,\nu)/2}$ に非ゼロの元に対応する $\mathcal{L}_{M_0}^{\kappa_j(\alpha_i,\alpha_i)/2}$ の切断は、$t^{-\lambda}M(\mathcal{O})$ で位数 $(a+b)\kappa_j(\alpha_i,\alpha_i)/2$ で消失し、これがモノドロミーを決定する。