pith. machine review for the scientific record. sign in

arxiv: 2604.20264 · v1 · submitted 2026-04-22 · 🧮 math.AG

Recognition: unknown

Asymptotically Z-stable bundles over projective surfaces

Authors on Pith no claims yet

Pith reviewed 2026-05-09 23:38 UTC · model grok-4.3

classification 🧮 math.AG
keywords asymptotically Z-stable bundlesvector bundle extensionsmu-stabilityprojective surfacesdeformed Hermitian-Yang-MillsHoppe criterionpolycyclic surfaces
0
0 comments X

The pith

A construction via extensions produces strictly asymptotically Z-stable rank-3 bundles on projective surfaces.

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

The paper develops a technique to build rank-3 strictly asymptotically Z-stable bundles over polycyclic surfaces as extensions of a line bundle by a mu-stable rank-2 bundle. This choice of polynomial central charge connects directly to the deformed Hermitian-Yang-Mills equations with vanishing B-field in the large-volume limit. The method supplies explicit new examples on the projective plane, the product of two projective lines, and the blow-up of the projective plane at a point. It also supplies an analogue of the Hoppe criterion that applies to asymptotic Z-stability for rank-2 bundles. These results clarify how certain algebraic extensions satisfy a stability condition tied to a geometric PDE limit.

Core claim

The central claim is that, for the chosen polynomial central charge, rank-3 bundles formed as extensions of a line bundle by a mu-stable rank-2 bundle are strictly asymptotically Z-stable on polycyclic surfaces; this yields new examples over P2, P1xP1 and Blq P2, while an analogue of the Hoppe criterion governs the rank-2 case.

What carries the argument

The extension of a line bundle by a mu-stable rank-2 bundle under the polynomial central charge for asymptotic Z-stability.

If this is right

  • Strictly a.Z-stable rank-3 bundles exist on P2 via the extension construction.
  • New examples of strictly a.Z-stable bundles exist on P1xP1 and on the blow-up of P2 at a point.
  • An analogue of the Hoppe criterion holds for asymptotic Z-stability of rank-2 vector bundles.
  • The extension technique applies to any polycyclic surface once a suitable mu-stable rank-2 bundle is available.

Where Pith is reading between the lines

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

  • The same extension method may produce examples on additional surfaces once mu-stable rank-2 bundles are identified there.
  • Numerical approximation of deformed Hermitian-Yang-Mills solutions could provide independent checks on the stability of the constructed bundles.
  • Varying the mu-stable rank-2 summand across a moduli space could generate continuous families of strictly a.Z-stable rank-3 bundles.

Load-bearing premise

The polynomial central charge tied to deformed Hermitian-Yang-Mills with vanishing B-field makes the chosen extensions strictly asymptotically Z-stable on the listed surfaces.

What would settle it

Explicit computation of the polynomial central charge for a concrete extension bundle on P2 that either satisfies or violates the strict asymptotic Z-stability inequality.

read the original abstract

We study the existence of asymptotically $Z$-stable (a.Z stable) bundles over polycyclic surfaces. Our choice of polynomial central charge is related to the existence of solutions of the deformed Hermitian--Yang--Mills equations, with vanishing $B$-field, in the large-volume limit. The main result is a technique to construct rank $3$, strictly a.Z-stable bundles as extensions of a line bundle by a $\mu$-stable bundle of rank $2$. In particular, this leads to new examples of strictly a.Z-stable bundles over $\mathbb{P}^2$, the product $\mathbb{P}^1\times \mathbb{P}^1$, and the blow-up $\mathrm{Bl}_q\mathbb{P}^2$. We also present an analogue of the Hoppe criterion for the a.Z-stability of vector bundles of rank $2$, which may be of independent interest.

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

2 major / 3 minor

Summary. The paper develops a technique for constructing rank-3 strictly asymptotically Z-stable (a.Z-stable) vector bundles on projective surfaces as non-trivial extensions 0 → L → E → F → 0, where L is a line bundle and F is a μ-stable rank-2 bundle. The polynomial central charge is chosen to match the large-volume limit of the deformed Hermitian-Yang-Mills equation with vanishing B-field. This yields new explicit examples on ℙ², ℙ¹×ℙ¹, and Bl_q ℙ². An analogue of the Hoppe criterion for a.Z-stability of rank-2 bundles is also established.

