Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)
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 F, at any level ℓ≥1, with qH≠1 of finite order e≥2 and charges Qa=qHca, use the actual multipartition-summand Schur cover and standards of Cyclotomic Schur standards and corner functor control block linkage and the integer Jλμ of Cyclotomic Schur Jantzen sum formula from rim-hook valuations. Let ∼J be the equivalence relation on multipartitions generated by Jλμ≠0 or Jμλ≠0. Then λ∼Jμ⟺Δλ,Δμ lie in one Schur block⟺Sλ,Sμ lie in one Hecke block. For rank 0 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 K0 basis [F1], the terminating radical-first Jantzen formula [F2], the block convention [F3] and the Grothendieck basis convention [F4].

[F1]

Standard block purity, shared-simple-factor linkage, the unitriangular standard K0 basis, and the Schur/Specht block correspondence: two standards Δλ,Δμ share a block exactly when the corresponding Murphy Specht modules Sλ,Sμ 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).

[F2]

The Jantzen filtration (ΔF(λ)s) is radical-first and terminating, with ∑s>0[ΔF(λ)s]=∑μJλμ[ΔF(μ)] in the integer Grothendieck group (Cyclotomic Schur Jantzen sum formula from rim-hook valuations).

[F3]

Blocks are the primitive-central-idempotent blocks (Blocks of a finite-dimensional algebra via primitive central idempotents).

[F4]

The Grothendieck group has the standard classes as a Z-basis because the decomposition matrix to simple classes is triangular with diagonal 1 (Grothendieck group of an essentially small abelian category).

Proof

technique · direct

Given: The data and suppliers of [F1]–[F4].

1.1F1F4

Standard classes form a Z-basis. The matrix of standard classes to simple classes is triangular with diagonal one by [F1], hence [F4] makes the classes [Δ(λ)] a Z-basis of the integer Grothendieck group of the Schur cover, and the classes of the block projections are independent as well.

2.1F1F2F3step 1.1

Nonzero J-coefficients link the same block. Suppose Jλμ≠0 and project the Jantzen sum identity of [F2] to all blocks other than the block of Δ(λ). Its left side is zero because each ΔF(λ)i is a submodule of the block-pure standard Δ(λ); its right side is a Z-linear combination of standard classes lying in those other blocks, and the coefficient of [Δ(μ)] in it is exactly Jλμ≠0. Basis independence from step 1.1 forces that coefficient to vanish, a contradiction unless Δ(μ) lies in the block of Δ(λ).

2.2F1F2F3step 1.1

Nonzero decomposition numbers force a J-chain. Put dλμ=[Δ(λ):L(μ)]. For λ≠μ, the radical Δ(λ)1=rad⁡Δ(λ) contains every composition factor L(μ) of Δ(λ), and all higher filtration terms lie in that radical, so the coefficient of [L(μ)] in the left side of the Jantzen identity is nonzero exactly when dλμ≠0; on the right it is ∑νJλνdνμ. If dλμ≠0, this integer is nonzero, so some ν satisfies Jλν≠0 and dνμ≠0, with λ⊳ν⊵μ. Repeating strictly decreases the index in the finite dominance poset until ν=μ, so λ∼Jμ. Consequently any two standards sharing a simple factor are both J-connected to that factor's index, and therefore to each other.

3.1F1step 2.1step 2.2∎

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 J-edge to the common index, and step 2.1 shows every J-edge lies inside one block; hence sharing a Schur block is equivalent to ∼J-connectivity. Applying the established Schur/Specht block correspondence of [F1] transfers this equivalence to the Murphy Specht modules and the Hecke algebra. In rank 0 there is one empty standard, all positive filtration terms vanish, and the single empty class is its own Jantzen class; the argument never reduces J 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