[论文解读] Harish-Chandra bimodules for quantized Slodowy slices

Victor Ginzburg|ArXiv.org|Jul 2, 2008

Algebraic structures and combinatorial models参考文献 32被引用 15

一句话总结

本文引入了佩雷特的量子化斯洛多夫切片上的哈里什-钱德拉双模，这是斯洛多夫切片上多项式函数的泊松代数的非交换形变。通过使用微局部技术定义正则奇点，并构造平移函子，作者提供了一个类似于这些代数的范畴O的范畴，证明了普雷梅特关于本原理想的猜想，并通过非交换Proj-构造法构建了非交换解析解。

ABSTRACT

The Slodowy slice is an especially nice slice to a given nilpotent conjugacy class in a semisimple Lie algebra. Premet introduced noncommutative quantizaions of the Poisson algebra of polynomial functions on the Slodowy slice. In this paper, we define and study Harish-Chandra bimodules over Premet's algebras. We apply the technique of Harish-Chandra bimodules to prove a conjecture of Premet concerning primitive ideals, and to construct `noncommutative resolutions' of Slodowy slices via translation functors.

研究动机与目标

• 为佩雷特的量子化斯洛多夫切片代数 $A_c$ 建立一个范畴O的类比，这些代数是斯洛多夫切片上泊松代数的非交换形变，以解决目前缺乏此类类比的问题。
• 通过弱哈里什-钱德拉双模和正则奇点的概念，定义一个关于 $A_c$ 的哈里什-钱德拉双模范畴，作为范畴O的替代品。
• 证明普雷梅特猜想，即有限维 $A_c$-模与 $\mathcal{U}(\mathfrak{g})$ 中本原理想之间的关系，其关联簇为幂零元 $e$ 的伴随轨道的闭包。
• 通过平移函子和非交换Proj-构造法，构建斯洛多夫切片的非交换解析解，推广非交换代数几何中的早期结果。

提出的方法

• 在滤过代数 $A$ 上引入弱哈里什-钱德拉双模，其中 $\operatorname{gr} A$ 为交换且具有泊松结构，推广了 $\mathcal{U}(\mathfrak{g})$ 上的经典概念。
• 通过微局部技术定义 $A_c$-双模的正则奇点，扩展了旗流形上 $\mathscr{D}$-模结果。
• 应用贝利松-伯恩斯坦局部化定理，将 $\mathscr{D}$-模在 $\mathcal{B} \times \mathcal{B}$ 上与 $({\mathcal{U}}_{\mu},{\mathcal{U}}_{\nu})$-双模联系起来，建立局部有限伴随作用与正则奇点之间的等价性。
• 从哈里什-钱德拉 $\mathcal{U}(\mathfrak{g})$-双模到哈里什-钱德拉 $A_c$-双模构造一个类似惠特aker的函子，实现表示论数据的转移。
• 在 $A_c$-模上使用平移函子，定义一个非交换Proj-构造，得到斯洛多夫切片 $\mathcal{S}$ 的非交换解析解。
• 应用关于 $G^{sc}$-等变 $\mathscr{D}$-模在 $\mathcal{B} \times \mathcal{B}$ 上的结果，推导出正则奇点，利用这些模由于仅有有限个轨道而具有正则奇点的事实。

实验结果

研究问题

• RQ1 能否为佩雷特的量子化斯洛多夫切片代数 $A_c$ 定义一个哈里什-钱德拉双模范畴，作为范畴O的替代？
• RQ2 $A_c$-双模的正则奇点的正确概念是什么？它与 $\mathscr{D}$-模理论中经典正则奇点概念有何关系？
• RQ3 从 $\mathcal{U}(\mathfrak{g})$-双模到 $A_c$-双模的惠特aker函子构造，能否为普雷梅特关于本原理想的猜想提供一个新证明？
• RQ4 能否通过非交换Proj-构造，利用 $A_c$-模上的平移函子，构建斯洛多夫切片 $\mathcal{S}$ 的非交换解析解？
• RQ5 哈里什-钱德拉 $A_c$-双模范畴与幂零轨道闭包 $\overline{\operatorname{Ad} G(e)}$ 的几何结构有何关系？

主要发现

• 哈里什-钱德拉 $A_c$-双模范畴被定义为具有正则奇点的弱哈里什-钱德拉双模，为在缺乏直接类比的情况下提供了范畴O的自然替代。
• 从 $\mathcal{U}(\mathfrak{g})$-双模到 $A_c$-双模的惠特aker函子被构造并用于给出普雷梅特猜想的新、直接证明，该猜想将有限维 $A_c$-模与关联簇为 $\overline{\operatorname{Ad} G(e)}$ 的 $\mathcal{U}(\mathfrak{g})$ 中本原理想联系起来。
• 通过微局部技术，将 $\mathscr{D}$-模在 $\mathcal{B} \times \mathcal{B}$ 上的局部有限伴随作用与正则奇点之间的等价性，推广到了 $A_c$-双模。
• 在 $A_c$-模上定义了平移函子，并用于通过非交换Proj-构造构建斯洛多夫切片 $\mathcal{S}$ 的非交换解析解，推广了戈登-斯托达德和博亚琴科的早期工作。
• 通过平移函子构建非交换解析解的构造，预计在次正则情形下可恢复博亚琴科的解析解，并且通过布里埃斯科恩-斯洛多沃理论，与克莱因奇点的几何结构相容。
• 关于 $A_c$ 上哈里什-钱德拉双模的理论，为研究 $A_c$ 中的双边理想和本原理想提供了框架，推广了 $\mathcal{U}(\mathfrak{g})$ 上的经典理论。