pith. sign in

arxiv: 2507.05922 · v2 · submitted 2025-07-08 · 🧮 math.AG · math.CT· math.KT· math.RT

Wall-crossing for Calabi-Yau fourfolds: framework, tools, and applications

Arkadij Bojko This is my paper

Pith reviewed 2026-05-19 06:21 UTC · model grok-4.3

classification 🧮 math.AG math.CTmath.KTmath.RT
keywords wall-crossingCalabi-Yau fourfoldsdg-quiversJoyce-Song pairsstable objectsvirtual pullbacksvertex algebrasmoduli spaces
0
0 comments X p. Extension

The pith

Wall-crossing formulas hold for Calabi-Yau fourfolds, making generalized invariants of stable objects well-defined.

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

The paper sets out to establish wall-crossing formulas in Calabi-Yau four categories, as previously conjectured. These formulas relate counts of stable objects on either side of a stability wall in their moduli space. If the formulas hold, they allow consistent definition of generalized invariants even for objects such as torsion-free sheaves. The proofs cover Calabi-Yau four dg-quivers and local Calabi-Yau fourfolds by introducing refined algebraic structures and by linking the new invariants to already-established results for Joyce-Song stable pairs.

Core claim

The central claim is that the wall-crossing formula holds for Calabi-Yau four dg-quivers and local Calabi-Yau fourfolds. This makes the generalized invariants that count stable objects well-defined for torsion-free sheaves, because the well-definedness follows from the known wall-crossing formula for Joyce-Song stable pairs via a conceptual reduction analogous to the quantum Lefschetz principle. Supporting tools include a refinement of Joyce vertex algebras to equivariant homology and a stable infinity-categorical formulation of virtual pullback diagrams that guarantees their functoriality.

What carries the argument

The equivariant refinement of Joyce's vertex algebras to equivariant homology, which supplies the algebraic bookkeeping for changes in invariants across stability walls.

Load-bearing premise

That a conceptual reduction similar to the quantum Lefschetz principle is sufficient to conclude that generalized invariants for torsion-free sheaves are well-defined once the wall-crossing formula for Joyce-Song stable pairs is known.

What would settle it

A direct calculation of the generalized invariant for a concrete torsion-free sheaf on a local Calabi-Yau fourfold that differs from the value obtained by transporting the corresponding Joyce-Song invariant across the wall.

read the original abstract

This work develops new ideas and tools to establish wall-crossing in Calabi-Yau four categories as originally conjectured by Gross-Joyce-Tanaka. In the process, I set up some necessary new language, including a natural refinement of Joyce's vertex algebras to equivariant homology. The proof is then given for Calabi-Yau four dg-quivers and local CY fourfolds. A crucial part of the problem is showing that the generalized invariants counting stable objects are well-defined. Using a conceptual argument akin to the quantum Lefschetz principle, I show that for torsion-free sheaves, this is already implied by the wall-crossing formula for Joyce-Song stable pairs. Lastly, I introduce an important framework in the form of a stable $\infty$-categorical formulation of Park's virtual pullback diagrams in the appendix. This implies their functoriality, which is used repeatedly throughout this work.

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

1 major / 2 minor

Summary. The paper develops a framework and tools for wall-crossing in Calabi-Yau four categories, as conjectured by Gross-Joyce-Tanaka. It introduces a refinement of Joyce's vertex algebras to equivariant homology and a stable ∞-categorical formulation of Park's virtual pullback diagrams (in the appendix). The main results establish wall-crossing formulas for Calabi-Yau four dg-quivers and local CY fourfolds. A key step shows that generalized invariants counting stable objects are well-defined for torsion-free sheaves, using a conceptual argument modeled on the quantum Lefschetz principle that reduces this to the known wall-crossing formula for Joyce-Song stable pairs.

Significance. If the well-definedness argument holds, the work would deliver the first explicit wall-crossing formulas in this setting and supply new technical machinery (equivariant homology refinements and functorial virtual pullbacks) with potential applications to enumerative invariants on higher-dimensional Calabi-Yau varieties and derived categories. The paper credits prior results on Joyce-Song pairs and provides a self-contained proof for the quiver and local fourfold cases.

