[论文解读] A tableau approach to the representation theory of 0-Hecke algebras

Jia Huang|arXiv (Cornell University)|Jan 21, 2015

Advanced Combinatorial Mathematics参考文献 15被引用 5

一句话总结

本文提出了一种基于表格的0-Hecke代数表示理论方法，适用于A、B和D型，扩展了对称群的经典Young表格框架。它建立了0-Hecke代数的Koszul群与非交换对称函数（NSym）和拟对称函数（QSym）之间的同构关系，提供了显式的coproduct公式，并通过表格转置解释了对合（antipode）。其主要贡献在于为三种类型建立了一个统一的组合框架，将表示理论与对称函数理论联系起来。

ABSTRACT

A 0-Hecke algebra is a deformation of the group algebra of a Coxeter group. Based on work of Norton and Krob--Thibon, we introduce a tableau approach to the representation theory of 0-Hecke algebras of type A, which resembles the classic approach to the representation theory of symmetric groups by Young tableaux and tabloids. We extend this approach to type B and D, and obtain a correspondence between the representation theory of 0-Hecke algebras of type B and D and quasisymmetric functions and noncommutative symmetric functions of type B and D. Other applications are also provided.

研究动机与目标

• 开发一种基于表格的A型0-Hecke代数表示理论框架，类似于对称群的Young表格。
• 将此框架扩展至B型和D型，建立置换模、Specht模和Young规则的类比。
• 在A、B和D型中，构造0-Hecke代数的Koszul群与霍普夫代数NSym和QSym之间的显式同构。
• 通过表格转置和0-Hecke代数的自同构，为QSym和NSym中的对合提供组合解释。
• 通过定义模与余模结构并识别霍普夫代数结构的障碍，弥合B型和D型表示理论中的结构性空白。

提出的方法

• 使用广义带形和标准表格来参数化Hn(0)的投射不可约模Pα，其中表格的读取字生成循环模。
• 通过基于表格的构造，定义非交换特征ch: K0(H•(0)) → NSym和拟对称特征Ch: G0(H•(0)) → QSym。
• 通过将QSym与NSym之间的配对应用于NSym中的coproduct（源自定理4.3），建立NSym和QSym的coproduct公式。
• 引入B型和D型中NSym和QSym的类比（NSymB和QSymB），作为非交换变量的正式幂级数，其中chB和ChB被定义为模与余模的同构。
• 利用表格方法，将NSym和QSym的对合解释为表格的转置，该转置与Fayers研究的0-Hecke代数的自同构相关联。
• 对循环Hn(0)-模应用长度滤子，将拟对称特征细化为分次版本Chq(M)，从而导出涉及q-多项式系数和q-带形系数的组合恒等式。

实验结果

研究问题

• RQ1 如何通过类比对称群的Young表格，系统地发展A型0-Hecke代数的表示理论？
• RQ2 在B型和D型中，置换模、Specht模和Young规则的类比是什么？它们与拟对称函数和非交换对称函数有何关系？
• RQ3 能否通过从表格导出的显式coproduct公式，证明非交换特征ch: K0(H•(0)) → NSym是余代数同构？
• RQ4 QSym和NSym中的对合的组合解释是什么？它与A、B和D型中表格的对称性有何关联？
• RQ5 为何B型塔的Koszul群无法赋予霍普夫代数结构？在此设定下，模/余模同构的障碍是什么？

主要发现

• 非交换特征ch: K0(H•(0)) → NSym是余代数同构，其显式coproduct公式源自表格分解。
• 拟对称特征Ch: G0(H•(0)) → QSym是余模同构，与ch通过非标准对偶性配对，该对偶性不由Frobenius对偶性所支配。
• 对任意复合α，偏序Schur函数sα/β等于sβ\textbackslashα，且两者均可表示为表格分解的和，其中包含[δ]和[γ]条件的显式公式。
• NSym和QSym的对合对应于表示理论中使用的表格的转置，这种对称性通过0-Hecke代数的自同构统一起来。
• 投射不可约模Pα的维数由带形数rα给出，即q→1时的q-带形数rα(q)的极限，其为包含q-阶乘的行列式公式。
• 证明了一个组合恒等式：∑β≼α≼γ rα(q) = [n/n1,…,nk]q rα1(q)⋯rαk(q)，其中复合(n1,…,nk)对应于D(γ)∖D(β)，包含显式的q-多项式系数和q-带形系数。