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.
Hall wall crossing preserves the completed spectrum generators
Statement
Let be any finite acyclic quiver over , with no finite-representation-type restriction, and let and assign a charge in to every vertex. Use the subobject-first dimension completion and the Euler and skew integrations defined on this A page. Then Each is a unit with constant term in its own completed quantum torus. Consequently conjugation by the two generators defines the same continuous automorphism on each corresponding completed torus. The products and automorphisms are formal in the dimension completion. This is a finite-field Hall identity only; it makes no physical state-counting identification.
Statement references
Facts & Assumptions
Given: A finite acyclic quiver , the finite field , and two assignments whose vertex charges lie in .
Completed Hall wall crossing for finite acyclic quivers: for every finite acyclic over and every such pair of charge assignments, the subobject-first dimension-completed Hall product factors into all semistable phase factors in decreasing order. Applying either continuous Euler integration or skew integration gives equal completed ordered products for and . Both integrated products have constant term and are units; the result includes wild quivers and strictly semistable objects and uses no Calabi–Yau, orientation-data, or analytic-convergence hypothesis.
Finite-quiver Hall spectrum generators: and are precisely those decreasing-phase ordered products of and in the completed Euler and skew tori.
Proof
Given: The quiver, field, charge assignments, and conventions in the Statement.
For each of and the hypotheses of [F1] hold. The decreasing-phase Hall factors in [F1] are the of [F2], and its continuous integrations are the maps used in [F2]. Therefore the two Euler-integrated products are equal and the two skew-integrated products are equal in their respective completions. By [F2] these are exactly and .
Let be either generator and write . Every term of has positive total dimension, so for each total-dimension bound only the finitely many powers with contribute to in degrees at most . The finite geometric identity in each such truncation gives both and degree by degree. Hence is a unit. Multiplication is continuous in the stated completion, so is a continuous automorphism with inverse . The equal generators from step 1.1 therefore induce equal automorphisms.