Pith. sign in

REVIEW 3 major objections 7 minor 19 references

One-dimensional wall-crossing yields explicit large-n tails of Pandharipande–Thomas descendent series on Fano threefolds that match known exact formulas up to Laurent polynomials.

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-12 17:03 UTC pith:63RKBQG3

load-bearing objection Solid computational companion to the Anderson–Joyce wall-crossing package: explicit coefficient packages and Laurent-polynomial checks on five Fanos, with the longest residue arithmetic the only real soft spot. the 3 major comments →

arxiv 2607.02526 v1 pith:63RKBQG3 submitted 2026-05-11 math.AG

Examples of descendent generating series for Pandharipande--Thomas stable pairs on smooth projective Fano threefolds via one-dimensional wall-crossing

Reginald Anderson This is my paper
classification math.AG MSC 14N3514D2014J45
keywords Pandharipande–Thomas stable pairsdescendent generating seriesone-dimensional Donaldson–Thomas invariantswall-crossingFano threefoldsGross polynomial realizationLaurent tails
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 computes concrete descendent generating series for Pandharipande–Thomas stable pairs on smooth projective Fano threefolds. It works in the intrinsic wall-crossing Lie algebra of the pairs category, then realizes the classes in a polynomial algebra so that coefficients can be written down. Explicit one-dimensional Donaldson–Thomas and stable-pair invariants are obtained for the line class and double line on P3, the line class on a smooth cubic threefold, several classes on the blow-ups of a point and a line in P3, and three irreducible classes on a projective-bundle threefold over P1 imes P1. For the line class on P3 and on the cubic, and for a double-line insertion on P3, the large-n tails produced by wall-crossing are compared with the known closed formulas; the differences are Laurent polynomials. The examples therefore give a direct check that the wall-crossing package controls the asymptotic form of the series and that only finitely many low-n terms remain to be supplied by geometry.

Core claim

On smooth projective Fano threefolds the pairs-category wall-crossing, once realized in Gross’s polynomial model, produces explicit large-n tails of Pandharipande–Thomas descendent series. In every case treated in common with the exact formulas of Pandharipande and Moreira, those tails differ from the known series by Laurent polynomials.

What carries the argument

The wall-crossing identity in Joyce’s Lie algebra H_*(N^pl,Q) of the projective-linear pairs stack (specialized to superpositive classes on Fano threefolds), realized by Gross’s isomorphism into the polynomial algebra e^κ Q[s_jkℓ] and expanded by ordered brackets of sheaf-theoretic invariants with the distinguished zero-class pair.

Load-bearing premise

The recursive definition of sheaf-theoretic invariants via auxiliary pairs classes still yields well-defined homology classes of the expected degree when strictly semistable sheaves are present.

What would settle it

Recompute any of the explicitly displayed large-n tails (for example the τ5(1) series on the line class of P3 or any of the fifteen cubic insertions) by an independent geometric method and check whether the difference from the known closed formula is still a Laurent polynomial; a non-Laurent discrepancy would falsify the claim.

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

If this is right

  • Descendent generating series on any smooth projective Fano threefold are rational functions whose poles are controlled by the admissible periods of the curve class.
  • Only finitely many low-n stable-pair classes need to be computed geometrically; the rest of the series is then determined by wall-crossing and tensoring recurrences.
  • The same coefficient package and ordered-bracket calculus apply verbatim to every effective class on the five families of Fano threefolds treated in the paper.
  • Comparison of further large-n tails with existing closed formulas will again produce only Laurent-polynomial discrepancies whenever both sides are defined.

Where Pith is reading between the lines

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

  • The same recursive package should produce matching large-n tails for any other Fano threefold whose low-degree curve classes admit explicit moduli descriptions (for instance other del Pezzo threefolds).
  • Once the bounded inputs for a reducible class are known, the method supplies an algorithmic route to the full rational function, not merely its asymptotic tail.
  • The nonzero divisor-class coefficients that appear already for the line class show that any future computational implementation must retain the full degree-two package rather than a truncated endpoint formula.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 7 minor

