Pith. sign in

REVIEW 1 major objections 5 minor 16 references

The Thurston compactification of the stability manifold of a generic analytic K3 surface

T0 review · 1 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read For a K3 surface with no line bundles, the stability manifold is a closed disk.

desk verdict First complete Thurston compactification for a K3 stability manifold, with a largely sound proof; one fillable gap in the semi-rigid classification. read the letter →

arxiv 2505.14991 v1 pith:LHPVML6Z submitted 2025-05-21 math.AG math.CTmath.RT

Anand Deopurkar This is my paper · ORCID
classification math.AGmath.CTmath.RT MSC 14J2814F0818E30
keywords stabilityconditionsmanifoldK3surfacessemi-rigidobjectsmassmapsphericaltwistcompactificationderivedcategories
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 determines the full shape of the space of stability conditions on the derived category of an analytic K3 surface with no non-trivial line bundles. It proves that the projectivized stability manifold is an open two-dimensional ball, and that the compactification obtained by recording the masses of semi-rigid objects is a closed two-dimensional ball. The boundary is described explicitly as a chain of triangles glued along one common vertex, and that vertex is the function hom(O_X, -) counting extensions from the structure sheaf. This is the first K3 surface case where the entire boundary of the mass compactification is known.

What carries the argument

The argument is carried by three pieces. The first is the classification of semi-rigid objects (Proposition 3.1): every semi-rigid object is of the form $T^n k_x[m]$, where $T$ is the spherical twist in $O_X$, $k_x$ is a skyscraper sheaf, and $[m]$ is a homological shift. This reduces the infinite set $S$ to a $\mathbb{Z}$-indexed family. The second is the mass map $m$, which on each chamber $W^-, W^0, W^+$ is computed explicitly from the semistable factors of $T^n k_x$; these factors are only $k_x$, $Tk_x$, and shifts of $O_X$. The third is a parametrization of the closure: an equivariant map $\pi: \mathbb{R} \times I \to \mathbb{P}S$, where $I$ is the interval of pairs $[v:w]$ with $v,w \ge 0$, linearly interpolates between the triangle vertices $P_n$ and the common point $Q=[\cdots:1:1:1:\cdots]$, then collapses three sides to a point to yield a closed disk. A load-bearing input is [BDL23, Theorem 3.4], which guarantees that twisting by $O_X$ strictly reduces the phase spread of a semi-rigid object, enabling the classification.

What would settle it

Compute the set of stable objects of phase equal to that of $O_X$ in a standard stability condition in $W^-$; the argument requires that this set contains only $O_X$ (up to shift). If any skyscraper sheaf, ideal sheaf, or a stable vector bundle appears at that phase, the phase-spread reduction of Lemma 3.3 fails and the classification of semi-rigid objects collapses.

Watch

Extended reading notes

Core claim

For an analytic K3 surface $X$ with $\mathrm{Pic}(X)=0$, let $S$ be the set of semi-rigid objects, meaning objects $F$ with $\hom^0(F,F)=1$, $\hom^1(F,F)=2$, $\hom^2(F,F)=1$, and no other self-extension groups. The projective mass map $m: \mathbb{P}\mathrm{Stab}(D^b\mathrm{Coh}(X)) \to \mathbb{P}S$ sends a stability condition to the projectivized vector of masses of the objects in $S$, where the mass of $F$ is the sum of $|Z|$ over the factors of its canonical filtration into semistable pieces. Theorem 1.1 states that $m$ is a homeomorphism onto its image, that the image is an open $2$-ball, and that its closure is a closed $2$-ball. The closed ball is tiled by the translates of a single triangle under the spherical twist in $O_X$; all the triangles share a common boundary vertex, which is the projectivized hom function $\hom(O_X,-)$. A supporting result, Proposition 3.1, classifies all semi-rigid objects: up to shifts and powers of the spherical twist, they are exactly the skyscraper sheaves $k_x$.

Load-bearing premise

The whole proof leans on a technical uniqueness condition: in each stability condition used, the structure sheaf is the only object stable at its phase; the paper gives good reason to expect this but does not prove it, and the classification would break if it failed.

Editorial extensions

