Pith. sign in

REVIEW 4 major objections 6 minor 26 references

Stability conditions on the canonical line bundle of $\mathbb{P}^3$

T0 review · 4 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that the local P3 carries a full family of geometric stability conditions, via a Bogomolov-Gieseker-type inequality.

desk verdict A significant new result—geometric stability conditions on local P3—but the written proof has two load-bearing gaps that need repair before the full family statement is established. read the letter →

arxiv 2501.15251 v1 pith:5XSV3HPE submitted 2025-01-25 math.AG

Tianle Mao This is my paper · ORCID
classification math.AG MSC 14F0814J3214J60
keywords stabilityconditionsderivedcategoriescanonicalbundlelocalP3Bogomolov-Giesekerinequalitytiltinggeometricsphericaltwists
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

This paper aims to prove that the derived category of coherent sheaves supported on the zero section of the total space of the canonical line bundle over $\mathbb{P}^3$ admits a large family of geometric stability conditions. The argument hinges on a Bogomolov-Gieseker-type inequality involving the third Chern character: for tilt-semistable objects with tilt-slope $\beta$, one must have $v_3^\beta(E) \le (2\alpha-\beta^2)v_1^\beta(E)/6$. Proving this inequality for the local $\mathbb{P}^3$ is the core of the paper, and it is what turns a conjectural two-step tilting construction into actual stability conditions. If the construction works, skyscraper sheaves of all closed points remain stable in the same phase, which is exactly what a geometric stability condition requires.

What carries the argument

The load-bearing object is the double-tilt heart $\operatorname{Coh}^{\beta,\alpha}_0(X)$: first tilt the abelian category of sheaves supported on the zero section by slope $\mu$, obtaining $\operatorname{Coh}^{\beta}_0(X)$, then tilt again by the tilt-slope $\nu_{\beta,\alpha}$, obtaining the heart on which the three-parameter central charge has nonnegative imaginary part. The Bogomolov-Gieseker-type inequality supplies the real part: on objects where the imaginary part vanishes, it forces $\operatorname{Re} Z^{\beta,\alpha,a} \le 0$, which is the condition for a stability function. To prove that inequality, the paper uses a second bounded heart $\mathcal{B}$ generated by $i_*\mathcal{O}(1)$, $i_*\mathcal{O}[1]$, $i_*T(-2)[2]$, $i_*\mathcal{O}(-1)[3]$, together with a supporting lemma (Lemma 3.40) that converts half-plane containment of $Z(\mathcal{B})$ and non-membership of $F[2]$ into the desired inequality for a simple object $F[1]$. A relative derived dual functor and a tensor-twist reduction are used to restrict the inequality to $\beta\in[-1/2,0]$.

What would settle it

Look for a $\nu_{\beta,\alpha}$-semistable object $E\in\operatorname{Coh}^{\beta}_0(X)$ with tilt-slope $\beta$ inside the small-$\omega$ region ($\beta\in[-1/2,0]$, $\alpha>\beta^2/2$, $\sqrt{2\alpha-\beta^2}<1/2$) whose Chern character satisfies $v_3^\beta(E)>(2\alpha-\beta^2)v_1^\beta(E)/6$; because the proof reduces the full inequality to exactly this region, one such object would disprove the central claim, and an exhaustive check of that numerical inequality for candidate objects would settle it.

Watch

Extended reading notes

Core claim