Summary. The paper applies the pairs-category wall-crossing package of Anderson–Joyce and Joyce to compute explicit one-dimensional DT invariants, PT virtual classes, and (in selected cases) descendent generating series on smooth projective Fano threefolds. After recalling the intrinsic Lie algebra H_*(N^pl,Q), Gross’s realization e^κ Q[s_jkℓ], tensoring recurrences, and the rationality/pole package, it works through five geometries: P^3 (classes L and 2L), a smooth cubic threefold (line class), Bl_p P^3, Bl_ℓ P^3, and the projective bundle P(O⊕O(−1,−1)) over P^1×P^1. For the line class on P^3 and for fifteen descendent insertions on the cubic line class, the large-n tails obtained from wall-crossing are compared with the closed formulas of Pandharipande and Moreira; the differences are exhibited as Laurent polynomials. Parallel comparisons are given for τ9(1) in class 2L on P^3.

Significance. If the calculations are correct, the paper supplies the first systematic, geometry-by-geometry realization of the Fano specialization of the Anderson–Joyce wall-crossing package, including nonzero divisor coefficients B[n]_j22 and odd quadratic blocks where they appear. The explicit matches (up to Laurent polynomials) with Pandharipande’s and Moreira’s series for the line classes on P^3 and the cubic give a nontrivial consistency check of the pairs-category formalism against independent exact formulas. The coefficient packages and closed PT classes for the blow-ups and the projective bundle are usable input for further computations. The work is computational rather than foundational, but the verifications and the concrete D-valued formulas are of clear value to the DT/PT community.

