Pith. sign in

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 →

arxiv 2506.21995 v1 pith:W6XYPQOE submitted 2025-06-27 math.AG math-phmath.MP

classification math.AGmath-phmath.MP MSC 14F0814K0514J6018G80
keywords DerivedcategoryBridgelandstabilityconditionsreducedwallandchamberstructurerestrictiontheoreminterlacedpolynomialsmanifoldmodulispaces
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Bridgeland stability conditions on a triangulated category form a complex manifold, but much of that manifold is redundant for wall-crossing. The paper introduces an equivalence relation that identifies stability conditions sharing the same imaginary central charge along connected fibers, and studies the quotient, called reduced stability conditions. The quotient is a real, possibly non-Hausdorff manifold of half the original dimension, and it retains the wall-and-chamber structure. The paper then defines a relation ≲ on the quotient and proves that the original stability manifold is homeomorphic to the subspace of the tangent bundle of the quotient selected by ≲. For smooth polarized varieties, the paper proposes a conjectural family of stability conditions whose reduced versions are parametrized by interlaced roots, and proves that if the conjecture holds, every smooth subvariety inherits stability conditions with geometric and vanishing properties.

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).

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

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)
  1. [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.
  2. [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.
  3. [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.
  4. [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.
  5. [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

0 steps flagged · score 1.0 of 10

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 0 free parameters · 5 assumptions · 2 invented entities

No empirical free parameters are fitted; the parameters t, s, c are coordinates of the constructed families, and the normalization constant Ct is fixed by a Vandermonde determinant rather than fitted to data. The central claims rest on standard deformation theorems, domain-specific geometric assumptions, and explicitly labeled conjectures.

assumptions (5)
  • standard math Bridgeland deformation theorem: the forgetful map from Stab to Hom(Λ,C) is a local homeomorphism, making Stab a complex manifold.
    Used throughout to construct local charts on Sb(T) in Proposition 2.12 and to lift paths in Theorem 8.4.
  • standard math BMS16 Proposition A.5 deformation criterion using a quadratic form Q of signature (2,ρ−2), plus the support property equivalence.
    Central to Proposition 2.16 and Proposition 4.5, where quadratic forms with negative definite kernels are used to deform stability conditions.
  • domain assumption For smooth polarized surfaces, the Bogomolov inequality Δ_H(E) ≥ 0 for H-semistable sheaves.
    Used in Section 5 to establish the support property for the surface stability family and to describe reduced stability conditions on surfaces.
  • ad hoc to paper Conjecture 1.1, or the weaker Stabd Conjecture 8.1, for a smooth polarized variety (X,H).
    Theorem 1.3 and Corollary 8.8 are conditional on this conjecture. Remark 1.4(2) explicitly states Conjecture 1.1 is not expected to hold for all polarized varieties.
  • standard math Bertini theorem for choosing smooth hyperplane sections and smooth subvarieties in Proposition 6.15 and Corollary 6.10.
    Used to reduce restrictions from X to divisors and eventually to points, and to show geometric stability conditions are determined by their central charges.
invented entities (2)
  • Reduced stability condition [σ] in Sb(T) independent evidence
    purpose: Quotient of Stab(T) by path-connected fibers of the imaginary part of the central charge, halving the dimension and preserving wall-chamber structure.
    The concept specializes to Bousseau's scattering diagram reduction on P2, an external prior framework, and recovers the Bertram nested wall theorem, giving independent mathematical handles.
  • The relation ≲ on Sb(T) and Stab(T) independent evidence
    purpose: Records ordering of hearts and slices, reconstructs Stab(T) from Sb(T), and provides the restriction criterion σ ⊗ O(D) ≲ σ[1].
    The restriction theorem produces an independently checkable consequence: stability conditions on a variety satisfying the ≲ condition restrict to stability conditions on smooth subvarieties.

how reviews work

0 comments
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$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Stability conditions and moduli spaces on projective families

    math.AG 2026-07 accept novelty 6.5 of 10

    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

19 extracted references · 14 canonical work pages · cited by 1 Pith paper

  1. [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,

  2. [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,

  3. [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,

  4. [13]

    Chern degree functions

    [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,

  5. [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,

  6. [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,

  7. [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,

  8. [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,

Show all 19 references
  1. [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...

  2. [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...

  3. [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...

  4. [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...

  5. [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,

  6. [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...

  7. [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,...

  8. [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,

  9. [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...

  10. [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...

  11. [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,

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.