Alphabeta Math
Pipeline-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.

Categorified braid lines, grading and decategorification — Examples

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

CounterexampleConstruction: AI-generatedVerification: AI-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)Open item page →

A vanishing Euler class does not imply contractibility of a Soergel complex

Statement refuted

A bounded complex of graded type-A Soergel bimodules whose alternating class in the split Grothendieck ring is zero must be contractible in the homotopy category.

Facts & Assumptions

Given: n≥2, R=Q[x1,…,xn], and the type-A Soergel category with unit bimodule R.

[F1]

Categorified braid-line model with an explicit realization boundary: R is the unit object of SBimn, and bounded cochain complexes are considered in Kb(SBimn).

[F2]

Split Grothendieck rings of the type-A Soergel categories: the split Grothendieck group identifies isomorphic objects and has [X⊕Y]=[X]+[Y]; the unit bimodule R is a nonzero object.

[F3]

Euler classes of Rouquier complexes are homotopy invariant and multiplicative: the Euler class of a bounded complex is χ(C)=∑m(−1)m[Cm].

[F4]

Complexes, homotopies and contractibility in an additive category: a contracting homotopy satisfies 1Cm=dm−1hm+hm+1dm in every cochain degree m.

[A1]

Take C0=C1=R as unshifted graded (R,R)-bimodules, d0=0, and all other terms and differentials zero. Compute cohomology in the abelian category of graded (R,R)-bimodules (equivalently, graded modules over Re=R⊗QRop), so Hm(C)=ker⁡(dm)/im⁡(dm−1).

Counterexample

1.1A1F1F2F3algebra

The complex C is bounded and its two nonzero terms are objects of SBimn. Its Euler class is χ(C)=[R]−[R]=0 by [F2] and [F3].

1.2A1F1algebra

Since every differential is zero, H0(C)=R and H1(C)=R. Each is nonzero because 1∈Q[x1,…,xn] is nonzero.

2.1A1F4step 1.1step 1.2∎

If C were contractible, the equation of [F4] in degree 0 would give 1R=d−1h0+h1d0=0, contradicting 1R≠0. Thus C is not contractible although its Euler class vanishes, refuting the Statement.

Remarks

This counterexample is a general bounded complex in Kb(SBimn). It is not asserted to be a Rouquier complex F(β) for any braid, so it establishes no corresponding existence claim about the braid-indexed line operators.

Sources