Lusztig's Weight Map Overview

• Lusztig’s weight map is an umbrella term for various constructions that assign weight data in algebraic contexts including q-analogues, Hecke theory, and quantum groups.
• It refines classical weight multiplicity theory via polynomial-valued maps, Coxeter-theoretic weight functions, and geometric assignments to Weyl-group data.
• Applications span character theory, combinatorial models, and quantum Frobenius implementations, underscoring its significance across multiple mathematical domains.

The expression Lusztig’s weight map does not designate a single standard construction across the literature surveyed here. This suggests that the phrase is best treated as an umbrella label for several Lusztig-style assignments in representation theory, algebraic groups, Hecke algebras, and quantum groups: a polynomial-valued map $\mu\mapsto \mathfrak M_\lambda^\mu(q)$ refining weight multiplicities, a Coxeter-theoretic weight function $L$, the group-valued map $\phi_G:G\to \Irr(W)$ whose fibers are Lusztig’s strata, the weight/idempotent part of the quantum Frobenius on modified quantum groups, and Lusztig–Vogan-type maps from orbit data to dominant weights (Panyushev, 2014, Geck et al., 2012, Carnovale, 2019, Qi, 2016, Rush, 2017).

1. Terminological scope and principal meanings

In the cited arXiv literature, several nearby constructions are explicitly present, while the phrase weight map itself is often absent. In particular, one finds Lusztig’s $q$-analogues of weight multiplicities, a weight function $L$ in Coxeter and Hecke theory, the map $\phi_G$ attached to Lusztig’s strata, Lusztig’s map $\Psi$ for unipotent classes, the asymptotic Hecke algebra map $\phi$, and crystal-theoretic weight or energy functions rather than a single universally adopted object (Carnovale, 2019, Geck et al., 2012, Dawydiak, 2021, Carnovale et al., 2012, Choi et al., 2024).

Setting	Representative construction	Source and target
Weight multiplicities	$\mu\mapsto \mathfrak M_\lambda^\mu(q)$	weights $\mu$ to $L$0
Coxeter/Hecke theory	$L$1	Coxeter group to parameter values
Reductive groups	$L$2	$L$3 to $L$4
Quantum groups	$L$5, $L$6, Frobenius on $L$7	idempotent/Cartan weight data
Nilpotent-orbit theory	$L$8, $L$9	orbit data to dominant weights

The common feature is not a fixed codomain but a recurrent role for weight data: highest weights, root gradings, toral characters, Weyl-group parameters, or nilpotent-orbit labels. A plausible implication is that any encyclopedia treatment must be comparative rather than singular.

2. Lusztig $\phi_G:G\to \Irr(W)$0-weight multiplicities as a polynomial-valued weight map

The most literal weight-theoretic construction in the cited material is the assignment, for fixed dominant $\phi_G:G\to \Irr(W)$1, sending a weight $\phi_G:G\to \Irr(W)$2 to Lusztig’s $\phi_G:G\to \Irr(W)$3-analogue of the $\phi_G:G\to \Irr(W)$4-weight multiplicity in $\phi_G:G\to \Irr(W)$5. With

$\phi_G:G\to \Irr(W)$6

Panyushev defines

$\phi_G:G\to \Irr(W)$7

This polynomial satisfies $\phi_G:G\to \Irr(W)$8 unless $\phi_G:G\to \Irr(W)$9; if $q$0, then $q$1 is monic of degree $q$2; $q$3; and $q$4, so evaluation at $q$5 recovers the ordinary weight multiplicity (Panyushev, 2014).

The same paper makes clear that positivity is delicate. If $q$6 but $q$7 is not a weight of $q$8, then $q$9, hence $L$0, and therefore $L$1 must have some negative coefficients. Broer’s criterion gives an exact characterization of those $L$2 for which $L$3 for all dominant $L$4: this is equivalent to $L$5 for all $L$6. The same work also records the induction lemma

$L$7

and the generating-series identity

$L$8

These formulas place the map simultaneously in character theory, line-bundle cohomology on $L$9, and the Gupta–Brylinski bilinear form (Panyushev, 2014).

