pith. sign in

arxiv: 2605.00164 · v1 · submitted 2026-04-30 · 🧮 math.AG

Stable Wild Vafa-Witten Bundles on the Projective Plane

Robert Cornea This is my paper

Pith reviewed 2026-05-09 20:26 UTC · model grok-4.3

classification 🧮 math.AG
keywords moduli spacerank-two vector bundlesprojective planestable pairsVafa-Witten bundlesC* actionholomorphic sectionsalgebraic geometry
0
0 comments X

The pith

The moduli space of stable rank-two wild Vafa-Witten pairs on the projective plane has a dimension that can be computed from the twisting degree d.

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

The paper examines stable pairs made of a rank-two holomorphic vector bundle E on the complex projective plane together with a section Phi of the trace-free endomorphisms of E twisted by the line bundle of degree d at least zero. It calculates the dimension of the space that parametrizes all such stable pairs up to isomorphism. The work gives explicit lists of all such pairs in the special cases where E is a direct sum of line bundles or arises as the push-forward of a line bundle from the product of two lines. It also describes the points fixed by a natural scaling action of the multiplicative group on this moduli space. These calculations supply concrete numbers and descriptions that make the geometry of the pairs visible in low-rank and low-degree settings.

Core claim

We compute the dimension of the moduli space of stable wild Vafa-Witten bundles on P^2. We classify stable pairs (E,Phi) when the underlying rank-two bundle E splits or is the push-forward of a line bundle on P1 times P1. We examine the fixed point locus of the natural C* action on the moduli space.

What carries the argument

The stable rank-two pair (E, Phi) consisting of a holomorphic vector bundle E on P^2 and a section Phi of the trace-free endomorphisms of E tensored with O(d), subject to the wild Vafa-Witten stability condition.

Load-bearing premise

The pairs (E, Phi) satisfy the stability condition for wild Vafa-Witten bundles and that this condition produces a well-behaved moduli space for the chosen degrees d.

What would settle it

An explicit enumeration for a small fixed d that produces a different number of stable pairs or a different dimension for their moduli space than the formula given in the paper.

read the original abstract

This work explores the geometry of stable wild Vafa-Witten bundles over the complex projective plane $\mathbb{P}^2$. Specifically, we consider stable rank-two pairs $(E,\Phi)$, with $E\to\mathbb{P}^2$ a rank-two holomorphic vector bundle and $\Phi\in H^0(\mathbb{P}^2,\mathrm{End}_0E\otimes\mathcal{O}(d))$ for $d\geq0$, and compute the dimension of the moduli space of such stable pairs. Moreover, we classify stable pairs $(E,\Phi)$ when the underlying rank-two bundle $E$ splits or is the push-forward of a line bundle on $\mathbb{P}^1\times\mathbb{P}^1$. Lastly, we examine the fixed point locus of the natural $\mathbb{C}^*$-action on the moduli space.

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

3 major / 2 minor

Summary. The manuscript studies stable wild Vafa-Witten bundles on P². It considers stable rank-two pairs (E, Φ) where E is a rank-two holomorphic vector bundle on P² and Φ lies in H⁰(End₀E ⊗ O(d)) for d ≥ 0. The main results are a computation of the dimension of the moduli space of such stable pairs, a classification of the pairs in the cases where E splits or is the push-forward of a line bundle from P¹×P¹, and an analysis of the fixed-point locus of the natural C* action on the moduli space.

Significance. If the stability condition is rigorously defined and the dimension formula is correctly derived from deformation theory or Riemann-Roch, the explicit dimension and classification results would provide concrete data on moduli spaces in the wild setting, potentially useful for comparisons with other Higgs bundle moduli or for computing invariants. The classification in split and push-forward cases supplies explicit examples that could serve as test cases for general conjectures.

major comments (3)
  1. [Abstract / §1] The stability condition for the wild Vafa-Witten pairs (E, Φ) is not stated or verified in the abstract; without an explicit definition (presumably in §2) and a check that it produces a well-behaved moduli space whose dimension follows from standard deformation theory for all d ≥ 0, the central dimension computation rests on an unverified assumption.
  2. [§4 (classification)] The classification of stable pairs when E splits or is the push-forward of a line bundle from P¹×P¹ (presumably §4) must be shown to respect the stability condition; the manuscript should include a direct verification that the listed pairs satisfy the slope or pair stability inequality rather than assuming it from the underlying bundle properties.
  3. [§5 (fixed locus)] The C*-fixed point locus analysis (presumably §5) relies on the dimension formula; if the dimension computation contains an error for generic d, the fixed-locus description becomes unreliable and should be cross-checked against the expected dimension from the deformation complex.
minor comments (2)
  1. [Notation] Notation for End₀E and the twisting by O(d) should be introduced once in the introduction and used consistently; the abstract uses both End₀E and End_0E.
  2. [Introduction] The abstract claims a dimension computation but does not state the formula; the introduction should preview the explicit dimension expression (e.g., in terms of d and the Chern classes of E) so readers can immediately see the result.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their thorough reading and valuable comments on our manuscript. We address each major comment point by point below, providing clarifications and indicating where revisions will be made to strengthen the presentation.