If this is right

  • The projective stability manifold $\mathbb{P}\mathrm{Stab}(X)$ is an open $2$-ball, hence contractible.
  • The closure of the mass embedding is a closed $2$-ball; its boundary consists of a unique $T$-invariant point together with a chain of ideal-triangle sides indexed by $\mathbb{Z}$.
  • The distinguished boundary point $[\cdots:1:1:1:\cdots]$ is both the projectivized hom function $\hom(O_X,-)$ and the mass function of a lax stability condition in which $O_X$ has zero mass.
  • The other triangle vertices $P_n$ are mass functions of lax pre-stability conditions that fail the support property, while points in the open arcs of the boundary are not realizable as limits of any lax stability condition.
  • For the $q$-deformed mass map with $q \neq 1$, the closure is again a closed disk, but the distinguished point is replaced by a closed interval whose endpoints are the $q$-hom function $\hom_q(O_X,-)$ and the $q$-mass of the lax condition from the $q=1$ case.

Reading between the lines

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

  • If the same strategy applies to algebraic K3 surfaces with higher Picard rank, the mass compactification should acquire additional boundary strata indexed by spherical objects that are not twists of $O_X$; the triangle tiling found here would then be only the base of a much richer picture.
  • The boundary interval appearing for $q \neq 1$ suggests that $q=1$ is special because the spherical twist acts with an additive eigenvalue on the relevant mass coordinates; varying $q$ breaks this degeneracy, which may explain the $q$-deformed Farey tessellation phenomena seen in neighbouring quiver categories.
  • A testable extension is to check whether the same classification of semi-rigid objects holds for other compact complex surfaces with trivial Picard group; if it does, the identical disk closure would follow, indicating that the topology of the mass compactification is governed by the spherical twist orbit of $k_x$.
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

1 major / 5 minor

Summary. The paper studies the Thurston compactification of the Bridgeland stability manifold for an analytic K3 surface X with Pic(X)=0, following the framework of BDL20. It classifies all semi-rigid objects in D^b Coh(X) as, up to shifts, the translates T^n k_x of skyscraper sheaves by the spherical twist in O_X. It then defines the mass map m: PStab(X) → P^S using masses of semi-rigid objects and proves, in Theorem 1.1, that this map is a homeomorphism onto a 2-dimensional open ball whose closure is a closed disk. The proof proceeds by describing the image as a Z-indexed union of open triangles and segments in projective space, parametrizing this union by a compactified strip, and collapsing three sides to obtain a disk. The paper also treats a q-deformed mass map, whose closure is again a disk but with an additional boundary interval.

Significance. If correct, this is a substantial and essentially complete computation of the BDL20 Thurston compactification in a nontrivial geometric setting, and it gives the first full description of such a compactification for a K3 stability manifold. The main novelty is not a new general framework but a concrete chain of results: the classification of semi-rigid objects in Proposition 3.1, the explicit mass coordinates and their inverse via the cosine rule in Proposition 4.3, the patching of wall and chambers in Theorem 4.6, and the identification of the closure with a disk in Theorem 4.7. These ingredients are new and are not obtained by parameter-fitting or by reducing to the author's previous results. The paper also contains a clear discussion of boundary points and their interpretation as lax stability conditions, which is a useful and falsifiable refinement of the BDL20 picture.

major comments (1)
  1. [§3, Lemma 3.3] The proof of Lemma 3.3 applies [BDL23, Theorem 3.4] with x = O_X[i] and y = F, but it does not verify the theorem's hypothesis that O_X[i] is the only τ-stable object of its phase. This is not a formal consequence of the facts recalled in Section 2, since O_X being the unique spherical object up to shift does not exclude other stable objects of the same phase. Because Lemma 3.3 is the step that reduces an arbitrary semi-rigid object to a semi-stable one, this missing verification is load-bearing for Proposition 3.1 and hence for the mass formulas in Section 4. The gap is fillable: for τ in W^-, the central charge is an R-linear isomorphism N(X)_R → C, so a stable object E of the same phase as O_X satisfies Z(E) = λ Z(O_X) with λ > 0, forcing [E] = r[O_X] for some positive integer r and hence ch2(E) = 0; for r > 1 a μ-stable bundle with c1 = 0 and c2 = 0 would be projectively flat, hence flat and trivial because X is simply connected, contradicting stability. The same argument applies to shifts and T-translates. I ask that this verification be included in the paper rather than left implicit.
