The Pandharipande-Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds

Dominic Joyce; Reginald Anderson

REVIEW 3 major objections 2 minor 1 cited by

For superpositive curve classes on complex projective 3-folds, Pandharipande–Thomas generating functions with descendants are rational, with poles as predicted.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-13 09:15 UTC pith:3TBTA2AW

load-bearing objection Abstract-only claim of a full proof of the PT rationality/poles conjectures for superpositive classes via Joyce wall-crossing; significant if the application holds, unverifiable from what we have. the 3 major comments →

arxiv 2604.05664 v2 pith:3TBTA2AW submitted 2026-04-07 math.AG

The Pandharipande-Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds

Reginald Anderson , Dominic Joyce This is my paper

classification math.AG MSC 14N3514D2014J3014F05

keywords Pandharipande-Thomas invariantsrationality conjecturessuperpositive curve classeswall-crossingenumerative invariantsdescendent insertionsprojective 3-foldsFano 3-folds

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper establishes a large case of the Pandharipande–Thomas rationality conjectures for enumerative invariants of curves on a projective complex 3-fold X. When the curve class β is superpositive—every effective summand of β has positive intersection with the first Chern class of X—the generating functions that package the Pandharipande–Thomas invariants of X in class β, with arbitrary descendent insertions, are rational functions of the formal variable. Their poles lie exactly where the conjectures predict. Superpositivity is automatic when X is Fano, so the result covers all curve classes on Fano 3-folds. The argument applies the second author’s earlier wall-crossing theory for enumerative invariants in abelian categories, relating the PT moduli problem for superpositive classes to simpler invariants whose rationality is already known. If the claim holds, a broad range of virtual curve-counting series on 3-folds become explicitly controllable algebraic objects rather than formal power series of unknown type.

Core claim

For any projective complex 3-manifold X and any superpositive effective curve class β, the generating functions of Pandharipande–Thomas invariants of X in class β with descendent insertions are rational functions, and their poles match the predictions of the Pandharipande–Thomas conjectures.

What carries the argument

Joyce’s wall-crossing theory for enumerative invariants in abelian categories (arXiv:2111.04694). It supplies identities that relate the PT generating functions for superpositive classes to invariants of simpler stability conditions whose rationality is already established.

Load-bearing premise

The argument rests on the wall-crossing identities of Joyce’s enumerative theory applying verbatim to the heart of the PT moduli problem for superpositive classes on X; if those identities fail for the relevant Bridgeland-type stability conditions, the rationality conclusion does not follow.

What would settle it

Exhibit a single superpositive class β on a projective complex 3-fold for which a PT generating function with descendants is either non-rational or has a pole outside the predicted locations, or show that the wall-crossing formulae of arXiv:2111.04694 do not hold for the corresponding PT abelian category.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

Abstract-only claim of a full proof of the PT rationality/poles conjectures for superpositive classes via Joyce wall-crossing; significant if the application holds, unverifiable from what we have.

read the letter

The one thing to know is that this abstract asserts a complete proof of the Pandharipande–Thomas rationality and poles conjectures (with descendents) for every superpositive effective curve class on a projective complex 3-fold. That includes all effective classes on Fanos. If the argument works, it is a clean, useful theorem inside DT/PT theory.

What is actually new is the theorem itself: those conjectures were open, and the paper claims to settle them on the natural domain where positivity of every effective summand makes the walls controllable. The method is not a new foundational package; it is an application of Joyce’s existing enumerative invariants and wall-crossing formulae (arXiv:2111.04694) to the PT heart. That is legitimate and, if done carefully, exactly the right tool. Superpositivity is defined cleanly and is invoked for a clear technical reason. No free parameters or circular fitting appear in the claim.

