pith. sign in

arxiv: 2604.11719 · v2 · submitted 2026-04-13 · 🧮 math.AG · math-ph· math.AT· math.MP

Geometry of the Donaldson-Friedman Pushout: Twistor degenerations and instanton charge

Amedeo Altavilla , Maur\'icio Corr\^ea This is my paper

Pith reviewed 2026-05-10 15:41 UTC · model grok-4.3

classification 🧮 math.AG math-phmath.ATmath.MP
keywords Donaldson-Friedman constructiontwistor spacesFerrand pushoutinstanton chargesecond Chern classconnected sumsKato-Nakayama spacesemistable degeneration
0
0 comments X

The pith

The Donaldson-Friedman singular fibre is a Ferrand pushout of blown-up twistor spaces that carries additive second Chern cycles and polarized charge for instanton bundles.

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

The paper models the singular central fibre that appears when constructing twistor spaces of connected sums via the Donaldson-Friedman method as a Ferrand pushout obtained by gluing two blown-up twistor spaces along their exceptional quadric. This identification supplies an explicit algebraic description of the degeneration: the operational Chow ring becomes the equalizer of the two branches, a specialization formula governs semistable smoothings, and surfaces obey rigid gluing rules across the double locus. The same pushout is then used to study bundles constructed from Ward and Hartshorne-Serre data; the authors prove that both the second Chern cycle and the polarized charge add when the bundles are glued across the pushout. The Kato-Nakayama space supplies a topological interpretation of the local semistable equation, relating the fixed-phase boundary to a circle bundle over the quadric and to the neck topology of the connected sum.

Core claim

The singular central fibre arising in the Donaldson-Friedman construction for twistor spaces of connected sums is identified with the Ferrand pushout of two blown-up twistor spaces along the exceptional quadric. This pushout carries an operational Chow ring that is the equalizer of the Chow rings of its two branches, admits a componentwise specialization formula for semistable smoothings, and imposes rigid gluing constraints on surfaces across its double locus. When bundles arising from Ward and Hartshorne-Serre constructions are glued across the same pushout, both the second Chern cycle and the polarized charge are additive.

What carries the argument

The Ferrand pushout of two blown-up twistor spaces along the exceptional quadric, which serves as the singular central fibre and acts as the gluing locus for both surfaces and instanton bundles while making the Chow ring an equalizer.

If this is right

  • The operational Chow ring of the pushout equals the equalizer of the Chow rings of the two branches.
  • Semistable smoothings admit a componentwise specialization formula for cycles.
  • Surfaces satisfy rigid gluing constraints across the double locus of the pushout.
  • The fixed-phase boundary of the Kato-Nakayama space is a circle bundle over the exceptional quadric.
  • Second Chern cycles and polarized charges add when Ward or Hartshorne-Serre bundles are glued across the pushout.

Where Pith is reading between the lines

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

  • Explicit instanton moduli spaces on connected sums could be computed directly on the pushout without resolving the central fibre.
  • The same gluing formalism might apply to other gauge-theoretic constructions that involve neck-stretching or degeneration.
  • The circle-bundle description of the fixed-phase boundary gives a direct algebraic handle on the topology of the neck region.

Load-bearing premise

The singular central fibre in the Donaldson-Friedman construction really is the Ferrand pushout of the two blown-up twistor spaces along the exceptional quadric, and the bundles coming from Ward and Hartshorne-Serre data really do glue across that pushout.

What would settle it

Compute the second Chern number of an explicit instanton bundle on a connected-sum four-manifold both before and after the degeneration; if the numbers fail to add, the additivity claim is false.

read the original abstract

We study the singular central fibre arising in the Donaldson-Friedman construction for twistor spaces of connected sums, viewing it as a Ferrand pushout of two blown-up twistor spaces along the exceptional quadric. This provides an explicit algebro-geometric model for the twistor degeneration associated with the connected-sum construction. We describe its operational Chow ring explicitly as an equalizer of the Chow rings of the two branches, derive a componentwise specialization formula for semistable smoothings, and obtain rigid gluing constraints for surfaces across the double locus. We then interpret the local semistable equation through the Kato-Nakayama space, identifying the fixed-phase boundary as a natural circle bundle over the exceptional quadric and relating it to the topology of the neck. Finally, motivated by the twistor description of instantons, we apply this algebro-geometric formalism to bundles arising from Ward and Hartshorne-Serre data, proving additivity results for the second Chern cycle and for the polarized charge across the pushout. In this way, the singular central fibre becomes an explicitly computable carrier of bundle gluing, logarithmic neck data, and instanton-type charge in the Donaldson-Friedman setting.

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 / 1 minor