read point-by-point responses

  1. Referee: [Abstract / §1] The stability condition for the wild Vafa-Witten pairs (E, Φ) is not stated or verified in the abstract; without an explicit definition (presumably in §2) and a check that it produces a well-behaved moduli space whose dimension follows from standard deformation theory for all d ≥ 0, the central dimension computation rests on an unverified assumption.

    Authors: We agree that the abstract should explicitly reference the stability condition. We will revise the abstract to include a brief statement of the pair stability condition (defined in §2 via the slope inequality adapted to the wild Higgs field Φ of degree d). The moduli space is constructed using standard deformation theory: the tangent space is given by the hypercohomology of the deformation complex 0 → End₀E → End₀E ⊗ O(d) → 0, and the expected dimension is computed via Riemann-Roch, which applies uniformly for all d ≥ 0 because stability of (E, Φ) ensures the vanishing of H² terms in the complex for the relevant range. This is verified explicitly in §3 for the rank-two case on P². revision: partial

  2. Referee: [§4 (classification)] The classification of stable pairs when E splits or is the push-forward of a line bundle from P¹×P¹ (presumably §4) must be shown to respect the stability condition; the manuscript should include a direct verification that the listed pairs satisfy the slope or pair stability inequality rather than assuming it from the underlying bundle properties.

    Authors: We accept this recommendation. In §4, the classification proceeds by enumerating possible splitting types of E or push-forwards from P¹×P¹ and determining compatible Φ. We will add direct verifications for each case, computing the slope μ(E) and checking the pair stability inequality (that subbundles destabilizing E are not preserved by Φ in a way that violates the condition). These calculations are straightforward from the explicit matrix forms of Φ and will be included as lemmas or remarks to confirm all listed pairs lie in the stable locus. revision: yes

  3. Referee: [§5 (fixed locus)] The C*-fixed point locus analysis (presumably §5) relies on the dimension formula; if the dimension computation contains an error for generic d, the fixed-locus description becomes unreliable and should be cross-checked against the expected dimension from the deformation complex.

    Authors: The dimension formula is derived in §3 from the Riemann-Roch computation on the deformation complex and holds for generic d (as well as all d ≥ 0) under the stability assumption, which controls the cohomology. The C*-fixed locus in §5 consists of pairs where Φ is an eigenvector for the natural scaling action, and its dimension is computed by restricting the deformation complex to fixed components. We will add an explicit cross-check in §5, comparing the dimension of each fixed component (obtained by direct parametrization) against the general formula to confirm consistency. No error is present in the original computation. revision: partial

Circularity Check

0 steps flagged

No circularity: moduli dimension computation relies on external stability and deformation theory

full rationale

The paper states it computes the dimension of the moduli space of stable rank-two pairs (E, Φ) with Φ in H⁰(End₀E ⊗ O(d)) for d ≥ 0, and classifies them when E splits or is a push-forward from P¹×P¹. No equations, fitted parameters, or self-referential steps appear in the provided text. The stability condition is invoked as an input assumption rather than derived from the result itself. No self-citations are load-bearing for the central claim, and the derivation chain does not reduce any prediction to its own inputs by construction. Standard tools like Riemann-Roch or deformation theory are presumed external and independent.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated.

pith-pipeline@v0.9.0 · 5425 in / 1033 out tokens · 31096 ms · 2026-05-09T20:26:33.254793+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

