[论文解读] 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

一句话总结

该论文证明了 Frenkel-Gaitsgory 关于 $GL_2$ 的临界水平仿射 Beilinson-Bernstein 局域化猜想，确立了在临界水平下具有正则中心特征的仿射 Kac-Moody 代数的表示与仿射 Grassmannian 上的 $D$-模之间的一一对应关系。该方法将局部表示论中的 Whittaker 模型技术推广至几何设定，利用 Heisenberg 群作用与喷射层上的归纳保守性论证，证明了局域化等价性。

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 代数在 $GL_2$ 水平下的 Frenkel-Gaitsgory 临界水平局域化猜想。
• 在临界水平下，建立具有正则中心特征的仿射 Kac-Moody 代数表示与仿射 Grassmannian 上 $D$-模之间的几何对应关系。
• 通过喷射层与归纳保守性论证，将局部 Whittaker 模型技术推广至全局几何设定。
• 为几何 Langlands 中的一个重大猜想以及临界水平表示论提供秩-1 验证。

提出的方法

• 在局部几何 Langlands 中使用 Whittaker 模型构造的类比，以分析临界水平下的表示。
• 对喷射层 $({rak g}[[t]]/t^m{rak g}[[t]])_{ ext{reg}}$ 应用归纳论证，证明在幂零群作用下不变量的保守性。
• 在 $(N_n^{m,r+1}, \psi)$-不变量上利用 Heisenberg 群作用，建立 $N_n^{m,r}$ 与 $N_n^{m,r+1}$ 不变量之间的联系，从而实现向下归纳。
• 利用导出范畴 $\widehat{\frak g}_\kappa\text{--mod}$ 的 $G(K)$-等变结构以及全局截面函子 $\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 Heisenberg 群作用在喷射塔的不同幂零子群不变量之间起什么作用？

主要发现

• 证明了 Frenkel-Gaitsgory 关于临界水平仿射 Beilinson-Bernstein 局域化的猜想在 $GL_2$ 上成立，建立了具有正则中心特征的 $\widehat{\frak g}_\kappa$-模范畴与仿射 Grassmannian $\operatorname{Gr}_{GL_2}$ 上 $\kappa$-扭 $D$-模范畴之间的等价关系。
• 当限制在喷射层正则点集上的 $\kappa$-扭 $D$-模全子范畴时，全局截面函子 $\Gamma^{\text{IndCoh}}(\operatorname{Gr}_G, -)$ 在 $D_\kappa(\operatorname{Gr}_G)$ 上是保守的。
• 通过利用 Heisenberg 群作用的向下归纳论证，证明了对所有 $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$ 成立，并与归纳步骤结合，最终得出完整的保守性结论。