major comments (1)
  1. [Abstract and well-definedness section] Abstract and the section developing the well-definedness argument: the claim that generalized invariants for torsion-free sheaves are well-defined reduces to the Joyce-Song wall-crossing formula via a quantum Lefschetz-style conceptual argument. However, the manuscript introduces new structures (refined equivariant homology vertex algebras and stable ∞-categorical virtual pullbacks) whose deformation-obstruction theory and virtual class behavior under the relevant embeddings or localizations are not shown to match the hypersurface-section setting of the classical quantum Lefschetz principle. This step is load-bearing for the central claim that the wall-crossing formula holds for the fourfold case; a concrete verification or additional hypothesis on the virtual fundamental classes is needed.
minor comments (2)
  1. [Section introducing equivariant homology vertex algebras] Notation for the refined vertex algebra operations could be clarified with an explicit comparison table to the non-equivariant case.
  2. [Appendix] The appendix on stable ∞-categorical virtual pullbacks would benefit from a short diagram summarizing the functoriality statements used in the main proofs.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. The primary concern is the well-definedness argument for generalized invariants of torsion-free sheaves and its reduction to the Joyce-Song formula. We address this point below and indicate the revisions we will make to strengthen the exposition.

read point-by-point responses

  1. Referee: [Abstract and well-definedness section] Abstract and the section developing the well-definedness argument: the claim that generalized invariants for torsion-free sheaves are well-defined reduces to the Joyce-Song wall-crossing formula via a quantum Lefschetz-style conceptual argument. However, the manuscript introduces new structures (refined equivariant homology vertex algebras and stable ∞-categorical virtual pullbacks) whose deformation-obstruction theory and virtual class behavior under the relevant embeddings or localizations are not shown to match the hypersurface-section setting of the classical quantum Lefschetz principle. This step is load-bearing for the central claim that the wall-crossing formula holds for the fourfold case; a concrete verification or additional hypothesis on the virtual fundamental classes is needed.

    Authors: We agree that the compatibility of the new structures with the classical quantum Lefschetz reduction requires clearer exposition. The stable ∞-categorical formulation of Park's virtual pullback diagrams is developed in the appendix precisely to establish functoriality of virtual pullbacks. This functoriality ensures that the virtual fundamental classes and their deformation-obstruction theories are preserved under the embeddings and localizations appearing in the reduction for torsion-free sheaves. Consequently, the virtual classes in the fourfold setting match those in the hypersurface-section case without additional hypotheses. We will revise the well-definedness section to add an explicit paragraph that invokes the appendix and spells out this compatibility, thereby making the load-bearing step fully transparent. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent prior results and new constructions

full rationale

The paper establishes wall-crossing for Calabi-Yau four dg-quivers and local CY fourfolds by introducing a refinement of Joyce's vertex algebras to equivariant homology and a stable ∞-categorical formulation of virtual pullbacks in the appendix. The well-definedness of generalized invariants for torsion-free sheaves is asserted to follow from the existing wall-crossing formula for Joyce-Song stable pairs via a conceptual argument modeled on the quantum Lefschetz principle. This step cites an external prior result (Joyce-Song) rather than reducing by construction to a self-citation or fitted input within the present work. No equations or definitions in the provided abstract and description show a self-definitional loop, fitted parameter renamed as prediction, or load-bearing uniqueness theorem imported from the same authors' unverified prior work. The central claims therefore retain independent content from the new language, tools, and proofs developed here.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; the work builds on existing conjectures and prior wall-crossing results without introducing new fitted quantities or entities.

