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

Roman Bezrukavnikov, Pavel Etingof|ArXiv.org|Mar 25, 2008

Algebraic structures and combinatorial models参考文献 2被引用 11

一句话总结

本文为有理 Cherednik 代数引入了抛物诱导与限制函子，通过引入一个参数 $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ 来克服抛物子代数无法嵌入全代数的障碍。这些函子是正合的且互为伴随，其在参数 $ b $ 上具有非平凡单值性，被用于在不施加 $ c \notin \frac{1}{2} + \mathbb{Z} $ 条件的情况下证明 Gordon-Stafford 定理，分类有限维表示，并验证 Okounkov 关于 $ S_n $ 的非球面对表示的猜想。其核心贡献是在 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

研究动机与目标

• 将 Hecke 代数中的抛物诱导与限制函子推广至有理 Cherednik 代数，其中标准的嵌入构造方法失效。
• 定义依赖于参数 $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ 的函子，捕捉非平凡单值性，并避免在 $ b $ 之间出现典范同构。
• 应用这些函子，在不施加 $ c \notin \frac{1}{2} + \mathbb{Z} $ 条件的情况下证明 Gordon-Stafford 定理，并对有理 Cherednik 代数的有限维表示进行分类。
• 验证 Okounkov 关于 $ W = S_n $ 时范畴 $ \mathcal{O} $ 中不可约非球面对表示数量的猜想。

提出的方法

• 从 $ \mathcal{O}_c(W,\mathfrak{h})_0 $ 到 $ \mathcal{O}_c(W',\mathfrak{h}')_0 $ 定义依赖于参数 $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ 的抛物诱导与限制函子 $ \text{Res}_b $ 和 $ \text{Ind}_b $。
• 证明这些函子是正合的且互为伴随，且在 $ b $ 之间存在的同构并非典范的，从而导致参数空间中非平凡的单值性。
• 利用这些函子将 Whittaker 模的范畴与范畴 $ \mathcal{O}_c(W_\lambda,\mathfrak{h})_0 $ 关联起来，建立范畴的等价关系。
• 通过移除 $ c \notin \frac{1}{2} + \mathbb{Z} $ 条件，应用这些函子证明 Gordon-Stafford 定理。
• 利用这些函子计算 $ S_n $ 的 $ \mathcal{O} $ 中不可约非球面对表示的数量，表明其与 $ c = -r/m $ 时的非 $ m $-正则分拆数一致。
• 通过附录将该框架应用于退化 DAHA，表明退化 DAHA 的有限维表示等价于在稳定子子群上取有理 Cherednik 代数的有限维表示的直和。

实验结果

研究问题

• RQ1 尽管抛物子代数不存在自然嵌入，能否将抛物诱导与限制函子推广至有理 Cherednik 代数？
• RQ2 参数 $ b \in \mathfrak{h}_{\text{reg}}^{W'} $ 在定义这些函子时起什么作用？单值性如何产生？
• RQ3 能否利用这些函子在不施加 $ c \notin \frac{1}{2} + \mathbb{Z} $ 条件的情况下证明 Gordon-Stafford 定理？
• RQ4 对于有理 Cherednik 代数的 $ S_n $，范畴 $ \mathcal{O} $ 中不可约非球面对表示的数量是多少？其如何依赖于 $ c $？
• RQ5 退化 DAHA 的有限维表示与有理 Cherednik 代数在稳定子子群上的表示有何关系？

主要发现

• 抛物诱导与限制函子 $ \text{Res}_b $ 和 $ \text{Ind}_b $ 是正合的且互为伴随，其在 $ b $ 之间的同构并非典范的，从而导致参数空间中非平凡的单值性。
• Whittaker 模的范畴 $ H_c(W,\mathfrak{h}) $ 与 $ \mathcal{O}_c(W_\lambda,\mathfrak{h})_0 $ 等价，为这些模提供了几何解释。
• 在不施加 $ c \notin \frac{1}{2} + \mathbb{Z} $ 条件的情况下重新证明了 Gordon-Stafford 定理，表明当 $ c \notin \frac{1}{2} + \mathbb{Z} $ 时，$ H_c(S_n,\mathbb{C}^{n-1}) $ 与它的球面子代数 Morita 同构。
• 当 $ W = S_n $ 时，对于 $ c = -r/m $ 且满足 $ 2 \leq m \leq n $，$ 0 < r < m $，$ \gcd(r,m) = 1 $，$ \mathcal{O} $ 中不可约非球面对表示的数量等于非 $ m $-正则分拆的数量，从而验证了 Okounkov 与 Bezrukavnikov 的猜想。
• 当 $ -1 < c < 0 $ 时，球面 Cherednik 代数 $ A_c(S_n) $ 是单的，这是非球面对表示分类的直接推论。
• 退化 DAHA 的有限维表示等价于对轨道代表元 $ x \in \Sigma' $ 的 $ FD(H_{c_x}(W_x,\mathfrak{h})) $ 的直和，将结果推广至任意光滑群作用。