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.
The cyclotomic anti-involution fixes the affine and Murphy generators
Statement
For , let be the multiplicative cyclotomic Hecke algebra of The multiplicative cyclotomic Hecke algebra. There is a unique -linear involutive algebra anti-automorphism of fixing every and every . Since by Cyclotomic Jucys–Murphy generators and their transport relations, it fixes every . Its restriction to the finite type-A Hecke subalgebra is the reversal anti-involution.
Facts & Assumptions
Given: Integers , the coefficient ring , and the generators and relations in The multiplicative cyclotomic Hecke algebra.
The algebra is the quotient of the free associative -algebra on by the displayed quadratic, braid, commuting, affine, inverse, and cyclotomic relations. (The multiplicative cyclotomic Hecke algebra, The free associative R-algebra on a set and descent of relations)
The involution on the free algebra obtained by reversing each word and fixing its letters descends to a quotient whenever it preserves the two-sided ideal of defining relations. (The free associative R-algebra on a set and descent of relations)
The recursively defined Murphy generators satisfy for all . (Cyclotomic Jucys–Murphy generators and their transport relations)
Proof
Given: The free presentation and relations of .
On the free associative algebra define by for , , , , and , extending -linearly. Word reversal is an involutive anti-automorphism, so this defines an involutive anti-automorphism of the free algebra.
The quadratic relation is a polynomial in one fixed generator and is fixed by reversal. Each braid word in the is palindromic, each distant commutation relation reverses to the same equality with sides exchanged, each relation and reverses to its equivalent reversed equality, and is fixed because its left word is palindromic and is central. The inverse relations reverse to the other inverse equations, and the cyclotomic relation is fixed because it is a polynomial in . Thus reversal sends every defining relator into the defining ideal. As the ideal is two-sided, it is preserved under reversal, so descends to an involutive anti-automorphism of .
The quotient is generated by the displayed letters and , so any anti-homomorphism fixing them is unique. By [F3], , hence . On words in the finite generators , reversal sends a reduced word for to the reversed reduced word for ; therefore , as for the finite reversal anti-involution.
Depends on
Used by
- Cyclotomic Murphy elements Definition
Dependency tree · two levels
28 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
- Richard Dipper, Gordon James, and Andrew Mathas, Cyclotomic q-Schur algebras, Mathematische Zeitschrift 229 (1998), 385–416 (standard reference, not scraped)
- Andrew Mathas, Hecke algebras with cyclotomic parameters, in Iwahori-Hecke Algebras and Schur Algebras of the Symmetric Group, complete preliminary lecture manuscript (standard reference, not scraped)