major comments (3)
  1. §3.1.2 (end): the parity tails ⟨τ9(1)⟩_{2m,2L}=515/1008 m²−515/252 m+5833/3024 and the odd counterpart, together with the claimed Laurent-polynomial difference from Pandharipande’s series, are load-bearing for the reducible-class comparison. They are obtained by evaluating the endpoint −[δ,Θ_n], the diagonal Lie(δ,Ξ_{n/2},Ξ_{n/2}), and the ˜U-weighted sum R^{≥4}_{2L,n} inside e^κ Q[s_jkℓ], retaining the nonzero B^{[n]}=4 after Kähler normalization and using the full rank-0/rank-0 contraction C_{12}. The intermediate residue extractions ([z^{d1−1} w^{d−1}], coefficient of S_{1,6,11}, etc.) are not displayed. A single sign or factorial error would change the quadratic polynomials while still producing a rational series of the expected pole type, so the comparison cannot be checked from the text. The arithmetic of these residues should be expanded (or independently machine-checked and the s
  2. §3.3–3.4: for the reducible classes h, h+e on Bl_p P^3 and H² on Bl_ℓ P^3 the paper writes recursive wall-crossing expressions for [P_n]^{vir} in terms of lower-class inputs, and asserts that all rank-0/rank-0 brackets vanish by Lemma 3.17 (or the mixed β1/β2 vanishing). The resulting formulas are left as infinite sums of ordered brackets; no descendent series or even a single numerical coefficient for large n is extracted. Given the title and abstract’s promise of “examples of descendent generating series,” either one concrete series (or at least one large-n coefficient package) should be evaluated for a reducible class on a blow-up, or the abstract/introduction should be narrowed to state that full series comparisons are given only for P^3 and the cubic, while the blow-up sections supply sheaf invariants and recursive PT classes only.
  3. §2.2 and every even/reducible example (2L on P^3, 2e and h on Bl_p P^3, H² on Bl_ℓ P^3): the recursive definition of [M^{ss}_α(τ)]^{inv} via Υ_{α,N} and Joyce’s universal coefficients is invoked without re-proof, relying on [8, Eq. (5.30)]. In each case the paper argues that the correction brackets vanish (antisymmetry or B-coefficients zero) so that the invariant reduces to a geometric planar-conic or support class. These vanishing arguments are local and plausible, but they are the only justification that the semistable invariant equals the stable geometric class for even n. A short, self-contained verification that the auxiliary-pairs Euler class really contributes exactly the factor P(N) and that no other equal-slope strata appear would make the reduction rigorous inside the manuscript rather than by citation alone.
minor comments (7)
  1. Notation for the dual bases {ε_jk} / {e_jk} and the variables s_jkℓ is introduced in §2.4.1 but then used with several inconsistent index conventions (s_{1,2,2} vs s122, S^{[n]}_{1,4,3} vs SP_{1,k,ℓ}). A single global table of generators for each threefold would help.
  2. §3.1.1, after (14): the Kähler-orthogonal representative Ψ^⊥_{L,n} is used for wall-crossing, while the natural lift Ψ^{nat} is retained for some intermediate GRR steps. The text should state once which representative is fed into every subsequent bracket.
  3. Proposition 3.1(d) and the exact sequences for Obs_n on P^3: the relative Serre-duality identification R^{1}r_* O(2−D_n) ≅ q^* Sym^{n−5}(S) ⊗ O(−1) is standard but cited only as “as before”; a one-line reference or degree check would help readers not specializing in PT geometry.
  4. §3.2, (36) and Remark 3.10: the coefficient (n−1)/2 of η_n^{2} in ch_5(1) is asserted to match Moreira’s relation Z(ch_5(1))=Z(ch_4(1)ch_3(H)). It would be clearer to derive the coefficient directly from GRR and then note the consistency, rather than invoking the relation as a check.
  5. Several long displayed formulas (e.g. Π_n after the u_i/v_i definitions, the full [P_n(Y,f)]^{virt} in §3.5) contain dozens of monomials. Grouping by total Joyce degree or by the number of s_{164}-factors would improve readability.
  6. References [1] and [8] are arXiv preprints that carry the entire wall-crossing and recursive-invariant load. If journal versions exist or are in press, they should be cited; otherwise the arXiv numbers and dates should be fixed for reproducibility.
  7. Typographical: “Pandharipande–Thomas” is hyphenated inconsistently (sometimes en-dash, sometimes hyphen); “superpositive” is defined in Def. 2.1 but occasionally written “super-positive”; in §3.1.2 the indicator 1_{2|n} is written both as 1_{2|n} and as 12|n.

Circularity Check

1 steps flagged

Minor self-citation of the joint wall-crossing package [1]/ explicit geometric base cases, residue expansions, and Laurent-polynomial comparisons to Pandharipande/Moreira are independent calculations.

specific steps
  1. self citation load bearing [§2.3 Theorem 2.3 and Introduction]
    "The author’s joint paper with Joyce [1] proves the wall-crossing formula in the pairs category for every superpositive class. ... Theorem 2.3 (Specialization of the recalled wall-crossing package). ... This is the Fano specialization of the sheaf-invariant construction and stable-pairs wall-crossing formulae in the author’s joint paper with Joyce [1, Theorems 2.14, 2.16]."

    The ambient Lie-algebra identities and the recursive definition of [Mss]inv that underwrite every example are taken from the author's own prior joint work [1]. The citation is load-bearing for the method, yet the numerical tails and the Laurent-polynomial comparisons are not forced by [1]; they require independent geometric input. The circularity is therefore mild and does not collapse the strongest claim.

full rationale

The paper's new content consists of concrete geometric models (moduli spaces of lines/conics, obstruction bundles via GRR and projective-bundle formulae, Kähler-normalized coefficient packages in Gross's algebra) for five Fano threefolds, followed by direct evaluation of ordered brackets and extraction of large-n tails. These tails are then subtracted from the independent closed formulae of Pandharipande and Moreira; the differences are exhibited as explicit Laurent polynomials. The only self-citation is the specialization of the wall-crossing identities and recursive sheaf-invariant construction of the author's joint paper with Joyce [1] (and Joyce [8]), which are parameter-free theorems under the superpositivity hypothesis that holds automatically for Fano threefolds. That framework supplies the ambient Lie algebra and the shape of the identities, but does not force the numerical coefficients or the Laurent-polynomial claim; those arise from the independent geometric input. No fitted parameters, no self-definitional loops, no uniqueness theorems used to forbid alternatives, and no renaming of known empirical patterns. Score 2 reflects the single non-load-bearing self-citation of the method; the central comparisons stand on their own.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper is pure mathematics. It imports the wall-crossing package, the recursive definition of sheaf invariants, Gross’s realisation, and standard facts about Fano threefolds and obstruction theories; it introduces no free parameters and no new physical or geometric entities. The only non-standard inputs are the superpositivity of effective classes on Fano threefolds (already proved) and the type-C property that makes the realisation an isomorphism (proved in the paper via Voineagu and Friedlander–Haesemeyer–Walker).

