Hall–Littlewood polynomials sit at a remarkable intersection of symmetric functions, finite-field representation counting and geometry. They interpolate between monomial-type and Schur-type behavior, while their coefficients encode Hall algebra structure constants and representation-theoretic multiplicities.
This chapter continues BTT’s Hall Algebras, Macdonald Polynomials and DAHA, Plethysm and Littlewood–Richardson Multiplicities.
Hall–Littlewood family
For each partition λ, the Hall–Littlewood polynomial P_λ(x;t) is a symmetric polynomial depending on a parameter t. At t=0, one recovers the Schur function:
P_λ(x;0)=s_λ(x).
At t=1, after the usual normalization conventions, the family degenerates toward monomial-symmetric behavior.
The parameter t measures how far the basis has moved away from the irreducible-character basis represented by Schur functions.
Definition by symmetrization
In n variables, one standard definition is
P_λ(x_1,…,x_n;t)=1/v_λ(t) Σ_{w∈S_n} w\left(x^λ ∏_{i<j}(x_i−t x_j)/(x_i−x_j)\right),
with v_λ(t) a normalization depending on multiplicities of equal parts. Different texts package the normalization into P, Q or related bases.
Small examples
For λ=(1), P_(1)=m_(1)=x_1+x_2+···.
For λ=(1,1), P_(1,1)=e_2, independent of t in the standard normalization.
For λ=(2), one obtains a t-dependent interpolation between the Schur function s_(2) and the monomial basis. In two variables this can be checked directly from the symmetrization formula.
Finite abelian p-groups
Partitions classify finite abelian p-groups:
G_λ≈⊕_i Z/p^{λ_i}Z.
Hall polynomials count subgroups of one type with quotient of another type. For fixed partitions λ,μ,ν, the number of subgroups N⊂G_ν with N≈G_μ and G_ν/N≈G_λ is given, for suitable p, by a polynomial in p.
These are the classical Hall polynomials.
From subgroup counting to multiplication
Introduce a basis element u_λ for each isomorphism type G_λ. Multiplication counts exact sequences:
u_λu_μ=Σ_ν g_{λμ}^ν(p)u_ν.
The resulting Hall algebra is isomorphic, after a parameter translation and normalization, to the ring of symmetric functions with Hall–Littlewood basis.
This is the historical source of the name “Hall–Littlewood”.
Jordan quiver interpretation
Nilpotent representations of the Jordan quiver are classified by Jordan block partitions. Over F_q, extension counting among these nilpotent modules produces the same Hall algebra.
Thus the passage
partition ↔ nilpotent module ↔ finite abelian p-group ↔ Hall basis element ↔ symmetric function
is not analogy. It is one underlying representation structure expressed in several languages.
Kostka–Foulkes polynomials
Schur functions expand in the Hall–Littlewood basis via Kostka–Foulkes polynomials:
s_λ=Σ_μ K_{λμ}(t)P_μ(x;t)
under the standard convention.
At t=1, K_{λμ}(1) is the ordinary Kostka number, counting semistandard Young tableaux of shape λ and weight μ. At t=0, the transition becomes triangular and collapses appropriately.
Charge statistic
Lascoux and Schützenberger gave a positive combinatorial formula
K_{λμ}(t)=Σ_T t^{charge(T)}
over semistandard tableaux T of shape λ and weight μ.
This turns coefficient positivity into an explicit graded counting rule and anticipates the broader philosophy of categorification.
Green polynomials
Green polynomials connect Hall–Littlewood functions with character theory of finite general linear groups GL_n(F_q). Values of unipotent characters and Green functions are expressed through specializations and transition coefficients in the Hall–Littlewood framework.
The same partitions label unipotent conjugacy classes, irreducible unipotent characters and symmetric-function basis elements, creating a three-way bridge between finite groups, geometry and combinatorics.
Geometry of flag varieties
Kostka–Foulkes polynomials admit geometric interpretations through cohomology of Springer fibres and related varieties. Graded cohomology produces the t-grading, while Weyl-group actions provide the representation labels.
This gives a geometric explanation for positivity: coefficients count dimensions of graded vector spaces rather than arising from cancellation.
Hall–Littlewood as q=0 Macdonald
Macdonald polynomials P_λ(x;q,t) specialize at q=0 to Hall–Littlewood polynomials. DAHA therefore extends the Hall–Littlewood world by adding a second deformation direction.
The q=0 specialization removes one layer of difference-operator structure while preserving the t-deformed symmetric-function basis.
Hall algebra versus Hall–Littlewood parameter
Finite-field Hall multiplication naturally involves q=|F_q|, while Hall–Littlewood notation traditionally uses t, often specialized to q^{-1} after normalization.
Failure to state this parameter translation is one of the most common sources of sign and power errors.
Geometric Hall algebras
Replacing finite-field counts by sheaf-theoretic convolution on moduli stacks of representations produces geometric Hall algebras. Cohomological and K-theoretic refinements lead to cohomological Hall algebras and quantum groups.
Thus classical Hall–Littlewood theory is the low-dimensional visible floor of a much larger geometric representation architecture.
Verification workflow
- Fix P/Q normalization for Hall–Littlewood functions.
- State the relation between finite-field q and symmetric-function t.
- Distinguish Hall polynomials from Hall–Littlewood polynomials.
- Track whether partitions classify modules, conjugacy classes or characters in each statement.
- Use Kostka–Foulkes rather than ordinary Kostka numbers when grading matters.
- Separate the Jordan-quiver Hall algebra from general quiver Hall algebras.
- State geometric hypotheses before interpreting coefficients as cohomology dimensions.
Practice
1. What happens at t=0? 2. What objects do partitions classify in the classical Hall algebra? 3. What do Hall polynomials count? 4. What are Kostka–Foulkes polynomials? 5. How does Macdonald theory contain Hall–Littlewood theory? 6. Why does geometry explain positivity?
Answers. Schur functions; finite abelian p-groups/nilpotent Jordan modules; subgroup or extension counts; graded transition coefficients between Schur and Hall–Littlewood bases; set q=0; coefficients become dimensions of graded cohomology spaces.
Representation Mathematics — Batch 15
Begin with KLR / Quiver Hecke Algebras, continue to W-Algebras and Slodowy Slices and Affine Springer Fibres, then return to the BTT Mathematics Learning Hub.