minor comments (5)
  1. [§4.1, after Proposition 3.1] The reduction from the full set S of semi-rigid objects to S = {T^n k_x | n ∈ Z} for a fixed point x is natural because all skyscrapers have the same mass, but the paper should state explicitly that the image of PStab(X) in P^S lies in the locus where the coordinates attached to k_x and k_y agree for all points x, y, and that this locus is canonically identified with P^{Z}.
  2. [Theorem 4.7] The assertion that the parametrization π is injective on the complement of C is dismissed as 'easy to check'. Since this injectivity is an essential part of proving that the closure is homeomorphic to a disk, a short explicit verification of injectivity on the finite part R × I (for example, by recovering u, v, w from the coordinates at indices n and n+1) would strengthen the proof.
  3. [§5, Theorems 5.1 and 5.2] The q-mass analogues are proved by saying that the arguments are analogous to the q=1 case, and the inverse of the q-mass map on the triangle is not written out explicitly. This is acceptable for a secondary result, but a few more details, especially the q-analogue of the cosine-rule inverse, would make the section self-contained.
  4. [Proof of Lemma 3.3] There is a typo in the displayed estimate near the end of the proof: 'ϕ+(F) − ϕ−1(F)' should be 'ϕ+(F) − ϕ−(F)'.
  5. [§4.4, Proposition 4.9] In the support property argument, the inequality 0 ≥ χ(O_X, E) = 2r + m is used to conclude m ≤ −2r. Since the paper's Mukai pairing is normalized so that χ(O_X, E) = 2r + m, the displayed line is consistent, but the sign conventions differ from the standard Mukai lattice and the reader would benefit from a one-sentence reminder that χ(E,F) equals the Mukai pairing in the convention used here.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: a concrete mass-coordinate computation using external cited tools; the unverified BDL23 hypothesis is a fillable gap, not a circular step.

full rationale

The derivation chain is self-contained in the relevant sense. The mass coordinates are computed from explicit HN filtrations (Propositions 4.1 and 4.2), the inverse of the mass map is reconstructed directly from triangle geometry via the cosine rule (Proposition 4.3, equations (4) and (5)), the wall is patched in Proposition 4.5, and the global homeomorphism is assembled in Theorem 4.6. Theorem 4.7 then identifies the closure by an explicit T-equivariant parametrization of a strip R×I with three sides collapsed; the map is injective off the collapsed set and its image is the union of the closures of the triangles Δ_n, so it is a homeomorphism onto the closure. No parameter is fitted to a data subset and no 'predicted' quantity coincides with an input by construction. The citations to [BDL20], [BDL23], and [BBL22] are cited mathematical theorems (Thurston compactification framework, phase-spread reduction, q-cosine rule), not repackaged versions of Theorem 1.1. For example, the phase-spread reduction theorem from [BDL23] is a parameter-free statement about arbitrary triangulated categories and does not include the target K3 classification as an assumption. The only genuine soft spot is in Lemma 3.3: the paper applies [BDL23, Theorem 3.5] without verifying in the text that O_X[i] is the unique τ-stable object of its phase. This is an omitted proof, not a circular reduction; the condition is fillable by a standard Bogomolov/Mukai argument and is external to the conclusion. The same holds for the q-analogues in Section 5, which use the q-triangle inequalities from [Ike21] and the q-cosine rule from [BBL22] as auxiliary lemmas while deriving the mass formulas from the already-established HN filtrations. I therefore find no significant circularity and assign score 0.

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

The central claim is built on standard theorems about stability conditions on K3 surfaces (HMS08), spherical twists, and a reduction theorem from BDL23. No free parameters are fitted to make the argument work; the only parameter in the paper, q, is a fixed positive real input of the construction. No new entities are posited.

