REVIEW 2 major objections 6 minor 21 references
Contractibility and total semi-stability conditions of Euclidean quivers
T0 review · 2 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Total semi-stability spaces of Euclidean quivers are contractible, and for affine type A the full stability space is contractible as well.
desk verdict The TSD parameterization and linear contraction for Euclidean D/E are new and largely convincing, but the proof of Proposition 3.4's concentrated-case sufficiency is a real gap and the E7/E8 inequalities are asserted without derivation; still, the paper deserves a serious referee. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The total semi-stability datum (TSD) is the working object. It packages the normalizations forced by total semi-stability: after fixing a reference simple $S^{\lambda_0}$ with $Z(\delta)=-1$ and phase $1$, the imaginary root $\delta$ splits as $\delta=[S^1_i]+\cdots+[S^{w_i}_i]$ in each tube, so the numbers $\mu_i^j=-Z([S_i^j])$ form a partition of $1$, and one adds $z=Z([P_0])\in\mathbb{C}^*_{\ge 0}$. The datum determines the central charge on a basis of the Grothendieck group. The paper's criterion says the datum induces a total semi-stability condition iff for every arrow $X\to Y$ in the preprojective component $\operatorname{AR}\operatorname{vect}(\mathbb{P}^1_w)$, the phases satisfy $\varphi(X)\le \varphi(Y)$. The technical content of the paper is rewriting this arrowwise condition as linear constraints: for affine type A there are no further constraints, for type $\widetilde{D}_n$ the constraints are (5.2), and for $\widetilde{E}_6,\widetilde{E}_7,\widetilde{E}_8$ they are (6.2),(6.3),(6.4). These linearities are what make the straight-line flow (4.2) land inside $\mathrm{PToSS}$, so the same data description both classifies the space and proves it contracts.
What would settle it
A concrete way to test the central claim is to take a non-degenerate TSD for affine type $D_n$ or $E_n$ that satisfies the listed inequalities but has $\operatorname{Im} z=0$, construct the slicing prescribed by Proposition 3.4, and check whether the heart $H=\operatorname{mod} C\Gamma^{\mathrm{op}}$ is closed under extensions and has the same simple objects as the proposed slices; if some indecomposable object in a $\tau$-orbit acquires a phase outside $\{0,1\}$ or some Hom from a later slice to an earlier slice is nonzero, the sufficiency direction fails. For affine type A, one can instead compute the space of non-degenerate TSDs with $\operatorname{Im} z>0$ and check directly that the linear path (4.2) between any two points stays non-degenerate and stays inside $\mathrm{PToSS}$; a counterexample would be a point where $Z([V])=0$ for an indecomposable vector bundle $V$ at some interior $t$.
Extended reading notes
Core claim
The central claim, stated as Theorem 1.1, is that for every tame weighted projective line $\mathbb{P}^1_w$, the projective space $\mathrm{PToSS}(\mathbb{P}^1_w)$ of total semi-stability conditions admits a linear flow contracting it to any chosen non-concentrated point. A stability condition in $\mathrm{PToSS}$ is encoded by a non-degenerate total semi-stability datum $(\mu_i^j, z)$ with $\mu_i^j>0$, $1=\mu_i^1+\cdots+\mu_i^{w_i}$ for each of the $l$ tubes, and $z\in\mathbb{C}^*_{\ge 0}$; the central charge is fixed by $Z([S_i^j])=-\mu_i^j$ and $Z([P_0])=z$. The datum determines a slicing, and Proposition 3.4 asserts that this slicing is a total semi-stability condition iff phases do not decrease along arrows of the preprojective component of the AR quiver. For affine type A this arrow condition is automatic for non-degenerate data; for affine type D and E it becomes the explicit linear inequalities (5.2), (6.2), (6.3), (6.4). Since the interpolation of two data sets preserves both non-degeneracy (when the target has $\operatorname{Im} z>0$) and all the linear inequalities, the straight line in the data coordinates descends to a contraction of $\mathrm{PToSS}$. The non-concentrated/concentrated dichotomy is also established: exactly the non-concentrated points have heart $\operatorname{coh}(\mathbb{P}^1_w)$, while concentrated points have heart equivalent to $\operatorname{mod} C\Gamma^{\mathrm{op}}$ for some Euclidean quiver $\Gamma$. In the affine A case, combined with a retraction from the full stability space to $\mathrm{ToSS}$ from earlier work, this gives contractibility of the full stability space.
Load-bearing premise
The load-bearing premise is that phase monotonicity along every arrow in the preprojective component of the AR quiver is enough to force the whole slicing to be a valid total semi-stability condition; in the borderline case where all central charges are real, the paper only sketches the proof of this sufficiency, and if that step fails, the classification of total semi-stability spaces collapses.
Editorial extensions
If this is right
- $\mathrm{PToSS}(\mathbb{P}^1_w)$ is contractible for every Euclidean quiver, equivalently for every tame weighted projective line.
- $\mathrm{ToSS}(\mathbb{P}^1_w)$, the unprojectivized total semi-stability space, is contractible as well in each Euclidean type.
- For affine type $\widetilde{A}_{p,q}$, the full stability space $\mathrm{Stab}\,D^b(\widetilde{A}_{p,q})$ is contractible, giving a proof that avoids quadratic differentials.
- Every non-concentrated point of $\mathrm{PToSS}$ is a possible contraction target: the same linear flow works for any choice of $\sigma_0$ with $\operatorname{Im} z_0>0$.
- For affine types D and E, the explicit inequalities give a finite description of the moduli space as a semialgebraic set, so the space is not just contractible but convex in the TSD coordinates.
Reading between the lines
- If a retraction from the full stability space to $\mathrm{ToSS}$ can be constructed for affine types D and E analogous to the one used for affine type A, then Theorem 1.1 would imply the full contractibility conjecture for all Euclidean quivers; the paper states this as a plausible next step but does not prove it.
- The linear inequality description suggests computational verification: for a fixed small Euclidean quiver one could enumerate all arrow orbits in the AR quiver and check the classification's inequalities against an independent slicing construction, which would test Proposition 3.4's sufficiency.
- The same TSD encoding may apply to other hereditary categories with a tube structure, such as orbifold projective lines of wild type, although the finiteness of the AR-quiver arrow checks would need to be re-examined.
- The concentration dichotomy suggests a boundary stratification of $\mathrm{PToSS}$ along $\operatorname{Im} z=0$ where the heart jumps from $\operatorname{coh}(\mathbb{P}^1_w)$ to a Euclidean module category; understanding this wall might clarify how total semi-stability spaces glue to the rest of the stability space.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies total semi-stability conditions on the bounded derived category of a Euclidean quiver, equivalently of coherent sheaves on a tame weighted projective line P^1_w. It defines a totally semi-stable datum (TSD) as a tuple of partitions of the imaginary root together with a complex parameter z, and claims that, subject to explicit linear inequalities, non-degenerate TSDs classify the projective moduli space PToSS(P^1_w) for all affine types. For affine type A every non-degenerate TSD gives a total semi-stability condition, which yields a linear contraction of PToSS to any chosen non-concentrated point; combined with a retraction from the first author's earlier work [Qy4], this gives contractibility of the whole stability space for affine type A. For affine types D and E the paper gives inequality descriptions of the admissible TSDs and uses the same linear flow to contract PToSS.
Significance. If correct, the paper is a substantial contribution toward the contractibility conjecture for stability spaces of non-Calabi-Yau categories: it replaces the stability space by a concrete, checkable set of linear inequalities and gives an explicit linear contraction. The affine A and D cases are argued in detail, and the E6 computation is explicit and verifiable; the resulting inequalities are concrete and falsifiable. The paper is also commendable for reducing the entire classification to a single criterion (Condition ‡ of Proposition 3.4), making the structure of the proof clear. However, two load-bearing gaps—the sufficiency direction of Proposition 3.4 in the concentrated case and the omitted E7/E8 calculations—mean the central claim is not fully demonstrated in the present version.
major comments (2)
- [§3.2, Prop. 3.4] The 'if' direction for the Im z = 0 (concentrated) case is asserted in one sentence: 'one can use Condition ‡ and the same argument of the proof of Case II in Proposition 3.2.' That is not a proof, because Case II of Proposition 3.2 starts from an existing stability condition σ, where Lemma 2.5 supplies phase monotonicity along all nonzero Homs; a bare TSD has no slicing or heart yet. The missing argument must establish: (i) φ(X) ≤ φ(Y) for every nonzero Hom X→Y, not merely for arrows in the preprojective component; (ii) the subcategories T=⟨τ≤0Γ, coh0⟩ and F=⟨τ>0Γ⟩ form a torsion pair in coh(P^1_w), so that H=⟨T,F[1]⟩ is an abelian heart; and (iii) the resulting stability function satisfies the Harder–Narasimhan property. Since Theorems 4.1, 5.2, 6.2 and hence Theorem 1.1 depend on this sufficiency, the gap is load-bearing and must be repaired.
- [§6.2, §6.3] For affine types E7 and E8, the inequalities (6.3) and (6.4) are stated after the sentence 'one can express the central charges ... and obtain (by eliminating z0) a set of inequalities' (see the text following (6.12) and (6.16)). The intermediate elimination and the reduction from the phase conditions (6.13)/(6.17) to the listed inequalities are not shown, and the claimed existence of a non-degenerate TSD of type E7/E8 (by taking µ^i_j = 1/w_i) is not verified against (6.3)/(6.4). Because these inequalities are the classification of PToSS for these types, Theorem 6.2 and the contraction statement for E7/E8 are not fully demonstrated. The authors should include the detailed derivation or a verifiable computational check.
minor comments (6)
- [§3.2, Def. 3.3] The notation TSD = (µ??, z) is not defined; it should indicate the tuple (µ^i_j) for all i,j explicitly.
- [§3.2] The slicing P constructed from a TSD is described by assigning each indecomposable V[m] a phase, but it is not stated that P(φ) is the additive closure of those indecomposables; this should be made explicit.
- [§6.1] The phrase 'the τ-symmetry that rotates tµ^j_i | j ∈ Z_{w_i}u' contains a typographical artifact ('tµ' instead of 'µ') and the action of the symmetry should be described more clearly.
- [Cor. 4.3] The symbol 'Stab D8(ĄA_{p,q})' should read 'Stab D^b(ĄA_{p,q})'; the '8' appears to be a typo.
- [Figures 2–4] The AR-quiver figures in §5 and §6 are dense and hard to read in the preprint; marking the chosen section Γ more prominently would help the reader follow the calculations.
- [References and dependencies] Corollary 1.2 and the 'similar to the total stability case' step in Proposition 3.4 rely on [Qy4] and [QZ], both listed as 'to appear'; please state the precise results being imported and, if possible, provide accessible preprints.
Circularity Check
No significant circularity: TSD parameters are coordinates, the inequalities are derived from AR arrow checks, and the only self-citation (Corollary 1.2) imports an external prior theorem.
full rationale
The central derivation is self-contained rather than circular. The TSD parameters (μ and z) are the coordinates of the central charge on a basis, not fitted constants, and the slicing is explicitly constructed from arg Z. Proposition 3.4 is the key criterion, and the subsequent theorems verify it by computing central-charge differences along arrows of the AR quiver and translating them into linear inequalities; nothing in that verification assumes the contractibility or the classification it is meant to prove. The linear flow in Corollaries 4.2, 5.3, and 6.3 is an explicit straight-line deformation in the same parameter space, and its validity follows from the inequalities being linear, so it is not a prediction derived from the answer. The only self-citation that is load-bearing for the affine-A application is the import of the retraction Stab(D^b(A_{p,q})) → ToSS(D^b(A_{p,q})) from the first author's prior paper [Qy4] in Corollary 1.2; that is an external theorem stated as an input, not a consequence claimed by this paper, and it only extends the paper's independent ToSS contractibility to the full stability space. A proof gap should be noted: in Proposition 3.4, the Im z = 0 direction is dispatched by saying 'one can use Condition ‡ and the same argument of the proof of Case II in Proposition 3.2', without fully constructing the heart and verifying Hom-vanishing and the torsion-pair conditions. This is a completeness issue and a correctness risk, but it is not circularity, because the missing argument does not assume the existence or total semi-stability of the stability condition being constructed. Accordingly, no step in the derivation reduces by definition or by fitted input to its own conclusion, so the circularity score is low.
Assumptions & free parameters
assumptions (5)
- standard math Bridgeland's axioms for stability conditions and the support property apply to this triangulated category.
- domain assumption Geigle-Lenzing derived equivalence D^b(C_w) ≅ D^b(P^1_w) and the tube decomposition of coherent sheaves.
- domain assumption Non-vanishing Hom(Sλ0[-1], V) ≠ 0 ≠ Hom(V, Sλ) for indecomposable vector bundles V and usual simples Sλ.
- domain assumption AR-quiver structure of D^b(P^1_w) and the partition of the imaginary root δ among the tubes.
- domain assumption The retraction theorem that Stab D^b(A_{p,q}) contracts to ToSS(A_{p,q}), imported from [Qy4].
Cite this review
Pith. "Pith review of Contractibility and total semi-stability conditions of Euclidean quivers." pith.science (2026). https://pith.science/paper/SJDXFVVG
@misc{pith2026250116903,
author = {Pith},
title = {Pith review of: Contractibility and total semi-stability conditions of Euclidean quivers},
year = {2026},
howpublished = {\url{https://pith.science/paper/SJDXFVVG}},
note = {Machine review of arXiv:2501.16903}
}
abstract
We study the bounded derived category $\mathcal{D}$ of an Euclidean quiver, or equivalently, that of coherent sheaves on a tame weighted projective line. We give a description of the moduli space $\mathrm{ToSS}$ of the total semi-stability conditions on $\mathcal{D}$, which implies that $\mathrm{ToSS}$ can linearly contract to any chosen non-concentrated stability condition in it. For type $\widetilde{A_{p,q}}$, this gives an alternative proof of the contractibility of the whole space of stability conditions.
Figures
Figures from the paper (1 more)
Reference graph
Works this paper leans on
-
[1]
Bridgeland Stability conditions on triangulated categories Ann
T. Bridgeland Stability conditions on triangulated categories Ann. of Math. 166 2007 317 345 (arXiv:math/0212237)
arXiv 2007
-
[2]
Stability conditions and Kleinian singularities
T. Bridgeland Stability conditions and Kleinian singularities Int. Math. Res. Not. 21 2009 4142 4157 (arXiv:0508257 http://arxiv.org/abs/math/0508257)
work page Pith review arXiv 2009
-
[3]
T. Bridgeland I. Smith Quadratic differentials as stability conditions Publ. Math. de l'IH\' E S 121 2015 155 278 (arXiv:1302.7030)
arXiv 2015
-
[4]
Geometric model for module categories of Dynkin quivers via hearts of total stability conditions
W. Chang, Y. Qiu and X. Zhang Geometric model for module categories of Dynkin quivers via hearts of total stability conditions J. Algebra 638 2024 57 89 (arXiv:2208.00073)
work page Pith review arXiv 2024
-
[5]
V. Dlab, C. Ringel Indecomposable representations of graphs and algebras Mem. Amer. Math. Soc. 6 1976 no. 173
work page 1976
-
[6]
Bridgeland stability conditions on the acyclic triangular quiver
G. Dimitrov and L. Katzarkov Bridgeland stability conditions on the acyclic triangular quiver Adv. Math. 288 2016 825 886 (arXiv:1410.0904)
work page Pith review arXiv 2016
-
[7]
G. Dimitrov and L. Katzarkov Bridgeland stability conditions on wild Kronecker quivers Adv. Math. 352 2019 27 55
work page 2019
-
[8]
W. Geigle and H. Lenzing A class of weighted projective curves arising in representation theory of finite-dimensional algebras Singularities, Representation of Algebras and Vector Bundles Lecture Notes in Mathematics 1273, Springer-Verlag, Berlin, 1987 265 297
work page 1987
Show all 21 references
-
[9]
Haiden, L
F. Haiden, L. Katzarkov M. Kontsevich Stability in Fukaya categories of surfaces Publ. Math. de l'IH\' E S 126 2017 247 318 (arXiv:1409.8611)
2017 arXiv
-
[10]
A. Ikeda Y. Qiu q -Stability conditions on Calabi-Yau- X categories and twisted periods Compos. Math. 159 2023 1347 1386 (arXiv:1807.00469)
2023 arXiv
-
[11]
Keller On cluster theory and quantum dilogarithm identities EMS Series of Congress Reports 2011 85 116 (arXiv:1102.4148)
B. Keller On cluster theory and quantum dilogarithm identities EMS Series of Congress Reports 2011 85 116 (arXiv:1102.4148)
2011 arXiv
-
[12]
Okada Stability manifold of ^1 J
S. Okada Stability manifold of ^1 J. Alge. Geom. 15 2006 487 505 (arXiv:0411220 http://arxiv.org/abs/math/0411220)
2006 arXiv
-
[13]
Otani Global dimension of the derived category of an orbifold projective line arXiv:2306.16673
T. Otani Global dimension of the derived category of an orbifold projective line arXiv:2306.16673
-
[14]
Qiu Stability conditions and quantum dilogarithm identities for Dynkin quivers Adv
Y. Qiu Stability conditions and quantum dilogarithm identities for Dynkin quivers Adv. Math. 269 2015 220 264 (arXiv:1111.1010)
2015 arXiv
-
[15]
Qiu Decorated marked surfaces: Spherical twists versus braid twists Math
Y. Qiu Decorated marked surfaces: Spherical twists versus braid twists Math. Ann. 365 2016 595 633 (arXiv:1407.0806)
2016 arXiv
-
[16]
Qiu Global dimension function on stability conditions and Gepner equations Math
Y. Qiu Global dimension function on stability conditions and Gepner equations Math. Zeit. 303 2023 ) No.11. (arXiv:1807.00010)
2023 arXiv
-
[17]
Qiu Contractible flow of stability conditions via global dimension function J
Y. Qiu Contractible flow of stability conditions via global dimension function J. Diff. Geom. to appear. (arXiv:2008.00282)
2008 arXiv
-
[18]
Y. Qiu J. Woolf Contractible stability spaces and faithful braid group actions Geom. Topol. 22 2018 3701 3760 (arXiv:1407.5986)
2018 arXiv
-
[19]
Qiu and X
Y. Qiu and X. Zhang Geometric classification of total stability conditions Math. Zeit. to appear. (arXiv:2202.00092)
-
[20]
Ringel Tame Algebras and Integral Quadratic Forms Lecture Notes in Mathematics 1099, pringer-Verlag, Berlin 1984
C. Ringel Tame Algebras and Integral Quadratic Forms Lecture Notes in Mathematics 1099, pringer-Verlag, Berlin 1984
1984
-
[21]
Takeda Relative stability conditions on Fukaya categories of surfaces Math
A. Takeda Relative stability conditions on Fukaya categories of surfaces Math. Zeit. 301 2022 3019 3070 (arXiv:1811.10592)
2022 arXiv
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.