How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Cyclotomic Jantzen equivalence is Schur and Hecke block linkage
Statement
Over any field , at any level , with of finite order and charges , use the actual multipartition-summand Schur cover and standards of Cyclotomic Schur standards and corner functor control block linkage and the integer of Cyclotomic Schur Jantzen sum formula from rim-hook valuations. Let be the equivalence relation on multipartitions generated by or . Then For rank there is the single empty class. No residue-content block assertion is used as an input.
Facts & Assumptions
Given: The Schur/Specht block correspondence and standard basis [F1], the terminating radical-first Jantzen formula [F2], the block convention [F3] and the Grothendieck basis convention [F4].
Standard block purity, shared-simple-factor linkage, the unitriangular standard basis, and the Schur/Specht block correspondence: two standards share a block exactly when the corresponding Murphy Specht modules share a block, and cell modules share a block exactly when linked by a finite chain of cell modules whose neighbouring terms share a simple factor (Cyclotomic Schur standards and corner functor control block linkage).
The Jantzen filtration is radical-first and terminating, with in the integer Grothendieck group (Cyclotomic Schur Jantzen sum formula from rim-hook valuations).
Blocks are the primitive-central-idempotent blocks (Blocks of a finite-dimensional algebra via primitive central idempotents).
The Grothendieck group has the standard classes as a -basis because the decomposition matrix to simple classes is triangular with diagonal (Grothendieck group of an essentially small abelian category).
Proof
Given: The data and suppliers of [F1]–[F4].
Standard classes form a -basis. The matrix of standard classes to simple classes is triangular with diagonal one by [F1], hence [F4] makes the classes a -basis of the integer Grothendieck group of the Schur cover, and the classes of the block projections are independent as well.
Nonzero -coefficients link the same block. Suppose and project the Jantzen sum identity of [F2] to all blocks other than the block of . Its left side is zero because each is a submodule of the block-pure standard ; its right side is a -linear combination of standard classes lying in those other blocks, and the coefficient of in it is exactly . Basis independence from step 1.1 forces that coefficient to vanish, a contradiction unless lies in the block of .
Nonzero decomposition numbers force a -chain. Put . For , the radical contains every composition factor of , and all higher filtration terms lie in that radical, so the coefficient of in the left side of the Jantzen identity is nonzero exactly when ; on the right it is . If , this integer is nonzero, so some satisfies and , with . Repeating strictly decreases the index in the finite dominance poset until , so . Consequently any two standards sharing a simple factor are both -connected to that factor's index, and therefore to each other.
Blocks and Hecke linkage. By [F1], two standards share a Schur block exactly when they are linked by a finite chain of standards whose neighbouring terms share a simple factor. Step 2.2 converts each such shared factor into a -edge to the common index, and step 2.1 shows every -edge lies inside one block; hence sharing a Schur block is equivalent to -connectivity. Applying the established Schur/Specht block correspondence of [F1] transfers this equivalence to the Murphy Specht modules and the Hecke algebra. In rank there is one empty standard, all positive filtration terms vanish, and the single empty class is its own Jantzen class; the argument never reduces coefficients modulo the field characteristic.
Remarks
The lemma proves the Lyle–Mathas block-linkage description of the Jantzen equivalence from the local Jantzen sum formula rather than citing it: nonzero decomposition numbers propagate along strictly decreasing dominance chains, and the cellular block purity of the standards supplies the converse. No choice principle is used: all chains, coefficient sums and block projections are finite.
Depends on
Used by
Dependency tree · two levels
22 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
- Lyle–Mathas, Blocks of cyclotomic Hecke algebras, math/0607451v4 (standard reference, not scraped)