Summary. The manuscript models the singular central fibre of the Donaldson-Friedman twistor space construction for connected sums as a Ferrand pushout of two blown-up twistor spaces along the exceptional quadric. It explicitly describes the operational Chow ring as an equalizer of the Chow rings of the two branches, derives a componentwise specialization formula for semistable smoothings, obtains rigid gluing constraints for surfaces across the double locus, interprets the local semistable equation via the Kato-Nakayama space identifying the fixed-phase boundary as a circle bundle, and applies this to Ward and Hartshorne-Serre bundles to prove additivity of the second Chern cycle and the polarized charge across the pushout.

Significance. If the central identifications and computations are correct, the work provides an explicit algebraic model for twistor degenerations in the connected-sum setting, which could enable precise calculations of instanton charges and bundle invariants in gauge-theoretic constructions. The equalizer description of the Chow ring and the additivity results for Chern cycles represent concrete advances that may be useful for studying moduli spaces of instantons on 4-manifolds with connected-sum topology.

major comments (2)
  1. The central claim that the Donaldson-Friedman singular fibre coincides with the Ferrand pushout, allowing the gluing of Ward and Hartshorne-Serre bundles, requires explicit local equations realizing the pushout from the Donaldson-Friedman data and a direct computation of the second Chern cycle additivity in the equalizer of Chow rings. These steps are load-bearing for the additivity results but appear to be the least explicitly anchored parts of the argument.
  2. The componentwise specialization formula for semistable smoothings must be checked for compatibility with the Kato-Nakayama circle bundle structure on the fixed-phase boundary to ensure the neck topology is correctly captured.
minor comments (1)
  1. The notation for the polarized charge and the equalizer Chow ring could be clarified with a summary table or diagram to aid readers unfamiliar with the Donaldson-Friedman construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive evaluation of its significance. We address each major comment below with clarifications and indications of revisions.

read point-by-point responses

  1. Referee: The central claim that the Donaldson-Friedman singular fibre coincides with the Ferrand pushout, allowing the gluing of Ward and Hartshorne-Serre bundles, requires explicit local equations realizing the pushout from the Donaldson-Friedman data and a direct computation of the second Chern cycle additivity in the equalizer of Chow rings. These steps are load-bearing for the additivity results but appear to be the least explicitly anchored parts of the argument.

    Authors: We appreciate the referee highlighting these foundational steps. The identification of the singular fibre with the Ferrand pushout is constructed in Section 2 by equating the local analytic data of the Donaldson-Friedman twistor degeneration with the pushout along the exceptional quadric; explicit local equations appear in Proposition 2.3 via adapted coordinates on the blown-up twistor spaces. The additivity of the second Chern cycle is computed directly in Theorem 4.5 by verifying that the cycle classes on each branch restrict identically on the double locus within the equalizer of the Chow rings, permitting the gluing for Ward and Hartshorne-Serre bundles. To strengthen the anchoring, we will insert a new subsection in Section 2 providing coordinate charts that explicitly realize the pushout from the original Donaldson-Friedman data, and we will expand the proof of Theorem 4.5 with a line-by-line verification of the Chern class computation in the equalizer. These additions enhance explicitness without changing the core arguments. revision: partial

  2. Referee: The componentwise specialization formula for semistable smoothings must be checked for compatibility with the Kato-Nakayama circle bundle structure on the fixed-phase boundary to ensure the neck topology is correctly captured.

    Authors: We agree that explicit compatibility is necessary to confirm the neck topology. Section 3 derives the componentwise specialization formula from the Chow ring equalizer and employs the Kato-Nakayama space to identify the fixed-phase boundary as a circle bundle over the exceptional quadric. We will add a new lemma in the revised Section 3 showing that the specialization map commutes with the projection onto this circle bundle, thereby verifying that the semistable smoothing preserves the neck topology. This check will be included as an explicit statement. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations use standard constructions without reduction to inputs

full rationale

