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 vector representation has a perfect crystal of level one and a lower global basis
Statement
Keep the conventions of The level-zero vector representation, its affinization and the level-one crystal energy. Then:
(i) The derived level- module has level-one perfect crystal in the sense of axioms (P1)-(P3): the weights of are the finite Weyl orbit of in with one-dimensional weight spaces, is connected, and have level one for every , the maps are bijections onto the level-one dominant weights, and equals .
(ii) The basis is a lower global basis of for the ordinary semilinear bar involution with coefficient bar and : the local -lattice is bar-stable up to , the images are the crystal elements, and for all , all nontrivial rank-one strings have exactly two vertices with - and -coefficients , and all remaining color strings are frozen singletons, and the divided powers vanish for . Here and are kept distinct, with the separate positive integral chart . The Laurent, zero and infinity charts have balanced intersection , so this is the actual integral/bar-compatible lower basis.
(iii) The bar, lower-basis and rank-one string statements of (ii) hold on the affinization with , the loop variable fixed by the bar involution, and the full -weight ; the finite is a -module with -weights and is not a level-one -graded highest weight module.
Facts & Assumptions
Given: The vector module , its affinization with the operators and the crystal data of The level-zero vector representation, its affinization and the level-one crystal energy, the Bar/global basis framework of Crystal lattices, crystal bases and their crystals, and the rank-one string formulas of Divided-power commutation and the simple string modules.
On : if and otherwise; if and otherwise; , , , , and the weights of are the with multiplicity one (The level-zero vector representation, its affinization and the level-one crystal energy).
has the rank-one subalgebra generated by with the standard -relations; on the two-dimensional string space spanned by two consecutive basis vectors the operators are nonzero in both directions with coefficient and (Divided-power commutation and the simple string modules, Quantum integers, factorials, Gaussian binomials and divided powers at ).
A crystal lattice is a weight-graded local -lattice stable under the normalized Kashiwara operators with residue basis given by the mod- images (The crystal graph, , and the weight function, Crystal lattices, crystal bases and their crystals). The perfectness criteria used here are: (P1) all weights lie in the convex hull of the Weyl orbit of an extremal weight , whose orbit weight spaces are one-dimensional; (P2) connectedness of ; and (P3) level at least one for , with and bijective from the minimal-level elements onto dominant level-one classical weights. These criteria are verified locally in steps 1.1 and 1.2; the cited lattice definitions are not claimed to define perfectness.
is a field and is transcendental; the finite Weyl group of the finite subdiagram acts on through its type permutation action, preserving levels.
Verification
Perfectness of except connectedness. By [F1] every and has level one, and the two maps are bijections because both and run through the fundamental classes; hence and axiom (P3) holds. For (P1): the weights of are pairwise distinct with multiplicity one by [F1], and the finite Weyl group of the subdiagram acts transitively on them: its reflection exchanges and and fixes the others, so adjacent exchanges reach every weight, so they form the finite Weyl orbit of with one-dimensional weight spaces. Moreover , by telescoping the vector-weight differences, so the required finite negative-cone bound holds and the top weight space is one-dimensional.
Connectedness of for the fixed coproduct. Use the fixed rank-one tensor rule of Rank-one tensor strings and their crystal limit rule, applied to the coefficient-one strings established in the displayed vector formulas: selects the first factor if , and does so if . For an off-diagonal pair take . Then and , because , so the non-strict tie makes act on the first factor and sends to with cyclic representatives. Repeat until the first factor equals the second; at most steps are needed. From , acts first on the first factor since , producing , then on the second factor since , producing . Thus every pair is connected to a diagonal and all diagonals are mutually connected, proving (P2). No attempt to apply to an arbitrary is made.
Lower basis and separated charts of . Define coefficient bar by and . The matrices of have entries , so and ; derived torals satisfy the corresponding bar-inverted toral identity. Put , and . Their intersection is : coefficientwise an integral Laurent polynomial regular at both zero and infinity is an integer constant. Its residue map at zero is the basis map , giving the balanced integral lifts . For a fixed color the nontrivial string is , with and and coefficients . Every other vector is a singleton killed by both operators. Therefore the normalized Kashiwara operators have the same matrices on this basis and preserve the genuine local chart; their residue arrows are from [F1]. Also , hence the divided operators of order at least two vanish. The positive integral chart is retained separately and is stable here because the matrices are ; it is not the local coefficient ring.
The affinized chart. Put and ; extend the bar involution by . Then is semilinear with coefficient bar , fixes every , and satisfies , for : the only loop shift occurs for , where and , and the remaining cases have coefficients in . The weight of is , and the string bound of step 1.3 is unchanged because each -orbit is either the same nontrivial two-vertex string shifted by loops or a frozen singleton. The finite module carries only the -weights and no dominant level-one highest weight vector, so it is a level- -module and not a level-one -graded highest weight module; the , and positive charts are used separately and are not identified.
Conclusion. The level- vector module has the level-one perfect crystal with the explicit , connected tensor square and ; the basis is a lower global basis of whose nontrivial -strings have two vertices with coefficients and whose remaining color strings are frozen singletons and whose divided operators of order vanish; and the affinized chart has the bar, lower-basis and rank-one string properties of (ii) with the full -weight. The affinized crystal is not perfect: and have the same and , so these maps are not injective.
Remarks
-
The connectedness argument uses only the fixed-coproduct tensor rule and the explicit arrows; the opposite channel has the mirrored rule and is not needed here.
-
The supplier The crystal graph, , and the weight function and Crystal lattices, crystal bases and their crystals are batch-6 items still under construction at authoring time; their exact uses are axioms (P1)-(P3) in step 1.1 and the lattice/residue formalism in steps 2.1 and 3.1. The decision is left escalated until the suppliers are completed and the interfaces rechecked.
Depends on
- The level-zero vector representation, its affinization and the level-one crystal energy
- The crystal graph, $\varepsilon_i$, $\varphi_i$ and the weight function
- Crystal lattices, crystal bases and their crystals
- Rank-one tensor strings and their crystal limit rule
- Divided-power commutation and the simple $U_{q_i}(\mathfrak{sl}_2)$ string modules
- Quantum integers, factorials, Gaussian binomials and divided powers at $q_i$
Used by
- The finite q-wedge space and the normal-ordering relations Definition
- Tail estimates: q-adic vanishing against the vacuum and finiteness of the weight strings Lemma
- The q-wedge relations coincide with the type-A energy braiding kernel Lemma
- Normally ordered q-wedges form a basis for every finite wedge length Theorem
Dependency tree · two levels
22 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
- Kashiwara-Miwa-Petersen-Yung, Perfect crystals and q-deformed Fock spaces (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)
- Bernard Leclerc, Fock space representations (author-hosted complete 38-page treatment) (standard reference, not scraped)