Categorification and Geometric Representation Theory
Categorification and geometric representation theory studies algebraic structures through categories, functors, and geometry. These pages develop Hopf and Hecke algebras, quantum enveloping algebras, integral forms, highest-weight modules, crystal lattices, tensor-product crystals, and global bases. Quantum affine representations and Fock spaces connect these constructions to KLR algebras, highest-weight categorification, and Ariki decomposition-number theorems. Kazhdan–Lusztig theory, Soergel methods, projective functors, category O, and localization provide categorical and geometric approaches to characters and multiplicities. Hall algebras organize extension data in finitary, derived, motivic, and cohomological settings; further topics include Yangians, root-of-unity quantum groups, tilting quotients, braided tensor structures, stability, wall crossing, sewing, and defects.
Abstract Algebra, Category Theory, and Homological Algebra supply ring, module, tensor, and derived foundations. Coxeter Groups, Lie Theory, and Representation Theory of Groups provide reflection and highest-weight methods; Algebraic Geometry supports descent and convolution. Symmetric Groups and Symmetric Functions supplies branching and partition combinatorics, while Braid Groups contributes categorical actions and diagram constructions. The reading pathway follows these prerequisite chains through quantum groups and crystals to categorification, and through Hall integration and tensor categories to geometric and topological applications. Related Clifford, diagram-algebra, and vertex-algebra topics remain in Quantum Algebra and Representation Theory. Example companions accompany the theory pages, with each construction retaining its own hypotheses and conventions.
Pathway
The parts run in order. Everything a page needs from this group has been read by the time you reach it, and the level on each row is how many dependency steps into the group that page sits.
Part 1 · Algebraic and geometric foundations
6 pagesBegin with tensor coherence, quantum enveloping algebras, ordinary Hecke Specht constructions, Kazhdan–Lusztig bases, proper descent, and equivariant convolution. These are independent entry points within the collection; their external prerequisites remain on the linked subject pages.
This page builds the convolution/Ext interface used by the geometric realizations of quiver Hecke algebras and their canonical bases.
1 definition, 2 lemmas, 2 theoremsExamples & counterexamples →This page develops the elementary Hecke, Bruhat, bar and triangular-basis constructions, followed by polynomial recursion, inversion and cell theory.
7 definitions, 8 lemmas, 1 proposition, 6 theoremsExamples & counterexamples →This page builds the integral comparison between the ordinary Dipper-James polytabloid module P(λ)=z λ H and the sign-twisted Murphy cell C M(λ')^θ over the generic type-A…
1 definition, 7 lemmas, 2 theorems, 1 corollaryExamples & counterexamples →This page develops cohomological descent for proper morphisms of finite-type complex algebraic varieties in the analytic topology, with bounded algebraically constructible…
2 lemmas, 1 theoremExamples & counterexamples →This page constructs the Drinfeld–Jimbo quantized enveloping algebra of a symmetrizable Cartan datum and develops its quantum Serre relations, its Hopf structure and its triangular decomposition.
7 definitions, 10 lemmas, 6 theoremsExamples & counterexamples →- Tensor Coherence and Algebraic Descent10 results
The page fixes the tensor conventions shared by the Hopf and Hecke branches: k is a field, ⊗ means ⊗ k over k-vector spaces, tensor powers are left-associated with the empty…
1 definition, 9 lemmasExamples & counterexamples →
Part 2 · Hecke bases and quantum integral forms
5 pages · after Part 1Develop coalgebras and generic Hecke bases alongside divided powers, integral forms, and quantum highest-weight modules. Soergel Hodge theory and the quantum-symmetry interface prepare the categorical and structural branches.
Work over a field k with algebraic tensor products. The associator and unit maps from tensor-coherence-and-algebraic-descent make the coalgebra equations equalities of linear…
3 definitions, 3 lemmas, 2 theoremsExamples & counterexamples →This page develops the integral structure of the Drinfeld–Jimbo algebra and the highest weight representation theory of its integrable modules over the label lattice.
6 definitions, 11 lemmas, 2 propositions, 2 theoremsExamples & counterexamples →A generic Hecke algebra replaces each involution relation by a quadratic relation while retaining braid relations.
1 definition, 3 lemmas, 1 theoremExamples & counterexamples →This page coordinates the existing Hopf, Hecke, quantum-group, KLR, and braid routes.
1 definition, 1 lemmaExamples & counterexamples →This page develops the Hodge theory of Soergel bimodules for type A in the real category of The real type-A Soergel category by scalar extension: intersection forms on…
7 definitions, 15 lemmas, 8 theorems, 1 corollaryExamples & counterexamples →
Part 3 · Affine actions and crystal lattices
8 pages · after Parts 1 and 2Continue to comodules, bialgebras, Hecke induction and traces, affine Hecke algebras, and Yangians. Kashiwara operators and crystal lattices begin the crystal branch. Projective functors and noninvertible symmetries develop their categorical applications.
The diagonal action of a group on two representations uses g↦ g⊗ g, while a primitive symmetry uses x↦ x⊗1+1⊗ x.
2 definitions, 5 lemmas, 1 theoremExamples & counterexamples →Right coactions have the form ρ:M→ M⊗ C. Matrix coefficients depend on a chosen finite basis, while their comatrix identities express basis-independent coaction equations…
2 definitions, 2 lemmas, 2 theoremsExamples & counterexamples →The page defines the embedded parabolic subalgebra, induction, restriction, and the coefficient-at-identity trace over the universal Hecke coefficient ring.
2 definitions, 2 theoremsExamples & counterexamples →- Kashiwara Operators and Crystal Lattices13 results
This page develops the crystal theory of the negative half U q^- and of integrable highest weight modules over the local ring A 0=ℚ[q] (q): the Kashiwara operators extracted…
5 definitions, 4 lemmas, 4 theoremsExamples & counterexamples → An anyonic path space is a fixed-boundary Hom space in a finite semisimple fusion category.
4 definitions, 5 lemmas, 2 propositions, 4 theoremsExamples & counterexamples →This page develops projective functors on a regular integral category-O block and Soergel's functor V=Hom O(P(w 0·λ),-) with values in the coinvariant algebra.
6 definitions, 9 lemmas, 2 propositions, 8 theoremsExamples & counterexamples →For n≥2, the universal coefficient ring is R 0=ℤ[Q,Q⁻¹], the weight lattice is ℤⁿ, and its Laurent algebra is A=R 0[X 1^±1,…,X n^±1].
3 definitions, 2 lemmas, 2 theoremsExamples & counterexamples →This page develops one exact spectral model: the type-A RTT Yangian Y i(gl N) over ℂ, for N≥2, with rational difference parameter and R N(x)=xI+iP N.
3 definitions, 5 lemmas, 2 propositions, 2 theoremsExamples & counterexamples →
Part 4 · Hopf modules, characters, and tensor crystals
10 pages · after Parts 1, 2 and 3Study cyclotomic quotients, specialization, Hopf modules, and duality. Tensor-product crystals and highest-weight uniqueness build on crystal lattices, while character formulas, unequal-parameter cells, and modular categories continue their respective branches.
For finite Coxeter groups, the standard basis makes the Hecke algebra free over its Laurent coefficient ring, so coefficient specializations retain an explicit finite basis.
1 definition, 5 lemmas, 2 theoremsExamples & counterexamples →This page constructs the general weighted Reshetikhin–Turaev functor and its full modular-functor factorization from explicit local algebra and marked relative surgery.
4 definitions, 39 lemmas, 6 theorems, 1 corollaryExamples & counterexamples →The multiplicative Ariki–Koike algebra is obtained from the affine type-A Hecke algebra by imposing one cyclotomic polynomial on the first commuting generator.
2 definitions, 4 lemmas, 2 theoremsExamples & counterexamples →This page separates the three descents needed for a Hopf quotient: multiplication, coproduct and counit, and antipode.
2 definitions, 1 lemma, 3 theoremsExamples & counterexamples →For a bialgebra H, the coproduct gives every tensor product of left modules a diagonal action, and the counit gives the unit module.
2 definitions, 1 lemma, 2 theoremsExamples & counterexamples →Fix a field k and a Hopf algebra H over k. A right-right Hopf module has a right action and a right coaction tied by one compatibility identity. Its coinvariants form a…
1 definition, 4 lemmas, 1 theorem, 1 corollaryExamples & counterexamples →This page gives two separate extensions of ordinary bialgebra structure.
2 definitions, 1 lemma, 1 proposition, 1 theorem, 1 remarkExamples & counterexamples →This page builds the tensor product of crystals from the crystal lattices of kashiwara-operators-and-crystal-lattices and proves the two structural theorems that make…
2 definitions, 3 lemmas, 1 proposition, 4 theoremsExamples & counterexamples →This page proves the Kazhdan–Lusztig character and multiplicity theorem in a regular integral block of type A, through the Soergel functor rather than as an imported conjecture.
1 definition, 1 lemma, 1 proposition, 3 theorems, 1 remarkExamples & counterexamples →This page develops the weighted Hecke algebra and its cell quotients with a totally ordered abelian parameter group.
7 definitions, 7 lemmas, 5 theorems, 1 corollary, 2 remarksExamples & counterexamples →
Part 5 · Global bases and finite structures
5 pages · after Part 4Balanced triples construct global crystal bases with their lattice and normalization conventions. Finite Hopf integrals, quasitriangular structures, singular and parabolic multiplicities, and higher defects extend the structural and geometric branches.
This page develops the algebraic structure behind higher symmetries and defect composition.
11 definitions, 16 lemmas, 7 theoremsExamples & counterexamples →This page globalizes integral crystal bases at the level of the divided-power form A=ℤ[q,q⁻¹].
7 definitions, 13 lemmas, 1 proposition, 9 theoremsExamples & counterexamples →Nonzero finite-dimensional Hopf algebras have one-dimensional spaces of left and right integrals, a bijective antipode, and a nondegenerate associative Frobenius pairing.
2 definitions, 1 lemma, 3 theoremsExamples & counterexamples →This page works over a field with algebraic tensor products and the category of all left modules.
2 definitions, 3 lemmas, 1 theoremExamples & counterexamples →This page develops the two parabolic Hecke modules attached to a standard parabolic subgroup and the two categories in which their canonical bases appear.
5 definitions, 2 lemmas, 7 theoremsExamples & counterexamples →
Part 6 · Categorification and quantum affine representations
7 pages · after Parts 1 and 5Use global bases in KLR induction and quantum-Serre categorification before cyclotomic highest-weight constructions. Quantum affine type A develops its Fock-space action; root-of-unity quantum groups lead to tilting quotients. Parabolic category O, Specht modules, Drinfeld doubles, and Frobenius sewing follow their prerequisites.
The page first defines left-left Yetter–Drinfeld modules and the coaction action of H^ op.
2 definitions, 2 lemmas, 2 theoremsExamples & counterexamples →This page treats finite-dimensional Frobenius algebra and two-dimensional oriented sewing over an arbitrary field.
3 definitions, 5 lemmas, 2 theoremsExamples & counterexamples →This page builds the generic theory of quiver Hecke (KLR) algebras and their categorification of the negative half of a symmetrizable quantum group.
5 definitions, 3 lemmas, 7 theoremsExamples & counterexamples →This page builds the type-A dictionary between genuine parabolic category O and the higher-level wedge-tensor Fock module: filtered and tilting objects in a finite…
7 definitions, 7 lemmas, 10 theoremsExamples & counterexamples →This page constructs the level-one Fock space of the quantum affine algebra U q(sl e) and identifies its empty connected component with the basic representation: the…
9 definitions, 8 lemmas, 1 proposition, 6 theoremsExamples & counterexamples →This page constructs the good-order quantum Frobenius map and the selected higher-rank tilting quotient.
4 definitions, 16 lemmas, 1 proposition, 10 theoremsExamples & counterexamples →This page develops the cellular-algebra foundations of the modular representation theory of the type-A Hecke algebra and its q-Schur algebra.
12 definitions, 14 lemmas, 1 proposition, 8 theorems, 2 corollaries, 1 remarkExamples & counterexamples →
Part 7 · Cyclotomic structures and Fock-space comparisons
6 pages · after Parts 1, 2, 4 and 6Develop cyclotomic KLR categorification, cellular Murphy bases, Hecke tensor actions, and affine Hecke algebras beyond type A. Residue crystals and higher-level Schur–Weyl duality supply the Fock-space comparisons used in the decomposition-number theorems.
- Affine Hecke Algebras Beyond Type A18 results
This page constructs affine Hecke algebras for every reduced based root datum, with arbitrary positive real affine parameters constant on extended conjugacy classes.
4 definitions, 8 lemmas, 4 theorems, 2 remarksExamples & counterexamples → This page develops the Arakawa–Suzuki action of the degenerate affine Hecke algebra on tensor functors and the higher-level Schur–Weyl duality of Brundan–Kleshchev: the…
11 definitions, 6 lemmas, 11 theoremsExamples & counterexamples →This page builds the cyclotomic quotient of a quiver Hecke (KLR) algebra at a dominant integral weight and proves the highest-weight categorification statements attached to it.
4 definitions, 21 lemmas, 9 theoremsExamples & counterexamples →The cyclotomic Murphy elements give an integral cellular basis over the universal parameter ring, including singular specializations.
2 definitions, 5 lemmas, 3 theoremsExamples & counterexamples →The Hecke action here starts from an explicit operator on an ordered basis.
2 definitions, 7 lemmas, 2 theoremsExamples & counterexamples →This page is the convention bridge between the quantum-group level-one Fock space of quantum-affine-type-a-and-level-one-fock-space and the modular good-node crystal of modular-branching-and-the-good-node-crystal.
2 definitions, 2 lemmas, 1 proposition, 1 theoremExamples & counterexamples →
Part 8 · Hecke–KLR and Hall constructions
4 pages · after Parts 1, 6 and 7The cyclotomic Hecke–KLR bridge follows its Specht, quantum affine, and categorification inputs. Finitary Hall algebras begin the counting branch after their declared prerequisites. Double-affine and rational Cherednik constructions continue the affine representation-theory routes.
- Finitary Ringel–Hall Algebras12 results
This page constructs the untwisted Hall algebra of a small finitary abelian category over an arbitrary commutative coefficient ring.
4 definitions, 5 lemmas, 3 theoremsExamples & counterexamples → This page treats rational Cherednik algebras for finite complex reflection groups, their PBW basis and category O, then constructs KZ monodromy with explicit local parameter and loop conventions.
6 definitions, 11 lemmas, 8 theoremsExamples & counterexamples →This draft proves the double-affine presentation and polynomial representation for the selected root system A 1, including generic faithfulness and the symmetric Macdonald eigenbasis.
4 definitions, 6 lemmas, 2 theorems, 1 remarkExamples & counterexamples →This page develops the type-A cyclotomic Hecke algebras in the nondegenerate and degenerate branches, their charged finite-quantum-characteristic specializations, the central…
6 definitions, 26 lemmas, 1 proposition, 7 theorems, 1 corollaryExamples & counterexamples →
Part 9 · Decomposition numbers, integration, and localization
10 pages · after Parts 1, 3, 5, 7 and 8Read Ariki categorification and its separate degenerate theorem before the category-O/KLR/Hecke route and localization. Green coproducts, derived and cohomological Hall algebras precede Hall modules and motivic integration; stability and wall crossing follow the integration constructions.
This page records the geometric construction and conventions for quiver cohomological Hall algebras (CoHAs), separates the ordinary and potential dependent constructions, and…
5 definitions, 6 lemmas, 4 theorems, 1 remarkExamples & counterexamples →This page develops Toën's derived Hall algebra over a finite field from a locally finite dg-enhancement.
3 definitions, 7 lemmas, 3 theorems, 1 remarkExamples & counterexamples →Hall modules use the stated untwisted Hall multiplication. The generic nilpotent Jordan regular module is transported by the exact normalized Hall–Littlewood map; its Green…
2 definitions, 4 lemmas, 4 theoremsExamples & counterexamples →For a finite quiver over a field, this page defines a motivic Hall algebra from quotient stacks of representations and a relative stack-function coefficient theory.
4 definitions, 2 lemmas, 2 theorems, 2 remarksExamples & counterexamples →The weight parameter is complex; antidominance excludes positive integral positive-coroot pairings.
2 definitions, 15 lemmas, 5 theorems, 1 corollaryExamples & counterexamples →This page proves the finite-field counting branch of Hall wall crossing for every finite acyclic quiver, including wild quivers.
2 definitions, 6 lemmas, 2 theorems, 1 remarkExamples & counterexamples →The Euler-twisted Hall product uses a supplied small finite-field hereditary category and the subobject convention 0→ N→ R→ M→0.
5 definitions, 25 lemmas, 2 propositions, 4 theorems, 1 corollaryExamples & counterexamples →This page records the nondegenerate level-one form of Ariki's categorification theorem transported across the blockwise Hecke--KLR isomorphism, together with the graded…
7 definitions, 12 lemmas, 2 propositions, 7 theorems, 1 corollary, 1 remarkExamples & counterexamples →This page records the degenerate analogue of Ariki's categorification theorem: the finite-dimensional representation theory of the degenerate cyclotomic Hecke tower H^Λ at…
1 definition, 1 proposition, 4 theorems, 1 remarkExamples & counterexamples →This page is a cross-category route through existing theorem homes.
1 definitionExamples & counterexamples →