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 whole partition Fock space is not the basic representation
Statement refuted
The assertion that the entire partition Fock module is the basic representation, i.e. that for every finite , is false. For every finite the Fock module is strictly larger than : the raw basis vector is not in , and its ambient lower lift is also not in . The full field decomposition is , the multiplicity is , and the higher constituents are nonzero; consequently the full crystal has all partitions as vertices while its empty component is exactly the -regular partitions.
Facts & Assumptions
Given: The partition Fock space with its crystal and global basis, the module , and the decomposition theorem.
The empty component of the full crystal is exactly the -regular partitions and equals the crystal of ; the full crystal is a graph on all partitions; the decomposition is with choice used only there (The empty component is the highest weight crystal , The Axiom of Choice).
is the simple integrable module generated by the vacuum and receives the lower global basis of the empty component (The empty partition generates an integrable highest weight submodule of highest weight , The basic representation global basis is unitriangular in the partition basis).
The top weight is maximal, so the top isotypic splitting of the crystal lattice gives with residue basis exactly the empty component; the shape has all parts equal and multiplicity , so it is not -regular (Uniqueness: crystal bases of integrable modules decompose into highest weight crystals, The level-one partition Fock space and node residues).
Verification
Strictness. By [F1] the full field decomposition contains the summands for every with multiplicity , and the summand occurs with multiplicity ; since for and those constituents are nonzero, is strictly larger than its constituent .
Raw-vector exclusion. The shape is not -regular: all its parts equal and occur times, so it lies outside the empty component by [F1]; since the residue basis of is exactly the empty component by [F3], every vector in has residue a combination of regular labels. The raw vector has nonzero residue in equal to the nonregular shape , so ; the same argument applies to , which is congruent to the same shape modulo .
Conclusion. The whole partition Fock space is not the basic representation: it has strictly more constituents than the single , and even the explicit raw and lower-lift vectors and lie outside ; the nonregular ambient lower vectors are not a basis of a single highest module.
Remarks
- The decomposition theorem used in step 1.1 is a batch-7 supplier still under construction at authoring time, and the Axiom of Choice is inherited through it; the exclusion of step 2.1 is a finite residue computation and does not itself use choice.
Depends on
- The empty partition generates an integrable highest weight submodule of highest weight $\Lambda_0$
- The empty component is the highest weight crystal $B(\Lambda_0)$
- The level-one partition Fock space and node residues
- The basic representation global basis is unitriangular in the partition basis
- The Axiom of Choice
- Uniqueness: crystal bases of integrable modules decompose into highest weight crystals
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
33 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
- Masaki Kashiwara, Tetsuji Miwa and Eugene Stern, Decomposition of q-deformed Fock spaces, arXiv:q-alg/9508006 (standard reference, not scraped)
- Bernard Leclerc, Fock space representations (complete author-hosted 38-page body) (standard reference, not scraped)
- Kailash C. Misra and Tetsuji Miwa, Crystal base for the basic representation of $U_q(\mathfrak{sl}(n))$, Comm. Math. Phys. 134 (1990), 79-88 (standard reference, not scraped)