Alphabeta Math
CounterexampleConstruction: AI-generatedVerification: AI-adaptedPipeline-generatedprecheck pass
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 1,2 and the single directed edge is 1→2.

Statement refuted

The claim that the Hall HN factorization remains valid if each SZ(ϕ) is replaced by the sum of only the stable isomorphism classes of phase ϕ is false. Use the A₂ quiver 1→2 over Fq and set z1=z2∈H.

Facts & Assumptions

Given: The A₂ quiver, equal-phase central charges, and the subobject-first Hall factor SZ(ϕ).

[F1]

Semistability and stability test the phases of nonzero subrepresentations (Finite-field stability data for an acyclic quiver).

[F2]

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.

1.1F1constructalgebra

Let E=(Fq→idFq), S1=(Fq→0), and S2=(0→Fq). A subrepresentation of E is a pair U1⊆U2⊆Fq, so its only proper nonzero possibility is S2. Since z1=z2, E and S2 have the same phase. Thus E is semistable but not stable. The sequence 0→S2→E→S1→0 is nonsplit because E has no subrepresentation isomorphic to S1.

2.1F1step 1.1construct

Every representation of dimension vector (1,1) is a scalar arrow map. There are exactly two isomorphism classes: the zero map gives S1⊕S2, and every nonzero scalar is isomorphic by vertex base changes to E. Both classes are semistable at phase ϕ; neither is stable, because S1⊕S2 has a proper subobject of the same phase and step 1.1 handles E. Hence the coefficient of δE in Aall is 1.

3.1F1F2step 2.1algebra∎

All nonzero dimension vectors at this wall have phase ϕ, since Z(d1,d2)=(d1+d2)z1. Therefore the ordered product over distinct phases has only the single factor at ϕ. If that factor is replaced by SZst(ϕ), its coefficient at δE is 0: step 2.1 lists every isomorphism class of dimension (1,1) and neither is stable. This contradicts the coefficient 1 from step 2.1. The omitted term is the strictly semistable nontrivial extension E, 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