[论文解读] Character and dimension formulae for general linear superalgebra

Yucai Su, R. B. Zhang|ArXiv.org|Mar 19, 2004

Algebraic structures and combinatorial models参考文献 10被引用 4

一句话总结

本文为一般线性超代数 𝔤𝔩_{m|n} 的有限维不可约表示的广义 Kazhdan-Lusztig 多项式提供了显式闭式公式，从而在 Kac-Weyl 形式下实现了完整的特征标公式。关键贡献是任一有限维不可约表示的闭式维数公式，解决了 van der Jeugt 等人长期存在的猜想，并建立了 𝔤𝔩_{m|n} 上 r 重反典型 Kac 模与 𝔤𝔩_{r|r} 上相应模之间组成因子的一一对应关系。

ABSTRACT

The generalized Kazhdan-Lusztig polynomials for the finite dimensional irreducible representations of the general linear superalgebra are computed explicitly. Using the result we establish a one to one correspondence between the set of composition factors of an arbitrary $r$-fold atypical $gl_{m|n}$-Kac-module and the set of composition factors of some $r$-fold atypical $gl_{r|r}$-Kac-module. The result of Kazhdan-Lusztig polynomials is also applied to prove a conjectural character formula put forward by van der Jeugt et al in the late 80s. We simplify this character formula to cast it into the Kac-Weyl form, and derive from it a closed formula for the dimension of any finite dimensional irreducible representation of the general linear superalgebra.

研究动机与目标

• 显式计算 𝔤𝔠_{m|n} 有限维不可约表示的广义 Kazhdan-Lusztig 多项式。
• 证明 van der Jeugt 等人（1980 年代）关于 𝔤𝔠_{m|n} 表示的猜想特征标公式。
• 推导任意有限维不可约 𝔤𝔠_{m|n}-模的闭式维数公式。
• 建立 𝔤𝔠_{m|n} 上 r 重反典型 Kac 模与 𝔤𝔠_{r|r} 上相应模之间组成因子的一一对应关系。

提出的方法

• 作者采用 Brundan 的广义 Kazhdan-Lusztig 多项式计算算法，并通过引入与反典型根相关的权的高度概念加以增强。
• 他们推导出以反典型根排列表示的 Kazhdan-Lusztig 多项式显式公式（定理 3.24）。
• 利用广义多項式，将特征标公式从无穷级数简化为 Kac-Weyl 形式（定理 4.9）。
• 通过在极限点处求值特征标并结合分母公式与内积恒等式，获得维数公式（定理 4.14）。
• 通过基于高度的约化方法，建立 𝔤𝔠_{m|n} 上 r 重反典型 Kac 模与 𝔤𝔠_{r|r} 上相应模之间组成因子的对应关系（定理 3.29）。
• 该方法依赖于根系结构、Weyl 群作用，以及在反典型根集合上的对称函数的使用。

实验结果

研究问题

• RQ1 广义 Kazhdan-Lusztig 多项式 K_{λ,μ}(q) 是否能以反典型根排列的闭式表达？
• RQ2 能否利用 Kazhdan-Lusztig 理论严格证明 van der Jeugt 等人关于 𝔤𝔠_{m|n} 的猜想特征标公式？
• RQ3 能否将任意有限维不可约表示的无穷级数特征标公式简化为 Kac-Weyl 形式？
• RQ4 任意有限维不可约表示 𝔤𝔠_{m|n} 的维数是多少？能否以闭式表达？
• RQ5 是否存在通过组成因子对应关系，将 𝔤𝔠_{m|n} 上 r 重反典型 Kac 模约化为 𝔤𝔠_{r|r} 上的模？

主要发现

• 广义 Kazhdan-Lusztig 多项式 K_{λ,μ}(q) 仅依赖于权 λ 与 μ 相对于其反典型根的高度，从而实现了紧凑的参数化。
• 推导出 Kazhdan-Lusztig 多项式的闭式公式，显式涉及反典型根的排列（定理 3.24）。
• van der Jeugt 等人关于 𝔤𝔠_{m|n} 的猜想特征标公式被严格证明对所有有限维不可约 𝔤𝔠_{m|n}-模成立。
• 特征标公式成功简化为 Kac-Weyl 形式，从而实现了有效的维数计算（定理 4.9）。
• 推导出任意有限维不可约表示 𝔤𝔠_{m|n} 的闭式维数公式，见定理 4.14。
• 建立了 𝔤𝔠_{m|n} 上 r 重反典型 Kac 模与 𝔤𝔠_{r|r} 上相应模之间组成因子的一一对应关系，从而将一般情形约化为最小情形（定理 3.29）。