On its own terms, the paper claims that for $X = \operatorname{Tot}(\omega_{\mathbb{P}^3})$ and for arbitrary real parameters $\beta,\alpha,a$ with $\alpha > \beta^2/2$ and $a > (2\alpha-\beta^2)/6$, the central charge $$$Z^{{\beta,\alpha,a}}$(E) = -v_3^\$\beta$(E) + a v_1^\$\beta$(E) + \sqrt{-1}\left(v_2^\$\beta$(E) - (\$\alpha$ - \$beta^{2}$/2)v_0^\$\beta$(E)\right)$$ defines a stability function on the double-tilt heart $\operatorname{Coh}^{\beta,\alpha}_0(X)$, giving a family of geometric stability conditions on $D^b_0(X)$. The printed Theorem 4.5 names the single-tilt heart $\operatorname{Coh}^{\beta}_0(X)$; the surrounding construction and Conjecture 3.27 identify the intended heart as the double tilt. The proof reduces the required Bogomolov-Gieseker inequality to the small-$\omega$ region $\sqrt{2\alpha-\beta^2}<1/2$ with $\beta\in[-1/2,0]$, and verifies it there using a bounded heart generated by powers of $\mathcal{O}(1)$, the tangent sheaf, and $\mathcal{O}(-1)$ pushed forward from $\mathbb{P}^3$. The same method then tilts at the exceptional object $i_*\mathcal{O}$ to produce algebraic stability conditions lying on the boundary of the geometric stability space.

Load-bearing premise

The whole family rests on the reduction claim that proving the Bogomolov-Gieseker inequality only for small $\omega = \sqrt{2\alpha-\beta^2}$ is enough to prove it for every allowed $(\beta,\alpha)$; the descent through walls in that reduction chooses a Jordan-Hölder factor that still violates the inequality, and that choice is cited to an unresolved reference rather than demonstrated.

Editorial extensions

If this is right

  • The region $\{(\beta,\alpha,a): \alpha>\beta^2/2,\ a>(2\alpha-\beta^2)/6\}$ embeds into the stability space $\operatorname{Stab}_H(D^b_0(X))$, so the stability space of the local $\mathbb{P}^3$ has a nonempty open geometric chamber.
  • Every skyscraper sheaf $k(y)$ is stable of the same phase in this family, so the constructed stability conditions are geometric in the sense of the paper.
  • The boundary points $(Z^{\beta,\beta^2,a},\operatorname{Coh}^{\beta,i_*\mathcal{O}}_0(X))$ are algebraic stability conditions and lie on $\partial\operatorname{Stab}^{\mathrm{geo}}_H(D^b_0(X))$.
  • Spherical twists move this boundary: the same stability conditions lie in the intersection of the geometric stability space and its translate by the spherical twist at $i_*\mathcal{O}$.
  • If the two assumptions in Remark 4.6(2) hold for other locally free sheaves on $\mathbb{P}^3$, the same construction yields a continuous embedding for those total spaces as well.

Reading between the lines

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

  • Beyond the paper, the same double-tilt construction should produce a wall-and-chamber decomposition of the geometric chamber for local $\mathbb{P}^3$; the walls should be controlled by objects in the exceptional collection $(\mathcal{O}(-1),T(-2),\mathcal{O},\mathcal{O}(1))$.
  • The boundary construction tilts only at $i_*\mathcal{O}$; a natural extension is to tilt at the other exceptional bundles in the collection, which would identify additional boundary points whenever the analogue of Conjecture 5.4 holds.
  • The reduction to small $\omega$ used here is the same strategy that proves stability for abelian threefolds; if it can be made to work under Assumption 3.8 for other vector bundles, the existence question for geometric stability on local Calabi-Yau threefolds would be settled in a wider class than local $\mathbb{P}^3$.
  • A reader checking the proof should first test the unresolved descent step: if the Jordan-Hölder factor violating the inequality cannot always be chosen, the full family may still exist but would need a different proof even in the small-$\omega$ case.
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

4 major / 6 minor

