[论文解读] Quantizations of nilpotent orbits vs 1-dimensional representations of W-algebras

Ivan Losev|arXiv (Cornell University)|Apr 10, 2010

Advanced Algebra and Geometry参考文献 18被引用 5

一句话总结

本文建立了 $G$-等变的幂零轨道（及其覆盖）的量子化与有限 W-代数的 $\Gamma$-固定的一维表示之间的一一对应关系，其中 $\Gamma$ 是覆盖中某点的稳定子群的连通分支群。该结果虽曾通过 Moeglin 对 Whittaker 模与极大理想的研究以另一种形式获得，但本文通过形变量子化与喷射丛技巧重新推导，提供了更直接、更自然的证明。

ABSTRACT

Let g be a semisimple Lie algebra over an algebraically closed field K of characteristic 0 and O be a nilpotent orbit in g. Then Orb is a symplectic algebraic variety and one can ask whether it is possible to quantize $\Orb$ (in an appropriate sense) and, if so, how to classify the quantizations. On the other hand, for the pair (g,O) one can construct an associative algebra W called a (finite) W-algebra. The goal of this paper is to clarify a relationship between quantizations of O (and of its coverings) and 1-dimensional W-modules. In the first approximation, our result is that there is a one-to-one correspondence between the two. The result is not new: it was discovered (in a different form) by Moeglin in the 80's.

研究动机与目标

• 澄清幂零轨道的量子化与有限 W-代数的一维表示之间的关系。
• 为已知的量子化与一维 $\mathcal{W}$-模表示之间的对应关系提供一种新的、更自然的证明。
• 将 Moeglin 早期关于 Whittaker 模与极大理想的结果，重新表述为形变量子化与 $G$-等变覆盖的语言。
• 通过 $\Gamma$ 的连通分支群在 1 维 $\mathcal{W}$-模上的固定点，对 $G$-等变的幂零轨道量子化进行分类。

提出的方法

• 在代数几何框架下使用形变量子化，要求与幂零轨道 $\mathbb{O}$ 上的 $G$ 和 $\mathbb{K}^\times$-作用相容。
• 从给定的 $\mathfrak{sl}_2$-三元组与 Slodowy 截面构造 W-代数 $\mathcal{W}$，满足 $\operatorname{gr}\mathcal{W} \cong \mathbb{K}[S]$，并赋予其 $Q = Z_G(e,h,f)$-作用。
• 将 $\mathfrak{Id}^1(\mathcal{W})$ 定义为 $\mathcal{W}$ 中余维数为 1 的双边理想集合，该集合分类了一维 $\mathcal{W}$-模。
• 对 $G$-等变覆盖 $\widetilde{\mathbb{O}}$ 中的点 $x$，引入连通分支群 $\Gamma = G_x / (G_x)^\circ$，并考虑其在 $\mathfrak{Id}^1(\mathcal{W})$ 上的作用。
• 利用量子化的喷射丛构造与 [Lo1] 中的分解定理，将 $\mathcal{W}$ 的滤子结构与量子化分类联系起来。
• 通过 Rees 代数与完备化技巧，证明将一个量子化映射到其对应的 $\Gamma$-固定的一维 $\mathcal{W}$-模是一个双射，并将 $\mathcal{D}$ 与最大滤子 Dixmier 代数联系起来。

实验结果

研究问题

• RQ1 $G$-等变的幂零轨道及其覆盖的量子化与有限 W-代数的一维表示之间有何关系？
• RQ2 能否通过形变量子化与几何方法，而非表示论工具，重新推导出量子化与一维 $\mathcal{W}$-模之间的对应关系？
• RQ3 连通分支群 $\Gamma = G_x / (G_x)^\circ$ 在这些量子化分类中起什么作用？
• RQ4 $Q = Z_G(e,h,f)$ 在 $\mathfrak{Id}^1(\mathcal{W})$ 上的作用如何下降到 $\Gamma$ 上？为何该作用的固定点集具有重要意义？
• RQ5 从量子化 $\mathcal{D}$ 构造 $\mathcal{A}_{\mathcal{D}}$ 的过程，在多大程度上能恢复最大滤子 Dixmier 代数的结构？

主要发现

• 存在一个自然双射，将幂零轨道 $\mathbb{O}$ 的覆盖 $\widetilde{\mathbb{O}}$ 的 $G$-等变量子化同构类集合，与 $\mathfrak{Id}^1(\mathcal{W})$ 中 $\Gamma$-固定点集合一一对应，其中 $\Gamma$ 是 $\widetilde{\mathbb{O}}$ 中某点的稳定子群的连通分支群。
• 从 $\widetilde{\mathbb{O}}$ 的量子化 $\mathcal{D}$ 构造代数 $\mathcal{A}_{\mathcal{D}}$，可得到一个量子化覆盖 $\mathbb{O}$ 的最大滤子 Dixmier 代数，且所有此类代数均可通过此方式构造。
• 该证明通过喷射丛与 Rees 代数构造，直接建立了形变量子化与一维 $\mathcal{W}$-模之间的联系，避免了 Whittaker 模理论的依赖。
• 该结果等价于 Moeglin 早期对 admit Whittaker 模的极大理想的分类，但以更几何化且表示论上更清晰的框架重新推导。
• $Q = Z_G(e,h,f)$ 在 $\mathfrak{Id}^1(\mathcal{W})$ 上的作用可下降为 $\Gamma$ 的作用，且该作用的固定点集分类了所有量子化。
• 该对应关系是自然且函子性的：同构的量子化对应同构的一维 $\mathcal{W}$-模，且分类结果在 $\widetilde{\mathbb{O}}$ 中点 $x$ 的选择上（模共轭）是独立的。