q-Schur algebras are finite-dimensional algebras controlling polynomial representations of quantum general linear groups while simultaneously mediating the action of Hecke algebras on tensor space. They are the q-deformed bridge between Schur–Weyl duality, highest-weight representation theory and modular decomposition problems.
This chapter continues Schur–Weyl Duality, Hecke Algebras, Quantum Groups and KLR Algebras.
Classical Schur algebra
Let V=k^n and consider V^{⊗r}. GL_n acts diagonally and S_r acts by permuting tensor positions. Their actions commute.
The classical Schur algebra S(n,r) can be defined as End_{kS_r}(V^{⊗r}). Its module category controls homogeneous polynomial GL_n-representations of degree r.
Replace S_r by the Hecke algebra
The Iwahori–Hecke algebra H_q(S_r) deforms the symmetric-group algebra. Its generators T_i satisfy braid relations and a quadratic relation such as (T_i−q)(T_i+1)=0, depending on normalization.
Quantum tensor space carries a right H_q(S_r)-action compatible with the left action of U_q(gl_n).
Definition of q-Schur algebra
The q-Schur algebra S_q(n,r) is the centralizer of the Hecke action on q-tensor space, or equivalently can be defined as an endomorphism algebra of a direct sum of permutation modules for H_q(S_r).
At q=1, under compatible ground-ring assumptions, it specializes to the classical Schur algebra.
Quantum Schur–Weyl duality
The images of U_q(gl_n) and H_q(S_r) on tensor space centralize one another in the standard generic setup. q-Schur algebra captures the finite-dimensional image of the quantum-group action relevant to polynomial degree r.
This is the exact q-deformed analogue of the GL_n/S_r double-centralizer architecture.
Weights and compositions
Tensor space decomposes by weight according to how many tensor factors use each basis vector. These weights are compositions λ=(λ_1,…,λ_n) of r.
Idempotents in the q-Schur algebra project to these weight spaces. Dominant weights, equivalently partitions of r with at most n parts, label highest-weight modules.
Weyl modules
q-Schur algebras are quasi-hereditary under standard hypotheses. Their standard modules Δ(λ), often called Weyl modules, are indexed by partitions λ.
Simple modules L(λ), costandard modules ∇(λ), projective covers and tilting modules fit the same highest-weight architecture encountered in category O.
Semisimple versus root-of-unity regimes
When q is generic over characteristic zero, Hecke and q-Schur representation theory is semisimple in the expected finite-degree range.
When q is a root of unity, Weyl modules can become reducible and decomposition numbers become highly nontrivial. This parallels modular representation theory in positive characteristic.
Schur functor
An idempotent selecting the weight corresponding to (1^r) gives a functor from q-Schur modules to Hecke-algebra modules.
Under this Schur functor, suitable standard modules map to Specht modules, connecting polynomial quantum-group representations with symmetric-group deformation theory.
Decomposition numbers
The multiplicity [Δ(λ):L(μ)] measures how a Weyl module decomposes into simples. At roots of unity these numbers are related to canonical bases, affine Weyl combinatorics and Kazhdan–Lusztig-type phenomena.
Thus decomposition matrices of finite-dimensional q-Schur algebras are shadows of much larger quantum-group structures.
Canonical bases
q-Schur algebras can be realized as quotients or finite pieces of modified quantum groups. Canonical bases descend to distinguished bases of q-Schur algebras and their modules.
This links Batch 16 back to Canonical Bases: the geometric basis of an infinite quantum group controls finite polynomial representation algebras.
BLM geometry
Beilinson, Lusztig and MacPherson constructed quantum gl_n geometrically from convolution on pairs of partial flag varieties over finite fields.
Finite q-Schur algebras appear naturally at fixed dimension, while stabilization as r grows recovers the modified quantum group. Geometry therefore explains the passage from finite Schur algebras to U_q(gl_n).
Type A KLR connection
Cyclotomic KLR algebras and cyclotomic Hecke algebras provide graded models for related highest-weight representation categories. Graded Schur-type algebras refine q-Schur decomposition theory and expose hidden q-gradings.
The resulting network connects Specht modules, Weyl modules, canonical bases and categorified quantum groups.
A small degree-two check
For r=2 and n≥2, partitions (2) and (1,1) label the two polynomial highest weights. At generic q, tensor square splits into q-symmetric and q-antisymmetric pieces, deforming Sym²V and Λ²V.
The q-Schur algebra records the endomorphisms respecting this Hecke decomposition, while specialization q→1 recovers the classical split.
Verification workflow
- Fix the Hecke quadratic-relation normalization.
- State the ground field/ring and whether q is generic or a root of unity.
- Distinguish compositions indexing weight spaces from partitions indexing dominant weights.
- Separate q-Schur algebra from the full quantum group.
- Track the Schur functor idempotent convention.
- Do not transfer semisimplicity across root-of-unity specialization.
- State grading conventions when using KLR refinements.
Practice
1. What is S(n,r)? 2. What replaces kS_r in the q-deformation? 3. What does S_q(n,r) control? 4. What labels Weyl modules? 5. Why are roots of unity special? 6. How do canonical bases enter?
Answers. End_{kS_r}(V^{⊗r}); the Hecke algebra H_q(S_r); degree-r polynomial quantum GL_n representations; partitions of r with at most n parts; semisimplicity can fail and decomposition numbers become nontrivial; q-Schur algebras inherit distinguished bases from modified quantum groups/geometric constructions.
Representation Mathematics — Batch 16
Begin with Canonical Bases, continue through Cohomological Hall Algebras and Preprojective Algebras, then return to the BTT Mathematics Learning Hub.