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 transposition class sum acts on a complex Specht module by total content
Statement
Let , let , and let be the complex Specht module. Put Then is central in and acts on as the scalar If , and is its character, then For , and ; no transposition character value is asserted.
Facts & Assumptions
Given: , the complex Specht module, and the displayed transposition sum.
Row and column stabilizers preserve the individual row and column sets. The tabloid stabilizer is the row stabilizer. The Specht module lies in the finite-dimensional tabloid permutation module and contains , whose coefficient at is because . (Row and column stabilizers, Young subgroups, tabloids, and permutation modules, Column antisymmetrizers, polytabloids, and Specht modules)
Complex Specht modules are nonzero irreducible representations. An endomorphism of a finite-dimensional irreducible representation over an algebraically closed field is scalar. (Complex Specht modules are irreducible, Over an algebraically closed field, every endomorphism of an irreducible representation is scalar)
A partition's conjugate records its column heights; its diagram consists of the nodes with . Characters are traces, and trace is linear. (Partitions, English diagrams, and conjugation, The character of a finite-dimensional complex representation, Trace is a linear functional on )
Proof
Conjugation by any permutation sends to the transposition of its two images, hence permutes the summands of . Thus is central, so its action on the nonzero finite-dimensional irreducible Specht module is an intertwiner and equals for some by [F2]. Choose the row-filled tableau of shape , and use its nonzero polytabloid . Taking the coefficient of in recovers , since that coefficient in is by [F1].
A summand indexed by a transposition and contributes to this coefficient precisely when . Put , so . If , then . The entry has the column of , and since preserves each row it also has the row of . Their row-column intersection consists of alone, so and . Thus both and fix the complement of ; each is either the identity or . Their product is exactly when one is and the other is the identity. Therefore the contributing pairs are exactly: , , of sign ; and , , of sign . These cases cannot overlap, since two distinct entries cannot share both row and column.
There are transpositions within rows and within columns. By steps 1.1 and 2.1 their difference is . Summing within every row gives the first count, and summing within every column gives the second; hence their difference is . Also and , proving every formula for . This includes : there are no row or column pairs and the transposition sum is zero.
For , all transpositions are conjugate, so their representing matrices are similar and have character value . Taking traces of the scalar action in step 3.1 gives by [F3]. Dividing by the nonzero integer proves the stated character formula. The construction and coefficient count are finite and use no choice of an arbitrary family or seminormal-basis input.
Depends on
- Partitions, English diagrams, and conjugation
- Row and column stabilizers
- Young subgroups, tabloids, and permutation modules
- Column antisymmetrizers, polytabloids, and Specht modules
- Complex Specht modules are irreducible
- Over an algebraically closed field, every endomorphism of an irreducible representation is scalar
- The character $\chi_V(g)=\operatorname{tr}(\rho_V(g))$ of a finite-dimensional complex representation
- Trace is a linear functional on $M_n(F)$
Used by
Dependency tree · two levels
25 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
- Garsia, Young Seminormal Representation, Murphy Elements and Content Evaluations, Theorem 3.2 and Remark 3.1, printed pp.19-21; coefficient argument reproduced using polytabloids instead of seminormal units (standard reference, not scraped)
- Charlotte Chan, Representation Theory of Symmetric Groups, Definitions 3.8/3.12 and Theorem 4.4, printed pp.12-16 (standard reference, not scraped)