pith. sign in

arxiv: 2606.00396 · v1 · pith:MFWAGKYEnew · submitted 2026-05-29 · 🧮 math.AG · math.RT

Properties of deformed mass and phase functions

Pith reviewed 2026-06-28 19:43 UTC · model grok-4.3

classification 🧮 math.AG math.RT
keywords stability conditionsdeformed massdeformed phasecontinuitytriangle inequalitytruncationsalgebraic geometry
0
0 comments X

The pith

Deformed mass and phase functions on stability conditions are continuous, yielding a homeomorphic embedding into a product of finite measure spaces.

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

This paper proves that deformed mass and phase functions defined on the space of stability conditions are continuous. The continuity allows embedding the space homeomorphically into a product of spaces of finite measures. It also establishes the triangle inequality for these mass functions and gives estimates for the deformed mass of truncations relative to a slicing. These results provide a way to topologically control the space of stability conditions using measure theory.

Core claim

We establish basic properties of the deformed mass and phase functions on the space of stability conditions. We prove that these functions are continuous and deduce that the space of stability conditions admits a homeomorphic embedding into a product space of finite measures. Subsequently, we give a proof of the triangle inequality for deformed mass functions and provide estimates for the deformed mass of truncations of objects with respect to a slicing.

What carries the argument

The deformed mass and phase functions, which assign measures and phases to stability conditions and support the continuity and embedding arguments.

If this is right

  • The space of stability conditions admits a homeomorphic embedding into a product space of finite measures.
  • The triangle inequality holds for the deformed mass functions.
  • Estimates hold for the deformed mass of truncations of objects with respect to a slicing.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The embedding may let researchers transfer metric or convergence properties from finite measures back to stability conditions.
  • Similar continuity proofs could extend to related functions like central charges on the same space.
  • The results may help analyze the topology of connected components within the space of stability conditions.

Load-bearing premise

The deformed mass and phase functions are well-defined and satisfy the structural properties needed for continuity arguments on the space of stability conditions.

What would settle it

An explicit stability condition at which the deformed mass function or phase function fails to be continuous.

Figures

Figures reproduced from arXiv: 2606.00396 by Antonios-Alexandros Robotis, Daniel Halpern-Leistner.

