[Paper Review] Character and dimension formulae for general linear superalgebra

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

Algebraic structures and combinatorial models10 references4 citations

TL;DR

This paper provides an explicit closed-form formula for the generalized Kazhdan-Lusztig polynomials of finite-dimensional irreducible representations of the general linear superalgebra 𝔤𝔩_{m|n}, enabling a complete character formula in Kac-Weyl form. The key contribution is a closed-form dimension formula for any finite-dimensional irreducible representation, resolving a long-standing conjecture by van der Jeugt et al. and establishing a one-to-one correspondence between composition factors of r-fold atypical Kac modules over 𝔤𝔩_{m|n} and those over 𝔤𝔩_{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.

Motivation & Objective

• To compute generalized Kazhdan-Lusztig polynomials explicitly for finite-dimensional irreducible representations of 𝔤𝔩_{m|n}.
• To prove the conjectural character formula of van der Jeugt et al. (1980s) for 𝔤𝔩_{m|n} representations.
• To derive a closed-form dimension formula for any finite-dimensional irreducible 𝔤𝔩_{m|n}-module.
• To establish a one-to-one correspondence between composition factors of r-fold atypical Kac modules over 𝔤𝔩_{m|n} and those over 𝔤𝔩_{r|r}.

Proposed method

• The authors use Brundan’s algorithm for computing generalized Kazhdan-Lusztig polynomials, enhanced by introducing the notion of heights of weights with respect to atypical roots.
• They derive an explicit formula for the Kazhdan-Lusztig polynomials in terms of permutation groups of atypical roots (Theorem 3.24).
• The character formula is simplified from an infinite sum into the Kac-Weyl form using the generalized polynomials (Theorem 4.9).
• The dimension formula is obtained by evaluating the character at a limit point using the denominator formula and inner product identities (Theorem 4.14).
• The correspondence between composition factors of r-fold atypical Kac modules is established via height-based reduction (Theorem 3.29).
• The method relies on the structure of the root system, the Weyl group action, and the use of symmetric functions over the set of atypical roots.

Experimental results

Research questions

• RQ1 Does the generalized Kazhdan-Lusztig polynomial for 𝔤𝔩_{m|n} admit a closed-form expression in terms of atypical root permutations?
• RQ2 Can the conjectural character formula of van der Jeugt et al. for 𝔤𝔩_{m|n} be rigorously proven using Kazhdan-Lusztig theory?
• RQ3 Is it possible to simplify the infinite sum character formula into the Kac-Weyl form for arbitrary finite-dimensional irreducible representations of 𝔤𝔩_{m|n}?
• RQ4 What is the dimension of any finite-dimensional irreducible representation of 𝔤𝔩_{m|n}, and can it be expressed in closed form?
• RQ5 Is there a reduction of r-fold atypical Kac modules over 𝔤𝔩_{m|n} to those over 𝔤𝔩_{r|r} via composition factor correspondence?

Key findings

• The generalized Kazhdan-Lusztig polynomial K_{λ,μ}(q) depends only on the heights of weights λ and μ with respect to their atypical roots, enabling a compact parametrization.
• A closed-form formula for the Kazhdan-Lusztig polynomials is derived, explicitly involving permutations of atypical roots (Theorem 3.24).
• The conjectural character formula of van der Jeugt et al. is rigorously proven to hold for all finite-dimensional irreducible 𝔤𝔩_{m|n}-modules.
• The character formula is successfully simplified into the Kac-Weyl form, allowing for effective dimension computation (Theorem 4.9).
• A closed-form dimension formula is derived for any finite-dimensional irreducible representation of 𝔤𝔩_{m|n}, given by Theorem 4.14.
• A one-to-one correspondence is established between the composition factors of r-fold atypical Kac modules over 𝔤𝔩_{m|n} and those over 𝔤𝔩_{r|r}, reducing the general case to the minimal case (Theorem 3.29).