Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generated
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 wall-crossing action on the Grothendieck group is multiplication by 1+s

Statement

Assume the Axiom of Choice, inherited from the published items. In the regular integral block Oλ of The regular integral block and its antidominant weight the assignment c ⁣:K0(Oλ)⟶Z[W],[Δ(w⋅λ)]⟼w, is an isomorphism of abelian groups, and for every simple reflection s the wall-crossing functor θs of The wall-crossing functor and its unit and counit satisfies c [θsX]=c [X]⋅(1+s)for all X∈Oλ, right multiplication by 1+s in the integral group ring Z[W]. Consequently, for a reduced word w=s1⋯sk one has c [θsk⋯θs1Δ(λ)]=(1+s1)(1+s2)⋯(1+sk), the sum of all subexpression products with their actual multiplicities; its top Bruhat term is w once and all other terms have strictly smaller labels. With the composition θs1⋯θsk instead, the factors are multiplied in the reverse order.

Facts & Assumptions

Given: The regular integral block Oλ, a simple reflection s, a reduced word w=s1⋯sk, and the class map c.

[F1]

The classes [Δ(v⋅λ)], v∈W, form a Z-basis of K0(Oλ), of rank ∣W∣ (Simple and standard bases of K0(O), The Grothendieck group and character of O).

[F2]

θs is exact and satisfies [θsΔ(v⋅λ)]=[Δ(v⋅λ)]+[Δ(vs⋅λ)] for every v∈W (Wall-crossing acts on standard modules by a two-step extension, The wall-crossing functor and its unit and counit).

[F3]

In the Bruhat order of Bruhat order on a finite Weyl group, a product of a subword of the reduced expression s1⋯sk is ≤w; a proper subword has strictly smaller length and hence a strictly smaller label unless it uses every letter.

Proof

technique · direct
1.1F1

The map c is a well-defined homomorphism: by [F1] the classes of the standards are a Z-basis indexed by the ∣W∣ elements of W; sending the basis element [Δ(v⋅λ)] to v therefore extends uniquely to an isomorphism of free abelian groups of rank ∣W∣.

2.1F2step 1.1algebra

On every Verma class the formula holds: c[θsΔ(v⋅λ)]=v+vs=v(1+s)=c[Δ(v⋅λ)]⋅(1+s) by [F2], using that right multiplication by s in Z[W] sends the basis element v to vs. Since θs is exact by [F2] it induces an additive endomorphism of K0; agreement on the standard basis [F1] gives c[θsX]=c[X](1+s) for all X∈Oλ, and both sides are additive in X.

3.1F3step 2.1algebra∎

Iterate step 2.1 along the word, applying the factors in the order in which they act: the composite θsk⋯θs1 applies θs1 first, so c[θsk⋯θs1Δ(λ)]=(((1+s1))(1+s2))⋯(1+sk)=(1+s1)(1+s2)⋯(1+sk); expanding the product gives the sum over all subwords si1⋯sir, i1<⋯<ir, of their products, with the multiplicity with which each product arises. The full subword contributes w once; every proper subword has strictly smaller length, and its product is ≤w with smaller length, hence strictly smaller than w in the Bruhat order by [F3]. Reversing the order of composition multiplies the factors in the reverse order, as recorded.

Depends on

Used by

Dependency tree · two levels

32 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