assumptions (6)
  • domain assumption Description of all stability conditions on a Picard-rank-zero K3 as translates of standard ones (HMS08, Cor 4.7 and Thm 4.8).
    Used in Proposition 2.2 to reduce the study to W and its spherical-twist translates; this is the foundation of the paper's coverage of PStab(X).
  • standard math Spherical twist exact triangle: Hom*(O_X, E) ⊗ O_X → E → T(E) → +1.
    Used in Propositions 2.4, 4.1, and 4.3 to compute the objects and masses of T^n k_x.
  • domain assumption Theorem 3.4 of BDL23: spherical twisting reduces the phase spread of objects with no negative endomorphisms, provided the twist object is the unique stable object of its phase.
    Used in Lemma 3.3 to prove every semi-rigid object becomes semi-stable after a spherical twist; essential for the classification in Proposition 3.1.
  • domain assumption Mukai lemma (HMS08, Lemma 2.7) bounding the first self-extension of an extension of skyscraper sheaves.
    Used in Lemma 3.2 to force a semi-stable semi-rigid object with class (0,1) to be a single skyscraper sheaf.
  • domain assumption Existence of stable vector bundles without non-trivial sub-bundles and with arbitrarily large second Chern class (BLP87, Theorem 5.3).
    Used in Proposition 4.10 to show the lax pre-stability condition τ fails the support property, which determines the boundary trichotomy.
  • domain assumption q-triangle inequalities (Ike21) and the q-cosine rule (BBL22, Lemma 5.2).
    Used in Section 5 to show the q-mass embedding from PW^- to the triangle is a homeomorphism.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Thurston compactification of the stability manifold of a generic analytic K3 surface." pith.science (2026). https://pith.science/paper/LHPVML6Z

@misc{pith2026250514991,
  author       = {Pith},
  title        = {Pith review of: The Thurston compactification of the stability manifold of a generic analytic K3 surface},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LHPVML6Z}},
  note         = {Machine review of arXiv:2505.14991}
}
read the original abstract

Let X be an analytic K3 surface with Pic X = 0. We describe the closure of the Bridgeland stability manifold of X obtained using the masses of semi-rigid objects.

Figures

Figures reproduced from arXiv: 2505.14991 by the authors.