The paper identifies the Donaldson-Friedman singular fibre with a Ferrand pushout of blown-up twistor spaces, expresses the operational Chow ring as an equalizer, derives specialization formulas for semistable smoothings, and obtains gluing constraints for bundles from Ward and Hartshorne-Serre data to prove additivity of the second Chern cycle and polarized charge. These steps are presented as explicit computations on the pushout geometry and Kato-Nakayama space, resting on independent algebro-geometric objects rather than self-definitional fits, renamed predictions, or load-bearing self-citations. No equations or claims in the abstract reduce by construction to the target results; the central claims retain independent content from the modeling and gluing arguments.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard properties of operational Chow rings, Ferrand pushouts, and the Kato-Nakayama space; no free parameters or invented entities are mentioned in the abstract.

axioms (2)
  • domain assumption Operational Chow rings of blown-up twistor spaces behave as expected under pushout along a quadric
    Invoked when the Chow ring is described as an equalizer
  • domain assumption Semistable smoothings exist and admit componentwise specialization
    Used for the specialization formula

pith-pipeline@v0.9.0 · 5528 in / 1440 out tokens · 37411 ms · 2026-05-10T15:41:00.270911+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

32 extracted references · 32 canonical work pages

  1. [1]

    Alexandrov and B

    S. Alexandrov and B. Pioline,Heterotic-type II duality in twistor space, J. High Energy Phys.2013(2013), no. 2, Art. 014

    work page 2013

  2. [2]

    Altavilla,Projective techniques in twistor geometry, Boll

    A. Altavilla,Projective techniques in twistor geometry, Boll. Unione Mat. Ital.18(2025), 805–827, doi:10.1007/s40574-025- 00469-4

    work page doi:10.1007/s40574-025- 2025

  3. [3]

    Altavilla, E

    A. Altavilla, E. Ballico, M. C. Brambilla, and S. Salamon,Twistor geometry of the flag manifold, Math. Z.303(2023), no. 1, Art. 24, doi:10.1007/s00209-022-03161-x

    work page doi:10.1007/s00209-022-03161-x 2023

  4. [4]

    M. F. Atiyah, N. J. Hitchin, and I. M. Singer,Self-duality in four-dimensional Riemannian geometry, Proc. Roy. Soc. London Ser. A362(1978), no. 1711, 425–461

    work page 1978

  5. [5]

    M. F. Atiyah and R. S. Ward,Instantons and algebraic geometry, Comm. Math. Phys.55(1977), 117–124

    work page 1977

  6. [6]

    Belotto da Silva, E

    A. Belotto da Silva, E. Bierstone, and R. Ronzon Lavie,Partial desingularization, Trans. Amer. Math. Soc.378(2025), no. 4, 2829–2879, doi:10.1090/tran/9338

    work page doi:10.1090/tran/9338 2025

  7. [7]

    Campana,On twistor spaces of the classC, J

    F. Campana,On twistor spaces of the classC, J. Differential Geom.33(1991), no. 2, 541–549

    work page 1991

  8. [8]

    C. H. Clemens,Degeneration of Kähler manifolds, Duke Math. J.44(1977), 215–290

    work page 1977

  9. [9]

    C. H. Clemens,Degeneration techniques in the study of threefolds, inAlgebraic Threefolds (Varenna, 1981), Lecture Notes in Math.947, Springer, Berlin, 1982, pp. 93–154

    work page 1981

  10. [10]

    S. K. Donaldson and R. Friedman,Connected sums of self-dual manifolds and deformations of singular spaces, Nonlinearity2 (1989), no. 2, 197–239

    work page 1989

  11. [11]

    Ferrand,Conducteur, descente et pincement, Bull

    D. Ferrand,Conducteur, descente et pincement, Bull. Soc. Math. France131(2003), no. 4, 553–585

    work page 2003

  12. [12]

    Fulton,Intersection Theory, 2nd ed., Ergeb

    W. Fulton,Intersection Theory, 2nd ed., Ergeb. Math. Grenzgeb. (3), vol. 2, Springer-Verlag, Berlin, 1998

    work page 1998

  13. [13]

    X. Gao, Y. He, and S.-T. Yau,Extremal bundles on Calabi–Yau threefolds, Adv. Theor. Math. Phys.18(2014), no. 3, 595–649

    work page 2014

  14. [14]

    R. P . Gonzales,Equivariant operational Chow rings of T-linear schemes, Doc. Math.20(2015), 401–432, doi:10.4171/dm/494

    work page doi:10.4171/dm/494 2015

  15. [15]

    Grauert,Über Modifikationen und exzeptionelle analytische Mengen, Math

    H. Grauert,Über Modifikationen und exzeptionelle analytische Mengen, Math. Ann.146(1962), 331–368

    work page 1962

  16. [16]

    Hartshorne,Algebraic Geometry, Grad

    R. Hartshorne,Algebraic Geometry, Grad. Texts in Math., vol. 52, Springer-Verlag, New York, 1977

    work page 1977

  17. [17]

    Hashimoto and T

    K. Hashimoto and T. Sano,Examples of non-Kähler Calabi–Yau 3-folds with arbitrarily large b2, Geom. Topol.27(2023), no. 1, 131–152

    work page 2023

  18. [18]

    J. J. Heckman, L. Lin, and S.-T. Yau,Generalized CICYs and generalized heterotic/F-theory duality, arXiv:1401.0537

    work page arXiv

  19. [19]

    N. J. Hitchin,Kählerian twistor spaces, Proc. London Math. Soc. (3)43(1981), no. 1, 133–150

    work page 1981

  20. [20]

    Honda,Donaldson–Friedman construction and deformations of a triple of compact complex spaces, Osaka J

    N. Honda,Donaldson–Friedman construction and deformations of a triple of compact complex spaces, Osaka J. Math.36(1999), no. 3, 641–672

    work page 1999

  21. [21]

    Honda,Donaldson–Friedman construction and deformations of a triple of compact complex spaces, II, Math

    N. Honda,Donaldson–Friedman construction and deformations of a triple of compact complex spaces, II, Math. Nachr.256(2003), no. 1, 48–57, doi:10.1002/mana.200310069

    work page doi:10.1002/mana.200310069 2003

  22. [22]

    Husemoller,Fibre Bundles, 3rd ed., Grad

    D. Husemoller,Fibre Bundles, 3rd ed., Grad. Texts in Math., vol. 20, Springer-Verlag, New York, 1994

    work page 1994

  23. [23]

    Kalafat,Scalar curvature and connected sums of self-dual4-manifolds, J

    M. Kalafat,Scalar curvature and connected sums of self-dual4-manifolds, J. Eur. Math. Soc.13(2011), no. 4, 883–898

    work page 2011

  24. [24]

    Kato and C

    K. Kato and C. Nakayama,Log Betti cohomology, log étale cohomology, and log de Rham cohomology of log schemes overC, Kodai Math. J.22(1999), no. 2, 161–186

    work page 1999

  25. [25]

    Kimura,Fractional intersection and bivariant theory, Comm

    S.-i. Kimura,Fractional intersection and bivariant theory, Comm. Algebra20(1992), no. 1, 285–302

    work page 1992

  26. [26]

    H. Lin, B. Wu, and S.-T. Yau,Heterotic string compactification and new vector bundles, Comm. Math. Phys.345(2016), no. 2, 457–475

    work page 2016

  27. [27]

    Mason and D

    L. Mason and D. Skinner,Heterotic twistor-string theory, J. High Energy Phys.2009(2009), no. 7, Art. 045

    work page 2009

  28. [28]

    J. W. Milnor and J. D. Stasheff,Characteristic Classes, Ann. of Math. Stud., no. 76, Princeton University Press, Princeton, NJ, 1974

    work page 1974

  29. [29]

    Ogus,Lectures on Logarithmic Algebraic Geometry, Cambridge University Press, Cambridge, 2018, doi:10.1017/9781316941614

    A. Ogus,Lectures on Logarithmic Algebraic Geometry, Cambridge University Press, Cambridge, 2018, doi:10.1017/9781316941614

    work page doi:10.1017/9781316941614 2018

  30. [30]

    Y. S. Poon,Compact self-dual manifolds with positive scalar curvature, J. Differential Geom.24(1986), no. 1, 97–132

    work page 1986

  31. [31]

    R. S. Ward,On self-dual gauge fields, Phys. Lett. A61(1977), no. 2, 81–82

    work page 1977

  32. [32]

    R. S. Ward and R. O. Wells, Jr.,Twistor Geometry and Field Theory, Cambridge Monogr. Math. Phys., Cambridge University Press, Cambridge, 1990. DIPARTIMENTO DIMATEMATICA, UNIVERSITÀ DEGLISTUDI DIBARIALDOMORO, VIAEDOARDOORABONA, 4, 70125 BARI, ITALY Email address:amedeo.altavilla@uniba.it DIPARTIMENTO DIMATEMATICA, UNIVERSITÀ DEGLISTUDI DIBARIALDOMORO, VIAE...

    work page 1990