Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)
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-0 module V has level-one perfect crystal B={b1,…,be} in the sense of axioms (P1)-(P3): the weights of V are the finite Weyl orbit of λ∘=Λ1−Λ0 in Pcl with one-dimensional weight spaces, B⊗B is connected, ε(b)∈Pcl+ and φ(b)∈Pcl+ have level one for every b, the maps ε,φ:B→(Pcl+)1 are bijections onto the level-one dominant weights, and Bmin⁡:={b:⟨c,ε(b)⟩=1} equals B.

(ii) The basis G(bj):=vj is a lower global basis of V for the ordinary semilinear bar involution with coefficient bar q↦q−1 and vj‾=vj: the local A0-lattice V0=⨁jA0vj is bar-stable up to q↦q−1, the images bj=G(bj)+qV0 are the crystal elements, Eivˉ=Eivˉ and Fivˉ=Fivˉ for all v∈V, all nontrivial rank-one strings have exactly two vertices with E- and F-coefficients 1, and all remaining color strings are frozen singletons, and the divided powers Ei(m),Fi(m) vanish for m≥2. Here A=Z[q,q−1] and A0=Q[q](q) are kept distinct, with the separate positive integral chart ⨁jZ[q]vj. The Laurent, zero and infinity charts have balanced intersection ⨁jZvj, 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 G(zabj)=zavj, the loop variable fixed by the bar involution, and the full P-weight Λj−Λj−1+aδ; the finite V is a Uq′(g)-module with Pcl-weights and is not a level-one P-graded highest weight module.

Facts & Assumptions

Given: The vector module V, its affinization Vaff with the operators Ei,Fi,Kh and the crystal data εi,φi 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 Uqi(sl2) string modules.

[F1]

On B: fibj=bj+1 if j≡i and 0 otherwise; eibj=bj−1 if j≡i+1 and 0 otherwise; εi(bj)=δj≡i+1, φi(bj)=δj≡i, ε(bj)=Λj−1cl, φ(bj)=Λjcl, and the weights of V are the λj=Λj−Λj−1 with multiplicity one (The level-zero vector representation, its affinization and the level-one crystal energy).

[F2]

Uq(g) has the rank-one subalgebra generated by Ei,Fi,Ki±1 with the standard Uq(sl2)-relations; on the two-dimensional string space Vi(m) spanned by two consecutive basis vectors the operators Ei,Fi are nonzero in both directions with coefficient 1 and Ei(2)=Fi(2)=0 (Divided-power commutation and the simple Uqi(sl2) string modules, Quantum integers, factorials, Gaussian binomials and divided powers at qi).

[F3]