Figure 1
Figure 1. For an analytic K3 surface X with Pic(X) = 0, the compactified P Stab(X) is a closed disk, tiled by the translates of a triangle by the action of the spherical twist in OX. A distinguished point (red) in the boundary corresponds to the function hom(OX, −) [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. The closure of mq(P Stab(X)) is also a closed disk. The boundary has an additional interval, whose blue end-point is the q-hom functional homq(OX, −). We can reconcile the two pictures ( [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗
Figure 3
Figure 3. The tiling of the disk by triangles in the q = 1 case (left) versus the q ̸= 1 case (right). In the course of the proof of the main theorem, we characterise all semi-rigid objects of Db Coh(X). Up to twists by OX and homological shifts, the only such objects are the skyscraper sheaves kx (Proposition 3.1). There are a few other cases where the Thurston compactification of the stability manifold has been completely d… view at source ↗
Figures from the paper (6 more)
Figure 4
Figure 4. Figure 4: For w ∈ −H (red), a central charge Z1 as above defines a stability condi￾tion with heart Coh(X). For z ∈ H (green) and z ∈ R<0 (blue), a central charge Z2 as above defines a stability condition whose heart is the tilt of Coh(X) with respect to torsion and torsion-free …
Figure 5
Figure 5. Figure 5: We can use the cosine rule to reconstruct the central charge of a standard σ ∈ W− from the masses a, b, c of kx, Tkx, OX (left) and of σ ∈ W+ from the masses a, b, c of T −1kx, kx, OX (right). For n ∈ Z, let ∆n ⊂ PS be the locally closed subset consisting of points of …
Figure 6
Figure 6. Figure 6: The mass map gives a homeomorphism from the set of standard stability conditions parametrised by −H ∪ H ∪ R<0 and the union of two open triangles and a segment that forms a wall between them. so that ∆n = T n∆0. Recall that we also denote by T : Stab(X) → Stab(X) the a…
Figure 7
Figure 7. Figure 7: The map π : R × [0, 1] → PS induces a homeomorphism from a closed disk B onto the closure of the image of P Stab(X). The disk B is obtained from the square R × [0, 1] by collapsing three sides (red). The Z-indexed set of triangles tiling the image is the set of transla…
Figure 8
Figure 8. Figure 8: The central charges of semi-stable objects in a standard stability condition with heart Coh X are the lattice points in the shaded region. As a result, the phases are dense in the blue region of the unit circle. (2) The objects kx and Ix = Tkx[−1] can become massless i…
Figure 9
Figure 9. Figure 9: The map πq : R × [0, 1] → PS induces a homeomorphism from a closed disk B onto the closure of the image of P Stab(X) under the q-mass map. The disk B is obtained from the square R × [0, 1] by collapsing two sides (red). Instead of a unique T-fixed point of Dq, as was t…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 13 canonical work pages

  1. [1]

    Arend Bayer, A tour to stability conditions on derived categories, https://www.maths.ed.ac.uk/ abayer/dc-lecture-notes.pdf, 2011

    work page 2011

  2. [2]

    Arend Bayer and Tom Bridgeland , Derived automorphism groups of \(K3\) surfaces of Picard rank 1 , Duke Math. J. 166 (2017), no. 1, 75--124 (English)

    work page 2017

  3. [3]

    Licata, q -deformed rational numbers and the 2-Calabi--Yau category of type A_2 , http://arxiv.org/abs/2202.07613v1

    Asilata Bapat, Louis Becker, and Anthony M. Licata, q -deformed rational numbers and the 2-Calabi--Yau category of type A_2 , http://arxiv.org/abs/2202.07613v1

    arXiv

  4. [4]

    Licata, A Thurston compactification of the space of stability conditions , http://arxiv.org/abs/2011.07908

    Asilata Bapat, Anand Deopurkar, and Anthony M. Licata, A Thurston compactification of the space of stability conditions , http://arxiv.org/abs/2011.07908

    arXiv 2011

  5. [5]

    , Spherical objects and stability conditions on \(2\) - Calabi - Yau quiver categories , Math. Z. 303 (2023), no. 1, 22 (English), Id/No 13

    work page 2023

  6. [6]

    ( On the existence of holomorphic vector bundles on non- algebraic surfaces) , J

    Constantin B a nic a and Joseph Le Potier, Sur l'existence des fibr \'e s vectoriels holomorphes sur les surfaces non- alg \'e briques. ( On the existence of holomorphic vector bundles on non- algebraic surfaces) , J. Reine Angew. Math. 378 (1987), 1--31 (French)

    work page 1987

  7. [7]

    Anna Barbieri, Martin M \"o ller, and Jeonghoon So, A smooth compactification of spaces of stability conditions: the case of the A_ n -quiver

    work page

  8. [8]

    Barbara Bolognese, A partial compactification of the Bridgeland stability manifold , Adv. Geom. 23 (2023), no. 4, 527--541 (English)

    work page 2023

Show all 16 references
  1. [9]

    RT ] (2022), 2022

    Nathan Broomhead, David Pauksztello, David Ploog, and Jon Woolf, Partial compactification of stability manifolds by massless semistable objects, Preprint, arXiv :2208.03173 [math. RT ] (2022), 2022

    2022 arXiv

  2. [10]

    Tom Bridgeland, Stability conditions on triangulated categories, Ann. of Math. (2) 166 (2007), no. 2, 317--345

    2007

  3. [11]

    Licata, Stability conditions and Artin -- Tits groups , Preprint, arXiv :2412.15919 [math

    Edmund Heng and Anthony M. Licata, Stability conditions and Artin -- Tits groups , Preprint, arXiv :2412.15919 [math. RT ] (2024), 2024

    2024 arXiv

  4. [12]

    Daniel Huybrechts , Emanuele Macr\` , and Paolo Stellari , Stability conditions for generic \(K3\) categories , Compos. Math. 144 (2008), no. 1, 134--162 (English)

    2008

  5. [13]

    Akishi Ikeda, Mass growth of objects and categorical entropy, Nagoya Math. J. 244 (2021), 136--157

    2021

  6. [14]

    Kohei Kikuta, Naoki Koseki, and Genki Ouchi, Thurston compactifications of spaces of stability conditions on curves, Trans. Am. Math. Soc. 377 (2024), no. 4, 2897--2923 (English)

    2024

  7. [15]

    AG ] (2025), 2025

    , Stability conditions on K3 surfaces via mass of spherical objects , Preprint, arXiv :2504.12253 [math. AG ] (2025), 2025

    2025 arXiv

  8. [16]

    Yu Qiu and Jon Woolf, Contractible stability spaces and faithful braid group actions, Geom. Topol. 22 (2018), no. 6, 3701--3760 (English)

    2018

Pith tools

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