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
- Abelian Categories
- Adjunctions Units and Counits
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Bimodule Complexes and Derived Tensor
- Braided and Symmetric Monoidal Categories
- Cardinal Arithmetic, Cofinality and the Alephs
- Categorical Braid Actions and Decategorification
- Categories, Functors and Natural Transformations
- Categorified braid lines, grading and decategorification
- Chain Complexes and Homology
- Chain Homotopy and the Homotopy Category
- Conjugacy in Sₙ, Generation, and the Simplicity of Aₙ
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Derived Categories
- Derived Functors
- Exactness and the Member Calculus
- Ext and Balanced Resolutions
- Finite Counting, Factorials and Binomial Coefficients
- Finite Weyl Invariants, Bruhat Order, and Kostant Harmonics
- Foundations of the Real Numbers for Analysis
- Free Groups and Presentations
- Free Modules, Exact Sequences, Projective and Injective Modules
- Garside Structure, Normal Forms, and the Center
- Graded Bimodules and Tensor Functors
- Grothendieck Groups and Graded Cartan Pairings
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Homological Gaussian Elimination
- Limits and Colimits
- Long Exact Sequences in Homology
- Mapping Cones Cylinders and Chain Triangles
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Perfect Complexes and Triangulated Grothendieck Groups
- Permutation Statistics, Inversions and Eulerian Numbers
- Polynomial Rings, the Division Algorithm and Roots
- Preadditive and Additive Categories and Biproducts
- Projective and Injective Resolutions
- Rees Modules Artin Rees and Hilbert Samuel Theory
- Reflective Subcategories and the Adjoint Functor Theorems
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Rouquier Complexes and Categorical Braid Relations
- Subobject Lattices Generators and the Grothendieck Axioms
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tensor Products of Modules
- The Diagram Lemmas in an Abelian Category
- The ZFC Axioms and the Basic Set Constructions
- Tor Flatness and Global Dimension
- Triangulated Categories
- Type-A Soergel Bimodules and Hecke Categorification
- Universal Properties, Representables and the Yoneda Lemma
2 · Summary
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
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.
Statement references
Facts & Assumptions
Given: , , and the type-A Soergel category with unit bimodule .
Categorified braid-line model with an explicit realization boundary: is the unit object of , and bounded cochain complexes are considered in .
Split Grothendieck rings of the type-A Soergel categories: the split Grothendieck group identifies isomorphic objects and has ; the unit bimodule is a nonzero object.
Euler classes of Rouquier complexes are homotopy invariant and multiplicative: the Euler class of a bounded complex is .
Complexes, homotopies and contractibility in an additive category: a contracting homotopy satisfies in every cochain degree .
Take as unshifted graded -bimodules, , and all other terms and differentials zero. Compute cohomology in the abelian category of graded -bimodules (equivalently, graded modules over ), so .
Counterexample
The complex is bounded and its two nonzero terms are objects of . Its Euler class is by [F2] and [F3].
Since every differential is zero, and . Each is nonzero because is nonzero.
If were contractible, the equation of [F4] in degree would give , contradicting . Thus is not contractible although its Euler class vanishes, refuting the Statement.
Remarks
This counterexample is a general bounded complex in . It is not asserted to be a Rouquier complex for any braid, so it establishes no corresponding existence claim about the braid-indexed line operators.