[论文解读] Blocks of restricted rational Cherednik algebras for $G(m,d,n)$

Maurizio Martino|arXiv (Cornell University)|Sep 16, 2010

Algebraic structures and combinatorial models参考文献 9被引用 5

一句话总结

本文通过在 $ t=0 $ 时利用 Dunkl-Opdam 子代数，确定了复反射群 $ G(m,d,n) $ 的受限有理 Cherednik 代数的块分解。研究证明，若且唯若某些加权多重分拆余数匹配，婴儿 Verma 模位于同一块中，从而将先前的结果推广至任意参数，并将组合结构与循环 Hecke 代数联系起来。

ABSTRACT

We study the Dunkl-Opdam subalgebra of the rational Cherednik algebra for wreath products at $t=0$, and use this to describe the block decomposition of restricted rational Cherednik algebras for $G(m,d,n)$.

研究动机与目标

• 将受限有理 Cherednik 代数的块分类推广至任意参数，超越此前已知的有理参数情形。
• 通过组合不变量阐明 $ G(m,d,n) $ 的表示理论与循环 Hecke 代数之间的联系。
• 利用 Dunkl-Opdam 子代数的特征值，建立 $ \overline{H}_c $ 的一般块分解公式。
• 将 $ G(m,1,n) $ 的结果推广至正规子群 $ G(m,d,n) $，特别是当 $ d \mid m $ 时的情形。
• 提供一个统一框架，将 Cherednik 代数的块与 Hecke 代数的族和细胞在不等参数下联系起来。

提出的方法

• 构造 Dunkl-Opdam 子代数 $ \mathfrak{Z}_c $ 作为 $ H_c $ 的交换子代数，由元素 $ z_i $ 生成，通过直接计算和广义 Jack 多项式证明其为中心元素。
• 通过比较 $ \mathfrak{Z}_c $ 在婴儿 Verma 模 $ \overline{\Delta}_c(\boldsymbol{\lambda}) $ 上的作用的特征值，确定块分解。
• 定义 $ m $-重分拆 $ \boldsymbol{\lambda} $ 的每个分量 $ \lambda^i $ 的余数 $ \mathrm{Res}_{\lambda^i}(x) $，并引入权重 $ a_i $ 以形成加权余数和。
• 证明两个婴儿 Verma 模位于同一块当且仅当加权和 $ \sum_{i=0}^{m-1} x^{a_i} \mathrm{Res}_{\lambda^i}(x^{-\kappa}) $ 相等。
• 通过限制参数元组 $ c $ 并分析多重分拆上 $ C_d $-作用的轨道，将结果应用于 $ G(m,d,n) $。
• 利用 [Bel] 中已知结果，描述 $ G(m,d,n) $ 的块分解，根据 $ d $-重复多重分拆和轨道结构区分不同情形。

实验结果

研究问题

• RQ1 当 $ t=0 $ 时，受限有理 Cherednik 代数在 $ G(m,d,n) $ 上的块分解如何依赖于参数 $ c $？
• RQ2 Dunkl-Opdam 子代数能否用于在 $ t=0 $ 情形下对任意参数进行块分类？
• RQ3 确定两个 $ G(m,d,n) $ 的婴儿 Verma 模位于同一块的精确组合条件是什么？
• RQ4 $ \overline{H}_c(G(m,d,n)) $ 的块与循环 Hecke 代数 $ H_n^a $ 的块之间有何关系？
• RQ5 在具有相同轨道但不同系统特征标的情形下，$ G(m,d,n) $ 的不可约模在什么条件下位于同一块中？

主要发现

• 对于 $ G(m,d,n) $，$ \overline{H}_c $ 的块分解由多重分拆 $ \boldsymbol{\lambda} $ 与 $ \boldsymbol{\mu} $ 的加权余数和 $ \sum_{i=0}^{m-1} x^{a_i} \mathrm{Res}_{\lambda^i}(x^{-\kappa}) $ 的相等性决定。
• 当 $ \kappa \neq 0 $ 时，块条件简化为 $ \sum_{i=0}^{m-1} x^{a_i} \mathrm{Res}_{\lambda^i}(x) = \sum_{i=0}^{m-1} x^{a_i} \mathrm{Res}_{\mu^i}(x) $，与有理参数情形一致。
• 当 $ \kappa = 0 $ 时，块条件变为 $ \sum_{i=0}^{m-1} x^{a_i} |\lambda^i| = \sum_{i=0}^{m-1} x^{a_i} |\mu^i| $，仅依赖于各分量的大小。
• 若 $ \boldsymbol{\lambda} $ 是 $ d $-重复的，且其余数和不同于所有其他 $ \boldsymbol{\mu} $，则 $ \overline{\Delta}_{c'}(\{\boldsymbol{\lambda}\}, \epsilon) $ 与 $ \overline{\Delta}_{c'}(\{\boldsymbol{\lambda}\}, \eta) $ 位于同一块当且仅当 $ \epsilon = \eta $，反映了轨道结构。
• $ G(m,d,n) $ 的块结构完全由轨道 $ \{\boldsymbol{\lambda}\} $ 和特征标 $ \epsilon $ 决定，块仅在余数和条件满足时才会合并。
• 该结果证实了 Cherednik 代数块与循环 Hecke 代数 Rouquier 族之间猜想的联系，即使在非有理参数下也成立。