[论文解读] On Deformation Quantizations of Hypertoric varieties

Gwyn Bellamy, Toshiro Kuwabara|arXiv (Cornell University)|May 25, 2010

Algebraic structures and combinatorial models参考文献 26被引用 5

一句话总结

本文通过用 W-代数替代微分算子，建立了对超辛流形的贝林森-伯恩斯坦型局部化定理。证明了当特征在 GIT 房间的内部时，量子哈密顿约化模的范畴与 W-代数层上的良好模的范畴之间存在等价关系，该结果在循环群的有理赫雷德尼克代数中具有应用。

ABSTRACT

Based on a construction by Kashiwara and Rouquier, we present an analogue of the Beilinson- Bernstein localization theorem for hypertoric varieties. In this case, sheaves of differential operators are replaced by sheaves of W-algebras. As a special case, our result gives a localization theorem for rational Cherednik algebras associated to cyclic groups.

研究动机与目标

• 将贝林森-伯恩斯坦局部化定理推广至超辛流形，使用 W-代数替代微分算子层。
• 建立量子哈密顿约化模的范畴与超辛流形上 W-代数层的良好模范畴之间的范畴等价。
• 将结果应用于与循环群相关的有理赫雷德尼克代数，特别是在克莱因奇点的背景下。
• 通过哈密顿约化证明 W-代数在超辛流形上的 W-仿射性与整体生成性。
• 证明当量子哈密顿约化具有有限整体维数时，局部化等价性在参数空间（除壁外）无限制下依然成立。

提出的方法

• 利用 Kashiwara-Rouquier 方法，通过约化作用于辛向量空间的半单群作用，构造辛流形上的 W-代数。
• 将 W-仿射性的判定准则应用于超辛流形，这些流形是环面作用于辛向量空间的哈密顿约化结果。
• 应用环面作用下量子哈密顿约化的理论，借鉴 Musson 和 Van den Bergh 关于这些代数结构的研究成果。
• 通过从环境空间的拉回定义超辛流形上的 W-代数层，确保与辛结构的相容性。
• 使用局部化函子 $\mathsf{Loc}(M) = \mathscr{A}_{\chi} \otimes_{\mathsf{U}_{\chi}} M$ 及其拟逆函子 $\mathsf{Sec}(\mathscr{M}) = \mathrm{Hom}_{\mathscr{A}_{\chi}}(\mathscr{A}_{\chi}, \mathscr{M})$ 建立范畴等价。
• 应用 $\mathsf{U}_{\chi}$ 在 GIT 房间内部的参数 $\chi$ 处具有有限整体维数的结果，以确保等价性的有效性。

实验结果

研究问题

• RQ1 能否为超辛流形构造一个类似贝林森-伯恩斯坦的局部化定理，使用 W-代数替代微分算子？
• RQ2 在何种条件下，局部化函子 $\mathsf{Loc}$ 能在 $\mathsf{U}_{\chi}$-模范畴与 $\mathscr{A}_{\chi}$-模的良好范畴之间诱导等价？
• RQ3 超辛流形上 W-代数的理论如何与循环群的有理赫雷德尼克代数相关联？
• RQ4 GIT 房间结构以及避开 G.I.T. 壁在确保整体截面函子的有限性与半单性方面起什么作用？
• RQ5 当 $\mathsf{U}_{\chi}$ 具有有限整体维数时，其在多大程度上可保证局部化等价性成立，而无需参数平移？

主要发现

• 当 $\chi$ 位于 GIT 房间的内部时，局部化函子 $\mathsf{Loc}$ 给出范畴等价 $\mathsf{U}_{\chi}\text{-mod} \xrightarrow{\sim} \underline{\mathrm{Mod}}^\mathrm{good}_F(\mathscr{A}_{\chi})$，其逆为 $\mathsf{Sec}$，其中 $\chi \in C_{\mathbb{Q}}$。
• 对任意 $\chi \in C_{\mathbb{Q}}$，存在 $\theta \in C \cap \mathbb{X}(T)$，使得 $\mathsf{Loc}$ 诱导出范畴等价 $\mathsf{U}_{\chi + \theta}\text{-mod} \xrightarrow{\sim} \mathrm{Mod}^\mathrm{good}_F(\mathscr{A}_{\chi + \theta})$。
• 若 $\mathsf{U}_{\chi}$ 具有有限整体维数，则 $\mathsf{Loc}$ 诱导出范畴等价 $\mathsf{U}_{\chi}\text{-mod} \xrightarrow{\sim} \mathrm{Mod}^\mathrm{good}_F(\mathscr{A}_{\chi})$。
• 对于最小解消 $\widetilde{\mathbb{C}^2/\mathbb{Z}_m}$，局部化定理适用于有理赫雷德尼克代数 $H_{\mathbf{h}}$，其中 $\mathbf{h} \notin \mathcal{C}$，并给出范畴等价 $H_{\mathbf{h}}\text{-mod} \xrightarrow{\sim} \mathrm{Mod}^\mathrm{good}_F(\mathscr{A}_{\mathbf{h}})$。
• 球面对 $eH_{\mathbf{h}}e$ 同构于 $\mathfrak{gl}_m(\mathbb{C})$ 在次正则幂零元处的有限 $\mathcal{W}$-代数，且该局部化结果恢复了该情形下的已知等价关系。
• 该等价通过函子 $\mathsf{Loc}(e \cdot -)$ 与 $eH_{\mathbf{h}}e \otimes_{eH_{\mathbf{h}}e} \mathsf{Sec}(-)$ 实现，证实了其与文献中关于 $\mathcal{W}$-代数与赫雷德尼克代数结果的一致性。