[论文解读] Complex Reflection Groups and Fake Degrees

Eric Opdam|ArXiv.org|Aug 5, 1998

Computability, Logic, AI Algorithms参考文献 9被引用 14

一句话总结

本文提出了一套全面的框架，用于通过其循环外代数和单值性，计算并分析有限复反射群的不可约表示的虚假度。该框架通过伽罗瓦作用和Kazhdan–Lusztig型对合，揭示了虚假度中的深层对称性，证明了在伽罗瓦共轭下虚假度满足半回文性质，并给出了表示特征标、Hecke代数参数与余不变代数结构之间明确的公式关联。

ABSTRACT

In this paper we study the Hecke algebra associated with a complex reflection group W. We discuss some properties of the Galois group of the splitting field of this algebra, and study its action on the so-called fake degrees of W. The methods we use to study the Hecke algebra are based on the construction of representations of this algebra as monodromy of equations of Knizhnik-Zamolodchikov type.

研究动机与目标

• 通过其循环外代数系统地计算有限复反射群不可约表示的虚假度。
• 通过伽罗瓦作用、图自同构与Kazhdan–Lusztig型对合理解虚假度的对称性。
• 为虚假度建立类似于普通Hecke代数在Coxeter群表示理论中作用的理论基础。
• 证明在伽罗瓦共轭下虚假度满足半回文性质，将表示理论与代数数论联系起来。
• 阐明Hecke代数1-参数特化中反射特征标的有理条件，及其与半回文虚假度的关联。

提出的方法

• 将余不变代数 $ RW = P / P P_+^W $ 视为与正则表示 $ bC[W] $ 同构的分次 $ W $-模，其分次特征标为 $ \tr_{RW}(w) = \frac{ \text{prod}_{i=1}^n (1 - T^{d_i}) }{ \text{det}_V(1 - T w^{-1}) } $。
• 定义不可约表示 $ \tau $ 的虚假度 $ R_\tau(T) $ 为 $ F_{\bar\tau}(T) = \frac{1}{|W|} \text{sum}_{w \to W} \frac{ \bar\tau(w) }{ \text{det}_V(1 - T w) } \text{prod}_{i=1}^n (1 - T^{d_i}) $，其值属于 $ \bbZ[T] $ 且系数非负。
• 应用由 $ j(T_i) = -q_{C,0} q_{C,1} T_{i'}^{-1} $ 定义的循环外代数上的Kazhdan–Lusztig对合 $ j $，通过 $ j(\tau) = \tau \times \text{det} $（在Coxeter情形）或通过内自同构（在复情形）诱导表示上的对合。
• 通过 $ \bar\tau \to \tau(k_b) \times \text{char}_b $ 识别伽罗瓦作用 $ \bar\tau \to \tau $，其中对所有 $ C $ 有 $ b_C = 1 $，并证明 $ \bar\tau $ 在 $ \bar\tau \to \tau(k_b) \times \text{char}_b $ 下映射为 $ \tau $，从而与半回文性质建立联系。
• 利用恒等式 $ T^{\text{rank}(\text{refl})} R_\tau(T^{-1}) = F_{\tau \times \text{det}}(T) $ 推导出半回文对称性 $ R_\tau(T) = T^c R_{\bar\tau}(T^{-1}) $，其中 $ c = \text{rank}(\text{refl}) - \frac{1}{\text{dim} \tau} \text{sum}_{r \text{ refl}} \tau(r) $。
• 证明Hecke代数1-参数特化中反射特征标的有理性当且仅当虚假度满足半回文性质，依据Malle与Orlik–Solomon的结果。

实验结果

研究问题

• RQ1 如何通过Hecke代数结构系统地计算并表征复反射群不可约表示的虚假度？
• RQ2 伽罗瓦作用与Kazhdan–Lusztig型对合下，虚假度的变换受何种对称性支配？
• RQ3 在循环外代数1-参数特化中，反射特征标的有理条件是什么？
• RQ4 虚假度的半回文性质如何与1-参数特化中反射特征标的有理性相关联？
• RQ5 伽罗瓦作用 $ \bar\tau \to \tau(k_b) \times \text{char}_b $ 到虚假度函数方程的精确代数机制是什么？

主要发现

• 复反射群 $ W $ 的不可约表示 $ \tau $ 的虚假度 $ R_\tau(T) $ 属于 $ \bbZ[T] $ 且系数非负，等于其在余不变代数 $ RW $ 中的齐次嵌入次数 $ p_j^\tau $ 对应的 $ T^{p_j^\tau} $ 之和。
• 虚假度满足半回文恒等式 $ R_\tau(T) = T^c R_{\bar\tau}(T^{-1}) $，其中 $ c = \text{rank}(\text{refl}) - \frac{1}{\text{dim} \tau} \text{sum}_{r \text{ refl}} \tau(r) $，在伽罗瓦共轭下建立了深刻的对称性。
• 对于Coxeter群及某些例外群如 $ G_{31} $ 和 $ G(4,2,n) $，元素 $ g_{C,0} $ 与 $ g_{C,1} $ 的阶为2且重合，意味着参数生成的域扩张在复共轭下封闭。
• Hecke代数上的Kazhdan–Lusztig对合 $ j $ 诱导表示上的作用，使得 $ j(\tau) = \tau \times \text{det} $，且该作用与伽罗瓦操作 $ g_{C,i} $ 交换，从而为对称性证明提供了基础。
• Hecke代数1-参数特化中反射特征标的有理性等价于虚假度的半回文性质，为表示理论与代数数论之间提供了概念性联系。
• 当对所有 $ C $ 有 $ b_C = 1 $ 时，伽罗瓦操作 $ \bar\tau \to \tau(k_b) \times \text{char}_b $ 与Malle工作中使用的伽罗瓦自同构 $ \bar\tau \to \tau $ 一致，且该操作是证明半回文恒等式的关键。