pith. sign in

arxiv: 2012.04415 · v2 · submitted 2020-12-08 · 🧮 math.AG

Gopakumar-Vafa invariants of fiber classes on Calabi-Yau 4-folds fibered over curves

Yalong Cao , Feng Qu This is my paper

Pith reviewed 2026-05-24 14:37 UTC · model grok-4.3

classification 🧮 math.AG
keywords Gopakumar-Vafa invariantsCalabi-Yau 4-foldsfiber classesmoduli spacesorientation compatibilityCao-Maulik-Toda conjecture
0
0 comments X

The pith

Gopakumar-Vafa invariants of fiber classes on a Calabi-Yau 4-fold equal the invariants of a smooth fiber when orientation compatibility holds on the moduli spaces.

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

The paper proves a conjectural relation that equates Gopakumar-Vafa invariants attached to fiber classes in a smooth projective Calabi-Yau 4-fold fibered over a curve with the Gopakumar-Vafa invariants of the smooth fiber. The equality requires an assumption that orientations on the relevant moduli spaces are compatible. A reader would care because the relation reduces the study of these enumerative invariants on the total space to the lower-dimensional fiber. The result confirms the Cao-Maulik-Toda conjecture in this setting and provides a concrete bridge between invariants in different dimensions.

Core claim

The authors prove that, under an orientation compatibility assumption on the moduli spaces, the Gopakumar-Vafa invariants of fiber classes on a smooth projective Calabi-Yau 4-fold fibered over a curve equal the Gopakumar-Vafa invariants of a smooth fiber, thereby establishing a conjectural correspondence of Cao-Maulik-Toda.

What carries the argument

The Cao-Maulik-Toda conjectural correspondence that equates fiber-class Gopakumar-Vafa invariants on the 4-fold to those on the smooth fiber, conditioned on orientation compatibility of the moduli spaces.

If this is right

  • Fiber-class invariants on the 4-fold become computable from the corresponding invariants on the 3-dimensional fiber.
  • The equality applies to every smooth projective Calabi-Yau 4-fold fibered over a curve for which the orientation condition is satisfied.
  • Verification of the Cao-Maulik-Toda conjecture is obtained for all fiber classes under the stated assumption.

Where Pith is reading between the lines

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

  • The same reduction technique might extend to other classes of curves or to Calabi-Yau varieties of different dimensions if compatible orientations can be identified.
  • The result supplies a practical method for checking mirror-symmetry predictions on fibered Calabi-Yau 4-folds by working only with the fiber.
  • Counter-examples in which orientations are incompatible would isolate the precise role of the assumption.

Load-bearing premise

The orientation compatibility assumption on the moduli spaces must hold for the equality of invariants to be valid.

What would settle it

An explicit calculation of the invariants on both sides for a concrete Calabi-Yau 4-fold fibered over a curve, together with a check of whether the moduli orientations are compatible, that produces a numerical mismatch when the assumption fails.

read the original abstract

We prove a conjectural correspondence of Cao-Maulik-Toda which relates Gopakumar-Vafa invariants of fiber classes on a smooth projective Calabi-Yau 4-fold fibered over a curve to the Gopakumar-Vafa invariants of a smooth fiber under an orientation compatibility assumption on the moduli spaces.

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

0 major / 1 minor

Summary. The manuscript proves a conjectural correspondence of Cao-Maulik-Toda relating Gopakumar-Vafa invariants of fiber classes on a smooth projective Calabi-Yau 4-fold fibered over a curve to the Gopakumar-Vafa invariants of a smooth fiber, under an orientation compatibility assumption on the moduli spaces of stable sheaves.

Significance. If the result holds, it confirms the Cao-Maulik-Toda conjecture in the stated setting and reduces computation of the invariants for fiber classes to the case of the smooth fiber. The explicit identification of the orientation compatibility assumption is a strength, as it renders the claim conditional and testable in concrete examples. The paper engages directly with an external conjecture without circular re-expression of fitted quantities.

minor comments (1)
  1. [Abstract] The abstract could briefly indicate the key technical tools (e.g., virtual classes or wall-crossing) employed in the proof to orient readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; proof of external conjecture

full rationale

