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.
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 .
Depends on
- The content of a node and the content vector of a standard tableau
- The generic type-A Hecke algebra
- The Jucys-Murphy elements of the symmetric group algebra
- The $q$-integer, $q$-factorial and $q$-multinomial coefficients
- The quantum characteristic of an invertible Hecke parameter
- The star anti-automorphism of the type-A Hecke algebra
- Group algebra and finite-field specializations of the generic Hecke algebra
- The standard basis of the generic type-A Hecke algebra
- The symmetric group has the Coxeter presentation
Used by
Dependency tree · two levels
31 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
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 (standard reference, not scraped)
- 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 (standard reference, not scraped)