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.
Omitting strictly semistable objects breaks Hall factorization at the A₂ wall
Quiver
\begin{tikzpicture}[>=stealth]
\node[circle,draw,inner sep=2pt,label=below:{1}] (v1) at (0,0) {};
\node[circle,draw,inner sep=2pt,label=below:{2}] (v2) at (2,0) {};
\draw[->] (v1) -- (v2);
\end{tikzpicture}
The vertices are and the single directed edge is .
Statement refuted
The claim that the Hall HN factorization remains valid if each is replaced by the sum of only the stable isomorphism classes of phase is false. Use the A₂ quiver over and set .
Facts & Assumptions
Given: The A₂ quiver, equal-phase central charges, and the subobject-first Hall factor .
Semistability and stability test the phases of nonzero subrepresentations (Finite-field stability data for an acyclic quiver).
The all-object series and semistable phase factors are completed sums with the subobject-first convolution (Subobject-first Hall completion and quantum tori for finite quivers).
Counterexample
Given: The objects and hypotheses in the statement.
Let , , and . A subrepresentation of is a pair , so its only proper nonzero possibility is . Since , and have the same phase. Thus is semistable but not stable. The sequence is nonsplit because has no subrepresentation isomorphic to .
Every representation of dimension vector is a scalar arrow map. There are exactly two isomorphism classes: the zero map gives , and every nonzero scalar is isomorphic by vertex base changes to . Both classes are semistable at phase ; neither is stable, because has a proper subobject of the same phase and step 1.1 handles . Hence the coefficient of in is .
All nonzero dimension vectors at this wall have phase , since . Therefore the ordered product over distinct phases has only the single factor at . If that factor is replaced by , its coefficient at is : step 2.1 lists every isomorphism class of dimension and neither is stable. This contradicts the coefficient from step 2.1. The omitted term is the strictly semistable nontrivial extension , so the stable-only replacement cannot satisfy the HN factorization.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
7 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
- Tom Bridgeland, Hall algebras and Donaldson–Thomas invariants, §§4.4–4.6 (standard reference, not scraped)
- Markus Reineke, The Harder–Narasimhan system in quantum groups and cohomology of quiver moduli, §§2 and 4 (standard reference, not scraped)