Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck pass
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 crystal of the level-one Fock space is the good-node partition graph

Statement

The whole level-one Fock module has the crystal basis (F0,BF) with F0=⨁λA0∣λ⟩, A0=Q[q](q) and BF={∣λ⟩+qF0:λ a partition}. The normalized Kashiwara operators remove the good normal i-node and add the cogood conormal i-node of the corrected signature of Good and cogood nodes by residue-signature reduction, and εi,φi are the surviving minus/plus counts. The graph is a graph on all partitions, not only regular ones; its empty connected component is precisely the set of e-regular partitions, while the e-restricted labels belong to the transposed model. A pole or a unique Chevalley term does not determine a crystal arrow.

Facts & Assumptions

Given: The Fock module with its node operators, its partition basis and the fixed-residue cubes; the signature reduction; the lattice formalism.

[F1]

Each fixed-residue block is a finite tensor bit module, the raw A0-span of partitions is stable under the normalized string operators, and the residue rule including both endpoints is the survivor rule (Fixed-residue node cubes realize the actual Fock strings).

[F2]

F is generated over the fraction field by the weight-graded lattice and satisfies the quantum affine relations; the node-count lemma gives the weight formula (The Fock space node formulas satisfy the quantum affine relations, The addable-minus-removable node count is the level-one Cartan pairing).

[F3]

A crystal lattice is an A0-lattice stable under the normalized Kashiwara operators whose mod-q images give a crystal with ε,φ determined by string lengths (Crystal lattices, crystal bases and their crystals, The crystal graph, εi, φi and the weight function).

Proof

technique · verify the crystal axioms blockwise on the finite cubes and then identify the empty component by the regular-block argument
1.1F1F2F3algebra

The crystal basis. By [F1] the A0-span F0 is stable under the normalized string operators, and the mod-q residues of the partition basis are the crystal elements; the string lengths give εi,φi as the surviving minus/plus counts, and the weight formula is [F2]. Since each fixed-residue block is a finite tensor cube of two-vertex strings, all crystal axioms (the intertwining of ε,φ with the weight, the partial-inverse property of ei,fi, and the finiteness of the strings) hold blockwise, hence on the whole graph; the graph has all partitions as vertices because every partition lies in the raw A0-span.

2.1step 1.1F3algebra

The empty component consists of regular partitions. Use decreasing-content order and the survivor rule. If removing the selected last surviving minus creates e equal rows of length L−1, then below its removable row there is a block of e−1 rows of length L−1 whose last corner is a consecutive same-residue minus: if the upper minus survives, so does this lower one, so the upper one cannot have been selected; hence good deletion preserves regularity. Dually, if adding the selected first surviving plus creates e equal rows of the new length, then a block of e−1 rows of that length lies immediately above it and its first addable corner is a consecutive same-residue plus which survives whenever the lower plus does, so the lower plus is not selected; hence cogood addition preserves regularity. Both operators therefore stay inside the regular labels.

3.1step 2.1F1F3algebra

Reachability of all regular partitions and the component. Every nonempty regular partition has a top block of a<e equal rows; its first removable corner has residue L−a, while the only earlier addable corner has residue L, so the minus has no matching same-residue plus and survives: a good deletion exists, it remains regular and lowers the size. Induction on the size together with the inverse axiom reaches every regular partition from the empty one, and since the empty partition is regular and all edges of the component preserve regularity, the empty component is exactly the set of e-regular partitions. The transposed (e-restricted) model arises by conjugation and is not the same vertex set.

4.1step 1.1step 2.1step 3.1∎

Conclusion. The crystal basis of the whole Fock space is the good-node partition graph on all partitions with the survivor ε,φ, and its empty connected component is exactly the e-regular partition set, proved by the block argument without an imported path count or an abstract rank-one recognition.

Remarks

Depends on

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