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.
A partition with too many rows vanishes at fixed rank
Statement refuted
In the Littlewood--Richardson tensor-product rule the row bound on the summands may be suppressed: every partition with contributes a nonzero summand of the tensor product (The Littlewood--Richardson tensor-product rule, Schur modules and their characters).
Facts & Assumptions
Given: AC, and the partitions , , .
For a partition , the Schur module is the zero module when , and for it is a nonzero irreducible polynomial module with character ; the Schur polynomial is defined to be when (Schur modules and their characters, Stable Schur functions from bialternants, Littlewood--Richardson coefficients stabilise with rank).
and ; in each case the exterior power is the Schur module of the column (If , then , On , the induced map is multiplication by , The vertical Pieri rule).
Vertical Pieri gives LR coefficient one for each of the two partitions and containing whose skew complement is a vertical strip. At rank , , so only is a nonzero summand; at rank both terms are nonzero (The vertical Pieri rule, Schur modules and their characters).
Counterexample
Given: , , and (Partitions, English diagrams, and conjugation).
, because [F1]. In rank the same module is nonzero, since [F2]; so the vanishing is a fixed-rank phenomenon, not a vanishing of the coefficient.
The coefficient is nonzero: , because the skew diagram is the single box , the unique semistandard tableau of that shape and content carries the letter , and its reading word is a lattice word. Equivalently, vertical Pieri [F3] assigns coefficient one to this shape; at rank its Schur module is zero, while at rank it is a nonzero summand.
At rank the honest decomposition is without the summand of step 1.1; its dimensions follow directly from tableaux: shape on two letters has its unique column , while shape has that forced first column and a top-right entry or (Semistandard tableaux expand Schur characters). Hence , so no room remains for a second nonzero summand. Hence the term with is a zero module: suppressing the bound and claiming that every with contributes a nonzero summand of the tensor product is false, although the coefficient itself is and the corresponding stable statement at large rank is true.
Consistently, the rank- Schur polynomial vanishes, , whereas holds as an identity of symmetric functions; the specialization to two variables drops the second term by definition, and at rank it is a genuine summand.
Depends on
- Semistandard tableaux expand Schur characters
- On $\Lambda^{n}V$, the induced map $\Lambda^{n}T$ is multiplication by $\det T$
- The Axiom of Choice
- Schur modules and their characters
- The Littlewood--Richardson tensor-product rule
- The vertical Pieri rule
- Littlewood--Richardson coefficients stabilise with rank
- If $k>\dim V$, then $\Lambda^kV=0$
- Stable Schur functions from bialternants
- Partitions, English diagrams, and conjugation
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
35 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
- T. Seynnaeve, Representation Theory (lecture notes, Bern) (standard reference, not scraped)
- P. Etingof, Lie Groups and Lie Algebras II (MIT 18.755, Spring 2024), complete lecture notes (standard reference, not scraped)