Summary. The paper studies Bridgeland stability conditions on the bounded derived category D^b_0(X) of coherent sheaves supported on the zero section of X = Tot(ω_{P^3}). The central construction follows the Bayer–Macrì–Toda program: it defines a double-tilt heart Coh^{β,α}_0(X), a central charge Z^{β,α,a}, and reduces the required Bogomolov–Gieseker type inequality to a small-ω statement. The main theorem (Theorem 4.5) claims that for all (β,α) with α > β²/2 and a > (2α−β²)/6, Z^{β,α,a} is a stability function on the double-tilt heart, giving a full family of geometric stability conditions. The paper also constructs some boundary stability conditions using tilting at an exceptional object i_*O, identifies them as lying on the boundary of the geometric chamber, and applies spherical twists to obtain further conditions. The arguments are detailed, and the explicit sector computations in Proposition 4.4 appear correct. However, several load-bearing steps in the reduction chain are not fully proved as written, notably the descent argument in Proposition 3.30 and the covering of the full (β,α)-range in Theorem 4.5.

Significance. If the reduction chain is completed, the main theorem would provide the first full family of geometric stability conditions on D^b_0(Tot(ω_{P^3})), a natural local-P³ analogue of the Bayer–Macrì picture for the local P². The paper also gives a plausible route to boundary points of the geometric chamber and to autoequivalence-generated stability conditions. The proof is not circular: the central inequality is checked against an explicit candidate heart B, and no fitted parameters are used. The manuscript contains explicit computations and a serious attempt at all necessary reductions, which makes the remaining gaps concrete and likely fixable. As it stands, however, the printed proof does not establish the theorem for the full claimed range.

major comments (4)
  1. [§3.5, Proposition 3.30] The reduction from the Bogomolov–Gieseker inequality for all (β,α) ∈ U to the small-ω region is load-bearing, but its proof is incomplete as printed. In the descent argument, the existence of the first wall where E₀ becomes strictly tilt-semistable is justified by an unresolved reference 'Proporsition ??', and the subsequent assertion that one can choose a Jordan–Hölder factor E₁ of E₀[l₀] with v^{β₁}_3(E₁) > ((2α₁−β₁²)/6)v^{β₁}_1(E₁) is stated without proof. The strict decrease of v^{β_{n+1}}_1(E_{n+1})² and the boundedness argument also rely on inequalities that are not stated as lemmas. Since Theorem 4.5 uses Proposition 3.30 to pass from the small-ω case to all of U, this gap affects the central claim.
  2. [§4, Theorem 4.5] The proof of Theorem 4.5 cites Propositions 3.30, 3.32, and 3.33, but it does not cite Proposition 3.34. Since Proposition 4.4 covers only rational β ∈ [−1/2, 0] with small ω, the dualization reduction of Proposition 3.34 is necessary to cover β ∈ (0, 1/2]. As printed, the cited chain does not establish the Bogomolov–Gieseker inequality for those β, so the theorem's claim for all (β,α) ∈ U is not obtained. The missing step should be added and the covering of the full β-range verified explicitly.
  3. [§4, Theorem 4.5 and §1.4, Theorem 1.6] The theorem states that Z^{β,α,a} is a stability function on the bounded heart Coh^β_0(X), but the construction in Conjecture 3.27 and the surrounding discussion require the double-tilt heart Coh^{β,α}_0(X). As printed, the statement does not match the object that is actually being studied: Coh^β_0(X) is the first tilt heart, independent of α, and the sector computations in Proposition 4.4 are carried out for the second tilt heart. This is not merely a notation issue, because the claimed family of geometric stability conditions is defined on Coh^{β,α}_0(X); the theorem statement should be corrected.
  4. [§4, Theorem 4.5 and §3.4–3.6] The proof of Theorem 4.5 establishes, at best, the Bogomolov–Gieseker inequality for the relevant semistable objects, but the theorem asserts that Z^{β,α,a} is a stability function for arbitrary real (β,α), a, not only for the rational small-ω points treated in Proposition 4.4. The passage from the rational small-ω inequality to all real (β,α) requires the Harder–Narasimhan property and the support property for the double-tilt heart; Remark 4.6 defers this to a deformation argument in [BMS16, Section 8] and says no details are included. Since this passage is part of the main theorem, it should be proved or explicitly cited in the proof of Theorem 4.5.
