GK Dimension of Simple Highest Weight Modules

• Gelfand-Kirillov dimension is a key invariant that measures the growth rate and complexity of simple highest weight modules in Lie algebra representation theory.
• It is computed via combinatorial and algorithmic methods using PBW filtrations, the Robinson–Schensted correspondence, and Lusztig’s a-function for both classical and exceptional types.
• The application of GK dimension connects module theory to the geometry of nilpotent orbits, revealing insights into minimal dimensions and quantum group analogues.

The Gelfand-Kirillov (GK) dimension of a simple highest weight module is one of the principal invariants characterizing the size and complexity of infinite-dimensional representations of complex semisimple Lie algebras. This invariant encodes the rate of growth of the enveloping algebra's action on a generating subspace of the module and establishes deep connections between representation theory and the geometry of nilpotent orbits. The GK dimension provides a uniform measure for both classical and exceptional types, as well as for certain quantum analogues and for scalar-type generalized Verma modules.

1. Definition and General Framework

Let $\mathfrak{g}$ be a complex simple Lie algebra with Cartan subalgebra $\mathfrak{h}$, root system $\Delta$, and positive system $\Delta^+$. The universal enveloping algebra $U(\mathfrak{g})$ admits the standard Poincaré–Birkhoff–Witt (PBW) filtration, where $U_k(\mathfrak{g})$ denotes all products of at most $k$ root vectors. For a finitely generated $U(\mathfrak{g})$-module $M$ with finite-dimensional generating subspace $M_0$, set $\mathfrak{h}$0. The Gelfand-Kirillov dimension is then

$\mathfrak{h}$1

For highest weight modules $\mathfrak{h}$2—the unique irreducible quotient of a Verma module $\mathfrak{h}$3—this dimension coincides with the dimension of the associated variety $\mathfrak{h}$4, which in turn is the closure of a single nilpotent $\mathfrak{h}$5-orbit when $\mathfrak{h}$6 is a Harish-Chandra module (Bai et al., 2022, Bai et al., 29 Sep 2025, Bai et al., 2024, Bai et al., 2024, Bai et al., 2020).

2. Combinatorial and Algorithmic Computation in the Classical Case

For classical types, the computation of GK dimension is achieved through a combination of PBW and combinatorial algorithms. A central tool is the application of the Robinson–Schensted (RS) correspondence to certain integral or half-integral string sequences derived from the highest weight. One proceeds by associating a combinatorial partition $\mathfrak{h}$7 (the RS shape) to the relevant sequence:

• Type $\mathfrak{h}$8: For integral weights, $\mathfrak{h}$9, where $\Delta$0 enumerates the rows of the shape (Bai et al., 2022, Bai et al., 2020).
• Types $\Delta$1: One passes to symmetrized doubled sequences $\Delta$2, applies RS, and extracts odd or even box counts to form the partition, leading to formulas such as $\Delta$3 for type $\Delta$4 or $\Delta$5, or $\Delta$6 for type $\Delta$7 (Bai et al., 2022, Bai et al., 2020).

In all these cases, the maximal GK dimension is achieved when the underlying generalized Verma module is irreducible, and coincides with the dimension of the nilradical of the relevant parabolic subalgebra.

Explicit formulas for scalar-type generalized Verma modules of type $\Delta$8 with highest weight $\Delta$9 (where $\Delta^+$0 is the $\Delta^+$1th fundamental weight) are (Bai et al., 2022):

• $\Delta^+$2 for $\Delta^+$3 or $\Delta^+$4, $\Delta^+$5
• $\Delta^+$6 for $\Delta^+$7, $\Delta^+$8
• $\Delta^+$9 for $U(\mathfrak{g})$0

The general reducibility criterion for scalar-type modules is $U(\mathfrak{g})$1 if and only if the generalized Verma $U(\mathfrak{g})$2 is reducible (Bai et al., 2022).

3. Connections to Lusztig’s $U(\mathfrak{g})$3-Function and Weyl Group Theory

The computation of GK dimension is systematically connected to Lusztig’s $U(\mathfrak{g})$4-function on the Weyl group. For any module $U(\mathfrak{g})$5, where $U(\mathfrak{g})$6 is antidominant for a parabolic subgroup, the principal formula is:

$U(\mathfrak{g})$7

where $U(\mathfrak{g})$8 is the number of positive roots, $U(\mathfrak{g})$9 is the integral Weyl subgroup stabilizing the integral structure, and $U_k(\mathfrak{g})$0 is Lusztig’s $U_k(\mathfrak{g})$1-function evaluated at $U_k(\mathfrak{g})$2, the minimal length element sending $U_k(\mathfrak{g})$3 to the antidominant chamber (Bai et al., 29 Sep 2025, Bai et al., 2020).