Figure 1
Figure 1. Figure 1: An example of the kind of curve to which Lemma 5.1 applies. Conditions (1) and (2) of the lemma can be interpreted as follows: If γz is the piecewise linear curve connecting 0, Σz1, Σz2, . . . , Σzn, and γw is the analogous curve for w•, then the section of the curve γz over which ℑ(−) is increasing (resp. decreasing) must lie to the left (resp. right) of the section of γw where ℑ(−) is increasing (resp. d… view at source ↗
Figure 2
Figure 2. Figure 2: This illustrates the polygons appearing in the proof of Lemma 6.2. The blue horizontal line is the curve ℑ(z) = h, the green dashed line is the curve γE, the black line is the HN curve of E, the purple line is Z(G)−(HN curve of G), and the gray dashed line is γG. Z(im(δ)) is constrained to lie in the polygon P bounded by the blue, black, and purple curves. For the purposes of our bound, though, we maximize… view at source ↗
Figure 3
Figure 3. Figure 3: Illustration of the base case for the induction in the proof of Lemma 5.1, when m = 1. The fact that ϕ(ui+1) ≤ ϕ(zi) < ϕ(ui+1) + 1 and ui = ui+1 +zi implies the triangle inequality gt(ui) ≤ gt(ui+1) + gt(zi). The hypotheses of the lemma imply that ϕ(zi+1) ≤ ϕ(Σzi) ≤ ϕ(zi+1) + 1 for i = 1, . . . , r, and that each square-bracketed expression also satisfies the hypotheses of the lemma. See [PITH_FULL_IMAGE:… view at source ↗
Figure 4
Figure 4. Figure 4: Illustration of the inductive argument used in the proof of Lemma 5.2. The curve (z1, . . . , z7) begins with a section on which ℑ(z) is monotone increasing (blue), followed by a section on which ℑ(z) is monotone decreasing (purple), whereas ℑ(z) is monotone increasing on the curve (w•) (orange). This will always be the case under the hypotheses of Lemma 5.1. Note that a vertex Σz4 has been added where the… view at source ↗
read the original abstract

We establish basic properties of the deformed mass and phase functions on the space of stability conditions. We prove that these functions are continuous and deduce that the space of stability conditions admits a homeomorphic embedding into a product space of finite measures. Subsequently, we give a proof of the triangle inequality for deformed mass functions and provide estimates for the deformed mass of truncations of objects with respect to a slicing.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 0 minor

Summary. The paper establishes basic properties of the deformed mass and phase functions on the space of stability conditions. It proves that these functions are continuous and deduces that the space of stability conditions admits a homeomorphic embedding into a product space of finite measures. It subsequently proves the triangle inequality for deformed mass functions and provides estimates for the deformed mass of truncations of objects with respect to a slicing.

Significance. If the proofs hold, the results supply foundational continuity and embedding properties for deformed functions on stability spaces. This strengthens the toolkit for analyzing the topology of spaces of stability conditions and their applications to moduli problems and wall-crossing in algebraic geometry and derived categories. The direct proofs from definitions, without ad-hoc parameters, are a positive feature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its significance, and recommendation to accept.

Circularity Check

0 steps flagged

No circularity detected; derivation is self-contained

full rationale

The paper proves continuity of the deformed mass and phase functions directly from their definitions on the space of stability conditions and deduces the homeomorphic embedding into a product of finite measures as a consequence. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the triangle inequality and truncation estimates are likewise established via explicit arguments from the structural properties. The derivation chain is independent of the target results and relies on standard mathematical reasoning rather than renaming or smuggling prior assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; no free parameters, invented entities, or non-standard axioms are mentioned. The work relies on the standard mathematical framework of stability conditions in algebraic geometry and representation theory.

axioms (1)
  • standard math Standard axioms of category theory and triangulated categories underlying the definition of stability conditions.
    Invoked implicitly as the setting for stability conditions and the deformed functions.

pith-pipeline@v0.9.1-grok · 5581 in / 1204 out tokens · 16978 ms · 2026-06-28T19:43:46.939162+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

92 extracted references · 45 canonical work pages · 6 internal anchors

  1. [1]

    Bridgeland, Tom , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2007 , NUMBER =. doi:10.4007/annals.2007.166.317 , URL =

  2. [2]

    Collins, John and Polishchuk, Alexander , TITLE =. Adv. Theor. Math. Phys. , FJOURNAL =. 2010 , NUMBER =

  3. [3]

    2009 , eprint=

    Localization theory for triangulated categories , author=. 2009 , eprint=

  4. [4]

    doi:10.1016/j.aim.2016.07.014 , url =

    Dmitri Orlov , title =. doi:10.1016/j.aim.2016.07.014 , url =

  5. [5]

    2017 , note =

    Jacob Lurie , title =. 2017 , note =

  6. [6]

    Derived Categories of Cubic Fourfolds

    Kuznetsov, Alexander. Derived Categories of Cubic Fourfolds. Cohomological and Geometric Approaches to Rationality Problems: New Perspectives. 2010. doi:10.1007/978-0-8176-4934-0_9

  7. [7]

    Okada, So , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2006 , NUMBER =. doi:10.1090/S1056-3911-06-00432-2 , URL =

  8. [8]

    Generators and representability of functors in commutative and noncommutative geometry

    Bondal, Alexei and Bergh, Michel Van den , keywords =. Generators and representability of functors in commutative and noncommutative geometry , publisher =. 2002 , copyright =. doi:10.48550/ARXIV.MATH/0204218 , url =

  9. [9]

    Publications Math\'ematiques de l'IH\'ES , pages =

    Grothendieck, Alexander , title =. Publications Math\'ematiques de l'IH\'ES , pages =. 1967 , zbl =

  10. [10]

    Artin , journal =

    M. Artin , journal =. Algebraization of Formal Moduli: II. Existence of Modifications , urldate =

  11. [11]

    Algebraic Spaces and Stacks , author=

  12. [12]

    Construction of Hilbert and Quot Schemes

    Nitsure, Nitin , keywords =. Construction of. 2005 , copyright =. doi:10.48550/ARXIV.MATH/0504590 , url =

  13. [13]

    Moduli of Singular Curves

    Hall, Jack , keywords =. Moduli of Singular Curves , publisher =. 2010 , copyright =. doi:10.48550/ARXIV.1011.6007 , url =

  14. [14]

    The Kato-Nakayama space as a transcendental root stack

    Talpo, Mattia and Vistoli, Angelo , keywords =. The Kato-Nakayama space as a transcendental root stack , publisher =. 2016 , copyright =. doi:10.48550/ARXIV.1611.04041 , url =

  15. [15]

    Moduli spaces of weighted pointed stable curves

    Hassett, Brendan , keywords =. Moduli spaces of weighted pointed stable curves , publisher =. 2002 , copyright =. doi:10.48550/ARXIV.MATH/0205009 , url =

  16. [16]

    Moduli of objects in dg-categories , JOURNAL =

    To\". Moduli of objects in dg-categories , JOURNAL =. 2007 , NUMBER =. doi:10.1016/j.ansens.2007.05.001 , URL =

  17. [17]

    Bulletin of the American Mathematical Society , author=

    Notes on topological stability , volume=. Bulletin of the American Mathematical Society , author=. 2012 , month=. doi:10.1090/s0273-0979-2012-01383-6 , number=

  18. [18]

    The space of stability conditions on

    Bayer, Arend and Macr. The space of stability conditions on. Inventiones mathematicae , number =. 2016 , bdsk-url-1 =. doi:10.1007/s00222-016-0665-5 , id =

  19. [19]

    Izvestiya: Mathematics , abstract =

    A L Gorodentsev and S A Kuleshov and A N Rudakov , title =. Izvestiya: Mathematics , abstract =. 2004 , month =. doi:10.1070/IM2004v068n04ABEH000497 , url =

  20. [20]

    Bondal and Mikhail M

    Alexey I. Bondal and Mikhail M. Kapranov , title =. Mathematics of the USSR-Izvestiya , abstract =. 1990 , month =. doi:10.1070/IM1990v035n03ABEH000716 , url =

  21. [21]

    Stability structures, motivic

    Kontsevich, Maxim and Soibelman, Yan , keywords =. Stability structures, motivic. 2008 , copyright =

  22. [22]

    Stability conditions in families , JOURNAL =

    Bayer, Arend and Lahoz, Mart\'. Stability conditions in families , JOURNAL =. 2021 , PAGES =. doi:10.1007/s10240-021-00124-6 , URL =

  23. [23]

    Alper, Jarod and Halpern-Leistner, Daniel and Heinloth, Jochen , TITLE =. Invent. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00222-023-01214-4 , URL =

  24. [24]

    Logarithmic Geometry and Moduli

    Abramovich, Dan and Chen, Qile and Gillam, Danny and Huang, Yuhao and Olsson, Martin and Satriano, Matthew and Sun, Shenghao , keywords =. Logarithmic Geometry and Moduli , publisher =. 2010 , copyright =. doi:10.48550/ARXIV.1006.5870 , url =

  25. [25]

    Duke Math

    Bridgeland, Tom , title =. Duke Math. J. , issn =. 2008 , language =. doi:10.1215/S0012-7094-08-14122-5 , keywords =

  26. [26]

    A short proof of the deformation property of

    Bayer, Arend , Da =. A short proof of the deformation property of. Mathematische Annalen , Number =. 2019 , Bdsk-Url-1 =. doi:10.1007/s00208-019-01900-w , Id =

  27. [27]

    Quadratic differentials as stability conditions , Volume =

    Bridgeland, Tom and Smith, Ivan , Journal =. Quadratic differentials as stability conditions , Volume =

  28. [28]

    Semi-orthogonal decomposability of the derived category of a curve , journal =

    Shinnosuke Okawa , keywords =. Semi-orthogonal decomposability of the derived category of a curve , journal =. 2011 , issn =. doi:https://doi.org/10.1016/j.aim.2011.06.043 , url =

  29. [29]

    Stability conditions on curves , volume =

    Macrì, Emanuele , year =. Stability conditions on curves , volume =. Mathematical Research Letters , doi =

  30. [30]

    1975 , publisher=

    General Topology , author=. 1975 , publisher=

  31. [31]

    On uniformly rational varieties

    Fedor Bogomolov and Christian B \"o hning. On uniformly rational varieties. Topology, geometry, integrable systems, and mathematical physics. 2014

  32. [32]

    Mass growth of objects and categorical entropy , volume=

    Ikeda, Akishi , year=. Mass growth of objects and categorical entropy , volume=. doi:10.1017/nmj.2020.9 , journal=

  33. [33]

    Multi-scale lines and wonderful models , journal=

    Devkota, Prabhat and Robotis, Antonios-Alexandros and Zahariuc, Adrian , year=. Multi-scale lines and wonderful models , journal=

  34. [34]

    2023 , eprint=

    The noncommutative minimal model program , author=. 2023 , eprint=

  35. [35]

    Journal of Algebra , volume =

    Vladimir Drinfeld , keywords =. Journal of Algebra , volume =. 2004 , issn =. doi:https://doi.org/10.1016/j.jalgebra.2003.05.001 , url =

  36. [36]

    On differential graded categories, from: “

    Keller, Bernhard , year =. On differential graded categories, from: “

  37. [37]

    Des cat\'egories d\'eriv\'ees des cat\'egories ab\'eliennes , series =

    Verdier, Jean-Louis , editor =. Des cat\'egories d\'eriv\'ees des cat\'egories ab\'eliennes , series =. 1996 , mrnumber =

  38. [38]

    Homotopy limits in triangulated categories , url =

    Bökstedt, Marcel and Neeman, Amnon , journal =. Homotopy limits in triangulated categories , url =

  39. [39]

    Geometric Phantom Categories , volume =

    Gorchinskiy, Sergey and Orlov, Dmitri , year =. Geometric Phantom Categories , volume =. Publications mathématiques , doi =

  40. [40]

    2022 , eprint=

    On the structure of instability in moduli theory , author=. 2022 , eprint=

  41. [41]

    Quotient categories, stability conditions, and birational geometry , Ty =

    Meinhardt, Sven and Partsch, Holger , Da =. Quotient categories, stability conditions, and birational geometry , Ty =. Geometriae Dedicata , Number =. 2014 , Bdsk-Url-1 =. doi:10.1007/s10711-013-9947-x , Id =

  42. [42]

    Inducing Stability Conditions , author =

  43. [43]

    1997 , publisher=

    Lectures on Vector Bundles , author=. 1997 , publisher=

  44. [44]

    Remarks on generators and dimensions of triangulated categories , author =

  45. [45]

    Annales de l'Institut Fourier , pages =

    Hille, Lutz and Perling, Markus , title =. Annales de l'Institut Fourier , pages =. 2014 , doi =

  46. [46]

    2026 , journal =

    Quasi-convergence of stability conditions , author=. 2026 , journal =

  47. [47]

    Journal für die reine und angewandte Mathematik , doi =

    Sheaves of t-structures and valuative criteria for stable complexes , author =. Journal für die reine und angewandte Mathematik , doi =. 2006 , lastchecked =

  48. [48]

    MacLane, Saunders , biburl =

  49. [49]

    Rev\^etements \'etales et groupe fondamental ( S G A 1)

    Grothendieck, Alexander. Rev\^etements \'etales et groupe fondamental ( S G A 1). 1971

  50. [50]

    The influence of

    Dimitrov, George and Haiden, Fabian and Katzarkov, Ludmil and Kontsevich, Maxim , title =. The influence of. 2014 , publisher =

  51. [51]

    Bogomolov, Fedor and Böhning, Christian , year =

  52. [52]

    Generic Flatness for Strongly Noetherian Algebras , journal =

    M Artin and L.W Small and J.J Zhang , keywords =. Generic Flatness for Strongly Noetherian Algebras , journal =. 1999 , issn =. doi:https://doi.org/10.1006/jabr.1999.7997 , url =

  53. [53]

    Abstract

    Artin, Michael and Zhang, James , journal =. Abstract

  54. [54]

    Constant families of t -structures on derived categories of coherent sheaves , volume =

    Polishchuk, Alexander , journal =. Constant families of t -structures on derived categories of coherent sheaves , volume =

  55. [55]

    On pseudo-Anosov autoequivalences , journal =

    Yu-Wei Fan and Simion Filip and Fabian Haiden and Ludmil Katzarkov and Yijia Liu , keywords =. On pseudo-Anosov autoequivalences , journal =. 2021 , issn =. doi:https://doi.org/10.1016/j.aim.2021.107732 , url =

  56. [56]

    2024 , eprint=

    Spaces of multi-scale lines with collision , author=. 2024 , eprint=

  57. [57]

    Thick subcategories of the derived category of a hereditary algebra , journal =

    Kristian Br\". Thick subcategories of the derived category of a hereditary algebra , journal =. 2007 , url =

  58. [58]

    Localization theory for triangulated categories , booktitle=

    Krause, Henning , editor=. Localization theory for triangulated categories , booktitle=. 2010 , pages=

  59. [59]

    2022 , eprint=

    Partial compactification of stability manifolds by massless semistable objects , author=. 2022 , eprint=

  60. [60]

    Lunts , keywords =

    Alexey Elagin and Valery A. Lunts , keywords =. Thick subcategories on curves , journal =. 2021 , issn =. doi:https://doi.org/10.1016/j.aim.2020.107525 , url =

  61. [61]

    Flat surfaces and stability structures , volume=

    Haiden, Fabian and Katzarkov, Ludmil and Kontsevich, Maxim , year=. Flat surfaces and stability structures , volume=. Publications mathématiques de l’IHÉS , publisher=. doi:10.1007/s10240-017-0095-y , number=

  62. [62]

    2022 , eprint=

    The moduli space of multi-scale differentials , author=. 2022 , eprint=

  63. [63]

    Stability conditions and the

    Bridgeland, Tom and Qiu, Yu and Sutherland, Tom , year=. Stability conditions and the. doi:10.1016/j.aim.2020.107049 , journal=

  64. [64]

    Projectivity and birational geometry of

    Arend Bayer and Emanuele Macrì , journal =. Projectivity and birational geometry of

  65. [65]

    2023 , eprint=

    Moduli spaces of stable objects in Enriques categories , author=. 2023 , eprint=

  66. [66]

    2022 , eprint=

    The unreasonable effectiveness of wall-crossing in algebraic geometry , author=. 2022 , eprint=

  67. [67]

    MATHEMATISCHE ZEITSCHRIFT , Year =

    Feyzbakhsh, Soheyla , Title =. MATHEMATISCHE ZEITSCHRIFT , Year =. doi:10.1007/s00209-022-03036-1 , EarlyAccessDate =

  68. [68]

    Bridgeland-stable moduli spaces for

    Arcara, Daniele and Bertram, Aaron , journal =. Bridgeland-stable moduli spaces for

  69. [69]

    On stability conditions for the quintic threefold , volume=

    Li, Chunyi , year=. On stability conditions for the quintic threefold , volume=. Inventiones mathematicae , publisher=. doi:10.1007/s00222-019-00888-z , number=

  70. [70]

    Compositio Mathematica , author=

    Stability conditions and birational geometry of projective surfaces , volume=. Compositio Mathematica , author=. 2014 , pages=. doi:10.1112/S0010437X14007337 , number=

  71. [71]

    2015 , eprint=

    Semiorthogonal decompositions in algebraic geometry , author=. 2015 , eprint=

  72. [72]

    Izvestiya: Mathematics , abstract =

    D O Orlov , title =. Izvestiya: Mathematics , abstract =. 1993 , month =. doi:10.1070/IM1993v041n01ABEH002182 , url =

  73. [73]

    1995 , eprint=

    Semiorthogonal decomposition for algebraic varieties , author=. 1995 , eprint=

  74. [74]

    Bridgeland stability conditions on wild

    George Dimitrov and Ludmil Katzarkov , keywords =. Bridgeland stability conditions on wild. Advances in Mathematics , volume =. 2019 , issn =. doi:https://doi.org/10.1016/j.aim.2019.05.032 , url =

  75. [75]

    , date =

    Bapat, Asilata and Deopurkar, Anand and Licata, Anthony M. , date =. Spherical objects and stability conditions on 2-. Mathematische Zeitschrift , number =. 2022 , bdsk-url-1 =. doi:10.1007/s00209-022-03172-8 , id =

  76. [76]

    3-d C alabi– Y au categories for T eichm \"u ller theory

    Fabian Haiden. 3-d C alabi– Y au categories for T eichm \"u ller theory. Duke Mathematical Journal. 2024. doi:10.1215/00127094-2023-0016

  77. [77]

    Stability conditions on

    Ikeda, Akishi , year =. Stability conditions on. Mathematische Annalen , doi =

  78. [78]

    Journal of Differential Geometry , number =

    Yujiro Kawamata , title =. Journal of Differential Geometry , number =. 2002 , doi =

  79. [79]

    Inventiones mathematicae , publisher=

    Bayer, Arend and Macrì, Emanuele , year=. Inventiones mathematicae , publisher=. doi:10.1007/s00222-014-0501-8 , number=

  80. [80]

    An integral structure in quantum cohomology and mirror symmetry for toric orbifolds , journal =

    Hiroshi Iritani , keywords =. An integral structure in quantum cohomology and mirror symmetry for toric orbifolds , journal =. 2009 , issn =. doi:https://doi.org/10.1016/j.aim.2009.05.016 , url =

Showing first 80 references.