27 extracted references · 27 canonical work pages

  1. [1]

    B., Esole, M., Fredrickson, L., and Schaposnik, L

    Anderson, L. B., Esole, M., Fredrickson, L., and Schaposnik, L. P. Singular geometry and H iggs bundles in string theory. SIGMA Symmetry Integrability Geom. Methods Appl. 14\/ (2018), Paper No. 037, 27

    work page 2018

  2. [2]

    B., Heckman, J

    Anderson, L. B., Heckman, J. J., Katz, S., and Schaposnik, L. P. T-branes at the limits of geometry. J. High Energy Phys. , 10 (2017), 058, front matter+55

    work page 2017

  3. [3]

    A generalized spectral correspondence

    Banerjee, K., and Rayan, S. A generalized spectral correspondence. ar X iv:2310.02413 (math. AG )\/ (2023)

    work page arXiv 2023

  4. [4]

    The intrinsic normal cone

    Behrend, K., and Fantechi, B. The intrinsic normal cone. Invent. Math. 128 , 1 (1997), 45--88

    work page 1997

  5. [5]

    Symplectic geometry on moduli spaces of stable pairs

    Bottacin, F. Symplectic geometry on moduli spaces of stable pairs. Ann. Sci. \'Ecole Norm. Sup. (4) 28 , 4 (1995), 391--433

    work page 1995

  6. [6]

    ( C o)- H iggs bundles on non- K \"ahler elliptic surfaces

    Boulter, E., and Moraru, R. ( C o)- H iggs bundles on non- K \"ahler elliptic surfaces. Res. Math. Sci. 12 , 1 (2025), Paper No. 12, 35

    work page 2025

  7. [7]

    Bradlow, S., Branco, L., and Schaposnik, L. P. Orthogonal H iggs bundles with singular spectral curves. Comm. Anal. Geom. 28 , 8 (2020), 1895--1931

    work page 2020

  8. [8]

    On V afa- W itten equations over K \"ahler manifolds

    Chen, X. On V afa- W itten equations over K \"ahler manifolds. J. Reine Angew. Math. 814\/ (2024), 135--163

    work page 2024

  9. [9]

    K., and Thomas, R

    Donaldson, S. K., and Thomas, R. P. Gauge theory in higher dimensions. In The geometric universe ( O xford, 1996) . Oxford Univ. Press, Oxford, 1998, pp. 31--47

    work page 1996

  10. [10]

    Algebraic surfaces and holomorphic vector bundles

    Friedman, R. Algebraic surfaces and holomorphic vector bundles . Universitext. Springer-Verlag, New York, 1998

    work page 1998

  11. [11]

    B., and Oliveira, A

    Gothen, P. B., and Oliveira, A. G. The singular fiber of the H itchin map. Int. Math. Res. Not. IMRN , 5 (2013), 1079--1121

    work page 2013

  12. [12]

    Localization of virtual classes

    Graber, T., and Pandharipande, R. Localization of virtual classes. Invent. Math. 135 , 2 (1999), 487--518

    work page 1999

  13. [13]

    Stable bundles and integrable systems

    Hitchin, N. Stable bundles and integrable systems. Duke Math. J. 54 , 1 (1987), 91--114

    work page 1987

  14. [14]

    Hitchin, N. J. The self-duality equations on a R iemann surface. Proc. London Math. Soc. (3) 55 , 1 (1987), 59--126

    work page 1987

  15. [15]

    Monopole contributions to refined V afa- W itten invariants

    Laarakker, T. Monopole contributions to refined V afa- W itten invariants. Geom. Topol. 24 , 6 (2020), 2781--2828

    work page 2020

  16. [16]

    A vanishing theorem for T -branes

    Marchesano, F., Moraru, R., and Savelli, R. A vanishing theorem for T -branes. J. High Energy Phys. , 11 (2020), 002, 31

    work page 2020

  17. [17]

    Spectral curves and integrable systems

    Markman, E. Spectral curves and integrable systems. Compositio Math. 93 , 3 (1994), 255--290

    work page 1994

  18. [18]

    Moduli space of semistable pairs on a curve

    Nitsure, N. Moduli space of semistable pairs on a curve. Proc. London Math. Soc. (3) 62 , 2 (1991), 275--300

    work page 1991

  19. [19]

    Ottaviani, G. M. Some properties of 2 -bundles on P ^2 . Boll. Un. Mat. Ital. D (6) 3 , 1 (1984), 5--18

    work page 1984

  20. [20]

    Geometry of co- H iggs bundles

    Rayan, S. Geometry of co- H iggs bundles . D.Phil. thesis, Oxford, 2011

    work page 2011

  21. [21]

    Co- H iggs bundles on P^1

    Rayan, S. Co- H iggs bundles on P^1 . New York J. Math. 19\/ (2013), 925--945

    work page 2013

  22. [22]

    Constructing co- H iggs bundles on C P^2

    Rayan, S. Constructing co- H iggs bundles on C P^2 . Q. J. Math. 65 , 4 (2014), 1437--1460

    work page 2014

  23. [23]

    Aspects of the topology and combinatorics of H iggs bundle moduli spaces

    Rayan, S. Aspects of the topology and combinatorics of H iggs bundle moduli spaces. SIGMA Symmetry Integrability Geom. Methods Appl. 14\/ (2018), Paper No. 129, 18

    work page 2018

  24. [24]

    Schaposnik, L. P. An introduction to spectral data for H iggs bundles. In The geometry, topology and physics of moduli spaces of H iggs bundles , vol. 36 of Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap. World Sci. Publ., Hackensack, NJ, 2018, pp. 65--101

    work page 2018

  25. [25]

    Schwarzenberger, R. L. E. Vector bundles on the projective plane. Proc. London Math. Soc. (3) 11\/ (1961), 623--640

    work page 1961

  26. [26]

    Tanaka, Y., and Thomas, R. P. Vafa- W itten invariants for projective surfaces I : stable case. J. Algebraic Geom. 29 , 4 (2020), 603--668

    work page 2020

  27. [27]

    A strong coupling test of S -duality

    Vafa, C., and Witten, E. A strong coupling test of S -duality. Nuclear Phys. B 431 , 1-2 (1994), 3--77

    work page 1994