For exceptional types, the algorithm involves positive-index reduction (a sequence of simple reflections to reduce all fundamental weight coefficients to non-positive), decomposition of the integral root subsystem, and the use of factorwise combinatorial computation (classical types using Robinson–Schensted/Harish-Chandra combinatorics, small exceptions via PyCox and character tables) (Bai et al., 29 Sep 2025).

4. Uniform Formulas in Hermitian and Harish-Chandra Settings

For highest weight Harish-Chandra modules—including those for Hermitian symmetric pairs—there exist uniform combinatorial recipes for the GK dimension valid regardless of the finite- or infinite-dimensionality, or the explicit root length structure. These are formulated in terms of lower ideals $U_k(\mathfrak{g})$4 in the poset of positive noncompact roots, with their width (maximal antichain size) controlling the associated nilpotent orbit and thus the dimension (Bai et al., 2024, Bai et al., 2024).

General theorem (Bai–Hunziker–Xie–Zierau): Let $U_k(\mathfrak{g})$5 be a simple highest weight Harish-Chandra module, $U_k(\mathfrak{g})$6. Then:

• For simply-laced cases, $U_k(\mathfrak{g})$7, $U_k(\mathfrak{g})$8
• For non-simply-laced (integral/half-integral), breakpoints are governed by distinguished antichains and explicit piecewise-linear thresholds depending on $U_k(\mathfrak{g})$9, the parameter along the Wallach line

The associated variety $k$0 is the closure of a unique $k$1-orbit $k$2, and $k$3 (Bai et al., 2024).

5. Exceptional Lie Algebras and the Role of Root Subsystems

For simple highest weight modules over exceptional Lie algebras ($k$4, $k$5, $k$6, $k$7, $k$8), the same GK dimension principle applies but requires additional algorithmics to account for the intricate structure of root subsystems and cells. The case-by-case formulas enumerate possible $k$9-values and their relation to nilpotent orbits, with explicit tables available for each type (Bai et al., 29 Sep 2025). For integral weights, the maximal possible GK dimension corresponds to the maximal nilpotent orbits.

Algorithmically, the determination of $U(\mathfrak{g})$0 via positive-index reduction, decomposition into classical and exceptional factors, calculation of $U(\mathfrak{g})$1-values via combinatorics or PyCox, and the master formula

$U(\mathfrak{g})$2

cover all classical and exceptional types (Bai et al., 29 Sep 2025).

6. Minimal GK Dimension, Associated Varieties, and the Joseph Ideal

Minimal positive GK dimension modules are of particular geometric and physical interest. For Hermitian Lie algebras of tube type, the minimal GK dimension among nontrivial highest weight modules arises precisely at the "first reduction point" along the Wallach–Jakobsen line of unitarizable highest weights. In these cases, the annihilator coincides with the Joseph ideal, characterized as the unique completely prime two-sided ideal whose associated variety is the closure of the minimal nilpotent orbit (Bai, 2012).

A universal quadratic element $U(\mathfrak{g})$3 in the enveloping algebra annihilates a module if and only if the module attains the minimal positive GK dimension. This quadratic relation, explicit in generators $U(\mathfrak{g})$4 for the conformal algebra, holds across all classical tube types and extends to $U(\mathfrak{g})$5 and $U(\mathfrak{g})$6 (Bai, 2012). The Joseph ideal contains $U(\mathfrak{g})$7 precisely when the associated variety is minimal.

7. Extensions to Quantum Groups and Non-Integral Weights

The notion of GK dimension extends to simple highest weight modules over quantum groups at generic $U(\mathfrak{g})$8. The explicit formula

$U(\mathfrak{g})$9

remains valid, with $M$0 a character of the Cartan part of $M$1, and $M$2 the Lusztig $M$3-function in the integral Weyl subgroup attached to $M$4 (Futorny et al., 16 Dec 2025). Quantum phenomena permit the existence of modules with strictly smaller minimal GK dimension for type $M$5 due to the appearance of root subsystems (not dual-closed), a new feature absent from the classical setting.

The table below summarizes the minimal nonzero GK dimensions across Lie types:

Type	Minimal $M$6
$M$7	$M$8
$M$9	$M_0$0 (quantum), $M_0$1 (classical)
$M_0$2	$M_0$3
$M_0$4	$M_0$5
$M_0$6	$M_0$7
$M_0$8	$M_0$9
$\mathfrak{h}$00	$\mathfrak{h}$01
$\mathfrak{h}$02	$\mathfrak{h}$03
$\mathfrak{h}$04	$\mathfrak{h}$05

For each type, the minimum is realized by analyzing the maximal proper root subsystems $\mathfrak{h}$06 and the corresponding $\mathfrak{h}$07 values (Futorny et al., 16 Dec 2025).

---

References:

(Bai et al., 2022, Bai et al., 29 Sep 2025, Bai et al., 2024, Bai et al., 2024, Bai et al., 2020, Bai et al., 2017, Bai, 2012, Futorny et al., 16 Dec 2025)