pith-pipeline@v0.9.0 · 5691 in / 1054 out tokens · 50743 ms · 2026-05-19T06:21:42.044733+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · 2 internal anchors

  1. [1]

    Abramovich, M

    [AOV] D. Abramovich, M. Olsson, and A. Vistoli, Tame stacks in positive characteristic , Ann. Inst. Fourier (Grenoble) 58 (2008), no. 4, 1057–1091. [AP1] D. Abramovich and A. Polishchuk, Sheaves of t-structures and valuative criteria for stable complexes , J. Reine Angew. Math. 590 (2006), 89–130. [AP2] D. Aranha and P. Pstr¸ agowski, The intrinsic normal...

    work page 2008

  2. [2]

    Brav and T

    [BD1] C. Brav and T. Dyckerhoff, Relative Calabi-Yau structures , Compos. Math. 155 (2019), no. 2, 372–412. [BD2] C. Brav and T. Dyckerhoff, Relative Calabi-Yau structures II: shifted Lagrangians in the moduli of objects , Selecta Math. (N.S.) 27 (2021), no. 4, Paper No. 63,

    work page 2019

  3. [3]

    Borisov and D

    [BJ] D. Borisov and D. Joyce, Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds , Geom. Topol. 21 (2017), no. 6, 3231–3311. [BKP1] Y. Bae, M. Kool, and H. Park, Counting surfaces on Calabi-Yau 4-folds I: Foun- dations, 2022, arXiv preprint, https://arxiv.org/abs/2208.09474. [BKP2] Y. Bae, M. Kool, and H. Park, Counting surf...

    work page arXiv 2017

  4. [4]

    Bojko, Wall-crossing for punctual Quot-schemes , 2021, arXiv preprint, https: //arxiv.org/abs/2111.11102

    [Boj3] A. Bojko, Wall-crossing for punctual Quot-schemes , 2021, arXiv preprint, https: //arxiv.org/abs/2111.11102. [Boj4] A. Bojko, Wall-crossing for Calabi-Yau fourfolds and applications , 2022, talk slides, https://drive.google.com/file/d/1TZ1oR0D4yPLjooh2_ OL3APNeIIQ20gDo/view?usp=sharing. [Boj5] A. Bojko, Derived algebraic geometry (A guide to local ...

    work page arXiv 2021

  5. [5]

    Bojko, Wall-crossing for holomorphic Donaldson invariants and applications, 2024, talk slides, https://drive.google.com/file/d/ 1nQCKRiG1yboXqdkmQBz-EjYPiprDOIsW/view

    [Boj7] A. Bojko, Wall-crossing for holomorphic Donaldson invariants and applications, 2024, talk slides, https://drive.google.com/file/d/ 1nQCKRiG1yboXqdkmQBz-EjYPiprDOIsW/view. [Bor] R. E. Borcherds, Vertex algebras, Kac-Moody algebras, and the Monster , Proc. Nat. Acad. Sci. U.S.A. 83 (1986), no. 10, 3068–3071. [CGJ] Y. Cao, J. Gross, and D. Joyce, Orie...

    work page 2024

  6. [6]

    Cao and M

    [CK] Y. Cao and M. Kool, Curve counting and DT/PT correspondence for Calabi-Yau 4-folds, Adv. Math. 375 (2020), 107371,

    work page 2020

  7. [7]

    Donaldson-Thomas theory for Calabi-Yau 4-folds

    [CL] Y. Cao and N. C. Leung, Donaldson-Thomas theory for Calabi-Yau 4-folds , 2015, arXiv preprint, https://arxiv.org/abs/1407.7659. [CMT] Y. Cao, D. Maulik, and Y. Toda, Genus zero Gopakumar-Vafa type invariants for Calabi-Yau 4-folds, Adv. Math. 338 (2018), no. 1, 41–92. [CT1] Y. Cao and Y. Toda, Gopakumar-Vafa type invariants on Calabi-Yau 4-folds via ...

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  8. [8]

    Calabi-Yau algebras

    [CT3] Y. Cao and Y. Toda, Tautological stable pair invariants of Calabi-Yau 4-folds , Adv. Math. 396 (2022), no. 1, Paper No. 108176. [CT4] Y. Cao and Y. Toda, Counting perverse coherent systems on Calabi-Yau 4-folds , Math. Ann. 385 (2023), no. 3-4, 1379–1429. 139 [DT] S. K. Donaldson and R. P. Thomas, Gauge theory in higher dimensions , The geometric un...

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  9. [9]

    Gaitsgory and N

    [GR1] D. Gaitsgory and N. Rozenblyum, DG indschemes , Perspectives in representa- tion theory, Contemp. Math., vol. 610, Amer. Math. Soc., Providence, RI, 2014, pp. 139–251. [GR2] D. Gaitsgory and N. Rozenblyum, A study in derived algebraic geometry. Vol. I. Correspondences and duality , Mathematical Surveys and Monographs, vol. 221, American Mathematical...

    work page 2014

  10. [10]

    Gross, The homology of moduli stacks of complexes, 2019, arXiv preprint, https: //arxiv.org/abs/1907.03269

    [Gro] J. Gross, The homology of moduli stacks of complexes, 2019, arXiv preprint, https: //arxiv.org/abs/1907.03269. [Har] R. Hartshorne, Residues and duality , Lecture Notes in Mathematics, No. 20, Springer-Verlag, Berlin-New York, 1966, Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64, With an appendix by P. Deligne. [...

    work page arXiv 2019

  11. [11]

    2025), arXiv: 2503.20456v1

    [JU] D. Joyce and M. Upmeier, Bordism categories and orientations of moduli spaces , 2025, arXiv preprint, https://arxiv.org/abs/2503.20456. 140 [Kha1] A. A. Khan, Virtual fundamental classes of derived stacks I , 2019, arXiv preprint, https://arxiv.org/abs/1909.01332. [Kha2] A. A. Khan, Cohomological intersection theory and derived algebraic geome- try, ...

    work page arXiv 2025

  12. [12]

    Koll´ ar, Higher direct images of dualizing sheaves

    [Kol] J. Koll´ ar, Higher direct images of dualizing sheaves. II , Ann. of Math. (2) 124 (1986), no. 1, 171–202. [Kon] M. Kontsevich, Triangulated categories and geometry, Course at the ´Ecole Normale Sup´ erierure, Paris, Notes taken by J. Bella¨ ıche, J.-F. Dat, I. Marin, G. Racinet and H. Randriambololona,

    work page 1986

  13. [13]

    Kool and J

    [KR] M. Kool and J. V. Rennemo, Proof of a magnificent conjecture , 2025, arXiv preprint, https://arxiv.org/abs/2507.02852. [Kre] A. Kresch, Cycle groups for Artin stacks , Inventiones mathematicae 138 (1999), no. 3, 495–536. [KS1] M. Kontsevich and Y. Soibelman, Notes on A∞-algebras, A∞-categories and non- commutative geometry, Homological mirror symmetr...

    work page arXiv 2025

  14. [14]

    Lurie, Higher Algebra , 2017, visited on 01/30/2024, https://people.math

    [Lur3] J. Lurie, Higher Algebra , 2017, visited on 01/30/2024, https://people.math. harvard.edu/~lurie/papers/HA.pdf. [Lur4] J. Lurie, Kerodon, 2024, visited on 06/20/2025, https://kerodon.net. [Man] C. Manolache, Virtual pull-backs, J. Algebraic Geom. 21 (2012), no. 2, 201–245. [MK] Y. V. M. Kontsevich, Weak CY algebras , 2013, notes from the talk, https...

    work page arXiv 2017

  15. [15]

    Thaddeus, Geometric invariant theory and flips , J

    [Tha] M. Thaddeus, Geometric invariant theory and flips , J. Amer. Math. Soc. 9 (1996), no. 3, 691–723. [The] The Stacks Project Authors, Stacks Project, 2018, visited on 08/05/2024, https: //stacks.math.columbia.edu. [Tod] Y. Toda, Curve counting theories via stable objects I. DT/PT correspondence , J. Amer. Math. Soc. 23 (2010), no. 4, 1119–1157. [TT1] ...

    work page arXiv 1996