Later work recasts this polynomial-valued map combinatorially. In type $\phi_G$0, Kostka–Foulkes polynomials are presented as Lusztig’s $\phi_G$1-analogues of weight multiplicities, and a sign-reversing involution on Kostant partitions yields a positive formula in which the relevant statistic is simply the number of parts: $\phi_G$2 Here the decisive grading map is $\phi_G$3, while the nearest literal weight map is either $\phi_G$4 or $\phi_G$5 (Lecouvey et al., 2021). For type $\phi_G$6 and type $\phi_G$7 spin weights, KR-crystal models give positive formulas in terms of energy functions, for example

$\phi_G$8

and the same circle of ideas leads to a generalized root-weighting map $\phi_G$9, including the special choice

$\Psi$0

which defines a $\Psi$1-version of the type $\Psi$2 $\Psi$3-weight multiplicity (Choi et al., 2024, Lee, 2024).

3. Weight functions and Hecke-theoretic orderings

In Coxeter and Hecke theory, the closest object to a weight map is Lusztig’s weight function

$\Psi$4

For finite Coxeter groups one assumes $\Psi$5 for $\Psi$6, and in the equal-parameter case there exists $\Psi$7 such that $\Psi$8 for all $\Psi$9. This datum determines the unequal-parameter Hecke algebra and controls Lusztig’s $\phi$0-invariants, families, and the preorder $\phi$1 on $\phi$2. In type $\phi$3, with generators $\phi$4, the function is determined by

$\phi$5

and the resulting preorder is described combinatorially by symbol data $\phi$6. The paper proves

$\phi$7

and globally

$\phi$8

with equality only if $\phi$9 belong to the same family (Geck et al., 2012).

For the affine Weyl group of type $\mu\mapsto \mathfrak M_\lambda^\mu(q)$0, the corresponding notion is a positive weight function

$\mu\mapsto \mathfrak M_\lambda^\mu(q)$1

with $\mu\mapsto \mathfrak M_\lambda^\mu(q)$2 for $\mu\mapsto \mathfrak M_\lambda^\mu(q)$3 and the same additivity on reduced products. It is determined by

$\mu\mapsto \mathfrak M_\lambda^\mu(q)$4

or equivalently by the ratios

$\mu\mapsto \mathfrak M_\lambda^\mu(q)$5

The Hecke algebra multiplication is then

$\mu\mapsto \mathfrak M_\lambda^\mu(q)$6

The paper uses these parameters to compute Lusztig’s $\mu\mapsto \mathfrak M_\lambda^\mu(q)$7-function via balanced systems of cell representations and to prove Lusztig’s conjectures $\mu\mapsto \mathfrak M_\lambda^\mu(q)$8–$\mu\mapsto \mathfrak M_\lambda^\mu(q)$9 for all choices of positive weight function in type $\mu$0 (Guilhot et al., 2018).

In this Hecke-theoretic sense, weight means parameter data rather than a map from weights of a representation. The distinction from the polynomial map $\mu$1 is substantial.

4. Maps to Weyl-group data: strata, unipotent classes, and affine cells

A different Lusztig-style construction appears for a connected reductive algebraic group $\mu$2 over an algebraically closed field. If $\mu$3 is the Jordan decomposition, with $\mu$4 the Weyl group of $\mu$5, then

$\mu$6

where $\mu$7 is the Springer representation attached to $\mu$8 with trivial local system and $\mu$9 is Lusztig–Spaltenstein truncated induction. Its fibers

$L$00

are Lusztig’s strata. The paper proves that each stratum is locally closed, is a union of sheets, and has irreducible components exactly the sheets it contains; these results hold in arbitrary characteristic (Carnovale, 2019). The paper does not use the phrase weight map for $L$01, but it is one of the most important maps in the Lusztig-strata literature.

For unipotent classes, Lusztig’s map

$L$02

is studied on spherical unipotent conjugacy classes. If $L$03 is the unique element such that $L$04 is dense in $L$05, then

$L$06