Significance. If the central construction holds, the work supplies concrete, non-trivial examples of strictly a.Z-stable bundles on standard surfaces, which are scarce in the literature. The method is constructive, relies on classical μ-stability plus asymptotic phase control, and includes an auxiliary rank-2 criterion that may be reusable. These features make the results potentially useful for testing conjectures relating a.Z-stability to solutions of dHYM equations.

major comments (2)
  1. [§3, Theorem 3.4] §3, Theorem 3.4 (main construction): the verification that the extension E is strictly a.Z-stable requires showing that the phase of L is strictly less than the phase of E for the chosen central charge Z; the argument invokes the asymptotic form of Z but does not explicitly compute the leading-order term of the phase difference when the extension class is non-zero. A short expansion of arg(Z(L)) − arg(Z(E)) would confirm the strict inequality.
  2. [§4.2, Proposition 4.5] §4.2, Proposition 4.5 (Hoppe-type criterion): the statement assumes that the rank-2 bundle satisfies a numerical condition on its Chern classes that is sufficient for a.Z-stability; however, the proof sketch does not address whether this condition is also necessary, which would strengthen the claim that the criterion is an analogue of Hoppe’s classical result.
minor comments (3)
  1. [§2] The notation for the polynomial central charge Z(t) is introduced in §2 but the precise coefficients of the degree-3 and degree-2 terms are only referenced to an earlier paper; writing the explicit polynomial once in the present manuscript would improve readability.
  2. [§5] In the examples of §5, the choice of the line bundle L and the μ-stable bundle F on Bl_q ℙ² is stated without listing the relevant Chern classes or the extension class; adding a short table or explicit coordinates would make the examples easier to verify.
  3. [Introduction] A few sentences in the introduction refer to “polycyclic surfaces” without a definition or reference; a one-line clarification or citation would prevent confusion with the more common term “projective surfaces.”

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major points below and have incorporated minor revisions to improve clarity.

read point-by-point responses
  1. Referee: [§3, Theorem 3.4] the verification that the extension E is strictly a.Z-stable requires showing that the phase of L is strictly less than the phase of E for the chosen central charge Z; the argument invokes the asymptotic form of Z but does not explicitly compute the leading-order term of the phase difference when the extension class is non-zero. A short expansion of arg(Z(L)) − arg(Z(E)) would confirm the strict inequality.

    Authors: We agree that an explicit leading-order expansion clarifies the strict phase inequality. In the revised version we have added a short asymptotic computation of arg(Z(L)) − arg(Z(E)) in the proof of Theorem 3.4, showing that the difference is strictly negative to first order whenever the extension class is non-zero. revision: yes

  2. Referee: [§4.2, Proposition 4.5] the statement assumes that the rank-2 bundle satisfies a numerical condition on its Chern classes that is sufficient for a.Z-stability; however, the proof sketch does not address whether this condition is also necessary, which would strengthen the claim that the criterion is an analogue of Hoppe’s classical result.

    Authors: Our Proposition 4.5 supplies a sufficient numerical condition for a.Z-stability of rank-2 bundles, presented as an analogue of Hoppe’s criterion in the sense of a practical, checkable test. We do not claim necessity, which would require a separate converse argument lying beyond the scope of the paper. We have revised the statement and added a brief remark clarifying that the condition is sufficient but that necessity is not addressed. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper's central construction proceeds by taking a μ-stable rank-2 bundle F and a line bundle L, forming a non-trivial extension E, and verifying the a.Z-stability inequalities directly on the obvious subobjects L and the quotient F using the asymptotic large-volume form of the chosen polynomial central charge (tied to dHYM with B=0). This verification relies on the given μ-stability of F plus phase control from the central charge, without reducing any prediction to a fitted parameter or redefining stability in terms of the output. The auxiliary Hoppe-type criterion for rank-2 a.Z-stability is stated and proved separately as an independent result. No self-definitional steps, fitted-input predictions, or load-bearing self-citations appear in the derivation; the argument is self-contained against standard μ-stability and direct computation on the listed surfaces.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard definitions of mu-stability, Z-stability, and properties of projective surfaces and their blow-ups; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • standard math Standard definitions and properties of mu-stability for vector bundles on projective surfaces
    Invoked when using mu-stable rank 2 bundles as building blocks.
  • standard math Existence of projective surfaces such as P2, P1xP1 and their blow-ups with the usual intersection theory
    Background geometry assumed throughout.

