Character Formulae for Irreducible Modules

• Character formulae for irreducible modules are explicit expressions that encode weight multiplicities using algebraic, combinatorial, and geometric data.
• They are applied in diverse settings such as Lie algebras, superalgebras, quantum groups, and Cherednik algebras to clarify module structure and reducibility.
• Methodologies like alternating Weyl group sums, generalized Verma modules, and BGG resolutions offer concrete computational tools in both classical and modern representation theories.

A character formula for an irreducible module provides an explicit expression for the formal character—a generating function encoding the weight multiplicities—of the module in terms of well-understood algebraic, combinatorial, or geometric data. Such formulae are fundamental in the representation theory of Lie algebras, Lie superalgebras, quantum groups, algebraic groups in positive characteristic, current and affine algebras, rational Cherednik algebras, and related algebraic structures. The structure and methodology for establishing character formulae reflect and clarify the intricacies of reducibility, linkage, and the homological algebra of the underlying categories.

1. Character Formulae in Lie Algebras and Superalgebras

For semisimple Lie algebras over ℂ, the Weyl character formula gives a closed form for finite-dimensional irreducible modules. For a highest weight λ, the character is:

$$\operatorname{ch} V(\lambda) = \frac{\sum_{w \in W} \epsilon(w) e^{w(\lambda+\rho)}}{\prod_{\alpha > 0}(1 - e^{-\alpha})}$$

where $W$ is the Weyl group, $\epsilon(w)$ is its sign, and $\rho$ is the Weyl vector.

For Lie superalgebras, especially those of type I or with nontrivial odd roots, character theory becomes more elaborate due to typicality versus atypicality. For example, for $\mathfrak{osp}(3|2m)$, the character of a finite-dimensional irreducible module $L(\lambda)$ is expressed in terms of generalized Verma modules $M(\mu)$ as follows:

• Typical Case:

$$\chi(L(\lambda)) = \sum_{w \in \Gamma_m} (-1)^{\ell(w)} \chi(M(w(\lambda + \rho) - \rho))$$

with $\Gamma_m$ an ordered subset of the Weyl group, and the generalized Verma module character determined by an explicit rational function in $e^\mu$ with denominators reflecting even/odd root data (Cao et al., 2010).

• Atypical Case: The character is given by more intricate alternating sum formulae, involving blocks, tower patterns, and derived Verma modules (Cao et al., 2010).

For $\mathfrak{gl}(m|1)$, irreducible characters are encoded by a determinantal Jacobi–Trudi-type formula involving super Schur functions:

$\operatorname{ch} L(\lambda) = \det M(\mu;\nu)$

where $M(\mu;\nu)$ is built from generalized complete and elementary supersymmetric functions according to composite partition data dictated by the highest weight (Binh et al., 2018).

2. Kazhdan–Lusztig Polynomials and Canonical Bases

In the absence of a closed Weyl-type formula, such as in categories $\mathcal{O}$ for Lie (super)algebras, affine Lie algebras at negative level, or in modular and queer superalgebra settings, the characters of irreducible modules are expressed in terms of Kazhdan–Lusztig (KL) polynomials or categorical canonical bases.

• Queer Lie Superalgebras $\mathfrak{q}(n)$: The character formula in the half-integral BGG category uses the type $C$ canonical basis on a $q$-wedge module:

$$[L(\lambda)] = \sum_{\mu \in \Lambda_{1/2}} \ell_{\mu,\lambda}(1) [E(\mu)],\quad \operatorname{ch} L(\lambda) = \sum_{\mu} \ell_{\mu,\lambda}(1)\cdot \operatorname{ch} E(\mu)$$

where $E(\mu)$ is a parabolic Euler module with known Weyl-type character formula, and $\ell_{\mu,\lambda}(q)$ are KL-type polynomials arising from the dual canonical basis structure in the $q$-wedge Fock space of type $C$ (Cheng et al., 2015).

• Type $A$ (mixed-signature blocks): Character formulae are governed by type $A$ canonical bases and corresponding KL-type polynomials on mixed tensor modules (Cheng et al., 2015).
• Kazhdan–Lusztig Theory in Modular Lie Algebras: For reductive Lie algebras in large positive characteristic, the character of a simple module is an explicit signed or positive sum over parabolically induced (or "standard") modules, with coefficients given by parabolic affine KL polynomials depending on the cell or block structure (Bezrukavnikov et al., 2020).

3. Character Formulae in Quantum Groups and Generalizations

For quantum groups—both ordinary and generalized (such as quantum superalgebras)—character formulae parallel, but sometimes extend or complicate, classical structures.

