REVIEW 4 major objections 6 minor 1 cited by
The Space of augmented stability conditions
T0 review · 4 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read This paper constructs AStab(C), a partial compactification of Stab(C)/C, and proves that at generic admissible boundary points it is locally a real manifold with corners.
desk verdict A genuinely new compactification of Stab(C)/C whose boundary tracks semiorthogonal decompositions, with an honest conditional structure; the main gaps are the unverified admissibility hypothesis and a few omitted proofs, but it deserves serious refereeing. 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 load-bearing object is the multiscale decomposition: a compact arithmetic-genus-zero nodal curve with a rooted-tree dual graph, a total preorder on components, and a meromorphic differential on each component, together with thick triangulated subcategories of C attached to terminal components and satisfying semiorthogonality and filtration axioms. The log-central-charge function extends the logarithm of the central charge and turns objects into marked points on a multiscale line. The paper builds a smooth proper moduli space of n-marked multiscale lines, compactifying C^n/C, and its real oriented blowup is the model of the boundary. The topology on AStab(C) is defined by specifying convergent nets via weak convergence, a directed distance generalizing Bridgeland's metric, and a stability-of-limits condition. Local charts at generic admissible points are obtained by gluing stability conditions on the graded pieces, with coordinates given by the marked multiscale line of a chosen collection of stable objects.
What would settle it
Fix a smooth proper category and a stability condition. If a sequence of objects E_n satisfies dim Hom(G,E_n)/m(E_n) tending to infinity for some fixed generator G, the boundedness conjecture is false and the route from the manifold-with-corners conjecture to proper moduli spaces collapses. For the local geometry itself, finding two distinct admissible augmented stability conditions with the same underlying multiscale decomposition and the same image under the log-central-charge map in the real oriented blowup would directly falsify the manifold-with-corners local-homeomorphism statement.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that the quotient of the stability manifold by C can be partially compactified by adding points that remember how stability conditions degenerate along semiorthogonal decompositions. An augmented stability condition consists of a multiscale decomposition of C, a rooted-tree structure of subcategories refining a semiorthogonal decomposition with complex periods attached, and a stability condition on each associated graded category. Theorem 5.16 gives AStab(C) a Hausdorff topology whose restriction to Stab(C)/C is the usual topology, and Theorem 6.7 proves the manifold-with-corners conjecture at every generic admissible point, meaning the log-central-charge map gives local coordinates valued in the real oriented blowup of the moduli space of marked multiscale lines. The paper also shows that the full conjecture would imply the boundedness conjecture, which in turn yields proper good moduli spaces for Bridgeland semistable objects.
Load-bearing premise
The construction's geometric conclusion depends on admissibility: for every complete coarsening of a boundary point, the stability conditions on the pieces must admit strongly gluable lifts and the relevant projection functors must increase mass by at most a uniform multiplicative constant. This is verified at generic points but is open for general points, and for smooth proper categories it would follow from the boundedness conjecture, which remains unproved.
Editorial extensions
If this is right
- Boundary points of Stab(C)/C correspond to multiscale decompositions of C with stability conditions on graded pieces, so limits of divergent paths in the stability manifold are recorded as honest points of AStab(C).
- At every generic admissible point, AStab(C) has canonical local coordinates in a real manifold with corners, giving a partial compactification of Stab(C)/C rather than only a set-theoretic boundary.
- If the manifold-with-corners conjecture holds at all admissible points, then every admissible point lies in the closure of Stab(C)/C and the space has a uniform local model, not just at generic points.
- For smooth proper categories, the conjecture implies a mass-Hom bound, and that bound implies the existence of proper good moduli spaces of Bridgeland semistable objects of fixed numerical class.
- Convergence in AStab(C) is characterized by explicit net conditions, so the topology can be checked directly in examples and compared with earlier quasi-convergence notions.
Reading between the lines
- A natural test of the framework is to compute AStab(C) in categories where the stability manifold is already understood, such as curves or surfaces with tilting bundles, and compare its boundary strata with known semiorthogonal decompositions and wall-crossing behavior at large volume.
- If the full conjecture holds, AStab(C) could serve as a compact home for large-volume limits, making expected limits of quantum-D-module paths actual convergent paths rather than merely quasi-convergent ones.
- The multiscale hierarchy suggests a recursive invariant of the whole category: iterating the associated-graded construction on each boundary stratum might yield a finer invariant than a single semiorthogonal decomposition, a direction the paper only begins to explore.
- The topology's design, weak convergence plus a one-sided distance plus a stability condition for limits, could serve as a template for partially compactifying other moduli spaces where a preferred metric is available.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a partial compactification, denoted AStab(C), of the quotient Stab(C)/C of the stability manifold of a triangulated dg-category C. The new points at the boundary parameterize augmented stability conditions, which consist of a newly defined multiscale decomposition of C, encoded by a rooted nodal genus-zero curve with meromorphic differentials, together with stability conditions on the associated graded subquotient categories. The authors define weak and strong topologies on AStab(C), prove that Stab(C)/C sits inside as an open Hausdorff subspace, formulate a manifold-with-corners conjecture for neighborhoods of boundary points, and prove it for generic admissible points using the gluing theorem of [CP]. They also show conditionally that the manifold-with-corners conjecture implies a boundedness statement and, via that statement, the existence of proper good moduli spaces of Bridgeland semistable objects for smooth proper categories.
Significance. If the main results are completed, the paper would provide a genuinely new tool for studying semiorthogonal decompositions as boundary data of stability manifolds, with potential applications to the noncommutative minimal model program and to moduli spaces of semistable objects. The definitions are precise and the paper is careful to separate theorems from conjectures; several important statements are explicitly presented as conditional, and no hidden numerical parameters are fitted. The construction of the moduli space of marked multiscale lines and its real oriented blowup is an interesting contribution in its own right. However, the central local structure theorem and the completeness of the topology proof currently rest on unproved or deferred arguments, so the significance will be fully realized only after those gaps are closed.
major comments (4)
- [§6.2, Lemma 6.10 and Theorem 6.7] The proof of the generic manifold-with-corners theorem depends on Lemma 6.10, which asserts that every point x in a neighborhood V_epsilon of ell(sigma) is realized by a unique tau that is epsilon-glued from sigma. Definition 6.2(1) only guarantees that the specific lifts of the terminal stability conditions sigma_{v_i} are strongly gluable. The proof then applies Lemma 6.8 to produce arbitrary nearby tau_{v_i} in Delta_epsilon(sigma_{v_i}) and declares the resulting tuple gluable when L is large. Strong gluability is not shown to be an open condition, and the Hom-vanishing hypotheses in [CP, Thm. 3.6] can in principle be destroyed by small perturbations of phases, especially without properness of the associated graded categories. This is a load-bearing gap: if Lemma 6.10 fails, the bijection W_epsilon -> V_delta and the corner charts in Theorem 6.7 collapse.
- [§6.1, Definition 6.2 and Proposition 6.5] The main geometric theorem is proved only at admissible points, and admissibility is not verified unconditionally for any nontrivial smooth proper category. Proposition 6.5 derives admissibility from Conjecture 1, which is unproved, while Proposition 6.4 only shows that Conjecture A implies Conjecture 1. Thus the manifold-with-corners theorem has no unconditional application to smooth proper C beyond the interior and the disjoint-union-of-points example. This is acknowledged in the text, but the reader should be told explicitly which of the paper's claims are genuinely unconditional. In addition, Definition 6.2(2) requires mass-boundedness of cross projections for every pair of complete coarsenings; this condition is not a consequence of the multiscale decomposition alone and needs to be checked in each example.
- [§5.2, proof of Theorem 5.16] Theorem A is presented as a complete result, but its proof leaves part of the convergence-axiom verification to the reader. Specifically, in the proof of Theorem 5.16, after defining the candidate convergent nets, the verification of conditions (i)-(iii) for condition (3) is omitted with the sentence 'We leave (i)-(iii) as exercises for the reader', and continuity of the Aut(C)-action is also left to the reader. Since these conditions are needed to establish that the specified convergent nets indeed define a unique topology, the proof of Theorem 5.16 is incomplete as written. The omitted steps should either be supplied or explicitly reduced to the cited criterion in [K3].
- [§3.4, Lemma 3.30 and its uses] Lemma 3.30 is a basic structural statement about admissible filtrations and is labeled 'Proof. Omitted.' It is used in Corollary 3.32 and elsewhere in the admissibility theory. Since the paper already includes a lengthy appendix, the omission appears to be a matter of exposition rather than a fundamental difficulty, but for a journal submission the proof should be included. The same applies to several 'exercises' in §4, such as the verification in Lemma 4.4 that the coordinate-change map is invertible.
minor comments (6)
- [General presentation] The manuscript is very long and contains many forward references; a short glossary of notation for multiscale lines, terminal vertices, and gr_v(C•) would substantially improve readability.
- [Figure 1, §2.3] The caption 'A sluice, rendered with ChatGPT' is not mathematical and should be replaced with a precise description or removed.
- [§4.1, Lemma 4.4] The proof says 'It is an exercise to verify that this map is invertible.' Since the coordinate formulas are used repeatedly in the construction of A_n, the coordinate transformation should be written out explicitly.
- [§5.3, Definition 5.19] Condition (3) of strong quasi-convergence uses the notation Phi^+_s(E'/P_i) and Phi^+_infty(E/P_i) without explicitly defining the quotient expression for phi functions; this should be clarified.
- [§6.3.1, Lemma 6.12] In the proof of Lemma 6.12, the inverse gluing map is asserted to be biholomorphic; a reference to the precise statement of [HLJR, §3.2] would be helpful, since the current text says only 'using [HLJR, §3.2]'.
- [Throughout] There are a number of typographical issues, including footnote markers that appear without corresponding footnotes in the provided text and inconsistent spacing around the symbol AStab(C). These should be cleaned up in revision.
Circularity Check
No significant circularity: the paper is explicitly conditional, and its self-citations are prior external results rather than recycled conclusions.
full rationale
The derivation chain is conditional and transparent. Conjecture A is stated as a conjecture, Theorem 2.31 is phrased as 'If Conjecture 1 holds for a smooth and proper stable dg-category C, then ... admits a proper good moduli space', and Theorem 6.7 is proved only for admissible generic points, with Proposition 6.5 explicitly deriving admissibility from Conjecture 1 in the smooth proper case. The only candidate circular ingredients are (i) the heavy use of the authors' earlier framework [HLJR] for filtered semiorthogonal decompositions, strong gluing, and quasi-convergence, and (ii) the strong-gluability condition inside Definition 6.2 of admissibility. Neither reduces the paper's conclusion to its inputs by construction: [HLJR] is a prior work with its own statements and proofs, not a renamed version of the present theorem; and Definition 6.2(1) asserts gluability of the central terminal stability conditions for complete coarsenings, whereas Theorem 6.7 proves that the log-central-charge map is a homeomorphism on a whole neighborhood, which requires the additional construction in Lemma 6.10 and the quasi-convergence argument. Proposition 6.4 derives Conjecture 1 from Conjecture A by a genuine two-path gluing argument, and the paper labels the reverse implication as conditional ('Conjecture 1 and Conjecture 2 together imply Conjecture A'). The main limitation is that admissibility is not established for general smooth proper categories unless Conjecture 1 is assumed, but this is stated as a hypothesis and a conjecture, not hidden as an input. No fitted parameter is renamed as a prediction, no uniqueness theorem is imported to forbid alternatives, and no known empirical pattern is repackaged as a new structure. The paper is therefore not circular; its conditional architecture is explicit.
Assumptions & free parameters
assumptions (6)
- domain assumption C is a stable idempotent complete dg-category with v: K0(C) -> Lambda surjective after tensoring with Q.
- domain assumption Smoothness and properness of C for the moduli results and the formulation of Conjecture A.
- ad hoc to paper Definition 2.24 local constancy: sluicings on residue fields with a discrete valuation ring compatibility condition.
- ad hoc to paper Admissibility in Definition 6.2: strongly gluable lifts for every complete coarsening and mass-boundedness of certain functors.
- ad hoc to paper Conjecture 1 (boundedness, i.e., the mass-Hom bound) is assumed in Theorem B and Proposition 6.5.
- standard math Standard triangulated and dg-category formalism: t-structures, hearts, Harder-Narasimhan filtrations, Verdier quotients, and classical generators.
invented entities (4)
-
Multiscale line
-
Multiscale decomposition
-
Augmented stability condition
-
Sluicing
Cite this review
Pith. "Pith review of The Space of augmented stability conditions." pith.science (2026). https://pith.science/paper/ZT5XHCIW
@misc{pith2026250100710,
author = {Pith},
title = {Pith review of: The Space of augmented stability conditions},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZT5XHCIW}},
note = {Machine review of arXiv:2501.00710}
}
abstract
Given a triangulated category $\mathcal{C}$, we construct a partial compactification, denoted $\mathcal{A}\mathrm{Stab}(\mathcal{C})$, of the quotient of its stability manifold by $\mathbb{C}$. The purpose of $\mathcal{A}\mathrm{Stab}(\mathcal{C})$ is to shed light on the structure of semiorthogonal decompositions of $\mathcal{C}$. A point of $\mathcal{A}\mathrm{Stab}(\mathcal{C})$, called an augmented stability condition on $\mathcal{C}$, consists of a newly introduced homological structure called a multiscale decomposition, along with stability conditions on subquotient categories of $\mathcal{C}$ associated to this multiscale decomposition. A generic multiscale decomposition corresponds to a semiorthogonal decomposition along with a configuration of points in $\mathbb{C}$. We give a conjectural description of open neighborhoods of certain boundary points, called the "manifold-with-corners conjecture," and we prove it in a special case. We show that this conjecture implies the existence of proper good moduli spaces of Bridgeland semistable objects in $\mathcal{C}$ when $\mathcal{C}$ is smooth and proper, and discuss some first examples where the manifold-with-corners conjecture holds.
Figures
Figures from the paper (6 more)
Forward citations
Cited by 1 Pith paper
-
Stability conditions and moduli spaces on projective families
Stability conditions exist on projective families over arbitrary bases and admit proper relative moduli spaces of semistable objects.
Reference graph
Works this paper leans on
-
[1]
[AB] Daniele Arcara and Aaron Bertram,Bridgeland-stable moduli spaces fork-trivial surfaces, Journal of the European Mathematical Society015 (2013), no. 1, 1–38 (eng). [ACG+] Dan Abramovich, Qile Chen, Danny Gillam, Yuhao Huang, Martin Olsson, Matthew Satriano, and Shenghao Sun,Logarithmic geometry and moduli, arXiv,
work page 2013
-
[5]
[M2] Emanuele Macri,Stability conditions on curves, Mathematical Research Letters14 (200706). [MMS] Emanuele Macrì, Sukhendu Mehrotra, and Paolo Stellari,Inducing stability conditions18 (October 2009), no. 4, 605–649. [MP] Sven Meinhardt and Holger Partsch, Quotient categories, stability conditions, and birational geometry, Geometriae Dedicata173 (2014), ...
work page 2014
-
[9]
[H] Fabian Haiden,3-d calabi–yau categories for teichmüller theory, Duke Mathematical Journal173 (February 2024), no. 2, 277–346 (English). [HKK] F. Haiden, L. Katzarkov, and M. Kontsevich,Flat surfaces and stability structures, Publications mathématiques de l’IHÉS126 (November 2017), no. 1, 247–318. [HL1] Daniel Halpern-Leistner,On the structure of insta...
work page 2024
-
[345]
MR2373143 [B4] Kristian Brüning, Thick subcategories of the derived category of a hereditary algebra, Homology, homotopy, and applications9 (2007), 165–176. [BCG+] Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel Grushevsky, and Martin Möller,The moduli space of multi-scale differentials,
work page 2007
-
[519]
[BLM+] Arend Bayer, Martí Lahoz, Emanuele Macrì, Howard Nuer, Alexander Perry, and Paolo Stellari, Stability conditions in families, Publ. Math. Inst. Hautes Études Sci. 133 (2021), 157–325. MR4292740 [BM1] Arend Bayer and Emanuele Macrì,Mmp for moduli of sheaves on k3s via wall-crossing: nef and movable cones, lagrangian fibrations,Inventionesmathematica...
work page 2021
-
[1995]
[BQS] Tom Bridgeland, Yu Qiu, and Tom Sutherland,Stability conditions and the a2 quiver, Advances in Mathematics 365 (May 2020), 107049. [BS] Tom Bridgeland and Ivan Smith, Quadratic differentials as stability conditions, Publications mathématiques de l’IHÉS121 (2015), no. 1, 155–278. [CP] John Collins and Alexander Polishchuk,Gluing stability conditions,...
work page 2015
-
[2003]
[B3] , Stability conditions on triangulated categories, Ann. of Math. (2)166 (2007), no. 2, 317–
work page 2007
-
[2010]
[AHLH] Jarod Alper, Daniel Halpern-Leistner, and Jochen Heinloth,Existence of moduli spaces for algebraic stacks, Invent. Math.234 (2023), no. 3, 949–1038. MR4665776 [AP] Dan Abramovich and Alexander Polishchuk,Sheaves of t-structures and valuative criteria for stable complexes, Journal für die reine und angewandte Mathematik2006 (2006), no. 590, 89–130. ...
work page 2023
Show all 12 references
-
[2014]
[FFH+] Yu-Wei Fan, Simion Filip, Fabian Haiden, Ludmil Katzarkov, and Yijia Liu,On pseudo-anosov autoequivalences, Advances in Mathematics384 (2021), 107732
[DK] George Dimitrov and Ludmil Katzarkov,Bridgeland stability conditions on wild kronecker quivers, Advances in Mathematics352 (2019), 27–55. [FFH+] Yu-Wei Fan, Simion Filip, Fabian Haiden, Ludmil Katzarkov, and Yijia Liu,On pseudo-anosov autoequivalences, Advances in Mathema...
2019
-
[2018]
10, 1755–1788
[T] Yukinobu Toda, Stability conditions and birational geometry of projective surfaces, Compositio Mathematica 150 (2014), no. 10, 1755–1788. [TV] Bertrand Toën and Michel Vaquié,Moduli of objects in dg-categories, Ann. Sci. École Norm. Sup. (4) 40 (2007), no. 3, 387–444. MR24...
2014
-
[2022]
Licata,Spherical objects and stability conditions on 2-calabi–yau quiver categories, Mathematische Zeitschrift303 (2022/12/07), no
[BDL] Asilata Bapat, Anand Deopurkar, and Anthony M. Licata,Spherical objects and stability conditions on 2-calabi–yau quiver categories, Mathematische Zeitschrift303 (2022/12/07), no. 1,
2022
-
[2024]
2, 625–644 (en)
[HP] Lutz Hille and Markus Perling, Tilting Bundles on Rational Surfaces and Quasi-Hereditary Algebras, Annales de l’Institut Fourier64 (2014), no. 2, 625–644 (en). MR3330917 [I1] Akishi Ikeda, Stability conditions on CYn categories associated toan-quivers and period maps, Mat...
2014
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.