minor comments (6)
  1. [§3.5, Proposition 3.30] The text contains the unresolved cross-reference 'Proporsition ??'; it should be replaced by a precise statement and proof of the asserted wall-crossing fact.
  2. [§4, Proposition 4.3] The proof of stability of T(−2)[1] invokes 'Proposition ??' for the wall through Π(T(−2)[1]); this reference must be supplied.
  3. [§5, after Remark 5.10] Remark 5.10 is incomplete: it ends with 'There is a similar consequence when β > µ_2(E) and', and the sentence is cut off.
  4. [§Appendix A, Proposition A.13] The proof of Proposition A.13 refers to 'Lemma ??' when identifying the relevant subcategory; this reference should be made precise.
  5. [Throughout] There are numerous typographical issues, including 'Propostion', 'Asuume', 'boudary', and the garbled display in §1.2; a careful editing pass is needed.
  6. [§5.2, Proposition 5.13] In the display of Proposition 5.13, expressions such as 'v^β_3(E)v^β_1(E)' should be written as quotients v^β_3(E)/v^β_1(E) to avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the stability-condition family is derived from an independent Bogomolov–Gieseker-type inequality and external reduction theorems; the proof gaps noted by the skeptic are completeness issues, not self-referentiality.

full rationale

The paper's central derivation does not reduce to its own inputs by construction. The family (Z^{β,α,a}, Coh^{β,α}_0(X)) is proposed in Conjecture 3.27, and the Bogomolov–Gieseker-type inequality (Conjecture 3.26) is an independent inequality on ν^{β,α}-semistable objects; Proposition 3.28 shows one implies the other, which is a genuine implication and not a definitional equivalence. The proof of the inequality for X=Tot(ω_{P3}) proceeds by checking an explicit heart B generated by the objects i_*O(1), i_*O[1], i_*T(-2)[2], i_*O(-1)[3] from Bridgeland [Bri05], with the central charges z0,...,z3 of S0,...,S3 computed directly; Lemma 3.40 then converts the sector condition on B into Re Z(F)≥0 for the relevant simple objects F[1]. No fitted parameter is renamed as a prediction: the parameter a0=(2α-β^2)/6 is the natural threshold forced by the sector computation, and the full family in a is obtained by extension, not by fitting. The reductions by tensor twist (Prop. 3.33), relative derived dual (Prop. 3.34/A.16), rationality (Prop. 3.32), and small-ω (Prop. 3.30) cite external results, principally Macrì [Mac14], and are not self-citations of this paper's conclusions; the author's own contributions are the explicit small-ω check and the boundary construction. The skeptic's objections are legitimate correctness concerns, not circularity: Prop. 3.30's proof contains an unresolved 'Proporsition ??' and an unstated Jordan–Hölder factor argument, and the proof of Theorem 4.5 cites Props 3.30, 3.32, and 3.33 without explicitly invoking Prop. 3.34, leaving the printed proof incomplete for β∈(0,1/2]. These are gaps in the derivation chain, but they do not make any step equivalent to its input by definition, nor does the paper fit a parameter to force the claimed result. Accordingly no circular step is exhibited and the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No numbers are fitted to data: the parameters β, α, a describe a family of stability conditions. The main inputs are Assumption 3.8 (proved sketchily for local P^3), the wall-chamber structure of tilt stability, and the existence of the exceptional-collection heart B from [Bri05]. No new entities are postulated.