• Typical Irreducible Modules for Generalized Quantum Groups: The character satisfies an alternating sum over the Weyl group acting on appropriately shifted highest weights:

$$\operatorname{ch} L(A) = \sum_{w \in W} \mathrm{sgn}(w) \cdot \operatorname{ch} M(A_w)$$

and equivalently, a Weyl–Kac-type fraction involving multiplicities in the root system and a shifted numerator (Yamane, 2019).

The notion of typicality is tightly linked to the vanishing of certain Shapovalov determinants, with explicit description in terms of the null roots of the bicharacter defining the quantum group.

4. Weyl–Kac and Modular Character Formulae

For affine Lie algebras and for representations in modular categories, character formulae require additional structure:

• Weyl–Kac Formula (Integrable Positive Level and Beyond): For integrable modules at positive integer level, the character formula is a sum over the (affine) Weyl group, weighted by sign and translated weights:

$$\operatorname{ch} L(\Lambda) = R^{-1} \sum_{w \in \widehat W} \epsilon(w) e^{w(\Lambda + \rho)}$$

with $R$ the (super)denominator (Kac et al., 2017).

• Negative Level, Nonintegrable Weights: For affine Lie algebras at $k < 0$, Kac–Wakimoto-type formulae express characters as signed sums over subsets of the affine Weyl group, with further correction factors—often derived via free-field and superdenominator identities (Kac et al., 2017).
• Modular Weyl–Kac Formula: For anti-spherical Hecke categories and algebraic groups in arbitrary characteristic $p \neq 2$, the character of the irreducible module concentrated in a single degree is given by a signed sum over the standard (cell) modules:

$$[L(1)] = \sum_{w \in {}^P W} (-v)^{\ell(w)} [\Delta(w)]$$

This formula is rigid with respect to base-change and is in terms of the Bruhat order within the (coset) Weyl group (Bowman et al., 2020).

5. Character Formulae in Current Algebras, Fusion Products, and Cherednik Algebras

• Current Algebras and Fusion Products: For current algebras $\mathfrak{sl}_n[t]$, graded character formulae are derived for tensor products and fusion products of irreducible modules. In type $A_2$, the graded character of the fusion product is computed via an explicit closed-form double or triple sum over combinatorial data, matching Littlewood–Richardson coefficients at $q=1$ and yielding a representation-theoretic proof of the saturation theorem (Khandai et al., 2023).
• Cherednik Algebras: In Cherednik category $\mathcal{O}_c$, for blocks with tight-multiplicity property, every irreducible module admits a minimal BGG resolution. The graded character is an alternating sum over the standards in the BGG resolution:

$$[L_c(\tau)] = \sum_{i=0}^e (-1)^i [\oplus_{p \in I_i} \Delta_c(p)]$$

The Hilbert series is thus an explicit sum of rational functions reflecting the graded structure of standard modules (Griffeth et al., 2015).

6. Structural Themes: Linkage, Translation, and Combinatorics

Character formulae reflect deeper structural and homological properties:

• Strong Linkage and Block Decomposition: In positive characteristic, the character problem reduces to finitely many "seed" characters due to Steinberg’s tensor product theorem and strong linkage principles. Translation and twisting functors provide recursion and connections between weights, which cut down the computation to manageable subcategories or blocks (Andersen, 2022).
• Parity and Positivity: In many settings (e.g., $\mathfrak{q}(n)$), the structure coefficients in the character expansion (e.g., $\ell_{\mu,\lambda}(1)$) enjoy positivity, parity-based vanishing, and deep combinatorial symmetries. Duality theorems further enforce relations among characters and their expansions in various bases (Cheng et al., 2015).
• Weight Space Decompositions and Orbit Sums: For group schemes such as $\operatorname{GL}_2$ over general rings, refined weight space decompositions aligned with Weyl group orbit data allow extraction of irreducible submodules in positive characteristic and connect explicitly to classical Weyl and Schur character formulae (Maakestad, 2024).

7. Examples and Applications

Explicit calculations and examples in various settings illustrate the power and subtleties of character formulae:

• For $\mathfrak{osp}(3|2m)$ and the natural module, the character computed via the generalized Verma module formula precisely matches the expected superdimension and weight structure, demonstrating the cancellation among Weyl group terms in the typical case (Cao et al., 2010).
• In the rational Cherednik setting, the formula specializes in type $A$ to the classical alternating-sum-over-permutations form, but extends to broader reflection group contexts via BGG resolutions (Griffeth et al., 2015).
• Modular and quantum group formulae not only recover classical dimensions in specializations but also clarify how the interplay of combinatorial, categorical, and homological structures governs the representation theory in these more general settings (Yamane, 2019, Bezrukavnikov et al., 2020).