pith-pipeline@v0.9.0 · 5443 in / 1380 out tokens · 53260 ms · 2026-05-09T23:38:10.171045+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

297 extracted references · 92 canonical work pages

  1. [1]

    A falsificação nas contas oficiais da Reforma da Previdência: o caso do Regime Geral de Previdência Social , Author=

  2. [2]

    O mito do custo fiscal e da regressividade da aposentadoria por tempo de contribuição , Author=

  3. [3]

    A Contabilidade Criativa na Reforma da Previdência e o Aumento da Pobreza: Novos Dados e Tréplica à Resposta Oficial , Author=

  4. [4]

    The Weitzenbock formula for the Fueter

    Andr. The Weitzenbock formula for the Fueter. 2022 , publisher =. doi:10.4310/cag.2022.v30.n1.a3 , url =

  5. [5]

    1989 , month = mar, publisher =

    Yunmei Chen and Michael Struwe , title =. 1989 , month = mar, publisher =. doi:10.1007/bf01161997 , url =

  6. [6]

    Journal of Differential Geometry , number =

    Michael Struwe , title =. Journal of Differential Geometry , number =. 1988 , doi =

  7. [7]

    2023 , eprint=

    Flows of geometric structures , author=. 2023 , eprint=

  8. [8]

    Sá Earp , year=

    Udhav Fowdar and Henrique N. Sá Earp , year=. Harmonic flow of quaternion-. 2301.12494 , archivePrefix=

  9. [9]

    McLean, R. C. , title =. Communications in Analysis and Geometry , year =

  10. [10]

    Lotay and Henrique N

    Jason D. Lotay and Henrique N. S. Flows of. 2022 , month = jun, publisher =. doi:10.1007/s10455-022-09854-0 , url =

  11. [11]

    Lotay and Henrique N

    Jason D. Lotay and Henrique N. Sá Earp , year=. The heterotic. 2101.06767 , archivePrefix=

  12. [12]

    Current progress on

    S. Current progress on. 2020 , editor =

  13. [13]

    Moreno, A. and S. Explicit soliton for the

  14. [14]

    On a generalization of the

    Abe, Kinetsu , Journal =. On a generalization of the. 1977 , Number =

  15. [15]

    and Gukov, S

    Acharya, B. and Gukov, S. , journal =. M theory and singularities of exceptional holonomy manifolds , year =

  16. [16]

    and Witten, E

    Acharya, B. and Witten, E. , title =. 2001 , eprint =

  17. [17]

    Nuclear Phys

    On mirror symmetry for manifolds of exceptional holonomy , Author =. Nuclear Phys. B , Year =. doi:10.1016/S0550-3213(98)00140-0 , Fjournal =

  18. [18]

    Acharya, B. S. and O'Loughlin, M. and Spence, B. , Journal =. Higher-dimensional analogues of. 1997 , Number =. doi:10.1016/S0550-3213(97)00515-4 , Fjournal =

  19. [19]

    Adams, D. R. , Journal =. A note on. 1975 , Number =

  20. [20]

    2007 , Address =

    Orbifolds and stringy topology , Author =. 2007 , Address =. doi:10.1017/CBO9780511543081 , ISBN =

  21. [21]

    and Nirenberg, L

    Agmon, S. and Nirenberg, L. , Journal =. Lower bounds and uniqueness theorems for solutions of differential equations in a. 1967 , Pages =

  22. [22]

    Agricola, Ilka and Friedrich, Thomas , Journal =. 3-. 2010 , Number =. doi:10.1016/j.geomphys.2009.10.003 , Fjournal =

  23. [23]

    Journal f�r die reine und angewandte Mathematik , Year =

    Calibrated manifolds and gauge theory , Author =. Journal f�r die reine und angewandte Mathematik , Year =

  24. [24]

    , journal =

    Albuquerque, R. , journal =. On vector bundle manifolds with spherically symmetric metrics , year =

  25. [25]

    , title =

    Albuquerque, R. , title =. 2014 , eprint =

  26. [26]

    and Ottaviani, G

    Ancona, V. and Ottaviani, G. , Journal =. Stability of special instanton bundles on. 1994 , Pages =

  27. [27]

    Arnold, V. I. , Booktitle =. Some remarks on symplectic monodromy of. 1995 , Pages =

  28. [28]

    Arrondo , Journal =

    E. Arrondo , Journal =. A home-made. 2007 , Pages =

  29. [29]

    Atiyah , Booktitle =

    M. Atiyah , Booktitle =. New invariants of. NC , Mrclass =. 1988 , Address =

  30. [30]

    Atiyah, M. F. and Hitchin, N. J. and Drinfeld, V. G. and Manin, Y. I. , journal =. Construction of instantons , year =

  31. [31]

    Atiyah, M. F. and Patodi, V. K. and Singer, I. M. , Journal =. Spectral asymmetry and. 1975 , Pages =

  32. [32]

    , publisher =

    Aubin, T. , publisher =. Nonlinear Analysis on Manifolds. 1982 , volume =

  33. [33]

    2006 , issn =

    Bajo, Ignacio and Liz, Eduardo , journal =. 2006 , issn =. doi:10.1080/10236190600949782 , isbn =

  34. [34]

    , Booktitle =

    Bando, S. , Booktitle =. 1993 , Address =

  35. [35]

    On a construction of coordinates at infinity on manifolds with fast curvature decay and maximal volume growth , Author =. Invent. Math. , Year =. doi:10.1007/BF01389045 , Fjournal =

  36. [36]

    and Siu, Y

    Bando, S. and Siu, Y. T. , journal =. Stable sheaves and. 1994 , pages =

  37. [37]

    and Siu, Y-T , Booktitle =

    Bando, S. and Siu, Y-T , Booktitle =. 1994 , Pages =

  38. [38]

    , School =

    Baraglia, D. , School =

  39. [39]

    arXiv:1802.09699 [math.DG] , Year =

    A foliated Hitchin-Kobayashi correspondence , Author =. arXiv:1802.09699 [math.DG] , Year =

  40. [40]

    Advances in Mathematics , Year =

    Moduli spaces of contact instantons , Author =. Advances in Mathematics , Year =

  41. [41]

    1977 , Pages =

    Barth, W , Journal =. 1977 , Pages =

  42. [42]

    The mass of an asymptotically flat manifold , Author =. Comm. Pure Appl. Math. , Year =. doi:10.1002/cpa.3160390505 , Fjournal =

  43. [43]

    Batyrev, V. V. and Dais, D. I. , Journal =. Strong. 1996 , Number =. doi:10.1016/0040-9383(95)00051-8 , Fjournal =

  44. [44]

    and Kanno, H

    Baulieu, L. and Kanno, H. and Singer, I. M. , journal =. Special quantum field theories in eight and other dimensions , year =

  45. [45]

    1994 , Volume =

    Baum, Helga , Journal =. 1994 , Volume =

  46. [46]

    and Fulton, W

    Baum, P. and Fulton, W. and MacPherson, R. , Journal =. Riemann-. 1979 , Number =. doi:10.1007/BF02392091 , File =

  47. [47]

    Baumol, William , File =

  48. [48]

    , Publisher =

    Becker, Katrin and Becker, Melanie and Schwarz, John H. , Publisher =. String theory and. 2007 , ISBN =

  49. [49]

    Belavin, A. A. and Polyakov, A. M. and Schwartz, A. S. and Tyupkin, Y. S. , journal =. Pseudoparticle solutions of the. 1975 , number =

  50. [50]

    Sur les groupes d'holonomie homog\`ene des vari\'et\'es \`a connexion affine et des vari\'et\'es riemanniennes , Author =. Bull. Soc. Math. France , Year =

  51. [51]

    Besse, A. L. , title =. 2008 , groups =

  52. [52]

    1945 , Number =

    Beutler, H G , Journal =. 1945 , Number =. doi:10.1364/JOSA.35.000311 , Owner =

  53. [53]

    and Minerbe, V

    Biquard, O. and Minerbe, V. , Year =

  54. [54]

    2014 , pages =

    Biswas, Indranil and Bruzzo, Ugo and Otero, Beatriz Gra. 2014 , pages =. arXiv , arxivid =:1412.7738 , file =

  55. [55]

    and Schumacher, G

    Biswas, I. and Schumacher, G. , Journal =. Vector bundles on. 2010 , Number =

  56. [56]

    Bogomolov, Fedor and Braam, Peter J , Year =

  57. [57]

    1982 , Series =

    Differential forms in algebraic topology , Author =. 1982 , Series =

  58. [58]

    Boyer, Charles P and Galicki, Krzysztof , Pages =

  59. [59]

    Boyer, C. P. and Galicki, K. , publisher =. Sasakian geometry , year =

  60. [60]

    arXiv , Arxivid =:0405256v2 , File =

    Boyer, Charles P and Galicki, Krzysztof , Year =. arXiv , Arxivid =:0405256v2 , File =

  61. [61]

    and Gomis, J

    Brandhuber, A. and Gomis, J. and Gubser, S. S. and Gukov, S. , journal =. Gauge theory at large. 2001 , number =

  62. [62]

    , Year =

    Brendle, S. , Year =

  63. [63]

    The McKay correspondence as an equivalence of derived categories

    Bridgeland, T. and King, A. and Reid, M. , Journal =. The. 2001 , Number =. doi:10.1090/S0894-0347-01-00368-X , Fjournal =

  64. [64]

    , Journal =

    Brieskorn, E. , Journal =. Die. 1968 , Pages =

  65. [65]

    2014 , number =

    Bruzzo, Ugo and Otero, Beatriz Gra. 2014 , number =. doi:10.1007/s10455-014-9433-1 , eprint =

  66. [66]

    , Journal =

    Bryant, R. , Journal =. Metrics with holonomy. 1985 , Number =

  67. [67]

    Bryant, R. L. , title =. Proceedings of. 2006 , pages =

  68. [68]

    , journal =

    Bryant, Robert L. , journal =. 2003 , number =. arXiv , arxivid =:0305124 , file =

  69. [69]

    Metrics with exceptional holonomy , Author =. Ann. of Math. (2) , Year =. doi:10.2307/1971360 , Fjournal =

  70. [70]

    Bryant, R. L. , booktitle =. A survey of. 1986 , pages =

  71. [71]

    Duke Math

    On the construction of some complete metrics with exceptional holonomy , Author =. Duke Math. J. , Year =. doi:10.1215/S0012-7094-89-05839-0 , Fjournal =

  72. [72]

    and Friedlander, L

    Burghelea, D. and Friedlander, L. and Kappeler, T. and McDonald, P. , Journal =. Analytic and. 1996 , Number =. doi:10.1007/BF02246786 , Fjournal =

  73. [73]

    Calderbank, D. M. J. and Gauduchon, P. and Herzlich, M. , Journal =. Refined. 2000 , Number =. doi:10.1006/jfan.2000.3563 , Fjournal =

  74. [74]

    and Rodr

    Calvo-Andrade, O. and Rodr. Rev. Mat. Iberoam. , title =. 2020 , number =. 1606.09271 [math.DG] , owner =

  75. [75]

    and Lynker, M

    Candelas, P. and Lynker, M. and Schimmrigk, R. , Journal =. Calabi-. 1990 , Number =. doi:10.1016/0550-3213(90)90185-G , Fjournal =

  76. [76]

    Cardona, S. A. H. , Journal =. 2013 , Number =. doi:10.1007/s10455-013-9376-y , Eprint =

  77. [77]

    Carmo, Manfredo , File =

  78. [78]

    Differential Geometry and its Applications , title =

    Carri. Differential Geometry and its Applications , title =. 1998 , number =

  79. [79]

    and Treves, F

    Chanillo, S. and Treves, F. , Journal =. On the lowest eigenvalue of the. 1997 , Number =

  80. [80]

    Conformally flat spaces and solutions to

    Chaohao, Gu , journal =. Conformally flat spaces and solutions to. 1980 , number =

Showing first 80 references.