[论文解读] Induction and restriction functors for rational Cherednik algebras

Roman Bezrukavnikov, Pavel Etingof|arXiv (Cornell University)|Mar 25, 2008

Advanced Topics in Algebra被引用 8

一句话总结

本文为有理Cherednik代数引入了抛物诱导与限制函子，从而深化了其表示理论的结构性分析。它在无需预先限制参数c的条件下证明了Gordon-Stafford的Morita等价性，对不含Sn-不变向量的O-范畴中的表示进行了分类，并验证了关于其数量的一个猜想，同时确立了当−1 < c < 0时球面对称Cherednik代数的简洁性。

ABSTRACT

We introduce parabolic induction and restriction functors for rational Cherednik algebras, and study their basic properties. Then we discuss applications of these functors to representation theory of rational Cherednik algebras. In particular, we prove the Gordon-Stafford theorem about Morita equivalence of the rational Cherednik algebra for type A and its spherical subalgebra, without the assumption that c is not a half-integer, which was required up to now. Also, we classify representations from category O over the rational Cherednik algebras of type A which do not contain an S_n-invariant vector, and confirm a conjecture of Okounkov and the first author on the number of such representations. In the second version we have added a result on the simplicity of the spherical Cherednik algebra of type A for -1<c<0, and a strengthened version of the main result of arXiv:math/0312474, as well as an appendix by the second author containing arXiv:0706.4308, on the reducibility of the polynomial representation of the trigonometric Cherednik algebra.

研究动机与目标

• 为有理Cherednik代数发展抛物诱导与限制函子，以增强对其表示理论结构的理解。
• 在不假设c ≠ 半整数的条件下，重新证明类型A有理Cherednik代数的Gordon-Stafford Morita等价定理。
• 对类型A有理Cherednik代数O-范畴中不包含S_n-不变向量的表示进行分类。
• 验证Okounkov与第一作者提出的关于此类表示数量的猜想。
• 确立类型A球面对称Cherednik代数在参数区间(−1, 0)内的简洁性。

提出的方法

• 作者在有理Cherednik代数的框架内定义了抛物诱导与限制函子，推广了李代数表示理论中的标准构造。
• 他们应用这些函子分析O-范畴与球面对称子代数的结构，特别关注S_n-不变向量的作用。
• 通过新的函子工具，重新证明了Gordon-Stafford定理，无需假设c不是半整数。
• 通过刻画其合成因子并利用诱导/限制函子，实现了对不含S_n-不变向量的O-范畴中表示的分类。
• 利用O-范畴的结构与函子的性质，证明了当−1 < c < 0时球面对称Cherednik代数的简洁性。
• 第二作者的附录包含了关于三角函数Cherednik代数的多项式表示可约性的结果，扩展了早期工作。

实验结果

研究问题

• RQ1 如何在有理Cherednik代数的背景下定义并应用抛物诱导与限制函子？
• RQ2 是否可以在不假设c不是半整数的条件下，建立类型A有理Cherednik代数的Gordon-Stafford Morita等价性？
• RQ3 如何对类型A有理Cherednik代数O-范畴中不包含S_n-不变向量的所有表示进行完整分类？
• RQ4 Okounkov与第一作者关于此类表示数量的猜想是否成立？
• RQ5 当参数位于区间(−1, 0)时，类型A球面对称Cherednik代数是否简洁？

主要发现

• 证明了类型A有理Cherednik代数与其球面对称子代数之间的Gordon-Stafford Morita等价性，且无需假设c ≠ 半整数。
• 本文对类型A有理Cherednik代数O-范畴中所有不包含S_n-不变向量的表示进行了分类。
• 确认了此类表示的数量与Okounkov与第一作者的猜想预测一致。
• 证明了当参数c满足−1 < c < 0时，类型A球面对称Cherednik代数是简洁的。
• 附录中证明了三角函数Cherednik代数的多项式表示是可约的。
• 在第二版中，主要结果得到加强与扩展，包括对O-范畴结构及诱导/限制函子作用的全新洞见。