[论文解读] Quantization of Slodowy slices

Wee Liang Gan, Victor Ginzburg|arXiv (Cornell University)|May 28, 2001

Advanced Algebra and Geometry参考文献 9被引用 23

一句话总结

本文通过从广义 Gelfand-Graev 表示诱导的模，构造了半单李代数中幂零轨道的横截切片（即 Slodowy 切片）的量化。利用一个 $\frac{1}{2}$-整数的 $\mathfrak{sl}_2$-三元组和一个余维子空间 $\mathfrak{m}_\mathfrak{l}$ 的选择，作者从普遍包络代数 $U\mathfrak{g}$ 定义了一个商代数 $H_\mathfrak{l}$，并证明其对应的约化代数在自然的泊松结构下，与 Slodowy 切片的坐标环之间存在自然的同构。

ABSTRACT

We give a direct proof of (a slight generalization of) the recent result of A. Premet related to generalized Gelfand-Graev representations and of an equivalence due to Skryabin.

研究动机与目标

• 构造复半单李代数 $\mathfrak{g}$ 中幂零元 $e$ 对应的 Slodowy 切片 $\mathcal{S} = e + \ker \operatorname{ad}f$ 的量化。
• 通过 $\frak{sl}_2$-三元组将 Kostant 关于主幂零轨道的结果推广到任意幂零轨道。
• 在分次泊松代数的范畴下，建立诱导模 $H_\frak{l}$ 的约化代数与坐标环 $\mathbb{C}[\mathcal{S}]$ 之间的自然同构。
• 证明该构造不依赖于 $\frak{l} \subset \mathfrak{g}(-1)$ 的余维子空间的选择。

提出的方法

• 定义 Slodowy 切片 $\mathcal{S} = \Phi(e + \ker \operatorname{ad}f)$，其中 $\Phi$ 是由卡蒂尔形式诱导的同构。
• 固定一个余维子空间 $\frak{l} \subset \mathfrak{g}(-1)$，并定义幂零子代数 $\frak{m}_\frak{l} = \frak{l} \oplus \bigoplus_{i \leq -2} \mathfrak{g}(i)$ 和 $\frak{n}_\frak{l} = \frak{l}^\perp \oplus \bigoplus_{i \leq -2} \mathfrak{g}(i)$。
• 构造 $U\mathfrak{g}$-模 $Q_\frak{l} = U\mathfrak{g} \otimes_{U\frak{m}_\frak{l}} \mathbb{C}_\chi$，其中 $\chi = \Phi(e)$。
• 定义 $H_\frak{l} = Q_\frak{l}^{\operatorname{ad} \frak{n}_\frak{l}}$，即 $\frak{n}_\frak{l}$-不变子空间在伴随作用下。
• 通过 $\frak{n}_\frak{l}$ 对理想 $I_\frak{l}$ 的稳定性，赋予 $H_\frak{l}$ 一个由 $U\mathfrak{g}$ 导出的乘法，并证明其定义良好。
• 引入 $\mathbb{C}[\mathcal{S}]$ 上的 Kazhdan 分次与 $H_\frak{l}$ 上的 Kazhdan 滤子，并证明 $\operatorname{gr} H_\frak{l} \cong \mathbb{C}[\mathcal{S}]$ 作为分次泊松代数。

实验结果

研究问题

• RQ1 能否在 $\frak{sl}_2$-三元组的框架下，通过表示论方法构造 Slodowy 切片 $\mathcal{S}$ 的量化？
• RQ2 不变子代数 $H_\frak{l}$ 的约化代数是否在分次泊松代数的意义下，与坐标环 $\mathbb{C}[\mathcal{S}]$ 存在自然同构？
• RQ3 构造 $H_\frak{l}$ 是否依赖于 $\frak{l} \subset \mathfrak{g}(-1)$ 的余维子空间的选择？
• RQ4 $\mathbb{C}^*$-作用在 $\mathfrak{g}$ 上如何保持 $\mathcal{S}$ 上的泊松结构？
• RQ5 是否可以不依赖正特征方法或 BRST 上同调，直接建立同构 $\operatorname{gr} H_\frak{l} \cong \mathbb{C}[\mathcal{S}]$？

主要发现

• 约化代数 $\operatorname{gr} H_\frak{l}$ 作为分次泊松代数，与 $\mathbb{C}[\mathcal{S}]$ 存在自然同构。
• $H_\frak{l}$ 不依赖于余维子空间 $\frak{l} \subset \mathfrak{g}(-1)$ 的选择，确保了构造的良定性。
• $H_\frak{l}$ 上的乘法是良定义的，因为左理想 $I_\frak{l}$ 在 $\frak{n}_\frak{l}$ 的伴随作用下稳定。
• 对于任意余伴随轨道 $\mathcal{O}$，$\mathcal{O} \cap \mathcal{S}$ 上的辛结构由 Kirillov-Kostant 形式诱导，且非退化。
• 对所有 $x \in \mathcal{S}$，有 $[x, [f, \mathfrak{g}]] \cap \ker \operatorname{ad}f = 0$，这保证了限制辛形式的非退化性。
• 同构 $\operatorname{gr} H_\frak{l} \cong \mathbb{C}[\mathcal{S}]$ 通过直接代数论证建立，利用了 $\frak{sl}_2$-权分解以及 $\mathfrak{g}(-1)$ 上斜对称形式 $\omega(x,y) = \chi([x,y])$ 的非退化性。