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.
Type-A Hecke Specht Modules and Cellular Bases
1 · Prerequisites
- Abelian Categories
- Adjunctions Units and Counits
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Balanced Triples and Global Crystal Bases
- 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
- Categories, Functors and Natural Transformations
- Chain Conditions, Semisimple Modules and the Wedderburn–Artin Theorem
- Characters and the Orthogonality Relations
- Clifford Theory over Normal Subgroups
- 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
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Cyclic Groups and Direct Products
- 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 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
- 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
- Hilbert Space Geometry and Riesz Representation
- 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 Extensions and Going Up
- 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
- 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
- Localisation of Modules and Support
- Maschke's Theorem, Complete Reducibility and the Structure of k[G]
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Metric Spaces
- 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
- Normed and Banach Spaces
- Order, Zorn's Lemma, and the Axiom of Choice
- 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
- Prime Spectra and Radicals
- 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
- Reflective Subcategories and the Adjoint Functor Theorems
- Relations, Functions, and Quotients
- Rim Hooks and the Murnaghan–Nakayama Rule
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- 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
- 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 Coherence and Algebraic Descent
- Tensor Product Multiplicities and Littlewood Richardson
- Tensor Products of Modules
- The Branching Rule and the Young Graph
- 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 Weyl Kac Character Formula
- The ZFC Axioms and the Basic Set Constructions
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Valuation Rings and Discrete Valuation Rings
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Young Diagrams Tableaux and Permutation Modules
2 · Summary
This page develops the cellular-algebra foundations of the modular representation theory of the type-A Hecke algebra and its q-Schur algebra. It begins with the Graham-Lehrer cellular calculus, the cell form and its radical, and the classification of the simple modules by the nonzero cell heads , with the dominance-unitriangular decomposition matrix as its first consequence.
The second half specialises to : the Murphy cellular basis and the identification of the Hecke Specht modules through the Dipper-James signed-cell dictionary, the triangular action of the Jucys-Murphy elements and the resulting seminormal bases in the separated range, the classification of the simple modules by the -regular partitions, and the Schur functor connecting Weyl modules and their Jantzen filtrations to Specht modules. The q-Schaper virtual radical-layer formula and its hook-product Gram determinants are recorded in the form needed by the block and decomposition-number items of later pages, together with an explicit remark on the limits of what cellularity and the sum formula determine.
3 · Logical flowchart
4 · Definitions, theorems and proofs
Cellular bases and cell modules
Definition
Let be a commutative ring with and a unital -algebra (Algebras over a commutative ring, central structure maps, and algebra homomorphisms) that is free as an -module on a finite set , where is a finite poset (Partial order and partially ordered set; its strict order is written ) and each is a finite set. For let be the -submodule of spanned by all with .
Then is a cellular basis of , and is a cellular algebra, if:
(i) the -linear map with for all is an algebra anti-automorphism of , i.e. and (equivalently is an isomorphism of with the opposite algebra; the displayed formula forces ); and
(ii) for every , every and every there exist coefficients (), independent of , such that for every
Cell modules. For let be the free -module with basis ; condition (ii) makes a right -module by when , and it makes a left -module via , the left action being . Both actions are well defined on the freely spanning basis elements by (ii): the coefficients are unique because is an -basis of and the quotient by kills exactly the basis elements indexed by strictly larger labels, while applying the anti-automorphism (i) to (ii) gives the same triangularity for left multiplication. The module is the (right) cell module of , and via , where is spanned by all with . A cellular algebra may have several cellular bases.
e-regular and e-restricted partitions
Definition
Let and let be a partition with parts and conjugate (Partitions, English diagrams, and conjugation). Then is -regular when every positive integer occurs as a part of fewer than times, i.e. for every , and -restricted when for every (with for ).
For prime these are exactly the -regular and -restricted notions of p-regular and p-restricted partitions; the same inequalities define the extension to composite finite . For both conditions are vacuous, so every partition is both -regular and -restricted: the inequalities and hold because partitions have finitely many nonzero parts and each difference is a nonnegative integer. Moreover is -restricted if and only if its conjugate is -regular: the multiplicity of the part in is the number of columns of of height exactly , namely , so the two conditions are the same family of inequalities, and for both sides hold. In particular is simultaneously -regular and -restricted for every (p-regular and p-restricted partitions).
The quantum characteristic of an invertible Hecke parameter
Definition
Let be a field and an invertible element. The quantum characteristic is the least integer such that in , and when no such integer exists (The -integer, -factorial and -multinomial coefficients, The generic type-A Hecke algebra). Since , the least positive integer with , when it exists, automatically satisfies , so the two formulations coincide.
Concretely: (i) if then for all — indeed and — so is equivalent to , and a finite exists exactly when is a root of unity and then is the multiplicative order of in (which is because ); (ii) if then , so when (the characteristic is a prime, hence at least , and for ) and when (Group algebra and finite-field specializations of the generic Hecke algebra).
If then implies , and hence for every integer : for the sum splits as so whenever ; for the remaining one extends the closed formula by when and reads for the canonical image of the integer when , in which case and in . In particular the quantum characteristic, not merely the multiplicative order, is the parameter governing the modular representation theory of the Hecke algebra. No choice principle is used.
Decompositions of the identity into primitive central idempotents are unique
Statement
Let be a unital ring (Ring: an abelian group under addition and a monoid under multiplication, with multiplication distributing over addition on both sides), with centre . Suppose that where and are finite families of pairwise orthogonal central idempotents of that are primitive among central idempotents: each is nonzero and admits no decomposition as a sum of two nonzero orthogonal central idempotents (zero parts are omitted). Then and there is a bijection of the index sets with for all ; in particular the decomposition of into primitive central idempotents is unique up to order. No choice principle is used, the families being finite.
Facts & Assumptions
Given: A unital ring with centre ; finite families and of pairwise orthogonal nonzero central idempotents of that are primitive among central idempotents, with .
Ring axioms and the zero ring: is an abelian group, multiplication is associative with two-sided identity and distributes over addition on both sides, and a ring in which has exactly one element (Ring: an abelian group under addition and a monoid under multiplication, with multiplication distributing over addition on both sides).
Proof
If or then in , so has exactly one element by [F1], namely ; then no nonzero idempotent exists and the two families are empty, , and the empty map is the required bijection. Assume henceforth that .
For central idempotents the products and are central idempotents with and : centrality gives and for all ; idempotence gives and , hence ; distributivity gives and .
If is primitive and is a central idempotent, then : by step 1.2, exhibits as a sum of the two orthogonal central idempotents and , so primitivity forces or ; in the second case step 1.2 gives .
Fix . Since , distributivity and centrality give , and step 2.1 gives for every ; since , the set is nonempty and .
For every the set is a singleton: its elements are pairwise orthogonal nonzero central idempotents summing to by step 3.1, so if contained distinct then would exhibit as a sum of the two orthogonal central idempotents and , both nonzero since multiplying the second sum by the nonzero idempotent retrieves , contradicting primitivity of ; hence and .
The map is injective: if with , then by idempotence, centrality and pairwise orthogonality of the 's, contradicting .
The map is surjective: from for all and both decompositions, ; multiplying this equality by the central idempotent and using pairwise orthogonality of the 's gives on the left when lies in the image of and otherwise, while the right side is ; hence every lies in the image.
Steps 5.1 and 5.2 make a bijection with for all by step 4.1; its inverse satisfies for all , and . Since the families were arbitrary, the decomposition of into primitive central idempotents is unique up to order, as claimed.
The identity of a finite-dimensional algebra decomposes into primitive central idempotents
Statement
Let be a field and a finite-dimensional unital -algebra with centre (Algebras over a commutative ring, central structure maps, and algebra homomorphisms). Then is a finite-dimensional commutative -algebra, and the identity admits a decomposition into pairwise orthogonal primitive central idempotents of : each is a nonzero idempotent of that is not the sum of two nonzero orthogonal idempotents of . No semisimplicity of is assumed and no choice principle is used.
Facts & Assumptions
Given: A field , a finite-dimensional unital -algebra , and the centre .
-algebra conventions: a unital -algebra is a unital ring together with a unital ring homomorphism whose image is central, and the induced scalar action makes an -module with multiplication bilinear (Algebras over a commutative ring, central structure maps, and algebra homomorphisms).
Subspace dimension: if is a finite-dimensional vector space over with and a linear subspace of , then is finite-dimensional with , and if and only if (If and is a linear subspace of , then is finite-dimensional, , and if and only if ).
Well-ordering principle: every nonempty subset of has a least element (The well-ordering principle).
Proof
If , then and the empty family () satisfies with the stated conditions vacuously, so assume ; then in one has and hence in .
The centre is a commutative unital -subalgebra of and, in particular, a linear subspace of the -vector space : ; if , and , then , and , while ; and distinct elements of commute with each other because each commutes with all of .
Suppose, for contradiction, that the following general claim fails: every finite-dimensional commutative unital -algebra with and admits a decomposition of into pairwise orthogonal idempotents of that are primitive in . Let be the nonempty set of -dimensions of such counterexamples; by [F3] let be least and fix a counterexample with .
The centre is finite-dimensional over with , by [F2] applied to the linear subspace of the finite-dimensional space .
Since is a counterexample, is not primitive in : otherwise , would be the required decomposition. Hence there are nonzero orthogonal idempotents with .
The set is a linear subspace of and, with the inherited operations, a commutative unital -algebra with identity : it is closed since , and for , , while ; and . The same holds for with identity .
One has because : if then , a contradiction using and . Hence by [F2], applied to the subspace of with , one has ; the same argument gives .
By the minimality of in , no counterexample has dimension , and since and with , , the general claim holds for and for : there are pairwise orthogonal idempotents of primitive in with , and pairwise orthogonal idempotents of primitive in with .
The combined family is a decomposition of into pairwise orthogonal idempotents of that are primitive in : the elements lie in ; distinct 's are orthogonal and distinct 's are orthogonal by step 5.1; ; and if with nonzero orthogonal idempotents of , then and likewise , contradicting primitivity of in (and symmetrically for in ).
Step 6.1 contradicts the choice of as a counterexample, so no counterexample exists and the general claim of step 1.3 holds: every finite-dimensional commutative unital -algebra with and decomposes its identity into pairwise orthogonal primitive idempotents.
Apply step 7.1 to : by steps 1.1 and 1.2, is a commutative unital -algebra with and ; by step 2.1 it is finite-dimensional. This produces with the pairwise orthogonal idempotents of primitive in ; idempotents of are exactly the central idempotents of , and primitive in says precisely that is not the sum of two nonzero orthogonal idempotents of . Since no semisimplicity was used and the only invoked principles are the choice-free subspace theorem [F2], the choice-free well-ordering principle [F3] and finite selections, the proof is complete.
The star anti-automorphism of the type-A Hecke algebra
Statement
Let be a commutative ring, , and let be the specialized type-A Hecke algebra with generators and relations , the braid relations and the distant commutations (The generic type-A Hecke algebra, The standard basis of the generic type-A Hecke algebra). Then the assignment () extends uniquely to an -algebra anti-automorphism , i.e. an -linear map with and ; it is an involution, , and on the standard basis In particular and, for the symmetrizers , one has .
Facts & Assumptions
Given: A commutative ring , a unit , and the specialized type-A Hecke algebra , presented over by generators with the relations , () and ().
The generic algebra and its specialization: is the quotient of the free unital associative -algebra, , on the by the two-sided ideal generated by the quadratic and braid relators; a reduced expression of is a word of minimal length representing , and , the empty product for ; the specialization at is the -algebra , and for it is , presented over by the images of the subject to the relations above (The generic type-A Hecke algebra).
Standard basis of the generic algebra: is an -basis of , so is independent of the reduced expression chosen for (The standard basis of the generic type-A Hecke algebra).
Length is inversion invariant: for every (Permutation Weyl group and inversion length).
For a set , the finite words form a monoid under concatenation with the empty word as identity (Finite words satisfy the free-monoid universal property).
The free -module on the set has the words as an -basis: every element is a unique finite -linear combination (The free module on a set and its standard basis).
Two-sided ideals are additive subgroups closed under multiplication on both sides; for the ideal is the intersection of all two-sided ideals containing , so any two-sided ideal containing contains (Left, right and two-sided ideals, The ideal generated by a subset and principal ideals).
The quotient ring has additive cosets with and -scalar action inherited from (The quotient ring with ).
Proof
Put and , the free -module with the finite words in as basis [F5]; write the basis word corresponding to as and the empty word as . Extending concatenation of words -bilinearly makes a unital associative -algebra: concatenation is associative with two-sided identity the empty word by [F4], and distributivity holds by the bilinear extension. Let be the two-sided ideal generated by the relators , and , and put , which by [F1] is the presented algebra , the image of being again written ; every element of is the image of an -linear combination of words in the , so is generated as an -algebra by .
Define on the word basis by and , extended -linearly. Then is an -linear involution and reverses products, , because reversal of a concatenation is the concatenation of the reversals in the opposite order and both sides are -bilinear; in particular and for each generator.
preserves , i.e. : the relators are fixed up to sign, , and by step 1.2, so each lies in ; the set contains , is closed under addition and additive inverses because is -linear and is an additive subgroup, and for and one has and because is a two-sided ideal [F6]; hence is a two-sided ideal containing all relators, so and , that is, .
Consequently , , is well defined: if then by step 2.1. It is an -linear anti-automorphism of with and : the quotient operations of [F7] and step 1.2 give , and similarly for addition, scalars and the unit.
is the unique -algebra anti-automorphism of with for all : if is any such anti-automorphism, then and agree on , and for a word one has ; the words span by step 1.1, so by -linearity.
For and a reduced expression one has in the generic algebra and hence ; thus by step 3.1. The reversed word represents and has letters, and by [F3], so it is a reduced expression of and therefore ; hence for every , and is well defined in independently of the chosen reduced expression by [F1] and [F2].
The assertions of the statement follow: is the unique extension of the assignment , an involution by step 3.1; is step 4.2; therefore ; and for the parabolic subgroup the map is a bijection of , so . No choice principle is used: the constructions are explicit on the word basis.
Blocks of a finite-dimensional algebra via primitive central idempotents
Definition
Let be a field and a finite-dimensional unital -algebra with centre (Algebras over a commutative ring, central structure maps, and algebra homomorphisms). A central idempotent of is an idempotent ; it is primitive when and is not the sum of two nonzero orthogonal central idempotents.
Then is a finite-dimensional commutative -algebra, so the identity admits a decomposition into pairwise orthogonal primitive central idempotents (The identity of a finite-dimensional algebra decomposes into primitive central idempotents), and this decomposition is unique up to order (Decompositions of the identity into primitive central idempotents are unique). A block of is the two-sided ideal cut out by a primitive central idempotent (the two descriptions agree because is central).
The blocks are pairwise orthogonal two-sided ideals: for , and is the identity of since and . Moreover as -algebras with units : every is with , and if with then multiplying by gives , so the sum is direct. Each is an indecomposable two-sided ideal: if were a direct sum of nonzero two-sided ideals, the projections of onto and would be nonzero orthogonal central idempotents of summing to , as is seen by applying to the -bimodule projections and , which satisfy and ; this contradicts primitivity of .
For every (not necessarily finite-dimensional) -module one has as -modules: acts as the identity on , so , and if with then applying gives ; each is -stable because is central. A simple -module satisfies for exactly one , and then lies in the corresponding block: forces some , and if with then simplicity gives , whence , a contradiction. Nothing here asserts that a block is semisimple or simple, and the construction is choice-free.
Hecke Jucys-Murphy elements and q-contents
Definition
Let be a commutative ring, , and (The generic type-A Hecke algebra). For define where is the standard basis element indexed by the transposition (The standard basis of the generic type-A Hecke algebra). The are the Hecke Jucys-Murphy elements. They are fixed by the star anti-automorphism (The star anti-automorphism of the type-A Hecke algebra): each transposition is its own inverse, so , and the coefficients are central, whence . They commute pairwise and every symmetric polynomial in with coefficients in is central in (The Hecke Jucys-Murphy action is dominance triangular).
q-contents. The quantum integers for are those of The -integer, -factorial and -multinomial coefficients; extend the definition to negative indices by for , so that for all . When is a unit this may be written ; the polynomial definition requires no such division. Also for all , since . For a standard -tableau and let be the content of the node carrying (The content of a node and the content vector of a standard tableau) and define the q-content value . If for a field then for every (The quantum characteristic of an invertible Hecke parameter), so the q-content value depends only on the residue of the content modulo . At the identification with — the isomorphism given by the Coxeter presentation and the standard bases (The symmetric group has the Coxeter presentation, The standard basis of the generic type-A Hecke algebra) — sends to the ordinary Jucys-Murphy element (The Jucys-Murphy elements of the symmetric group algebra), because each coefficient specializes to , and .
Murphy elements and Murphy tableau elements
Definition
Let be a commutative ring, , and with standard basis and star anti-automorphism (The generic type-A Hecke algebra, The standard basis of the generic type-A Hecke algebra, The star anti-automorphism of the type-A Hecke algebra). For a composition (in particular a partition) of put , the row symmetrizer of the standard Young subgroup (Young subgroups, tabloids, and permutation modules); the sum has terms.
A tableau is row standard when its entries increase along each row. Use the right tableau action , where the left action applies to the entries. For a row-standard -tableau , let be the unique permutation with , where is filled by in row-major order. Explicitly, if carries entry in the -th node in that order, then : is the inverse of the row-reading permutation. The action on tableaux is free; the stabilizer of the row tabloid of is (Row and column stabilizers).
Write for these distinguished permutations. Row-standardness says that is increasing on each canonical row block. The coset consists exactly of the tableaux with the same row sets, so sorting each row produces its unique representative in . Moreover, To verify this, count inversions of . Pairs of labels within one canonical block contribute exactly the inversions of , since is increasing there. For labels in different blocks, permutes the labels within their respective blocks, so the total number of cross-block inversions equals that of . The two contributions give the displayed equality, using inversion invariance of length. It also proves minimality and uniqueness in . These conventions extend to compositions by using their consecutive row blocks. For row-standard -tableaux define the Murphy element and for a standard -tableau write the diagonal element as ; the notation is reserved for a cell-module vector, rather than an element of . Then for all row-standard of the same shape: applying the anti-automorphism, which fixes because , gives Finally, for every : it suffices to prove this for a simple transposition with in the same block of , since any has a reduced expression with and the claim follows by induction, . For such the right multiplication is an involution of the finite group , and pairing the summands of in twos gives, in the two cases of the standard-basis multiplication rule if and if , so summing over the pairs yields .
The cell form is associative and its radical is a submodule
Statement
Let be a commutative ring and a cellular -algebra with cellular basis and cell modules (Cellular bases and cell modules). For each there is a unique -bilinear form with for all ; in particular the scalar coefficient on the right hand side is independent of and , and depends only on . This form is (i) symmetric, ; (ii) associative, for all , where denotes the right action of on , i.e. the left action ; (iii) characterised by for ; and (iv) its radical is an -submodule of , namely the kernel of .
Facts & Assumptions
Given: A commutative ring , a cellular -algebra with cellular basis , a label , and the cell module with basis (Cellular bases and cell modules).
The cellular axioms and cell-module structure (Cellular bases and cell modules): is an -basis of ; ; the -linear map with is an algebra anti-automorphism with ; for all , , there are with for all ; is a right -module by when , and a left -module via with ; and via , where .
Proof
The submodules and are two-sided ideals of , and the following two congruence rules hold modulo : for all and , where the do not depend on and the do not depend on . Indeed, the first is the cellular rule [F1] applied to the fixed label , the second-slot index and the element , which gives coefficients independent of the free first index ; right multiplication by therefore preserves each and , so and (as its span over all ) are right ideals, while applying the anti-automorphism to the first rule — it swaps the two indices, fixes and preserves both spans — gives the second rule and shows that they are also left ideals.
Existence and uniqueness of the form: for all there is a unique with for all , and depends only on . Since is a two-sided ideal by step 1.1, the quotient ring contains with -basis the classes . Applying the two rules of step 1.1 to the product — first with , then with — gives where does not depend on and does not depend on . Comparing the coefficients of in the two bases: the left expansion contributes when and otherwise, the right expansion when and otherwise; hence for and for , leaving . The common value is independent of (being ) and independent of (being ), so it depends only on ; call it . It is determined by the displayed congruence, because the coefficient of in the indicated free basis is unique, including over the zero ring. Bilinear extension gives the unique -bilinear form with the stated property.
Symmetry: for all , using that is an anti-automorphism with , fixes and preserves , one has so , and by bilinearity for all .
Associativity: fix and , and write in — the coefficients are those of step 1.1. Then, by step 2.1 applied first to and bilinearity of the form, The second rule of step 1.1 writes with coefficients characterised by in ; hence Cancelling the basis element gives ; by bilinearity this is for all . Replacing by and using gives the equivalent left-action form , where is the left action of : this is the dual statement.
The adjointness identity holds for all and : it suffices to treat , and there step 2.1 with gives ; by the definition of the right action in [F1], the coefficients of on the right are exactly the coefficients of in , so ; bilinearity in extends this to all .
The radical is a submodule and a kernel: for fixed the assignment is an -linear map with kernel , so is an -submodule; and if then for every and step 3.2 gives , so : the radical is an -submodule, namely the kernel of the -module map . This completes the proof of (i)-(iv).
The Murphy tableau elements form a cellular basis
Statement
Let be a commutative ring, , and (The generic type-A Hecke algebra). Let be the set of partitions of ordered by dominance (Dominance order on partitions), and for let be the set of standard -tableaux (Tableaux and standard tableaux). Then the Murphy basis theorem holds: the family is an -basis of , and is a cellular basis of in the sense of Cellular bases and cell modules. Explicitly: (i) for all and ; and (ii) for every , every and every there exist with where is spanned by the with . The theorem holds over every commutative coefficient ring with and assumes no semisimplicity; the total number of Murphy elements is (The sum of squares of the standard tableau numbers), matching the rank of .
Facts & Assumptions
Given: A commutative ring , a unit , the type-A Hecke algebra and the Murphy elements in the Statement.
The independent integral construction proves that these exact elements form a base-change-compatible basis; their dominance spans are two-sided ideals, star interchanges the indices, and their multiplication satisfies the fixed-first-index cell law over every commutative coefficient ring with unit parameter (The Murphy cellular basis, the cell law and the Murphy form).
The elements and are the row symmetrizer and distinguished tableau permutations of Murphy elements and Murphy tableau elements, using the standard Hecke basis of The standard basis of the generic type-A Hecke algebra. The dominance poset, tableau sets and cardinality sum are Dominance order on partitions, Tableaux and standard tableaux and The sum of squares of the standard tableau numbers.
Proof
Identify the objects in [F1]. Its row symmetrizer is , its permutation is the unique distinguished carrying the row-filled tableau to , and its element is . These are precisely [F2]'s Murphy elements. The proved integral basis in [F1] therefore gives the required -basis and , including the empty tableau when .
Its dominance ideal and the present are the spans of exactly the same basis elements, so they are equal. The independent cell law says modulo this ideal, with coefficients independent of . Together with step 1.1 and the same finite dominance poset, these are exactly the cellular axioms and all asserted formulas. The basis has elements by [F2]. Every part holds after every base change by [F1], so no specialized semisimplicity or factor inversion is needed. No choice principle is used.
Nonzero cell heads classify the simple modules of a cellular algebra
Statement
Let be a field and a finite-dimensional unital cellular -algebra with cellular basis over the finite poset (Cellular bases and cell modules). For put , where is the radical of the cell form (The cell form is associative and its radical is a submodule). Then:
- if then is an absolutely irreducible (absolutely simple) -module: it is simple over and remains simple after every extension of scalars to a larger field;
- is a complete set of pairwise non-isomorphic simple -modules (Simple module: a nonzero module with no proper nonzero submodule, Jordan–Hölder theorem for modules);
- if and only if the cell form is not identically zero, if and only if ; and, when these equivalent conditions hold, is the unique maximal proper submodule and the Jacobson radical of , so is its simple head. If the form is identically zero, the cell-form quotient is zero; no assertion about the Jacobson radical or the actual head of is made.
No semisimplicity of is assumed; the theorem is the Graham-Lehrer classification and applies in particular to for every field and every .
Facts & Assumptions
Given: A field , a finite-dimensional unital cellular -algebra with cellular basis over the finite poset , cell modules and cell forms (Cellular bases and cell modules).
Cell-form calculus (The cell form is associative and its radical is a submodule): the form is the unique bilinear form with ; it is symmetric and associative, ; for ; and is the kernel of , an -submodule.
The cellular axioms (Cellular bases and cell modules): is an -basis of ; ; condition (ii) reads for all , and its image under the anti-automorphism reads for all .
Every finite-dimensional module has a composition series: choose a proper submodule of largest dimension, whose quotient is simple, and induct on dimension. This also applies to any simple module over , since a nonzero vector generates it as a quotient of the finite-dimensional regular module. The Jordan-Hölder theorem gives well-defined composition multiplicities (Composition series and length of a module, Jordan–Hölder theorem for modules).
Proof
For the spans and are two-sided ideals: by [F2] both and are congruent modulo to combinations of the -elements, so and , and , the sum of the ideals over , is a two-sided ideal as well. Consequently and , because a product of a -element and a -element lies in by the ideal property of and in by that of . The intersection is spanned by the with and ; if then no such equals , since would force , so all of them satisfy and . Hence, when , every product with lies in ; the right action of on is read off from with unique coefficients , so acts as the zero operator on , that is, .
Generation by vectors outside the radical: let with . Since there is with , and after rescaling we may assume . Write and put for . Then [F1] gives , so every basis vector of lies in the submodule , hence .
Nontrivial action of the upward ideal: suppose . Since there is with ; by definition of the radical there is with , and then as well. By [F1] the element acts on by , so on the quotient it sends the nonzero class of to its nonzero multiple . Thus does not annihilate .
Consequences for the radical: every proper submodule is contained in , since with would give by step 1.2, a contradiction. Hence, if , then contains every proper submodule, is the unique maximal proper submodule, and equals the Jacobson radical of ; then is simple, because a nonzero submodule of the quotient has the form with a submodule, and by maximality. Moreover if and only if if and only if the form is not identically zero: the radical is the kernel of , so it is all of exactly when for all , and otherwise this kernel is a proper subspace containing .
Pairwise distinctness: suppose . If does not dominate , then step 1.1 gives , hence , and transporting this along the isomorphism gives , contradicting step 1.3. Hence ; the same argument with the roles of and exchanged gives , so by antisymmetry of the poset. Thus the nonzero cell heads are pairwise non-isomorphic.
Absolute irreducibility: let be a field extension and let be the base-changed cell module of the base-changed cellular algebra . The cellular axioms and the cell form base change, so the Gram matrix of the form on is the scalar extension of the Gram matrix on ; the rank of a matrix is the largest size of a minor with nonzero determinant, a field-independent computation with the polynomial determinants of the entries, so . If then is nonzero, and steps 1.2 and 2.1 applied over show that every element of outside generates , so is the unique maximal submodule of and is simple over . Hence remains simple after every extension of scalars, i.e. it is absolutely irreducible.
Completeness: every simple right -module is isomorphic to some with . Order as so that implies , so larger labels come first, and put ; then each is a two-sided ideal (if occurs among and , then occurs there too, so and the claim follows from step 1.1), , . Moreover , which as a right -module is the direct sum over of the column spans (the right action preserves the first index by [F2], and while ). Let be simple and let be least with (such exists since by unitality). Then is a nonzero submodule of , so , while by minimality of ; choosing with , the map , , is a well-defined nonzero -module surjection. As is a direct sum of copies of , the images of these copies sum to , so some copy surjects onto the simple module ; thus is a simple quotient of . If the form on were identically zero, then for all by [F1]; since for and , this gives , whence , a contradiction. Hence the form on is not identically zero, so by step 2.1 is the unique maximal submodule and the simple quotient of satisfies with .
Assembly: part 1 is step 3.1; part 2 is step 3.2 (exhaustion) together with step 2.2 (pairwise non-isomorphism) and step 2.1 (each nonzero is simple); part 3 is step 2.1. The proof classifies right modules, and since the anti-automorphism identifies right and left -modules, the statement holds on either side. The classification applies to because the Murphy basis of The Murphy tableau elements form a cellular basis is a cellular basis of the type- Hecke algebra over every field. No semisimplicity was assumed, all posets and tableau sets are finite, and no choice principle is used.
Cellular decomposition matrices are unitriangular for the cell order
Statement
Let be a field, a finite-dimensional cellular -algebra with cellular basis and cell modules , (Cellular bases and cell modules, Nonzero cell heads classify the simple modules of a cellular algebra). For with let be the multiplicity of as a composition factor of (well defined by Jordan–Hölder theorem for modules and Composition series and length of a module). Then i.e. a nonzero off-diagonal entry can occur only in the allowed direction of the cell order (larger cell first). Order the labels by a linear extension from smaller to larger. The square submatrix whose rows and columns both have nonzero is lower unitriangular; the full rectangular matrix has the same labelled diagonal and the stated vanishing region. This determines only the diagonal and the vanishing region: no off-diagonal entry is computed by cellularity.
Facts & Assumptions
Given: A field , a finite-dimensional unital cellular -algebra with cellular basis , cell modules and cell forms (Cellular bases and cell modules).
Classification (Nonzero cell heads classify the simple modules of a cellular algebra): if and only if if and only if is not identically zero; in that case is simple and is its unique maximal submodule, and is a complete set of pairwise non-isomorphic simple -modules.
Cell-form calculus (The cell form is associative and its radical is a submodule): for a fixed label ; for ; and is the kernel of .
Cellular axioms (Cellular bases and cell modules): is the span of the with , is the span with ; condition (ii) reads and its -image reads .
Composition multiplicities are additive in short exact sequences and well defined by Jordan-Hölder (Composition series and length of a module, Jordan–Hölder theorem for modules).
Proof
Annihilation: if with , then . Indeed and are two-sided ideals by [F3], and their intersection is spanned by the with and ; no such equals , since would give , so the intersection lies in . Hence and, since , every product with lies in ; the right action of on is read off from with unique coefficients, so acts as the zero operator on .
Nontrivial action: if then some element of acts nontrivially on . Since by [F1], there is with , and by [F2] there is with ; then the element satisfies by [F2], so on it sends the nonzero class of to its nonzero multiple .
Off-diagonal vanishing: suppose with . If , then step 1.1 gives ; an element of acting as zero on a module acts as zero on each of its submodules and quotients, hence on every subquotient of , so annihilates the composition factor of . This contradicts step 1.2. Hence .
Diagonal: for every with . The form radical gives the subquotient , and additivity of composition multiplicities [F4] gives , because is simple by [F1]. The span of the annihilates : for and all one has by [F2]. Hence every element of this span acts as zero on and on all its subquotients, so is not a composition factor of ; otherwise step 1.2 would produce an element of acting nontrivially on it. Therefore and .
Assembly: order the labels by a linear extension from smaller to larger, and restrict both rows and columns to labels with nonzero form quotient. Step 2.1 puts every nonzero entry on or below the diagonal of this square submatrix, and step 2.2 gives diagonal entries . For the full rectangular matrix retain the label comparison ; deleting zero-quotient columns need not leave the labelled diagonal on the numerical matrix diagonal. These statements determine only the diagonal and the vanishing region.
The type-A Hecke Specht module and its cell form
Definition
Let be a commutative ring and . With the Murphy cellular basis of (The Murphy tableau elements form a cellular basis, Cellular bases and cell modules) and the canonical tableau of shape (Murphy elements and Murphy tableau elements), the Murphy cell module is the right cell module of the Murphy basis: it is the free -module with basis - the classes of the Murphy elements whose first index is the canonical tableau - and acts by whenever . (The cellular action rule transforms the second index and fixes the first, so the cell module is defined using the fixed-first-index family above; the diagonal span in need not be stable under multiplication. For it is stable, since .) Its cell form is the unique bilinear form with for all ; it is symmetric and associative and is a submodule, so is a right -module (The cell form is associative and its radical is a submodule).
Convention (Dipper-James signed cellular normalization). Let be the involutive algebra automorphism defined by (The Hecke sign automorphism, pullback and contragredient dual). For a right module , write for the same -module with action . The page's ordinary Specht normalization is the signed conjugate Murphy construction where is the conjugate partition (Partitions, English diagrams, and conjugation). Its form is the form of on the same underlying module; because commutes with this is associative for the twisted action (The Hecke sign automorphism, pullback and contragredient dual). Over a field put Thus and ; conjugation alone does not identify these modules (Murphy cells are the same-shape contragredient Specht duals, Ordinary Specht modules are the signed conjugate Murphy cells). At , , so these identities contain tensoring with sign; in characteristic the sign twist becomes trivial at (Polytabloid specialization and the exact signed multiplicity dictionary). The nonzero quotients in this signed normalization have -regular labels by The simple type-A Hecke modules are indexed by e-regular partitions ↗: that theorem proves the nonzero Murphy quotient criterion in -restricted labels, and conjugation makes these precisely -regular labels (e-regular and e-restricted partitions). No generic root-of-unity Hecke claim is inferred from the published prime-characteristic group-only sign dictionary, and no semisimplicity or choice principle is assumed.
The Jantzen filtration of a lifted cell module
Definition
Let be a principal ideal domain (Principal ideal domain) with a chosen prime element , let be the residue field, and let be a free -module of finite rank (The free module on a set and its standard basis) equipped with a symmetric -bilinear form whose extension to the fraction field is non-degenerate (equivalently for a Gram matrix of the form). For put Then , the are -submodules with , the descending chain stabilises at (that is, for all sufficiently large , because ), and , the radical of the reduced form. This finite descending filtration is the Jantzen filtration of with respect to . The hypotheses are exactly: a PID, a prime element, the form non-degenerate over ; no valuation-ring or DVR hypothesis is substituted, and the prime element , its ideal and the fraction field are kept distinct. Each is a submodule: for the cell forms on this page the associativity identity shows closedness under the action. For , define . This maximum is finite: otherwise the uniquely determined elements give an ascending chain of ideals whose union is principal, say generated by an element in its -th ideal. The chain then stabilizes at , whereas and cancellation would make a unit. For termination, put . If , its coordinate column satisfies , so the adjugate identity gives . For , primality of forces every coordinate of into . Thus and . In rank zero the filtration is already zero. Finally a reduced vector belongs to the reduced form radical exactly when any lift pairs with every vector of into , which is exactly membership in . No choice principle is used.
The Hecke Jucys-Murphy action is dominance triangular
Statement
Let be a commutative ring, , , and let be the Hecke Jucys-Murphy elements (Hecke Jucys-Murphy elements and q-contents). For every , every standard -tableau and every there exist with where is the Murphy basis of the Murphy cell module (The type-A Hecke Specht module and its cell form) and the sum is over standard -tableaux strictly dominating in the dominance order on tableaux (Dominance order on partitions, Tableaux and standard tableaux). In particular acts on the Murphy cell module with Murphy basis by a triangular matrix whose diagonal entries are the q-content values. Consequently the commute pairwise and every symmetric polynomial in is central in .
Facts & Assumptions
Given: A commutative ring , a unit , the type-A Hecke algebra , its additive Jucys-Murphy elements and its Murphy cell module with basis .
The standard basis multiplication, the quadratic and braid relations, and the integral row action are those of The row permutation module: distinguished basis and Hecke action. In particular , and if lie in one row of .
The integral Murphy basis, dominance ideals, cell multiplication and finite Garnir straightening are proved in The Murphy cellular basis, the cell law and the Murphy form. We write and . The proof there supplies the dominance support rule: if is standard with and , multiplying any same-shape term strictly above by and then straightening produces only standard terms strictly above . Straightening a nonstandard row-standard tableau only raises its tableau order in the same shape. All these identities hold over and specialize along .
A finite-dimensional algebra has nilpotent Jacobson radical and semisimple quotient (For a finite-dimensional algebra, the Jacobson radical is nilpotent and the quotient by it is semisimple). A semisimple algebra is a finite product of matrix algebras over division rings (Wedderburn–Artin theorem for semisimple rings); its two-sided ideals and their quotients consequently have no nonzero nilpotent two-sided ideals.
Proof
Braid identities. Put . The reduced word for gives . We prove whenever . For , each generator in the displayed words defining commutes with . For the recurrence and induction apply. For the remaining case , put , and ; then by the already established disjoint case and . The braid and quadratic relations give and (replace by and move past ), so its commutator with vanishes. Thus centralizes ; since for , all commute. Multiplying the recurrence by and using gives ; starring gives . Hence commutes with and : for the product substitute the first identity into . Every symmetric polynomial is a polynomial in the elementary symmetric polynomials over the coefficient ring: in each homogeneous degree, its lexicographically leading exponent vector satisfies by symmetry. Subtract its coefficient times , whose leading monomial has that vector and coefficient , and repeat on the finite set of degree- monomials. No coefficient is divided. Each elementary symmetric polynomial splits, at the adjacent pair, as . It therefore commutes with every and is central.
Lifting smaller-rank congruences. Here is the precise ideal check used in the induction below. Let be either a whole-row prefix of size , or the prefix ending at the first box of the last row, of size . In both cases , where is the row symmetrizer of the remaining blocks, embedded in ; in the second case its last block starts at the singleton label , and no generator of meets that block. If in , expand this difference in its smaller Murphy basis. Every shape lies in . Embedded in , is for the partition , so [F2] puts its two-sided ideal in . Some prefix before the final row of has : strict dominance cannot first differ at or after the final row, where has total . In the whole-row case the same argument permits . Hence does not dominate , and none of these ideals has a shape- component. Multiplying the smaller congruence on the appropriate side by gives . This difference also belongs to because both terms are in . Their intersection, read in the Murphy basis, has only shapes strictly dominating , and the lifted congruence therefore holds modulo .
An integral scalar for the central sum. For this step work over , with fraction field . The matrix of the regular trace pairing in the standard basis has entries in . At it is the matrix , since a nonidentity permutation has no fixed point in the regular permutation action. Its determinant is nonzero, so is nondegenerate over . If belongs to the Jacobson radical then is nilpotent for every , by [F3]; thus is nilpotent and has trace zero. Nondegeneracy forces , so is semisimple. In its cell layer , [F2] identifies multiplication with on matrices, . If were singular, the nonzero subspace would be a two-sided ideal of this layer with , contradicting [F3]. Hence is invertible and identifies the layer with . A central element of acts on this layer by a bimodule endomorphism of that matrix algebra, necessarily a scalar: its value at the identity commutes with every matrix and therefore is a scalar matrix. Applied to , central by step 1.1, this shows that its matrix on the cell module is over . The cell action matrix already has entries in , so , and freeness over makes the identity hold integrally and after every base change to . Thus for every , without any assumption on the specialized cell form or its head.
Transport along standard adjacent swaps. Suppose is standard with and length increasing by one, and suppose for all . By [F1], . For step 1.1 gives , and [F2] puts every error strictly above . For , the same step gives ; its coefficient at is , since all remaining terms are strictly above . The second adjacent identity similarly gives coefficient at for . Thus the diagonal data are transposed in positions and unchanged elsewhere. Every standard tableau is reachable from by such standard length-increasing swaps: reverse a right-descent reduction of ; the two consecutive entries at a descent lie in incomparable cells, so their interchange remains standard. Consequently diagonal data at the row-filled tableau determine the asserted diagonals at every standard tableau.
Row-filled induction away from the final singleton. Induct on , the cases being immediate, and on within the row-filled tableau. If is in a row which is not the last row, choose the whole-row prefix ending with that row. It has size , its row-filled tableau has no more dominant standard tableaux, and the induction on rank gives modulo . Lift by step 1.2. If is in the last row but not its first column, belongs to its row subgroup, and the recurrence gives , by induction on and . If is in the first column of the last row, use the singleton-ended prefix of step 1.2 and induction on its smaller rank. These arguments leave only for a shape . All with have already been shown to act on by their claimed scalars. Step 2.1 then supplies for some . Step 2.2 consequently applies with these diagonal data to every standard tableau; at this point all are triangular, though remains to be identified.
The final singleton is fixed by one Garnir calculation. In the remaining shape let be the first entry in row of and put . Then is standard, its last row contains , and its penultimate row contains . Step 2.2 gives and . The tableau is exactly the Garnir tableau for the first-column belt between the last two rows. For , let have last-row entry and the other belt labels increasingly in row . The finite belt identity of [F2] gives : its other side is a sum of multiples of the symmetrizer obtained by merging these two rows, whose sorted shape strictly dominates . Here , , and all with are standard and strictly dominate . The length-increasing row rule gives , so the belt identity explicitly yields . Put . Step 3.1 and transport show . Also : dominance forces each to agree with on the filled first rows and to place in node . If occupies the singleton last row, all remaining labels must occupy row increasingly, forcing . Thus every places in , and the row rule gives . (If , the higher span is zero.) Working modulo , the recurrence now gives . Comparing its coefficient at proves , exactly the content of the final singleton. This completes the rank induction and identifies all row-filled diagonals.
The required flag and the initial left generator. Step 2.2 now gives for every standard , over the given ring. Order the standard tableaux by any linear extension with the most dominant first. The spans of initial segments are stable under all , and their successive rank-one quotients have exactly the q-content diagonals; this proves the claimed common triangular flag. Commutativity and symmetric-polynomial centrality were established independently in step 1.1. In particular the maximal tableau has the exact eigenrelation . Since , starring its defining cell congruence gives the corresponding left-cell generator relation . For the multiplicative normalization this reads , using for all integral . These identities concern the cell generator, hence hold after taking the indicated cell quotient; they do not assert the same equality for the raw symmetrizer in . All formulas specialize from to , and no quantum integer or factorial is inverted in the specialized algebra.
Jantzen layer dimensions sum to the Gram determinant valuation
Statement
In the setting of The Jantzen filtration of a lifted cell module ( a PID, a prime element, , free of finite rank with a form whose extension to is non-degenerate), let be the -adic valuation normalised by and let be the Gram determinant of the form with respect to any -basis of . Then where are the Jantzen layers of The Jantzen filtration of a lifted cell module; in particular the sum is finite and independent of the chosen basis.
Facts & Assumptions
Given: A PID with prime element , residue field , fraction field , a free -module of finite rank with a symmetric -bilinear form that is non-degenerate over , and its Jantzen filtration with layers (The Jantzen filtration of a lifted cell module).
(The Jantzen filtration of a lifted cell module) The , , are submodules with and , and for all sufficiently large .
(Every matrix over a PID has a Smith normal form) There are -bases of and of together with nonzero such that for all ; the are the elementary divisors of the Gram matrix.
For any -basis of with Gram matrix one has up to a unit, so , and is normalised by and takes the value on units.
Proof
Description of the Jantzen layers: write in the basis of [F2]. Since is an -basis of , the condition for all is equivalent to for all ; as , this gives with the convention . Reducing modulo , whose basis is , shows that has as an -basis the images of those with : if then the image of lies in , while if then every element of has -coefficient divisible by . Hence .
Summation: since each is nonzero, the sets are finite of cardinality ; by step 1.1 and [F1],
Conclusion: by [F3] the right-hand side is for any Gram matrix of the form in any -basis of ; the left-hand side is defined purely in terms of and the form, so the identity holds for every basis and the sum is finite and basis-independent.
Separated Hecke residues give seminormal idempotents and bases
Statement
Let be a field, , let and assume (with allowed); let , , and let be the Murphy cell module with Murphy basis (The type-A Hecke Specht module and its cell form).
- (Separation) If are standard -tableaux with for all then . More precisely, if the q-content values agree for all for some , then or . 2. (Idempotents) Let be the set of distinct q-content values of the entry over standard tableaux of all partitions of . For a standard -tableau define These are orthogonal idempotents of ; their actions on project onto the corresponding simultaneous eigenlines. Put . Then and . The global content sets are essential for the asserted idempotency in , rather than only the induced same-shape endomorphisms. 3. (Orthogonal seminormal basis) is a basis of satisfying and ; it is the seminormal basis of the Murphy cell module. 4. (Generator action) Let be a standard -tableau, and , and put . If and lie in the same row of then ; if they lie in the same column then ; otherwise is standard and where is the extended quantum integer of Hecke Jucys-Murphy elements and q-contents and for the swapped tableau . No semisimplicity of is assumed and no choice principle is used.
Facts & Assumptions
Given: A field , with quantum characteristic , a partition , the Murphy cell module with Murphy basis and cell form (The type-A Hecke Specht module and its cell form), and the q-content values of Hecke Jucys-Murphy elements and q-contents.
(The Hecke Jucys-Murphy action is dominance triangular) in ; the commute pairwise and every symmetric polynomial in them is central.
(The quantum characteristic of an invertible Hecke parameter) For no with has ; more precisely, if two integer contents with satisfy then .
(The type-A Hecke Specht module and its cell form) The cell form on is symmetric and associative, and the star anti-involution fixes each ; the Murphy basis is triangular along the dominance order on tableaux.
Source results: separation of q-content sequences for and the seminormal spectral construction are Mathas, Lemma 3.32, Proposition 3.33 and Theorem 3.34 (printed pp. 30-34); the coefficient system of part 4 as displayed is that of Hu-Mathas, Example 3.11 with the axial distance (3.8), Lemma 3.12 and Proposition 3.17, the 1998 manuscript's branch being inconsistent with the Hecke relations. The abstract form of the spectral construction under the separation condition is Mathas, Proposition 4.13 with the appendix.
Proof
Reconstruct a tableau from its residue tuple. At a prefix of size , two different addable corners have integer content difference of absolute value at most . Since and , their q-contents differ. Starting with the empty diagram, the tuple thus recovers each added node and the final shape. For two tableaux of a fixed shape with identical entries' residues outside , first reconstruct the common prefix through , and reconstruct the common suffix by successively deleting the unique appropriate removable corner from the fixed final shape. The intervening skew diagram has two boxes; its only possible orders are the original order and its swap. This proves both separation assertions.
Diagonalize the commuting JM operators on a cell. Their triangular basis gives a filtration with one-dimensional joint characters indexed by standard tableaux. Those characters are distinct by step 1.1. For commuting triangular operators, the simultaneous generalized eigenspaces split along their distinct joint characters: the corresponding maximal ideals of the polynomial algebra are pairwise comaximal. Each joint character occurs once in this cell, so each generalized eigenspace is one-dimensional and hence an actual joint eigenline. This finite Chinese-remainder argument works over any field and needs no choice of a generic scalar or algebraic closure. The Lagrange product of the Statement is on its target tuple and on every other tuple. Applied to , its triangular diagonal coefficient is , and the other possible terms are strictly more dominant. Thus it gives the asserted .
Compute the diagonal coefficient using the correctly ordered JM relation For , commutes with . Consequently separation restricts to the span of and if the swap is standard, or to alone otherwise. Write its coefficient of as . The displayed relation gives Its denominator is , while the numerator is , so . This does not claim that commutes with .
At this stage step 2.1 establishes the projector identities on each individual cell module. The global identities in will follow below after proving that the sum of the cell modules is faithful. No finite- classification is a premise.
The transition from to is unitriangular, so these vectors form a basis. For , choose at which their q-contents differ. Self-adjointness and associativity give The scalar is nonzero, proving orthogonality. The Lagrange action also gives .
If the swap is not standard, the consecutive entries lie adjacently in one row or one column. Then or , respectively, and step 2.2 gives or . These are the stated row and column cases; the row action is , not the scalar at a general parameter.
Suppose the swap is standard. In the branch , the length-additive Murphy action has leading term ; the unitriangular eigenbasis change then gives the off-diagonal coefficient . Higher-dominance terms cannot alter the coefficient at in this two-dimensional eigenline span. This is the leading-term argument in Mathas's source theorem on the seminormal basis. In both branches the quadratic relation gives The last equality follows directly from and the quantum-integer addition identities. Thus the opposite branch has exactly the displayed coefficient. This proves the generator formula without accepting the inconsistent branch in the 1998 manuscript.
Prove nondegeneracy in the separated range locally. The canonical Murphy basis vector has form value , because ; its seminormal image has the same value since the canonical tableau is dominance-maximal. This scalar is nonzero when . If is a standard swap, put . Step 4.1 gives . Associativity, orthogonality and the quadratic relation give . Indeed expansion of and its coefficient gives . The swapped incomparable boxes have : their row and column separations plus one are at most the size of the diagram. Thus all three quantum integers here are nonzero. Every standard tableau is connected to the canonical one by length-increasing swaps of adjacent incomparable entries: bubble-sort its linear extension of the box-order poset into the canonical row-order extension, then reverse the swaps. Induction gives nonzero diagonal norm at every , so each cell form is nonsingular.
Each cell is now its nonzero simple form quotient, absolutely simple, and all these cells are pairwise distinct and exhaust the simple modules by Nonzero cell heads classify the simple modules of a cellular algebra. Thus the split semisimple quotient has dimension . This equals because the Murphy cellular basis has exactly one element for each pair of standard tableaux of the same shape (The Murphy tableau elements form a cellular basis). Hence , is split semisimple, and the direct sum of all its simple cell modules is faithful. On that faithful module the global Lagrange products of the Statement are the orthogonal projectors from step 2.1, with different shapes having disjoint tuples by step 1.1. Therefore holds in itself, proving the global idempotents. This argument proves only the separated range and does not assert a finite- nonzero-label criterion when .
Steps 1.1-6.1 prove all four claims. No semisimplicity was imposed as a hypothesis: it was derived locally from nondegenerate cells and their complete finite-cell classification. The calculation concerns the intrinsic Murphy cell and keeps the signed ordinary-module dictionary separate. All products and basis changes are finite, and no choice principle is used.
Hecke Specht theory specialises to group Specht theory at q = 1
Statement
Let be a field, , and let be the specialization of the generic type-A Hecke algebra at , so that with (Polytabloid specialization and the exact signed multiplicity dictionary, step 1.1). Then the Hecke theory of this page specializes as follows.
- The Murphy elements specialize to the row symmetrizers , and the Murphy basis of specializes to the Murphy basis of the group algebra (the base change of the integral Murphy basis).
- For every the specialization of the page's Hecke Specht module (The type-A Hecke Specht module and its cell form) is the ordinary Specht module in the Dipper-James convention: as -modules, with the standard polytabloid basis (Standard polytabloids form a basis of a complex Specht module); the specialized cell form is the standard bilinear form on whose radical defines the James quotient (Modular Specht form and radical quotient).
- The quantum characteristic of is when , and when (The quantum characteristic of an invertible Hecke parameter); in characteristic a partition is -regular exactly when it is -regular. Hence exactly for -regular (Nonzero modular Specht quotient criterion), and for non--regular one has . Over splitting residue fields this also matches the group-side classification and conjugate-sign dictionary of Modular simple modules of the symmetric group and p-regular and p-restricted labels under transpose and sign; the assertion here holds over every field by the cellular classification below. In characteristic the specialization is split semisimple and all Specht modules are irreducible.
Facts & Assumptions
Given: A field and the specialization (Polytabloid specialization and the exact signed multiplicity dictionary, step 1.1).
(Ordinary Specht modules are the signed conjugate Murphy cells, Polytabloid specialization and the exact signed multiplicity dictionary) The Dipper-James ordinary Specht module with its polytabloid basis and standard form is identified with the signed conjugate Murphy cell module of The type-A Hecke Specht module and its cell form by a base-change compatible isomorphism whose Laurent unit form factor is , equal to at over every field; hence at the ordinary module and the standard form agree on the specialization, including on zero-form quotients.
Over every field, the integral-polytabloid specialization and standard tabloid form are supplied by Polytabloid specialization and the exact signed multiplicity dictionary, clause 1 and proof step 2.1. Over a splitting residue field the form quotient is exactly Modular Specht form and radical quotient; Standard polytabloids form a basis of a complex Specht module records the complex-field basis. These latter items are used only within their stated coefficient fields.
(The quantum characteristic of an invertible Hecke parameter) At the quantum characteristic is when and when ; a partition is -regular exactly when it is -regular.
At in positive characteristic, the ordinary group Specht radical quotient is nonzero exactly for -regular labels (Nonzero modular Specht quotient criterion). In characteristic zero , and the complete local separated-range proof gives nonsingular Murphy cell forms and split semisimplicity (Separated Hecke residues give seminormal idempotents and bases); the signed-conjugate form identity in [F1] transfers their nondegeneracy to every ordinary Specht module. No finite- Hecke nonzero-label criterion is used.
Over every field, the nonzero cell-form quotients of a cellular algebra form a complete set of pairwise distinct absolutely simple modules (Nonzero cell heads classify the simple modules of a cellular algebra). The exact signed-conjugate equivalence of [F1] transports this classification to ordinary Specht quotients; no splitting-field-only group theorem is invoked over an arbitrary .
Proof
Murphy basis: base change along , , sends to and to the row symmetrizer ; the structure constants of the Murphy basis are polynomials in , so they specialize to structure constants in and the specialized family satisfies the cellular axioms over ; it is a basis because base change of the free integral Murphy basis is a basis, by The Murphy tableau elements form a cellular basis. This is part 1.
Module and form: by [F1] the specialization of the page's Specht module is the ordinary Dipper-James Specht module with the standard polytabloid basis, and the specialized cell form differs from the standard form by the Laurent factor , which is at ; hence the two forms agree over every field and have the same radical, so the specialized quotient is the James quotient . This is part 2.
Labels: by [F3], in positive characteristic, and -regular means -regular. Step 2.1 identifies the specialized module and its form exactly with the ordinary group module and form, so the ordinary criterion in [F4] gives precisely the nonzero -regular quotients and the zero form on all other labels, These are all the simples by the cellular classification [F5] and the exact signed-conjugate equivalence of [F1]. In characteristic zero, , so the local separated-range proof in [F4] makes the Murphy cell forms nonsingular and the algebra split semisimple. The exact signed-conjugate unit form dictionary [F1] gives the same conclusion for all ordinary Specht modules. Thus all claims follow over the original field, without using the held finite- Hecke classifier.
Type-A Hecke permutation modules: semistandard Murphy bases and Specht filtrations
Statement
For every commutative ring with invertible parameter , the ordinary finite type-A Hecke algebra and a composition of , the permutation module has -basis where ranges over the semistandard tableaux of partition shape and type and over the standard tableaux of the same shape. It has a Specht filtration with multiplicity of the ordinary Specht module (Semistandard tableaux and Kostka numbers, Tableaux and standard tableaux). The row-double-coset membership uses each coset word once and no quantum-factorial division. Over the generic field this number equals the trivial-character multiplicity of the -row parabolic in . Moreover the explicit ordinary Garnir row-coset identity, the additive nonstandard-tableau factorization and the same-column generator refinement hold when are in one column of the standard tableau ; row-standard straightening has no smaller-shape terms and its same-shape terms increase tableau-prefix dominance. Shape support uses the already proved ordinary Murphy dominance ideals (The Murphy tableau elements form a cellular basis, Murphy elements and Murphy tableau elements); the finite Garnir algorithm terminates in lexicographic shape/tableau order before that dominance refinement.
Facts & Assumptions
Given: A commutative ring with invertible , the ordinary finite type-A Hecke algebra with standard basis and Murphy elements , a composition of with row symmetrizer , and the semistandard/standard tableaux of shape .
The Murphy elements form a cellular basis of with the fixed-first-index cell law, and the dominance ideals are the higher-cell ideals of the cellular structure; the standard basis exists over and right multiplication by has the two-term rule for (The Murphy tableau elements form a cellular basis, The standard basis of the generic type-A Hecke algebra, Murphy elements and Murphy tableau elements).
Over the generic field, the Jucys–Murphy action is dominance triangular and its word-character separates tableaux of different shapes; every simple module of the cellular algebra is a nonzero cellular head and the cell modules of the ordinary Hecke algebra form a complete set of standard modules (The Hecke Jucys-Murphy action is dominance triangular, Nonzero-form cellular heads, cell purity and shared-factor linkage).
The dominance order on partitions is Dominance order on partitions. The length-additive support lemma, Garnir identity, nonstandard-tableau factorization, finite increasing straightening and dominance ideals are proved in steps 2.1–5.1 and 8.1–9.1 of The Murphy cellular basis, the cell law and the Murphy form. The same-column refinement below is deduced from these rules, rather than assumed as part of cellularity.
The independent same-shape perfect pairing identifies over every commutative ring with unit parameter; finite-free biduality gives . Star dual has action (Murphy cells are the same-shape contragredient Specht duals, The Hecke sign automorphism, pullback and contragredient dual).
Proof
Given: The data and suppliers of [F1]–[F3]; work first over the universal
domain , where all coefficient statements are polynomial
identities, and specialize at the end.
The row-double-coset identity and membership. For a semistandard tableau of shape and type and a standard of shape , every row-standard refinement of the column-strict tableau is standard, and is the sum of over the double coset , each occurring exactly once; its left -coset expansion writes it as , and appending gives for some . Hence each lies in , and no row-intersection quantum factorial is introduced.
Independence and the Garnir coefficient rules. The sums are -independent because their Murphy fibres (the index sets ) are disjoint and every coefficient in the expansion of in the basis is ; they therefore have disjoint unit pivots. For the coefficient rules, consider a violation at adjacent rows and column and the composition ; the two length-additive coset sums of give whose distinguished Garnir term occurs with coefficient . Every other term in the original shape has strictly more dominant row tableaux, the reordered has strictly higher lexicographic shape, and the ordinary Murphy dominance refinement places these shape errors in higher-cell ideals; a nonstandard tableau factors as that Garnir tableau followed by an additive-length word (removing inversions while keeping the column violation), and Bruhat subword support preserves the strict tableau-prefix inequality. In the isolated relation for consecutive in one column, sorting the Garnir belt has a unique standard term whose single adjacent swap produces the distinguished Garnir term, with coefficient , and every other same-shape term is strictly more dominant. This yields the displayed congruence of the Statement, and the right analogue follows by the cellular involutions .
The row eigenspace test. For a fixed the left -eigenspace of in is : in the basis pair with of larger length, and coefficient comparison in gives equality of the two coefficients, whose sum is . This argument uses only that is a unit. Over the universal domain, no element of this space has a nonzero Murphy coefficient at a tableau with in one column: choose a least shape and then a least left tableau in a dominance-compatible support order; higher-cell terms cannot contribute to its shape, and a column correction from another tableau can contribute only from a strictly less dominant left tableau, absent by minimality. If are in a column, its coefficient in is the negative of its coefficient in by step 1.2, contradicting the eigenvalue equation since in the domain; if they share a row, the basis element is already a -eigenvector and is subtracted; if their swap is standard, the exact two-tableau rules make the two coefficients equal and their sum is a -eigenvector, which is subtracted. Each subtraction stays in the row ideal and removes the chosen support term without creating new ones, so induction on the finite support proves the column exclusion; specializing the resulting coordinate-zero identities gives it over every base ring, with no division by at a singular parameter.
The basis theorem. Let . It is a -eigenvector for every generator inside every -row interval, so step 2.1 excludes any supported tableau with a consecutive pair inside one column; for an adjacent standard swap, comparison of the exact two-tableau equations makes the two coefficients equal (no column-state correction can interfere, since every such state has coefficient ). The standard refinements of a fixed row-label tableau are the linear extensions of the finite node posets of its repeated-label classes, and any two are connected by swaps of adjacent incomparable elements; finite induction on the inversion distance shows that if a repeated label occupies one column, a consecutive vertical cover realises an excluded state and forces the whole fibre coefficient to be , while otherwise the row-label tableau is column-strict and every fibre coefficient equals one common value. Hence has zero coefficients off semistandard fibres and constant coefficients on each semistandard fibre, i.e. lies in the span of the ; with step 1.2 this proves that the form an -basis of .
The two filtrations, keeping the ordinary dictionary explicit. The higher-shape Murphy-cell filtration obtained from [F1] has one quotient for every semistandard tableau of shape and type : its second-index action is the fixed-first-index Murphy cell action. These quotients are free over , so every short exact sequence of this filtration splits as a sequence of -modules. Star duality is therefore exact on this filtration. On the distinguished coset basis of , define . The row-permutation generator cases prove contravariance: a same-row generator acts by ; a length-increasing adjacent coset pair acts by , , with , and the diagonal weights give . All other entries are zero or the corresponding diagonal equality. Thus gives an -isomorphism , since every diagonal is a unit. The independently proved same-shape bridge gives , the ordinary Dipper–James Specht module, by finite-free biduality. Dualize the split Murphy filtration and transport it through this permutation self-duality. The resulting reversed filtration is an ordinary Specht filtration with exactly the same multiplicities. The original Murphy filtration is not called the ordinary one. This preserves the full every-ring/unit-parameter existence Statement without generic semisimplicity or form nondegeneracy on a Specht module.
The generic multiplicity interpretation. Over the generic field the finite Hecke algebra is split semisimple: by [F2] every simple is a nonzero cellular head, a simple factor of an ordinary cell module has a word character from that module and from the head's own cell shape, and disjoint word sets force the shapes to agree; existence of a factor forces its own head to be nonzero, diagonal multiplicity forces the cell module to be simple, and the sum of squared dimensions equals the Hecke rank, so the algebra and each parabolic are split semisimple. Consequently the filtration multiplicity equals the multiplicity of the trivial character of the -row parabolic in , by induction/restriction adjunction in the semisimple category.
Conclusion. Steps 1.1, 1.2, 2.1 and 3.1 prove the semistandard Murphy basis of , step 1.2 gives the explicit Garnir and same-column generator rules with their termination, step 4.1 gives the Specht filtration with multiplicity , and step 5.1 gives the generic parabolic-multiplicity interpretation. Everything is proved universally over and specializes; the row-double-coset membership uses each coset word once and introduces no quantum-factorial division.
Remarks
This is the narrow ordinary type-A supplier consumed by the finite Mackey count of the higher-level theory: the basis and filtration are proved here rather than imported from a definition of the ordinary Schur algebra. No choice principle is used; all tableaux and quotient spaces are finite.
The type-A q-Schur algebra and its Weyl modules
Definition
Let be a commutative ring, , , and (The generic type-A Hecke algebra). Let be the set of weak compositions of (so and ; zero parts are allowed and give empty rows). For let (Murphy elements and Murphy tableau elements) and let be the right ideal it generates, the (Hecke) permutation module; is free over with basis and is the Hecke analogue of the module induced from the trivial representation of the Young subgroup (Young subgroups, tabloids, and permutation modules).
For a weak composition , define to be the fillings of by with exactly entries equal to , weakly increasing rows and strictly increasing columns. Put and . This explicitly extends the partition-content definition of Semistandard tableaux and Kostka numbers to weak compositions, including internal zero counts; a zero count means that its label is absent. The set is finite, since at most fillings occur for , and at its unique member is the empty filling.
Here is the freeness statement in detail: the cosets with partition , and for , (Murphy elements and Murphy tableau elements), so the standard basis theorem (The standard basis of the generic type-A Hecke algebra) gives and ; these are the standard basis elements indexed by the single coset , and the cosets are disjoint, whence is free with the displayed basis as runs over the row-standard -tableaux.
Put (The direct sum of an indexed family of modules) and define the q-Schur algebra the -algebra of right -module endomorphisms of (Unital left and right modules over a ring; unqualified module means left module).
Cellular structure. For all , is free with the semistandard-pair basis constructed below; for every partition of with at most parts and all semistandard -tableaux there is an element (Semistandard tableaux and Kostka numbers), and the family where is the set of partitions of with at most parts ordered by dominance (Dominance order on partitions), is an -basis of ; the map is an algebra anti-automorphism and the triangular axiom holds modulo the span of the with . Hence is a dominance-cellular basis of (Cellular bases and cell modules) and its cell modules are the Weyl modules , free over with basis . Over a field , has nonzero simple head , the for form a complete set of pairwise non-isomorphic absolutely irreducible -modules, and the decomposition matrix satisfies and .
Explicit normalization of the semistandard maps. For a standard -tableau , let replace each entry by the row of that entry in the canonical -tableau. For semistandard of respective types , put The normalized basis map is zero on the other summands and sends to . The intersection makes this well-defined: if , write and obtain . The integral intersection and Hom construction below proves that these are exactly the Hom basis; their composition is ordinary composition of endomorphisms. When , the regular type has ; its fibers are singleton standard tableaux, so evaluation at identifies the corresponding regular-type corner map with . For this regular type is absent and no such corner is asserted. This fixes the actual module-and-form normalization used by the corner and weight-Gram calculations (Mathas (4.13), with Corollary 4.12 and Theorem 4.14). No quantum factorial is inverted in this definition.
Weight idempotents and weight spaces. For each composition , let be the identity on the summand and zero on every other summand. These weight projections satisfy They are not all of the diagonal cellular elements : a general cellular diagonal is not asserted idempotent or orthogonal. For a partition the canonical tableau of shape and type gives ; for a general composition the projection is defined directly as above, without pretending that an arbitrary composition is a partition-shaped semistandard tableau. The basis map is supported between the summands indicated by the types of and . Thus the fixed-first-index Weyl basis vector survives right multiplication by exactly when has type . Over any field, This follows by applying the projection to the displayed free Weyl basis, not by assuming every diagonal cellular element is a projection (Semistandard tableaux and Kostka numbers).
Facts & Assumptions
Given: The commutative ring , its unit , the finite Hecke algebra , its row ideals , and in the Definition. Multiplication in is ordinary composition: .
The standard Hecke basis and the length-additive distinguished coset representatives give and for each adjacent generator of (The standard basis of the generic type-A Hecke algebra, Murphy elements and Murphy tableau elements). The involution satisfies and .
The proved integral permutation-module basis is , with semistandard of type and standard of the same shape (Type-A Hecke permutation modules: semistandard Murphy bases and Specht filtrations). Thus, in Murphy coordinates, membership in means that the first tableau has semistandard type , its coefficient is constant on each first-index fibre, and every other coefficient is zero. This is the exact basis assertion, over every and unit , rather than an inference from coset freeness.
The Murphy elements form an integral cellular basis of . In particular modulo the span of strictly dominant shapes, with independent of (The Murphy tableau elements form a cellular basis).
For a finite-dimensional cellular algebra over a field, its nonzero cell-form quotients are a complete set of distinct absolutely simple modules and are simple heads; their decomposition numbers satisfy diagonal and dominance support (Nonzero cell heads classify the simple modules of a cellular algebra, clause 1 of Nonzero-form cellular heads, cell purity and shared-factor linkage).
Proof
The integral Hom test. The cyclic right module has presentation , where ranges over the generators of . Indeed, a length-additive decomposition reduces in this quotient to , and the map maps the resulting spanning family bijectively to the independent disjoint-coset basis. Therefore evaluation at identifies with the elements satisfying for those generators. Pairing with in the standard basis shows that this equation forces their two coefficients to be equal: the coefficient equations are and , so since is a unit. Requiring all these equalities makes the coefficients constant on each right -coset. Its unweighted coset sum is for the minimal right-coset representative , by length additivity. Hence this simultaneous right eigenspace is , over every coefficient ring. Evaluation consequently gives an isomorphism . For its inverse is , which is well defined because implies .
The semistandard intersection. Expand uniquely in the Murphy basis. By [F2], membership in requires zero coefficients outside semistandard first-index fibres and constant coefficients inside each fibre. Apply to [F2] to see that membership in imposes the identical condition on the second-index fibres of type . The two requirements together say precisely that the coefficients are constant on each rectangle , and zero outside these rectangles. Thus their unweighted sums form a basis of the intersection. The rectangles are disjoint and have a coefficient at every member, so independence and coefficient extraction hold over arbitrary , including singular parameters; no quantum factorial is cancelled. Every nonempty rectangle has shape with at most rows, since a strictly increasing column can use only labels. Combining this with step 1.1 gives exactly the maps and the asserted basis of each Hom block, hence of . The construction also commutes with arbitrary base change, because the same free basis and formulas describe each specialized Hom block.
The involution under composition. Define on a Hom block by replacing its evaluation element by , and extend linearly to . Step 2.1 gives , so this is an involution. To check reversal, let have and have . Then , so . On the other hand and , whence . Noncomposable blocks give zero on both sides. Since each block map is determined by its generating element, as claimed.
The cellular multiplication law. Fix of shape and type , and first take . Write . Then . By [F3], its shape- Murphy coefficient at is if , and zero otherwise; all remaining shapes strictly dominate . This coefficient is independent of . The full element lies in by step 1.1, so step 2.1 forces these coefficients to be constant on semistandard second-index fibres and zero on the other fibres. For a fixed , these constants are independent of : choose any member of its nonempty first fibre and read the displayed sum, which contains no . Calling the constants , evaluation and the intersection basis give modulo the span of strictly dominant Schur shapes, for every . Sum over Hom blocks for arbitrary . Step 3.1 gives the corresponding left law, so each upward span is a two-sided ideal and the cellular axioms hold. This proves cellularity by actual composition and Murphy coefficient comparison.
Partition projections and nonzero forms. For the canonical semistandard tableau of shape and type , its refinement fibre consists just of , so . Accordingly is the identity on and zero on other summands; it is the genuine projection . Squaring it gives . In the free shape- cell quotient, the cell product is , and the coefficient of this basis vector is therefore . Over a field this form is not identically zero. Step 4.1 and [F4] consequently show that every has the nonzero absolutely simple head , that these heads give all simple modules exactly once, and that the stated diagonal and dominance decomposition conditions hold.
Weight ranks and edge cases. Direct summand projections satisfy the displayed orthogonality and sum-to-one relations. The source support of implies , so the same formula holds on the right Weyl cell basis, proving its weight rank . It asserts no idempotence for other cellular diagonal elements. Deleting empty rows leaves the Young subgroup unchanged and identifies the row-type fibres after the order-preserving relabelling of the remaining row labels; hence all constructions allow zero parts. At the unique empty tableau and empty partition give , and cell form . If , the indexing set of weak compositions and the direct sum are empty, , and every basis and simple-label assertion is empty. No division except by powers of the unit , generic semisimplicity or choice principle enters any step.
The Schur idempotent and the Schur functor for type-A q-Schur algebras
Definition
Let be a commutative ring with , let , let with , and let (The generic type-A Hecke algebra). Write for the type-A q-Schur algebra with the direct sum of the permutation modules (The type-A q-Schur algebra and its Weyl modules, The direct sum of an indexed family of modules) and let be its cellular semistandard basis (Murphy elements and Murphy tableau elements for the underlying Murphy elements and The standard basis of the generic type-A Hecke algebra for the standard basis along which this basis is defined). Put , the length- composition with entries equal to (legitimate because ), so that the Young subgroup is trivial and ; hence is the regular right -module. Let be the unique standard -tableau, with entries down its single column; it is in particular the unique row-standard -tableau whose entries increase down the column. Set
Then:
-
is the projection of onto the direct summand along the other summands , ; in particular and via the algebra isomorphism left multiplication by on being a right -module endomorphism. Here the isomorphism sends to and is inverted by extending an endomorphism of by zero on the other summands, and the identification sends an endomorphism to its value at . By the construction of the semistandard basis elements (Mathas (4.13) with Corollaries 4.9 and 4.12; see the locator above), the diagonal element is exactly the endomorphism of that is the identity on and zero on all with , which is the projection asserted above.
-
The Schur functor is with the right -action transported along , so that for , (Unital left and right modules over a ring; unqualified module means left module). It is exact and -linear on morphisms: as a left -module, is the image of the left--linear projection on , hence is a direct summand of the regular left module and is projective. Tensoring right -modules with this left module is therefore exact. Equivalently, for a short exact sequence of right modules, an element in the target lifts to from any lift of ; kernels and injections are likewise preserved by the same idempotent projection. The bimodule corner action makes these maps right -linear. The convention is fixed: the functor is on the right, and the left-module formula is not used on this page.
Semistandard weight dimensions detect virtual Weyl classes
Statement
Let be a field, , , and let be the q-Schur algebra with Weyl modules for (The type-A q-Schur algebra and its Weyl modules). Let be a finite-dimensional right -module and let be integers such that for every partition , where are the diagonal semistandard basis elements (The type-A q-Schur algebra and its Weyl modules). Then in the Grothendieck group (Grothendieck group of an essentially small abelian category). Consequently equality of all semistandard weight-space dimensions forces equality in the Grothendieck group.
Facts & Assumptions
Given: A field , the type-A q-Schur algebra over , its Weyl modules and simple heads for , and the semistandard elements (The type-A q-Schur algebra and its Weyl modules).
Semistandard structure (The type-A q-Schur algebra and its Weyl modules): is finite dimensional over ; the , , form a complete set of pairwise non-isomorphic absolutely irreducible -modules; the weight projections onto the permutation summands are orthogonal idempotents and, for the canonical tableau of the partition , ; arbitrary diagonal semistandard elements need not be idempotents; the decomposition numbers satisfy and ; and for all (Semistandard tableaux and Kostka numbers).
Kostka unitriangularity (The Kostka change of basis is dominance-unitriangular): unless and ; with rows and columns ordered by a linear extension of dominance from smaller to larger, is lower unitriangular over , hence invertible over .
Grothendieck group and multiplicities (Grothendieck group of an essentially small abelian category, Jordan–Hölder theorem for modules): for every short exact sequence of finite-dimensional -modules, and in , where the composition multiplicity is well defined.
Proof
Exactness of a weight projection. Fix an idempotent . For a short exact sequence of right -modules, the sequence is exact as vector spaces. Injectivity and the kernel identity follow from the underlying sequence and for . For surjectivity, lift to ; then . Right multiplication by is a linear projection, and preserves every -submodule, although it need not be an -linear endomorphism when is not central. Taking dimensions proves additivity. Only the canonical partition weight projections are used.
Weight functionals on composition series. Apply step 1.1 to every short exact sequence of a finite composition series of . Its factors are the simple modules , so The defining relations of the Grothendieck group similarly give . This argument requires exactness on vector spaces, not the false assertion that every noncentral weight projection lies in .
Invertibility of the weight matrix: put for . Feeding a composition series of into step 2.1 gives that is, with and . Both and are unitriangular over by [F1] and [F2] respectively, hence invertible over , and therefore is invertible over .
Conclusion: write and . By step 2.1 applied to and to the identity , for every Since is invertible over by step 3.1, for all . Hence , and step 2.1 together with the defining relations [F3] gives
Consequence: if two finite-dimensional right -modules satisfy for all , then applying the argument of step 4.1 to the difference of their multiplicity vectors shows for all , so the invertibility of gives for all and hence in .
Virtual Weyl and Specht symbols attached to beta sequences
Definition
Fix a beta length . For a partition with at most columns (that is, ), put Its beta numbers are strictly decreasing nonnegative integers. Conversely, from any strictly decreasing nonnegative sequence recover the unique partition with conjugate parts , of degree (Partitions, English diagrams, and conjugation).
For arbitrary , first set all its alternating symbols to zero if it has repeated entries or a negative entry. Otherwise there is a unique sorting permutation taking it to decreasing order; let be the recovered partition and let . Uniqueness of the sorting permutation is claimed only in this distinct-entry case. In the fixed degree- Grothendieck groups define The notation is synonymous with when are fixed. The ordinary Dipper-James translation conjugates every partition label and pulls every compared module back by the same (The type-A Hecke Specht module and its cell form, The type-A q-Schur algebra and its Weyl modules).
For a composition define the signed semistandard number directly by Here the tableau alphabet is the length of ; a shape with too many rows automatically has no such tableau (Semistandard tableaux and Kostka numbers). This function is alternating in the beta entries. It also obeys the branching identity where is the last nonzero part of and deletes that part. The selected entries are decreased by one, not replaced by . For a decreasing beta sequence this is the deletion of the largest semistandard entries: they occupy a horizontal strip, at most one box in each selected column. Sorting extends the identity to distinct arbitrary sequences; if entries repeat, terms selecting just one of the equal entries cancel in pairs, while terms selecting both or neither vanish. Negative entries remain negative after decrementing. Thus the identity also holds in all zero-symbol cases. At its value is the sorting sign for a permutation of and is zero otherwise, so the recursion terminates without another unproved extension rule.
In the formulas of this page take when . A nonzero degree- partition has width at most , so this length suffices; the Weyl cutoff is retained even when . A balanced displacement preserves total degree. An unbalanced change is not silently treated as a class in the same fixed-degree group. The empty degree is handled by the empty beta sequence and unit symbol. No choice principle is used.
The simple type-A Hecke modules are indexed by e-regular partitions
Statement
Let be a field, , let be the quantum characteristic (The quantum characteristic of an invertible Hecke parameter) and let for . For let be the Hecke Specht module and its cell-form quotient (The type-A Hecke Specht module and its cell form). Then:
- if and only if is -regular (e-regular and e-restricted partitions);
- is a complete set of pairwise non-isomorphic absolutely irreducible -modules;
- is split semisimple if and only if (including ); when the algebra has nonzero radical.
This is the exact root-of-unity replacement for the ordinary Specht classification. At in characteristic it specialises to the classification of the simple -modules by -regular partitions (Modular simple modules of the symmetric group). No semisimplicity is assumed and no choice principle is used.
Facts & Assumptions
Given: A field , a unit , the type-A Hecke algebra , its Murphy cells and form quotients , and the ordinary signed-conjugate normalization in the Statement.
The nonzero cell-form quotients are pairwise distinct absolutely simple modules and exhaust the simples. A quotient is nonzero precisely when its form is not identically zero; a zero form quotient makes no assertion about the actual module head (Nonzero cell heads classify the simple modules of a cellular algebra).
The actual ordinary module/form bridge gives and , with an involution commuting with star. Pullback is exact and preserves nonzero modules and simplicity (The type-A Hecke Specht module and its cell form). Conjugation exchanges regular and restricted partitions (e-regular and e-restricted partitions).
The locally proved Jucys–Murphy elements commute and preserve a common tableau flag of each Murphy cell, with diagonal word , where is the integer node content. The row-filled maximal tableau has an exact eigenrelation (The Hecke Jucys-Murphy action is dominance triangular).
Cellular support gives unless , and gives diagonal multiplicity one when that quotient is nonzero (Cellular decomposition matrices are unitriangular for the cell order).
The integral Murphy basis, dominance ideals, row action and finite Garnir straightening are valid over and commute with every base change (The Murphy cellular basis, the cell law and the Murphy form, The row permutation module: distinguished basis and Hecke action). For a row group , by length-additive parabolic cosets; (The -integer, -factorial and -multinomial coefficients).
At , the quantum characteristic is the field characteristic when positive, and is infinity in characteristic zero (The quantum characteristic of an invertible Hecke parameter); the ordinary group labels are the regular Specht-head labels (Modular simple modules of the symmetric group). The Jacobson radical of a finite-dimensional algebra is the intersection of the annihilators of its simple modules (The Jacobson radical of a finite-dimensional algebra is the intersection of its maximal left ideals).
Proof
Use finite joint-primary projections without presupposing which labels survive. The regular right module has a cellular filtration with quotients copies of the cells; refining their common flags in [F3] gives a simultaneous triangular flag on it. Thus each is annihilated by a polynomial , with finitely many diagonal values and . Polynomial Bezout and the Chinese remainder construction give congruent to one modulo and zero modulo the other factors. Substituting gives commuting idempotents. For a joint word , their product is idempotent in and on a cell flag has diagonal one exactly at tableaux with word , zero elsewhere. An idempotent has zero image if and only if all these diagonal entries vanish: its triangular matrix would otherwise be nilpotent and idempotent, hence zero. The vector-space functor is exact on -modules, because a lift of can be replaced by , and kernels are preserved. No centrality or -submodule assertion for this image is needed.
For finite , equality of two diagonal values is equivalent to . Indeed for all integers, including negative integers. When , is the multiplicative order of , and when , and the q-integer is the integer reduced to . Thus a joint word is exactly a residue word in the node convention .
Prove the complete ladder-boundary comparison. Put . Suppose is restricted, every occupied node has , and the addable ladder- set is nonempty. Set , , and . For , , and no positive row occurs beyond . The deficits are nonnegative and satisfy . An addable ladder- row has deficit zero; thereafter every deficit is zero. Consecutive such rows have width difference , so the ladder addables form a terminal interval . A first equality row that is not addable simply precedes this interval. Adding its bottommost nodes therefore adds in rows . The length of is for and for , including the empty case . If has the same size, its length is at most that of , by the prefix inequality at that length. For all addable rows of are at most . For the sole possible extra row is , with residue , different from since . Hence every addable -node of lies in a row at most . If adds any of these initial addables, at row cutoff its prefix increment is at least , exactly the increment for the bottommost- extension of . Adding 's prefix inequalities proves . This holds for every simultaneously and needs no same-content premise.
The integral intersection factorization. Work over . Suppose a row-standard tableau already agrees with on rows before , and let be the canonical label interval of row . In rows let count its -labels. First rearrange labels inside into increasing row-reading order, then do the same with all remaining tail labels, preserving the number of labels from each interval in every row. This gives a tableau whose row consists of a -segment of length followed by a tail-segment of length . The sorting removes inversions separately within the two label intervals, so with additive length, , and a permutation of the remaining tail labels. The intervals are disjoint, so commutes with , and . Let be the subgroup cutting each canonical row into lengths , while retaining the earlier rows. Let cut into consecutive lengths and the tail into consecutive lengths , again retaining earlier rows. The permutation increases on these segments on both sides and transports to . Hence , by expansion into length-additive standard-basis words. If consists of the minimal representatives with , then . Write , omitting zero parts. Multiplication of by gives : the -intersection subgroup contributes , while its tail and earlier-row factors commute with . Consequently the exact identity is . No scalar is divided out. Sorting to a partition uses the invertible block-reordering identity in [F5], so this is in . If , the dominance-ideal assertion in [F5] makes its shape- part vanish. Otherwise the first largest parts of have sum at least ; comparison with gives .
Canonical-row support without factorial cancellation. The semistandard permutation-basis theorem Type-A Hecke permutation modules: semistandard Murphy bases and Specht filtrations, followed by star, gives an exact coordinate condition for : every supported right Murphy tableau has semistandard type . Apply it to the factor remaining after in step 1.4, before putting back . This factor belongs to . In shape , semistandardness forces the first labels into the first row, the next into the second, and so on through : a label cannot occur below its own row, and each earlier row is already full. Thus its right tableaux have the first canonical rows. The permutation uses only later labels. Expanding by the row action and straightening cannot alter these canonical rows: their prefix counts are maximal, and same-shape straightening increases every tableau-prefix count by that supplier's Statement. This proves the canonical-row assertion even for the quotient by the displayed factorial. Starting at , repeat steps 1.4 and 2.1 for each surviving standard-tableau term. If , every surviving term at that stage has , so divides its factor . Later multiplication and integral straightening preserve this common divisor. This establishes the full repeated-symmetrizer support and divisibility used below.
For restricted , number its nodes by increasing , taking lower rows first on a tie, to obtain . Moving right increases by one and moving down by , so it is standard. The diagrams of nodes with and with are restricted: their row widths are the minimum of the restricted widths of and the positive part of the affine cutoff bound, each having adjacent difference at most . A node on ladder forces every lower positive position on that ladder to be occupied, since . Thus adds the bottommost ladder addables to . Any competing standard tableau with the same full residue word has, in the corresponding block, additions all of residue . Every such node was addable before the block: adding an -node creates new addable corners only of residues , distinct from for . Starting with the empty diagrams, step 1.3 inductively shows its shape dominates at every completed block, and hence its final shape dominates . No strictly lower shape has the word of , and no same-shape tableau uniqueness is asserted.
Choose for the word of . It has nonzero image on and zero image on every with , by steps 1.2 and 2.2. Therefore it has zero image on their form quotients. Apply the exact projection to a composition series of . Some constituent has nonzero image; by [F1] and [F4] it is a nonzero with . The exclusion forces , proving the restricted Murphy quotient nonzero over the original field. This is a joint-word and cellular-support proof, not an import of cellular/crystal label identification.
If for some , every surviving term at that row has by steps 1.4 and 2.1 and is divisible by . Later multiplication and straightening cannot remove this polynomial factor. Every Gram entry is the coefficient of in modulo higher shapes; first expand its middle factor in the row-module basis and apply the proved row calculation. Thus every entry is divisible by . Specializing to makes that factor zero, so the entire Murphy form vanishes and . This concerns a common divisor of entries, not a product-of-hooks formula for a determinant. Combining with step 3.1 proves the finite- Murphy criterion.
For , including infinity, distinct standard tableaux of any shapes have distinct full diagonal words. At their first unequal step the preceding diagram has size ; its distinct addable-corner contents differ by a nonzero integer of absolute value at most , so their q-integers differ. Induction recovers every next node. Consequently every tableau word of occurs in no strictly lower cell. Exact projections as in step 3.1 and diagonal multiplicity one in [F4] show that all flag factors occur in ; thus this quotient has the full cell dimension and its form radical is zero. In particular at every partition is restricted and has nonzero quotient. At the unique cell is with norm one.
Establish the complete semisimplicity clause. Put and , with zero for a zero quotient. The Murphy basis gives . On each nonzero quotient its nondegenerate form and the cell law supply all rank-one operators. Since the cells are right modules, their action gives a surjective algebra map , a full matrix algebra after transpose. Its kernels are distinct maximal two-sided ideals: equality would give the same matrix-algebra simple module, contradicting [F1]. They are pairwise comaximal. Their finite product map is surjective: for each kernel and each other choose congruent to one modulo , multiply over , and use these elements to isolate each prescribed matrix component. Its kernel is the radical by the complete simple list and [F6]. Hence . Step 4.2 makes this equal to when , giving an isomorphism with a product of full matrix algebras over . When finite , the one-dimensional Murphy row cell has norm , since . Its quotient dimension is zero while its cell dimension is one; every other . The dimension sum is therefore strictly smaller and . This proves both directions of part 3 without any claim that some Specht module must be reducible.
Apply the same exact involution to every Murphy quotient: is nonzero exactly when is restricted, equivalently when is regular. The nonzero quotients remain pairwise distinct absolutely simple and complete by [F1] and [F2]. This proves parts 1 and 2, and step 5.1 gives part 3. At , [F6] gives precisely the ordinary -regular group classification, including characteristic two; no splitting or semisimplicity assumption was made. All selections and polynomial computations were finite, so no choice principle is used.
Remarks
The finite ladder-boundary lemma, joint-primary projection argument and row-entry divisibility are local proofs. The cited manuscript documents their source; its erroneous displayed ladder slope and unsupported single-node truncation sentence are replaced by the complete simultaneous-block comparison above. The richest original classification and radical assertions are retained. Zero cell-form quotients are distinguished from actual module heads throughout.
The type-A Hecke decomposition matrix is dominance unitriangular
Statement
Let be a field, , and (The quantum characteristic of an invertible Hecke parameter). For and -regular let the multiplicity of in a composition series of the Specht module (The type-A Hecke Specht module and its cell form, The simple type-A Hecke modules are indexed by e-regular partitions). Then where is the dominance order on partitions (Dominance order on partitions): a simple factor of can occur only if the -regular label dominates . Equivalently the decomposition matrix is unitriangular along dominance. This constrains but does not compute the entries: no off-diagonal decomposition number is determined by cellularity.
Facts & Assumptions
Given: A field , , with Specht modules and simple quotients in the signed conjugate normalization (The type-A Hecke Specht module and its cell form), together with the dominance order on partitions of (Dominance order on partitions).
(The type-A Hecke Specht module and its cell form) and for the conjugate partitions, where is the Murphy cell module and is the involutive automorphism ; pullback along is exact and preserves submodules, quotients, composition multiplicities and simplicity.
(Cellular decomposition matrices are unitriangular for the cell order) For the Murphy cellular basis of the composition multiplicity satisfies whenever and is zero unless .
(Dominance order on partitions) Conjugation reverses dominance: if and only if .
(The simple type-A Hecke modules are indexed by e-regular partitions) exactly for the -regular .
Proof
Invariance of composition multiplicities under the normalisation: by [F1] the twist is an exact equivalence of module categories with inverse itself, so it is additive on short exact sequences and carries composition series to composition series; hence for all and -regular .
Vanishing: if , then by step 1.1, so by [F2], and conjugation reversal [F3] gives .
Diagonal: taking in step 1.1 gives by [F2].
Assembly: steps 2.1 and 2.2 are exactly the two claims; ordering the rows and columns of by any linear extension of dominance displays the unitriangular shape, and no off-diagonal entry is determined by the cellular structure. At , [F1] and [F4] identify the same ordinary group labels; over a splitting p-modular system this agrees with Dominance unitriangularity of the symmetric-group decomposition matrix within that supplier's hypotheses. The present proof establishes the bound over every field.
The Schur functor sends Weyl and simple modules to Specht and Hecke simple modules
Statement
Let be a field, , , and let be the right-module Schur functor of The Schur idempotent and the Schur functor for type-A q-Schur algebras. Set (The quantum characteristic of an invertible Hecke parameter). For each let be the Weyl module with Schur cell form and nonzero simple head (The type-A q-Schur algebra and its Weyl modules). Write and for the independent Murphy cell module and its cell-form quotient (The Murphy cellular basis, the cell law and the Murphy form). Then:
- as right -modules, and this isomorphism identifies exactly with the Murphy cell form. 2. , including the zero quotient; it is nonzero exactly when is -restricted. 3. For every -restricted ,
In the page's ordinary Dipper–James normalization (The type-A Hecke Specht module and its cell form, Ordinary Specht modules are the signed conjugate Murphy cells), these identities become The latter module is nonzero exactly for -regular and is zero otherwise. For -regular , The accepted ordinary polytabloid comparison identifies with the historical DJ module and identifies their form radicals through an explicit unit factor. Thus the dictionary concerns the actual ordinary modules, not merely a renamed cell module. A zero Hecke cell-form quotient is not asserted to be its actual module head. No semisimplicity or choice principle is assumed, and is included.
Facts & Assumptions
Given: The field, parameter, stable range and modules in the Statement; all modules are right modules and multiplication in is ordinary composition .
The actual projection onto , for , satisfies and by left multiplication . The functor is (The Schur idempotent and the Schur functor for type-A q-Schur algebras).
The legitimate semistandard cellular construction is supported from to and sends its generating to ; its star swaps and its right-cell coefficients fix the first index modulo higher shapes. The Weyl cell basis is (The type-A q-Schur algebra and its Weyl modules). Only the actual summand projections are weight idempotents; no assertion that all diagonal cellular elements are idempotent is used.
The independent Murphy cellular datum uses , with its higher ideal , right cell basis and form characterized by modulo that ideal (The Murphy cellular basis, the cell law and the Murphy form).
The nonzero cell-form quotients are pairwise distinct absolutely irreducible modules; when the form is not identically zero its radical is the unique maximal submodule. These are the general cellular conclusions of Nonzero cell heads classify the simple modules of a cellular algebra.
The genuine ordinary bridge gives and an explicit unit-scaled form identity, hence including zero quotients. This is the page's signed Specht normalization, and is an involutive algebra automorphism whose pullback is exact (Ordinary Specht modules are the signed conjugate Murphy cells, The type-A Hecke Specht module and its cell form).
The full type-A classifier proves that is nonzero precisely for -restricted over the original field, including the finite- range and the empty partition; its ordinary-label statement is transported through the signed-conjugate form bridge, not inferred from a group-only specialization (The simple type-A Hecke modules are indexed by e-regular partitions, e-regular and e-restricted partitions).
Proof
Under [F1], because both act on by left multiplication, so the identification uses , without an opposite algebra. The functor is exact: for a short exact sequence, a lift of an element yields the lift , and an element in the kernel lies in and is fixed by , hence lies in . The tensor description uses the -bimodule , which is a direct summand as a left -module.
The support in [F2] gives and . Semistandard tableaux of type have each label once and are exactly standard tableaux. For standard , their defining sum has one term, so and . Thus the higher Schur ideal cuts out exactly in the corner. Read the Schur right-cell law with first index any standard tableau of type ; coefficient independence permits this choice. Restricting the multiplication by to gives , so its coefficients are the Murphy right-cell coefficients. Consequently , , is an -isomorphism.
By the Schur cell product, modulo higher Schur shapes, with coefficient independent of the outer indices. Choose all four indices standard of shape and type . They lie in ; applying , or evaluating their endomorphisms at , gives modulo . The unique coefficient in [F3] is , proving exactly, with factor .
Since , contravariance gives . The decomposition is therefore orthogonal. A vector in pairs trivially with its complement, so it is in the restricted form radical exactly when it lies in . Since the latter is an -submodule, . This holds even if the corner form is identically zero.
For the canonical semistandard tableau of shape and type , the map is the actual projection onto : it sends to itself and is zero on every other summand. Its square equals itself, so the Schur cell product gives . Hence the Weyl form quotient is nonzero and is its simple head by [F4]. Exactness, step 4.1 and step 3.1 give , including when this corner quotient is zero.
By [F6] and step 5.1, precisely for -restricted . Apply the exact functor to a finite composition series of : every factor gives or zero. Delete repeated terms. The remaining factors are the distinct nonzero Murphy simples in [F4], giving for each -restricted . No multiplicity preservation is asserted for a killed simple label.
Apply [F5] and the involution to obtain and . Replacing the Weyl label by in steps 2.1 and 5.1 gives the ordinary dictionary, including zero quotients. Conjugation makes restricted precisely when is regular. Twisting both modules by the same exact equivalence preserves composition multiplicities, so step 6.1 gives for regular . The genuine unit-scaled ordinary form bridge in [F5] also identifies these with the historical DJ polytabloid modules and quotients. At , and each form has value , so the same proof includes the empty partition.
The q-Schur Weyl weight-space Gram determinant is a hook product
Statement
Let be an integral domain, , , and let be the Weyl module of for a partition with at most parts. For a composition of of length , let be the Gram determinant of its -weight space in the semistandard basis (The type-A q-Schur algebra and its Weyl modules). Put and . Then where . Here is the least-dominant standardization in the fiber of , and is the exact alternating semistandard number of Virtual Weyl and Specht symbols attached to beta sequences. Both beta shifts use the same removed hook length .
The exponent is the sorting sign times if that balanced beta sequence has distinct nonnegative entries and recovers ; it is zero otherwise. When the shifted entries are distinct and nonnegative, equivalently lower the bead to and sort to obtain the partition ; then raise the bead originally labelled from to and sort to obtain . The added strip has boxes. Its lowest node is in the column determined by the raised bead's new sorted position, which need not be . The sign is the parity of the heights of the removed strip and the newly added strip, the latter measured in the new diagram ; it is not generally the sum of two old hook legs (Removable border strips and their height, Hooks of a partition correspond bijectively to removable border strips).
Form the product first in the universal field . It equals a Laurent polynomial in , namely the universal integral Gram determinant divided by its displayed unit . Over the formula means the specialization of that Laurent polynomial. It does not require inverting a vanishing hook number or evaluating . All weights and are retained; an empty weight space has determinant .
Facts & Assumptions
Given: The normalized semistandard maps, weight projections and Weyl cell form of the q-Schur Definition; the beta symbols and branching identity; and the hook-to-bead-gap correspondence in the cited suppliers.
The ordinary cell maps have the normalization , with . Their star swaps the indices, and their four-index cell product defines the Weyl form (The type-A q-Schur algebra and its Weyl modules). The actual regular corner identifies this product with the Murphy product with factor (The Schur functor sends Weyl and simple modules to Specht and Hecke simple modules).
Over , the corrected intrinsic Murphy seminormal basis has its unitriangular normalization, adjacent-generator action and self-adjoint JM operators (Separated Hecke residues give seminormal idempotents and bases). For a semistandard and node of entry , its predecessor set is precisely Equivalently with sentinel below the column. Both inequalities are strict; an equal below excludes that column. Define The standard-tableau version is defined by the same rule.
The signed Kostka numbers satisfy , with zero values for repeated or negative beta entries (Virtual Weyl and Specht symbols attached to beta sequences).
Proof
Preserve small alphabets. Enlarge to temporarily. The sum of permutation summands with types supported on the first letters is a literal summand of the -alphabet permutation module, with projection and . The normalized maps whose two types have that support, their cell multiplication and their Weyl form coefficients are unchanged. Every semistandard shape with these types has at most rows. Thus proving the weight norm in the enlarged algebra, where the regular corner exists, proves the original norm as well. No hypothesis is added.
Compute the standard norms. For the canonical standard tableau, telescopes rowwise to , also its norm by . If dominates , the adjacent action gives with . Contravariance, orthogonality and the quadratic relation imply . The two swapped predecessor ratios give : use and . Increasing-length adjacent swaps of incomparable boxes reach every standard tableau, so .
Define the cross-weight maps. In the enlarged algebra of step 1.1 let , so . Let be inclusion, , and let be ; both are zero on the other permutation summands. These are actual -linear maps, not maps depending on an unspecified . Under the Hom/intersection coordinate identification of the q-Schur construction, both maps have image coordinate . Since , the index-swapping star in [F1] gives ; this works for compositions as well as partitions. For a standard , composition of its Weyl map with evaluates at as , whereas composition of a type- Weyl map with evaluates at as . We use right-action composition throughout.
Establish the support and the initial scalar. Write in the Murphy cell. For , is the least-length double-coset representative for the row blocks of and . The intersection subgroup has one symmetric-group factor of size for every nonempty row/label intersection. Decomposing both row subgroups into their distinguished intersection cosets, every reduced coset word occurs once; the remaining intersection sum acts on by its row character . Hence the exact identity is No factorial is divided out. The same-entry predecessor ratios for this first refinement are within each intersection row, so their product is exactly that factorial. We also need support after multiplication by . Filter standard Murphy vectors by the shapes of their prefixes at the ends of the label blocks. Every generator inside such a block preserves this filtration: its row case is multiplication by ; its standard-swap terms have the same block-end prefixes; in its column case the Garnir correction terms have larger tableau-prefix dominance. The last assertion follows by isolating the distinguished term in the length-additive row-coset Garnir identity; all other same-shape terms increase prefix dominance, as proved in Type-A Hecke permutation modules: semistandard Murphy bases and Specht filtrations. Iterating over each word in shows that has only coarsened types dominating . Its expansion has constant coefficients on semistandard fibers and zero coefficients elsewhere, by the right-hand (starred) permutation-module basis in that supplier. Thus only semistandard occur, strictly if is not semistandard. In particular, if , every surviving is strictly above : equality would put in the fiber of , whose most dominant member is . This proves the needed support assertion including non-semistandard types.
Determine the scalar on every standardization. Sums of JM elements over a label block commute with that block's row symmetrizer: the adjacent JM relation makes commute with , and every other commutes with it. The dominance-triangular standard JM action and the support filtration of step 3.1 consequently give triangular block-sum operators on the semistandard maps, with diagonal entries . Their joint eigenvalues distinguish : the Laurent coefficients and the known prefix sizes recover every initial-label content multiset, whose diagonal counts recover its Young diagram. They are self-adjoint, so finite triangular diagonalization gives orthogonal strictly more dominant terms. The same block-sum identities show that lies in the joint eigenspace whenever , hence equals . At , expand more dominant standard vectors. Step 3.1 gives coefficient at and only higher types in the remaining terms. Thus . Now connect standardizations of by increasing-length adjacent swaps inside each label block; these are the linear extensions of the repeated-label node posets, and bubble sorting gives such a chain from their most dominant extension. If is one step, [F2] gives , , while because . Therefore . The only newly included same-entry predecessor pair has content difference , so its ratio is , proving . Induction proves the exact identity for every standardization.
Determine the last-standardization coefficient and the norm. For , evaluation at gives . Every other member of this fiber is more dominant than . Also every refinement of dominates : compare at label-block ends, then use that is the least-dominant refinement within its own blocks. Consequently the two unitriangular basis changes give more dominant standard eigenvectors, with coefficient exactly at . At this last refinement the standard predecessor set partitions into the strict semistandard boundary and same-entry predecessors, so . By adjointness of the explicit maps in step 2.1 and orthogonality, All factors of are nonzero over , so . The transition determinant is , yielding with . This calculates the cross-weight scalar rather than inferring it from the standard norm alone.
Prove the normalized beta product at the level of formal exponents. For put A nonzero term requires , so the product is finite. Repeated beta entries cancel by exchanging the equal indices; a negative entry cannot become a valid term because, if it is the receiver, the lowered donor is still smaller. Thus these invalid sequences contribute zero exponents. Delete the largest semistandard label, occurring times in column feet , to get . The strict predecessor boundary excludes every column also in . Consequently the literal exponent in obeys The final sum is exactly the axial ratio contributed by each deleted largest-label box.
Verify the same recurrence for . Apply [F3] to its summands and compare with . Set . The original condition is and the deleted one . They differ only when or . In the first case, exchanging the two shifted beta entries turns the contribution into with , giving the negative term of step 6.1. In the second case, the exchanged entries give , giving its positive term. Every other case cancels. At degree both exponent families vanish: a nonzero shifted empty beta sequence would have to exchange two entries with , excluded by the strict condition. Induction gives and therefore This proves the regrouping without copying the inconsistent signs in the printed display.
Convert to hooks. A surviving lowered bead is a nonnegative gap, so the bead-gap correspondence makes for a node . The remaining condition is equivalent to ; the paired nodes therefore lie in the same row. For write and . Since , the two ordered displaced sequences and exchange their two changed entries. Their signed numbers are negatives of each other, and their factors are exactly . This proves the stated balanced hook product. For the strip interpretation, first lower to the gap , whose sorted position is . Recovering conjugate parts from the sorted sequence replaces by for and by for , leaving other columns unchanged. The removed nodes form the rim strip in columns , with boxes. Since , its original bead is unaffected and is still in position in this intermediate diagram . Raising it to and sorting puts it in position ; applying the same column calculation in reverse shows that is a -strip in columns , with lowest node in column . The two sorting permutations make and crossings. The strip-height counting identity gives heights and , so their sum has the same parity as the total crossings and gives exactly the stated sign. Colliding or negative sequences vanish by definition.
Specialize integrally. The semistandard form matrix has entries in , so its determinant and are Laurent polynomials. Steps 5.1 and 7.1 identify the rational products with these same polynomials in . Base change of the free semistandard basis and its form now proves the identity over the given domain, including singular specializations and weights of dimension zero. No individual vanishing ratio is evaluated. All constructions are finite; no choice principle is used.
The q-Schaper virtual radical-layer formula
Statement
Let be a principal ideal domain, a prime element, the residue field, and let satisfy in ; put . Let , let be a partition of with at most parts, and let be the Weyl module of the q-Schur algebra with its Jantzen filtration with respect to (The Jantzen filtration of a lifted cell module, The type-A q-Schur algebra and its Weyl modules).
- (Jantzen sum formula) In the Grothendieck group of finite-dimensional -modules, where is the beta sequence of , are its hook lengths and the symbols are the virtual Weyl symbols of Virtual Weyl and Specht symbols attached to beta sequences. 2. (q-Schaper, ) If and denotes the Schur functor of The Schur idempotent and the Schur functor for type-A q-Schur algebras, then applying to (1) gives the corresponding identity for the Hecke Specht modules in the source's normalisation, that is, for the Murphy cell modules of The type-A Hecke Specht module and its cell form (the Dipper-James form is obtained by conjugating partitions and applying the same pullback to every Hecke module), in the Grothendieck group of finite-dimensional -modules, with the virtual Specht symbols of Virtual Weyl and Specht symbols attached to beta sequences. The formula is a positive filtration-sum identity expressed in a signed Weyl/Specht basis. A single nonzero signed Weyl coefficient does not force the corresponding labelled simple factor: the entire right side must first be expanded and cancelled in simple classes. For a Weyl module and an off-head label , the resulting multiplicity of is an upper bound for , and is positive exactly when that factor occurs in the radical. This does not give a general closed algorithm for decomposition numbers.
Facts & Assumptions
Given: A PID with prime , residue field , with , the q-Schur algebra and its Weyl modules with Jantzen filtrations (The Jantzen filtration of a lifted cell module, The type-A q-Schur algebra and its Weyl modules), and the virtual Weyl and Specht symbols (Virtual Weyl and Specht symbols attached to beta sequences).
(The q-Schur Weyl weight-space Gram determinant is a hook product) The Gram determinant of on its -weight space equals times the hook-ratio product ; under every factor is nonzero in the domain .
(Jantzen layer dimensions sum to the Gram determinant valuation) The total dimension of the positive Jantzen layers on a non-degenerate form equals the -adic valuation of its Gram determinant.
(Semistandard weight dimensions detect virtual Weyl classes) Equality of all semistandard weight-space dimensions forces equality in the Grothendieck group of -modules.
The balanced displacement removes the -strip and adds the same number of boxes, preserving degree; its sign is the beta sorting sign (Removable border strips and their height, Hooks of a partition correspond bijectively to removable border strips).
The exact Schur functor has integral corner isomorphism and exact restricted form factor , with (The Schur idempotent and the Schur functor for type-A q-Schur algebras, The Schur functor sends Weyl and simple modules to Specht and Hecke simple modules). Filtration transport is proved below, rather than assumed from exactness.
Source results (Mathas, Theorem 5.31 and Corollary 5.32, printed pp. 58-60): the Jantzen sum formula for the q-Schur algebra and its transport to the Hecke side, with the coefficient and the virtual symbols.
Proof
Work on a fixed weight space of the lifted free Weyl module. Every hook quantum integer is nonzero because its index is at most and in the domain. The balanced Gram formula [F1] gives its determinant, and the unit power of has valuation zero. The Jantzen Gram-valuation lemma [F2] thus gives the sum of positive filtration-submodule dimensions as The signed number is exactly the weight dimension of the corresponding balanced virtual Weyl symbol, including zero and cutoff cases.
Apply step 1.1 to every weight. The Weyl weight-character matrix is unitriangular, so [F3] detects equality of Grothendieck classes and proves part 1. These are classes of the filtration submodules , not their successive quotients and not simply the radical class.
Establish filtration transport before applying the exact functor. On the lifted Weyl module , the identity makes . For and every , pairing with all of is divisible by exactly when its pairing with is. Thus . Reducing modulo commutes with the direct summand projection, giving . The actual corner isomorphism and factor- form identity [F5] identify the latter with the Murphy Specht filtration. Applying the exact functor to the proved Weyl-class identity therefore transports each submodule and every signed term, proving part 2 even when a reduced cell form is identically zero. For the ordinary convention, apply the same to both modules and conjugate the labels; the independently proved Laurent-unit form factor preserves these divisibility filtrations as well.
Explain the valid multiplicity information. The Weyl form has nonzero simple head, , and for . Consequently for its actual multiplicity in is its radical multiplicity, bounded above by its multiplicity in the whole positive sum. This whole-sum multiplicity is positive if and only if that factor occurs in the radical, since the first submodule is the radical and later ones lie inside it. No such conclusion is drawn from an individual positive or negative Weyl coefficient before cancellation. All claims follow from steps 1.1-3.1 and this submodule inclusion.
General type-A decomposition numbers remain unsolved
Statement
The two preceding constraints on the decomposition matrix of are real but limited, and neither solves the general problem.
(i) Dominance unitriangularity (The type-A Hecke decomposition matrix is dominance unitriangular) determines only the diagonal entries and the vanishing region ; it gives no value for an off-diagonal entry.
(ii) The q-Schaper/Jantzen sum formula (The q-Schaper virtual radical-layer formula) is an identity for the sum of the positive Jantzen filtration submodules. Its individual signed hook terms are not multiplicity bounds. After the whole virtual sum is expanded in simple classes and all cancellations are performed, its nonnegative simple coefficients bound the corresponding radical composition multiplicities from above; it neither determines a general multiplicity nor produces a positive combinatorial rule.
Special coefficient regimes and low-rank calculations determine additional entries (canonically based, weight-one, and small- cases), and the classification of irreducible Specht modules for symmetric groups in prime characteristic is known (Fayers, Introduction, printed p. 2 of the cited 2012 paper). That classification is distinct from computing all composition multiplicities. No general closed formula for the decomposition numbers of in a fixed positive characteristic is claimed anywhere on this page. This remark records the boundary; it carries no proof obligation and no choice principle.
Remarks
The two cited results are the constraints proved on this page: unitriangularity is a vanishing statement about the dominance order, and the q-Schaper formula expresses the sum of the positive Jantzen filtration submodules as a virtual combination of Weyl symbols whose coefficients are -adic valuations of hook q-integers. Neither statement computes an individual off-diagonal decomposition number in general, and the remark is not used as a supplier to prove any replacement claim.
Central Hecke Jucys–Murphy scalars separate q-Schur residue contents
Statement
Let be a commutative unital ring, , , and . For a symmetric polynomial over , put for the additive Hecke Jucys–Murphy elements. Right multiplication is a central element of . On the right Weyl cell it acts by
The identity holds over every and unit , without division by a quantum integer or a Gram determinant. In particular, if is a field of finite quantum characteristic and is a constituent of , then and have the same multiset of residues . Neither partition is required to be restricted or to survive the Hecke corner. This proves a necessary content-separation condition, not an assertion that equal content is sufficient for common-block membership.
Facts & Assumptions
Given: The ring, parameter, ranks, right permutation modules and Schur algebra of the Statement.
The integral Murphy cells have free standard basis , dominance ideals , a symmetric cell form , and cell-layer multiplication . The standard trace satisfies (The Murphy cellular basis, the cell law and the Murphy form).
The additive commute, symmetric polynomial evaluations are central, and their matrices in every Murphy cell have diagonal entries and strictly dominant off-diagonal terms (The Hecke Jucys-Murphy action is dominance triangular).
The actual Schur maps are , supported on the indicated source and target types, with the unweighted standard-tableau fibre sum. They form the cellular basis and has basis , where has shape and type and its refinement is . All Weyl forms have canonical norm one, hence their simple form quotients are nonzero over every field (The type-A q-Schur algebra and its Weyl modules).
A finite-dimensional algebra has nilpotent Jacobson radical; its semisimple quotient is a product of matrix algebras over division rings. Ideals and ideal quotients of a semisimple algebra are semisimple and have no nonzero nilpotent two-sided ideal (For a finite-dimensional algebra, the Jacobson radical is nilpotent and the quotient by it is semisimple, Wedderburn–Artin theorem for semisimple rings).
Finite quantum characteristic is the characteristic of when , and the order of when . The extended quantum integers are when , and (The quantum characteristic of an invertible Hecke parameter).
Proof
Work first over with fraction field . The regular trace pairing has entries in in the standard Hecke basis. At its matrix is , so its determinant is nonzero and it is nondegenerate over . If belongs to the Jacobson radical, is nilpotent for every by [F4]; its left multiplication is nilpotent and has trace zero. Nondegeneracy forces the radical to vanish. Thus is semisimple. Its shape- cell layer has the multiplication of [F1]. If were singular, the nonzero subspace would be a two-sided ideal with square zero, contradicting [F4]. Hence is invertible and identifies this layer with a full matrix algebra over .
Construct an injective right -module map . Project the output of through . For of type , the resulting map is zero on the other summands and sends to . Higher Schur maps with output type have Hecke values of strictly dominant shape, so their output is killed by . Thus this assignment respects the cell quotient and multiplication by any becomes composition on the right: . For each fixed type the sets of standard with are disjoint. Each is nonempty: standardize equal entries of a semistandard tableau in increasing column order; equal entries cannot share a column, row order is retained, and different entries occupy disjoint consecutive label blocks. Hence their sums are independent in the free Murphy cell basis, over every . This proves injectivity, including zero type entries. No surjectivity onto all specialized Hom spaces is asserted.
For an integral symmetric polynomial , is central by [F2]. Its action on the generic cell layer is a bimodule endomorphism of that full matrix algebra, hence scalar: its value at the identity commutes with every matrix and the rest follows by multiplication. Accordingly its matrix on is scalar. The triangular matrices in [F2] give its diagonal as , equal to for every because is symmetric and the node multiset is fixed. Thus acts exactly by this scalar. Both sides have matrices over , and injection into proves the identity before specialization. Every symmetric polynomial over an arbitrary is an -linear combination of integral monomial symmetric polynomials: coefficients are constant on each monomial orbit. Apply the integral identities to these monomial polynomials and specialize . Therefore every acts by on the actual Murphy cell over , including singular parameters.
For central , right multiplication preserves every and is -linear. Every -linear endomorphism of satisfies , so is central in . For and , step 1.2 and -linearity give the last equality by step 2.1. Injectivity gives , proving the full ring-level assertion. If all cell assertions are empty. At rank zero the empty cell is with the empty polynomial evaluation, so the same conclusion holds.
Suppose now that and is a constituent of . Step 3.1 gives scalar on this constituent. Since is the nonzero quotient of by [F3], its scalar is also ; hence they agree for every symmetric . Taking all elementary symmetric polynomials gives By [F5], if the distinct residues are the distinct prime-field values ; if , is equivalent to , hence to . Unique factorization of these monic products into distinct field-linear factors therefore gives equality of every residue multiplicity, also when the field characteristic divides a multiplicity. There is no restriction on either label's Hecke-corner image, and no splitting extension, Gram division or choice principle enters the argument.
Remarks
The map in step 1.2 is intentionally only an injection. At with , the sign Murphy cell of shape and the permutation module of type both have acting by , so their Hom space has dimension one, while the corresponding Weyl weight has Kostka number zero. An unrestricted singular-parameter full-Hom identification would therefore add a nonexistent Weyl weight. The central scalar proof needs none of that surjectivity.
The type-A quantum algebra and its tensor-action formulas
Definition
Let with an indeterminate, let , and put for . Start with the free associative -algebra on () and (), and quotient by the two-sided ideal generated by the following relations:
- and for all .
- and .
- .
- when .
- For , and .
Here . The free algebra and quotient construction are those of The free associative R-algebra on a set and descent of relations; this definition asserts existence of the presented associative algebra, not the well-definedness of structural maps on its quotient.
On with ordered basis , prescribe the candidate matrices Prescribe candidate coproduct and counit values by and , . The following relation-descent lemma proves that these assignments define the vector representation and bialgebra structure, and hence the tensor actions used below.
The type-A quantum presentation descends to its coproduct tensor action
Statement
For the presented algebra and candidate assignments in The type-A quantum algebra and its tensor-action formulas, the matrices on satisfy every defining relation. The coproduct assignments descend to a coassociative algebra homomorphism and the counit assignments descend to an algebra homomorphism satisfying both counit identities. Consequently every tensor power has the action obtained by iterating ; all its generator matrices have entries in .
Facts & Assumptions
Given: , , the algebra presentation and candidate maps in The type-A quantum algebra and its tensor-action formulas.
A free associative algebra modulo the two-sided ideal of its displayed relations is a presented algebra, and assignments descend exactly when they annihilate every defining relation (The free associative R-algebra on a set and descent of relations).
The tensor product of algebras has multiplication , and maps agreeing on the displayed generators agree on the presented algebra (The tensor product of -algebras has multiplication , Presentation base change and transport of explicit bases to commutative specializations).
For , the defining -weight relations imply and ; in particular , , and for adjacent indices.
The associator is natural and satisfies the pentagon and unit triangle (Associator naturality, pentagon, unit triangle and symmetry hexagons on elementary tensors). The unit maps are and (The regular module is a tensor unit: and ). These maps are algebra isomorphisms for the tensor-algebra products, as is checked on elementary tensors using [F2].
Proof
Given: The data in [F1]–[F3].
On , each is diagonal and invertible, and the commute. Conjugating the matrix unit by multiplies its sole nonzero entry by ; conjugating gives the inverse exponent. Also has eigenvalue on , on and on every other basis vector, so is the diagonal matrix with entries in those positions. Directly, for and is that diagonal matrix. Products and (and the corresponding products) both vanish when ; , and each middle three-letter Serre product also vanishes because its matrix-unit indices do not compose. Thus every defining relation holds, and the quotient universal property [F1] gives the vector representation.
Define on the free generators by the displayed formulas in The type-A quantum algebra and its tensor-action formulas. The are mutually commuting units with the displayed inverses. Conjugation by gives the required weights on each of the two terms of and , since each is a Laurent monomial in the commuting 's. For any , expansion gives . The last cross term is zero: its first product can be reordered as , which is its reverse product by [F3]. If , the remaining terms vanish; if , they sum to . For , and the commute with ; expanding the two commutators therefore proves that the distant and relations are preserved.
Let and for adjacent . For the relation write with , . In each of the three words , choose an at each selected position and a at each other position, then move the selected factors to the right using . Grouping the resulting 24 terms by the number of selected positions gives: degree in the first factor is ; degree is ; degree has respective coefficients , , on , , ; degree has respective coefficients , , on , , . All six mixed coefficients are zero by the definition of , and the two pure terms vanish by the defining Serre relation. Thus preserves every positive Serre relation.
The assignment , , preserves the presentation: it exchanges the two weight relations, sends the mixed commutator to its negative with replaced by , and exchanges the distant and Serre relations. It is an involution. On generators , where is an algebra isomorphism. Since step 1.3 proves that the positive Serre polynomial maps to zero, applying the algebra maps and proves that the negative Serre polynomial maps to zero as well. Together steps 1.2–2.1 show every relation is killed, so [F1] descends to the quotient. The counit assignment kills the relations directly: each relation becomes either or , so it too descends.
Compare and as maps to , and compare and with . All these composites are algebra homomorphisms by [F2] and [F4], so it suffices to check generators. The two counit composites return . After applying the associator, both iterated coproducts on give ; on , both give ; on , both give . Hence is coassociative with counit . The vector representation of step 1.1 and the iterated coproduct therefore define actions on every . They are finite sums and products of matrices with entries , so all entries lie in .
Integral divided-power tensor actions generate the type-A q-Schur algebra
Statement
Put , , , , , and . Let have the presentation of The type-A quantum algebra and its tensor-action formulas with its indeterminate renamed and its diagonal generators written . Define to be its -subalgebra generated by , , , and Use , , and the coproduct The resulting action preserves and commutes with the right action It gives a surjection onto the actual permutation-module endomorphism algebra of The type-A q-Schur algebra and its Weyl modules. Its composition-weight projections are Every statement survives any homomorphism to a commutative ring, including parameters at arbitrary roots of unity; is the actual specialized endomorphism algebra. The proof supplies a terminating exact divided-power expression for each integral orbit-basis map, with Laurent-unit pivots.
Let be the antiautomorphism , , let be the current cellular antiautomorphism of , and put , . Then
There is also a square-root-free version over . On the permutation-module word basis define weight-block operators and , zero outside content , by replacing a subset of occurrences of by , or of by , respectively, with coefficients Together with these generate . After they are precisely and . Thus this generating assertion holds over every original coefficient ring with any unit , whether or not has a square root. This assertion concerns the displayed polynomial action algebra; it does not assert a quantum group presentation over the original ring without choosing .
Facts & Assumptions
Given: The finite-rank objects and conventions in the Statement. For a word , let and let count pairs of positions with strictly decreasing letters. Composition and matrix indices range over .
The generic presentation has the displayed vector representation and coassociative coproduct, by The type-A quantum presentation descends to its coproduct tensor action, under the field isomorphism renaming its indeterminate . No generic mutual-centralizer theorem is used.
The permutation module is free on for distinguished left cosets. Its cyclic presentation is , with the sum taken over adjacent generators of the row subgroup. The Schur algebra, its semistandard basis, and its involution are the actual endomorphism construction of The type-A q-Schur algebra and its Weyl modules.
Quantum binomial coefficients for are Laurent polynomials, equal to zero for and to one for , by The quantum Pascal recurrences, the Gauss product formula and Gaussian integrality.
Proof
Integral matrices. Write the iterated coproduct as its sum of single-position raising operators. The summand at position has coefficient ; the lowering summand has coefficient . A position cannot be used twice. For distinct raising positions, swapping two consecutive choices changes the exponent by , since changing to increases by . Summing the orders gives times the coefficient using the original suffix counts: explicitly , as follows by inserting the largest letter, which multiplies the sum by . The lowering calculation uses prefixes and the same identity. Therefore, over the generic field and then as integral matrices, The toral generator acts on content by , integral by [F3]. Thus every generating matrix preserves . No factorial is inverted after specialization.
Transport of the Hecke action. For define . Every word of content occurs once, , and each coefficient is a unit; hence is an integral bijection. Standard Hecke multiplication on distinguished cosets gives an ascending swap with coefficient , a descending swap with coefficient plus times the original coset, and coefficient when the two letters coincide. Multiplying the basis vectors by changes the two unequal-letter swap coefficients to , giving exactly the displayed tensor formula. Consequently this is an actual Hecke action, with quadratic and braid relations inherited from , and is a right-module isomorphism.
Commutation can be checked locally. Put . On the four two-letter words , the nonzero local raising values are , , , and the nonzero lowering values are , , . The Hecke values are , , , . Substitution proves , : on and the raising composites give respectively and , and on they give ; lowering gives the transposed three checks. With one active letter and one outside the suffix or inverse-prefix multiplier is , and the outside letter has the same comparison with and , so swapping or retaining that letter commutes with its replacement. With no active letter both operators are zero. Terms of the full coproduct acting outside the adjacent pair only see its total , unchanged by its Hecke action; diagonal toral operators depend only on content. This proves commutation for . Over the generic field divided powers commute too; since their integral matrices are given in step 1.1, their commutator entries are zero Laurent polynomials. Toral binomials commute by content. Thus has image in the actual integral commutant.
Orbit coordinates for that commutant. Fix source content and split its sorted word into contiguous column blocks of lengths . For an nonnegative integer matrix of total , with column sums and row sums , let be the words containing exactly letters in block , and put where counts inversions separately inside those blocks. Within a block, pairing an ascending word and its descending swap in forces the descending coefficient to be times the ascending coefficient, since is a unit. Adjacent swaps connect every arrangement to the uniquely blockwise sorted word . Hence all simultaneous -eigenvectors for the source row subgroup are exactly the free span of the , whose supports are disjoint and whose coefficient at is one. By the cyclic presentation [F2], evaluation at identifies with this eigenspace. Write for the map with that evaluation. These maps give an explicit integral basis, independently of any generic rank comparison, over every ring with a chosen invertible .
The toral element acts on content by . If and both sum to , at least one , making that factor identically zero; if , every factor is one. Thus . For a diagonal matrix the orbit map is this projection. These conclusions remain identities at parameters where several eigenvalues coincide.
Define the triangular order, within fixed row and column sums, by all northeast and southwest rectangle sums Write if every such sum is at most the corresponding sum for . This is an actual partial order: differences of northeast rectangle sums recover each strictly upper entry, differences of southwest sums recover each strictly lower entry, and the fixed row sums then recover the diagonal. Put and . The diagonal-boundary sums give . Therefore implies and . The pair of nonnegative integers supplies a terminating induction even when intermediate matrices have different row sums.
Extreme-column multiplication. Acting by on transfers letters from row to row , distributed as among the column blocks, with and . Its expansion in step 4.1 has only the matrices . Choosing the rightmost available columns greedily maximizes every suffix and minimizes every prefix . A transfer across the row boundary changes a northeast rectangle only when its row cutoff is , by such a suffix; it changes a southwest rectangle only when its lower row cutoff is , by the negative of such a prefix. Thus this greedy matrix dominates every other supported matrix in . For several executed in increasing , the source row has not yet been changed, and each operation changes rectangle coordinates at its own boundary only. Consequently simultaneous greedy choices still give a single maximal supported matrix. If at each boundary the target row originally contains zero letters in every selected column, its coefficient is a Laurent unit: to obtain the blockwise sorted final word, all newly present 's in those columns must have been raised, giving exactly one predecessor word and one subset. That predecessor is blockwise sorted, with coefficient one in , and step 1.1 gives a single Laurent monomial. Earlier operations only depleted this target row, so its zero entries persist. Multiplying these monomials gives the claimed unit pivot, and uniqueness of successive row transfers rules out an additional path to the same final matrix.
The lower version is equally explicit. Acting by transfers letters from row to row . Greedy selection of the leftmost available columns maximizes southwest prefix increments and minimizes northeast suffix decrements, hence gives the maximal matrix. Execute several in decreasing ; each source row is then unchanged before its turn, and the rectangle boundaries are again distinct. If all selected target entries are initially zero, the blockwise sorted final word has exactly one predecessor and chosen subset, so its coefficient is a Laurent monomial by the lowering formula of step 1.1. This proves the same maximal-support and unit-pivot assertion without invoking a Gaussian coefficient or cancelling one.
Upper elimination. Suppose has a strictly upper entry and let be the largest distance of such an entry. Set (zero when ) and Zero terms with column index greater than are omitted. Thus executes its operations in increasing . The rightmost nonzero column of source row in is at most : its original distance- entry was removed, and the shifted entry from row is at . There are at least letters at that column. Hence the greedy transfer selects exactly letters there and recovers . Target row in has zero at column , since that entire outer entry was removed and its added entry is at . Step 7.1 therefore gives Its source is still , and its target row sum is the row sum of , so these lower terms belong to that same Hom block. Also . Every coefficient is explicitly obtained by the finite subset sums in step 1.1 and reading the blockwise sorted word coefficient of step 4.1.
Lower elimination. If is lower triangular but not diagonal, let be its largest lower distance and put . Set with zero terms omitted when the column index is out of range. Now operations execute in decreasing . The leftmost source column in row of is at least , with at least letters there; the target entry at that column is zero. Therefore step 8.1 gives the same expansion with unique unit pivot at , and again .
Exact recursive preimages and surjectivity. Induct on . For a diagonal matrix use of step 5.1. In either non-diagonal case, has smaller first coordinate, while each in steps 9.1–10.1 has a strictly smaller pair by step 6.1. With their already constructed preimages define This is a finite -linear combination of ordered words in simple divided powers and toral weight projections, with completely specified coefficient extraction; is only a Laurent monomial. Its image is exactly . The finite matrix inventory and the decreasing nonnegative pair guarantee termination. Since the are the actual integral Hom basis, their preimages prove surjectivity. Tensoring this expression with any -algebra gives the same basis and preimages; step 4.1 proves that the specialized commutant itself has this basis. Thus specialization commutes with the endomorphism construction, including nonflat specialization and roots of unity.
Identify the adjoint involution. In the coset basis equip with diagonal form . Under this becomes ordinary tensor dot product. To see that the involution of [F2] is its adjoint, work temporarily over with the standard Hecke trace , for which by standard-basis multiplication. Write , so ; the coset form is on . If , then by the actual definition. For and , both adjoint pairings are : use in the first, in the second, and the trace property. Thus is the dot adjoint. The conclusion concerns equality of integral matrices, so it holds over and every specialization; the temporary nonzero is never divided in those rings.
The assignment , , reverses and preserves the generic defining relations: reversing the toral relation replaces its root exponent by the negative one; the mixed commutator and its right side are both fixed; the Serre polynomial is carried to the reversed negative polynomial. It fixes the toral binomials and exchanges divided powers, hence preserves . Let . For a chosen raising subset, subtracting the reverse lowering exponent in step 1.1 gives , whereas . Thus the weighted dot form makes the raising and lowering matrices adjoint; all toral matrices are diagonal and self-adjoint. Its adjoint operator is . Equality on all integral generators, followed by reversal of products and linearity, proves for every .
Square-root-free matrices. In step 2.1 the permutation-module word basis is . If raising a subset of positions changes to , counting inversions involving a changed letter gives The final correction counts pairs of changed positions, counted incorrectly by changing each letter in isolation. Add the exponent in step 1.1 and use . The coefficient in the basis is . Scaling by gives the displayed -coefficient. For lowering, the analogous inversion difference is , giving coefficient and the asserted normalization. These define matrices over . Their Hecke commutation follows from step 3.1 after the injective substitution , so all their polynomial commutator entries are zero already over .
Over the permutation-basis Hecke formulas force equal coefficients for ascending and descending arrangements within each source block: an ascending word goes to its swap, a descending word to times its swap plus times itself, and the equation uses only the unit . Thus the unweighted sums give the same orbit Hom basis, denoted . The cross-block inversion count is constant on , so under extension to . Repeat steps 6.1–11.1 directly with the normalized operators of step 14.1. Their supports and greedy maximal matrices are identical, and every unique pivot is now a single power of , because every contributing subset coefficient is a power of . The recursion therefore uses only -coefficients and -unit pivots and proves generation over . The same orbit presentation and recursion work after every map . Finally, adjoining with gives , free of rank two over , with ; it is faithfully flat even in characteristic two. Quantum assertions requiring a square root may be used there, while any specified map, equality, kernel, cokernel, or exact sequence already defined over descends by faithful flatness. The square-root-free generation proved here itself needs no such extension. At every construction is the identity map of or , and at all matrices are diagonal, so the base case covers both edge cases. No Choice principle, generic rank argument, or nonunit denominator is used for generation.
Polynomial quantum highest vectors satisfy every divided-power highest relation
Statement
Put , and use the integral of Integral divided-power tensor actions generate the type-A q-Schur algebra. Let be any commutative -algebra and . Let be a left -module with a specified composition-label decomposition where , consists of nonnegative integer -tuples of total , every integral toral element acts on by its integer-weight character , and the positive and negative divided powers shift labels by their root degrees. Thus the toral rank-one binomial with indices acts by . This requirement uses the full integral toral characters, including specialized binomials; it does not recover labels from the specialized eigenvalues. Each may be an arbitrary -module.
For a partition and a vector killed by every , , put . Then These are all divided powers beyond the highest bound, including those whose quantum factorial vanishes after specialization. Consequently, if , the highest-vector map gives a surjection of negative-half modules Whenever this quotient carries its integral highest-module action, with the same toral character and positive annihilation on , that map is a -module map. In particular it applies to the actual highest quotient used by the normalized q-Schur Weyl-cell comparison. No Schur factorization of is assumed. The relation proof and negative-half surjection are choice-free and hold at every specialization, over rings with torsion and zero divisors as well as fields.
Facts & Assumptions
Given: The rings, the integral quantum algebra, the specified nonnegative composition-label decomposition, and the highest vector in the Statement.
The integral rank-one reordering identity and triangular spanning hold after every base change (Divided-power multiplication, toral binomials and the reordering identity). On a highest vector of simple-coroot weight , reordering and the integer toral character give for .
The symmetric nonnegative quantum binomials are Laurent polynomials, are symmetric in their lower complementary indices, and satisfy both quantum Pascal recurrences (The quantum Pascal recurrences, the Gauss product formula and Gaussian integrality).
Proof
Extend the symmetric binomial to integer top indices using its finite product in the generic variable. If and , negating every numerator quantum integer gives . The right side is a Laurent polynomial by [F2], so this equality defines its integral specialization without dividing a specialized factorial. Put ; symmetry makes the negative binomial , and .
Establish an exact recurrence for this sequence. For an indeterminate , let be the ordinary Gaussian polynomial, characterized by . Both Pascal recurrences in [F2] give , with out-of-range terms zero. Put and . Thus and for . Multiplying formal series coefficientwise yields by induction on . Each inverse here is the formal geometric series, so no coefficient-ring element is divided. Substitution and gives Writing the denominator as , its constant term is and its top coefficient is . Coefficient comparison therefore gives for every , with a unit coefficient on the oldest term.
A zero tail forces a zero initial coefficient over every ring. More precisely, if belongs to any -module and for every , first use the recurrence of step 2.1 at to obtain when . The other terms have indices at least and are zero. Since is a unit, . Repeat this finite backward argument until . If the conclusion already follows from . This argument never divides a quantum integer or assumes that a nonzero scalar acts injectively.
Fix and , put and . The only surviving term of the rank-one reordering of has contraction index , since every other term ends in a positive divided power killing . Its toral factor acts on by , so [F1] and step 1.1 give For all , the putative composition label of has th coordinate , hence this vector is zero by the given support. Thus for every . Step 3.1 proves . This establishes every required divided relation independently, including larger than the characteristic or quantum characteristic.
If , triangular spanning in [F1] and the highest conditions give : positive nonconstant terms kill and the middle toral terms evaluate by its character. The negative-half map is onto, and step 4.1 makes each generator , , of the displayed left ideal vanish at . It therefore factors through exactly the stated negative quotient. This is a concrete quotient construction over , rather than a specialization of a generic surjectivity claim.
Suppose the quotient is supplied with the highest-module action described in the Statement. The map of step 5.1 commutes with negative divided powers by construction and with all toral elements by homogeneous degrees and the integer-weight characters. For a positive divided generator acting on a negative word, apply the same finite integral reordering identity in the quotient and in ; move the toral coefficients to the highest line and kill the positive tails. Each resulting negative term has the same coefficient and the same image in the two modules. Linearity proves commutation with every positive divided generator, hence with all of . Any such map is determined by its highest vector because the quotient is generated by the negative words. At there are no simple-root relations and the same argument gives the rank-one cyclic quotient directly; the zero module and are included. All scalar operations in the relation proof were Laurent-polynomial identities and multiplication by the units , so no flatness or Choice hypothesis is required.
Integral quantum highest modules are the normalized q-Schur Weyl cells
Statement
Assume the Axiom of Choice, inherited only through the integral highest-lattice supplier. Put , , , and . Use the integral , its surjection , and , of Integral divided-power tensor actions generate the type-A q-Schur algebra. For a partition of with at most parts, padded by zeros, set and Equip this quotient with its integral highest-module action and highest vector , with and the integral toral binomials acting by the corresponding integer-weight characters. Let be the actual fixed-first-index right Weyl cell of The type-A q-Schur algebra and its Weyl modules, with semistandard basis , cellular form and . Give its underlying module the left action Then the unique highest-vector map , , is an isomorphism. In particular is a complete integral semistandard basis, of weight , and the displayed divided-right-power relations are the entire negative-half presentation. This does not identify with a particular ordered root monomial.
Set . There is a unique homogeneous normalized -contravariant form on , explicitly Here means projection onto the free highest-weight line followed by its coefficient in . It is integral and symmetric, and for homogeneous of weight satisfies Different weights are orthogonal. Every ratio in this formula is a Laurent unit. The module, basis, quotient presentation, highest-coefficient formula and form comparison commute with arbitrary commutative -algebra base change, including fields at roots of unity and singular Gram matrices. Form radicals agree under in every such fibre; no assertion that radicals commute with arbitrary base change is made.
Over every commutative -algebra , every cyclic left -module with nonnegative composition-label support of total degree and the full integer toral characters, generated by a vector of weight killed by every positive divided generator, is a quotient of . Equivalently, the left Weyl cell is the polynomial highest-induced module , where is the image of the integral toral-positive subalgebra and is its highest character. This includes every polynomial Schur module and the zero module. The full toral-character label convention is the one specified in Polynomial quantum highest vectors satisfy every divided-power highest relation; no factorization through the Schur quotient is assumed for this stronger cyclic-highest assertion.
Facts & Assumptions
Given: The ring, degree, partition, integral hyperalgebra and actual normalized cells in the Statement.
The surjection and weight projections hold integrally and after arbitrary base change, and, with , the involutions obey (Integral divided-power tensor actions generate the type-A q-Schur algebra).
The right cell has the semistandard weight basis, star-contravariant symmetric form and . The canonical partition projection is ; the cell product has coefficient (The type-A q-Schur algebra and its Weyl modules).
The displayed negative-half quotient is the free integral highest lattice, with finite free weight pieces and the finite Weyl character, with inherited Choice (Finitely generated free integral weight lattices and deformation of the classical weight character). For type extend its labels to composition labels of fixed total by acting as on weight ; the integer-weight toral characters and root shifts give the stated action. At this is the free rank-one module directly.
The finite type-A Weyl character is the bialternant Schur character, whose coefficient at is (Semistandard tableaux expand Schur characters). The Bender–Knuth bijections permute composition contents (Bender--Knuth involutions permute the weights of semistandard tableaux).
Integral triangular spanning is ; the same spanning holds after every base change (Divided-power multiplication, toral binomials and the reordering identity). Positive and negative divided generators shift composition labels by their root degrees.
Every highest vector with nonnegative composition-label support satisfies all for , over every coefficient ring; integral reordering makes its negative-quotient map a full -module map (Polynomial quantum highest vectors satisfy every divided-power highest relation).
The Axiom of Choice is used only as inherited by [F3] and [F4]. The finite cellular constructions and ring arguments below make no additional choice assumption.
Proof
Tableau support. In any semistandard tableau, each column has at most entries in ; summing over columns gives . By [F4] the same inequality holds after permuting the content. Thus no weight , , occurs. No weight occurs when : swapping its th and st coordinates makes its first coordinates sum to , violating that inequality. Negative coordinates also cannot occur. The type- tableau is uniquely : the first content inequality is an equality forcing all 's into row one, and successively equality for forces all 's into row . Hence the top weight line is .
The highest map. The action in the Statement is a left action since reverses products. It has the stated weight labels by [F1]. Step 1.1 kills every for and every for ; the toral characters are those of weight . Thus [F3] gives a highest-module map . By the cell product and , . Surjectivity in [F1] supplies an integral preimage under of each of these endomorphisms, so generates the whole cell and is onto.
Cellular highest induction over any . Put equal to the span of cellular shapes strictly dominating . This ideal is generated by the for : choose a finite order with larger shapes first, and use modulo higher shapes, whose coefficient is by [F2]. Induction absorbs those higher terms in the already generated ideal; conversely each lies in . The quotient has exactly the basis of shape : any semistandard type in shape forces by the column count in step 1.1, and shape has the single second tableau . Star identifies this left cell with the right cell acted on by ; the weight-unit map sending its weight- basis vector to instead identifies it with the action of the Statement. Its highest vector maps to .
Integral isomorphism. In type the finite Weyl alternating quotient of [F3], on composition labels of fixed total , is : the Weyl group permutes the coordinates, and multiplying numerator and denominator by the common monomial removes the half-sum shifts. This is the bialternant of [F4]. Consequently, for each weight , [F3] and [F4] make the source and target finite free of the same rank . The map in step 2.1 is graded, hence onto on each weight. Choose finite free bases and write its square matrix ; lifting the finitely many target basis vectors gives a matrix with . Therefore , and the adjugate formula gives an inverse matrix over . Zero-rank weights have the unique empty inverse. Only finitely many weights occur, so these inverses assemble to . This proves the entire quotient presentation and the basis . Concretely a preimage under the surjection of , followed by integral triangular spanning and highest-character evaluation, gives a representative of in ; different preimages give the same quotient class. No generic-rank argument replaces the proved integral surjection.
Let be the cyclic highest module with the composition support and full toral characters in the Statement. By [F6], every divided highest relation holds, and the highest-vector map is a surjective -module map. The integral isomorphism of step 3.1 and its inverse remain inverses after arbitrary base change. Thus this is a quotient of the actual normalized Weyl cell. In particular factors through : [F1] makes stable under , so it annihilates that cell and every quotient. No factorization of was assumed. Via the unit identification of step 2.2, the corresponding left-cell quotient map preserves the highest generator. Apply this argument also to : its canonical generator has the stated toral character, is killed by all positive divided powers, and is fixed by . The last assertion follows because the integral toral projection is and has highest-character value . Thus is a quotient of the left cell. Conversely the highest vector of that cell defines a surjection onto it. Both compositions fix the cyclic highest generators, hence are identities, proving the induction equivalence. This is a direct cellular proof of the universal property.
Construct the form on the actual cell first. Give weight the scalar times and pair distinct weights by zero. Weight spaces are orthogonal for because its self-adjoint projections are orthogonal; thus the new form is symmetric and integral and has value on . For , [F1] gives . On a homogeneous component, right multiplication by this conjugate contributes when takes right weight to right weight . Hence , and cellular contravariance gives . Linearity handles sums of homogeneous components. Pull this form back by the integral isomorphism .
Highest coefficient and uniqueness. For , contravariance gives . Orthogonality and the top line make the last expression exactly . This proves the displayed coefficient construction descends through the complete quotient, including both arguments, because the already constructed form is defined on that quotient. Conversely the same equality is forced for any homogeneous normalized contravariant form, and negative words span by [F3], proving uniqueness. The construction has used only Laurent units and the integral action; it has not restricted a tensor form or divided by a tensor highest norm.
Base change and singular forms. Tensor the proved isomorphism and its inverse with any ; the quotient is its specialized presentation by right exactness of tensor product, the basis remains the specialized , and the integral form matrices and highest projection specialize entrywise. The weight factors remain units. Thus a vector pairs to zero for the specialized form exactly when its image pairs to zero for the specialized cellular form, even if the Gram determinant is zero. Steps 2.2 and 4.1 used the same free cellular basis and unit coefficients over , so their universal property also holds without flatness. At the unique empty highest cell and quotient are with form ; at the only degree- cell and quotient are likewise rank one. These prove all claims with only the inherited Choice of [C1].
Polynomial quantum Schur first levels: Weyl filtration and the actual Hecke corner
Statement
Put , , and use the actual integral tensor action and the finite normalized-cell constructions of Integral divided-power tensor actions generate the type-A q-Schur algebra and Integral quantum highest modules are the normalized q-Schur Weyl cells. For , , and its Weyl module, the first level is . It has an integral lower-Schur Weyl filtration with one factor for each removable row , ordered by decreasing dominance of . This filtration and its quotient identifications commute with arbitrary coefficient-ring base change.
Over every field with a chosen unit , write and , with the suppliers' abstract highest norm-one form. Then is one dimensional exactly for , and zero otherwise. The same Hom-space with target has dimension at most one and vanishes off these labels. Equivalently every lower-Levi primitive line of has one of these weights, with dimension at most one; primitive means annihilated by all positive divided generators.
For every commutative ring , unit , and left -module , its first level carries the actual lower algebra action induced on permutation modules, and there is a natural isomorphism The quantum Levi action, when a square root is chosen, agrees with this action under the actual tensor identification and the suppliers' weight-unit conjugation. This statement neither equates first level with a simple-root layer nor asserts that an exact corner functor preserves socles.
Facts & Assumptions
Given: The rings, ranks, actual permutation-module Schur algebras, weight projections, and normalized Weyl modules of the Statement.
The actual integral divided tensor action surjects onto , its weight blocks identify tensor space with the permutation-summand realization, and this survives arbitrary base change (Integral divided-power tensor actions generate the type-A q-Schur algebra).
The finite cellular construction and weight-unit transport are the explicit arguments in the cellular-highest-induction, polynomial-universality and direct-cell-form paragraphs of Integral quantum highest modules are the normalized q-Schur Weyl cells. The integral highest-lattice quotient and its global-basis isomorphism are not used. Step 1.1 below proves the exact needed cell interfaces without their inherited Choice. Its universal assertion concerns actual Schur modules; the lower modules used in steps 3.1 and 5.1 carry that action by steps 1.2 and 7.1. The broader finite-label-support highest universality is a separate assertion of the supplier and is not used here.
The Weyl cell is free with the actual semistandard-tableau basis, weight ranks are its tableau counts, and all weights are dominated by (The type-A q-Schur algebra and its Weyl modules). Permuting composition contents preserves their tableau counts by the finite bijections of Bender--Knuth involutions permute the weights of semistandard tableaux. The divided-power reordering establishes triangular spanning integrally; it does not require the freeness or full PBW-rank theorem (Divided-power multiplication, toral binomials and the reordering identity).
Proof
Establish the finite cell interfaces directly. Give the actual right Weyl cell the left action . Its canonical vector is highest: the semistandard weight bounds exclude , and its toral character is ; the canonical cell form has . The cell law gives , and [F1]'s integral surjection makes it cyclic highest. For an actual polynomial Schur module cyclic highest of weight , triangular spanning gives weights in , so every partition projection with annihilates it. The higher cellular ideal is generated by these projections: in decreasing shape order modulo higher shapes, with coefficient one. Hence that ideal kills . Thus , , factors through the actual left Weyl cell ; its basis is exactly the shape- columns because semistandard type requires shape at least . The unit diagonal , , of [F1] transports this left-star cell to the displayed left quantum action, giving its universal highest property. On its actual weight- vectors define and different-weight pairings zero. The exact identity makes this symmetric integral form -contravariant: the right-action weight factor is canceled by . Its highest value is one. All factors are units, so its radical is precisely the actual cell radical and its simple quotient is self-dual. These are finite cellular and matrix arguments, valid after arbitrary base change and with no use of the free global highest lattice.
Construct the corner over the original . Put . Length-additive parabolic coset bases identify with , by . Hence , extended by zero on the other summands, embeds the lower Schur algebra with identity . It is injective because the unit parabolic coset supplies a direct summand. The lower regular composition induces the upper regular type , so . On that summand the lower Hecke corner acts by left multiplication by exactly on , since .
Use the root convention and . In the negative algebra, its last-simple-root-degree-one part is spanned by with in the negative lower Levi. Here is a direct spanning proof, requiring no specialized PBW independence. Every divided-simple-generator word of this degree has exactly one , exponent one; all other generators belong to the lower Levi. Move each factor to its right past the current root using Other lower simple divided generators commute with . The first identity follows from and : induction on ordinary powers gives coefficient , canceled with in the generic algebra, leaving the displayed integral identity. The second and remaining commutations follow by inserting the root recurrence into the rank-two Serre identity and then inducting on the interval length; the only noncommuting lower adjacent endpoint is , already treated. Each move removes one right factor, so it terminates. Triangular spanning and the highest-vector relations now show . If , the weight is absent: its sorted weight strictly dominates , contrary to the tableau support. Thus and the root recurrence gives . Iteration removes all nonremovable rows. Rows beyond the height contribute zero by nonnegative weight support. Therefore the claimed removable-row generators span integrally.
Order these rows as , so decreases in dominance, and let be the negative lower-Levi span of the first generators, with . Inductively suppose is invariant. In every weight lies below a remaining generator weight by step 2.1, and is their maximum. Every positive divided generator kills the image of , since its target weight is strictly above . Triangular spanning makes its negative span invariant. The actual universal highest property gives a surjection . This proves invariance and these integral surjections at each stage, without dividing a quantum integer.
Exactly one entry in a semistandard -tableau lies at a removable corner, and deleting it gives a semistandard -tableau on . Conversely appending at that corner preserves semistandardness. Consequently the actual free ranks satisfy . Over the surjections of step 3.1 and this dimension equality force equality of every quotient dimension. The kernel of each integral surjection lies in the free -module and has generic rank zero; injectivity into its fraction-field extension therefore makes that kernel zero. Each integral quotient is thus the actual free lower Weyl module. Its freeness makes the successive short exact sequences split as -module sequences, so arbitrary base change preserves the filtration injections, quotients and surjections. Generic dimensions were used only to prove kernels of explicit integral surjections vanish, not to replace a specialized construction.
Over a field let denote the actual lower Borel image. A -map is determined by its values at the generators of step 2.1; their weights are distinct, so its dimension is at most one and is zero off . At , quotient by . This quotient has no weight above , its -space is the one-dimensional generator line by step 4.1, and later generator weights lie strictly below it. Taking that generator's coefficient, and zero on every other weight, is a well-defined nonzero -map, since a nonconstant negative operator cannot reach . This proves dimension exactly one. The universal highest property gives for every polynomial : maps are exactly primitive vectors of that weight. Taking contravariant duals identifies this with . With this proves the first Hom assertion. With , self-duality and the injection give the upper bound and label restriction. For a primitive vector of any composition weight, the functional on , pulled back to , is nonzero by the nondegenerate homogeneous form and kills every nonconstant negative lower operator by contravariance. Thus it is a -map to the character of that weight. The same generator bound excludes all other primitive weights, without presupposing their dominance. The form's toral weight orthogonality ensures first-level projection commutes with this duality.
Record the precise coefficient test needed by lowering arguments. If is nonzero, compose with and with the highest-weight coefficient in . The resulting -functional is nonzero, hence nonzero at by step 5.1. Every nonempty cut product has a nonconstant lower-Levi factor to the left and is killed by this functional. Multiplying factors by the unit toral normalization used for changes only their nonzero scalar factors on these fixed weight vectors. Thus the same zero/nonzero test applies to the normalized cut products. This argument needs neither an inherited tensor norm nor a claimed full-Hom surjection at singular parameters.
The summands of types and are both the actual regular module . Their identity isomorphisms give block matrix units in with and . Multiplication by and consequently identifies with , transporting every lower Hecke operator to its actual upper corner inclusion. This proves the natural restriction isomorphism, including , whose lower algebra and corner are . In the tensor realization of [F1], on words containing exactly one every lower divided generator leaves that position untouched and applies its subset-sum formula to the remaining ordered positions. These are exactly the induced operators of step 1.2 under the actual tensor/permutation intertwiner. Weight projections agree as well, so [F1]'s lower surjectivity proves equality of the full lower actions. The weight-unit diagonal conjugation of [F2] restricts to this subspace and intertwines the same actions after left/right conversion. This verifies the quantum/cellular comparison at every specialization by explicit generators.
5 · Examples, counterexamples and false statements
None yet.
Sources
- Andrew Mathas, Hecke algebras and Schur algebras of the symmetric group, complete prepublication manuscript (1998; expanded published edition: AMS University Lecture Series 15, 1999); complete 79-page manuscript, SHA-256 8cfeb611a95a3ff25cb95ad22bfd3a68475818301c34b04d131a8480a1b997e0
- Andrew Mathas and Marcos Soriano, Seminormal forms and Gram determinants for cellular algebras, arXiv:math/0604108; J. reine angew. Math. 619 (2008) 141-173; complete 29-page author-hosted preprint, SHA-256 a2cd21ced7f35dee695388304c26804ef8ac9c54b661a5d624501c80864698a1
- Alexander Kleshchev, Representation theory of symmetric groups and related Hecke algebras, arXiv:0909.4844; Bull. Amer. Math. Soc. 47 (2010) 419-481; complete 66-page arXiv survey, SHA-256 8685199608967fa7c479e4dd883990b716a6f708e71cf75f6ce4aba41c6f2cab
- Jun Hu and Andrew Mathas, Seminormal forms and cyclotomic quiver Hecke algebras of type A, arXiv:1304.0906; complete 51-page preprint (v3, 2014), SHA-256 54b112868aef305ccbb8ba1608005ef84ee1457104ec41d3e69af6c22c2cf520
- Alexander Kleshchev, Representation theory of symmetric groups and related Hecke algebras, arXiv:0909.4844v1, complete 66-page survey
- Andrew Mathas, Cyclotomic quiver Hecke algebras of type A, arXiv:1310.2142; in: Modular Representation Theory of Finite and p-adic Groups, Lecture Notes Series 30, World Scientific (2015) 165-266; complete 54-page preprint
- Jun Hu and Andrew Mathas, Seminormal forms and cyclotomic quiver Hecke algebras of type A, arXiv:1304.0906, complete 51-page preprint
- Andrew Mathas, Seminormal forms and Gram determinants for cellular algebras, arXiv:math/0604108; J. reine angew. Math. 619 (2008) 141-173; complete 29-page author-hosted preprint, SHA-256 a2cd21ced7f35dee695388304c26804ef8ac9c54b661a5d624501c80864698a1
- Gordon James and Adalbert Kerber, The Representation Theory of the Symmetric Group, Encyclopedia of Mathematics and its Applications 16, Cambridge University Press (1984 edition; originally Addison-Wesley, 1981)
- 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
- Gordon James and Andrew Mathas, A q-analogue of the Jantzen-Schaper theorem, Proc. London Math. Soc. (3) 74 (1997) 241-274
- Richard Dipper, Gordon James and Andrew Mathas, The (Q,q)-Schur algebra, Proc. London Math. Soc. (3) 77 (1998) 327-361; arXiv:q-alg/9701024
- Richard Dipper and Gordon James, Representations of Hecke algebras of general linear groups, Proc. London Math. Soc. (3) 52 (1986) 20-52
- Matthew Fayers, Irreducible Specht modules for Iwahori-Hecke algebras of type B, Representation Theory 16 (2012), 108-126
- Andrew Mathas, Hecke algebras and Schur algebras of the symmetric group, prepublication manuscript; Chapter 3, printed pp. 26–29, and Chapter 4, printed pp. 40–42, for the Murphy action and semistandard cell maps. The local proof uses an injective Weyl-cell map, not singular-parameter surjectivity onto all Hom spaces.
- Pavel Etingof and Mykola Semenyakin, A brief introduction to quantum groups
- Jonathan Brundan, Modular branching rules and the Mullineux map for Hecke algebras of type A
- Jonathan Brundan, Modular branching rules and the Mullineux map for Hecke algebras of type A, §§3.17–3.22 and 5.5–5.6