[论文解读] Beilinson-Bernstein localization over the Harish-Chandra center

Dani Ben‐Zvi, David Nadler|arXiv (Cornell University)|Sep 2, 2012

Black Holes and Theoretical Physics参考文献 31被引用 9

一句话总结

本文提出了一种基于导出代数几何的贝利尼-伯恩斯坦局部化定理的推导方法，证明了所有 $υ\mathfrak{g}$-模都是 $G/N$ 上关于单值 $υ$-模在交织函子作用下的不变量，从而将该定理推广至不固定无穷小特征值的情形。关键结果通过德穆尔泽算子的范畴化作用，建立了格罗滕迪克-斯普林格解析的量子版本下降理论。

ABSTRACT

We present a simple proof of a strengthening of the derived Beilinson-Bernstein localization theorem using the formalism of descent in derived algebraic geometry. The arguments and results apply to arbitrary modules without the need to fix infinitesimal character. Roughly speaking, we demonstrate that all Ug-modules are the invariants, or equivalently coinvariants, of the action of intertwining functors (a refined form of Weyl group symmetry). This is a quantum version of descent for the Grothendieck-Springer simultaneous resolution. In an appendix we present an alternative perspective, which identifies the descent data in both classical and quantum versions as a categorical action of Demazure operators.

研究动机与目标

• 将贝利尼-伯恩斯坦局部化定理推广至不固定或广义无穷小特征值的模。
• 利用导出代数几何中的导出下降理论，为所有 $υ\mathfrak{g}$-模提供一个统一的框架。
• 在经典与量子情形下，将下降数据识别为德穆尔泽算子的范畴化作用。
• 通过格罗滕迪克-斯普林格同时解析及其量子类比，统一几何与表示理论的视角。
• 将局部化等价关系扩展至无穷小特征值的正式邻域以及惠特aker范畴，揭示更深层的对称性。

提出的方法

• 利用导出代数几何中的下降形式语言，以强化且统一的形式重新证明贝利尼-伯恩斯坦定理。
• 应用巴尔-贝克型定理，建立 $υ\mathfrak{g}$-模范畴与 $G/N$ 上单值 $υ$-模范畴之间的等价关系。
• 将交织函子的作用识别为 Weyl 群对称性的精化形式，编码 $υ\mathfrak{g}$-模的下降数据。
• 引入普遍 Weyl 线丛，并在 $G/N$-等变 $υ$-模的导出范畴上构造德穆尔泽算子的范畴化作用。
• 将格罗滕迪克-斯普林格解析作为经典类比，其量子版本通过幂零赫克代数与 $υ\mathfrak{g}$-模实现。
• 将该框架应用于惠特aker范畴，证明惠特aker $υ\mathfrak{g}$-模与惠特aker $υ$-模通过限制到科斯坦切片而等价。

实验结果

研究问题

• RQ1 如何将贝利尼-伯恩斯坦局部化定理推广至所有不固定无穷小特征值的 $υ\mathfrak{g}$-模？
• RQ2 通过 Weyl 群对称性实现 $υ\mathfrak{g}$-模下降的范畴结构是什么？
• RQ3 量子格罗滕迪克-斯普林格解析如何通过导出下降与经典情形关联？
• RQ4 德穆尔泽算子在经典与量子情形下如何编码下降数据？
• RQ5 惠特aker范畴如何作为一般局部化框架的极限出现？

主要发现

• 本文建立了具有无穷小特征值在 $W$-轨道 $[λ]$ 中的 $υ\mathfrak{g}$-模的 dg 范畴与 $G/B$ 上 $λ$-扭 $υ$-模的 dg 范畴之间的等价关系，即使 $λ$ 为奇异或位于形式邻域中亦成立。
• 所有 $υ\mathfrak{g}$-模均被证明为 $G/N$ 上单值 $υ$-模在交织函子作用下的不变量（或余不变量），从而推广了经典局部化定理。
• 格罗滕迪克-斯普林格解析的下降数据被识别为德穆尔泽算子的范畴化作用，为经典与量子情形提供了统一的框架。
• 在惠特aker情形下，局部化等价关系限制为惠特aker $υ\mathfrak{g}$-模与中心 $χ\mathfrak{g}$ 上模之间的等价关系，通过限制到科斯坦切片实现。
• 量子版本的格罗滕迪克-斯普林格解析由幂零赫克代数控制，该代数控制从 $χ^*$ 到 $χ^*//W$ 的下降过程，推广了博雷尔-魏尔-博特定理。
• 具有单值 $λ$ 的 $G/N$-等变 $υ$-模的导出范畴与具有无穷小特征值 $[λ]$ 的 $υ\mathfrak{g}$-模范畴之间存在等价关系，即使 $λ$ 为奇异情形，亦通过范畴化下降机制实现。