Alphabeta Math

Ariki Categorification and Graded Decomposition Numbers

About this page
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

✓ 25 results · all verified · 5 also independently AI-judged
Every result on this page is machine-checked by a proof checker and read in full and owner-audited; the judge is an additional, independent cross-model AI review of the proofs. The 20 not AI-judged were verified by owner audit (typically over a confirmed judge false positive), not failures.
1 · Prerequisites
Abstract Algebra
Algebraic Geometry
Algebraic Topology
Braid Groups
Categorification and Geometric Representation Theory
Category Theory
Combinatorics
Commutative Algebra
Complex Analysis
Coxeter Groups
Differential Geometry
Differential Topology
Functional Analysis
Group Theory
Homological Algebra
Lie Theory
Linear Algebra
Measure Theory
Number Theory
Partial Differential Equations
Real Analysis
Representation Theory of Groups
Scheme Theory
Set Theory
Symmetric Groups and Symmetric Functions
Topology
2 · Logical flowchart

3 · Items

Definition

The domination order on tableaux, Garnir tableaux and bricks

Lemma

Generic nondegenerate local inverse tables on integer colors

Lemma

An integer cyclic presentation descends the simple-head generator line

Lemma

Integer-color degenerate Hecke–KLR local inverse tables

Lemma

Generic cyclotomic type-A support is bounded by rank

Lemma

Generic cyclotomic local dictionaries glue to a tower

Lemma

Extremal word characters detect normalized cyclotomic simple labels

Lemma

Standard Fock vectors expand in the upper global basis

Definition

Graded module and projective Grothendieck groups of the KLR and Hecke towers

Definition

The nondegenerate root-of-unity level-one Hecke regime

Definition

The graded Cartan pairing between projective and module classes

Definition

The graded Specht module by homogeneous standard tableaux

Definition

The integral form of the cyclotomic Hecke-KLR block

Lemma

Degree and codegree of standard tableaux

Lemma

A graded algebra isomorphism transports the graded module category, its Grothendieck groups and its dualities

Proposition

The QG-8 categorification transports across the blockwise Hecke-KLR bridge

Proposition

Shifted degrees and Garnir exchanges for standard tableaux

Theorem

The graded Specht module has a homogeneous tableau basis

Lemma

Rational Garnir annihilator lines present the specified Specht generator

Theorem

Graded Specht restriction has the removable-node filtration

Theorem

Graded Specht classes realize the standard Fock vectors

Corollary

The restricted graded Specht classes form a basis of the module Grothendieck group

Theorem

Ariki's canonical basis theorem in characteristic zero

Theorem

Graded decomposition numbers equal canonical-basis coefficients in characteristic zero

Theorem

Graded Specht heads classify the graded simple modules

Lemma

Reduction of characteristic-zero simple modules modulo p

Lemma

Positive-characteristic Specht head and cyclotomic crystal labels agree

Definition

The graded adjustment polynomials in positive characteristic

Theorem

Positive-characteristic decomposition polynomials factor through adjustment

Remark

Canonical bases do not solve arbitrary positive-characteristic decomposition numbers

Sources