assumptions (4)
  • domain assumption Assumption 3.8: a sheaf E in Coh0(X) is slope stable iff E = i_*E0 for some slope stable sheaf E0 in Coh(Y).
    Assumed for the general vector bundle framework in Section 3. In the main case X = Tot(ω_{P^3}), it is claimed as Proposition 4.1, but the proof is sketchy and relies on the assertion that End(E) = C forces the scheme-theoretic support to be the reduced zero section.
  • domain assumption The wall and chamber structure of tilt stability (Propositions 3.20 and 3.21) holds for D^b_0(X).
    Invoked in the proofs of Proposition 3.30 and Proposition 4.3. The text refers to 'Proporsition ??' and 'Proposition ??' in these places, so the reader cannot verify this premise.
  • domain assumption The full exceptional collection (O(-1), T(-2), O, O(1)) of D^b(P^3) induces a bounded heart B of D^b_0(X) with simple objects i_*O(1), i_*O[1], i_*T(-2)[2], i_*O(-1)[3].
    Cites [Bri05, Lemma 4.4]. This heart is used in Proposition 4.4 to verify the sector condition that proves the BG inequality.
  • standard math Tilt stability of line bundles and T(-2) on P^3 as cited from [BMS16, Corollary 3.11] and [Mac14, Corollary 3.11].
    Used in Proposition 4.3 to establish that the four objects are tilt-stable in the required parameter range.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stability conditions on the canonical line bundle of $\mathbb{P}^3$." pith.science (2026). https://pith.science/paper/5XSV3HPE

@misc{pith2026250115251,
  author       = {Pith},
  title        = {Pith review of: Stability conditions on the canonical line bundle of $\mathbbP^3$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5XSV3HPE}},
  note         = {Machine review of arXiv:2501.15251}
}
read the original abstract

