[论文解读] Lecture notes on Cherednik algebras

Pavel Etingof, Xiaoguang Ma|arXiv (Cornell University)|Jan 4, 2010

Algebraic structures and combinatorial models参考文献 55被引用 48

一句话总结

本文对有理 Cherednik 代数及其与可积系统、表示论和几何量子化的关系提供了全面的导论。它建立了有理 Cherednik 代数的 PBW 定理，发展了范畴 O，并证明了对称群的球面对称 Cherednik 代数同构于量子哈密顿约化代数 $ B_k $，从而通过量子矩图和形变理论，为这些代数构建了李理论实现。

ABSTRACT

The present notes are based on a course on Cherednik algebras given by the first author at MIT in the Fall of 2009. Their goal is to give an introduction to Cherednik algebras, and to review the web of connections between them and other mathematical objects.

研究动机与目标

• 为有理 Cherednik 代数及其基础结构提供一个自包含的导论。
• 建立 PBW 定理并发展有理 Cherednik 代数的表示理论，包括范畴 O 和标准模。
• 证明球面对称 Cherednik 代数与量子哈密顿约化代数 $ B_k $ 之间的同构，将李理论构造与 Cherednik 代数联系起来。
• 通过 Cherednik 代数的视角，统一可积系统、Hecke 代数、辛反射代数和 Calogero-Moser 空间等多样数学结构。

提出的方法

• 本文通过 PBW 定理引入有理 Cherednik 代数，证明其为群代数 $ S(h) times C W $ 的平坦形变。
• 它构造了有理 Cherednik 代数的范畴 $ O $，推广了半单李代数表示理论。
• 利用 Dunkl 算子及其对易性，证明了 Calogero-Moser 和 Olshanetsky-Perelomov 系统的可积性。
• 通过使用量子矩图对 $ D({gl}_n)^{{gl}_n} $ 应用量子哈密顿约化，定义了代数 $ B_k $，并证明其同构于球面对称 Cherednik 代数。
• 构造了形变的 Harish-Chandra 同态 $ ext{HC}_k $，作为一组平坦同态族，满足 $ ext{gr} B_k o bC[h imes h^*]^W $，证明 $ B_k $ 是 Calogero-Moser 空间的量子化，形变参数为 $ 1/k $。
• 同构 $ B_k o B_{1,k} $ 的证明依赖于形变理论技术，包括 Hochschild 上同调和普遍形变理论。

实验结果

研究问题

• RQ1 如何将 Dunkl 算子与坐标算子之间的对易关系形式化为单一的代数结构？
• RQ2 有理 Cherednik 代数的范畴 $ O $ 的结构是什么？它如何推广半单李代数的表示理论？
• RQ3 对称群的球面对称 Cherednik 代数是否同构于来自 $ D({gl}_n)^{{gl}_n} $ 的量子哈密顿约化代数？
• RQ4 形变的 Harish-Chandra 同态在联系经典与量子辛解析解之间起什么作用？
• RQ5 有理 Cherednik 代数中不可约模的支集如何与余伴随轨道的几何结构及 Macdonald-Mehta 积分相关联？

主要发现

• 有理 Cherednik 代数满足 PBW 定理，确保其为 $ S(h) times C W $ 的平坦形变，其基由 $ h $、$ W $ 和 $ h^* $ 的单项式构成。
• 对称群 $ S_n $ 的球面对称 Cherednik 代数 $ B_{1,k} $ 同构于量子哈密顿约化代数 $ B_k $，从而为球面对称 Cherednik 代数提供了李理论构造。
• 形变的 Harish-Chandra 同态 $ ext{HC}_k $ 是一组平坦同态族，满足 $ ext{gr} B_k o bC[h imes h^*]^W $，证明 $ B_k $ 是 Calogero-Moser 空间的量子化，形变参数为 $ 1/k $。
• 同态 $ ext{HC}_k $ 的核满足 $ ext{gr} K(k) = K_0 $ 对所有 $ k $ 成立，确认了该族的平坦性，并验证了经典与量子结构的一致性。
• 不可约模 $ L_c(bC) $ 的支集通过 Macdonald-Mehta 积分确定，从而为 Varagnolo 与 Vasserot 关于有限维表示分类的结论提供了简洁证明。
• Kirillov 赋形公式作为推论被重新获得，将有限维表示的特征标表达为在余伴随轨道上的积分，其中 Weyl 分母作为因子出现。