for spherical unipotent $L$07. The same paper proves that a conjugacy class in a finite Weyl group has a unique maximal length element if and only if it has a maximum in Bruhat order (Carnovale et al., 2012). Here again, the object is a map to Weyl-group conjugacy classes, but not a weight map in the multiplicity-theoretic sense.

An affine analogue appears in the map

$L$08

constructed from the singular supports of IC sheaves on the affine flag variety. The main theorem identifies it with the Kazhdan–Lusztig map on the Langlands dual side: $L$09 where $L$10 is Lusztig’s bijection from nilpotent orbits in $L$11 to two-sided cells of $L$12. The proof uses affine Springer fibers and Yun’s global Springer theory, and the result is presented as evidence for a conjecture of Lusztig on strata in a connected reductive group (Chua, 2024).

5. Modified quantum groups, idempotents, and additive weight operators

In the modified quantum-group setting, weights are encoded by orthogonal idempotents rather than by a single map. Lusztig’s modified algebra $L$13 has generators

$L$14

with

$L$15

For a unital $L$16-module $L$17, the $L$18-weight space is

$L$19

The same paper identifies Lusztig’s modified algebra with modified forms of multi-parameter twisted Hopf algebras by an isomorphism preserving the idempotents: $L$20 This means that the weight labels are preserved exactly, while the root generators are rescaled by explicit weight-dependent scalars (Fan et al., 2013).

For the quantum Frobenius on $L$21, the weight behavior becomes an actual partial map on idempotents. The paper defines

$L$22

A plausible implication is that on idempotents one has the corresponding rule $L$23 when $L$24, and $L$25 otherwise. The paper then categorifies this using a thickening functor that sends weight $L$26 to weight $L$27 (Qi, 2016).

A further refinement appears in Lusztig’s quantum group of divided powers, where one constructs primitive elements

$L$28

After specialization, they satisfy

$L$29

These $L$30 realize the additive Cartan part of the unrolled small quantum group inside $L$31 and recover full additive weight data from the multiplicative $L$32-operators (Lentner, 2017).

On the geometric side of Hall-type realizations, Lusztig’s algebra $L$33 carries the grading

$L$34

while an $L$35-graded vector space $L$36 has dimension vector

$L$37

which the paper states can also be viewed as an element in the weight lattice $L$38. This is the basic weight bookkeeping behind the geometric realization of Lusztig’s symmetries on the whole quantum group (Zhao, 2017).

6. Lusztig–Vogan type maps and distinguished weights

A map whose codomain is literally a dominant weight lattice appears in the Lusztig–Vogan setting. For $L$39, the bounded derived category $L$40 has one basis indexed by $L$41, the set of pairs $L$42 of nilpotent orbits and irreducible $L$43-equivariant vector bundles, and another indexed by $L$44, the dominant weights. Bezrukavnikov’s theorem gives a unique bijection

$L$45

In type $L$46, the paper provides a direct combinatorial computation: if $L$47 encodes the orbit and bundle data, then

$L$48

where $L$49 is produced by a recursive algorithm. This is one of the clearest instances of a Lusztig-style map to actual weights (Rush, 2017).

A later development studies the iterated Lusztig–Vogan bijection in type $L$50. Writing

$L$51

the paper defines distinguished weights as those dominant weights whose repeated images under $L$52 eventually become zero. It proves the anti-symmetry

$L$53

for every distinguished weight $L$54, and gives the asymptotic formula

$L$55

where the $L$56 are the telephone numbers defined by

$L$57

This places the weight map in a recursive dynamical setting on dominant weights (Cao, 26 May 2025).

Taken together, these constructions suggest that Lusztig’s weight map is not a single invariant but a family of context-dependent assignments. In weight-multiplicity theory it is the $L$58-deformed map $L$59; in Hecke theory it is the parameter function $L$60; in geometric representation theory it may be $L$61, $L$62, or $L$63; in quantum groups it is encoded by idempotents, Frobenius divisibility, and primitive Cartan operators; and in Lusztig–Vogan theory it becomes an explicit map from orbit data to dominant weights. The unifying theme is the controlled transfer of weight information across algebraic, geometric, and combinatorial models.