REVIEW 5 minor 1 cited by
A Real Reduction of the Manifold of Bridgeland Stability Conditions
T0 review · 0 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The paper establishes a homeomorphism between the full stability manifold of Bridgeland stability conditions and a subspace of the tangent bundle of the reduced manifold determined by ≲.
desk verdict A genuinely new structural framework for Bridgeland stability, with an honest conditional geometric application; send it to 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 load-bearing object is the reduced stability condition: an equivalence class of stability conditions under the relation ∼ that identifies conditions with equal imaginary central charge in the same path-connected fiber. Its companion is the relation ≲ on the quotient, defined by A_σ ⊂ P_τ(<1). The reconstruction is carried by Proposition 4.5, which characterizes the tangent space Ta(σ) of the reduced space purely through ≲, together with Lemma 2.17, a technical existence statement for quadratic forms of signature (2, ρ−2) that keep certain kernel unions inside a negativity region; these two ingredients produce the homeomorphism Stab(T) ≅ TaSb(T).
What would settle it
Find a rank-4 example of linear forms h, f1, f2 and a signature-(2,2) quadratic form Q for which the quadratic form Q̃ required by Lemma 2.17 provably does not exist; such an example would invalidate Proposition 4.5 and the reconstruction homeomorphism Stab(T) ≅ TaSb(T).
Extended reading notes
Core claim
On the paper's own terms, the central discovery is that the stability manifold Stab(T) is reducible to a smaller real manifold without losing information. Two stability conditions are declared equivalent when they have the same imaginary part of the central charge and lie in the same path-connected fiber of the imaginary-charge forgetful map; the quotient Sb(T) is a real, possibly non-Hausdorff manifold of half the dimension. The heart and the slice P(1) are well-defined on equivalence classes, and a second relation ≲, defined by inclusion of hearts, encodes the missing real part of the central charge. The main structural theorem (Corollary 4.8) is that π∼ × ForgReZ is a homeomorphism from Stab(T) to TaSb(T), the subspace of the tangent bundle of Sb(T) determined by ≲. On the geometric side, assuming Conjecture 1.1, the paper proves that the distinguished family Stab*_H(X) is unique up to even shifts, restricts to a stability condition on every smooth subvariety, makes skyscrapers stable, and satisfies a Bayer-type vanishing statement and an interlaced-root numerical bound.
Load-bearing premise
The load-bearing premise is that a technical quadratic-form existence statement with signature (2, ρ−2) holds, since it is what converts the local ≲-comparability of nearby reduced stability conditions into genuine tangent directions; without it the reconstruction homeomorphism collapses, and the geometric restriction theorem additionally assumes Conjecture 1.1, which the paper itself expects to fail for some threefolds.
Editorial extensions
If this is right
- Wall-crossing for moduli spaces of stable objects can be studied on the half-dimensional reduced space, because the quotient map has convex fibers and preserves walls and chambers.
- Any stability condition on a variety satisfying Conjecture 1.1 restricts to a stability condition on every smooth subvariety, so existence of stability conditions propagates from high dimension to low dimension.
- The distinguished family Stab*_H(X), when it exists, is unique up to even homological shifts, making it a canonical slice of the stability manifold.
- The numerical bound in Theorem 1.3.(5) says that the H-polarized character of a stable object is an alternating sum of gamma vectors with all coefficients of one sign, a statement that specializes to the Bogomolov inequality on surfaces and the Bogomolov–Gieseker-type inequalities on threefolds.
- The weaker Stab_d conjecture, if true for large d, would give the same restriction and geometric conclusions for varieties where the strong conjecture fails.
Reading between the lines
- The reconstruction theorem suggests that one could define stability conditions on a category by first constructing a reduced space Sb and a relation ≲, bypassing the harder problem of building the full stability manifold directly.
- The interlaced-root parametrisation of reduced central charges invites a comparison with root systems and scattering diagrams; the paper already notes the P^2 example, and the threefold families may admit similar combinatorial descriptions.
- The weakening parameter d in the Stab_d conjecture could serve as a quantitative measure of how far a variety is from admitting the strong family; testing where the threshold lies might organize threefolds by the failure of Bogomolov–Gieseker-type inequalities.
- The non-Hausdorffness of Sb(T) is likely not a defect but the shadow of the gluing data: the explicit description on P^1 shows how degenerate points glue chambers, and understanding that pattern might explain how the full manifold is assembled from reduced data.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces an equivalence relation on the manifold of Bridgeland stability conditions, identifies the quotient Sb(T) with a space of 'reduced stability conditions', and proves that Sb(T) carries a real (possibly non-Hausdorff) manifold structure of half the dimension of Stab(T). The main unconditional structural result is Corollary 4.8, which reconstructs Stab(T) from Sb(T) together with the relation ≲ via the subspace TaSb(T) of the tangent bundle. The paper then specializes to D^b(X) for smooth polarized varieties, gives explicit descriptions of reduced stability conditions for curves, surfaces, and threefolds, formulates Conjectures 1.1, 1.12, and 8.1, and proves that the Stabd and Sbd conjectures are equivalent. Theorem 1.3 derives geometric and numerical consequences, including the existence of stability conditions on all smooth subvarieties, conditional on Conjecture 1.1 or its weaker Stabd variant.
Significance. If the structural results are correct, the paper provides a genuinely new organizing principle for Bridgeland stability manifolds: the wall-and-chamber structure is preserved under reduction, and the original manifold is recovered from a real half-dimensional quotient together with a simple order-like relation. The proof of the reconstruction theorem is elaborate and rests on a substantial algebraic input (Lemma 2.17 and Proposition 4.5), and I checked the stress-test concern about Lemma 2.17 and Proposition 4.5 without finding a concrete failure. The geometric applications are explicitly conditional, and the paper is commendably honest about the expected failure of Conjecture 1.1 for some threefolds; this limits the unconditional scope but is not an internal inconsistency. The explicit examples, the treatment of the Bayer vanishing lemma, and the restriction theorem add significant value.
minor comments (5)
- [Definition 2.11 and Section 2.3] The phrase 'an equivalent relation' appears repeatedly and should be 'an equivalence relation'; this occurs in Definition 2.11, in the paragraph after it, and in the introduction to Section 2.3.
- [Lemma 4.6 and Proposition 4.5] The proof of Lemma 4.6 uses the discreteness of the set {Q(E) : E ∈ T} and Proposition 4.5 begins by taking Q to be a Q-coefficient quadratic form, but Definition 2.4 only provides an arbitrary real quadratic form. Please add one sentence explaining that a support form can be chosen with rational coefficients, for instance by adding a small rational positive definite form to a given support form; without this, the minimum argument in Lemma 4.6 is not justified as written.
- [Theorem 8.4, proof of Conjecture 8.1 implies Sbd, property (c)] The assertion that for every θ ∈ [0, 1/2] the central charge of σ_{−t,s}[θ] lies in U_n^{>d} is stated without proof; a short computation or an explicit reference to the interlacing facts in Lemma C.13 and Lemma C.15 would clarify this load-bearing step in the equivalence of the two conjectures.
- [Proposition 2.16, proof of (3) ⇒ (2)] The jump from d(Pσ, Pσ′) = 1 to the existence of an infinite sequence of σ-stable objects whose σ-phases approach 1 and whose σ′-phases approach 0 deserves a one-sentence justification, since the equality case of the supremum in the definition of d does not by itself produce such a sequence.
- [Page 15, proof of Proposition 2.12] The phrase 'U’y Proposition 2.12' appears to be a typo for 'By Proposition 2.12' in the proof of Corollary 2.14.
Circularity Check
No significant circularity: the reconstruction and conjecture-equivalence arguments are proved rather than assumed, and the main geometric claims are explicitly conditional on an open conjecture.
full rationale
The structural core of the paper is not circular. The quotient Stab/~ is defined via path-connected fibers of the imaginary-part map (Definition 2.11), and the local homeomorphism structure (Proposition 2.12) is derived from Bridgeland's deformation theorem, not from the conclusions it is used to prove. The reconstruction Stab(T) ≃ TaSb(T) (Corollary 4.8) is not definitional: TaSb(T) is defined using the independently introduced relation ≲, and Proposition 4.5 proves the substantive converse direction — that the one-sided ≲ condition forces the direction to lie in the actual tangent fiber Ta(σ) — via Lemma 2.17, Lemma 4.6, and the deformation criterion from [BMS16, Proposition A.5]. Lemma 4.4(3) supplies the opposite inclusion, so the equality Ta_σSb(T)=Ta(σ) is derived, not assumed. The equivalence between Conjecture 1.1 and Conjecture 1.12 (Theorem 8.4) is likewise a genuine two-way implication: assuming Stab^d one constructs the reduced family and checks axioms (a)–(c) using Lemmas C.15 and C.16; assuming Sb^d one applies Proposition 4.5 to construct the stability family with central charges in U_n^>d. Neither direction reduces to a restatement of the same property. The geometric application in Theorem 1.3 is explicitly conditional on Conjecture 1.1 or Stab^d, and Remark 1.4(2) openly states that the conjecture is expected to fail for some threefolds; this is a scope limitation, not a circular derivation. A few technical citations, such as [FLZ22, Lemma 4.7] in Proposition 6.11, have overlapping authorship, but they are auxiliary lemmas whose assumptions (same central charge, distance ≤1) do not include the target results, and the central reconstruction and equivalence arguments carry their own proofs. No fitted parameter is renamed as a prediction, and no load-bearing argument reduces to a self-citation. I therefore find no circular step requiring quotation.
Assumptions & free parameters
assumptions (5)
- standard math Bridgeland deformation theorem: the forgetful map from Stab to Hom(Λ,C) is a local homeomorphism, making Stab a complex manifold.
- standard math BMS16 Proposition A.5 deformation criterion using a quadratic form Q of signature (2,ρ−2), plus the support property equivalence.
- domain assumption For smooth polarized surfaces, the Bogomolov inequality Δ_H(E) ≥ 0 for H-semistable sheaves.
- ad hoc to paper Conjecture 1.1, or the weaker Stabd Conjecture 8.1, for a smooth polarized variety (X,H).
- standard math Bertini theorem for choosing smooth hyperplane sections and smooth subvarieties in Proposition 6.15 and Corollary 6.10.
invented entities (2)
-
Reduced stability condition [σ] in Sb(T)
independent evidence
-
The relation ≲ on Sb(T) and Stab(T)
independent evidence
Cite this review
Pith. "Pith review of A Real Reduction of the Manifold of Bridgeland Stability Conditions." pith.science (2026). https://pith.science/paper/W6XYPQOE
@misc{pith2026250621995,
author = {Pith},
title = {Pith review of: A Real Reduction of the Manifold of Bridgeland Stability Conditions},
year = {2026},
howpublished = {\url{https://pith.science/paper/W6XYPQOE}},
note = {Machine review of arXiv:2506.21995}
}
abstract
Let $\mathcal{T}$ be a $k$-linear triangulated category. The space of Bridgeland stability conditions on $\mathcal{T}$, denoted by $\mathrm{Stab}(\mathcal{T})$, forms a complex manifold. In this paper, we introduce an equivalence relation $\sim$ on $\mathrm{Stab}(\mathcal{T})$ and study the quotient space $\mathrm{Sb}(\mathcal{T}) := \mathrm{Stab}(\mathcal{T})/\sim$, which parametrizes what we call reduced stability conditions. We show that $\mathrm{Sb}(\mathcal{T})$ admits the structure of a real (possibly non-Hausdorff) manifold of half the dimension of $\mathrm{Stab}(\mathcal{T})$. The space $\mathrm{Sb}(\mathcal{T})$ preserves the wall-and-chamber structure of $\mathrm{Stab}(\mathcal{T})$, but in a significantly simpler form. Moreover, we define a relation $\lesssim$ on $\mathrm{Sb}(\mathcal{T})$, and show that the full stability manifold $\mathrm{Stab}(\mathcal{T})$ can be reconstructed from the space $\mathrm{Sb}(\mathcal{T})$ together with the additional data $\lesssim$. We then focus on the case where $\mathcal{T} = \mathrm{D}^b(X)$, the bounded derived category of coherent sheaves on a smooth polarized variety $(X, H)$. By explicitly describing $\mathrm{Sb}(X)$ for varieties $X$ of small dimension, we formulate two equivalent conjectures concerning a family of stability conditions $\mathrm{Stab}_H^*(X)$ and their reduced counterparts $\mathrm{Sb}_H^*(X)$ on $\mathrm{D}^b(X)$. We establish some desirable properties for both families. In particular, using a version of the restriction theorem formulated in terms of $\lesssim$, we show that the existence of $\mathrm{Stab}_H^*(X)$ implies the existence of stability conditions on every smooth subvariety of $X$.
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
-
[5]
Bridgeland Stability conditions on threefolds I: Bogomolov-Gieseker type inequalities
[BMT14] Arend Bayer, Emanuele Macr `ı, and Yukinobu Toda. Bridgeland stability conditions on threefolds I: Bogomolov-Gieseker type inequalities. J. Algebraic Geom., 23(1):117–163, 2014, arXiv:1103.5010. [Bou22] Pierrick Bousseau. Scattering diagrams, stability conditions, and coherent sheaves on P2. J. Algebraic Geom., 31(4):593– 686,
work page Pith review arXiv 2014
-
[8]
Derived equivalences of K3 surfaces and orientation
[HMS09] Daniel Huybrechts, Emanuele Macr `ı, and Paolo Stellari. Derived equivalences of K3 surfaces and orientation. Duke Math. J., 149(3):461–507, 2009, arXiv:0710.1645. [Huy06] D. Huybrechts. Fourier-Mukai transforms in algebraic geometry . Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford,
work page Pith review arXiv 2009
-
[10]
Serre functors and dimensions of residual categories, 2021, arXiv: 2109.02026
[KP21] Alexander Kuznetsov and Alexander Perry. Serre functors and dimensions of residual categories, 2021, arXiv: 2109.02026. 80 CHUNYI LI [KQ15] Alastair King and Yu Qiu. Exchange graphs and Ext quivers. Adv. Math., 285:1106–1154,
arXiv 2021
-
[13]
[LR22] Mart ´ı Lahoz and Andr´es Rojaz. Chern degree functions.to appear in Commun. Contemp. Math., 2022, arXiv:2105.03263. [LZ18] Chunyi Li and Xiaolei Zhao. The minimal model program for deformations of Hilbert schemes of points on the projective plane. Algebr. Geom., 5(3):328–358,
work page Pith review arXiv 2022
-
[14]
Stability conditions on curves
[Mac07] Emanuele Macr `ı. Stability conditions on curves. Math. Res. Lett., 14(4):657–672, 2007, arXiv:0705.3794. [Mac14a] Antony Maciocia. Computing the walls associated to Bridgeland stability conditions on projective surfaces. Asian J. Math., 18(2):263–279,
work page Pith review arXiv 2007
-
[17]
Contractibility of the geometric stability manifold of a surface
[Rek24] Nick Rekuski. Contractibility of the geometric stability manifold of a surface, 2024, arXiv:2310.10499. [Sch14] Benjamin Schmidt. A generalized Bogomolov-Gieseker inequality for the smooth quadric threefold. Bull. Lond. Math. Soc., 46(5):915–923,
work page Pith review arXiv 2024
-
[19]
Moduli stacks and invariants of semistable objects on K3 surfaces
[Tod08] Yukinobu Toda. Moduli stacks and invariants of semistable objects on K3 surfaces. Adv. Math., 217(6):2736–2781, 2008, arXiv:math.AG/0703590. [Tod14] Yukinobu Toda. A note on Bogomolov-Gieseker type inequality for Calabi-Yau 3-folds. Proc. Amer. Math. Soc. , 142(10):3387–3394,
-
[2001]
Stability conditions on threefolds with vanishing Chern classes
[Sun21] Hao Max Sun. Stability conditions on threefolds with vanishing chern classes, 2021, arXiv:2006.00756. [Tak22] Alex Takeda. Relative stability conditions on Fukaya categories of surfaces. Math. Z., 301(3):3019–3070,
work page Pith review arXiv 2021
Show all 19 references
-
[2003]
Wall-crossing implies Brill-Noether: applications of stability conditions on surfaces
A REAL REDUCTION OF THE MANIFOLD OF BRIDGELAND STABILITY CONDITIONS 79 [Bay18] Arend Bayer. Wall-crossing implies Brill-Noether: applications of stability conditions on surfaces. In Algebraic geometry: Salt Lake City 2015, volume 97.1 of Proc. Sympos. Pure Math., pages 3–27. A...
2015
-
[2006]
A counterexample to the jordan-h ¨older property for polarizable semiorthogonal decom- positions, 2025, arXiv:2502.12075
[HW25] Fabian Haiden and Dongjian Wu. A counterexample to the jordan-h ¨older property for polarizable semiorthogonal decom- positions, 2025, arXiv:2502.12075. [JM22] Marcos Jardim and Antony Maciocia. Walls and asymptotics for Bridgeland stability conditions on threefolds. ´E...
2025 arXiv
-
[2013]
[ABCH13] Daniele Arcara, Aaron Bertram, Izzet Coskun, and Jack Huizenga
With an appendix by Max Lieblich. [ABCH13] Daniele Arcara, Aaron Bertram, Izzet Coskun, and Jack Huizenga. The minimal model program for the Hilbert scheme of points on P2 and Bridgeland stability. Adv. Math., 235:580–626, 2013, arXiv:1203.0316. [AL17] Rina Anno and Timothy Lo...
2013 arXiv
-
[2014]
A generalized Bogomolov–Gieseker inequality for the three-dimensional projective space
[Mac14b] Emanuele Macr `ı. A generalized Bogomolov–Gieseker inequality for the three-dimensional projective space. Algebra Number Theory, 8(1):173–190, 2014, arXiv:1207.4980. [MYY14] Hiroki Minamide, Shintarou Yanagida, and K ¯ota Yoshioka. Some moduli spaces of Bridgeland’s s...
2014 arXiv
-
[2015]
Stability structures, motivic Donaldson-Thomas invariants and cluster transfor- mations, 2008, arXiv:0811.2435
[KS08] Maxim Kontsevich and Yan Soibelman. Stability structures, motivic Donaldson-Thomas invariants and cluster transfor- mations, 2008, arXiv:0811.2435. [Kuz19] Alexander Kuznetsov. Calabi-Yau and fractional Calabi-Yau categories. J. Reine Angew. Math., 753:239–267,
2008 arXiv
-
[2016]
Stability manifold of P1
[Oka06] So Okada. Stability manifold of P1. J. Algebraic Geom., 15(3):487–505, 2006, arXiv:math/0411220. [Pol07] A. Polishchuk. Constant families of t-structures on derived categories of coherent sheaves.Mosc. Math. J., 7(1):109–134, 167, 2007, arXiv:math/0606013. [PT19] Dulip...
2006 arXiv
-
[2017]
The space of stability conditions on the local projective plane
[BM11] Arend Bayer and Emanuele Macr `ı. The space of stability conditions on the local projective plane. Duke Math. J. , 160(2):263–322, 2011, arXiv:0912.0043. [BM14a] Arend Bayer and Emanuele Macr `ı. MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones,...
2011 arXiv
-
[2018]
Stability conditions on product varieties
[Liu21] Yucheng Liu. Stability conditions on product varieties. Journal f¨ur die reine und angewandte Mathematik (Crelles Jour- nal), 2021(770):135–157,
2021
-
[2019]
Bridgeland stability conditions on threefolds II: An application to Fujita’s conjecture
[BBMT14] Arend Bayer, Aaron Bertram, Emanuele Macr `ı, and Yukinobu Toda. Bridgeland stability conditions on threefolds II: An application to Fujita’s conjecture. J. Algebraic Geom., 23(4):693–710, 2014, arXiv:1106.3430. [Be˘ı78] A. A. Be ˘ılinson. Coherent sheaves on Pn and p...
2014 arXiv
-
[2022]
Stability conditions on triangulated categories
[Bri07] Tom Bridgeland. Stability conditions on triangulated categories. Ann. of Math. (2) , 166(2):317–345, 2007, arXiv:math/0212237. [Bri08] Tom Bridgeland. Stability conditions on K3 surfaces. Duke Math. J., 141(2):241–291, 2008, arXiv:math/0307164. [Del23] Hannah Dell. Sta...
2007 arXiv
-
[2024]
Polynomials, roots, and interlacing, 2008, arXiv:0612833
[Fis08] Steve Fisk. Polynomials, roots, and interlacing, 2008, arXiv:0612833. [FL21] Soheyla Feyzbakhsh and Chunyi Li. Higher rank Clifford indices of curves on a K3 surface. Selecta Math. (N.S.) , 27(3):Paper No. 48, 34,
2008
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.