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.
Equal Euler classes do not by themselves prove homotopy-equivalent complexes
Statement refuted
The following statement is refuted: two bounded complexes with terms in and the same alternating class in are homotopy equivalent (equivalently, the Euler or Hecke class determines the homotopy type).
Facts & Assumptions
Given: A simple reflection , the bimodule with generators of degree and , , the standard graph bimodule of Standard graph bimodules, support filtrations and characters, and the two-term complexes and of The positive and negative Rouquier generator complexes.
Equal classes. in ; the alternating class is the alternating sum of the term classes, so the zero-differential complex with the same two terms in the same cohomological degrees has the same class , and under the identification of the split Grothendieck ring with the Hecke algebra this class corresponds to . (Euler classes of Rouquier complexes are homotopy invariant and multiplicative, Decategorification of a Rouquier complex is the Hecke braid generator)
Cohomology of the generator complex. and , all other cohomology of being zero. (Rouquier generator complexes have canonical derived graph models)
Cohomology of the zero-differential complex. For the bounded complex with zero differential, , and all other cohomology is zero. (Cohomology object of a cochain complex)
Left -ranks. is finite free of rank two as a left -module, while and its shifts are free of rank one as left -modules; an isomorphism of graded bimodules restricts to an isomorphism of left -modules, and isomorphic free modules have equal rank. (The Soergel bimodule of a simple reflection, Standard graph bimodules, support filtrations and characters)
Invariance of cohomology. Homotopy equivalent complexes have isomorphic cohomology objects, because homology factors through the homotopy category. (Homology factors uniquely through the homotopy category, Complexes, homotopies and contractibility in an additive category)
Counterexample
As a counterexample take the zero-differential complex with in cohomological degree and in degree , and the Rouquier generator complex . Both have the same alternating class but and , whereas and . Since is free of rank two as a left -module while is free of rank one, the two complexes are not quasi-isomorphic and hence, by homotopy invariance of cohomology, not homotopy equivalent. Thus the decategorification map loses the differential data already at the level of the generators.
Proof technique: direct.
The classes agree. By [F1] the generator complex has class , and has the same two terms in the same cohomological degrees with zero differential, so its alternating class is the same alternating sum, ; under both correspond to .
The cohomology differs. By [F3] and , whereas by [F2] and ; in particular is nonzero while , and the two left -modules and have different ranks.
They are not homotopy equivalent. By [F4] the left -module has rank two while has rank one, so ; independently . If and were homotopy equivalent, [F5] would make their cohomology objects isomorphic, a contradiction; hence although their classes agree, which refutes the statement.
Remarks
The counterexample uses no choice. The same phenomenon is why the derived comparisons and the homotopy-category comparisons of this page must not be conflated: in the derived category the Rouquier complexes become isomorphic to shifted graph models, while in the homotopy category the differentials carry information that the alternating class forgets already for the generators. The statement refuted is the general claim; the example above does not refute the weaker statement that two complexes with equal class and equal cohomology are homotopy equivalent, which is not claimed here in either direction.
Depends on
- Decategorification of a Rouquier complex is the Hecke braid generator
- The positive and negative Rouquier generator complexes
- Euler classes of Rouquier complexes are homotopy invariant and multiplicative
- Rouquier generator complexes have canonical derived graph models
- Homology factors uniquely through the homotopy category
- Cohomology object of a cochain complex
- Complexes, homotopies and contractibility in an additive category
- The Soergel bimodule $B_i$ of a simple reflection
- Standard graph bimodules, support filtrations and characters
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
50 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.