Curve counting and S-duality

Richard P. Thomas; Soheyla Feyzbakhsh

arxiv: 2007.03037 · v4 · submitted 2020-07-06 · 🧮 math.AG · hep-th

Curve counting and S-duality

Soheyla Feyzbakhsh , Richard P. Thomas This is my paper

Pith reviewed 2026-05-24 13:52 UTC · model grok-4.3

classification 🧮 math.AG hep-th

keywords moduli spacestorsion sheavesHilbert schemeswall crossingCalabi-Yau threefoldscurve countingS-dualityGromov-Witten invariants

0 comments

The pith

Moduli spaces of 2-dimensional torsion sheaves on threefolds are smooth bundles over Hilbert schemes of curves and points.

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

The paper shows that on a projective threefold satisfying the Bogomolov-Gieseker conjecture, certain moduli spaces of 2-dimensional torsion sheaves form smooth bundles over the Hilbert schemes parametrizing ideal sheaves of curves and points. This structure allows a direct wall-crossing formula when the threefold is Calabi-Yau. The formula relates counts of curves, which connect to Gromov-Witten invariants, to counts of D4-D2-D0 branes. These brane counts are expected to exhibit modular properties according to S-duality and Noether-Lefschetz theory.

Core claim

We prove that certain moduli spaces of 2-dimensional torsion sheaves on a projective threefold X satisfying the Bogomolov-Gieseker conjecture are smooth bundles over Hilbert schemes of ideal sheaves of curves and points in X. When X is Calabi-Yau this gives a simple wall crossing formula expressing curve counts in terms of counts of D4-D2-D0 branes. These latter invariants are predicted to have modular properties which we discuss from the point of view of S-duality and Noether-Lefschetz theory.

What carries the argument

The smooth bundle structure of moduli spaces of 2-dimensional torsion sheaves over Hilbert schemes of ideal sheaves of curves and points, which enables the wall-crossing formula.

If this is right

Curve counts on Calabi-Yau threefolds reduce directly to counts of D4-D2-D0 branes via the wall-crossing formula.
Gromov-Witten invariants follow from the D4-D2-D0 brane counts.
The brane counts inherit modular properties from S-duality and Noether-Lefschetz theory.

Where Pith is reading between the lines

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

The bundle structure may allow explicit computations of curve counts on specific threefolds like the quintic by reducing to brane counting problems.
The result suggests a pathway to verify modular predictions for Gromov-Witten invariants through direct comparison with brane moduli spaces.
If the Bogomolov-Gieseker conjecture holds more broadly, the wall-crossing relation could apply to non-Calabi-Yau threefolds with adjusted stability conditions.

Load-bearing premise

The projective threefold X satisfies the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda.

What would settle it

Finding a Calabi-Yau threefold satisfying the Bogomolov-Gieseker conjecture where the moduli space of 2-dimensional torsion sheaves fails to be a smooth bundle over the Hilbert scheme of ideal sheaves, or where the predicted wall-crossing formula does not match known curve counts.

read the original abstract

