[论文解读] Blocks and families for cyclotomic Hecke algebras

Maria Chlouveraki|arXiv (Cornell University)|Jul 9, 2008

Advanced Algebra and Geometry参考文献 38被引用 9

一句话总结

本文為與複反射群相關的循環Hecke代數建立了全面的框架，用於確定Rouquier塊——推廣的特徵族。利用本質超平面的塊半連續性與特殊參數化方法，提出了一種統一的計算方法，僅依賴於不可約特徵的組合數據與洛朗多項式特殊化，從而解決了以往在非質數冪參數下算法失效的問題。

ABSTRACT

The families of characters, defined by Lusztig for Weyl groups, play an important role in the representation theory of finite reductive groups. The definition of Rouquier for the families of characters in terms of blocks of the Hecke algebra has made possible the generalization of this notion to the case of complex reflection groups. In this article, we study the Rouquier blocks of the cyclotomic Hecke algebras and we show that they depend on numerical data determined by the generic Hecke algebra. Moreover, we provide the algorithm and the results of their determination for all exceptional complex reflection groups.

研究动机与目标

• 透過循環Hecke代數，將特徵族的概念從Weyl群推廣至所有複反射群。
• 解決先前算法在類型$G(de,e,r)$群中非質數冪參數時失效的限制。
• 建立統一的方法，利用半連續性性質與本質超平面計算Rouquier塊。
• 為所有複反射群（包括例外型與無窮序列）提供完整且正確的Rouquier塊分類。
• 為未來在非Coxeter設定下推廣Kazhdan-Lusztig基與單值特徵族奠定基礎。

提出的方法

• 該方法依賴於Rouquier塊的半連續性性質，即塊僅取決於專特殊化參數$n_i$所屬的本質超平面。
• 本質超平面由複反射群$W$的數值不變量定義，每個此類超平面$H$會誘導不可約特徵的一個分劃$\mathcal{B}(H)$，形成塊。
• 給定循環特殊化$v_i \mapsto y^{n_i}$的Rouquier塊，是包含整數$n_i$的本質超平面所對應的塊$\mathcal{B}(H)$的最小並集。
• 該方法使用通用Hecke代數$\mathcal{H}(W)$，定義為 braid 群代數的商代數，並透過$v_i \mapsto y^{n_i}$特殊化為循環Hecke代數。
• 利用包含$\Phi_1$多項式乘積的顯式公式計算Schur元素，並透過參數規範化使代數在$K = \mathbb{Q}(\zeta_n)$上分裂為半單。
• 對於$G(de,e,2)$等群，方法透過使用扭曲對稱代數與參數的$f$次根，同時處理奇數與偶數$e$，確保各情況下的一致性。

实验结果

研究问题

• RQ1 如何將特徵族的概念從Weyl群推廣至所有複反射群？
• RQ2 當$d$不是質數冪時，計算循環Hecke代數Rouquier塊的正確算法方法為何？
• RQ3 循環Hecke代數的Rouquier塊如何依賴於專特殊化參數$n_i$？
• RQ4 本質超平面在此類代數塊結構中扮演何種角色？
• RQ5 是否可利用塊的半連續性性質，統一並修正所有複反射群中先前的計算結果？

主要发现

• 循環Hecke代數的Rouquier塊完全由包含專特殊化參數$n_i$的本質超平面決定，且為對應於這些超平面的塊$\mathcal{B}(H)$的最小並集。
• 針對$G(de,e,r)$群的算法已修正並推廣至所有$d$，不僅限於質數冪，解決了早期工作中已知的失效問題。
• 對於$G(n,1,r)$，不可約特徵$\chi_\lambda$的Schur元素由包含$x$、$u_s$及$\Phi_1$多項式乘積的精確公式給出，並明確標示指數$a_L$與$b_L$。
• 對於$G(2n,2,2)$（其中$n = de/2$），度數1與度數2特徵的Schur元素透過$\Phi_1$因式分解與規範化參數$\mathcal{X}_i, \mathcal{Y}_j, \mathcal{Z}_k$明確計算。
• $K(\mathcal{X}_i, \mathcal{Y}_j, \mathcal{Z}_k)\mathcal{H}(G(2n,2,2))$代數為分裂半單，確認了Schur元素規範化與因式分解的正確性。
• 在循環Hecke代數、Kazhdan-Lusztig細胞與Cherednik代數中觀察到的半連續性性質，暗示了這些領域之間存在深刻但尚未解釋的結構關聯。