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.
Central content sectors are zero or primitive cyclotomic Hecke blocks
Statement
Let be any field and let have finite quantum characteristic . Use the standard cyclotomic type-A Hecke presentation with level imposed on the first polynomial variable, with and . For the roots are and has order ; for one has and the roots are the prime-field residues . Using the central CRT notation of Central content sectors of the cyclotomic Hecke algebra and Polynomial spectra and central content sectors of finite cyclotomic Hecke algebras, for every content of rank the element is either zero or a primitive central idempotent. The nonzero are exactly all primitive central idempotents, so is precisely the block decomposition. At the unique sector is , regardless of level; at , the algebra is zero. This is an arbitrary-level result over the original field in both branches.
Facts & Assumptions
Given: The central content-sector notation and CRT [F1], the block convention [F2], the degenerate center identification [F3], the primitive split content idempotents of symmetric polynomial centers [F4], the Murphy cellular basis and finite cellular heads [F5]–[F6], the Jucys–Murphy content triangularity [F7], the fixed-content connectivity theorem [F8], and the Jantzen/block linkage lemma [F9].
The pairwise-orthogonal joint residue idempotents sum to , the sums are central and orthogonal, and the regular/module CRT interpretation holds; no primitivity is asserted (Central content sectors of the cyclotomic Hecke algebra, Polynomial spectra and central content sectors of finite cyclotomic Hecke algebras).
Blocks are the primitive-central-idempotent blocks (Blocks of a finite-dimensional algebra via primitive central idempotents).
In the degenerate branch the center is the image of the symmetric polynomials (The degenerate cyclotomic Hecke center is the symmetric polynomial image).
Symmetric polynomial centers have primitive split content idempotents, applying to the early CRT projectors without a field extension or a power-sum generation assertion (Symmetric polynomial centers have primitive split content idempotents).
The arbitrary-level Murphy elements are a cellular basis with the higher two-sided ideals (The arbitrary-level cyclotomic Hecke Murphy basis is cellular), so the nonzero cellular heads are all the simple modules (Nonzero-form cellular heads, cell purity and shared-factor linkage).
Every word on , and hence on its quotient , is the node content (Arbitrary-level Murphy Jucys–Murphy action is content triangular).
Multipartitions have equal node-residue content exactly when they are -connected (Cyclotomic multipartitions have equal residue content exactly when Jantzen-connected).
-connectivity is equivalent to sharing a Hecke block (Cyclotomic Jantzen equivalence is Schur and Hecke block linkage).
Proof
Given: The field , the finite quantum characteristic , the
multiplicities , and the suppliers of [F1]–[F8].
Base cases. At rank the algebra is , the empty-word projector is , and this is its unique primitive central idempotent. At positive rank and level the defining polynomial is , so the algebra is and every content sector is , with no nonzero blocks. Hence assume rank and level .
The degenerate branch. In the branch necessarily . The center is the full symmetric-polynomial image over this by [F3], and [F4] applies to the early CRT projectors and proves that their content sums are zero or primitive. This uses neither a field extension nor a power-sum generation assertion.
The nondegenerate branch: labels of sectors. In the branch choose a charge list repeating each exactly times, so and the first polynomial is unchanged. The arbitrary-level Murphy cellular basis and the finite cellular head lemma [F5] supply all simple -modules as nonzero Specht quotients , and the content-triangular JM action [F6] says every word on , hence on , has the node content . Thus a simple module lying in a nonzero sector has a label with .
Primitivity of the nonzero sectors. Any two simple modules in the sector have labels with equal content, so [F7] connects the labels by integer Jantzen edges and [F8] transfers this to a common Hecke block. If decomposed into two nonzero orthogonal central idempotents , the nonzero finite algebras and would each have a simple module, obtained from a proper right ideal of maximal dimension. Those simple modules cannot lie in one block, because the central idempotent acts as the identity on the first and as zero on the second, and all modules and extensions split by . This contradicts the one-block assertion, so is primitive.
Every block is a content sector. In either branch let be a primitive central idempotent and write . The terms are central orthogonal idempotents, so precisely one is nonzero and ; primitivity of the nonzero from step 1.2 or step 2.1 gives . Hence the nonzero content sums are exactly all primitive central idempotents and the decomposition is precisely the block decomposition [F2]. All sums are finite, the field characteristic never reduces an integer adjacency, and no affine-block classification or citation-only center theorem is consumed.
Remarks
The theorem identifies the primitive central idempotents of the arbitrary-level cyclotomic Hecke algebra with the nonzero content sectors, in both the degenerate and nondegenerate branches and over the original field. The two branches are routed through the symmetric-polynomial center and the content-classification theorem respectively; no primitive-block theorem is assumed. No choice principle is used: all sums, sectors and simple selections are finite.
Depends on
- Central content sectors of the cyclotomic Hecke algebra
- Polynomial spectra and central content sectors of finite cyclotomic Hecke algebras
- The degenerate cyclotomic Hecke center is the symmetric polynomial image
- Symmetric polynomial centers have primitive split content idempotents
- Cyclotomic multipartitions have equal residue content exactly when Jantzen-connected
- Cyclotomic Jantzen equivalence is Schur and Hecke block linkage
- Arbitrary-level Murphy Jucys–Murphy action is content triangular
- The arbitrary-level cyclotomic Hecke Murphy basis is cellular
- Nonzero-form cellular heads, cell purity and shared-factor linkage
- Blocks of a finite-dimensional algebra via primitive central idempotents
Used by
Dependency tree · two levels
45 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)
- Jonathan Brundan, Centers of degenerate cyclotomic Hecke algebras and parabolic category O, math/0607717v3 (standard reference, not scraped)
- Matthew Fayers, Core blocks of Ariki–Koike algebras, author manuscript, J. Algebraic Combin. 26 (2007), 47–81 (standard reference, not scraped)
- Brundan–Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov–Lauda algebras, arXiv:0808.2032v4 (standard reference, not scraped)