We work on a projective threefold $X$ which satisfies the Bogomolov-Gieseker conjecture of Bayer-Macr\`i-Toda, such as $\mathbb P^3$ or the quintic threefold. We prove certain moduli spaces of 2-dimensional torsion sheaves on $X$ are smooth bundles over Hilbert schemes of ideal sheaves of curves and points in $X$. When $X$ is Calabi-Yau this gives a simple wall crossing formula expressing curve counts (and so ultimately Gromov-Witten invariants) in terms of counts of D4-D2-D0 branes. These latter invariants are predicted to have modular properties which we discuss from the point of view of S-duality and Noether-Lefschetz theory.

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.

Desk Editor's Note private letter to a colleague

The abstract claims a bundle structure on moduli spaces of torsion sheaves that produces an explicit wall-crossing formula from curve counts to D4-D2-D0 brane counts, but only under the Bayer-Macrì-Toda conjecture and with no proof details supplied.

read the letter

The main point is that on a projective threefold X satisfying the Bogomolov-Gieseker conjecture, the moduli spaces of certain 2-dimensional torsion sheaves are shown to be smooth bundles over the Hilbert scheme of curves and points. For Calabi-Yau X this yields a wall-crossing formula that writes curve counts, and ultimately Gromov-Witten invariants, directly in terms of D4-D2-D0 brane counts whose modular properties are then discussed via S-duality and Noether-Lefschetz theory. The examples given are P^3 and the quintic, both cases where the conjecture is known to hold. That is the concrete new relation the abstract puts forward. It sits inside the Bayer-Macrì-Toda framework and makes the link to physics dualities more explicit than earlier statements. The setup is standard and the target invariants are the right ones. The obvious limitation is that the result is conditional on the conjecture and the abstract contains no derivations, no verification on known cases, and no comparison with prior wall-crossing formulas. Without the body of the paper it is impossible to judge whether the bundle structure is proved cleanly or whether hidden assumptions appear in the wall-crossing step. The circularity risk mentioned in the report does not seem forced by the abstract itself; the brane counts are treated as the objects whose modularity is predicted independently. This is work for people already inside the moduli-of-sheaves and enumerative-geometry literature who want to see how the Bayer-Macrì-Toda conjecture would translate into concrete formulas. A reader who knows the conjecture well will immediately see what is being claimed. If the full paper delivers the stated proof without additional gaps, the paper is worth sending to referees; the claim is specific and the target audience exists.

Referee Report

2 major / 0 minor

Summary. The paper claims that for a projective threefold X satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda (such as P^3 or the quintic), certain moduli spaces of 2-dimensional torsion sheaves are smooth bundles over Hilbert schemes of ideal sheaves of curves and points in X. When X is Calabi-Yau, this yields a simple wall-crossing formula expressing curve counts (and thus Gromov-Witten invariants) in terms of D4-D2-D0 brane counts, whose modular properties are discussed via S-duality and Noether-Lefschetz theory.

Significance. If the claimed results hold, the work would establish a direct relation between curve counting invariants and brane counts, potentially simplifying computations of Gromov-Witten invariants on Calabi-Yau threefolds and providing a framework for analyzing modularity through S-duality. No machine-checked proofs, reproducible code, or parameter-free derivations are present in the manuscript to credit as strengths.

major comments (2)

[Abstract] Abstract: the manuscript asserts proofs of the bundle structure for the moduli spaces and the wall-crossing formula, but supplies no derivations, verifications, or technical details on either claim.
[Abstract] Abstract: the central results are explicitly conditional on the Bogomolov-Gieseker conjecture holding for the chosen X, yet the manuscript provides no discussion of the conjecture's status or verification for the examples (P^3, quintic threefold).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report. We respond to the major comments below.

read point-by-point responses

Referee: [Abstract] Abstract: the manuscript asserts proofs of the bundle structure for the moduli spaces and the wall-crossing formula, but supplies no derivations, verifications, or technical details on either claim.

Authors: The abstract summarizes the main theorems. The body of the manuscript contains the full proofs of the bundle structure for the moduli spaces of 2-dimensional torsion sheaves and the resulting wall-crossing formula. Abstracts are not expected to contain derivations. revision: no
Referee: [Abstract] Abstract: the central results are explicitly conditional on the Bogomolov-Gieseker conjecture holding for the chosen X, yet the manuscript provides no discussion of the conjecture's status or verification for the examples (P^3, quintic threefold).

Authors: We agree that a short discussion of the status of the Bogomolov-Gieseker conjecture for the examples would be useful. We will add a paragraph noting that the conjecture holds for projective space and outlining its known status for the quintic. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained given external conjecture

full rationale

Only the abstract is available, which states a conditional proof that certain moduli spaces are smooth bundles over Hilbert schemes, yielding a wall-crossing formula for curve counts in terms of D4-D2-D0 counts when X is Calabi-Yau. The result is explicitly conditional on the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda (external to the authors), with no equations, self-citations, or fitted inputs presented that reduce the claimed derivation to its own inputs by construction. The mention of 'predicted' modular properties for the brane counts is a discussion of external S-duality/Noether-Lefschetz expectations rather than a load-bearing step in the paper's own chain. No self-definitional, fitted-prediction, or self-citation patterns are exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The results depend on the validity of the Bogomolov-Gieseker conjecture as a domain assumption, with no free parameters or new entities introduced in the abstract.

axioms (1)

domain assumption The projective threefold X satisfies the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda
This is the setting in which the moduli spaces are considered and the proof is carried out.

pith-pipeline@v0.9.0 · 5621 in / 1169 out tokens · 23406 ms · 2026-05-24T13:52:24.294201+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove certain moduli spaces of 2-dimensional torsion sheaves on X are smooth bundles over Hilbert schemes of ideal sheaves of curves and points in X. When X is Calabi-Yau this gives a simple wall crossing formula expressing curve counts... in terms of counts of D4-D2-D0 branes.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

These latter invariants are predicted to have modular properties which we discuss from the point of view of S-duality and Noether-Lefschetz theory.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Large Order Enumerative Geometry, Black Holes and Black Rings
hep-th 2026-05 unverdicted novelty 6.0

Numerical study of high-genus GV invariants reveals 5D indices matching BMPV black-hole entropy below a critical angular momentum and black-ring dominance above, with additional phase transitions and growth laws in PT...
BPS Dendroscopy on Local $\mathbb{P}^1\times \mathbb{P}^1$
hep-th 2024-12 unverdicted novelty 6.0

Construction of the scattering diagram for BPS indices on local P1 x P1 and sketch of the Split Attractor Flow Tree Conjecture for restricted central charge phase.