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.
Cyclotomic Hecke and Quiver Hecke Algebras
1 · Prerequisites
- Abelian Categories
- Adjunctions Units and Counits
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Artinian Rings and Length
- Binary Operations, Monoids, Groups and Subgroups
- Blocks Defect Groups and the Brauer Homomorphism
- Braided and Symmetric Monoidal Categories
- Brauer Characters and Decomposition Matrices
- Bruhat Decomposition and Flags over Finite Fields
- Cardinal Arithmetic, Cofinality and the Alephs
- Categories, Functors and Natural Transformations
- Chain Conditions, Semisimple Modules and the Wedderburn–Artin Theorem
- Characters and the Orthogonality Relations
- Combinatorial Classes and the Symbolic Method
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Conjugacy in Sₙ, Generation, and the Simplicity of Aₙ
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cores, Quotients, and Blocks of Symmetric Groups
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Coxeter Presentations, Exchange, and Reduced Word Theorems
- Cyclic Groups and Direct Products
- Cyclotomic KLR Algebras and Highest-Weight Categorification
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Divided Powers, Integral Forms, and Quantum Highest Weights
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Exactness and the Member Calculus
- Exterior Powers, Orientation and Hodge Duality
- Finite Averaging and Character-Theory Prerequisites
- Finite Counting, Factorials and Binomial Coefficients
- Finite Fields and Cyclotomic Extensions
- Finite Weyl Invariants, Bruhat Order, and Kostant Harmonics
- Formal Power Series
- Foundations of the Real Numbers for Analysis
- Free Groups and Presentations
- Free Modules, Exact Sequences, Projective and Injective Modules
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Graded Bimodules and Tensor Functors
- Grothendieck Groups and Graded Cartan Pairings
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Harish Chandra Isomorphism Casimir and Central Characters
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Induced Representations, Frobenius Reciprocity and Applications
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integrable Highest Weight Kac Moody Modules
- Integral Specht Modules and Modular Simple Modules
- Inverse Limits and Noetherian Completion
- Jucys–Murphy Elements and Seminormal Forms
- Kac Moody Algebras from Generalized Cartan Matrices
- Kashiwara Operators and Crystal Lattices
- KLR Algebras, Induction, and Quantum-Serre Categorification
- Lie Algebra Representations, Enveloping Algebras, and PBW
- Limits and Colimits
- Limits of Real Functions
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Maschke's Theorem, Complete Reducibility and the Structure of k[G]
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Modular Representations and Projective Covers
- Modules over a Principal Ideal Domain and the Canonical Forms
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Noetherian Rings and Hilbert Basis
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Ordinary Hecke Specht Polytabloids and Signed Murphy Comparison
- Permutation Statistics, Inversions and Eulerian Numbers
- Polynomial Rings, the Division Algorithm and Roots
- Preadditive and Additive Categories and Biproducts
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Principal Series Representations of GL N over a Finite Field
- Quantized Enveloping Algebras and Quantum Serre Relations
- Quantum Affine Type A and Level-One Fock Space
- Rees Modules Artin Rees and Hilbert Samuel Theory
- Reflective Subcategories and the Adjoint Functor Theorems
- Relations, Functions, and Quotients
- Rim Hooks and the Murnaghan–Nakayama Rule
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Sequences and Limits
- Simple Field Extensions and the Construction of the Complex Numbers
- Specht Modules and the Irreducibles of the Symmetric Group
- Splitting Fields
- Subobject Lattices Generators and the Grothendieck Axioms
- Suprema and Infima
- Sylow's Theorems, p-Groups and Nilpotent Groups
- Symmetric Functions, the Hall Inner Product, and Schur Bases
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Symmetric Polynomials and the Fundamental Theorem of Symmetric Functions
- Tensor Products of Modules
- The Burau Representations
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Field of Fractions and Localisation
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Galois Correspondence
- The Group Algebra and Representations of Finite Groups
- The Hook Length Formula and Rsk Correspondence
- The ZFC Axioms and the Basic Set Constructions
- Topology of ℝ
- Tor Flatness and Global Dimension
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Type-A Hecke Specht Modules and Cellular Bases
- Valuation Rings and Discrete Valuation Rings
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Young Diagrams Tableaux and Permutation Modules
2 · Summary
Objective. This page develops the type-A cyclotomic Hecke algebras in the nondegenerate and degenerate branches, their charged finite-quantum-characteristic specializations, the central content sectors, and the Brundan-Kleshchev comparison with the type-A cyclotomic Khovanov-Lauda-Rouquier algebras. The first part organizes draft arguments for the universal affine and cyclotomic presentations: ordered-monomial bases, bounded spanning, the polynomial spectra that split over the residue values, canonical CRT content projectors, the level-one identification with the finite Hecke algebra, and the comparison maps between the Hecke and KLR presentations in both directions. The second part develops the arbitrary-level Murphy cellular theory with its Jucys-Murphy triangularity, the semistandard bases of permutation modules, the Schur algebra and the ordinary Schur functor, and the Jantzen/filtration theory: the DVR Gram valuation, the monic seminormal Gram determinants, their signed rim-hook valuation expansion, the Jantzen sum formula, and the resulting classification of blocks through Jantzen equivalence and content classes. The closing section addresses identification of the central content sectors with the blocks, the Brundan-Kleshchev blockwise isomorphism, and transport of the KLR grading to the Hecke blocks.
Conventions. The field is arbitrary and is finite; the nondegenerate branch uses a Hecke parameter of quantum characteristic , while the degenerate branch has and . The grading variable of the KLR side is independent of . The cyclotomic relation is imposed on the first polynomial generator and induction appends strands on the right. The e=0 () branches are outside this page's cyclic scope and are recorded as a deferred boundary.
Reading order. The affine and cyclotomic presentations come first, then their bases and spectra, then the Hecke-KLR comparison; the Murphy/cellular and Schur theory follows the same dependency order, and the Jantzen and block theory depends on the trace and cell machinery. Items on this page are draft and are consumed by the examples companion and by the Ariki categorification pair.
Review status. The local affine bases, bounded cyclotomic spanning, CRT spectra and level-one identification have supported arguments. The Hecke–KLR comparison still requires the complete normalizing-series and colour-pattern calculations. The arbitrary-level basis and cellular chain also depend on unresolved cyclotomic KLR projectivity and commutator inputs. Trace perfectness, the degenerate-center lifting argument and the off-support signed rim-hook calculation remain open; their downstream Jantzen sum and primitive-block conclusions await those prerequisites.
3 · Logical flowchart
4 · Definitions, theorems and proofs
Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules
Definition
Let be a commutative ring, let and , and let be units of (Algebras over a commutative ring, central structure maps, and algebra homomorphisms). The arbitrary-level cyclotomic Hecke algebra is the -algebra presented by invertible commuting elements and generators subject to the relations For set . The grading variable of this page is , not the unit : the two are identified only where a statement says so explicitly.
Multipartitions and Murphy data. An -multipartition of is an ordered tuple of partitions with (Tableaux and standard tableaux). Multipartitions are partially ordered by dominance, meaning that for all . Fill the diagram with in component order, then row order, then column order. Put , , , and , where is the row subgroup: the subgroup of stabilizing the rows of (The finite symmetric group , one-line notation, and cycle notation, The generic type-A Hecke algebra). Write for the right -submodule generated by (Unital left and right modules over a ring; unqualified module means left module). The presentation involution of fixes every and every and reverses products. For standard tableaux of shape put , where the right tableau action is (the left action relabels entries), and is determined by . Denote by the span of the higher Murphy shapes once their basis and cell law is established by The arbitrary-level cyclotomic Hecke Murphy basis is cellular ↗, and by the right cell (Specht) module with basis and the action given by that cell law; its cellular form defines , which may vanish.
Types. The types used below are exactly all -multipartitions of , including tuples with empty components — not all multicompositions. A semistandard tableau has entries the labels (row in component ) ordered by component first and then by row, weakly increasing along rows, strictly increasing down columns, and a label of component may occur only in physical component (Semistandard tableaux and Kostka numbers); the type of is the multipartition counting each label with the multiplicity of the corresponding row. For standard let be the tableau obtained from by replacing each entry by its row-and-component in . Put Let with ordinary composition (The direct sum of an indexed family of modules). For of shape and types , the map — once justified by Cyclotomic semistandard sums give the actual Schur endomorphism basis ↗ — sends to . Its right cell module has basis over the semistandard of multipartition types, with contravariant cell form and quotient . Let be the unique tableau of shape and type , and let be the identity projection onto . Put and ; then , so , and is an actual direct summand of . The weight projections used by the Jantzen theory below are the with a multipartition. Write for the number of semistandard tableaux of shape and type .
Boundary of the definition. All asserted module, form and map laws are discharged by the linked local suppliers The arbitrary-level cyclotomic Hecke Murphy basis is cellular ↗, Cyclotomic semistandard sums give the actual Schur endomorphism basis ↗ and Cyclotomic Schur standards and corner functor control block linkage ↗; the definition itself claims no proof of them and no primitive residue-content classification. No choice principle is used: only finite bases, finite subgroup and coset decompositions, finite filtrations and explicit polynomial identities occur.
Laurent binomial valuation at one over any field
Statement
Let be a field, let be its Laurent polynomial ring (The Laurent polynomial ring as the principal localisation of Z[t] at t), and let be the -adic valuation on the nonzero elements of : for , so that exactly when (Discrete valuation rings). Let , let , put and .
- If , then .
- If and , then when , and when ; here is the exponent of in , i.e. with (The characteristic of a ring: the least with when one exists, and otherwise).
- If and , then , and the zero element has no finite valuation.
In the intended application the Laurent polynomials (foot residues of the Jantzen expression) are compared by this lemma: it computes their valuation exactly when their difference is nonzero and prevents replacing valuations by an equality-of-residues indicator in positive characteristic.
Facts & Assumptions
Given: A field , nonzero , integers , the Laurent polynomial , and the -adic valuation of the Statement.
The finite Laurent construction over uses sums with finite support and the coefficientwise addition and convolution multiplication. It is the field-coefficient version of The Laurent polynomial ring as the principal localisation of Z[t] at t; is a unit, and multiplying by a sufficiently large power of identifies any such sum with an ordinary polynomial.
A DVR is the ring of nonnegative values of a surjective integer-valued valuation on a field (Discrete valuation rings). The multiplicity valuation used here is established locally in step 1.1.
The characteristic is the least positive integer annihilating , or zero if no such integer exists (The characteristic of a ring: the least with when one exists, and otherwise). Its field consequences needed here are established in step 1.1.
Proof
Given: The field , the Laurent polynomial ring with unit , the valuation of the Statement, and the data of [F1]–[F3].
Construct the valuation. For an ordinary nonzero polynomial , repeated division by terminates as degree decreases, giving a unique factorization with ; division is explicit from . For a Laurent polynomial multiply by first: since , the resulting multiplicity is independent of . Multiplying two factorizations multiplies their nonzero evaluations, so multiplicities add; adding them gives multiplicity at least their minimum, unless the sum is zero. Consequently is a well-defined valuation on , surjective since . Its nonnegative-value ring is : cancel the powers of in numerator and denominator, leaving a denominator nonzero at . This proves the DVR assertion in the sense of [F2], the zero-evaluation criterion, and invariance under Laurent units. Finally, positive field characteristic is prime: a composite least annihilator would give with both factors nonzero. Division of an integer by that prime shows if .
The case , . Then by [F1], the zero element of ; since for every , the set in the definition of is unbounded and no finite value is assigned.
Reduction to and to for . Since is a unit of with inverse by [F1], the identity and [F2] give ; moreover if then with a unit, so by [F1] and [F2].
The case . Evaluating the Laurent polynomial at gives , so the factor cannot divide : a product containing would evaluate to under the ring homomorphism with . Hence by [F2], and the reduction of step 2.1 gives .
The case , , . Here with a unit, so by step 2.1 the valuation equals , while with second factor evaluating at to by [F3] and therefore of valuation by [F2]; the valuation is additive on this factorisation of the nonzero polynomial , so .
The case , , . Write with and . In characteristic the identity follows by iterating (the intermediate binomial coefficients , , are multiples of ); applying it to gives . The second factor evaluates at to , which is nonzero because by [F3]; it thus has valuation by [F2], so , and step 2.1 gives .
Remarks
The lemma is a leaf computation over an arbitrary field: it is used where a denominator is cleared or an integrality statement is checked at , and it records explicitly that in characteristic the valuation is the full -power , not merely the indicator of . No choice principle is used.
Ultra-tight multisets admit integer column potentials
Statement
Let and (Free abelian group on a set, The integers as equivalence classes of pairs of naturals). For a finite multiset of elements of (The multiset construction and the powerset construction ), call tight if for all occurrences and all indices . A zero exchange replaces two occurrences by and whenever ; this relation is symmetric. Call ultra-tight if every finite zero-exchange sequence starting at ends in a tight multiset. Then is ultra-tight if and only if there is some with This includes the empty multiset and .
Facts & Assumptions
Given: An integer , the group , and a finite multiset of elements of .
Every element of has a representative ; for the representative defines the same element, so the difference is well defined on , and negation and the elements are well defined (Free abelian group on a set, The integers as equivalence classes of pairs of naturals).
A finite multiset consists of finitely many occurrences with repetition; replacing a finite submultiset by another one of the same cardinality produces a multiset of the same cardinality, and any finite directed graph has a shortest directed path from a vertex to a vertex whenever a directed path from to exists (The multiset construction and the powerset construction ).
Proof
Given: The data of [F1]–[F2]: the group , a finite multiset in
, and the definitions of tight, zero exchange and ultra-tight of the
Statement.
Elementary cases and well-definedness. The empty multiset is ultra-tight (its images under zero-exchange sequences are empty, hence tight) and satisfies the displayed condition with ; for one has by [F1], so for every occurrence, every finite multiset is tight, and no zero exchange exists because its defining equation reads ; thus every finite multiset in is ultra-tight and satisfies the condition with . By [F1] the differences do not change when representatives are shifted by a multiple of , so tightness and the zero-exchange steps are well defined on classes; a zero-exchange sequence may therefore be computed with any representatives.
The reverse implication. Assume satisfies the displayed condition. Replacing each occurrence by (a bijection of by [F1]) we may assume for all ; applying this to the pair gives , so for all . We prove by induction on the length of a zero-exchange sequence that every such multiset is tight, and suppress the shift by from the notation. Suppose the next exchange acts on in coordinates , so . Since , this forces and ; writing and , the coordinate differences of are , and for we have , , and , using and ; the same computation with in place of and shows the same for . All other occurrences are unchanged and already have all coordinate differences in . Hence in every reachable multiset all coordinate differences lie in , and for any two occurrences of that multiset : every reachable multiset is tight, so is ultra-tight.
Setup for the forward implication. Conversely assume ultra-tight; we prove by induction on that potentials exist satisfying the displayed condition. The case is in step 1.1. Let and assume the result for . Let forget the last coordinate; every zero exchange in in coordinates lifts to the zero exchange in with the same coordinates and the same labelled occurrences, because the defining difference of the pair is unchanged; hence every zero-exchange sequence in is the projection of one in and ends tight. So is ultra-tight, and by induction there are integers with for all and ; applying this to gives, with , It remains to extend the potentials to the last coordinate: we must choose so that for all and all , where now . It is enough to do this in the descending sequence of stages described below: at stage one adds the bounds for the single pair while keeping all bounds already proved for pairs with both entries or both entries .
The stage . Since is ultra-tight, the empty sequence shows that itself is tight; hence for all , and, exchanging and , . The integers therefore have range at most , so (choosing the integer midpoint) some integer satisfies for all ; choosing gives and hence the pair- bound, while all bounds of step 2.1 with are unchanged.
Reduction to the exceptional case. Fix and suppose the bounds are known for all whenever or (for this is step 3.1 together with step 2.1). We show that the bounds also hold for all pairs with ; as observed in step 2.1, the only new pair to control is . If already for all , there is nothing to prove. Otherwise some has or ; replacing every occurrence by and every by (which preserves ultra-tightness and all current bounds by [F1]) we may assume the first case, so that for this ,
Consequences of the choice of , and the sandwich. For every the known bounds give and , so ; together with the choice of this forces equality throughout: Tightness against gives ; choosing any and adding the old upper bounds for and gives . Thus
The graph, the basic lower bound, and the case of no path. Draw a directed graph on with an arrow if and only if some satisfies . First we note that for this is the equality of step 5.1, for it follows from , and for it follows from using the known bound for the pair with . Suppose first that contains no directed path from to . Let be the set of vertices reachable from (so , ) and let be its complement; there is no arrow from to , since such an arrow would put its target in . Define new potentials for and for , and set . Then and occurs exactly for , . The new bound follows from the sandwich of step 5.1: for all . For any other pair the bound is immediate if , since the old upper bound survives. If , then , ; the absence of an arrow from to says no has , so the old lower bound improves to for all , i.e. . Thus the bounds hold for all pairs with both entries in , as required, and stage is complete in the no-path case.
The case of a path: the witnesses. Now suppose contains a directed path from to , and let be one of minimal length (so are pairwise distinct by [F2]). For each choose an occurrence witnessing the arrow , i.e. , Distinct edges have distinct witnessing occurrences. Indeed, for any witness put . The first coordinates have spread at most one. A witness for two edges ending before would have the same low value at both starts and the same high value at both ends, giving a shortcut from the earlier start to the later end. For a last-edge witness, ; tightness against the chosen and step 6.1 give for , and the old spread bound gives . If it also witnessed an earlier edge, that edge would start at , giving a shortcut directly to . Both contradict shortestness. Now put so that because . We shall prove by downward induction on that there is a multiset (in the equivalence relation generated by zero exchanges) containing and every occurrence among other than the chosen moving occurrence , and that the following two statements hold: Reading together with step 4.1 (which gives ) will then contradict the choice of ; the contradiction is completed below. We record and : by the basic lower bound of step 6.1, , while tightness of gives ; hence equality holds, which is , and then follows because and .
The induction step constructing . Let and assume and , where says that contains and every with other than the original moving occurrence . Form from by removing the occurrences and and adding the occurrences and . By the pair has difference exactly in coordinates , so this is a zero exchange; hence by , and the distinctness of the edge witnesses ensures that retains every with other than the original moving occurrence , together with . Thus holds.
The induction step forcing and , and the contradiction. Let and assume and . The witness cannot be the original moving occurrence : its edge equation together with would give , contradicting step 6.1. Thus is retained in by . Since are pairwise distinct and only equals , the -th coordinate of vanishes in positions and , so where the inequality uses the basic lower bound of step 6.1 for and statement for . Since is tight (it lies in the class of the ultra-tight ), the reverse inequality holds and we have equality, which is ; reading the equality back through the displayed chain gives , which is . Downward induction on now gives , i.e. , contradicting from the choice of in step 4.1. Hence the exceptional case cannot occur: with the current potentials the pair is already bounded, so stage is complete in the path case as well.
Completion of the induction. Stages have now been treated: each stage either leaves the potentials unchanged, or (in the no-path case of step 6.1) replaces them by potentials for which the new bound holds, while all bounds proved earlier are preserved (the modification changes by at most in the necessary direction, and the argument of step 6.1 checks both the improved and the unchanged pairs). After stage the bounds hold for all pairs with or , i.e. for all . This proves the forward implication for , and with the base case of step 1.1 and the induction scheme of step 2.1, the forward implication for all . Combined with the reverse implication of step 1.2, an ultra-tight multiset is exactly one admitting column potentials , including the empty multiset and the case .
Remarks
The proof is a finite induction: it uses only finite multisets, integer arithmetic, finiteness of the directed graph and the existence of a shortest path among finitely many paths, so it uses no choice principle. The parametrization by is the one used by the arithmetic application on this page; Fayers' original parametrization by is recovered by with .
Affine type-A presentations and charged cyclotomic quotients
Definition
Let be a commutative ring and let be a unit. Fix an integer .
The nondegenerate affine presentation. The algebra is the -algebra presented by commuting units and generators (The generic type-A Hecke algebra, The quantum characteristic of an invertible Hecke parameter) subject to the last two relations being the Bernstein relation and the distant mixed commutation, and with invertible as a consequence of its quadratic relation. For the algebra is .
The degenerate affine presentation. The algebra is the -algebra presented by commuting generators and symmetric-group generators subject to the Coxeter relations , , for together with the mixed relations
Auxiliary cyclotomic quotients. For a monic polynomial in of degree impose the single relation (respectively ) on the FIRST polynomial generator and call the resulting quotient the monic cyclotomic quotient; when , so that , the quotient at positive rank is the zero algebra, while rank zero remains . In the nondegenerate case the constant term is required to be a unit. The first-strand convention imposed here (cyclotomic relation on , and later induction appending on the right) is the one used on this page.
The charged cyclic specialization. Let be a field, let have finite quantum characteristic (The quantum characteristic of an invertible Hecke parameter), and let be the cyclic label set of residues, with a dominant cyclic type-A weight , , and (The cyclic affine type A Cartan datum and its residues). If use the nondegenerate presentation and put ; if (which forces ) use the degenerate presentation and put . Impose on the first generator ( in the nondegenerate branch and in the degenerate branch) and write for the resulting charged cyclotomic quotient of rank . This charged finite- branch is the scope of the present page; the arbitrary-base affine and monic definitions above supply its universal PBW and trace proof inputs. The definition itself asserts no basis, no spectrum, no primitive block decomposition and no Brundan–Kleshchev isomorphism. The grading variable of the KLR side is independent of .
Well-definedness notes. The nondegenerate parameters are distinct because has multiplicative order exactly ; the degenerate parameters are distinct because makes for . In the nondegenerate branch no embedding of the label set into is claimed or used: is only a label for the value . All these definitions are given by generators, relations and a two-sided quotient ideal and use no choice principle.
DVR cellular Jantzen filtration and exact Gram valuation
Statement
Let be a discrete valuation ring with uniformizer and residue field (Discrete valuation rings), and let denote its valuation. Let be a finite free -module with an -valued bilinear pairing (Unital left and right modules over a ring; unqualified module means left module) whose scalar extension to is nondegenerate. For put Then:
- and , where is the reduced pairing on ;
- the filtration terminates ( for all sufficiently large ), and for any Gram matrix of one has the exact identity
- if an -algebra acts on with an anti-involution satisfying for all , , then every , and hence every , is an -submodule;
- if is a cellular standard module and is its nonzero cellular form (Cellular bases and cell modules), then is its unique maximal submodule and therefore coincides with its module radical (The radical, socle, head, and Loewy series of a finite-dimensional module).
The Smith reduction used in the proof works over without any characteristic restriction, in particular in characteristic ; it uses independent bases of and of , never a diagonalization of a symmetric form.
Facts & Assumptions
Given: A discrete valuation ring with uniformizer , residue field , valuation ; a finite free -module of rank with bilinear pairing , Gram matrix with respect to an -basis, and the submodules of the Statement.
Every nonzero element of is a unit times a unique power of , and is additive on products; a square matrix over is invertible if and only if its determinant is a unit, and (Discrete valuation rings, For , the determinant over a commutative ring by the Leibniz formula, and for a real matrix).
is free of rank , with dual basis ; an -linear map has matrix in column coordinates, where , and makes injective with finitely generated torsion cokernel: the adjugate identity makes annihilate the cokernel, and the cokernel is generated by the images of a finite basis (Unital left and right modules over a ring; unqualified module means left module, For , the determinant over a commutative ring by the Leibniz formula, and for a real matrix).
carries the reduced pairing ; . The identification with the module radical in the cellular standard case is proved in step 1.5 (The radical, socle, head, and Loewy series of a finite-dimensional module).
The fixed-first-index cell law and its starred fixed-last-index counterpart are the cellular axioms (Cellular bases and cell modules). Their rank-one form action is derived in step 1.5.
Proof
Given: The data of [F1]–[F4]: the DVR with uniformizer , the free
module with pairing and Gram matrix , the submodules , and the
reduced pairing .
The rank-zero case. If , then and , the pairing is generically nondegenerate on the zero space, and for every . The empty Gram determinant is defined here by the empty Leibniz product to be , whose valuation is ; the empty sum of elementary-divisor exponents is . Thus the Gram valuation identity is , the radical and stability assertions hold, and the conditional nonzero-cellular-form assertion has no rank-zero instance. For the remaining steps assume .
Smith reduction of the form. View as the -linear map , , with matrix in column coordinates by [F2]; nondegeneracy over gives , so has full rank. Choose a nonzero matrix entry of of least valuation and move it to position by permuting the bases, then multiply its row by a unit of to make it ; every entry of the matrix is divisible by by minimality (including zero entries). Subtracting suitable -multiples of the first row from the other rows and of the first column from the other columns (all coefficients in , all operations unimodular by [F1]) kills the first row and column outside position , leaving a smaller matrix over . Iterating over the remaining rows and columns produces bases of and of with and .
Reduction of the radical. For one has if and only if , i.e. ; hence by [F3], the containment being immediate from .
Submodule stability. Let and ; by the hypothesis for every , since . Hence and is an -submodule; consequently is an -submodule of , the -cosets of being stable because is stable.
The cellular standard module. In a cell layer, applying both axioms [F4] to shows that the product is modulo higher shapes: right multiplication retains , left multiplication retains , and comparison makes the scalar independent of . This is the cellular form; the cell action therefore sends a vector to in the left convention, with indices transposed in the right convention. Assume is a cellular standard module and is its nonzero cellular form, and let be a proper submodule. If some lies outside , choose a label with ; by the rank-one action [F4] every basis vector equals times the image of under the cell element of the pair , so for every basis label and , a contradiction. Thus every proper submodule is contained in , which is proper because the form is nonzero, and the same rank-one argument shows that the quotient is simple (it has no nonzero proper submodule). Hence is the unique maximal submodule of , i.e. its module radical by [F3].
The filtration in the Smith bases. In the bases of step 1.2 one computes for that , so In particular , so ; the reduced filtration terminates because every summand of is contained in for , so ; and each is a subspace of the finite-dimensional -space .
The Gram valuation identity. By the matrix form of step 1.2, the determinant of equals that of and hence times a unit, since both change-of-basis matrices are invertible over ; hence, using additivity of by [F1], the middle equality counting each as the number of positive integers .
Conclusion. The rank-zero argument of step 1.1 and steps 1.3–1.5 and 2.1–3.1 establish all four assertions of the Statement: the identification of and , the termination together with the exact identity , the submodule stability under an anti-involution action, and the equality of with the module radical in the cellular standard case. The Smith reduction of step 1.2 is valid over any discrete valuation ring, including residue characteristic , because it uses independent domain and codomain bases and no symmetric diagonalization.
Remarks
The exactness of the sum formula is the point of the lemma: the multiplicities of the Jantzen filtration are read off from the -adic valuation of the Gram determinant, and in positive residue characteristic the valuation is the full -power of the corresponding binomial coefficient, not merely an indicator. No choice principle is used: all bases are obtained by finitely many unimodular operations on finite matrices.
Universal nondegenerate affine Hecke ordered monomials form a basis
Statement
Let be the universal Laurent parameter ring of Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules, and let be the -algebra presented there by the commuting units , the generators and the quadratic, braid, distant, Bernstein and mixed-commutation relations — without imposing the first-variable cyclotomic relation. Then:
- both families are -bases of , and the same two families are bases after arbitrary base change to a commutative ring in which is a unit;
- left multiplication by any nonzero element of the Laurent polynomial subalgebra is injective;
- after localizing at the differences (), the algebra maps into the rational crossed product of the fraction field of the polynomial ring with , and in that localization the elements satisfy for every (localized) Laurent polynomial .
No cyclotomic basis, Brundan–Kleshchev theorem, trace form or primitive-content assertion is used.
Facts & Assumptions
Given: The universal Laurent parameter ring , the affine presentation of the Statement, the symmetric group with its Coxeter presentation, and the parameters and in the rational crossed product.
In the relations , , for , and for hold, and are commuting units (Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules).
The quadratic relation makes invertible, with ; the generate a quotient of the generic type-A Hecke algebra, whose standard elements () span the subalgebra they generate; their independence in the affine algebra is proved below (The standard basis of the generic type-A Hecke algebra).
has the adjacent-transposition Coxeter presentation (The symmetric group has the Coxeter presentation). Set to be the minimum number of adjacent transpositions expressing ; a reduced expression means one attaining this minimum. The subword length estimate needed below is proved directly in step 1.3.
Proof
Given: The universal domain , its Laurent polynomial ring , the fraction field , and the data of [F1]–[F3].
Ordered spanning without localization. For every the presentation relations give , where . The correction is in : is divisible by , first for ordinary monomials by the difference-of-powers identity, and then for Laurent monomials after multiplying by a symmetric Laurent monomial unit. For this is the Bernstein relation, for it is its conjugate using the quadratic relation, and the general formula follows by addition and the product rule , including inverse generators by applying that rule to . Moving a polynomial across a reduces the number of misplaced polynomial factors, and correction terms reduce the number of factors; the finite Hecke relations then span the remaining words by . Thus is spanned over by the , and the presentation anti-involution fixing gives right ordered spanning too.
A representation of the unlocalized presentation. Form with multiplication . For distinct indices set and , and assign , . The rational identities and give the quadratic relation. For three distinct indices, expansion of the two braid products in their six permutation coefficients agrees: the longest coefficients are in either order; the two length-two coefficients agree by commuting scalar factors; the length-one and identity coefficients agree using together with the preceding quadratic identities. These identities follow by multiplying by the common product of the differences and expanding the polynomial numerators. Distant relations follow from disjoint variable pairs. Finally , so the Bernstein and mixed relations hold. All denominators here are nonzero polynomials in independent variables in the domain . This defines a homomorphism from the unlocalized presented algebra to .
Independence over the base ring. For a reduced word , the coefficient of the group element in the image of is Every factor is a nonzero rational function. Every other term uses at most of the adjacent transpositions, so its permutation has minimum word length at most , directly by the definition of length in [F3]. No Bruhat-order assertion is needed. In a finite relation with , select a label of maximal length with . Its group-element coefficient is and receives no contribution from any other label of that maximal length or from shorter labels, so it is nonzero in , a contradiction. Hence the are -linearly independent and the representation is injective. Since the Laurent monomials are an -basis of , this proves that are an -basis; the anti-involution proves the right basis. Tensoring this free basis with any commutative -algebra preserves it, and tensoring the generators-and-relations presentation gives exactly the same affine presentation over that algebra. As the unused parameters do not enter the relations, any commutative coefficient ring with unit is obtained by sending every to . Thus the asserted arbitrary base change is valid, without inverting differences in the base-changed algebra.
Localization and intertwiners. Let be the multiplicative set generated by all with . It is invariant under . The mixed formula of step 1.1 extends to by the same product rule and by solving the formula for inverses of elements of ; the correction remains in . Consequently adjoining these inverses gives the algebra with free left coefficient module and the same multiplication rules. This realizes the localization: the inverse formulas make it universal among homomorphisms inverting , and its injective representation in follows from the identical maximal-length argument of step 1.3. In it put ; the mixed formula gives for all . Products along reduced words have unitriangular expansions in the , because selecting every gives and selecting any scalar correction leaves strictly shorter words; thus they too form a basis over . No parameter difference , quantum factorial or Gram determinant is inverted.
Polynomial multiplication is injective over the universal domain. If and , then gives for each by step 1.3. Since is a domain, every , so . The right-basis argument gives the analogous right multiplication result. This injectivity assertion is over the universal domain, as in Statement (2), and does not assert injectivity of nonzero zero divisors after arbitrary base change.
Subword support in the localization. Expanding a reduced product and moving coefficients left using step 2.1 gives terms supported on products of subwords of the reduced word. Every coefficient is a sum of products of permuted functions and hence has only variable-difference denominators. Equivalently, in the crossed product , so moving a localized polynomial through such a term replaces it by the corresponding subword permutation applied to . This proves the subword expansion used by consumers and the asserted intertwining throughout the embedded localization.
Conclusion. Step 1.3 proves both ordered bases over and after arbitrary base change with unit ; step 2.2 proves the universal-domain injectivity; and steps 2.1 and 3.1 prove the localized embedding and intertwining identity. For there are no polynomial or Hecke generators, consists of the identity, the lone ordered monomial is , and ; all localization and intertwining clauses are then vacuous. No cyclotomic basis, trace form, primitive-content assertion or Brundan–Kleshchev result is used.
Remarks
The universal statement is stated over the characteristic-zero Laurent domain and then specializes by base change, so all polynomial identities in the proof are identities in . The proof uses no choice principle: all straightening, triangularity and expansion steps are finite.
Bounded ordered monomials span the cyclotomic Hecke quotients
Statement
Over any commutative base ring with invertible nondegenerate parameter, use the defining relations of Affine type-A presentations and charged cyclotomic quotients, writing for the nondegenerate Hecke parameter. For a monic cyclotomic polynomial of degree , with unit constant term in the nondegenerate branch, the quotient by is spanned by and the degenerate quotient by is spanned by In particular, over a field each quotient has dimension at most . This applies to and in the two finite-quantum-characteristic branches, with . No independence and no separate relation or for is asserted. If and , the imposed relation gives the zero algebra with empty spanning family; for the algebra is with the singleton empty monomial.
Facts & Assumptions
Given: The two presentations of Affine type-A presentations and charged cyclotomic quotients over , a monic cyclotomic polynomial of degree , and the quotients of the Statement.
In the nondegenerate presentation the mixed relation is with invertible, , the distant and braid relations hold, and is invertible with ; in the degenerate presentation , , for , and the Coxeter relations hold (Affine type-A presentations and charged cyclotomic quotients, The generic type-A Hecke algebra).
The generate a quotient of the generic type-A Hecke algebra with standard basis , and the generate the quotient of with basis ; finite straightening in the Coxeter group reduces each word in the (respectively ) to a linear combination of the standard words (The standard basis of the generic type-A Hecke algebra, The symmetric group has the Coxeter presentation).
Proof
Given: The two presentations over , the cyclotomic quotient by
(nondegenerate) or (degenerate), and the data of
[F1]–[F2].
Elementary straightening of polynomials past a simple generator. In the nondegenerate branch the mixed relation gives, for a polynomial in the commuting variables, and in the degenerate branch Both divided differences are polynomials: for the first identity is , which follows from [F1] by induction on , and the second is , again by induction; the general case follows from the divided-difference product rule for the two variable replacements and . Consequently any word in the generators and polynomial variables rewrites as an -linear combination of ordered monomials in the nondegenerate branch (the -word reduced by [F2], polynomial factors collected by commutation) and of in the degenerate branch. The nondegenerate straightening preserves total polynomial degree; the degenerate one lowers degree by one in the correction term.
The nondegenerate quotient is generated by positive powers. In the nondegenerate branch the relation has nonzero constant term , so is a polynomial in ; and from one gets by inverting the equation. Starting from the displayed polynomial expression for and iterating this forward recursion expresses every through positive powers of and the 's, since is a polynomial in . Therefore the quotient is already generated, as an -module, by words in and the , and step 1.1 applies to them.
The transported relations in the nondegenerate branch. Put and ; each is zero in the quotient. We claim by induction on that ordered straightening writes where , , , and no variable of index above occurs. The case is the definition, with constant coefficient rearranged. For the induction step, direct summation of the mixed relation gives, for , and for one uses . Transporting the leading term therefore produces exactly plus terms of -degree below . Each remainder monomial has -degree ; variables of index below commute with and with , and for , so applying the displayed formula to and then straightening the finite words , by [F2] produces terms of -degree at most and total polynomial degree at most . This proves the claim.
The transported relations in the degenerate branch. Put and . Straightening and induction on show where , all occurring variables have index at most , and : conjugation transports by so the leading term produces plus correction terms of total degree , and every old remainder, when straightened, stays of degree below .
Termination of the nondegenerate reduction. Order exponent vectors lexicographically as , larger first differing coordinate larger; this is a well-order on preserved by addition. Suppose for some and some spanning monomial . Multiplying the zero relation of step 2.2 on the left by and on the right by gives a relation whose leading term is and whose remaining terms all have the same coordinates above and a strictly smaller -th coordinate (increases in coordinates below do not affect the lexicographic comparison), with and finite straightening changing no dot exponents. Since is a unit, this solves for as a combination of spanning monomials with strictly smaller exponent vector; well-founded induction on the lexicographic order terminates and expresses every element using only monomials with every . Hence the bounded ordered monomials span the nondegenerate quotient, over and after any base change.
Termination of the degenerate reduction. If , multiply the zero relation of step 2.3 on the left by and on the right by ; the leading term is , and every other term has total degree strictly below (all other coefficients come from the remainder of , of degree ). Induction on the total degree therefore expresses every element in terms of monomials with all . This also shows that no relation for is claimed: at level one , and gives , which is exactly the form of the reduced spanning family.
Conclusion. Steps 1.1, 2.1 and 3.1 give the spanning statement for the nondegenerate quotient by , and steps 1.1, 2.3 and 3.2 for the degenerate quotient by , with all exponents in both branches and no independence asserted. Since the spanning families have at most elements, each quotient has dimension at most over a field. The specialisations and are instances of the two branches with . For the imposed relation is , giving the zero algebra for and for , as stated.
Remarks
The lemma is a pure spanning statement: no independence of the bounded ordered monomials is asserted here (the later cyclotomic basis theorem supplies it in the finite-dimensional setting). The two straightening identities are the only place where the difference between the nondegenerate and degenerate branches matters, and the reduction terminates by a well-order in the nondegenerate case and by total degree in the degenerate case. No choice principle is used.
Degenerate affine Hecke ordered monomials form a basis
Statement
Let be any field and let be the algebra generated by commuting and symmetric-group generators with together with the symmetric-group quadratic, braid and distant commutation relations, as in the degenerate clause of Affine type-A presentations and charged cyclotomic quotients (The finite symmetric group , one-line notation, and cycle notation, The symmetric group has the Coxeter presentation). Then is an -basis of . No cyclotomic basis or Brundan–Kleshchev isomorphism is assumed. For the basis is the singleton empty monomial.
Facts & Assumptions
Given: A field , the polynomial ring , its fraction field , and the crossed product with basis the group elements and multiplication .
is presented by the relations of the Statement (Affine type-A presentations and charged cyclotomic quotients).
with the Coxeter relations, and every word in the reduces to a standard word ; a proper subword of a reduced expression has strictly smaller length (The symmetric group has the Coxeter presentation).
Proof
Given: The presentations of [F1], the field , the crossed product
, and the operator model of step 1.1.
The operator model. Let be the automorphism of swapping and fixing the other variables, and put . Let act on by multiplication and let For the difference is divisible by in (write in the variables with the remaining variables as scalars and use that is divisible by ), so preserves ; hence the operators (multiplication) and generate a subalgebra of and, restricted to , of .
Verification of the defining relations in the model. Direct substitution gives the mixed relations , , and for . Writing and , so that , and using , the identity coefficient of is and its -coefficient is , so ; distant commute because their permutations and coefficients involve disjoint variable pairs. For the braid relation put , , , , ; expanding and in gives the six permutation coefficients and the right expansion has the same six coefficients with and interchanged, so the two expansions agree. These are rational identities valid in every characteristic, including . Hence the assignment multiplication by , defines an algebra homomorphism (and into by step 1.1).
Spanning. In the model, for every polynomial , so every word in the generators rewrites as a linear combination of the ordered monomials with and , the power-polynomial part being collected by commutativity and the -word reduced by [F2]. The same straightening performed in (available there because the model satisfies the defining relations, or by the same elementary computation in the presentation) shows that the ordered monomials span the algebra.
Independence. In the crossed-product expansion of a reduced product , the coefficient at is ; every other permutation has length less than , because it is represented by a proper subword. The distinct field automorphisms are independent over : from a shortest nonzero operator relation , compose with multiplication by a variable on which some differs from , and subtract the original relation multiplied by of that variable. This gives a shorter nonzero relation; a one-term relation cannot annihilate . Thus the crossed product acts faithfully on . Now an -linear relation among the ordered monomials maps to , with . If some is nonzero, choose such a of maximal length. Its coefficient is and receives no contribution from any other maximal-length label or shorter label, a contradiction. Therefore every , and polynomial coefficient uniqueness gives every . This proves -linear independence of the ordered monomials, without asserting their impossible -linear independence.
Conclusion. Steps 3.1 and 2.1 show that the family both spans and is linearly independent in over ; renaming the commuting generators and using the presentation [F1] gives the asserted -basis. No cyclotomic quotient, BK isomorphism or dimension theorem is used, and for the family consists of the empty monomial alone.
Remarks
The model is the standard rational-operator model of the degenerate affine Hecke algebra; the only inversions are of the nonzero differences , and the construction is valid in every characteristic. The independence proof uses finitely many automorphisms of a finitely generated field, so no choice principle is needed.
Selfadjoint weight Gram valuations detect Jantzen classes
Statement
Let be a discrete valuation ring with uniformizer and residue field , and let be a finite free -module with an -valued bilinear form whose scalar extension to is nondegenerate, as in DVR cellular Jantzen filtration and exact Gram valuation (the "(DVR leaf)"). Suppose is a finite decomposition into pairwise orthogonal idempotents of an -algebra acting on , with for an anti-involution satisfying . Write and let be the restricted Gram matrix. Then each is finite free, each restricted generic form is nondegenerate, and For a split finite-dimensional highest-weight algebra whose standard classes form a -basis of and whose matrix has a square unitriangular submatrix containing every standard row and a selected set of partition-weight columns of the same cardinality (Grothendieck group of an essentially small abelian category), the weight-character map is injective. Consequently a class equality involving Jantzen pieces is equivalent to the corresponding equalities of weight Gram valuations.
Facts & Assumptions
Given: The DVR with uniformizer and residue field , the finite free -module with nondegenerate generic form , the orthogonal idempotent decomposition with , and the summands .
(DVR leaf) For the free module with form one has for any Gram matrix , the reduced filtration terminates, and the subspace is the radical of the reduced form (DVR cellular Jantzen filtration and exact Gram valuation).
Modules carry the unital actions of Unital left and right modules over a ring; unqualified module means left module. Submodule freeness and exactness of are proved locally below.
By hypothesis the standard classes form a -basis and the indicated finite weight submatrix contains every standard row and is unitriangular. The Grothendieck-group relation is additivity on short exact sequences (Grothendieck group of an essentially small abelian category); triangular invertibility is proved in step 1.4.
Proof
Given: The data of the Statement and [F1]–[F3].
The decomposition is direct and its summands are free. The map , , is an -linear isomorphism with inverse (the are orthogonal idempotents summing to ), so . To prove freeness, induct on for an arbitrary submodule . The assertion is immediate for . The first-coordinate image is an ideal ; if nonzero, the minimum valuation among its nonzero elements is attained by some , and every element of is divisible by , so . Lift to . Subtracting multiples of gives , with the kernel a submodule of ; if , all of lies in . The induction proves finite freeness and rank at most . Apply it to each .
The summands are pairwise orthogonal and the restricted forms are nondegenerate. For and , by and orthogonality, so and are orthogonal for . If is orthogonal to , then it is orthogonal to every (orthogonality) and hence to , so by generic nondegeneracy of ; the identical orthogonality argument after scalar extension handles every generic vector, and thus the restriction of to is nondegenerate over .
Exactness and the character map. The functor on -modules is exact: a morphism commutes with , so its kernel on is times its kernel on ; if lies in the image of a quotient map, any preimage may be replaced by with the same image. Hence is an additive map on the Grothendieck group by [F3].
Injectivity of the weight character. Write a class in as with . Its coordinates on the partition weights are the row vector multiplied by the matrix , . Restricting only the columns to the selected partition weights retains every coefficient ; the resulting square unitriangular matrix is invertible over by finite triangular elimination (all diagonal entries are ); if , then the coordinates on that submatrix vanish and the triangular system forces for every . Hence is injective.
The Jantzen filtration decomposes. For each the orthogonality of the summands gives with , because the components of in the other summands pair trivially; consequently . For a zero-rank summand , each , its empty Gram determinant is as specified by the DVR leaf, and both sides of the identity are . Applying the DVR leaf [F1] to the free module with its restricted form and Gram matrix gives the displayed equality .
Conclusion. By step 2.1, the multiplicities appearing in a Jantzen class equality are exactly the weight Gram valuations ; by step 1.4 the weight character detects class equalities, so a class equality involving Jantzen pieces holds if and only if the corresponding equalities of weight Gram valuations hold. No Schur functor, residue-sequence character, rationalization or semisimple Hecke Grothendieck group is used anywhere.
Remarks
The lemma is the bridge that turns the exact DVR sum formula into a statement about characters: orthogonal selfadjoint idempotents split both the module and its Jantzen filtration, and a unitriangular standard-multiplicity matrix makes the weight character faithful. The argument is finite and choice-free.
Symmetric polynomial centers have primitive split content idempotents
Statement
Let be a finite-dimensional unital algebra over a field (Algebras over a commutative ring, central structure maps, and algebra homomorphisms), with commuting elements and split joint regular-module generalized-eigenprojectors : the are pairwise orthogonal, sum to , and is nilpotent for every . For each finite multiset of eigenvalues let , and assume each is central. If is the image of the symmetric polynomial ring in (Symmetric polynomials as the invariants of variable permutations, The polynomial ring over a commutative ring as finitely supported coefficient sequences with convolution), then each is zero or primitive central, and its nonzero terms are exactly all primitive central idempotents of (Blocks of a finite-dimensional algebra via primitive central idempotents). No splitting-simple-module hypothesis and no algebraic-closure hypothesis on is required. For the asserted symmetric-center hypothesis says and yields the same conclusion.
Facts & Assumptions
Given: The finite commuting split-projector family, the central content idempotents, and the equality between and the symmetric-polynomial image, as assumed in the Statement.
By hypothesis the joint generalized-eigenprojectors are orthogonal, sum to , and commute with every ; on each word summand the differences are commuting nilpotents. The sums are central by hypothesis.
A symmetric polynomial is invariant under all permutations of the variables (Symmetric polynomials as the invariants of variable permutations). Its elementary-symmetric generation is proved in step 1.2.
A nonzero central idempotent is primitive if it cannot be split as a sum of two nonzero orthogonal central idempotents (Blocks of a finite-dimensional algebra via primitive central idempotents). The nilpotent-ideal criterion is proved in step 2.1.
Proof
Given: The data of the Statement and [F1]–[F3]. If there is nothing
to prove beyond , whose only idempotents are and ; assume
and fix a content with .
The nilpotent ideal of the content summand. For let be the value of on any word of content (independent of the order of the word). On the summand inside write with commuting nilpotents by [F1]. Choose with for all ; then every product of more than monomials of positive degree in the vanishes, because among more than factors some occurs at least times (finite pigeonhole). Hence every polynomial in the with zero constant term is nilpotent, and in particular is nilpotent on every ; since there are finitely many words, a common exponent makes nilpotent in . The commute, and the ideal they generate in the commutative ring is nilpotent by the same degree count.
Elementary-symmetric generation without division. For a homogeneous symmetric polynomial, order its finitely many monomials lexicographically with . Its leading exponent vector has : otherwise swapping an inverted pair produces a larger monomial with the same coefficient, contrary to maximality. The product has leading monomial with coefficient . Subtract its multiple by the leading coefficient. The remaining polynomial is symmetric and has a smaller leading monomial of the same total degree; the finite set of degree- monomials makes repetition terminate. Apply this to each homogeneous component. Every symmetric polynomial is therefore a polynomial in the , over any field and without division by factorials.
The center of the content summand is a local ring. By step 1.2 every symmetric polynomial is a polynomial in , so the symmetric-center hypothesis gives Since and is nilpotent, : if with , nilpotence would give , contradicting . Therefore , a field, and an idempotent has residue or in this field. In the first case is nilpotent, and ; in the second case the same argument applied to the idempotent gives . Thus every idempotent of is or .
The nonzero content idempotents are exactly the primitive central idempotents. Step 2.1 shows that each is a primitive idempotent of , hence primitive central in . Conversely, let be a primitive central idempotent of . The are central, pairwise orthogonal and sum to , so ; if two terms were nonzero, they would be orthogonal nonzero idempotents summing to the primitive idempotent , a contradiction, so exactly one term equals . This nonzero is an idempotent of , hence equals by step 2.1, proving . Hence the nonzero are precisely the primitive central idempotents, and the blocks of are exactly the nonzero content summands. No algebraic closure, splitting-simple-module theorem, power-sum generation, division by , or level-one restriction is used.
Remarks
The proof is the local center argument: the content idempotents make the center of each summand a local ring with nilpotent nilradical, so its idempotents can only be and the unit. Everything is finite and choice-free.
Polynomial spectra and central content sectors of finite cyclotomic Hecke algebras
Statement
Use the charged finite- field specialization of Affine type-A presentations and charged cyclotomic quotients over any field . Then is finite-dimensional before any basis independence argument. Every polynomial generator has a monic annihilator split over the residue values ( in the nondegenerate branch, in the degenerate branch (Bounded ordered monomials span the cyclotomic Hecke quotients)). The canonical finite CRT projectors and are orthogonal, sum to , and project every finite -module onto its joint generalized residue spaces. For each of height , is central, and is the direct sum of its central ideals , possibly zero; no primitivity is asserted here. On , is nilpotent, so all invertible-constant local power series have finite evaluations.
Facts & Assumptions
Given: The charged finite- specialization over with a dominant weight of level , the cyclotomic polynomial imposed on the first polynomial generator, and the rank- quotient .
The presentations and relations of Affine type-A presentations and charged cyclotomic quotients hold; the nondegenerate parameter has multiplicative order , and in the degenerate branch and with distinct parameters (Bounded ordered monomials span the cyclotomic Hecke quotients).
The cyclotomic quotients are spanned by bounded ordered monomials, with all exponents , in both branches (Bounded ordered monomials span the cyclotomic Hecke quotients).
The adjugate identity holds over every commutative ring, and its determinant has the leading coefficient computed from the entries (For every positive-sized square matrix over a commutative ring, , Division algorithm for polynomials over a field).
For pairwise comaximal ideals the Chinese remainder theorem gives orthogonal idempotents summing to and an isomorphism onto the product (Chinese remainder theorem for pairwise comaximal ideals).
Proof
Given: The charged specialization, its cyclotomic quotient ,
and the data of [F1]–[F4]; write for the nondegenerate parameter.
Normal spanning in the affine algebra. In the degenerate branch the mixed relation moves every polynomial past a simple reflection at the cost of its permuted term and a polynomial lower term; in the nondegenerate branch the relations and , together with their inverse-variable forms, move every Laurent variable to the left. Each correction lowers the number of misplaced variable/crossing pairs, so the process terminates; the -words reduce to the finitely many standard words by the Hecke relations, and in the degenerate branch the -words reduce to the permutations . Hence the affine algebra is spanned by the ordered monomials (, ) in the nondegenerate branch and by () in the degenerate branch. No independence and no injection of the finite Hecke algebra is assumed.
Global intertwiners. For neighboring polynomial variables the degenerate element satisfies and ; the nondegenerate element satisfies and . Both are identities in the whole affine algebra: substituting the mixed relations and the quadratic relation (using in the nondegenerate case) and clearing the nonzero factors gives exactly the displayed products. Hence they remain valid in the cyclotomic quotient. These are the source's global identities for the two branches, proved here by substitution rather than imported.
Monic propagation. Suppose the split monic polynomial of degree annihilates the old variable . Multiplying the corresponding identity of step 1.2 by and using gives i.e. with the respective quadratic in (in the nondegenerate case after multiplying by the commuting unit ). Let with power basis and consider multiplication by on . Its matrix has leading coefficient in the degenerate case and in the nondegenerate case; hence has invertible leading coefficient. The adjugate identity [F3], applied to the basis vector , gives ; lifting this identity from back to and using the defining relation of , then multiplying by and using , yields . Dividing by the invertible leading scalar produces a monic annihilator of the next variable. No flatness, algebraic closure, generic faithfulness or denominator difference is used.
Spectral inclusion. If is split with roots , the same power-basis determinant factors as with the multiplicities : the multiplication matrix is triangular after decomposing into the finite factors (or by the companion-matrix resultant identity). In the degenerate branch the new roots are , and in the nondegenerate branch they are . Starting from therefore produces only roots in the prime-field residue set (closed under ), and starting from produces only roots in (closed under ). Multiplicities are retained and no square-free assumption is made; in the nondegenerate branch all roots are nonzero, so every annihilator has nonzero constant coefficient and expresses the inverse variable as a polynomial in that variable.
Finiteness. Applying step 2.1 successively along the positions shows that every polynomial generator has a finite-degree monic annihilator; its monic relation bounds the exponents of that generator, and in the nondegenerate branch it also eliminates negative exponents. The bounded normal spanning of [F2], together with the normal spanning of step 1.1, therefore expresses every element of the quotient through finitely many exponent tuples and the finitely many (respectively ). Hence is finite-dimensional over , without using the exact basis theorem or any independence of the bounded monomials.
Canonical CRT projectors. The minimal polynomial of each polynomial generator on its regular module divides the monic split annihilator constructed in steps 2.1 and 3.1, so it is split with only the required residues as roots. For each position the pairwise comaximal ideals give, by the finite polynomial division algorithm and the Chinese remainder theorem [F4], canonical orthogonal projectors in the finite-dimensional algebra generated by ; these project every finite module onto its generalized -eigenspace, including the case of a zero factor. Their commuting products are orthogonal and sum to , and act as the simultaneous generalized residue projectors. On the summand the element is nilpotent by construction, so every power series with invertible constant term has a finite evaluation there.
Centrality of the content sectors. Using the Hecke cross and intertwiner identities of step 1.2, the only possible weights of the image of an element supported on a joint generalized residue under a neighboring Hecke generator are and ; a fixed-content sum is therefore invariant under every generator, hence central. The central idempotents are orthogonal and sum to , so is the direct sum of its central ideals , some of which may be zero. Primitivity of the is not asserted or inferred from this argument.
Conclusion. Steps 1.1 and 3.2 give finite-dimensionality before any basis independence; steps 2.1 and 3.1 give the monic split annihilators with the stated residue values; step 4.1 gives the canonical orthogonal CRT projectors and the nilpotence of on ; and step 5.1 gives centrality of the content sectors with . No primitivity, blockwise BK isomorphism, cyclotomic exact-dimension theorem or global-basis claim is used.
Remarks
The lemma isolates the finite/split-spectral input of the residue construction: monic annihilators propagate along the strands by a power-basis determinant argument, which requires only the adjugate identity over a commutative ring, and the CRT then produces the canonical residue projectors. The centrality argument uses the global intertwiners rather than any primitivity of the content sectors. No choice principle is used.
Central content sectors of the cyclotomic Hecke algebra
Definition
Work in the charged finite- specialization of Affine type-A presentations and charged cyclotomic quotients at a dominant weight and rank , and let . For the canonical CRT projectors supplied by Polynomial spectra and central content sectors of finite cyclotomic Hecke algebras, denote by the joint residue projector attached to the residue tuple and by their sum at content (Affine type-A presentations and charged cyclotomic quotients).
Content sector. Put an ideal and unital algebra with unit , called the central content sector of content ; it may be the zero algebra, and at this stage it is NOT asserted to be a primitive block. The two descriptions coincide because is a central idempotent.
Named nilpotent generators. On put By the spectral supplier these named elements are commuting nilpotents on the sector, and they provide the local variables in which the sector is compared with the corresponding KLR block.
Boundary conventions. For one has and at rank zero. Later primitivity statements may identify the nonzero sectors with the blocks of , but that identification does not change the objects named here. This definition introduces no new primitivity or basis assertion of its own and uses no choice principle.
Charged core height matrices: hub-preserving descent and minimal switch connectivity
Statement
Fix finite , and integer charges . Give the nodes of component the residue . Write for the residue counts, for removable minus addable -nodes, and . Then with both neighbouring terms retained (and counted twice) at . Equal hubs and equal size are together equivalent to equal content. For componentwise -cores let be the largest charged beta bead on runner and Cores of fixed hub and charges correspond exactly to integer matrices with fixed row sums and column sums ; for two such cores the size difference is times the difference of . Every nonminimum-size core admits a finite same-hub core-switch path that never increases size and ends at strictly smaller size, and every pair of minimum-size cores is connected by equal-size switches. A switch subtracts at and adds at ; each path switch can be oriented with , giving size change . Minimum cores exist for every nonempty fixed-hub class.
Facts & Assumptions
Given: Finite , , integer charges , the charged beta conventions of The e-core, the e-quotient, and the e-weight, and the column-potential lemma Ultra-tight multisets admit integer column potentials.
For a partition with charge , the beta set contains all sufficiently negative integers and no sufficiently positive integer, and has charge : for all sufficiently large integers . Conversely a set with these tail conditions and charge determines a partition by ordering its elements and putting . Indeed the tail and charge imply eventually, while makes the resulting weakly decreasing, eventually zero and therefore nonnegative (Partitions, English diagrams, and conjugation, The e-core, the e-quotient, and the e-weight).
Removing rim hooks and the componentwise -core are independent of the removal order, and the -weight is an invariant (The e-core is independent of the rim hook removal order, The e-core, the e-quotient, and the e-weight).
For a finite multiset in tightness, zero exchanges and ultra-tightness are as in Ultra-tight multisets admit integer column potentials, and ultra-tight multisets are exactly those admitting integer column potentials (Ultra-tight multisets admit integer column potentials).
Proof
Given: The charges , the components and their beta sets, and the data
of [F1]–[F3].
Beta sets, bead moves and the rim-hook dictionary. By [F1] a bead move with , unwraps a rim hook of length whose foot has residue modulo : if and , the rows change by the boundary between those two beta positions, the lost border strip has boxes, and its lowest-row leftmost lost column makes the foot content ; reversing the move wraps a hook with foot residue the starting beta position plus one. Moving a bead one position upward on its runner therefore removes an -hook, and packing every runner upward leaves the number of beads relative to the negative reference tail on each runner unchanged; by [F2] the result is the componentwise -core independent of the order. Every -hook contains one node of each residue, so hook removal preserves the hub (the residue-count vector modulo the all-one vector) and subtracts the all-one vector from the residue counts.
The boundary-count identity. Let be the residue counts and the number of removable minus addable -nodes. We prove by induction while adjoining nodes to the empty multipartition. The empty multipartition has for all and (each component contributes one addable first node of its residue in the empty diagram), which gives the identity initially. Adjoining a node of residue changes the boundary count by at and at each of and (counted twice when ); these changes are read off by recording the occupied and vacant beta positions before and after the corresponding one-position bead move, all other adjacent occupancies cancelling. The right-hand side changes in exactly the same way because increases by and for is unchanged. Induction on the number of nodes gives the identity for every multipartition.
Cores and their height matrices. For a componentwise -core let be the largest bead on runner () and , so the packed beta set on runner is . Counting beads for large gives the column sums . Writing , the hub satisfies for and ; since is fixed, equal hub is equivalent to equal row sums. Hence cores of a fixed hub and fixed charges are exactly the integer matrices with fixed row sums and column sums .
Switches and energy. Let be an integer matrix with fixed margins, and consider a switch in distinct rows and distinct columns , replacing by ; margins are preserved. With , the squared-norm changes by : so is a zero-energy switch and strictly lowers the energy. Regard the labelled rows of as a multiset in ; it is tight exactly when for all choices, and switches with are exactly the zero exchanges of [F3].
Equal hub and equal size give equal content. If two multipartitions have equal hubs, the difference of their residue counts satisfies by step 1.2, because the and terms are unchanged; hence all first differences are equal, and summing them around the cycle makes this common difference , so is constant. Therefore equal hub and equal size imply equal content, and equal hubs imply sizes congruent modulo .
The size formula. If are the height matrices of two such cores, then Indeed, count the beta numbers in a component: their number is , the same for both cores, while their sum changes by ; from the change in that sum equals the change in the partition size, and summing over the equal row sums kill while the equal column sums kill the linear term. In particular the squared-norm difference is even, so the displayed size difference is an integer multiple of .
Ultra-tight rows and the global minimum. If the row multiset is not ultra-tight, a finite sequence of zero switches leads to a non-tight matrix, at which some rows and columns have , giving a strict descent: every intermediate matrix has the same margins, zero switches preserve core size by step 2.2, and a strict descent lowers core size by . If instead the multiset is ultra-tight, [F3] supplies a column potential with every row of having maximum minus minimum at most one. For a fixed row sum such a row minimizes the sum of squares over all integer rows: if two entries differ by at least , transferring one from the larger to the smaller lowers the square sum by at least , and repeated transfers terminate; the minimum is attained exactly by rows whose entries differ by at most one. Column potentials do not affect comparisons of total squared norm between matrices with the same column sums, because Hence such a is a global minimum among the matrices of its margins, and conversely a global minimum admits no strict descent after zero switches, so its row multiset is ultra-tight. Starting from any , repeated zero-path and strict-descent steps reach a global minimum, since all matrices represent genuine cores of nonnegative integer size and strict descent lowers that size by at least ; minima therefore exist for every nonempty fixed-hub class.
Equal-size connectivity of minima. Let be two global minima with the same margins, and let be the column potential of from step 3.1. Every row of is balanced, with entries or ; since has the same row sums and the same total energy, each of its rows also attains the row minimum and has entries or . Subtracting from row produces two binary matrices with identical row and column sums. If , the difference has entries and zero row and column sums; starting from a and alternating a in the same row with a in the same column produces a shortest alternating cycle with distinct rows and columns , where and . If , switch the rectangle in to agree with there. If , inspect and : if , switching the rectangle with rows and columns gives a binary with strictly fewer discrepancies from ; if , the reverse switch on gives a binary with strictly fewer discrepancies from ; if neither holds, and a shorter alternating cycle exists, contradicting minimality. Induction on the discrepancy count connects and by binary switches, all preserving margins. Lifting these binary switches back to gives switches with , hence equal core size by step 2.2, preserving the hub.
Conclusion. Step 1.2 proves the boundary-count identity with the double edge at , and step 2.1 shows that equal hub and equal size are equivalent to equal content. Steps 1.3 and 2.2 identify cores of fixed hub and charges with integer matrices of fixed margins and give the squared-norm size formula; step 3.1 provides a same-hub core-switch path that never increases size and strictly decreases it whenever the core is not of minimum size, with minima existing in every nonempty class; and step 4.1 connects any two minimum-size cores by equal-size switches. These are exactly the finite- descent and reduced-core connectivity facts consumed by the Lyle–Mathas max-weight argument, proved locally without importing weight nonnegativity or matrix-alignment inputs.
Remarks
The energy argument is the normalized replacement for Fayers' weight-theory proof: the column potential makes the minimal rows balanced, every switch is scored by , and zero exchanges never change the core size, so the combinatorics of minimal cores reduces to the ultra-tight multiset lemma and the binary-switch connectivity argument. All steps are finite. No choice principle is used.
Cyclic type-A KLR regular Hom norm gives the total dimension
Statement
Let be any field, with finite , and use the standard homogeneous cyclotomic KLR quotient at for the cyclic affine type-A Cartan datum and admissible graded parameters (The cyclic affine type A Cartan datum and its residues, The cyclotomic KLR quotient at a dominant integral weight). Put and Then for , and has dimension one. The proof uses the basic first induction-restriction adjunction and the mixed relations on projective modulo , where is the formal grading variable, independent of any Hecke parameter . No Frobenius theorem, tensor-form perfectness, highest-weight or global-basis isometry, or Hecke basis is required. If and , then .
Open obligation. The proof consumes the sibling suppliers Cyclotomic induction is projective on the right (step 3.1), The categorical commutator for cyclotomic KLR functors (step 2.1) and Normalized cyclotomic functors give an integrable quantum action (step 2.1); if any of these is not yet authored, this item's decision stays escalated until the supplier and the exact use are reconciled.
Facts & Assumptions
Given: The cyclic affine type-A Cartan datum with finite , the dominant weight of level , the standard cyclotomic KLR quotient , its rank pieces , and the induction and restriction functors (right append and its adjoint) (Cyclotomic KLR induction and restriction functors, The cyclotomic KLR quotient at a dominant integral weight).
The corner idempotents are orthogonal and sum to the local unit ; left multiplication by gives an isomorphism with inverse , using only the unital corner homomorphism (Cyclotomic KLR induction and restriction functors, The cyclotomic KLR quotient at a dominant integral weight).
On projective modulo the same-color categorical decomposition forgets to on the root component , and the unequal-color mixed relation forgets to for (The categorical commutator for cyclotomic KLR functors, Normalized cyclotomic functors give an integrable quantum action).
The rank- basic projectives are itself, all restricted modules remain finite projective, and the first adjunction holds (Cyclotomic induction is projective on the right, Graded Grothendieck groups, shift action, and Cartan map).
For finite graded projectives the pairing with grading forgotten (equivalently the total graded Hom Hilbert series evaluated at ) is additive, invariant under shifts and descends to the quotient of [F3] (Graded Grothendieck groups, shift action, and Cartan map).
Proof
Given: The cyclic KLR data of [F1]–[F4], the operators
, on projective
modulo , and the classes , .
Rank decomposition. For fixed , the corner idempotents over all root components of height and colors are orthogonal and sum to : each word has exactly one last color and one prefix root, so it lies in exactly one corner. By [F1] the multiplication map is an isomorphism; spelling out the left action by the basic induction functor gives . The zero-corner case gives and is included since its summand is zero.
The mixed commutators at . Forgetting the grading shifts in the same-color categorical decomposition gives on the root component ; its positive identity summands contribute copies and its negative identity summands contribute the signed counterpart, so the integral specializes at to the integer with no division by . The unequal-color mixed relation gives for . Hence on root component . For affine type A every Cartan column sums to zero, including the double-edge matrix at , so independently of . Therefore , and since rank-zero restriction is zero, ; expanding gives .
The Hom-norm recurrence. For finite graded projectives define as in [F4]; it is additive in both variables, unchanged by shifts, and descends to projective modulo . Pairing distinct root blocks by zero and summing over a fixed rank, the ordinary first adjunction gives , hence ; all restricted modules remain finite projectives by [F3], so the recurrence stays inside the declared group. Combining with step 1.2,
Conclusion. The initial value is ; since by right multiplication, , and induction on gives as an ordinary integer. Nothing reduces the integer dimension or the factor inside , so the argument covers every field characteristic; for and the recurrence gives ; and for , independently of , has the singleton empty monomial as basis. No Frobenius theorem, tensor-form perfectness, highest-weight or global-basis isometry, Hecke basis or choice principle is used.
Remarks
This is the independent dimension input used by the later exact basis theorem: the rank pieces satisfy the recurrence inside projective , so the total dimension is obtained without any global basis or Hecke-theoretic input. The three sibling suppliers named in the Statement remain an open obligation until they are authored and their uses reconciled.
Cyclotomic Hecke algebras of level one are finite Hecke algebras
Statement
Let be a level-one fundamental weight and keep the conventions of Affine type-A presentations and charged cyclotomic quotients. Then the assignments () in the nondegenerate case and in the degenerate case extend to -algebra isomorphisms respectively (The generic type-A Hecke algebra, The standard basis of the generic type-A Hecke algebra).
Facts & Assumptions
Given: A field , the level-one fundamental weight , the cyclotomic quotient of Affine type-A presentations and charged cyclotomic quotients, and the finite type-A Hecke algebra with quadratic relation , , respectively the group algebra .
At level one the cyclotomic relation reads in the nondegenerate branch and in the degenerate branch; the mixed relations give and , so every polynomial generator is expressible in the first one and the finite generators (Affine type-A presentations and charged cyclotomic quotients).
The finite Hecke algebra has standard basis ; the Jucys–Murphy elements in commute and satisfy and for , with the analogous multiplicative identities in (The Hecke Jucys-Murphy action is dominance triangular, The standard basis of the generic type-A Hecke algebra).
Proof
Given: The level-one quotient and the finite generators
(respectively ).
Surjectivity of the natural map. By [F1] the first polynomial generator is the scalar (respectively ), and the recursion expressing every (respectively ) in and (respectively ) shows that the algebra generated by the finite generators and is already generated by the finite generators alone. Hence the assignment of the Statement is a surjective algebra homomorphism.
The inverse in the nondegenerate branch. Let be the additive Jucys–Murphy element and put a product of units, so every is invertible; the commute because the do, and while for follow from [F2] by separating the term in and using the finite braid relation on the three affected transpositions. Setting therefore produces commuting units with , distant mixed commutation, the finite Hecke relations and . These elements satisfy the complete affine presentation, so the assignment defines a homomorphism fixing the .
The inverse in the degenerate branch. Put with . Direct transposition multiplication gives , hence , and the commute and commute with distant generators by [F2]; at this gives . These elements satisfy the degenerate affine relations, so the assignment defines a homomorphism fixing the .
Mutual inverses. The two constructions of steps 1.2 and 1.3 fix every finite generator, and the composites with the surjection of step 1.1 fix every presentation generator: the finite generators by construction, and the polynomial generators because both sides satisfy the same recursion from (respectively ) and the mixed relations. Hence both composites are the identity on a generating set, so the maps are mutually inverse isomorphisms; rank zero gives on both sides. This removes any late-basis or dimension dependency and introduces no BK or primitive-block input.
Remarks
The identification is proved by an explicit inverse rather than by comparing dimensions, so it does not depend on the later cyclotomic basis theorem, the BK isomorphism or any block-primitivity statement. No choice principle is used.
Affine and cyclotomic type-A Hecke algebras
Definition
Let be a field and with finite quantum characteristic , (The quantum characteristic of an invertible Hecke parameter), let be the residue set with integer residue labels , and use the cyclic affine type-A Cartan datum with dominant weights and pairing (The cyclic affine type A Cartan datum and its residues). In the nondegenerate branch the distinct spectral values of the labels are , while in the degenerate branch they are (here ). Fix of level and put .
(NG) Nondegenerate case . The affine Hecke algebra of type at parameter is the unital -algebra with generators and subject to the relations The cyclotomic Hecke algebra is
(DG) Degenerate case (which forces ). The degenerate affine Hecke algebra is the unital -algebra with generators and subject to the relations its ordered monomials form an -basis by Degenerate affine Hecke ordered monomials form a basis. The degenerate cyclotomic Hecke algebra is
Conventions and boundary. Put ; the cyclotomic polynomial is imposed on the FIRST polynomial generator, and acts on positions . The Hecke parameter is the one of The generic type-A Hecke algebra (). At level one , the algebra is the finite type-A Hecke algebra if and the group algebra if (Cyclotomic Hecke algebras of level one are finite Hecke algebras). Only finite is treated: the source's branches ( not a root of unity, and the characteristic-zero degeneration, whose quiver is ) are outside this page's cyclic scope and are recorded as a deferred boundary in the batch notes. These presentations and the charged quotients are the ones of Affine type-A presentations and charged cyclotomic quotients; no embedding of the label set into is claimed in the nondegenerate branch, and no choice principle is used.
The type-A cyclotomic specialization of the QG-KLR algebras
Definition
Let be as in Affine and cyclotomic type-A Hecke algebras (The quantum characteristic of an invertible Hecke parameter, The cyclic affine type A Cartan datum and its residues). On the cyclic affine type-A Cartan datum take the normalized symmetrizers and define the type-A KLR datum by Write for the resulting generalized KLR algebra over (The quiver Hecke (KLR) algebra of a symmetrizable Cartan datum, The KLR grading and the diagrammatic multiplication) and for the standard cyclotomic quotient of The cyclotomic KLR quotient at a dominant integral weight (monic first-strand relations ).
The specialization dictionary. Put and . With these normalizations, the relations (1.6)–(1.15) of the source hold in , and conversely the quotient presented by those relations is the same algebra; in other words is the sign-modified cyclotomic Khovanov–Lauda algebra of the source for the cyclic quiver of quantum characteristic . The verification of the dictionary is elementary and is recorded here so that no hidden convention is imported:
- (Q1)–(Q4). Non-adjacent pairs have and , homogeneous of degree . For an adjacent pair with one has , and is homogeneous of degree with nonzero extremal coefficients of and ; the opposite orientation is the transpose, so (Q2) is built into the two formulae. For the pair has and , and is symmetric, homogeneous of degree , with top coefficient .
- Dot sliding. Relation (1.8) comes from ; relations (1.12)–(1.13) reduce to the dot-sliding constants and on equal colours, whose sign changes to the source's constants under .
- Quadratic and braid relations. Relation (1.14): equal colours give ; non-adjacent colours give ; a forward arrow gives , evaluated at as ; a backward arrow gives ; the double edge gives . Relation (1.15): the divided-difference numerator equals in the two single-edge cases with , equals in the double-edge case, and vanishes otherwise; the global sign matches the source's three cases. The product order is explicit: the source difference is , which under equals the native reversed-word difference ; for the displayed quotient is . Thus no braid-order sign is suppressed, also in characteristic two.
Degrees of products are read on the successive permuted colour pairs as in The KLR grading and the diagrammatic multiplication. This definition introduces no new basis, trace or primitive-block assertion, and uses no choice principle.
Cyclotomic Hecke intertwiners and local power series
Statement
Let be a central content sector (possibly zero) as in Central content sectors of the cyclotomic Hecke algebra, with the residue tuples contained in a fixed index set .
- Set in the degenerate case and in the nondegenerate case (). Then are commuting nilpotent elements of ; consequently every rational expression displayed below, expanded as a power series in the nilpotent 's, is a finite and well-defined element of .
- The power series (degenerate case), respectively (nondegenerate case), satisfy (3.23)–(3.25) respectively (4.24)–(4.26), (4.28)–(4.30) and (4.32); and the intertwining elements satisfy all identities (3.14)–(3.20) of the source's Lemma 3.1, respectively (4.14)–(4.20) of its Lemma 4.1.
- There exist invertible power series (respectively ) satisfying (3.27)–(3.29), respectively (4.33)–(4.35); the explicit candidates (3.30) respectively (4.36) do, and for them the identity (3.43) respectively (4.44) holds.
Facts & Assumptions
Given: The cyclotomic Hecke algebra of Affine and cyclotomic type-A Hecke algebras with its central content sectors and projectors (Central content sectors of the cyclotomic Hecke algebra), and the notation of the Statement.
On the summand the polynomial generator has the single generalized residue : in the degenerate branch is nilpotent on , and in the nondegenerate branch is nilpotent on ; the are commuting sums of these, hence commuting nilpotents (Central content sectors of the cyclotomic Hecke algebra).
The divided-difference convention is , and on equal colours the intertwiners reduce to respectively (Affine and cyclotomic type-A Hecke algebras).
Proof
Given: The data of the Statement and the facts above.
Finite evaluation. On each projector the dots are commuting nilpotents by [F1]. If , every monomial of total degree greater than vanishes. Thus formal series have finite evaluation, and with and of positive degree has inverse . Unequal-colour spectral differences have nonzero scalar constant; equal-colour dot differences will only be used as formal divided differences, never inverted in the cyclotomic algebra.
A faithful formal calculation convention. Temporarily take independent dots and a separate copy of their fraction field for each colour word. Let swap both positions and their dots; write multiplication on the right of . For spectral variables , put in DG and in NG, even on equal colours. The affine Hecke operator is in DG and in NG. For precision the formal calculation algebra has coefficients and the affine generators, with spectral word-sliding: an unequal-colour intertwiner moves to and permutes coefficients, while on equal colours the affine mixed relation gives its divided-difference correction. These relations follow in a sector by the CRT projectors and the mixed presentation: multiply the unequal spectral difference by the intertwiner and use its unit inverse; on equal colours use . This calculation is faithful before any cyclotomic quotient: move coefficients right by these mixed and word-sliding relations and reduce crossing words by the Coxeter relations to span the finitely many ; in their crossed-product expansions the coefficient at a reduced permutation is a product of nonzero rational functions and every proper subword has smaller length. A maximal-length coefficient therefore proves independence, also for formal series coefficients after clearing their finitely many difference denominators. Consequently an identity between regular formal expressions can be checked in this rational model and then evaluated at nilpotent dots. This is a calculation in the affine presentation, not an assumption that its cyclotomic quotient acts faithfully.
Explicit normalization. Write , on unequal DG colours, and on NG colours. In the order equal, unrelated, forward arrow, backward arrow, double edge, choose to be , , , , , respectively, and choose to be , , , , , respectively. These are the actual five branches, including . For DG forward colours , so ; on the double edge the field has characteristic two and . Thus the forward quotient has constant unless the pair is a double edge, which uses the separate constant branch. Unrelated pairs have , so has nonzero constant. In NG the unequal is a unit; has nonzero constant except for a backward arrow, whose coefficient is prescribed separately. Hence all five coefficients are units; the equal coefficient has constant in DG and in NG.
The full affine coefficient check. In left-coefficient notation , use in DG and in NG, where or , respectively, and . Direct common-denominator multiplication gives , , and . The mixed relations follow by multiplying on either side; the first two identities give . For three positions, expansion of either braid word has coefficients, in the order , equal to , , , , , . For example the first expansion's constant is , which reduces to the displayed constant using the three scalar identities. The coefficient reduces from in the same way. Thus this six-coefficient check establishes braid for all spectral triples, including any coincidence of colour labels; spectral variables remain independent at this stage. Disjoint positions commute.
Pair products and interchange. Denote the chosen normalizer by , the piecewise scalar by in DG or in NG, and put in the four unequal-colour cases. Substitution gives in DG and in NG. Also in DG and in NG. For the latter equality, its right side is ; forward and backward pairs use and , respectively, and a double edge uses both. These substitutions prove each branch of the pair-product identities without division by a nonunit. Each coefficient depends only on its ordered two colours and their two dots. Therefore swapping a third position gives the same coefficient of the same ordered pair, proving the three-position interchange identities for . In particular no square root is chosen.
The intertwiners. On unequal colours and , since the scalar term cancels. Hence they permute the word and the two spectral variables, their squares are the pair products in step 3.1, and they commute at distant positions. On equal colours they are ; their squares are and . The equal-colour mixed correction is in DG and in NG, obtained by multiplying the operator by and subtracting . The braid defect is zero unless the outer colours coincide. For all equal colours, expanding minus its reversed word gives in DG and in NG (here in DG). For outer equal, middle unequal, write or , and . The middle equal-colour intertwiner contributes either its permutation term or its scalar term . The former gives equal longest-permutation coefficients in the two words; the latter gives identity coefficients and . Their difference is therefore . In DG put and use ; then this difference is . In NG, substituting and cancels the factor and gives . Adjacent-equal and distinct-colour patterns have no remaining identity term; their permutation coefficients cancel by the scalar identities of step 2.2. These are precisely the intertwiner identities named in the Statement.
A local crossing calculation that will also serve both relation maps. Put ; every inverse dot difference in an operator formula acts by multiplication on the left unless explicitly included in a right coefficient. On equal colours, , since in DG and in NG; thus . On unequal colours set or , so the normalized crossing is and by step 3.1. For a formal coefficient , direct subtraction gives and ; unequal crossings simply permute coefficients. These formulas prove the dot-sliding and quadratic relations and the compatibility or on unequal colours; on equal colours both sides of the original compatibility identity are zero.
Every braid colour pattern. Write for the three dots, , and . If all colours are distinct, both crossing braid words have right coefficient at . For both are ; the coefficient product is symmetric in , so moving it through adds no divided-difference correction. For both are , by the same calculation with the product symmetric in . In these two formulas the denominator multiplies on the left and the coefficient product multiplies on the right. For the longest-permutation terms cancel by the ordered-pair interchange of step 3.1; the remaining identity coefficients in and are and . Thus their difference is , equal to for unrelated, forward, backward, double-edge pairs. Finally all equal colours give . Each displayed quotient is a formal divided difference; the resulting braid correction is polynomial, including characteristic two. This proves all five cases locally.
Regular identities and conclusion. The rational calculations above express every intertwiner, normalization, dot-sliding, quadratic and braid identity as an identity of regular formal expressions in the affine generators. Faithfulness in step 1.2 licenses clearing the temporary differences, and step 1.1 licenses finite evaluation in the sector. The candidate normalizers and their products give all stated identities, retaining in NG. Therefore all three assertions of the Statement hold over the original field, with no algebraic closure or choice principle.
Remarks
The temporary difference inverses occur only in the faithful formal calculation. They are not evaluated in a cyclotomic quotient; only the regular identities and the unit normalizers are evaluated there.
The cyclotomic KLR block satisfies the Hecke relations
Statement
In the specialized cyclotomic KLR content algebra define in the degenerate case and in the nondegenerate case, where are the power series of Cyclotomic Hecke intertwiners and local power series evaluated in using the nilpotence of the 's. Then these elements satisfy the defining relations (3.2)–(3.5), respectively (4.2)–(4.5), of the affine Hecke algebra and the cyclotomic relation , respectively ; hence they define a unique -algebra homomorphism . Moreover kills and every corner component with , and restricts to a unital homomorphism with for and otherwise.
Facts & Assumptions
Given: The specialized cyclotomic KLR algebra with its idempotents , dots and crossings (The type-A cyclotomic specialization of the QG-KLR algebras), the sector (Central content sectors of the cyclotomic Hecke algebra), and the power series (degenerate) respectively (nondegenerate) of Cyclotomic Hecke intertwiners and local power series.
The explicit five-branch scalar series and their pair-product/interchange identities are those proved in the explicit normalization and pair-product calculations of Cyclotomic Hecke intertwiners and local power series. Only these scalar identities, not Hecke-side intertwiner relations, are used before establishing the Hecke presentation.
The KLR relations (1.6)–(1.15) hold in , with (1.6) the cyclotomic relation and (1.12)–(1.13) the dot-sliding relations (The type-A cyclotomic specialization of the QG-KLR algebras); the cyclotomic quotient is finite-dimensional and the -dots are nilpotent on root strings (Cyclotomic dot annihilators, finite-dimensional blocks, and finite root strings).
The type-A Coxeter presentation is the adjacent-transposition presentation of (The symmetric group has the Coxeter presentation). Applied to this Coxeter matrix, Matsumoto's theorem: braid connectivity of reduced expressions, with singleton detection in dihedral subgroups connects reduced words by braid moves and exposes an adjacent repeat in every nonreduced word using those moves.
Proof
Given: The elements of the Statement and the relations of [F1]–[F2].
A faithful KLR calculation, before quotient. Take independent dots and let swap positions, colours and dots. Define the following rational operators locally: equal crossings act by and unequal crossings by , where in DG or in NG. The scalar pair-product identities [F1] give , with . On equal colours direct multiplication gives and ; on unequal colours simply permutes dot coefficients. Here inverse differences are multiplication on the left, and is on the right of . For three distinct colours both braid products have right coefficient at . For both are ; for both are , with denominators on the left. These two products of coefficients are symmetric in the equal-colour variables, so their divided-difference corrections vanish. For the longest terms cancel; the identity terms are and , giving difference in the four unequal cases. When all colours are equal, both words are . These explicit operator products verify all KLR mixed, quadratic and braid relations of [F2]. This representation is faithful for formal dot coefficients: moving dots right by the proved sliding rule, use quadratic relations to remove repeated simple reflections and braid relations to reduce each crossing word to a chosen reduced word plus shorter words. This terminates by length (and the finite braid moves of [F3] at each fixed length), giving a spanning family . Each braid correction has fewer crossings and each quadratic reduction removes a pair; divided differences of formal series are formal series, so the same reduction works with formal coefficients. Its leading permutation coefficient is a product of nonzero and of for equal pairs; proper subwords have smaller permutation length. Maximal-length comparison in the matrix crossed product therefore proves independence of the formal coefficients. Clearing finitely many temporary dot differences is legitimate in this faithful affine calculation. It does not assert faithfulness after taking the cyclotomic quotient.
The mixed and quadratic computations. In the representation of step 1.1, the displayed inverse Hecke element (DG) or (NG) is literally or on every word. On unequal colours this follows by cancellation of the right coefficient ; on equal colours and by the equality . For a direct check, write this same inverse operator as with in DG and in NG, in DG and in NG, and . Substitution gives and ; hence . Multiplication by gives the mixed relation in DG, and in NG, together with or . Alternatively the DG mixed constant on an unequal word is , and on an equal word it is ; in NG the same spectral substitution gives the stated mixed identity. Commuting dots, distant mixed relations and distant crossings follow because the operators involve disjoint pairs. By step 1.1 these are regular affine-KLR identities and hence evaluate in the nilpotent-dot quotient.
All five Hecke braid patterns. For a triple with distinct colours, adjacent repeated colours or , outer repeated colours , or all equal colours, the inverse elements of step 2.1 have precisely the same rational Hecke operator on each successive word. Expansion in the crossed product gives the same six coefficients for both braid words. In the order , they are For example the first word's constant coefficient is and its coefficient is ; the identities below reduce them to the displayed entries. The other entries follow by choosing the permutation terms in two or three factors; swapping and treats the other word. These formulas apply to all five patterns because are independent spectral variables, even when their colour labels coincide. The required scalar reductions are , , and , with or . In the outer-repeated pattern the KLR braid correction on a double edge was already included in the faithful model of step 1.1, so it is not suppressed by this table. In the equal pattern accounts for all divided-difference terms. Equality of the six explicit coefficients, followed by faithfulness, proves Hecke braid inside the formal KLR algebra; its regular expressions descend to the cyclotomic quotient. This proves the missing four cases and the all-equal case without assuming any Hecke intertwiner relation in that algebra.
The cyclotomic relation and the homomorphism. The cyclotomic relation (respectively ) holds because is the cyclotomic KLR relation and (respectively ) is a shift of the dot. Hence all defining relations of the affine cyclotomic quotient are satisfied, and the universal property of the presentation gives a unique -algebra homomorphism carrying the generators to the displayed elements.
Identification of . By [F2] the algebra is finite-dimensional, so it becomes a finite-dimensional -module through . The simultaneous generalized weight space for in DG, or in NG, on is exactly when and is otherwise, by the nilpotence of the dots and the weight relation. Hence , being the projector onto that generalized weight space for the commuting operators in DG, or in NG, equals for and vanishes otherwise.
Factorization through the sector. Since is central and in (Central content sectors of the cyclotomic Hecke algebra), and since annihilates all idempotents with by step 5.1, the element . Therefore kills for and every corner with , and it factors through the central summand as a unital homomorphism.
Conclusion. Steps 1.1, 2.1, 3.1 and 4.1 produce the homomorphism from the verified affine and cyclotomic relations; steps 5.1 and 6.1 identify its action on the content idempotents and show that it kills all other sector corners, restricting to a unital homomorphism . No choice principle is used.
Remarks
The scalar normalization is checked before the KLR-to-Hecke calculation. The rational model is faithful only before quotient; the identities evaluated in the cyclotomic algebra contain no inverted equal-colour dot differences.
Hecke intertwiners produce the local KLR generators
Statement
Let be a central content sector, possibly zero, as in Central content sectors of the cyclotomic Hecke algebra, and let be the elements of Cyclotomic Hecke intertwiners and local power series. Put Then the elements of satisfy the relations (1.6)–(1.15) of the sign-modified cyclotomic KLR presentation of The type-A cyclotomic specialization of the QG-KLR algebras. Consequently there is a unique -algebra homomorphism with , and .
Facts & Assumptions
Given: The sector (Central content sectors of the cyclotomic Hecke algebra), the elements , the intertwiners and the normalizing series (Cyclotomic Hecke intertwiners and local power series), and the sign-modified KLR presentation (1.6)–(1.15) (The type-A cyclotomic specialization of the QG-KLR algebras).
The are commuting nilpotents on the sector and the intertwiners satisfy (3.14)–(3.20) in the degenerate case and (4.14)–(4.20) in the nondegenerate case, while the normalizing series satisfy (3.27)–(3.29) and (4.33)–(4.35) with compatibility (3.43), (4.44) (Cyclotomic Hecke intertwiners and local power series).
The defining relations of the sector are (3.2)–(3.5) respectively (4.2)–(4.5) together with the cyclotomic relation respectively (Affine and cyclotomic type-A Hecke algebras).
Proof
Given: The displayed elements and the identities of [F1]–[F2].
The cyclotomic and dot-sliding relations. Multiply the first-variable cyclotomic relation [F2] by . For every , the factor on in DG has nonzero constant plus a nilpotent, and the factor in NG has nonzero constant plus a nilpotent. Each is therefore invertible in that word corner by the finite geometric series. Cancelling these other-residue factors leaves or , respectively. Since these remaining factors are and , this is exactly . If it says . No invertibility on the complementary summands is needed. The dot and idempotent relations are immediate from the definitions of the idempotents and the dots , and the dot-sliding relations follow from the dot-sliding intertwiner identities, the definitions of and the equal-colour case of the normalization.
Quadratic and all braid patterns. Work first in the faithful formal affine-Hecke calculation of the normalization supplier, then evaluate its regular identities in the sector. On equal colours the normalized intertwiner is , so and . On unequal colours it is , with in DG or in NG; its square is , giving respectively . For the braid, put and dots . Distinct colours give both words . For both words are ; for they are , with denominators on the left and coefficient products on the right. The products are symmetric in the two equal-colour variables, so their divided differences vanish. For the longest terms cancel and the identity coefficients differ by ; direct substitution gives . On all equal colours the common value is . These are the supplier's explicit local computations, using only affine-Hecke relations and scalar normalizers, not the opposite relation-map lemma. The double-edge correction and its sign remain valid in characteristic two. Clearing temporary differences in the faithful formal calculation gives regular relations; only those relations, and unit coefficients, are evaluated on nilpotent dots. Hence each of the BK quadratic and braid equations holds in .
The homomorphism. The verified relations are exactly the presentation of recalled in [F2] and in The type-A cyclotomic specialization of the QG-KLR algebras, so the universal property of that presentation gives a unique -algebra homomorphism sending the generators to the displayed elements. No choice principle is used.
Conclusion. Steps 1.1 and 1.2 verify all relations of the sign-modified cyclotomic KLR presentation for , and step 2.1 invokes the universal property to produce . The zero sector is included: all constructions are supported on the projectors , which may vanish.
Remarks
This is the inverse direction of the Hecke–KLR comparison at the level of a single central content sector; together with The cyclotomic KLR block satisfies the Hecke relations it yields the two mutually inverse maps of the blockwise bridge. The local power-series calculus of Cyclotomic Hecke intertwiners and local power series is the only non-elementary input.
Cyclotomic Hecke central sectors are isomorphic to type-A cyclotomic KLR algebras
Statement
Over any field in the charged finite- conventions, the explicit maps from Hecke intertwiners produce the local KLR generators and The cyclotomic KLR block satisfies the Hecke relations are mutually inverse, for every content , including zero sectors. Here is only the central CRT content sector; no primitivity is assumed. Thus if and only if , and summing over the finite height- contents gives On idempotents the maps are the literal identity, and the dot image is in the degenerate branch and in the nondegenerate branch. This result precedes the late dimension, basis and primitive-block theorems, and no algebraic-closure hypothesis is required.
Facts & Assumptions
Given: The cyclotomic Hecke algebra with its central content sectors ([def-cyclotomic-hecke-central-content-sector-notation]), the specialized cyclotomic KLR algebra (The type-A cyclotomic specialization of the QG-KLR algebras), and the two maps constructed by the preceding lemmas (Hecke intertwiners produce the local KLR generators, The cyclotomic KLR block satisfies the Hecke relations).
carries to for and kills the idempotents of other contents; it restricts to a unital homomorphism (The cyclotomic KLR block satisfies the Hecke relations).
carries to , to and to the intertwiner quotient , and is the unique homomorphism with these values (Hecke intertwiners produce the local KLR generators).
The content sectors are central orthogonal idempotents summing to (Central content sectors of the cyclotomic Hecke algebra).
Proof
Given: The maps of [F1]–[F2] over the actual field .
The forward composite on dots and crossings. On each KLR word the map kills all idempotents outside content ; in particular, since the inverse polynomial generators of have exactly the eigenword projectors (the nilpotent dots shift distinct scalar eigenvalues), and annihilates every other central sector. The composite fixes by [F2], and on a crossing using the definitions of the local generating elements in Hecke intertwiners produce the local KLR generators; the degenerate case is the same computation with in place of . These are literal ordered expressions, not a commutation of with its coefficient. Hence fixes every presentation generator of .
The reverse composite on generators. By [F2] the composite fixes the idempotents and dots; on a word, in the nondegenerate case, and the same with in the degenerate case. Again the evaluation is a finite expression in the nilpotent variables. For the polynomial generators the computations are in DG and in NG; their inverses are fixed because homomorphisms preserve inverses. Conversely in DG and in NG. Along with the projector identities of [F1], these verify every presentation generator of both algebras, including the correct inverse NG substitution. Hence fixes every presentation generator of .
Mutual inverses and the zero-sector statement. Both composites fix all generators of their source algebras, so and ; in particular the maps are algebra isomorphisms, and on idempotents they are the literal identity. If then the already constructed would satisfy with , forcing ; conversely the forward identities force if . Zero rings and rank zero are therefore included without any nonzero-block premise.
Conclusion. Summing the isomorphisms over the finite set of height- contents and using that the are central orthogonal idempotents summing to by [F3] gives . Neither exact dimension nor primitive terminology has entered the proof; the full colour-case verifications, affine six-coefficient calculation and equal-colour divided-difference computation reside in the normalization supplier and the two preceding local relation lemmas. No choice principle and no algebraic closure are used.
Remarks
This is the sector-level isomorphism for every content, proved before any dimension or primitivity input; it is the algebraic engine of the blockwise bridge. The zero-sector case is handled by the identity rather than by a nonzero-block hypothesis.
Basis and dimension of the cyclotomic Hecke algebra
Statement
With the conventions of Affine and cyclotomic type-A Hecke algebras, the images of the ordered monomials in the degenerate case, respectively in the nondegenerate case, form an -basis of . In particular and is finite dimensional. For the singleton empty word gives and dimension one independently of . If and , the relation gives the zero algebra and the empty basis; no ambiguous convention is used.
Facts & Assumptions
Given: The cyclotomic Hecke algebra and its bounded ordered monomials (Bounded ordered monomials span the cyclotomic Hecke quotients), the sector isomorphism (Cyclotomic Hecke central sectors are isomorphic to type-A cyclotomic KLR algebras), and the total dimension of the specialized KLR algebra (Cyclic type-A KLR regular Hom norm gives the total dimension).
The bounded ordered monomials span : every element is a combination of (respectively ) with and , and there are exactly such words for , (Bounded ordered monomials span the cyclotomic Hecke quotients).
For every content , the sector isomorphism holds, so over the finitely many height- contents (Cyclotomic Hecke central sectors are isomorphic to type-A cyclotomic KLR algebras).
The specialized KLR algebra satisfies has for , and (Cyclic type-A KLR regular Hom norm gives the total dimension).
Proof
Given: The data and suppliers of [F1]–[F3]; first assume and
.
Exactly spanning words. By [F1] the bounded ordered monomials span , and the number of tuples with and is . The spanning lemma is stated before, and independent of, the spectral/projector construction, and never imposes the first polynomial independently on every dot.
The dimension. By the sector isomorphism [F2] the algebra is the direct sum of the finite family of sector algebras (one for each content of height ), and each is isomorphic to the corresponding summand of the specialized KLR algebra. Summing dimensions, the last equality being the total dimension statement of Cyclic type-A KLR regular Hom norm gives the total dimension; grouping the root components by their content is legitimate because the idempotents of distinct contents are orthogonal. This is an integer identity, not an equality reduced modulo the characteristic.
Basis and boundary cases. A spanning family of vectors in the -dimensional space is a basis, so the bounded ordered monomials form an -basis and . For the singleton empty word gives independently of ; for and the imposed relation is , the algebra is zero and the empty family is its basis. No ambiguous convention is used. The late theorem does not feed the CRT or the early BK construction, and no Frobenius theorem or global highest-weight isometry is used.
Remarks
The proof transfers the independent KLR dimension across the primitive-free sector isomorphism and then uses the bounded spanning family: a spanning family of exactly the dimension is a basis. The level-one case was already proved independently by the explicit JM inverse, and this lemma does not re-derive it.
Universal cyclotomic Hecke ordered monomials form a basis
Statement
Let with , and let be the actual nondegenerate cyclotomic presentation of Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules at the first polynomial . Then is a free -module with indexed -basis This basis specializes to every commutative -algebra. Rank zero is with the singleton empty word. The separate level-zero positive-rank quotient is zero with the empty family.
Facts & Assumptions
Given: The universal Laurent parameter ring , the nondegenerate cyclotomic presentation with the first-variable polynomial , and the bounded ordered family .
The images of the bounded ordered monomials span over any base ring with invertible parameter: the Bernstein product identities transport the first polynomial to a zero relation with leading coefficient and remainders of -exponent below involving no variable above , and reverse-lexicographic induction terminates because the leading coefficients are units of ; inverse variables are polynomials by the unit constant term of the first polynomial and the invertible finite Hecke generators (Bounded ordered monomials span the cyclotomic Hecke quotients).
For a finite cyclic type-A field parameter, the sector isomorphism (Cyclotomic Hecke central sectors are isomorphic to type-A cyclotomic KLR algebras) combined with the KLR total dimension gives (Cyclic type-A KLR regular Hom norm gives the total dimension).
For every prime power there is a finite field , whose multiplicative group is cyclic of order (For every prime and , a field with elements exists, The multiplicative group of a finite field is cyclic); the Euler function satisfies , and a nonzero polynomial over a field has at most its degree roots (Division algorithm for polynomials over a field).
Proof
Given: The universal presentation, the bounded family , and
the suppliers of [F1]–[F3].
Spanning over . By [F1] the family spans over the universal ring : every element is an -combination of the bounded ordered monomials with and . The calculation uses no field division and therefore holds over ; for the singleton empty word gives , and for , the quotient is zero with the empty family.
Independence by finite-field specialization. Suppose is a nontrivial relation in with , not all zero. Fix with and multiply the relation by a Laurent monomial so that ; choose a prime for which some nonzero integer coefficient of survives modulo , and view as a polynomial in with coefficients in ; let be one of those coefficients. By [F3] the number of primitive elements of is , which is unbounded and satisfies (factor over prime powers: each factor except , , where it is ). Choose with and larger than every -degree of ; then some primitive avoids the roots of . Repeated one-variable root bounds on the nonzero-coordinate grid (each is constrained to be a power , and the remaining polynomial in the next variable has degree bounded by the -degree of ) supply with in . This specialization is exactly an allowed finite cyclic type-A field parameter: has order , and the cyclotomic charges lie in .
The specialized basis forces a contradiction. Over the field with the parameter and charges of step 1.2, the early explicit BK maps identify the direct sum of the Hecke central sectors with the standard homogeneous cyclic KLR algebra, whose total dimension is by [F2]. The bounded spanning of step 1.1 provides exactly ordered words , so over the specialized field the family is a basis; specializing the assumed relation forces for every , and in particular , contradicting the choice of in step 1.2. Hence the relation was trivial, the family is -linearly independent, and with step 1.1 it is an -basis of .
Base change and boundary cases. Formation of the presented algebra commutes with arbitrary base change: the presentation is a quotient of a free algebra and its specialized ideal is precisely the specialized relation ideal, so the -basis specializes to a basis of for every commutative -algebra (in particular for the LM deformation DVR with and ). No integral freeness was inferred from generic rank, no flatness was assumed, and no Schur or primitive-block classification was used.
Remarks
The independence proof is a density argument: algebraic relations over the universal Laurent ring are witnessed in arbitrarily large finite fields with primitive parameter, where the exact dimension is available from the independent KLR theory. The dependency order is essential: the primitive-free spectral/projector sectors and the explicit field maps precede the field norm, which precedes this universal PBW statement; the universal basis then feeds the local canonical trace and the Murphy/semistandard/Schur constructions. No choice principle is used (the finite fields and roots are chosen by explicit bounded searches).
The degenerate cyclotomic Hecke center is the symmetric polynomial image
Statement
Let be any field of characteristic with , and let be the degenerate cyclotomic Hecke algebra with the FIRST relation , , (Affine and cyclotomic type-A Hecke algebras). Then is exactly the image of under (Symmetric polynomials as the invariants of variable permutations, The finite symmetric group , one-line notation, and cycle notation). The proof is over the original , for every and level , and does not divide by or .
Facts & Assumptions
Given: The degenerate affine and cyclotomic presentations, the field of characteristic , the level and the polynomials .
The bounded ordered monomials of the degenerate cyclotomic quotient form a basis (Basis and dimension of the cyclotomic Hecke algebra), and the degree-decreasing transported relation with remainders of total degree below holds (Bounded ordered monomials span the cyclotomic Hecke quotients).
The mixed relations are and , with distant mixed commutation; the satisfy the Coxeter relations (Affine and cyclotomic type-A Hecke algebras).
Proof
Given: The data of [F1]–[F2]; rank zero is with symmetric image ,
so assume .
The associated graded. Give degree and the symmetric group degree . By [F1] the transported relation has leading term with all other dot terms of total degree below , and the bounded reduction sends monomials of dot degree to bounded monomials of dot degree ; independence of the bounded basis makes these the filtration steps . The leading mixed relations give the variable permutation action of , and the transported relations give in the associated graded. Hence the natural surjection is an isomorphism: the bounded monomials of the truncated algebra map degree-by-degree onto the basis of [F1].
Symmetric polynomials are central. For , , the relations of [F2] give, by induction on products, for every polynomial ; the quotient is a polynomial because the numerator vanishes at . Applying this to a polynomial symmetric in shows that it commutes with , and a globally symmetric polynomial commutes with every and every , hence is central in . No division by an integer or by inside the algebra is used.
Cycle coefficients in the graded centralizer. In , put over and , and for a cycle on , . For a coefficient commuting with the , the equations are . On one cycle they equate coefficients obtained by transferring one unit between consecutive coordinates, with out-of-range coefficients interpreted as zero. At fixed total degree, transfer units until the first coordinates are . If the total is , every coefficient equals the coefficient at ; if the total is smaller, the same transfers reach a zero coordinate followed by a transfer to exponent , and all coefficients vanish. Thus the solutions on that cycle have basis . For disjoint cycles apply these equations separately to each coefficient in the monomial basis of the complementary variables; this gives exactly the products of disjoint colored cycles as the polynomial centralizer basis. This argument also covers : the truncated polynomial ring is , and its centralizer is .
Reduced-degree powers. Write . The mixed relations give . Starting with , induction on shows that has filtration degree at most and symbol there, where . For , , it follows that has filtration degree at most and symbol . This is a reduced degree: the ordinary degree- symbol may be zero.
Orbit sums and colored-cycle multiplication. Conjugation permutes the basis of step 2.1, so its fixed vectors have basis the orbit sums , indexed by colored cycle types, including trivial color-zero fixed points to fill rank . No averaging is used. If , direct multiplication gives . For , fixing the exponents away from the common variable fixes its exponent uniquely and gives the asserted coefficient one. For , the basic repeated-edge computation is : only equal complementary exponents survive, with exactly choices. Joining the remaining common variables successively reduces the general case to these two computations. Consequently disjoint colored cycles commute; two cycles meeting at one point multiply to their merged cycle of color ; when they meet in at least two points the product vanishes unless , and otherwise is a scalar times disjoint cycles all of color . Indeed the displayed exponent equals the maximal degree on the union when , and exceeds it when and ; when every polynomial coefficient is one and the assertion reduces to ordinary cycle multiplication. Iterating gives disjoint-cycle reductions, never increasing the union of supports.
The star-cycle expansion. Let be the sum of over ordered, distinct , and let . Expanding , sequences with distinct leaves give precisely : the product of the star transpositions is one cycle, with a unique ordered leaf sequence for each such cycle. Any repeated leaf uses at most vertices including ; at its first repetition the intersecting cycles have at least two common vertices, so step 3.1 turns the result into saturated (color ) disjoint cycles or zero. Further star factors preserve saturation by the one-point rule, or vanish by the multiple-point rule. The term is itself a saturated singleton containing ; choosing it anywhere in has the same consequence and uses at most vertices. Thus this power equals plus saturated disjoint-cycle products on at most vertices, always with in their support. Multiplication by gives exactly when , because it raises the color of the distinct-leaf cycle to , while every saturated error containing vanishes. (For there is no case.) This proves the complete power-symbol formula, including .
Triangular symmetric lifts. Index colored cycle types by partitions obtained by replacing each cycle of length and color by and discarding zero parts. These are exactly the partitions satisfying ; the inverse adds trivial fixed points. Put and , summing each distinct exponent tuple once. It is central by step 1.2 and lies in filtration degree by step 4.1. Its symbol at that degree is plus orbit sums with strictly smaller : each product of the leading star cycles on disjoint supports has the prescribed type, and its coefficient is one, since each cycle's largest vertex uniquely chooses its star hub, its ordered other vertices uniquely choose its star expansion, and the unordered exponent tuple chooses each assignment only once, even for repeated parts. Overlapping supports strictly decrease the number of used vertices, as does every error from step 4.1; disjoint-cycle reduction preserves this bound. The entire symbol is central, so the remainder is a combination of orbit sums by step 3.1, with smaller and the same homogeneous degree. Hence, ordering the finite colored types by , the symbols of the form a unit triangular change of the orbit-sum basis, degree by degree.
Filtration descent. If has filtration degree , its degree- symbol lies in . By step 5.1 it is a linear combination of degree- symbols of central symmetric evaluations ; subtract that same combination in to lower the filtration degree. Repeating terminates because degrees are nonnegative; in degree zero the same triangular basis applies, and the next filtration step is zero. Thus every central element is a symmetric-polynomial evaluation, and step 1.2 proves the reverse inclusion. Rank zero was handled separately. No division by , or the field characteristic occurs.
Remarks
The symbols used here are taken at the reduced filtration degree of a symmetric evaluation. They need not be polynomials in the degree-one symbols of the . For example, at level one with , the element can have the degree-zero transposition symbol. The colored-cycle construction supplies these symbols explicitly. Exact cyclotomic PBW is a required supplier; while its projectivity and isomorphism prerequisites remain unresolved, this center carrier remains conditional on that input.
The universal cyclotomic Hecke canonical trace is perfect and symmetric
Statement
For the universal cyclotomic presentation of Universal cyclotomic Hecke ordered monomials form a basis, extract the coefficient of the zero-dot identity-permutation PBW word to define the -linear map . Then and the pairing is a perfect -bilinear associative pairing. Both properties hold after every commutative unit-parameter base change, including the LM deformation DVR. Rank zero is with . For the separate level-zero positive-rank zero algebra the zero pairing is perfect; no nonzero assertion is made.
Facts & Assumptions
Given: The universal parameter ring with , the nondegenerate cyclotomic quotient with first polynomial , and the PBW basis (Universal cyclotomic Hecke ordered monomials form a basis).
is an -basis of , valid over every commutative -algebra (Universal cyclotomic Hecke ordered monomials form a basis); the finite Hecke algebra has standard basis with for increasing length and for decreasing length (The standard basis of the generic type-A Hecke algebra).
The mixed relation can be written and gives the Bernstein straightening identity with (Universal cyclotomic Hecke ordered monomials form a basis).
Determinants are multiplicative, and block-triangular determinants multiply over their diagonal blocks (For , the determinant over a commutative ring by the Leibniz formula, and for a real matrix, For same-sized finite square matrices over a commutative ring, ). For a square matrix over the commutative ring , cofactor expansion gives , so a unit determinant gives an inverse over .
Proof
Given: The universal PBW presentation and the data of [F1]–[F3].
The trace and its dual basis. Define by at the zero-dot identity word and at every other PBW basis element, extended -linearly; by [F1] this is well defined over and after base change. Put and in the finite Hecke subalgebra; the are units. Define the second family The standard anti-involution fixing the presentation generators fixes each , so is a basis; at each fixed profile , multiplying the finite Hecke factor by the unit is an invertible -linear change of the finite Hecke basis. Hence is an -basis of .
Cyclicity for via the tower. At rank one the algebra is commutative, so cyclicity is immediate; for the induction assume . Identify with the subalgebra on ; its bounded words are a subset of . Put for and ; the decomposition with is length additive, so is a left -basis of . Define the left-linear projection to be on and on the other basis elements, and . With and , the mixed relation gives , and [F2] gives , where every term of has total dot degree and -degree between and (the leading branch transfers the full exponent, each correction transfers a strictly smaller positive exponent, and no variable above occurs). For every lower exponent in is below , so ; likewise for . Multiplying the first-dot relation by gives , and applying yields , which completes the missing case . To verify right -linearity, test the displayed left tower basis . For , and commute with ; its projection is zero unless , where the equality is immediate. For , gives for : bounded positive exponents project to zero, and the endpoint was just established. Left -linearity then extends the equality to every . Hence for all , and by left linearity ; induction on gives .
Cyclicity for the finite generators. Let be a bounded dot monomial and . By [F2], for times the other variables, the correction monomials have the same total dot degree and both displayed exponents at most (the exponents run as or ), so when the exponent profile is positive every term on either side of has a positive bounded profile and evaluates to . When , the finite Hecke multiplication formula [F1] gives coefficient of in , respectively , equal to if and otherwise. This proves without using the trace one is proving.
Generation and symmetry. The elements generate as an -algebra: the constant term is a unit, so makes a polynomial in ; each ; and , with inverses expressed likewise. Moving the generators of a word one at a time around , using steps 1.2 and 1.3, gives for every pair of words, hence for all by -bilinearity; the pairing is associative and symmetric.
Restricted-profile zero values. For let be the span of the PBW words whose dot entries above vanish, all finite permutations included. It is a right finite-Hecke module. Multiplying its dot part by any polynomial in stays in : transport the first cyclotomic relation successively only through , so each resulting relation reduces a power of , , using variables of index at most and finite words of indices below ; repeated Bernstein straightening and the bounded reduction of [F1] therefore never introduce a variable above . In particular is the dot algebra on its first variables times the finite Hecke algebra. For and , , directly from the bounded basis, since the new exponent is positive and bounded. This statement concerns , rather than arbitrary .
Transferred restricted-profile powers. Write . For , and we claim , with empty chains when . The mixed relations give , by induction on using that commutes with . To descend from to , it suffices to show every correction has trace zero. Put , . For , the mixed relation and the formula give the exact identity : substitute and use . Expand in the reversed PBW order using . Bernstein straightening swaps the two exponents or replaces them by intermediate exponents, so every exponent stays nonnegative and at most ; variables have index at most . Cyclicity from step 2.1 makes the trace of each correction a sum of traces of . The parenthesized remaining factor lies in by step 2.2, and , so each trace is zero. Downward induction proves the claim, including , whose correction sum is empty.
The cyclotomic endpoint. Apply step 3.1 with , . In replace using its first cyclotomic relation. Each positive power , , transfers back to by step 3.1 and contributes zero by step 2.2. The constant term contributes , where and . Thus for every . For this follows directly from the first polynomial; for there are no positive-power intermediate terms. The restriction on is essential.
The full Gram blocks. Let and be the parts of the two bases with entries above zero, and let be their matrix, of size . For new profiles at position , cyclicity and commuting dots rewrite an entry as , where by step 2.2; earlier combined exponents may exceed , and that same reduction argument is why this remains in . If the block is . If it is zero by step 2.2. If , then and step 4.1 cancels the last , giving the block . Order rows by and columns by . The row and column at zero have only at their intersection. Among positive rows and columns the blocks above the diagonal have and vanish, the diagonal has , and blocks below may be arbitrary. Hence is block lower triangular with diagonal , so . At , has entry by [F1], and its determinant is a unit. Induction gives a unit determinant for ; since and are bases, the pairing identifies with its -dual.
Base change and boundary cases. Presentation base change commutes with forming , and the universal PBW basis is free, so the trace coefficients and the inverse Gram matrix base-change to any commutative ring in which all parameters remain units; in particular they do so for the LM deformation DVR with and . For use with ; for the family consists of finite and the same proof applies. The separate level-zero positive-rank quotient is , with the zero perfect pairing, and no claim is made for it. No generic faithfulness or imported Bremke–Malle trace statement is used.
Remarks
The trace is the canonical coefficient functional on the universal PBW basis; cyclicity is proved by the tower projection and the explicit Bernstein computation, and perfectness by exhibiting the dual basis with a unimodular triangular Gram change. The scalar is forced by the first cyclotomic polynomial. At rank one and level one it is , which fixes the sign independently of a printed source formula. Exact universal PBW is a required input; unresolved prerequisites of that supplier hold this carrier and its consumers. All arguments are finite and use no choice principle.
The arbitrary-level cyclotomic Hecke Murphy basis is cellular
Statement
For in Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules over the universal Laurent parameter ring, the elements indexed by all -multipartitions of and standard tableaux of that shape are a basis and a dominance-cellular datum: with coefficients independent of . The higher spans are actual two-sided ideals. Every commutative specialization with unit parameters inherits the cellular basis; in particular the arbitrary-field finite- nondegenerate charged specializations () and the LM deformation DVR retain it. The specialization here is the multiplicative presentation with , not the additive degenerate cyclotomic Hecke algebra. The universal rank is supplied independently by Universal cyclotomic Hecke ordered monomials form a basis, not by a primitive-block classification.
Facts & Assumptions
Given: The arbitrary-level cyclotomic presentation and its Murphy elements , the universal ordered PBW basis, and the ordinary finite-type-A Murphy cellular basis (Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules, Universal cyclotomic Hecke ordered monomials form a basis, The Murphy tableau elements form a cellular basis).
The ordinary Murphy elements form a cellular basis of the finite Hecke algebra with the cell law , with coefficients independent of , modulo higher ordinary shapes, the standard basis exists, and the symmetric group has the Coxeter presentation (The Murphy tableau elements form a cellular basis, The standard basis of the generic type-A Hecke algebra, The symmetric group has the Coxeter presentation).
The semistandard Murphy bases and Specht filtrations of the ordinary permutation modules hold, with multiplicities (Type-A Hecke permutation modules: semistandard Murphy bases and Specht filtrations), and (The sum of squares of the standard tableau numbers).
Proof
Given: The multipartition data and the suppliers [F1]–[F2]; write
for the span of all standard with shape at least
in dominance, and for the span of the strictly higher
shapes.
Finite-generator straightening. Every component-preserving row-standard multitableau factors its distinguished permutation into a permutation inside the contiguous component intervals followed by the unique shuffle of the intervals preserving internal order; the two inversion sets are disjoint, so the factorization is length-additive. Multiplying by (which commutes with the Hecke generators internal to the intervals), ordinary Murphy straightening applies in each component; higher ordinary component shapes preserve component sizes and strictly increase multipartition dominance, and the final component shuffle relabels each component by an increasing list whose selected entries at any cutoff are an initial segment, so tableau-prefix inequalities are exactly the ordinary ones at the corresponding initial-segment length. For a fixed initial left row and right multiplication by : if is standard the length formula gives the usual standard term (or times it plus ); if share a row the result is ; and if they share a component but the interchange fails standardness, factoring out the increasing component shuffle and applying the ordinary cell law gives same-shape terms with the same initial left row and strictly higher multipartition terms, the required transfer identity following from and the length/quadratic formula. A cross-component column failure is impossible because column standardness is imposed componentwise. Descending induction over a linear extension of multipartition dominance therefore makes each and stable under all finite generators; multiplying on the left by and applying makes the higher spans two-sided ideals. This induction concerns spanning sets only and assumes no independence.
The cyclotomic component shift. Let with and , and let . Put ; the factors commute, and for the defining recurrence gives the exact identity by substituting and adding/subtracting ; the case is included. For form the multicomposition obtained by appending a singleton row to component and deleting the first node of the first row of component . Its cumulative sizes are , so , and its Young subgroup is contained in ; the left length-additive coset expansion gives . Sorting the rows of in each component conjugates its Young subgroup and gives with commuting with the component-preserving permutation, so the ordinary row-sorting argument expresses each term in standard pairs of shapes at least , which strictly dominates : the cumulative total through component strictly increases and no later cumulative sum decreases. Hence . For , nonemptiness of component forces for all , so contains every factor and vanishes by the cyclotomic relation; again .
Right multiplication by . Let be standard with entry in component , an initial node, and initial label with . Then with fixing and : pulling label to value crosses exactly the smaller initial labels, whose final values exceed . A permutation fixing has a reduced word in , so commutes with . Multiplying the identity of step 1.2 on the right by and then by gives whose second term lies in by step 1.2 and finite-generator stability, and whose first term lies modulo in the fixed-initial-row span. Hence that span is stable under ; multiplying on the left by and using the left stability of the higher shapes gives the coefficient-independence law first for each generator and then for every word, with coefficients independent of , and makes the higher spans two-sided. Since and the cyclotomic constant term is a unit when the are invertible, these generators generate the Laurent affine quotient.
Spanning and cellularity. The smallest multipartition satisfies , so the generator-stable span of the standard contains and is all of : the Murphy family spans. By Universal cyclotomic Hecke ordered monomials form a basis, is independently free of rank . Counting standard pairs with the ordinary identity at the component sizes contributes , and summing over the multipartition compositions gives by the multinomial theorem. The spanning family therefore has exactly the independent rank; its coefficient matrix in the ordered PBW basis is square and surjective between free modules, hence invertible, so the family is an -basis and the proved involution and coefficient-independence laws are actual cellularity. Tensoring the proved basis and presentation supplies every commutative specialization with unit parameters, including repeated charges in the nondegenerate charged branch and the LM deformation DVR; the additive degenerate branch is a different presentation and is not a Laurent-parameter specialization; no generic-flatness inference is made. Rank zero is the singleton empty basis.
Conclusion. Steps 1.1 and 1.2 establish the generator-stable higher ideals for the finite-generator subalgebra; step 2.1 extends stability to and hence to all polynomial generators and gives the coefficient-independence law with two-sided higher spans; and step 3.1 proves that the standard Murphy family is an -basis of exactly the independent rank, so that the involution and coefficient laws are cellularity in the sense of the Definition. Every commutative specialization with unit parameters inherits the basis and the cell law. No primitive-block classification is used.
Remarks
The theorem is downstream of the universal PBW basis and supplies the cellular/Murphy input of the later Specht, Schur and Jantzen constructions; it does not feed the earlier BK construction. The dominance bookkeeping is explicit: component straightening increases multipartition dominance, and the cyclotomic shift places the correcting terms strictly above the shape.
Arbitrary-level Murphy Jucys–Murphy action is content triangular
Statement
On the Specht module of Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules, acts dominance-triangularly with diagonal at the node carrying . Over a field with of finite order and , every simultaneous generalized eigenword of is among the standard-tableau residue words modulo ; every such word has the fixed node-residue multiplicities of . The universal triangularity also specializes to the LM deformation DVR and the generic fibre, with no semisimplicity or affine-center premise.
Facts & Assumptions
Given: The arbitrary-level Murphy basis and higher ideals of The arbitrary-level cyclotomic Hecke Murphy basis is cellular, and the ordinary Jucys–Murphy triangularity (The Hecke Jucys-Murphy action is dominance triangular).
The Murphy elements form a dominance-cellular basis with higher two-sided ideals , and for and (The arbitrary-level cyclotomic Hecke Murphy basis is cellular); the generators satisfy and , with distant commutation (Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules).
The ordinary multiplicative Jucys–Murphy elements act on ordinary standard tableaux with diagonal (The Hecke Jucys-Murphy action is dominance triangular).
Bruhat order on permutations has both the prefix-rank and reduced-subword characterizations, is invariant under inversion, and strictly lowers length on strict intervals (Basic properties of the Bruhat order on ). Shift the zero-based convention by one to use labels .
Proof
Given: The multipartition , the Murphy module with its
basis , and the data of [F1]–[F2].
Initial-row eigenvalues. Consider only a nonempty component and put ; empty components contribute no nodes or JM eigenvalues. Then [F1] gives . The internal finite Hecke submodule generated by modulo higher global shapes is spanned by standard internal component permutations; each such permutation fixes the smallest internal label (that label occupies the first node of its component), so its Hecke element has a reduced word in the internal generators with indices at least and commutes with . Hence acts as the scalar on that whole submodule, with errors in the two-sided ideal . The -recurrence then identifies on this submodule with times the ordinary multiplicative Jucys–Murphy element of [F2], by induction from the finite quadratic relation and the additive-JM recurrence (a polynomial identity also at ). Ordinary JM triangularity gives diagonal at the node occupied by local entry : the internal label is not a row index, and no extra subtraction of occurs. For the initial component tableau, which is maximal in tableau dominance, there are no strictly more dominant same-shape terms. Thus for the node carrying global entry , .
JM triangularity for every standard multitableau. Inducting through a reduced word of , the relations [F1] give where the corrections are supported on proper Bruhat subwords (at the first correction a generator is deleted, moving its linear -coefficient through preceding generators deletes further generators, and finite quadratic multiplication preserves Bruhat support). Applying this with and multiplying by on the left, step 1.1 evaluates every surviving coefficient modulo higher shapes; a correction reduces first to a row-standard representative of its Young-subgroup coset, the removed row subgroup contributing its row eigenvalue, with ; the Bruhat/tableau-prefix relation on the ordered rows of all components then makes strictly dominate , and componentwise straightening of keeps the shape or produces same-shape tableaux at least in prefix dominance, hence strictly dominating . The leading eigenvalue is at the node carrying , because is its initial-row label under . Therefore the exact arbitrary-level JM content statement, independent of an affine center theorem, semisimplicity or block classification.
Residue words and boundary cases. On the resulting Specht module a total ordering extending tableau dominance triangularizes all the simultaneously; the one-dimensional successive quotients have exactly the content characters of step 2.1, so every simultaneous generalized eigenword is among the standard-tableau residue words (The Hecke Jucys-Murphy action is dominance triangular for the ordinary part); the residue multiplicities of every such word equal the node-residue multiplicities of , since permuting the labels of a standard tableau does not change the multiset of node residues. For rank zero, , the sole shape and tableau are empty and all assertions have their one-dimensional interpretation. The triangularity is polynomial in the parameters, so it specializes to the LM deformation DVR and to the generic fibre.
Remarks
The lemma supplies the content-triangularity input of the Jantzen and core-reduction theory over the original parameters, with no semisimplicity or affine-center hypothesis; the diagonal is the node content and the corrections are strictly dominant standard tableaux.
Cyclotomic semistandard row-type sums give permutation-module bases
Statement
Let be the arbitrary-level cyclotomic Hecke algebra of Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules over a commutative ring in which are units, and let be an -multipartition of . Then the submodule has -basis where ranges over the semistandard multitableaux of multipartition shape and type and over the standard tableaux of shape , with the row-and-component reading. The sums have disjoint coefficient- Murphy pivots, so they are -independent and is a direct summand of as an -module. The statement holds first over the universal Laurent parameter ring and then over every commutative specialization with unit parameters: the proof constructs, for each , an explicit affine element with and uses no quantum-factorial or parameter-difference division, and the equality descends to by coefficient identities rather than by generic flatness. The Specht filtration of is ordered by higher shapes and contains one copy of the Specht module for each semistandard , and no primitive-block classification is used.
Facts & Assumptions
Given: The arbitrary-level cyclotomic Hecke algebra and Murphy data of Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules, the affine PBW and localization theory of Universal nondegenerate affine Hecke ordered monomials form a basis, the cellular Murphy basis of The arbitrary-level cyclotomic Hecke Murphy basis is cellular, the finite type-A suppliers Type-A Hecke permutation modules: semistandard Murphy bases and Specht filtrations, The standard basis of the generic type-A Hecke algebra and The symmetric group has the Coxeter presentation, the Bruhat order properties of Basic properties of the Bruhat order on .
Presentation, multipartitions, initial tableau , the polynomial and row sum for the row subgroup , the element , the right submodule , the involution , and the Murphy elements ; semistandard multitableaux of multipartition shape and type, the reading , and the sums (Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules). The flag condition is that a label of component occurs only in a physical component ; the type of counts each label with the multiplicity of its row, and is the number of such .
The affine algebra of [F1] has the two PBW bases and , left multiplication by a nonzero Laurent polynomial is injective, and after localizing at the differences the algebra maps into the rational crossed product with , , satisfying (Universal nondegenerate affine Hecke ordered monomials form a basis).
The elements are an -basis of and a dominance-cellular datum with and , coefficients independent of ; the higher spans are two-sided ideals and every commutative specialization with unit parameters inherits the basis (The arbitrary-level cyclotomic Hecke Murphy basis is cellular).
For the ordinary finite type-A Hecke algebra over any commutative ring with invertible parameter, the permutation module has basis over semistandard of type and standard , with Specht filtration multiplicity ; over the generic field the algebra and each row parabolic are split semisimple with simple ordinary Specht modules and the same trivial-character multiplicities, and the identical left row-double-coset identity holds (Type-A Hecke permutation modules: semistandard Murphy bases and Specht filtrations).
The form a basis of the generic finite type-A Hecke algebra with the multiplication rule for increasing length and for decreasing length (The standard basis of the generic type-A Hecke algebra).
The finite symmetric group has the adjacent-transposition Coxeter presentation (The symmetric group has the Coxeter presentation). The Bruhat subword and prefix-rank characterizations, inversion invariance and length comparison are supplied by Basic properties of the Bruhat order on , after shifting the labels by one.
Proof
Given: The data and suppliers of [F1]–[F6]; work first over the universal
Laurent parameter ring and localize only where [F2] permits.
The affine expansion with only variable-difference denominators. Writing as the product of the and the scalars along a reduced word of and moving a Laurent polynomial leftward across the 's by [F2] expresses as a sum of terms times a monomial in a subword, where runs over products of subwords of that reduced word, every denominator of is a product of differences , and each is Bruhat-below by the subword characterization of Bruhat order ([F6]). In particular applying this with keeps all denominators among the variable differences and introduces no , quantum factorial, or Gram determinant.
Flagging is Bruhat-downward closed and gives monic divisibility. Let be semistandard of shape and type , and for a permutation let map each label to its physical position; set and . By [F1] the flag condition says that a label of component occupies only a physical component , i.e. for all . The count is at most ; inversion preserves the Bruhat order and a Bruhat-smaller permutation has at least as many entries in every prefix rectangle, so every Bruhat-smaller permutation of a flagged one is flagged. If is flagged then contains the factor for every , because ; hence with the physical component of the position occupied by label and its type component, a monic polynomial. In particular divides in the Laurent polynomial ring.
The finite action and its flagged restriction. Work over the fraction field of the universal ring. Put , the subgroup preserving the component intervals, and let be the ordinary left Murphy cell of shape . The shape- left cell, restricted to the finite Hecke algebra, is . To verify this, factor each standard multitableau into its increasing component shuffle and its internal standard tableaux; the corresponding coset words are length-additive. The map sending the shuffle tensor these internal basis vectors to the corresponding left Murphy vector is a bijection of bases. It intertwines each finite generator: a generator inside a component gives the ordinary cell rule [F4]; a generator exchanging two components gives the two-term standard-word rule [F5]. An internal column failure uses exactly the ordinary Garnir straightening, with its component shuffle factored out. This is the same finite-generator calculation as the cellular proof, so it establishes the tensor model without generic rank inference. Now restrict to the -row subgroup . Its double cosets with are indexed by matrices counting labels from -row allocated to physical component , with row sums the -row lengths and column sums . In the standard-word basis, for a minimal double-coset word is stable under both parabolics. Length-additive multiplication identifies its induced cell subspace with induction from the intersection parabolic; this intersection splits the -th -row into consecutive pieces of sizes , after the increasing relabelling. Indeed for each paired internal adjacent generator, and the coset words times internal basis vectors give the bijection. Hence the restricted left cell is the direct sum of these allocation subspaces. The flagged left cell consists of exactly the summands for which whenever exceeds the type component of row : every tableau in that summand has precisely this allocation, and the converse is the flag condition. The full left cell includes the unflagged allocations as well.
The left row-double-coset identity and localized membership. Let be the least standard refinement of and . Every row-standard refinement of the semistandard is standard, and the ordinary length-additive left row-double-coset expansion gives , each element of exactly once, with no row-intersection quantum factorial ([F4] proves the identical finite identity; [F1] fixes the elements and ). Since permutes labels inside -components and permutes positions inside -rows, every is flagged; hence every Bruhat-subword permutation in the expansion of step 1.1 is flagged by step 1.2, so with a Laurent polynomial, and for every . Writing and summing, .
Finite straightening preserves the left flag. Let be the span of the with -flagged, whether or not is semistandard. Use the finite-generator calculation in step 1.1 of the cellular supplier [F3], rather than only its cell congruence. For right multiplication by , a standard interchange retains ; a row case is scalar; and a column failure is straightened inside the physical component containing that column. In the last case every left coset word in the ordinary Garnir identity [F4] permutes positions within that component interval, even when its ordinary partition shape changes. Thus before standardization the set of -labels in each physical component is unchanged. The increasing component shuffle carries those same sets into the new component diagrams. Quadratic reductions among internal words still permute only those component intervals; replacing a reduced coset word by a Bruhat-smaller word also preserves the flag by step 1.2. Row normalization and further ordinary straightening have the same property. Induction through the finite straightening algorithm therefore retains a flagged left tableau in every term, including higher-shape terms, and proves . This argument also proves stability under left for a -row generator: its leading interchange exchanges labels of the same type component, preserving the flag, and its nonstandard terms use the internal straightening just analyzed. Consequently and its intersections with the higher cellular ideals are left modules for the -row parabolic.
The exact polynomial-generator correction and its left support. Write , where is in component of , and with fixing and length additivity. Put , with if , and . The defining recurrence and distant commutation give the exact equality , the formula proved in steps 1.2 and 2.1 of [F3]. Its first term is in by step 2.2, since . For , contains the full cyclotomic product in and is zero. For , let be the row multicomposition obtained by moving the first node of component to a new singleton row at the end of component . Then and , so the exact length-additive left coset expansion is . Attach the labels of to their original positions before this expansion: the coset representatives choose which node of the first row of component occupies the new singleton; all other labels stay in their old physical components. Each selected label had type component at least , so is admissible in component as well. Sorting the rows of and straightening in its physical components preserves the resulting component label sets, as in step 2.2. Since is row-standard, is a minimal representative for its left row-subgroup coset, so is length-additive for these . Each such reduced coset word has the flagged allocation just described; Bruhat-smaller subwords remain flagged by step 1.2, and internal straightening retains its component label sets. Hence every standard left tableau in is flagged. Appending preserves this by step 2.2, giving . The algebra is generated by and the , and the cyclotomic relation expresses as a polynomial in , since its constant term is a unit. Thus is a right ideal and gives . Also for every and every -row generator, because commutes with that generator and .
Exact unlocalized membership. Expand in the left affine PBW basis of [F2]; its coefficients lie in . Membership in from step 2.1 says each coefficient lies in . Every factor of is a prime of the unique factorization domain , is not associated to any difference , and is not inverted by the localization, so its multiplicity cannot drop when passing to the localization; hence each coefficient is already divisible by in . Therefore the PBW coordinates of are actual Laurent polynomials and there is an exact unlocalized equality with .
Eigenvalue descent and the explicit element . Let be a generator of the -row subgroup, so that lie in one -component interval. Expand the double coset into disjoint left cosets, choosing the minimal representative of each coset. Length additivity gives , so by pairing the row-subgroup words under left multiplication by ; right multiplication by retains this left eigenvalue, so . The element is symmetric in the variables of each -interval, so it commutes with , and injectivity of left multiplication by the nonzero Laurent polynomial ([F2]) cancels it, giving . Write in the right PBW basis ([F2]). For each with , comparing coefficients of in gives by the quadratic relation , hence ; thus is constant on each left coset . Taking minimal-length coset representatives and using the length-additive expansion gives with . Since commutes with , the explicit sum defining becomes with ; this constructs by finite coset enumeration and polynomial division with no inverted quantum factorial, and the equality is exact, so the Murphy coefficient at the pivot is .
The flagged multiplicity upper bound. All finite row parabolics are split semisimple over by [F4]. In an allocation summand of step 1.3, the multiplicity of their trivial character equals the multiplicity of the trivial intersection character on . This can be seen directly: the finite parabolic symmetrizer divided by its nonzero generic quantum factorial is the trivial-character projector, and its coset expansion identifies the invariant vectors of the induced module with the invariant vectors for the intersection. For each component put , omitting zero parts. By [F4] this intersection multiplicity is . Summing only over the flag-compatible allocations therefore gives : choose an ordinary semistandard tableau in each component with the prescribed row-label multiplicities and combine them; weak-row and strict-column conditions are componentwise and the allocation supplies exactly the component flag. The cellular-ideal filtration of from steps 2.2 and 3.1 has in each shape the flagged left cell tensored with the full right cell, so exactness of the trivial-character projector gives . Step 3.1 puts inside this space; step 4.1 puts all that many independent fibre sums inside . The two bounds agree, proving that is their -span. The generic projector is used only for this dimension bound; the membership identities and subsequent descent divide by no quantum factorial.
Descent to , specialization, direct summand, and Specht filtration. Let . Its Murphy coordinates in the basis [F3] lie in , and step 5.1 says that, after extending scalars to , they vanish outside the admissible fibres and are constant on each admissible fibre; these are literal coefficient identities in because the Laurent polynomial ring injects into , so lies in the span of the . Hence , and step 4.1 gives the reverse inclusion, so over ; every element of was constructed as , so this infers no basis from generic flatness. For any commutative specialization , the same two inclusions hold after applying : each remains in by the explicit identity of step 4.1, and each element of has Murphy coordinates in by the specialized coefficient identities. Finally, with the pivot refinement of , replace in the Murphy basis the vector by the fibre sum and retain for all non-pivot : this change of basis is unitriangular with diagonal entries over , so the have disjoint coefficient- pivots and span an -direct summand of . Ordering the semistandard in a shape-compatible order, the Murphy cell law [F3] identifies each successive fixed-fibre quotient with the Specht module , one copy for each semistandard .
Remarks
The lemma supplies the permutation-module basis on which the cyclotomic Schur algebra and the Jantzen theory of this page are built. The localized affine argument is used only to prove explicit divisibility by the monic polynomial ; the geometric statements over are then coefficient identities in the already proved universal Murphy basis, and no parameter-difference or quantum-factorial division occurs. No choice principle is used: only finite bases, finite coset decompositions, finite filtrations, and explicit polynomial identities occur.
Cyclotomic semistandard sums give the actual Schur endomorphism basis
Statement
For , the summands , the direct sum and the multipartition-summand algebra of Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules, evaluation identifies with -basis the rectangular sums over semistandard of shape and type and semistandard of shape and type . Consequently the maps are actual well-defined endomorphisms of and form a free dominance-cellular basis of with and with coefficients independent of . The formation of this basis and its constants specializes to every commutative unit-parameter base, including the LM deformation DVR. The proof uses the perfect symmetric canonical trace (The universal cyclotomic Hecke canonical trace is perfect and symmetric) and the codomain direct-summand pivots (Cyclotomic semistandard row-type sums give permutation-module bases); no field-only double-annihilator and no nonsaturated-lattice argument is used.
Facts & Assumptions
Given: The Data of [F1], the cellular Murphy basis [F2], the permutation module basis [F3], the canonical trace [F4], and the cellular-algebra definition [F5].
, the submodules , the Murphy elements , the elements and , the direct sum and , the presentation involution , and the definition of as the map sending to (Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules).
The are an -basis of with , coefficients independent of ; the higher spans are two-sided ideals, and the basis and law specialize to every commutative unit-parameter base (The arbitrary-level cyclotomic Hecke Murphy basis is cellular).
has -basis the sums over semistandard of shape and type and standard , with disjoint coefficient- Murphy pivots, and is a direct summand of the codomain (Cyclotomic semistandard row-type sums give permutation-module bases).
The canonical coefficient trace satisfies and makes a perfect associative -bilinear pairing, over the universal ring and after every commutative unit-parameter base change (The universal cyclotomic Hecke canonical trace is perfect and symmetric).
A cellular basis of an -algebra requires an involutory anti-automorphism with and the triangular multiplication with independent of (Cellular bases and cell modules).
Proof
Given: The data and suppliers of [F1]–[F5], over the universal Laurent
parameter ring.
Annihilator lemma. Let be such that is a direct summand of the codomain , put and let . The functional on vanishes on exactly when for some functional on : one direction is immediate, and for the other descends to the split quotient and extends to by zero on a complementary summand. Hence, for with for all , the functional vanishes on , so for the element representing under the perfect pairing [F4], and for all , so . Since is a right ideal, the converse also holds: if then for , and if for all then for all because , so perfectness gives . Therefore .
Evaluation is a bijection onto the intersection. The cyclic module [F1] makes evaluation injective on , since . Its image is exactly with : the inverse sends such an to the well-defined map , which is a right -map, and well-definedness is precisely . By step 1.1 with — whose image is a codomain direct summand by [F3] — this image is , so .
The intersection basis. By [F3] the module has basis over semistandard of type and standard , whose Murphy coordinates are constant on each admissible left fibre and zero off them ([F2]); applying the involution to the basis of gives a basis of of the elements over semistandard of type and standard , whose Murphy coordinates are constant on each admissible right fibre and zero off them. Hence an element of the intersection has Murphy coordinates that are zero unless the left fibre is admissible and the right fibre is admissible, and constant on each simultaneous pair of fibres. The rectangular sums have exactly these coordinate properties, with disjoint coefficient- pivots at the pairs of pivot refinements, and conversely every such coordinate family is the corresponding -linear combination. Therefore the are an -basis of .
The endomorphism basis. For of common shape and types , formula is well-defined: the right side depends on only through modulo , and for the map is defined to be zero, while for well-definedness is exactly the coordinate property of step 3.1; multiplicativity in makes each an -map, and every endomorphism of is determined by its restrictions to the finitely many cyclic summands. Evaluation on each delivers by step 2.1 the whole intersection , so the form an -basis of , finite and free.
Cellular laws. Define an -linear involution on the established endomorphism basis by . We verify anti-multiplicativity by evaluation; no generator-fixing star map on the right-module direct sum is assumed. If then , and for a composable pair with the star of the evaluated product is , while for non-composable types both products vanish; evaluation injectivity (step 4.1) gives , hence . For the multiplication rule, evaluate at the cyclic generator in its source summand: it is when and zero otherwise. The Murphy cell law [F2] expands this same-shape part as with independent of and ; because the product is an actual -map and step 3.1 groups into its semistandard fibres, the coefficients are constant on each right fibre, so the coefficient of depends on and the multiplier only, and all remaining terms have strictly higher shape. Thus the datum with the dominance poset on shapes satisfies [F5]: it is a free dominance-cellular basis of .
Specialization. Every step above is an identity of coefficients in the universal Laurent ring with denominators inverted only when they are units: the trace, the annihilator computation, the two one-sided bases, the intersection basis, and the structure constants all live over the universal ring and involve no field, dimension count, rationalization, or generic flatness. Hence applying any commutative base change in which the parameters are units — including the LM deformation DVR and arbitrary fields — preserves the well-definedness, the basis, the transpose rule, and the cellular multiplication constants.
Remarks
The lemma closes the well-definedness obligation of the definition of and of the maps : the double-annihilator identity is derived from the perfect canonical trace together with the codomain direct-summand property of , and the intersection basis is derived from the one-sided semistandard bases, so no field-only double-annihilator or nonsaturated-lattice argument is used. The intersection basis groups the two admissible Murphy coordinate fibres independently. No choice principle is used: all bases and coset sums are finite.
Cyclotomic Schur standards and corner functor control block linkage
Statement
For of Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules over a field with unit parameters, its standards have nonzero absolutely simple heads indexed by all multipartitions, with and only if ; the algebra is split quasihereditary. The standard classes form a -basis of , and the weight dimensions form a unitriangular multipartition Kostka matrix. Over the universal ring and the LM deformation DVR the standards and their forms are free and the weight idempotents satisfy . The exact corner functor gives and (possibly ), so that whenever . The centers and are canonically isomorphic because is a summand, and share a -block if and only if share an -block; standard and Specht linkage is exactly shared-simple-factor linkage. No equality-of-residue-contents-to-primitive-block assertion is made.
Facts & Assumptions
Given: The Schur datum of [F1], the semistandard endomorphism basis [F2], the finite cellular-head theory [F3], the block and Grothendieck conventions [F4]–[F5], and the Jucys–Murphy content triangularity [F6].
The algebra , the summands , the direct sum with and , the endomorphism algebra with ordinary composition, the presentation involution , and the weight projections onto (Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules).
The maps are a free dominance-cellular basis of with and , coefficients independent of (Cyclotomic semistandard sums give the actual Schur endomorphism basis).
For a finite-dimensional cellular algebra over a field with cell modules and quotients : every nonzero is an absolutely simple head, all simple modules occur exactly once, and ; every nonzero cell module has all composition factors in one block, and two nonzero cell modules share a block exactly when linked by a finite chain of nonzero cell modules with neighbouring terms sharing a simple factor (Nonzero-form cellular heads, cell purity and shared-factor linkage).
Blocks of a finite-dimensional algebra are the primitive-central-idempotent blocks (Blocks of a finite-dimensional algebra via primitive central idempotents).
of a finite-dimensional module category with the Jordan–Hölder theorem: composition classes form a -basis (Grothendieck group of an essentially small abelian category, Jordan–Hölder theorem for modules).
acts dominance-triangularly on with diagonal at the node carrying (Arbitrary-level Murphy Jucys–Murphy action is content triangular).
Proof
Given: The data and suppliers of [F1]–[F6].
Centers and blocks of an endomorphism algebra containing the regular module. Let be a finite right -module containing as a direct summand with projection , and . Then by left multiplication, and by evaluation at . If , then restricts on the -summand to left multiplication by some ; for each the -map , , is the off-diagonal block through , and commuting it with and evaluating at gives . Since is -linear, for gives , so with we get and . Conversely every defines the -linear endomorphism , which commutes with every -endomorphism of , hence is central in . These constructions are inverse unital algebra maps, so and primitive central idempotents correspond bijectively ([F4]). For we have , so this applies with .
Schur standards and nonzero heads. By [F2] the right cell module of has basis the over semistandard of shape . The unique tableau of shape and type gives , the identity projection onto , an actual idempotent; evaluating the cell form at gives , so every standard is nonzero with nonzero form. Applying the finite cellular-head theory [F3] to (finite-dimensional and cellular over by [F2]) shows every head is nonzero, absolutely simple, the are pairwise distinct and exhaust the simple -modules, and implies with .
Split quasiheredity by an explicit heredity chain. Order the multipartitions in a linear extension of dominance and remove the maximal remaining cell layers successively; in the relevant quotient algebra the next layer has basis with a distinguished index whose Gram value is . Then is idempotent, , and the multiplication map is an isomorphism on these basis elements; also , since the cell law and maximality of show every is a scalar multiple of . Hence is projective, is a direct sum of copies of , and because the corner is a field. Thus is a split heredity ideal, and iterating gives a split heredity chain whose standards are the cell modules ; so is split quasihereditary over .
Weight dimensions and the unitriangular Kostka matrix. The weight projections are self-adjoint because ([F2]), and the cell action gives , so is the number of semistandard tableaux of shape and type ; this already shows the standards and their forms are defined over the universal ring, free on the . A semistandard tableau of shape and type forces : for a component and row cutoff , labels of type components below cannot occupy physical components at least , labels of type component with row at most cannot occupy physical components greater than and occupy at most nodes per column of physical component by strict column increase, so the count is at most , which is exactly the multipartition dominance inequality; and is the unique tableau of shape and type , so the Kostka matrix is unitriangular.
The standard basis of and block purity. The matrix of standard multiplicities is unitriangular with diagonal by step 1.2, so inverting it by backward substitution shows that the classes form a -basis of ([F5]). Projecting to blocks is exact. Every is nonzero and block-pure by [F3], so if a class supported in one block equals , then every coefficient of a standard lying in another block vanishes by this basis independence; this is the block-separation input used by the Jantzen equivalence.
The corner functor and the radical comparison. Put ; then by step 1.1, and is exact. Semistandard tableaux of type are canonically standard multitableaux: replacing the label by is a bijection onto the standard tableaux, and the surviving standard vectors of carry the same right- action as the Murphy vectors of by the cell multiplication [F2]; this is an explicit isomorphism . The forms also agree: in , modulo higher -shapes, and evaluating the two factors at gives the product , whose coefficient of modulo higher -shapes is exactly the Specht form entry; a higher Schur map evaluates to a sum of higher Murphy shapes by its explicit definition, so no shape error is lost. Since , the and parts of are orthogonal: if pairs to zero against , then , so . Hence for every , with allowed to be zero. Applying the exact functor to a composition series of , each simple factor becomes or , and the nonzero are pairwise distinct and exhaustive by [F3]; hence for every with , with no simple-label bijection through assumed.
Typed Schur/Specht block linkage. The center isomorphism of step 1.1 sends a central block idempotent of to the same right-action projection on , hence to the corresponding central idempotent of , and on the corner . Every is nonzero and block-pure by [F3], and is nonzero because has its Murphy standard-tableau basis; consequently the block supporting corresponds to exactly the block supporting . Therefore share a -block if and only if share an -block, and [F3] describes both sides as linkage by chains of cell modules with neighbouring terms sharing a simple composition factor; step 2.2 supplies the multiplicity transfers when a nonzero simple is needed. No equality-of-residue-contents assertion is used.
Remarks
The theorem is the algebraic half of the block theory of this page: it proves that the Schur standards and Specht standards have matching heads and matching block partitions, using the semistandard cellular basis, the explicit center isomorphism, and the corner functor. The residue-content/Jantzen computation that identifies the blocks with combinatorial data is a separate theorem with its own suppliers. No choice principle is used: all cell layers, bases, and composition series are finite.
Generic cyclotomic Schur deformation standards have nondegenerate forms
Statement
Over the fraction field of the universal Laurent parameter ring, all cyclotomic Specht modules are simple and is split semisimple; all Schur standards equal and have nondegenerate cellular forms. Moreover, fix , a field with nonzero , and , and take with , . Over , all rank- Specht and Schur standards are simple and their forms are nondegenerate. This includes the charged finite- specialization used by the Lyle–Mathas deformation. The lemma establishes generic nondegeneracy only; it does not prove any signed-rim-hook weight-Gram determinant valuation formula.
Facts & Assumptions
Given: The cyclotomic algebra and its Specht modules [F1], the cellular Murphy basis [F2], the Jucys–Murphy content triangularity [F3], the finite cellular-head theory [F4], the semistandard Schur endomorphism basis [F5], and the Schur standard/Specht correspondence [F6].
, its multipartition Specht (cell) modules with cell form and quotient , and the Schur datum with standards and heads (Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules).
The are an -basis of with the dominance-cellular multiplication law, so has a finite filtration whose successive right-module layers are copies of the right cell modules (The arbitrary-level cyclotomic Hecke Murphy basis is cellular).
On the elements act dominance-triangularly with diagonal at the node carrying , and the universal triangularity specializes to the generic fibre, so has a simultaneous triangular filtration whose successive characters are its own word characters (Arbitrary-level Murphy Jucys–Murphy action is content triangular).
Over a field, every nonzero cellular head quotient is absolutely simple, the distinct nonzero exhaust the simple modules, and with only for (Nonzero-form cellular heads, cell purity and shared-factor linkage).
The semistandard sums give the actual cellular endomorphism basis of , with standards and their cellular bilinear forms defined over the universal ring; this supplier asserts no nondegenerate-or-zero dichotomy (Cyclotomic semistandard sums give the actual Schur endomorphism basis).
The corner functor gives and (possibly ), with whenever , and every is nonzero and block-pure (Cyclotomic Schur standards and corner functor control block linkage).
Proof
Given: The data and suppliers of [F1]–[F6]; let be the fraction field of the universal Laurent parameter ring.
Word separation over the universal fraction field. Assign to each standard multitableau the sequence of joint Jucys–Murphy words: the diagonal values at the nodes carrying the labels ([F3]). If two standard multitableaux first differ at step , then their restrictions to the boxes coincide, and the two added nodes are two different addable nodes of that common prefix shape. If the two nodes lie in one physical component, their contents are different (two addable nodes of a partition have different contents), and is transcendental over the base field, so . If they lie in different components , the values and are distinct in , because are algebraically independent monomials and the components differ. Hence the joint word determines the tableau, different standard multitableaux -- even of different shapes -- have different joint words, and distinct shapes have disjoint sets of word characters.
Generic simplicity and split semisimplicity. By [F3] each has a simultaneous triangular filtration whose successive characters are its own words of step 1.1. Hence every composition factor of the nonzero module has a word occurring in and a word occurring in ; disjointness of shape word sets forces . In particular , and the cellular diagonal multiplicity of [F4] forces to be simple, with the distinct absolutely simple modules as the only composition factors. The cellular basis gives . The semisimple quotient is a product of full matrix algebras on the exhaustive absolutely simple : to see this, the rank-one cell action on each simple gives every matrix unit, and the distinct simple labels give the distinct simple factors. Its dimension is the same sum, so the radical has dimension zero. Thus is split semisimple; no splitting of the cellular filtration was assumed.
Word separation for the Lyle–Mathas deformation. Fix , nonzero in , and set , in . For two standard multitableaux that first differ at a step , the common prefix of size has components of sizes summing to ; the two added nodes lie in components and each added content is bounded in absolute value by the size of its own component, so . A collision with would force the equality of -adic exponents, i.e. the nonzero multiple of would equal with , impossible. If , then is transcendental over , so forces . Thus the joint words separate all rank- standards in as in step 1.1, and the argument of step 2.1 proves that the rank- Specht modules are simple and the corresponding Hecke algebra is split semisimple over , with no affine-center or block-classification input.
Nondegenerate Schur standards. By [F6], over any field with unit parameters, whenever , and every is nonzero. Over , step 2.1 makes every simple; hence never occurs, , and since all are distinct the multiplicity list forces to be simple; the diagonal cell-form entry of the standard of shape and type is , so the cellular form is nonzero and, being invariant on a simple module, is nondegenerate. The same argument applies over to the rank- standards using step 3.1, and the construction of [F5] and the multiplicities of [F6] are identities over the respective ground fields, so the charged finite- specializations used by the Lyle–Mathas deformation are included. No valuation of a weight-Gram determinant is computed.
Remarks
The lemma is exactly the generic-nondegeneracy input of the Jantzen theory: it upgrades the cellular form theory to simplicity of all standards over the two generic regimes, so that the Jantzen filtrations begin from nondegenerate forms. The signed rim-hook weight-Gram determinant valuations are a separate theorem with its own suppliers. No choice principle is used: all tableaux, words, and composition series are finite.
Cyclotomic Schur weight Gram determinants are products of monic semistandard norms
Statement
Work with the arbitrary-level Murphy/Schur datum of Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules over either (i) the fraction field of the universal Laurent parameter ring, including the generic field of the Lyle–Mathas deformation, or (ii) any field with nonzero under the deformation , in . Let be the Murphy cellular form on the Specht module with basis over standard tableaux and ; put , , , , let be the action of on , let , and let be the monic simultaneous Jucys–Murphy eigenbasis and its norms. Let be the Schur cellular Gram matrix on the type- basis of , indexed by the semistandard of shape and type , and for such let be its dominance-minimal standard refinement, the residue of the node of , and the type component of the label of . Then with empty determinant . The monic transition determinant from the semistandard basis to the chain basis is exactly . Equivalently, with , and the pair lists of the proof, where are explicit nonnegative semistandard counts. All factors are nonzero in the stated generic fields, and no quantum factorial is inverted in the -lattice; arbitrary composition series are auxiliary only.
Facts & Assumptions
Given: The Murphy/Schur datum [F1], the affine crossed product [F2], the cellular Murphy basis [F3], the Jucys–Murphy content triangularity [F4], the permutation-module basis [F5], the Schur cellular maps [F6], the generic nondegeneracy [F7], and the determinant rules [F8].
, its Specht modules with cellular form, the commuting invertible generators (the Jucys–Murphy elements), the row subgroups, , the Schur algebra with standards and their cellular forms (Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules).
In the localization of the affine algebra at the variable differences the algebra maps into the rational crossed product with , , , and the over reduced are a basis there (Universal nondegenerate affine Hecke ordered monomials form a basis).
The are an -basis of with the dominance-cellular law, coefficients independent of the left index, and the flag condition on semistandard tableaux (The arbitrary-level cyclotomic Hecke Murphy basis is cellular).
Distinct generic Jucys–Murphy words separate standard tableaux; acts on dominance-triangularly with diagonal at the node carrying (Arbitrary-level Murphy Jucys–Murphy action is content triangular).
has the semistandard basis and the integral membership identity for an actual (Cyclotomic semistandard row-type sums give permutation-module bases).
The Schur cellular maps and their multiplication law are established, with the cell module (Cyclotomic semistandard sums give the actual Schur endomorphism basis).
Over the two generic regimes above all Specht and Schur standards are simple with nondegenerate forms (Generic cyclotomic Schur deformation standards have nondegenerate forms).
Determinants are multiplicative, , and the determinant of a block-triangular matrix is the product of the diagonal block determinants (For , the determinant over a commutative ring by the Leibniz formula, and for a real matrix, For same-sized finite square matrices over a commutative ring, , For every square matrix over a commutative ring, ).
Proof
Given: The data and suppliers of [F1]–[F8]; the two generic regimes of the Statement.
Generic diagonalizability of . The finite row-coset identity gives , and every factor of is a nonzero polynomial over any , so in and is a selfadjoint idempotent. The polynomial is symmetric separately on each initial component interval, hence commutes with every row generator and with , and both are selfadjoint. Distinct generic JM words provide a basis of simultaneous eigenvectors ([F4]); on the eigenline of , the element has eigenvalue , so is diagonalizable, and since commutes with , each -eigenspace splits into the image and kernel of the idempotent . Hence is diagonalizable with nonzero eigenvalues . Put ; then is an orthogonal decomposition by selfadjointness, is invertible and selfadjoint, and the supplied semistandard basis [F5] identifies the -cell layer of with the span of the tensors , , so on the generic simple block [F7] the are a basis of and .
The inverse-operator Gram formula. The cell quotient of the membership identity of [F5], followed by orthogonal projection to and pairing with (which annihilates ), gives . On the Schur side the composite sending to is modulo higher shapes by the cellular law [F6], and higher Schur maps evaluate to higher Murphy shapes and therefore vanish on this block. Comparing the resulting rank-one operators, and observing that changing changes it only by a map into , proves as an identity over the ground field. This formula uses the inverse operator rather than identifying the Schur form with a restriction of the Specht form.
The chain basis and the unitriangular transition. Let be the ends of the consecutive nonempty rows of the type tableau of . A semistandard determines the chain of prefix shapes filled by its first type rows; every standard refinement in the fibre of has prefix shape on its first entries, and conversely the chain determines , so chains and semistandard tableaux of type correspond bijectively. The elementary symmetric polynomials in , for every row end , commute with every row generator (a type row lies wholly inside or wholly outside the prefix and Bernstein commutation fixes symmetric polynomials), hence with , and thus preserve ; they act on the chain- layer by the elementary symmetric functions of its prefix residue multiset. Distinct multipartitions have distinct residue multisets over (distinct separate components, and within a component the content-diagonal multiplicities recover the partition), so these operators separate the chains. Ordering by a linear extension of dominance of the chains, the action on is triangular in the chain order with diagonal the chain scalar; commuting diagonalizable operators are jointly diagonalized, and the projector onto the chain- eigenspace is on the fibre of and on all other fibres. Hence the form a basis of , the transition matrix from to is upper unitriangular with determinant exactly , and for because differing chains are separated by a selfadjoint row-prefix operator.
Spectral-block determinant. Decompose into -eigenspaces; they are mutually orthogonal with nondegenerate restricted forms. Choose bases of the , let be the -Gram matrix of , and let be the coordinate matrix whose columns are the in the concatenated basis. Step 2.1 gives , hence by [F8] A change of the bases multiplies each by and divides by , so the expression is independent of the arbitrary choices; individual terms may have negative valuation while the total is integral because the Schur Gram matrix is integral. No diagonalization of a symmetric form is used, so characteristic causes no extra issue.
Normalization by the minimal refinement. Let be the dominance-minimal standard refinement of : in each type-row class place the next increasing interval into its nodes in reverse physical-component order, then reverse physical-row order, then left to right. The eigenvalue of on is , which is nonzero in the stated generic fields because the flag condition [F3] places the node in a physical component strictly earlier than , so and are distinct monomials. Since commutes with , we have , and this vector lies in the chain- eigenspace, hence is a scalar multiple of ; the scalar is , and comparing the coefficient of — which equals in , while no strictly smaller refinement lies in that chain — gives with the nonzero value of computed below.
Initial norm and adjacent-swap recurrence. For the initial tableau , and the cellular Gram entry is the coefficient of in modulo higher shapes, so with and the row generators acting on by and by its residue product, If strictly dominates with standard and , , then is supported on , with diagonal coefficients , satisfying , off-diagonal coefficient in the monic normalization, and reverse coefficient ; selfadjointness and orthogonality give the recurrence whose denominator is nonzero because a permitted standard swap concerns incomparable nodes.
The monic Schur norm and the determinant product. Selfadjointness and give , and because acts as on the chain- eigenspace. Using step 2.1 in the -basis (the transition from has determinant ) together with the orthogonality of step 2.2, and the off-diagonal entries vanish, so
The explicit symmetrizer value of . We use [F2] only for the row parabolic, localized at differences of variables in the same type-row interval. This restriction is essential: differences between arbitrary JM entries need not be invertible on a Specht module. The chain- subspace of step 2.2 is stable under the row parabolic; its JM eigenwords are precisely the standard refinements of , so the entries in each type row occupy a horizontal strip in each physical component. Two nodes of a horizontal strip in one component have distinct contents: for upper row and lower row , every strip node of row lies strictly right of every strip node of row , making the contents strictly ordered. For different components the content difference is at most (each node has absolute content bounded by its component size minus one), so it cannot cancel the nonzero multiple in the deformation; in the universal field the independent separate them. Thus every same-row variable difference acts invertibly on this entire chain subspace. The finite row Bernstein relations therefore extend its action to this row-local algebra. The crossed-product coefficient calculation below is an identity in that row-local algebra and can be evaluated here, without extending the action to the localization at all variable differences. For a row interval , put , write ; the row-coset identity gives by coefficient comparison with , and the coefficient of the longest permutation comes from the product of the over the positive roots of , each once. Hence . Disjoint row intervals commute, so has identity coefficient ; expanding and using that every with changes the distinct row entries and hence the JM word, the diagonal coefficient of is exactly evaluated at the residues of . Therefore . Every factor is nonzero in the stated generic fields: in one physical component two nodes of a horizontal strip have distinct contents, and in the deformation two nodes of different components have content difference at most , which cannot cancel the exponent .
The inversion-set formula and the explicit product. Every standard tableau is a linear extension of the node order; bubble-sorting it toward the initial extension swaps adjacent inverted (hence incomparable) nodes exactly once and never swaps comparable ones, so reversing those swaps and multiplying the recurrence of step 3.3 gives and is symmetric in its arguments. Dividing by and and using with (a literal nested-product cancellation by the flag condition), together with the telescoping row identity for residues in a row of length , the four pair classes — same physical row with same or different labels, different physical rows with same or different labels — give exactly where collects pairs that are in one physical row with different labels or in different physical rows with the same label, and collects pairs in different physical rows with . Multiplying over and collecting like node pairs yields All factors are nonzero in the two generic regimes by step 4.2, the empty weight contributes determinant , and no factor or is inverted in the -lattice; this proves both displayed determinant formulas.
Remarks
The lemma is the determinant input of the Jantzen sum formula: it replaces the signed rim-hook valuation by an exact product of monic semistandard norms, with the transition determinant computed rather than bounded. The inverse operator is essential; the Schur form is not the restriction of the Specht form except at the regular weight. No choice principle is used: all tableaux, chains, and matrices are finite.
Cyclotomic Schur weight Gram valuations equal signed rim-hook Kostka sums
Statement
Fix any field , level , of finite order , charges , , and the Lyle–Mathas parameters , , , with . Then for every multipartition shape and actual multipartition Schur weight , where is the semistandard Kostka number of Semistandard tableaux and Kostka numbers and unless strictly dominates ; otherwise is the sum over all pairs of equal-length rim hooks removed from and from to the same remainder of times , the modulus of the Laurent difference of the two foot residues. Every such difference is nonzero in . The full signed marked-strip commutator and its auxiliary coefficient identity are proved locally below; arbitrary-composition coefficients are combinatorial only and never introduce extra Schur modules.
Facts & Assumptions
Given: The monic weight-Gram supplier [F1], the Laurent-binomial valuation leaf [F2], the multipartition and Schur conventions [F3], the tableau conventions [F4]–[F5], and the determinant convention [F6].
The exact monic product with the explicit node-pair factors and (Cyclotomic Schur weight Gram determinants are products of monic semistandard norms).
For and , if . If , it is in characteristic zero and in characteristic , and is a valuation with ; the valuation of a nonzero constant is (Laurent binomial valuation at one over any field).
Multipartitions, their dominance order, the flag condition and the multipartition parameters over (Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules).
Standard tableaux, shapes, and contents (Tableaux and standard tableaux).
Semistandard tableaux, weight, and the Kostka number (Semistandard tableaux and Kostka numbers).
Determinants of square matrices over a commutative ring (For , the determinant over a commutative ring by the Leibniz formula, and for a real matrix).
Proof
Given: The data and suppliers of [F1]–[F6]; work throughout with the fixed final-rank- parameters , at every auxiliary rank.
Characters as finite symmetric polynomials. Fix row labels per type component with ordered variables , put with the inherited order, and for a shape let . The flag condition says that the physical component of a semistandard tableau is an ordinary semistandard tableau over the alphabet , and the components are chosen independently, so with . The determinant equals the ordinary semistandard generating polynomial: expand it as signed families of east/north lattice paths from to with east steps at height weighted , choose the first intersection in a fixed order and exchange the two tails, an involution that preserves the monomial weight and reverses the permutation sign, so all intersecting families cancel; a nonintersecting family forces the identity matching, and the surviving families are exactly the semistandard tableaux, sign . Hence the coefficient of in is the Kostka number ; empty and short-row cases are included.
Beta determinants and rim-hook signs. Choose , put with zero parts appended, and for a nonnegative integer array define . If two entries of one component of agree the determinant has equal rows and is zero; otherwise sorting that component into strictly decreasing order and writing gives with the product of the row-sorting signs, so every coefficient is a signed Kostka multiplicity. A beta move lowering a bead from to an unoccupied is exactly the removal of a rim hook of length : tracing the southeast boundary shows the strip between the two boundary steps has boxes, its leg is the number of occupied positions strictly between and , its foot content is , and the associated sorting sign is ; the correspondence is a bijection by the reverse move.
The hook side as a complete finite alternating polynomial. Define as the finite alternating sum of step 2.1: for crosscomponent terms, over , over beads and lengths , of ; and for same-component terms, over , and , of ; terms whose is the zero polynomial are omitted before any valuation is evaluated. Then : a crosscomponent move removing from the earlier component and adding to a later component produces a strictly dominated and occurs exactly once by the bead description; occupied targets give repeated rows and zero; sorting contributes ; and the prefactor converts the beta difference to the difference of the deformed foot residues. In one component the two moved beads give a strict dominance decrease precisely for , the exchange case giving and the outward case giving the reverse dominance; occupied intermediate positions again give zero rows, and the range exceeding a component's size gives a repeated or negative bead, hence a zero determinant. Thus no hook pair is lost or added, and the surviving summands are exactly the terms.
Nonvanishing of every retained foot difference. For a removable rim hook of length from a partition of size with foot , one has : every box left of the foot in its row survives, so , and gives the lower bound. If and remove equal-length hooks in distinct components to the same remainder with remainder sizes , their foot contents satisfy , so the exponent is a nonzero integer; in the same component equal foot content and equal length reconstruct the same inverse hook addition, hence would force , which the strict-dominance terms exclude. Therefore every retained Laurent difference is nonzero in : it is a unit times a nonzero Laurent monomial times -type factors and, by [F2], its valuation is finite, being when the constant residues differ, in characteristic zero when they agree, and in characteristic when they agree.
The same-component operator. In the same-component beta sum put and , so the valuation is up to unit factors; swapping the two changed determinant rows shows . Hence the complete coefficient of is , which is the strictly dominance-lowering part of on the abstract shape basis, where lowers an occupied bead by into an unoccupied nonnegative position with sign and raises a bead by with the same sign rule; the bead-raising formula follows from the alternant identity divided by the Vandermonde, and the removal map is its transpose. After one removal and one addition a non-diagonal lower-dominance result comes only from distinct beads with , occupied intermediate positions giving zero repeated rows and the diagonal being removed by the strict projection; this proves the operator identification integrally, in every characteristic.
The crosscomponent operator as exterior currents. On the -fold exterior power of a space with basis , represent a partition by the ordered wedge of its beta beads and let insert after removing , with exterior signs; it vanishes if is absent or is occupied, and its sign is the bead-sorting sign. Expanding gives . The crosscomponent matrix acting on column shape vectors is , a finite operator on each size- sector; the reverse hook pair has forward current , and transposing gives exactly this operator with the same signs and valuation.
Horizontal strips and their conjugation. With and , whose entry is for and otherwise, the matrix of between and is . Subtracting consecutive columns of the matrix makes its determinant exactly when for all , i.e. , the horizontal-strip criterion, and otherwise; so adds every horizontal strip once with weight . For a type component , adds a horizontal strip in every permitted physical component and leaves the rest unchanged, so the successive from the empty shape enumerate exactly the flagged semistandard tableaux and give the branching matrix. Conjugation is explicit: since has column vector and row covector , and the two-current conjugation is the ordered product of two such sums.
Strip factors and exact minor expressions. For a permitted strip transition for the next type component , let , , and put . Splitting the pair lists of [F1] into old/old, old/new and new/new gives this factor, and their product along a semistandard chain is . Choose , write , in each component, and , so . Write for and . First regard these as independent formal symbols; canceled symbols are never evaluated. By steps 3.1 and 5.1, the same-component row contribution to is ; the column contribution to is . Negative or repeated shifted beads give zero determinants. For the second formula, the outward source has beads ; its two hook pairs returning to have lengths and , foot gaps and , and opposite signs because the second pair exchanges the two target beads. This proves the difference of potentials, including crossed inverse sources. A crosscomponent row term replaces by with potential ; its column term replaces by with potential . The determinants in the original indexed positions retain all sorting signs.
Norm endpoints. On support . Put , for , , and . The same-component norm valuation is . To verify this directly, put : same-row old/new pairs sum to . For , new/new and new-upper/old-lower pairs sum to . The last two terms telescope in to ; summing over cancels the baseline terms and gives the formula. Every displayed argument is positive. For , the crosscomponent endpoint expression is . Indeed the new/new factors telescope in the lower-component node index to , and the new/old factors add and the rectangle difference . Telescoping this rectangle in the other direction and adding the boundary factor gives the displayed formula; the vacuum differences telescope and cancel that boundary. This padded formula is an equality of formal symbols: its term cancels before evaluation.
All on-support minors. Here is the unit upper triangular step matrix. Expanding a replacement row or column in its basis gives and , with and no positive lowering from . A two-row minor is its direct product minus its crossed product. For the same-component row expression, the direct term has and the crossed term, with , has . The outward two-column minor has no crossed term and its direct bound is . Pair direct row index with first-potential column index . For arbitrary symbols the interval identity follows by canceling the overlap of the two integer intervals (when they are disjoint, and when only endpoints remain). Applying it with , the paired contribution is . Crossed rows cancel the second column potentials except ; the unpaired direct row , combined with that residual by the same identity at , gives . Summing yields exactly the same-component endpoints of step 7.1. For a crosscomponent pair, row and column share the bound and . The unpaired first row contributes ; the final column vanishes. The same interval identity converts the paired terms to the remaining endpoints of step 7.1. Thus on support.
Crosscomponent off support. The row of at bead is the tail vector starting at threshold , whose interval is . Different nonzero tail vectors are independent; hence rank equals the number of distinct thresholds. At rank there is one missing threshold and two adjacent duplicated rows . Put , , and , omitting . The adjugate is : its nullspaces have those generators, and removing a duplicate row and the appropriate column gives a minor . Thus replacement determinants are and with the same sign. Rank kills every one-row/column replacement. A defective earlier component can be repaired only when (missing below), and a defective later component only when (missing above); opposite directions give zero. If only the earlier component is defective, pair normal later row and column and write , . Their coefficients both give ; the first unpaired row vanishes because its two source signs sum to zero. If only the later component is defective, write its endpoints , and let . The row coefficient at restored position is on , and the column coefficient at is on . The translation matches their potentials because . With both components defective, the row coefficient of , divided by , is ; the column coefficient is . They agree by the endpoint identity , obtained by regrouping four half-line indicators. Infinite top endpoints simply omit the virtual source. An untouched defective component kills the product. Components beyond are empty in the reachable prefix: the forward transfer would create a nonempty forbidden intermediate component, and the inverse transfer would remove a hook from an empty component, so both vanish. This exhausts crosscomponent off-support cases.
Same-component deficiency one, missing below. Keep the rank-one data of step 9.1, with duplicated rows and missing threshold , so . A nonzero inward two-row replacement must use one duplicate source and a unique normal row : one new row fills the missing interval and the other restores the unique source threshold. The direct and exchanged assignments have signs and ; any other assignment leaves an unchanged duplicate or missing threshold, or violates the strict inward range. Nonzero outward two-column repairs use one endpoint and a unique column , or the endpoint pair itself. Put for , . The direct row contribution is . Split each unique column contribution into its first and second potentials from step 6.1. Then , by the same interval intersection, while . The exchanged row is by endpoint reciprocity. All terms cancel except . Put , , , , , . These three terms are respectively , , and ; the endpoint-pair sign is negative because the raised endpoint is . Their residual is by . This proves every coefficient cancels, including .
Same-component deficiency one, missing above. Here , , and , obtained by moving the inserted missing threshold from row to position ; the column cofactor has the same sign. If , all inward row positions are at most and cannot fill the missing top threshold; the first column is zero and any outward repair raises it further, so both sums vanish. For the only unique row sources are , with . The direct rows have . The first column potentials equal for , while . Exchanged rows are , again by endpoint reciprocity. This exhausts repairs: the duplicate source must be paired with a head row above the missing interval, and outward column repairs must lower an endpoint paired with a unique head column, or use the endpoint pair. The sole residual is at . Put , , , , , . Then and ; the endpoint-pair column term is , with positive cofactor because the lowered endpoint is . Thus . The translation is valid since .
Same-component deficiency two and higher. At rank , the excess threshold copies are one triple or two pairs. Inward row repairs of a triple cannot reach missing thresholds between its source beads. For two pairs with thresholds , both missing thresholds must lie strictly between them, say ; otherwise both row and column sums are zero. For columns this follows from : duplicated row thresholds are jumps, missing thresholds are flats, and outward column repairs require two separate size-two jumps with both flats between. A zero first column also cannot be repaired by raising it. In the active pattern put , , , , , . The common row/column sign is , counted by moving the inserted thresholds to their sorted positions. Switching a source copy or switching the two target thresholds reverses it. Define and ; define and . The complete row coefficient of is ; the column coefficient is . Indeed putting gives row targets , while the positive and negative column potentials give targets and respectively. Interval membership implies all required positive-length bounds. Endpoint reciprocity gives , , , , proving equality. If , the repeated column groups share an endpoint; its formal double-source term is zero because its potential is , so the formula still includes adjacent missing thresholds. At rank , two replacements cannot restore full rank. Together with steps 9.1–10.2 this proves off-support vanishing for every rank and orientation. All identities are formal coefficient equalities; retained terms are actual valid hook currents, so step 3.2 permits their finite arbitrary-characteristic valuation specialization.
Telescoping and the valuation formula. Multiply the matrices in increasing type-row-label order and telescope from ; by steps 8.1–11.1 each commutator inserts exactly at its strip position, so the -coordinate of the resulting identity is on one side and on the other. All padded artificial symbols cancel before the surviving coefficients are evaluated, and every surviving coefficient corresponds to a valid current, hence by step 3.2 to a nonzero foot difference with finite valuation. Comparing with the exact monic product [F1] and the hook side of step 3.1, and taking the coefficient of at an actual multipartition weight (auxiliary compositions only index the same polynomials and never enter the Schur conclusion), gives the empty case gives , all ranks keep the fixed parameters , , and arbitrary-composition coefficients are combinatorial only.
Remarks
The lemma converts the exact monic determinant product of the sibling into the signed rim-hook Kostka sum by an explicit exterior-current commutator and a finite marked-strip case analysis; the foot-exponent bound makes every retained valuation finite over any field, including the charged finite-order regime. No choice principle is used: all sums, determinants, strips and currents are finite.
Cyclotomic Schur Jantzen sum formula from rim-hook valuations
Statement
Let be any field, let have finite multiplicative order , let be arbitrary and let with charges . Fix and let be the cyclotomic -Schur algebra over with summands indexed by all -multipartitions of . Put Let be the standard Weyl lattice with its actual cellular form, and define Then is a filtration by -submodules, its first term is and the filtration terminates, and in the integer Grothendieck group of finite-dimensional -modules, For a node define the rim hook and its foot as in Lyle–Mathas, , and . If strictly dominates , set and set otherwise. Equal remainder diagrams force equal hook lengths. Every displayed difference is nonzero in , including same-component terms with distinct labels, by the foot-exponent separation argument; no level-one or characteristic-zero restriction is present. The same statement holds for the right Schur standard modules, by applying the argument to the opposite algebra (The opposite ring ): acts by right multiplication by and becomes , with the contravariant form unchanged. At rank zero the sole form is and the asserted sum is directly, with no word-separation hypothesis needed.
Facts & Assumptions
Given: The actual arbitrary-level -Schur construction [F1], the monic Gram product [F2], the strip recursion and marked-strip commutator [F3], the DVR Jantzen leaves [F4], and the Laurent valuation leaf [F5].
The actual multipartition construction: is finite free and cellular, is finite free with its contravariant cellular form, every specialized standard has a nonzero unit Gram entry , the multipartition weight projections are selfadjoint and act on the actual semistandard type- basis; over the Hecke and Schur standards are split simple, so their forms are nondegenerate; the standard classes form a -basis of and their multipartition-weight Kostka submatrix is unitriangular (Cyclotomic Schur standards and corner functor control block linkage, Generic cyclotomic Schur deformation standards have nondegenerate forms, Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules).
The proved local monic Gram product: with the actual Specht Murphy form, the dominance-minimal refinement , the row symmetrizer coefficient and the prefix polynomial eigenvalue , The inverse-permutation-operator proof inserts the essential inverse; the spectral transition has determinant exactly and all denominators are nonzero in the permitted (Cyclotomic Schur weight Gram determinants are products of monic semistandard norms).
The proved local pair-factor/strip recursion and the complete marked-strip identity: adding the next type-row label to a shape gives a permitted strip with factor , whose product over a tableau chain is the norm of [F2]; and the signed hook matrix , with all auxiliary ranks using the same fixed , and the coefficient-one strip matrix obey on support and off support (the same-component cases and the crosscomponent rank-one adjugate cases) (Cyclotomic Schur weight Gram valuations equal signed rim-hook Kostka sums).
The DVR leaves: the Jantzen filtration is contravariant-stable, its first term is the reduced-form radical, equal to the module radical for these nonzero-form cellular standards, Smith reduction gives finite termination and , and exactness of the selfadjoint weight projection together with the unitriangular multipartition Kostka matrix gives integer character injectivity (DVR cellular Jantzen filtration and exact Gram valuation, Selfadjoint weight Gram valuations detect Jantzen classes, Grothendieck group of an essentially small abelian category).
For a nonzero Laurent difference , unequal constants give valuation , while equal constants with give valuation in characteristic zero and in characteristic (Laurent binomial valuation at one over any field).
Proof
Given: The arbitrary field, level, charges, actual Schur construction and deformation specified in the Statement.
Filtration and radical. For there is one empty multipartition, , with form , every positive filtration term is , and every coefficient is , so the assertions follow directly. For , [F1] gives free standard lattices with nondegenerate generic forms. The Smith reduction of [F4] shows that the defined filtration is by -submodules, begins at , has first term equal to the form radical, and is zero for all sufficiently large . The rank-one cell actions of the nonzero cellular form force every proper submodule into that radical, so the first term is the module radical.
The auxiliary character identity. Introduce ordered variables for the type-row labels; the auxiliary generating series of flagged semistandard tableaux is the product over physical components of , where is the alphabet of type components at least , and its coefficient at an actual multipartition is . Successive matrices add the horizontal strips carrying each next label and therefore enumerate these tableaux once; the path/Jacobi–Trudi cancellation proves this character identity locally. No actual Schur weight or module for another composition is needed.
The weight-character reduction. Fix an actual multipartition weight . The selfadjoint orthogonal decomposition by makes the standard weight space orthogonal to every other weight space, so [F4] gives . By [F2] and additivity of the valuation this is the sum over type- semistandard of the valuations of their explicit monic norms; empty weight spaces use determinant and contribute .
The beta form of the hook side. Pad the beta lists to . Removing a hook of length lowers one beta bead by with sorting sign , and adding it raises a bead by with the corresponding sign; the foot content is the lowered bead position minus plus , up to the unit foot-residue shift. Thus the full signed equal-length hook side is precisely the finite shifted-beta Jacobi–Trudi polynomial: same-component inward ranges, crosscomponent earlier-to-later ranges, occupied-position zero terms and the unit shift are all covered by [F3]. Its coefficient at is .
Telescoping the marked-strip commutator. Apply the complete local identity [F3] to the product of successive type-row matrices and telescope , starting from the empty shape where . Each commutator inserts exactly the valuation of the strip factor at that label position, while all other factors retain the same tableau chain; summing the inserted positions gives the total valuation of the product of the factors over the chain, hence of the monic norm by [F2] and [F3]. The left endpoint of the telescope is exactly the auxiliary polynomial of step 2.2, so at the actual multipartition coefficient , . Every auxiliary rank keeps the final-rank- parameters , with no rank-dependent deformation substituted during the telescope.
Exactness of the valuations. For a nonzero difference , unequal constants give valuation , and equal constants with give valuation in characteristic zero or in characteristic by [F5]. Artificial padded symbols in the crosscomponent minor proofs cancel formally before evaluation, and the retained terms are actual valid hook or node pairs whose exponent bound makes their differences nonzero in ; hence step 3.1 is valid over every and retains the higher positive-characteristic multiplicities.
The integer Grothendieck class identity. Combining steps 2.1 and 3.1 shows that the actual multipartition-weight character of equals that of . Weight projection is exact, so these are additive characters on the integer group [F4], and the standard classes form its -basis by [F1]; their multipartition-weight matrix is unitriangular, hence invertible over . A zero difference of weight characters therefore has all standard coefficients zero, which proves the asserted integer equality, with no rationalization and no Schur-functor injectivity claim.
Remarks
The theorem is the Jantzen sum formula for the cyclotomic -Schur algebra in the exact form needed by the block theory: the filtration is defined by the integral cellular form, its radical identification and termination are DVR leaves, and the character of the positive part is the signed rim-hook valuation matrix acting on standard classes. No choice principle is used: all lattices, filtrations, and coefficient sums are finite or finitely generated over the DVR.
Cyclotomic Jantzen equivalence is Schur and Hecke block linkage
Statement
Over any field , at any level , with of finite order and charges , use the actual multipartition-summand Schur cover and standards of Cyclotomic Schur standards and corner functor control block linkage and the integer of Cyclotomic Schur Jantzen sum formula from rim-hook valuations. Let be the equivalence relation on multipartitions generated by or . Then For rank there is the single empty class. No residue-content block assertion is used as an input.
Facts & Assumptions
Given: The Schur/Specht block correspondence and standard basis [F1], the terminating radical-first Jantzen formula [F2], the block convention [F3] and the Grothendieck basis convention [F4].
Standard block purity, shared-simple-factor linkage, the unitriangular standard basis, and the Schur/Specht block correspondence: two standards share a block exactly when the corresponding Murphy Specht modules share a block, and cell modules share a block exactly when linked by a finite chain of cell modules whose neighbouring terms share a simple factor (Cyclotomic Schur standards and corner functor control block linkage).
The Jantzen filtration is radical-first and terminating, with in the integer Grothendieck group (Cyclotomic Schur Jantzen sum formula from rim-hook valuations).
Blocks are the primitive-central-idempotent blocks (Blocks of a finite-dimensional algebra via primitive central idempotents).
The Grothendieck group has the standard classes as a -basis because the decomposition matrix to simple classes is triangular with diagonal (Grothendieck group of an essentially small abelian category).
Proof
Given: The data and suppliers of [F1]–[F4].
Standard classes form a -basis. The matrix of standard classes to simple classes is triangular with diagonal one by [F1], hence [F4] makes the classes a -basis of the integer Grothendieck group of the Schur cover, and the classes of the block projections are independent as well.
Nonzero -coefficients link the same block. Suppose and project the Jantzen sum identity of [F2] to all blocks other than the block of . Its left side is zero because each is a submodule of the block-pure standard ; its right side is a -linear combination of standard classes lying in those other blocks, and the coefficient of in it is exactly . Basis independence from step 1.1 forces that coefficient to vanish, a contradiction unless lies in the block of .
Nonzero decomposition numbers force a -chain. Put . For , the radical contains every composition factor of , and all higher filtration terms lie in that radical, so the coefficient of in the left side of the Jantzen identity is nonzero exactly when ; on the right it is . If , this integer is nonzero, so some satisfies and , with . Repeating strictly decreases the index in the finite dominance poset until , so . Consequently any two standards sharing a simple factor are both -connected to that factor's index, and therefore to each other.
Blocks and Hecke linkage. By [F1], two standards share a Schur block exactly when they are linked by a finite chain of standards whose neighbouring terms share a simple factor. Step 2.2 converts each such shared factor into a -edge to the common index, and step 2.1 shows every -edge lies inside one block; hence sharing a Schur block is equivalent to -connectivity. Applying the established Schur/Specht block correspondence of [F1] transfers this equivalence to the Murphy Specht modules and the Hecke algebra. In rank there is one empty standard, all positive filtration terms vanish, and the single empty class is its own Jantzen class; the argument never reduces coefficients modulo the field characteristic.
Remarks
The lemma proves the Lyle–Mathas block-linkage description of the Jantzen equivalence from the local Jantzen sum formula rather than citing it: nonzero decomposition numbers propagate along strictly decreasing dominance chains, and the cellular block purity of the standards supplies the converse. No choice principle is used: all chains, coefficient sums and block projections are finite.
Multipartitions with fixed component cores are cyclotomic Jantzen-connected
Statement
Under the arbitrary-field finite- nondegenerate cyclotomic hypotheses of Cyclotomic Jantzen equivalence is Schur and Hecke block linkage, any two -multipartitions of a common rank with equal componentwise -cores are -equivalent, even if their component sizes differ. At fixed component sizes, the full-level coefficient for a change in a single component equals its level-one coefficient. The proof consumes the actual same--core Hecke Specht block theorem for all ranks (Type-A Hecke Specht modules are in the same block iff their labels have the same e-core) rather than a readiness receipt, and imports no Carter-partition classification.
Facts & Assumptions
Given: The Jantzen linkage equivalence [F1], the exact formula [F2], the level-one identification [F3], the same-core Hecke block theorem [F4], and the -core/e-weight conventions [F5]–[F7].
iff the corresponding Schur standards share a block iff the Murphy Specht modules share a Hecke block, at any level and over any field in the stated regime (Cyclotomic Jantzen equivalence is Schur and Hecke block linkage).
The integer is the signed sum of over equal-remainder equal-length hook pairs, unless strictly dominates , and every foot difference is nonzero in (Cyclotomic Schur Jantzen sum formula from rim-hook valuations).
At level one the arbitrary-level cyclotomic Hecke algebra is the finite type-A Hecke algebra (Cyclotomic Hecke algebras of level one are finite Hecke algebras).
Two type-A Hecke Specht modules are in the same block exactly when their labels have the same -core (Type-A Hecke Specht modules are in the same block iff their labels have the same e-core).
-core, -quotient and -weight of a partition (The e-core, the e-quotient, and the e-weight), with the core independent of the removal order (The e-core is independent of the rim hook removal order) and the size/weight formula (The core-quotient size formula defines the weight).
The actual universal signed-conjugate comparison gives , hence ; is an involutive algebra automorphism whose pullback is exact (Ordinary Specht modules are the signed conjugate Murphy cells, The Hecke sign automorphism, pullback and contragredient dual).
Proof
Given: The rank , the charges, and the suppliers of [F1]–[F5].
One component at a time, at level one. Suppose first that the component sizes agree. For a single component of rank , the actual level-one Hecke algebra is the finite Hecke algebra by [F3]. Its same-core Specht-block clause [F4], together with the level-one case of the Jantzen linkage equivalence [F1], connects any two rank- partitions with equal -core by level-one Jantzen edges. The exact signed-conjugate bridge is , where and denotes the ordinary Dipper–James Specht module. If have equal -cores, their transposes have the equal transposed cores, so [F4] puts and in the same ordinary Hecke block. An algebra automorphism sends primitive central idempotents bijectively to primitive central idempotents; its exact module pullback therefore preserves the equivalence of sharing a block. Applying the SAME to both modules gives the required Murphy block equality and then [F1] gives the level-one Jantzen connection. No untwisted conjugate-dual identity or algebraic-closure assumption is used. The rank case has a single empty partition and needs no block theorem.
Equalizing the component weights with charged runners. Choose a component whose weight exceeds its target and a component whose weight is deficient. A positive-weight component has a removable rim -hook by [F5]. For each component use the charged infinite beta set . This is the ordinary beta display shifted to charge , with all sufficiently negative positions occupied and all sufficiently positive positions vacant. A removable hook is a bead move to a gap, and its charged foot residue is modulo . To see the foot formula, order the beta positions before and after the move: the affected consecutive rows form the boundary strip between the starting and ending positions, and the leftmost removed box in the last affected row has charged content one more than the ending position. The inverse move wraps a hook whose foot has charged residue one more than its starting position. Let be the charged foot residue of the hook removed from . In , choose the largest occupied integer ; it exists by the two tail conditions, and is vacant by maximality. Move to in component . Its new hook has charged foot residue . Equivalently, in an uncharged display for component the runner to use is modulo , so different component charges cannot be ignored. Both moves stay on their own runners and preserve the component cores and total rank. The earlier of determines the strict dominance orientation: removing boxes there and adding them later decreases every intervening prefix sum; adding boxes there reverses the inequality. In that orientation the equal-remainder hook pair is unique, since the two changed components determine both strips. Its charged foot residues agree, so the foot difference evaluates to zero at ; it is nonzero over by [F2], and consequently has a finite positive valuation. Thus the single signed contribution is nonzero, giving a Jantzen edge. If is the current component weight minus its target, then , , and this transfer changes by . Finitely many such transfers therefore equalize all component weights.
Fixed component sizes. For two full multipartitions that differ only in component , every contributing equal-remainder hook pair in lies in : the other components are unchanged on both sides and cancelling hooks between two unchanged components would return the same multipartition. The common residue factor is a unit of , and replacing it by the level-one factor multiplies each foot difference by a Laurent unit, so the valuation is unchanged and the full-level coefficient equals the level-one coefficient of [F2]. Inserting the level-one paths of step 1.1 in component and leaving the other components fixed connects all multipartitions with equal component sizes and the same component cores.
Conclusion. Steps 1.2 equalize component sizes along Jantzen edges from any starting multipartition, and step 2.1 connects all multipartitions of fixed component sizes with equal component cores. Composing the two finite chains connects any two multipartitions of rank with equal componentwise -cores, proving that they are -equivalent; the fixed-size comparison of coefficients is step 2.1.
Remarks
The lemma reduces the multipartition block question to the componentwise -core data and the level-one Hecke theorem, using the exact level-one to finite-Hecke identification and the explicit hook transfer between components. No choice principle is used: all chains and hook moves are finite and explicitly constructed.
Cyclotomic multipartitions have equal residue content exactly when Jantzen-connected
Statement
Let be any field, let have finite order with , let and . For all -multipartitions of rank , the node-residue contents agree for every if and only if for the exact integer Jantzen coefficients of Cyclotomic Schur Jantzen sum formula from rim-hook valuations. This includes arbitrary levels and all field characteristics.
Facts & Assumptions
Given: The exact formula [F1], the charged core-matrix connectivity [F2], the fixed-component-core lift lemma [F3], and the multipartition residue conventions [F4].
is the signed integer sum of over equal-remainder equal-length hook pairs, unless strictly dominates (Cyclotomic Schur Jantzen sum formula from rim-hook valuations).
Charged core height matrices admit content-preserving descent and minimal switch connectivity: within a content class of rank- cores with the same hub there is a sequence of zero-size switches followed, unless already minimal, by a strict descent, every intermediate core having size at most and the same hub (Charged core height matrices: hub-preserving descent and minimal switch connectivity).
Multipartitions of rank with equal componentwise -cores are -equivalent, and the full-level coefficient for a change in one fixed-size component equals its level-one coefficient (Multipartitions with fixed component cores are cyclotomic Jantzen-connected).
Multipartitions, their nodes , the charged parameters and residue conventions (Arbitrary-level cyclotomic Hecke, Murphy cell and multipartition Schur modules).
Proof
Given: The rank , the charges , and the suppliers of [F1]–[F4].
Necessity. Suppose ; then at least one term of its signed integer sum has nonzero valuation, and evaluating that generic foot difference at gives zero, so the two foot eigenvalues coincide and, since has order , their charged foot residues agree. The two hooks have equal length and the same remainder diagram. Along a rim strip, reading from its lowest-left node to its highest-right node increases the content by one at every step, so its residue multiset consists of consecutive residues starting at its foot; hence the two removed hooks have identical residue counts and . Transitivity gives the necessity of for every -path.
Sufficiency setup: cores and lifts. Let be the componentwise core of a member of the rank- content class; its size is at most and congruent to modulo , and by [F2] all such cores have the same hub and are connected by the prescribed switch sequence. Every intermediate core has size at most and the same hub, so adding -hooks produces a rank- multipartition of the same content by the equal-hub/equal-size clause of [F2].
The explicit one-hook lift across a core switch. Let be obtained from by the oriented switch in rows and components of [F2], with , so with . Write , , , : the switch removes bead and inserts in component , and removes and inserts in component . Put , form from by moving the lowest bead of the -runner in component to (adding -hooks on this runner), and form from by moving its lowest bead on the -runner in component to . Both have size , the same hub, and by [F2] equal content. Their beta sets in component differ only by replacing with , and those in component only by replacing with . Because , we have , so the two components exchange a single rim hook of length , nonzero since modulo . If , component unwraps and wraps a hook with foot residue modulo ; otherwise unwraps and wraps one with foot residue . In both cases the hook feet have equal residues, and the hook pair is uniquely determined because distinct components change, so the coefficient of [F1] is a single signed valuation, a nonzero integer with no cancellation. Hence and are Jantzen-connected by one edge; this supplies the detail abbreviated in the Lyle–Mathas tight lemma.
Termination and conclusion. The generic difference of the unique hook contribution is nonzero by [F1], and its specialization vanishes because the charged feet agree, so its positive integer valuation cannot disappear under reduction modulo . The fixed-core lemma [F3] permits replacing arbitrary lifts by the chosen lifts before and after each switch, and strict descent lowers the nonnegative core size by at least , so the process terminates at a minimum core; all minimum cores have equal size and are connected by switches, whose rank- lifts are connected by the same explicit construction of step 2.1. Together with the fixed-component-size lifts of [F3], every member of the content class is Jantzen-connected to every other, and step 1.1 gives the converse. The empty rank has only one multipartition and is immediate; no affine-center or primitive-block theorem has entered the proof.
Remarks
The theorem is the exact content classification of the Jantzen classes: equal charged node-residue content is equivalent to connectivity by the integer rim-hook coefficient matrix, uniformly in the characteristic and the level. The construction of the lifts and the termination argument are finite and explicit. No choice principle is used.
Central content sectors are zero or primitive cyclotomic Hecke blocks
Statement
Let be any field and let have finite quantum characteristic . Use the standard cyclotomic type-A Hecke presentation with level imposed on the first polynomial variable, with and . For the roots are and has order ; for one has and the roots are the prime-field residues . Using the central CRT notation of Central content sectors of the cyclotomic Hecke algebra and Polynomial spectra and central content sectors of finite cyclotomic Hecke algebras, for every content of rank the element is either zero or a primitive central idempotent. The nonzero are exactly all primitive central idempotents, so is precisely the block decomposition. At the unique sector is , regardless of level; at , the algebra is zero. This is an arbitrary-level result over the original field in both branches.
Facts & Assumptions
Given: The central content-sector notation and CRT [F1], the block convention [F2], the degenerate center identification [F3], the primitive split content idempotents of symmetric polynomial centers [F4], the Murphy cellular basis and finite cellular heads [F5]–[F6], the Jucys–Murphy content triangularity [F7], the fixed-content connectivity theorem [F8], and the Jantzen/block linkage lemma [F9].
The pairwise-orthogonal joint residue idempotents sum to , the sums are central and orthogonal, and the regular/module CRT interpretation holds; no primitivity is asserted (Central content sectors of the cyclotomic Hecke algebra, Polynomial spectra and central content sectors of finite cyclotomic Hecke algebras).
Blocks are the primitive-central-idempotent blocks (Blocks of a finite-dimensional algebra via primitive central idempotents).
In the degenerate branch the center is the image of the symmetric polynomials (The degenerate cyclotomic Hecke center is the symmetric polynomial image).
Symmetric polynomial centers have primitive split content idempotents, applying to the early CRT projectors without a field extension or a power-sum generation assertion (Symmetric polynomial centers have primitive split content idempotents).
The arbitrary-level Murphy elements are a cellular basis with the higher two-sided ideals (The arbitrary-level cyclotomic Hecke Murphy basis is cellular), so the nonzero cellular heads are all the simple modules (Nonzero-form cellular heads, cell purity and shared-factor linkage).
Every word on , and hence on its quotient , is the node content (Arbitrary-level Murphy Jucys–Murphy action is content triangular).
Multipartitions have equal node-residue content exactly when they are -connected (Cyclotomic multipartitions have equal residue content exactly when Jantzen-connected).
-connectivity is equivalent to sharing a Hecke block (Cyclotomic Jantzen equivalence is Schur and Hecke block linkage).
Proof
Given: The field , the finite quantum characteristic , the
multiplicities , and the suppliers of [F1]–[F8].
Base cases. At rank the algebra is , the empty-word projector is , and this is its unique primitive central idempotent. At positive rank and level the defining polynomial is , so the algebra is and every content sector is , with no nonzero blocks. Hence assume rank and level .
The degenerate branch. In the branch necessarily . The center is the full symmetric-polynomial image over this by [F3], and [F4] applies to the early CRT projectors and proves that their content sums are zero or primitive. This uses neither a field extension nor a power-sum generation assertion.
The nondegenerate branch: labels of sectors. In the branch choose a charge list repeating each exactly times, so and the first polynomial is unchanged. The arbitrary-level Murphy cellular basis and the finite cellular head lemma [F5] supply all simple -modules as nonzero Specht quotients , and the content-triangular JM action [F6] says every word on , hence on , has the node content . Thus a simple module lying in a nonzero sector has a label with .
Primitivity of the nonzero sectors. Any two simple modules in the sector have labels with equal content, so [F7] connects the labels by integer Jantzen edges and [F8] transfers this to a common Hecke block. If decomposed into two nonzero orthogonal central idempotents , the nonzero finite algebras and would each have a simple module, obtained from a proper right ideal of maximal dimension. Those simple modules cannot lie in one block, because the central idempotent acts as the identity on the first and as zero on the second, and all modules and extensions split by . This contradicts the one-block assertion, so is primitive.
Every block is a content sector. In either branch let be a primitive central idempotent and write . The terms are central orthogonal idempotents, so precisely one is nonzero and ; primitivity of the nonzero from step 1.2 or step 2.1 gives . Hence the nonzero content sums are exactly all primitive central idempotents and the decomposition is precisely the block decomposition [F2]. All sums are finite, the field characteristic never reduces an integer adjacency, and no affine-block classification or citation-only center theorem is consumed.
Remarks
The theorem identifies the primitive central idempotents of the arbitrary-level cyclotomic Hecke algebra with the nonzero content sectors, in both the degenerate and nondegenerate branches and over the original field. The two branches are routed through the symmetric-polynomial center and the content-classification theorem respectively; no primitive-block theorem is assumed. No choice principle is used: all sums, sectors and simple selections are finite.
Residue-sequence idempotents and cyclotomic Hecke blocks
Definition
Work in the charged finite- field conventions of Affine and cyclotomic type-A Hecke algebras. By Polynomial spectra and central content sectors of finite cyclotomic Hecke algebras, is finite-dimensional and each minimal polynomial of the polynomial generator (nondegenerate normalization) respectively (degenerate normalization) splits over the residues respectively .
Residue-sequence idempotents. Let be the canonical CRT primary idempotent of that generator at the spectral value associated with residue label (zero when that value is absent), and put for a residue sequence . On every finite -module the element projects onto the joint generalized residue space, and these mutually orthogonal idempotents sum to . At content put the sum over residue sequences of content ; it is central, and is the direct sum of its central ideals By Central content sectors are zero or primitive cyclotomic Hecke blocks, every nonzero is primitive, so every nonzero is an actual block (Blocks of a finite-dimensional algebra via primitive central idempotents); this block assertion is proved there, not retained as an unused citation. The algebra basis and dimension convention is that of Basis and dimension of the cyclotomic Hecke algebra.
Level one. At level one, , the polynomial generators correspond under the explicit finite-Hecke inverse of Cyclotomic Hecke algebras of level one are finite Hecke algebras to where is the ordinary additive Jucys–Murphy element. Thus on a standard tableau node of content their eigenvalues are respectively , while itself has additive -content . The nonzero joint projectors are precisely the residue words of standard tableaux (The Hecke Jucys-Murphy action is dominance triangular), and grouping those words by content gives the block labels.
Boundary conventions. At rank zero the empty projector is and the unique block is ; at level zero and positive rank all projectors and blocks are zero. The projection, centrality, and block-decomposition assertions recorded here are exactly the proved content-sector statements of the linked suppliers; this definition introduces no new primitive-block classification of its own. It uses no choice principle: all spectra, projectors, and sums are finite.
The Brundan–Kleshchev blockwise Hecke–KLR isomorphism
Statement
Let be any field, let have finite quantum characteristic , let be dominant and let have height with , in the conventions of Affine and cyclotomic type-A Hecke algebras and Residue-sequence idempotents and cyclotomic Hecke blocks. Then the homomorphisms of Hecke intertwiners produce the local KLR generators and of The cyclotomic KLR block satisfies the Hecke relations are mutually inverse -algebra isomorphisms. Equivalently, is generated by the Khovanov–Lauda generators subject only to the relations (1.6)–(1.15), and the isomorphism is normalized by and The degenerate (, ) and nondegenerate () cases are proved separately, and both hold in finite quantum characteristic .
Facts & Assumptions
Given: The residue-projector/block definition [F1], the early central sector isomorphism [F2], the local KLR generator construction [F3], and the inverse Hecke-relations map [F4].
The residue-sequence idempotents , the central sums and the direct decomposition , with every nonzero primitive and every nonzero an actual block; at level one the JM generators correspond to respectively (Residue-sequence idempotents and cyclotomic Hecke blocks).
The explicit maps and are mutually inverse for every content , including zero sectors, with iff and ; on idempotents the maps are the literal identity and the dot image is in the degenerate branch and in the nondegenerate branch (Cyclotomic Hecke central sectors are isomorphic to type-A cyclotomic KLR algebras).
The elements satisfy the relations (1.6)–(1.15) and define the unique homomorphism with , , (Hecke intertwiners produce the local KLR generators).
The elements respectively satisfy the affine Hecke and cyclotomic relations, so there is a unique homomorphism killing and every corner with (The cyclotomic KLR block satisfies the Hecke relations).
Proof
Given: The field , the finite quantum characteristic , the dominant
weight , the content of height with , and
the suppliers of [F1]–[F4].
The mutually inverse early maps. By [F3] the local KLR generators of the nonzero sector satisfy the KLR relations, so there is a unique algebra homomorphism sending , and ; by [F4] the Hecke generators (respectively ) of the sector satisfy the affine Hecke and cyclotomic relations, so there is a unique homomorphism with for . The early central sector isomorphism [F2] proves, by explicit generator composites that are literally the identity, that and are mutually inverse over for every content, including the zero sectors, with if and only if . No algebraic closure, root extraction, dimension argument or primitive-block premise was used to construct these maps.
Primitivity of the sector. By [F1] every nonzero is primitive and every nonzero is an actual block. Hence for the content of the Statement the sector is a block of , and the block terminology in the Statement is justified rather than assumed.
The blockwise isomorphism and its normalization. Restricting the mutually inverse maps of step 1.1 to the nonzero sector gives mutually inverse unital -algebra isomorphisms and . The defining formulas of give and the stated dot normalization in the nondegenerate case and in the degenerate case, matching the dot images of [F2]. Because is the algebra generated by subject only to the defining KLR relations and is an isomorphism, is generated by the images of those generators subject only to those relations. The degenerate and nondegenerate cases were proved separately by [F2]–[F4] and both hold in finite quantum characteristic , with no characteristic-zero or level-one restriction.
Remarks
The theorem is the Brundan–Kleshchev identification of each nonzero cyclotomic Hecke block with the corresponding cyclotomic Khovanov–Lauda block. The isomorphism is exhibited by explicit mutually inverse maps, and the later primitivity theorem is used only to justify the block terminology; no choice principle is used.
Cyclotomic Hecke blocks inherit -gradings
Statement
In the situation of The Brundan–Kleshchev blockwise Hecke–KLR isomorphism, each fixed choice of admissible local normalising series transports the KLR homogeneous decomposition to a -grading on . This is the unique grading for those fixed generator images with , and (The KLR grading and the diagrammatic multiplication). Different admissible series choices give graded-isomorphic transported algebras via ; their underlying identity map need not be graded. The grading can be nontrivial, but it may be trivial on an individual block, including the one-dimensional level-one rank-two blocks. The ordinary Hecke presentation always has the trivial assignment of degree zero to all its generators; the transported grading is generally expressed using the nilpotent dots and local crossings, and ordinary Hecke generators can be sums of different homogeneous pieces and may be homogeneous in special cases. No claim forbids the degree-zero assignment or asserts that every block grading is nontrivial.
Facts & Assumptions
Given: The blockwise Hecke–KLR isomorphism [F1], the KLR grading conventions [F2], the cyclotomic quotient conventions [F3], and the type-A specialization conventions [F4].
For every content with there are mutually inverse -algebra isomorphisms and , normalized by and the dot images or (The Brundan–Kleshchev blockwise Hecke–KLR isomorphism).
The KLR algebra is graded by , and , with homogeneous local relations (The KLR grading and the diagrammatic multiplication, The cyclotomic KLR quotient at a dominant integral weight).
The charged type-A specialization and its presentation conventions (The type-A cyclotomic specialization of the QG-KLR algebras).
Proof
Given: The field , the finite quantum characteristic , the
dominant weight , and the suppliers of [F1]–[F3].
Transport of the grading. Fix a choice of admissible local normalising series, hence the isomorphism of [F1]. Declare each image of a homogeneous KLR generator to be homogeneous of the same degree; the images generate and the KLR relations of [F2] are homogeneous, so the resulting degree assignment is well defined. Products retain degree addition because is an algebra map, so the degree summands are exactly the transported homogeneous summands. Since the generator images span the algebra, their assigned degrees determine every degree summand and give uniqueness of the grading for that fixed choice, with , and .
Independence of the series choice. If is the isomorphism attached to another admissible series, then sends each homogeneous native generator image of the first choice to the corresponding new image and hence is graded by construction; the two transported algebras are graded-isomorphic, while the underlying identity map on need not be graded because the two series differ by units that need not be homogeneous of degree zero.
Triviality is not excluded. Assigning degree zero to every ordinary Hecke generator makes all defining relations homogeneous, so the degree-zero assignment is a legitimate grading of the ordinary Hecke presentation and no impossibility statement is asserted. A one-dimensional sector has only degree zero, because its unit has degree zero and it equals ; in particular the one-dimensional level-one rank-two blocks are trivially graded.
A concrete nontrivial witness. Consider level one, , rank two. Of the four colour words only survives: the first-strand exponent zero kills , and on the equal-colour mixed identities give together with , hence after left multiplication by , giving ; so the equal-colour sector is zero, with and the crossing zero. The quadratic double-edge relation gives . Conversely , , in satisfy all rank-two relations, so that sector is with , and its Brundan–Kleshchev image supplies an actual nontrivial transported grading, including in the characteristic-two degeneration. This is a witness that the construction can be nontrivial, not a claim about all sectors.
Conclusion. Each fixed admissible series choice transports the KLR homogeneous decomposition to a -grading of , unique for the induced generator degrees; different choices give graded-isomorphic transported algebras; and the grading may be nontrivial on some blocks while trivial on others, with the ordinary presentation retaining its degree-zero assignment.
Remarks
The corollary records exactly what the blockwise isomorphism yields: a transported grading attached to a chosen normalising series, not a canonical intrinsic grading of the Hecke presentation, and not a claim of nontriviality on every block. No choice principle is used: the series choices and the gradings are explicit and finite.
5 · Examples, counterexamples and false statements
None yet.
Sources
- Mathas, The representation theory of the Ariki–Koike and cyclotomic q-Schur algebras, math/0204025
- Mathas, Hecke algebras and Schur algebras of the symmetric group, complete 79-page manuscript
- Lyle–Mathas, Blocks of cyclotomic Hecke algebras, math/0607451v4
- Mathas, Positive Jantzen sum formulas for cyclotomic Hecke algebras, arXiv:2106.15486v2
- Matthew Fayers, Core blocks of Ariki–Koike algebras, author manuscript, J. Algebraic Combin. 26 (2007), 47–81
- Brundan and Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov-Lauda algebras, arXiv:0808.2032v4
- Jonathan Brundan, Centers of degenerate cyclotomic Hecke algebras and parabolic category O, arXiv:math/0607717v3
- Matthew Fayers, Weights of multipartitions and representations of Ariki–Koike algebras, author manuscript, Adv. Math. 206 (2006), 112–144
- Kang and Kashiwara, Categorification of Highest Weight Modules via Khovanov-Lauda-Rouquier Algebras, arXiv:1102.4677v4
- Jonathan Brundan and Alexander Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov-Lauda algebras, arXiv:0808.2032v3, Invent. Math. 178 (2009) 451–484 (complete 32-page article)
- Alexander Kleshchev, Representation theory of symmetric groups and related Hecke algebras, arXiv:0909.4844v1, Bull. AMS 47 (2010) 419–481 (complete 66-page survey)
- Andrew Mathas, Hecke algebras and Schur algebras of the symmetric group, complete prepublication manuscript (AMS University Lecture Series 15, 1999), 79 pages
- Jun Hu and Andrew Mathas, Seminormal forms and cyclotomic quiver Hecke algebras of type A, arXiv:1304.0906v3 (published in Math. Ann.), complete 51-page article
- Jonathan Brundan and Alexander Kleshchev, Graded decomposition numbers for cyclotomic Hecke algebras, arXiv:0901.4450v3, Adv. Math. 222 (2009) 1883–1942 (complete 57-page article)
- Mikhail Khovanov and Aaron D. Lauda, A diagrammatic approach to categorification of quantum groups I, arXiv:0803.4121v3, Represent. Theory 13 (2009) 309–347 (complete 53-page article)
- Jonathan Brundan and Alexander Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov-Lauda algebras, arXiv:0808.2032v4, Invent. Math. 178 (2009) 451–484 (complete 32-page article)
- Gunter Malle and Andrew Mathas, Symmetric cyclotomic Hecke algebras, J. Algebra 205 (1998), 275–293
- Mathas, Seminormal forms and Gram determinants for cellular algebras, math/0604108v4
- Jonathan Brundan, Centers of degenerate cyclotomic Hecke algebras and parabolic category O, math/0607717v3
- Brundan–Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov–Lauda algebras, arXiv:0808.2032v4
- Brundan and Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov–Lauda algebras, arXiv:0808.2032v3, Invent. Math. 178 (2009) 451–484 (complete 32-page article)
- Jonathan Brundan and Alexander Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov–Lauda algebras, arXiv:0808.2032v3, Invent. Math. 178 (2009) 451–484 (complete 32-page article)