axioms (4)
  • domain assumption Every effective curve class on a smooth projective Fano threefold is superpositive, so the wall-crossing formulae of Anderson–Joyce [1] apply without further hypotheses.
    Invoked in the introduction and Theorem 2.3; follows from ampleness of –KX.
  • domain assumption Joyce’s recursive identity (Eq. (5.30) of [8]) defines well-defined homology classes [Mssα(τ)]inv even when strictly semistable objects are present.
    Used throughout §2.2 and for every reducible or even class in the examples.
  • domain assumption Smooth projective Fano threefolds are of type C, so Gross’s realisation map H*(Mplκ,Q) → eκD is an isomorphism.
    Proved as Proposition 2.5 via rational connectedness and Voineagu’s Lawson-cycle isomorphisms.
  • standard math Standard facts of intersection theory on Grassmannians, Fano surfaces of lines, and projective bundles (Chern classes, GRR, projective-bundle formula).
    Used for every base-case obstruction-bundle calculation.

pith-pipeline@v1.1.0-grok45 · 52189 in / 2840 out tokens · 31266 ms · 2026-07-12T17:03:39.633439+00:00 · methodology

0 comments
read the original abstract

We study descendent generating series for Pandharipande--Thomas stable pairs on smooth projective Fano threefolds. We use the wall-crossing setup developed by the author and Joyce in Joyce's Lie algebra $H_*(\N^{\pl},\Q)$ of the projective-linear pairs stack, and next pass to Gross's polynomial realization $e^{\kappa}\Q[s_{jk\ell}]$. We compute explicit examples of one-dimensional Donaldson--Thomas invariants on Fano 3-folds and, via wall-crossing, Pandharipande--Thomas stable pair invariants and descendent generating series. We compute examples on $\PP^3$, on a smooth cubic threefold, on $\Bl_p\PP^3$, on $\Bl_\ell\PP^3$, and on the projective-bundle threefold $\PP(\OO_X\oplus \OO_X(-1,-1))$ over $X=\PP^1\times\PP^1$. In the $\PP^3$ and cubic threefold examples we compare the intrinsic large-$n$ tails with the formulas of Pandharipande and Moreira and show that, in the cases treated in common, the differences are Laurent polynomials.

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