The paper states it proves the Cao-Maulik-Toda conjecture relating Gopakumar-Vafa invariants of fiber classes on a Calabi-Yau 4-fold to those of a smooth fiber, explicitly under an orientation compatibility assumption on moduli spaces. No load-bearing step in the provided abstract or claim reduces by construction to self-definition, fitted inputs renamed as predictions, or a self-citation chain that replaces independent verification. The result is conditional on an external hypothesis and presented as a mathematical proof rather than a tautological re-expression of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, invented entities, or ad-hoc axioms; the proof is presumed to rest on standard results in algebraic geometry and moduli theory.

axioms (1)
  • standard math Standard theorems on virtual fundamental classes and orientation data in moduli spaces of sheaves on Calabi-Yau varieties
    The correspondence relies on background results from the field that are not derived in the paper.

pith-pipeline@v0.9.0 · 5570 in / 1244 out tokens · 29450 ms · 2026-05-24T14:37:57.712529+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

52 extracted references · 52 canonical work pages · 3 internal anchors

  1. [1]

    Behrend and B

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

    work page 1997

  2. [2]

    Behrend and B

    K. Behrend and B. Fantechi, Symmetric obstruction theories and Hilbert schemes of points on threefolds, Algebra and Number Theory, vol. 2, 313--345, 2008

    work page 2008

  3. [3]

    Bojko, Wall-crossing for zero-dimensional sheaves and Hilbert schemes of points on Calabi--Yau 4-folds, in preparation

    A. Bojko, Wall-crossing for zero-dimensional sheaves and Hilbert schemes of points on Calabi--Yau 4-folds, in preparation

    work page

  4. [4]

    Bondal, M

    A. Bondal, M. Kapranov, Enhanced triangulated categories, Math. USSR-Sbornik, 70 (1991), 1, 93--107

    work page 1991

  5. [5]

    Borisov and D

    D. Borisov and D. Joyce, Virtual fundamental classes for moduli spaces of sheaves on C alabi- Y au four-folds , Geom. Topol. (21), (2017) 3231--3311

    work page 2017

  6. [6]

    R. O. Buchweitz and H. Flenner, A semiregularity map for modules and applications to deformations, Compositio Math. 137, 135--210, 2003

    work page 2003

  7. [7]

    Y. Cao, J. Gross, and D. Joyce, Orientability of moduli spaces of S pin(7)-instantons and coherent sheaves on C alabi- Y au 4-folds , Adv. Math. 368, (2020), 107134

    work page 2020

  8. [8]

    Cao and M

    Y. Cao and M. Kool, Zero-dimensional D onaldson- T homas invariants of C alabi- Y au 4-folds , Adv. Math. 338 (2018), 601--648

    work page 2018

  9. [9]

    Cao and M

    Y. Cao and M. Kool, Curve counting and DT/PT correspondence for C alabi- Y au 4-folds , Adv. Math. 375 (2020), 107371

    work page 2020

  10. [10]

    Y. Cao, M. Kool, and S. Monavari, K-theoretic DT/PT correspondence for toric C alabi- Y au 4-folds , arXiv:1906.07856

    work page arXiv 1906

  11. [11]

    Donaldson-Thomas theory for Calabi-Yau 4-folds

    Y. Cao and N. C. Leung, Donaldson- T homas theory for C alabi- Y au 4-folds , arXiv:1407.7659

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    Cao and N

    Y. Cao and N. C. Leung, Orientability for gauge theories on C alabi- Y au manifolds , Adv. Math. 314 (2017), 48--70

    work page 2017

  13. [13]

    Y. Cao, D. Maulik, and Y. Toda, Genus zero G opakumar- V afa type invariants for C alabi- Y au 4-folds , Adv. Math. 338 (2018), 41--92

    work page 2018

  14. [14]

    Y. Cao, D. Maulik, and Y. Toda, Stable pairs and G opakumar- V afa type invariants for C alabi- Y au 4-folds , arXiv:1902.00003. To appear in J. Eur. Math. Soc. (JEMS)

    work page arXiv 1902

  15. [15]

    Cao and Y

    Y. Cao and Y. Toda, Curve counting via stable objects in derived categories of C alabi- Y au 4-folds , arXiv:1909.04897

    work page arXiv 1909

  16. [16]

    Cao and Y

    Y. Cao and Y. Toda, Gopakumar-Vafa type invariants on Calabi-Yau 4-folds via descendent insertions, Comm. Math. Phys. (2020). https://doi.org/10.1007/s00220-020-03897-9

    work page doi:10.1007/s00220-020-03897-9 2020

  17. [17]

    Cao and Y

    Y. Cao and Y. Toda, Tautological stable pair invariants of Calabi-Yau 4-folds, arXiv:2009.03553

    work page arXiv 2009

  18. [18]

    Cao and Y

    Y. Cao and Y. Toda, Counting perverse coherent systems on Calabi-Yau 4-folds, arXiv:2009.10909

    work page arXiv 2009

  19. [19]

    Fogarty, Algebraic families on an algebraic surface, Amer

    J. Fogarty, Algebraic families on an algebraic surface, Amer. J. Math. 90 (1968), 511--521

    work page 1968

  20. [20]

    Fulton, Intersection Theory

    W. Fulton, Intersection Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, 1984

    work page 1984

  21. [21]

    Hartshorne, Algebraic geometry, Graduate Texts in Math

    R. Hartshorne, Algebraic geometry, Graduate Texts in Math. 52, Springer

    work page

  22. [22]

    Huybrechts, Fourier-Mukai transforms in algebraic geometry, Oxford Mathematical Monographs, Oxford University Press (2006)

    D. Huybrechts, Fourier-Mukai transforms in algebraic geometry, Oxford Mathematical Monographs, Oxford University Press (2006)

    work page 2006

  23. [23]

    Huybrechts and R

    D. Huybrechts and R. P. Thomas, Deformation-obstruction theory for complexes via Atiyah and Kodaira-Spencer classes, Math. Ann. 346 (2010), no. 3, 545--569

    work page 2010

  24. [24]

    Joyce, Enumerative invariants and wall-crossing formulae in abelian categories, in preparation

    D. Joyce, Enumerative invariants and wall-crossing formulae in abelian categories, in preparation

    work page

  25. [25]

    Katz, Genus zero G opakumar- V afa invariants of contractible curves , J

    S. Katz, Genus zero G opakumar- V afa invariants of contractible curves , J. Differential Geom. 79 (2008), 185--195

    work page 2008

  26. [26]

    Keller, On differential graded categories, International Congress of Mathematicians, vol

    B. Keller, On differential graded categories, International Congress of Mathematicians, vol. II, Eur. Math. Soc., Zrich, 2006, pp. 151--190

    work page 2006

  27. [27]

    Y. H. Kiem and J. Li, Localizing virtual cycles by cosections, J. Amer. Math. Soc. 26 (2013), 1025--1050

    work page 2013

  28. [28]

    B. Kim, A. Kresch and T. Pantev, Functoriality in intersection theory and a conjecture of Cox, Katz, and Lee, J. Pure Appl. Algebra 179 (2003), no. 1-2, 127--136

    work page 2003

  29. [29]

    Klemm and R

    A. Klemm and R. Pandharipande, Enumerative geometry of C alabi- Y au 4-folds , Comm. Math. Phys. 281 (2008), no. 3, 621--653

    work page 2008

  30. [30]

    Kresch, Cycle groups for Artin stacks, Invent

    A. Kresch, Cycle groups for Artin stacks, Invent. Math. 138 (1999), no. 3, 495--536

    work page 1999

  31. [31]

    Levine and R

    M. Levine and R. Pandharipande, Algebraic cobordism revisited, Invent. Math. 176 (2009) 63--130

    work page 2009

  32. [32]

    Li, Zero dimensional Donaldson-Thomas invariants of threefolds, Geom

    J. Li, Zero dimensional Donaldson-Thomas invariants of threefolds, Geom. Topol. 10 (2006) 2117--2171

    work page 2006

  33. [33]

    Lieblich, Moduli of complexes on a proper morphism, J

    M. Lieblich, Moduli of complexes on a proper morphism, J. Algebraic Geom. 15 (2006), no. 1, 175--206

    work page 2006

  34. [34]

    Lurie, Derived algebraic geometry

    J. Lurie, Derived algebraic geometry. Thesis (Ph.D.)-Massachusetts Institute of Technology. 2004. Available at http://www.math.harvard.edu/ lurie/papers/DAG.pdf

    work page 2004

  35. [35]

    Lurie, Higher algebra, (2017)

    J. Lurie, Higher algebra, (2017). Available at https://www.math.ias.edu/ lurie/papers/HA.pdf

    work page 2017

  36. [36]

    Manolache, Virtual pull-backs, J

    C. Manolache, Virtual pull-backs, J. Algebraic Geom. 21 (2012), no. 2, 201--245

    work page 2012

  37. [37]

    Manolache, Virtual push-forwards, Geom

    C. Manolache, Virtual push-forwards, Geom. Topol. 16 (2012), no. 4, 2003--2036

    work page 2012

  38. [38]

    Maulik, N

    D. Maulik, N. Nekrasov, A. Okounkov, and R. Pandharipande, Gromov- W itten theory and D onaldson- T homas theory. I , Compositio. Math 142 (2006), 1263--1285

    work page 2006

  39. [39]

    Magnificent Four

    N. Nekrasov, Magnificent Four, arXiv:1712.08128 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  40. [40]

    Oh and R

    J. Oh and R. P. Thomas, Counting sheaves on Calabi-Yau 4-folds I, arXiv:2009.05542

    work page arXiv 2009

  41. [41]

    Pantev, B

    T. Pantev, B. To\"en, M. Vaquie, and G. Vezzosi, Shifted symplectic structures, Publ. Math. IHES 117 (2013), 271--328

    work page 2013

  42. [42]

    A remark on virtual pushforward properties in Gromov-Witten theory

    F. Qu, A remark on virtual pushforward properties in Gromov-Witten theory, arXiv:1511.09028

    work page internal anchor Pith review Pith/arXiv arXiv

  43. [43]

    Qu, Virtual pullbacks in K-theory, Ann

    F. Qu, Virtual pullbacks in K-theory, Ann. Inst. Fourier (Grenoble) 68 (2018), no. 4, 1609--1641

    work page 2018

  44. [44]

    M. O. Schn\"urer, Six operations on dg enhancements of derived categories of sheaves. Selecta Math. (N.S.) 24 (2018), no. 3, 1805--1911

    work page 2018

  45. [45]

    urg, B. To\

    T. Sch\"urg, B. To\"en and G. Vezzosi, Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes. J. Reine Angew. Math. 702 (2015), 1--40

    work page 2015

  46. [46]

    Siebert, Virtual fundamental classes, global normal cones and Fulton's canonical classes, in:

    B. Siebert, Virtual fundamental classes, global normal cones and Fulton's canonical classes, in:

    work page

  47. [47]

    R. P. Thomas, A holomorphic Casson invariant for Calabi-Yau 3-folds, and bundles on K3 fibrations, J. Differential Geom. 54 (2000) 367--438

    work page 2000

  48. [48]

    To\"en, Higher and derived stacks: a global overview, Algebraic geometry--Seattle 2005

    B. To\"en, Higher and derived stacks: a global overview, Algebraic geometry--Seattle 2005. Part 1, 435--487, Proc. Sympos. Pure Math., 80, Part 1, Amer. Math. Soc., Providence, RI, 2009

    work page 2005

  49. [49]

    To\"en, Lectures on dg-categories, Topics in algebraic and topological K-theory, 243--302, Lecture Notes in Math., 2008, Springer, Berlin, 2011

    B. To\"en, Lectures on dg-categories, Topics in algebraic and topological K-theory, 243--302, Lecture Notes in Math., 2008, Springer, Berlin, 2011

    work page 2008

  50. [50]

    To\"en, Derived algebraic geometry

    B. To\"en, Derived algebraic geometry. EMS Surv. Math. Sci. 1 (2014), no. 2, 153--240

    work page 2014

  51. [51]

    To\"en and M

    B. To\"en and M. Vaqui\'e, Moduli of objects in dg-categories. Ann. Sci. E\'cole Norm. Sup. (4) 40 (2007), no. 3, 387--444

    work page 2007

  52. [52]

    To\"en and B

    B. To\"en and B. Vezzosi, Homotopical algebraic geometry. II. Geometric stacks and applications. Mem. Amer. Math. Soc. 193 (2008), no. 902, x+224 pp

    work page 2008