We study the space of stability conditions on the total space of the canonical line bundle over the three dimensional projective space. We construct a family of geometric stability conditions and some subset of the boudary of them, which are algebraic. We also use spherical twists to construct some other stability conditions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 23 canonical work pages

  1. [1]

    Bridgeland-stable moduli spaces for k -trivial surfaces

    Daniele Arcara and Aaron Bertram. Bridgeland-stable moduli spaces for k -trivial surfaces. Journal of the European Mathematical Society , 15(1):1--38, 2012

    work page 2012

  2. [2]

    The space of stability conditions on the local projective plane

    Arend Bayer and Emanuele Macr \` . The space of stability conditions on the local projective plane. 2011

    work page 2011

  3. [3]

    The space of stability conditions on abelian threefolds, and on some calabi-yau threefolds

    Arend Bayer, Emanuele Macr \` , and Paolo Stellari. The space of stability conditions on abelian threefolds, and on some calabi-yau threefolds. Inventiones mathematicae , 206(3):869--933, 2016

    work page 2016

  4. [4]

    Bridgeland stability conditions on threefolds i: Bogomolov-gieseker type inequalities

    Arend Bayer, Emanuele Macr \` , and Yukinobu Toda. Bridgeland stability conditions on threefolds i: Bogomolov-gieseker type inequalities. Journal of Algebraic Geometry , 23(1):117--163, 2014

    work page 2014

  5. [5]

    t-structures on some local calabi--yau varieties

    Tom Bridgeland. t-structures on some local calabi--yau varieties. Journal of Algebra , 289(2):453--483, 2005

    work page 2005

  6. [6]

    Stability conditions on triangulated categories

    Tom Bridgeland. Stability conditions on triangulated categories. Annals of Mathematics , pages 317--345, 2007

    work page 2007

  7. [7]

    Spaces of stability conditions

    Tom Bridgeland. Spaces of stability conditions. Algebraic geometry—Seattle 2005. Part , 1:1--21, 2009

    work page 2005

  8. [8]

    D-branes, categories and n= 1 supersymmetry

    Michael R Douglas. D-branes, categories and n= 1 supersymmetry. arXiv preprint hep-th/0011017 , 2000

    arXiv 2000

Show all 26 references
  1. [9]

    Dirichlet branes, homological mirror symmetry, and stability

    Michael R Douglas. Dirichlet branes, homological mirror symmetry, and stability. arXiv preprint math/0207021 , 2002

    2002 arXiv

  2. [10]

    An application of wall-crossing to noether--lefschetz loci

    Soheyla Feyzbakhsh, Richard P Thomas, and C Voisin. An application of wall-crossing to noether--lefschetz loci. The Quarterly Journal of Mathematics , 72(1-2):51--70, 2021

    2021

  3. [11]

    Constructive exceptional bundles on P ^3

    Benjamin Gould. Constructive exceptional bundles on P ^3 . arXiv preprint arXiv:2208.04984 , 2022

    2022 arXiv

  4. [12]

    The geometry of moduli spaces of sheaves

    Daniel Huybrechts and Manfred Lehn. The geometry of moduli spaces of sheaves . Cambridge University Press, 2010

    2010

  5. [13]

    Tilting in abelian categories and quasitilted algebras , volume 575

    Dieter Happel, Idun Reiten, Sverre O Smal , Sverre O Smal, et al. Tilting in abelian categories and quasitilted algebras , volume 575. American Mathematical Soc., 1996

    1996

  6. [14]

    Autoequivalences of derived categories on the minimal resolutions of an-singularities on surfaces

    Akira Ishii and Hokuto Uehara. Autoequivalences of derived categories on the minimal resolutions of an-singularities on surfaces. Journal of Differential Geometry , 71(3):385--435, 2005

    2005

  7. [15]

    Sheaves on Manifolds: With a Short History

    Masaki Kashiwara and Pierre Schapira. Sheaves on Manifolds: With a Short History. Les d \'e buts de la th \'e orie des faisceaux . By Christian Houzel , volume 292. Springer Science & Business Media, 2013

    2013

  8. [16]

    Stability conditions on fano threefolds of picard number 1

    Chunyi Li. Stability conditions on fano threefolds of picard number 1. Journal of the European Mathematical Society , 21(3):709--726, 2018

    2018

  9. [17]

    On stability conditions for the quintic threefold

    Chunyi Li. On stability conditions for the quintic threefold. Inventiones mathematicae , 218:301--340, 2019

    2019

  10. [18]

    Stability conditions on curves

    Emanuele Macr \` . Stability conditions on curves. arXiv preprint arXiv:0705.3794 , 2007

    2007 arXiv

  11. [19]

    A generalized bogomolov--gieseker inequality for the three-dimensional projective space

    Emanuele Macr \` . A generalized bogomolov--gieseker inequality for the three-dimensional projective space. Algebra & Number Theory , 8(1):173--190, 2014

    2014

  12. [20]

    Lectures on Bridgeland stability

    Emanuele Macr \` and Benjamin Schmidt. Lectures on Bridgeland stability . In Moduli of curves , pages 139--211. Springer, 2017

    2017

  13. [21]

    Stability manifold of P ^1

    So Okada. Stability manifold of P ^1 . Journal of Algebraic Geometry , 15(3):487--505, 2006

    2006

  14. [22]

    Constant families of t-structures on derived categories of coherent sheaves

    Alexander Evgen'evich Polishchuk. Constant families of t-structures on derived categories of coherent sheaves. Moscow Mathematical Journal , 7(1):109--134, 2007

    2007

  15. [23]

    Moduli of bridgeland semistable objects on 3-folds and donaldson--thomas invariants

    Dulip Piyaratne and Yukinobu Toda. Moduli of bridgeland semistable objects on 3-folds and donaldson--thomas invariants. Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2019(747):175--219, 2019

    2019

  16. [24]

    Bogomolov--gieseker-type inequality and counting invariants

    Yukinobu Toda. Bogomolov--gieseker-type inequality and counting invariants. Journal of Topology , 6(1):217--250, 2013

    2013

  17. [25]

    Stability conditions and extremal contractions

    Yukinobu Toda. Stability conditions and extremal contractions. Mathematische Annalen , 357:631--685, 2013

    2013

  18. [26]

    D Yu Zube. 11. the stability of exceptional bundles on three dimensional projective space. Helices and Vector Bundles: Seminaire Rudakov , 148:115, 1990

    1990

Pith tools

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