19 extracted references · 6 canonical work pages · 1 internal anchor

  1. [1]

    Anderson and D

    R. Anderson and D. Joyce,The Pandharipande–Thomas rationality conjecture for superpositive curve classes on projective complex3-manifolds, arXiv:2604.05664 [math.AG], 2026

    Pith/arXiv arXiv 2026

  2. [2]

    Eisenbud and J

    D. Eisenbud and J. Harris,3264and All That: A Second Course in Algebraic Geometry, Cambridge University Press, Cambridge, 2016

    2016

  3. [3]

    E. M. Friedlander and M. E. Walker,Semi-topologicalK-theory using function complexes, Topology41(2002), no. 3, 591–644. doi:10.1016/S0040-9383(01)00023-4

    work page doi:10.1016/s0040-9383(01)00023-4 2002

  4. [4]

    C. H. Clemens and P. A. Griffiths,The intermediate Jacobian of the cubic threefold, Ann. of Math. (2)95(1972), no. 2, 281–356. doi:10.2307/1970801

    doi:10.2307/1970801 1972

  5. [5]

    Fulton,Intersection Theory, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol

    W. Fulton,Intersection Theory, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 2, Springer- Verlag, Berlin, 1998

    1998

  6. [6]

    Gross,The homology of moduli stacks of complexes, D.Phil

    J. Gross,The homology of moduli stacks of complexes, D.Phil. thesis, University of Oxford, 2020; arXiv:1907.03269 [math.AG]

    Pith/arXiv arXiv 2020

  7. [7]

    Huybrechts,Fourier–Mukai Transforms in Algebraic Geometry, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2006

    D. Huybrechts,Fourier–Mukai Transforms in Algebraic Geometry, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2006. EXAMPLES OF PT DESCENDENT SERIES ON F ANO THREEFOLDS 57

    2006

  8. [8]

    Joyce,Enumerative invariants and wall-crossing formulae in abelian categories, arXiv:2111.04694 [math.AG], 2021

    D. Joyce,Enumerative invariants and wall-crossing formulae in abelian categories, arXiv:2111.04694 [math.AG], 2021

    Pith/arXiv arXiv 2021

  9. [9]

    Pandharipande and R

    R. Pandharipande and R. P. Thomas,Curve counting via stable pairs in the derived category, Invent. Math.178 (2009), no. 2, 407–447. doi:10.1007/s00222-009-0203-9

    doi:10.1007/s00222-009-0203-9 2009

  10. [10]

    R. P. Thomas,A holomorphic Casson invariant for Calabi–Yau3-folds, and bundles on K3 fibrations, J. Differential Geom.54(2000), no. 2, 367–438. doi:10.4310/jdg/1214341649

    doi:10.4310/jdg/1214341649 2000

  11. [11]

    Joyce and Y

    D. Joyce and Y. Song,A theory of generalized Donaldson–Thomas invariants, Mem. Amer. Math. Soc.217 (2012), no. 1020, iv+199

    2012

  12. [12]

    Bridgeland,Hall algebras and curve-counting invariants, J

    T. Bridgeland,Hall algebras and curve-counting invariants, J. Amer. Math. Soc.24(2011), no. 4, 969–998. doi:10.1090/S0894-0347-2011-00701-7

    work page doi:10.1090/s0894-0347-2011-00701-7 2011

  13. [13]

    Toda,Curve counting theories via stable objects I

    Y. Toda,Curve counting theories via stable objects I. DT/PT correspondence, J. Amer. Math. Soc.23(2010), no. 4, 1119–1157. doi:10.1090/S0894-0347-10-00670-3

    doi:10.1090/s0894-0347-10-00670-3 2010

  14. [14]

    Homological algebra of modules over posets

    M. Moreira,Virasoro conjecture for the stable pairs descendent theory of simply connected3-folds (with ap- plications to the Hilbert scheme of points of a surface), J. Lond. Math. Soc. (2)106(2022), no. 1, 154–191. doi:10.1112/jlms.12571. arXiv:2008.00063 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1112/jlms.12571 2022

  15. [15]

    Pandharipande,Descendents for stable pairs on 3-folds, inModern Geometry: A Celebration of the Work of Simon Donaldson, Proc

    R. Pandharipande,Descendents for stable pairs on 3-folds, inModern Geometry: A Celebration of the Work of Simon Donaldson, Proc. Sympos. Pure Math.99, American Mathematical Society, Providence, RI, 2018, pp. 251–288. arXiv:1703.01747 [math.AG]

    Pith/arXiv arXiv 2018

  16. [16]

    Campana,Connexité rationnelle des variétés de Fano, Ann

    F. Campana,Connexité rationnelle des variétés de Fano, Ann. Sci. Éc. Norm. Sup. (4)25(1992), no. 5, 539–545. doi:10.24033/asens.1658

    work page doi:10.24033/asens.1658 1992

  17. [17]

    Kollár, Y

    J. Kollár, Y. Miyaoka, and S. Mori,Rational connectedness and boundedness of Fano manifolds, J. Differential Geom.36(1992), no. 3, 765–779. doi:10.4310/jdg/1214453188

    doi:10.4310/jdg/1214453188 1992

  18. [18]

    E. M. Friedlander, C. Haesemeyer, and M. E. Walker,Techniques, computations, and conjectures for semi- topologicalK-theory, Math. Ann.330(2004), no. 4, 759–807. doi:10.1007/s00208-004-0569-3

    work page doi:10.1007/s00208-004-0569-3 2004

  19. [19]

    Voineagu,Semi-topological K-theory for certain projective varieties, J

    M. Voineagu,Semi-topological K-theory for certain projective varieties, J. Pure Appl. Algebra212(2008), no. 8, 1960–1983. doi:10.1016/j.jpaa.2008.01.004

    work page doi:10.1016/j.jpaa.2008.01.004 2008