A crystal lattice is a weight-graded local A0-lattice stable under the normalized Kashiwara operators with residue basis given by the mod-q images (The crystal graph, εi, φi 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 B⊗B; 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.

[F4]

Q(q) is a field and q is transcendental; the finite Weyl group W of the finite subdiagram acts on Pcl through its type Ae−1 permutation action, preserving levels.

Verification

technique · read the perfectness data off the explicit arrows, prove the connectedness of $B\otimes B$ by a two-sided raising procedure, and verify the lower-basis axioms by the coefficient-one string matrices
1.1F1F3F4givenalgebra

Perfectness of B except connectedness. By [F1] every ε(bj)=Λj−1cl and φ(bj)=Λjcl has level one, and the two maps are bijections {1,…,e}→{Λ0cl,…,Λe−1cl}=(Pcl+)1 because both j↦Λjcl and j↦Λj−1cl run through the e fundamental classes; hence Bmin⁡={b:⟨c,ε(b)⟩=1}=B and axiom (P3) holds. For (P1): the weights λj of V are pairwise distinct with multiplicity one by [F1], and the finite Weyl group of the subdiagram I∖{0} acts transitively on them: its reflection si exchanges λicl and λi+1cl and fixes the others, so adjacent exchanges reach every weight, so they form the finite Weyl orbit of λ∘ with one-dimensional weight spaces. Moreover λjcl=λ1cl−∑i=1j−1αicl, by telescoping the vector-weight differences, so the required finite negative-cone bound holds and the top weight space is one-dimensional.

1.2F1F3givenalgebra

Connectedness of B⊗B 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: fi selects the first factor if φi(ba)>εi(bb), and ei does so if φi(ba)≥εi(bb). For an off-diagonal pair (ba,bb) take i≡a−1. Then φi(ba)=0 and εi(bb)=0, because b≠a, so the non-strict tie makes ei act on the first factor and sends ba to ba−1 with cyclic representatives. Repeat until the first factor equals the second; at most e−1 steps are needed. From (bj,bj), fj acts first on the first factor since 1>0, producing (bj+1,bj), then on the second factor since 0≤0, producing (bj+1,bj+1). Thus every pair is connected to a diagonal and all diagonals are mutually connected, proving (P2). No attempt to apply eb to an arbitrary ba is made.

1.3F1F2F3givenalgebra

Lower basis and separated charts of V. Define coefficient bar by q↦q−1 and vˉj=vj. The matrices of Ei,Fi have entries 0,1, so Eiv‾=Eivˉ and Fiv‾=Fivˉ; derived torals satisfy the corresponding bar-inverted toral identity. Put VA=⨁jAvj, V0=⨁jA0vj and V∞=Vˉ0. Their intersection is ⨁jZvj: coefficientwise an integral Laurent polynomial regular at both zero and infinity is an integer constant. Its residue map at zero is the basis map vj↦vj+qV0, giving the balanced integral lifts G(bj)=vj. For a fixed color the nontrivial string is vi,vi+1, with Fivi=vi+1 and Eivi+1=vi and coefficients 1. Every other vector is a singleton killed by both operators. Therefore the normalized Kashiwara operators have the same 0,1 matrices on this basis and preserve the genuine local chart; their residue arrows are ei,fi from [F1]. Also Ei2=Fi2=0, hence the divided operators of order at least two vanish. The positive integral chart ⨁jZ[q]vj is retained separately and is stable here because the matrices are 0,1; it is not the local coefficient ring.

2.1step 1.3F1F3givenalgebra

The affinized chart. Put Laff:=⨁mA0um and G(zabj)=zavj=uj−ae; extend the bar involution by z‾=z. Then ⋅‾ is semilinear with coefficient bar q↦q−1, fixes every G(zabj), and satisfies Eiw‾=Eiw‾, Fiw‾=Fiw‾ for w∈Vaff: the only loop shift occurs for i=0, where E0(zav1)=za+1ve and za+1ve‾=za+1ve=E0zav1‾, and the remaining cases have coefficients in {0,1}. The weight of G(zabj) is Λj−Λj−1+aδ, and the string bound of step 1.3 is unchanged because each i-orbit is either the same nontrivial two-vertex string shifted by loops or a frozen singleton. The finite module V carries only the Pcl-weights λj and no dominant level-one highest weight vector, so it is a level-0 Uq′(g)-module and not a level-one P-graded highest weight module; the A=Z[q,q−1], A0=Q[q](q) and positive Z[q] charts are used separately and are not identified.

3.1step 1.1step 1.2step 1.3step 2.1∎

Conclusion. The level-0 vector module has the level-one perfect crystal B={b1,…,be} with the explicit ε,φ, connected tensor square and Bmin⁡=B; the basis G(bj)=vj is a lower global basis of V whose nontrivial i-strings have two vertices with coefficients 1 and whose remaining color strings are frozen singletons and whose divided operators of order ≥2 vanish; and the affinized chart G(zabj)=zavj has the bar, lower-basis and rank-one string properties of (ii) with the full P-weight. The affinized crystal is not perfect: um and um−e have the same ε and φ, so these maps are not injective.

Remarks

Depends on

Used by

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