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.
Unweighted triangle-orbit counts miss the derived homotopy factor
Statement refuted
For every locally finite dg-enhancement and all perfect modules , the unweighted triangle-orbit count
equals the Toën derived Hall coefficient .
Facts & Assumptions
Given: A finite field , the bounded derived category of finite-dimensional -vector spaces with its standard dg-enhancement, and the coefficient formula of Toën derived Hall numbers have the higher-Ext orbit formula.
The Toën coefficient has the extra factor (Toën derived Hall numbers have the higher-Ext orbit formula).
Counterexample
Let concentrated in degree , let , , and . Since and , every map is for a unique . Its cone is isomorphic to exactly when : for the first component is an isomorphism and cancels in the cone, while for the cone has nonzero degree-zero cohomology. Hence and , so .
In this category , while for and for all . Thus the higher-Ext factor in [F1] is and the Toën coefficient is . The claimed equality is false.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
17 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
- Bertrand Toën, Derived Hall algebras, arXiv:math/0501343v4, §§1 and 5 (standard reference, not scraped)
- Olivier Schiffmann, Lectures on Hall algebras, arXiv:math/0611617v2, §5.6 (standard reference, not scraped)