The soft spot is proportional and obvious: we have only the abstract. The load-bearing step is that the hypotheses of the 2111.04694 package (HN filtrations, finiteness of walls, compatibility with c1(X)·β'>0 on summands, and control of descendent insertions) actually hold for the relevant abelian category on a general projective 3-fold. Superpositivity is supposed to guarantee this; if it does not, or if the resulting identities fail to produce the predicted poles once descendents are included, the conclusion does not follow. That is not a manufactured flaw—it is simply the place a referee must check. Self-citation of the wall-crossing theory is foundational, not circular.

This is for people who work on DT/PT, wall-crossing, or enumerative geometry of 3-folds. A serious referee should see the full text. I would send it to peer review rather than desk-reject; the claim is sharp enough and the machinery is real enough to deserve that time. Whether I would cite it myself depends on the proofs surviving scrutiny.

Referee Report

3 major / 2 minor

Summary. The manuscript asserts a proof of the Pandharipande–Thomas rationality conjectures for generating functions of PT invariants of a projective complex 3-fold X, including descendent insertions, when the curve class β is superpositive (every effective summand β′ of β satisfies c₁(X)·β′>0). The argument is said to proceed by applying the second author’s theory of enumerative invariants in abelian categories and wall-crossing formulae (arXiv:2111.04694) to the heart of the PT moduli problem; superpositivity is introduced precisely so that the hypotheses of that theory hold. When X is Fano every effective class is superpositive, so the result covers all curve classes in that case.

Significance. If correct, the result would settle a central conjecture of Pandharipande–Thomas in a large and natural range of classes (all classes on Fano 3-folds, and all superpositive classes more generally), including the more delicate case of descendent insertions and the predicted pole structure. The strategy of reducing the claim to an existing wall-crossing framework is methodologically clean and, if the hypotheses are verified, constitutes a substantial contribution to enumerative geometry of 3-folds. The introduction of the superpositivity condition is a clear conceptual contribution that isolates the range in which the technical hypotheses are expected to hold.

major comments (3)

The abstract’s central claim rests on the applicability of Joyce’s wall-crossing theory (arXiv:2111.04694) to the PT heart for superpositive classes. Without the body of the paper one cannot check that the required hypotheses—existence of Harder–Narasimhan filtrations, finiteness of walls, and compatibility of the stability conditions with the superpositivity condition c₁(X)·β′>0 for every effective summand—are actually verified for the relevant Bridgeland-type hearts on a general projective 3-fold. This verification is load-bearing: if it fails, the rationality and pole statements do not follow.
The abstract asserts that the wall-crossing identities control the poles of the generating functions even after descendent insertions are included. The treatment of descendents is not visible from the abstract alone; a load-bearing step is to confirm that the insertions remain compatible with the wall-crossing formulae and do not introduce additional poles outside those predicted by the PT conjectures. This needs to be checked in the full text.
Superpositivity is defined so that every effective summand of β remains positive. For the wall-crossing argument to close, superpositivity must be preserved under the decompositions that appear in the wall-crossing formulae. The abstract does not exhibit this closure; it must be established (or shown to follow from the definition) in the body, otherwise the induction or recursive control of poles may fail for some summands.

minor comments (2)

The abstract is clear and self-contained as a statement of results, but the term “superpositive” is introduced without a forward reference to a numbered definition or lemma; once the full text is available, a precise definition and a short lemma recording closure under effective summands would improve readability.
The citation to arXiv:2111.04694 is essential; the abstract would benefit from a one-sentence indication of which specific theorems (wall-crossing identities, existence of HN filtrations) are invoked, so that a reader can locate the precise input.

Circularity Check

0 steps flagged

No significant circularity: PT rationality for superpositive classes is deduced from Joyce wall-crossing, not assumed or fitted by construction.

full rationale

Only the abstract is available. It states that the second author’s prior theory of enumerative invariants and wall-crossing formulae (arXiv:2111.04694) is applied to prove the Pandharipande–Thomas rationality and pole conjectures for superpositive curve classes (with descendent insertions). This is ordinary foundational self-citation of a general framework; the target claim (rationality of the PT generating functions and the predicted poles) is not assumed, fitted, or definitionally equivalent to an input of the present paper. Superpositivity is introduced as a geometric hypothesis that makes the wall-crossing hypotheses applicable, not as a redefinition of the result. There is no self-definitional loop, no fitted parameter renamed as a prediction, no uniqueness theorem smuggled in to forbid alternatives, and no renaming of a known empirical pattern. The derivation chain is therefore self-contained against the external benchmark of the PT conjectures once the cited wall-crossing identities are granted. Score 2 reflects only the minor, non-load-bearing character of the self-citation of the second author’s prior work; the central claim retains independent content. (Whether the hypotheses of arXiv:2111.04694 actually hold for the PT heart is a correctness/applicability question, not a circularity question.)

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

Abstract-only review. No free parameters appear (pure existence/rationality theorem). Background axioms are standard algebraic geometry plus the full strength of Joyce’s enumerative/wall-crossing theory. No new physical or geometric entities are invented; ‘superpositive’ is a definitional restriction on curve classes.

axioms (3)

domain assumption Joyce’s theory of enumerative invariants in abelian categories and wall-crossing formulae (arXiv:2111.04694) applies to the PT moduli problem and yields the identities needed for rationality.
Cited in the abstract as the engine of the proof; the paper’s claim stands or falls with the correctness and applicability of that package to superpositive PT data.
domain assumption X is a projective complex 3-manifold; β is an effective class in H_2(X,Z); PT invariants with descendent insertions are well-defined for these data.
Standard setup of PT theory; assumed throughout the abstract.
standard math Standard foundations of algebraic geometry over C (cohomology, Chern classes, moduli of stable pairs, generating functions in formal variables).
Background language of the field; not re-proved.

invented entities (1)

superpositive curve class no independent evidence
purpose: Restricts the class of β for which the rationality/poles statement is proved (all effective summands positive).
Definitional restriction introduced to make wall-crossing controllable; not a new physical object. Independent evidence is not required; it is a hypothesis on β.

pith-pipeline@v1.1.0-grok45 · 6025 in / 2590 out tokens · 29258 ms · 2026-07-13T09:15:38.725761+00:00 · methodology

0 comments

read the original abstract

Let $X$ be a projective complex 3-manifold. An effective curve class $\beta\in H_2(X,\mathbb Z)$ is called positive if $c_1(X)\cdot\beta>0$, and superpositive if all the effective summands of $\beta$ are positive. If $X$ is Fano then all curve classes are superpositive. In arXiv:2111.04694 the second author developed a theory of enumerative invariants in abelian categories and wall-crossing formulae. We use this theory to prove conjectures by Pandharipande and Thomas on the rationality and poles of generating functions of Pandharipande-Thomas invariants of $X$ with descendent insertions, for superpositive curve classes.

Review history (2 revisions) →

discussion (0)

Forward citations

Cited by 1 Pith paper

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

Examples of descendent generating series for Pandharipande--Thomas stable pairs on smooth projective Fano threefolds via one-dimensional wall-crossing
math.AG 2026-05 conditional novelty 5.0

Explicit PT descendent large-n tails on P3, cubic threefolds and blow-ups are obtained by one-dimensional wall-crossing and agree with known formulas up to Laurent polynomials.