pith. sign in

arxiv: 2506.00289 · v2 · submitted 2025-05-30 · 🧮 math.AG · math.QA

Modules and generalizations of Joyce vertex algebras

Chenjing Bu This is my paper

Pith reviewed 2026-05-19 12:18 UTC · model grok-4.3

classification 🧮 math.AG math.QA
keywords Joyce vertex algebrasmoduli stacksenumerative geometrywall-crossing formulaeorthosymplectic geometrytwisted moduleshomological invariants
0
0 comments X p. Extension

The pith

Joyce vertex algebras extend to non-linear moduli stacks and produce twisted modules in orthosymplectic enumerative geometry.

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

The paper generalizes vertex algebra structures originally defined on the homology of linear moduli stacks to non-linear enumerative problems. In the orthosymplectic case this construction produces twisted modules over the original Joyce vertex algebras. Variants of the approach cover homological invariants, DT4 invariants and K-theoretic invariants, with the aim of enabling wall-crossing formulae for enumerative invariants on non-linear moduli stacks.

Core claim

Vertex algebra structures on the homology of linear moduli stacks extend to non-linear moduli stacks in a manner that permits twisting, and in the special case of orthosymplectic enumerative geometry this yields well-defined twisted modules for Joyce vertex algebras.

What carries the argument

The generalization of Joyce vertex algebras from linear to non-linear moduli stacks, which carries the twisting operation that produces modules.

If this is right

  • Wall-crossing formulae become available for enumerative invariants attached to non-linear moduli stacks.
  • The same construction supplies variants for Joyce's homological invariants, DT4 invariants and K-theoretic invariants.
  • Twisted modules arise naturally in orthosymplectic enumerative geometry.

Where Pith is reading between the lines

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

  • The approach may connect enumerative geometry on non-linear stacks to existing vertex-algebra techniques used in linear cases.
  • Similar twisting constructions could be tested on other classes of moduli stacks beyond the orthosymplectic setting.

Load-bearing premise

The vertex algebra structures on linear moduli stacks extend to non-linear moduli stacks while still allowing well-defined twisting that yields modules.

What would settle it

A concrete computation in a specific orthosymplectic moduli stack where the constructed object fails to satisfy the vertex algebra axioms or produces inconsistent wall-crossing data.

read the original abstract

Joyce vertex algebras are vertex algebra structures defined on the homology of certain $\mathbb{C}$-linear moduli stacks, and are used to express wall-crossing formulae for Joyce's homological enumerative invariants. This paper studies the generalization of this construction to settings that come from non-linear enumerative problems. In the special case of orthosymplectic enumerative geometry, we obtain twisted modules for Joyce vertex algebras. We expect that our construction will be useful for formulating wall-crossing formulae for enumerative invariants for non-linear moduli stacks. We include several variants of our construction that apply to different flavours of enumerative invariants, including Joyce's homological invariants, DT4 invariants, and a version of $K$-theoretic enumerative invariants.

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 generalizes Joyce vertex algebras—originally vertex algebra structures on the homology of ℂ-linear moduli stacks used to express wall-crossing formulae for homological enumerative invariants—to non-linear enumerative problems. In the special case of orthosymplectic enumerative geometry, it constructs twisted modules for these algebras. Variants of the construction are given for Joyce's homological invariants, DT4 invariants, and K-theoretic enumerative invariants, with the expectation that the results will support wall-crossing formulae for non-linear moduli stacks.

Significance. If the constructions are rigorously established, the work would extend vertex-algebra techniques in enumerative geometry to a wider class of moduli problems, potentially unifying linear and non-linear settings and enabling new wall-crossing results.

major comments (1)
  1. [Sections on non-linear generalization and orthosymplectic twisted modules] The central construction (detailed in the sections on generalization to non-linear stacks and the orthosymplectic case): the claim that vertex algebra operations defined via correspondences on linear moduli stacks extend to non-linear stacks while admitting a well-defined twisting action that satisfies the module axioms is load-bearing. Non-linear stacks lack the global linear structure, so it is not immediate that the homology supports the same graded-commutative products or that the twisting cocycle remains associative; explicit verification or a worked example confirming the axioms is required.
minor comments (2)
  1. [Abstract and introduction] The abstract and introduction would benefit from a brief comparison table or diagram contrasting the linear Joyce construction with the proposed non-linear variants.
  2. [Notation and preliminaries] Notation for the twisting cocycle and the module action should be introduced with a short glossary or reference to prior Joyce papers to aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need for explicit verification of the central constructions. We address the major comment below and will incorporate additional details in a revised version to strengthen the exposition.

read point-by-point responses

  1. Referee: [Sections on non-linear generalization and orthosymplectic twisted modules] The central construction (detailed in the sections on generalization to non-linear stacks and the orthosymplectic case): the claim that vertex algebra operations defined via correspondences on linear moduli stacks extend to non-linear stacks while admitting a well-defined twisting action that satisfies the module axioms is load-bearing. Non-linear stacks lack the global linear structure, so it is not immediate that the homology supports the same graded-commutative products or that the twisting cocycle remains associative; explicit verification or a worked example confirming the axioms is required.

    Authors: We appreciate the referee's emphasis on this point. The operations are defined uniformly via the same correspondence diagrams used in the linear case (as in Joyce's original work), but now applied to the non-linear moduli stacks equipped with their virtual fundamental classes. The graded-commutative product on homology is induced by the intersection product on the stack, which remains well-defined under our standing assumptions on the existence of orientations and virtual classes for the non-linear stacks. For the orthosymplectic twisted modules, the twisting cocycle is constructed from the action of the orthosymplectic group on the moduli stack; associativity follows from the cocycle condition verified by direct diagram chasing in the correspondence category, using the fact that the group action preserves the virtual classes. While the proofs are given in general terms in Sections 3 and 4, we acknowledge that a concrete worked example would improve readability. In the revision we will add a detailed example for a specific non-linear orthosymplectic moduli problem (e.g., moduli of stable sheaves with orthogonal or symplectic structures on a Calabi-Yau threefold), explicitly checking the module axioms step by step. revision: yes

Circularity Check

0 steps flagged

Generalization from linear to non-linear moduli stacks proceeds via explicit construction without reduction to inputs by definition

full rationale

The paper starts from the established definition of Joyce vertex algebras on homology of C-linear moduli stacks and constructs an extension to non-linear enumerative problems, yielding twisted modules in the orthosymplectic case. No quoted equation or step reduces a claimed result to a fitted parameter or self-citation by construction; the abstract and described variants (homological, DT4, K-theoretic) present the extension as a new definition rather than a renaming or tautological prediction. The derivation chain remains self-contained against external benchmarks of prior Joyce vertex algebra literature.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract supplies no explicit free parameters, background axioms, or newly postulated entities; the work is described as a generalization of an existing construction.

pith-pipeline@v0.9.0 · 5638 in / 1059 out tokens · 72170 ms · 2026-05-19T12:18:17.278986+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

38 extracted references · 38 canonical work pages · 10 internal anchors

  1. [1]

    Blanc, A., Topological K-theory of complex noncommutative spaces, Compos. Math. 152/3 (2016), 489–555. doi: 10.1112/s0010437x15007617, arXiv: 1211.7360

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1112/s0010437x15007617 2016

  2. [2]

    Bojko, A., Lim, W., and Moreira, M., Virasoro constraints for moduli of sheaves and vertex algebras, Invent. Math. 236/1 (2024), 387–476. doi: 10.1007/s00222-024-01245-5, arXiv: 2210.05266

    work page doi:10.1007/s00222-024-01245-5 2024

  3. [3]

    Vertex algebras

    Borcherds, R. E., Vertex algebras, in M. Kashiwara et al. (eds.), Topological field theory, primitive forms and related topics (Birkhäuser, 1998), 35–77, arXiv: q-alg/9706008

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  4. [4]

    Borisov, D., and Joyce, D., Virtual fundamental classes for moduli spaces of sheaves on Calabi–Yau four-folds, Geom. Topol. 21/6 (2017), 3231–3311. doi: 10.2140/gt.2017.21.3231 , arXiv: 1504 .00690

    work page doi:10.2140/gt.2017.21.3231 2017

  5. [5]

    Relative Calabi-Yau structures II: Shifted Lagrangians in the moduli of objects

    Brav, C., and Dyckerhoff, T., Relative Calabi–Yau structures. II: Shifted Lagrangians in the moduli of objects, Sel. Math. 27/4 (2021), 63. doi: 10.1007/s00029-021-00642-5, arXiv: 1812.11913

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00029-021-00642-5 2021

  6. [6]

    Bu, C., Counting sheaves on curves , Adv. Math. 434 (2023), 109334. doi: 10.1016/j.aim.2023 .109334, arXiv: 2208.00927

    work page doi:10.1016/j.aim.2023 2023

  7. [7]

    II: Homological invariants (11 Sept

    Bu, C., Enumerative invariants in self-dual categories. II: Homological invariants (11 Sept. 2023), arXiv: 2309.00056v2

    work page arXiv 2023

  8. [8]

    2025), arXiv: 2503 .20667v1

    Bu, C., Orthosymplectic Donaldson–Thomas theory , preprint v1 (26 Mar. 2025), arXiv: 2503 .20667v1

    work page 2025

  9. [9]

    2025), arXiv: 2502.04253v1

    Bu, C., Davison, B., Ibáñez Núñez, A., Kinjo, T., and Pădurariu, T., Cohomology of symmetric stacks, preprint v1 (6 Feb. 2025), arXiv: 2502.04253v1

    work page arXiv 2025

  10. [10]

    I: Component lattices of stacks, preprint v1 (19 Feb

    Bu, C., Halpern-Leistner, D., Ibáñez Núñez, A., and Kinjo, T., Intrinsic Donaldson–Thomas theory. I: Component lattices of stacks, preprint v1 (19 Feb. 2025), arXiv: 2502.13892v1

    work page arXiv 2025

  11. [11]

    II: Stability measures and invariants, preprint v1 (27 Feb

    Bu, C., Ibáñez Núñez, A., and Kinjo, T., Intrinsic Donaldson–Thomas theory. II: Stability measures and invariants, preprint v1 (27 Feb. 2025), arXiv: 2502.20515v1

    work page arXiv 2025

  12. [12]

    III: Wall-crossing and applications, in preparation

    Bu, C., Ibáñez Núñez, A., and Kinjo, T., Intrinsic Donaldson–Thomas theory. III: Wall-crossing and applications, in preparation

    work page

  13. [13]

    Donaldson-Thomas theory for Calabi-Yau 4-folds

    Cao, Y., and Leung, N. C., Donaldson–Thomas theory for Calabi–Yau 4-folds, preprint v2 (24 Sept. 2015), arXiv: 1407.7659v2

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  14. [14]

    2025), arXiv: 2501.06643v1

    DeHority, S., and Latyntsev, A., Orthosymplectic modules of cohomological Hall algebras, preprint v1 (11 Jan. 2025), arXiv: 2501.06643v1

    work page arXiv 2025

  15. [15]

    Derksen, H., and Weyman, J., Generalized quivers associated to reductive groups , Colloq. Math. 94/2 (2002), 151–173. doi: 10.4064/cm94-2-1

    work page doi:10.4064/cm94-2-1 2002

  16. [16]

    Dugger, D., An Atiyah–Hirzebruch spectral sequence for KR-theory, K-Theory, 35/3 (2005), 213–

    work page 2005

  17. [17]

    doi: 10.1007/s10977-005-1552-9, arXiv: math/0304099

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s10977-005-1552-9

  18. [18]

    Frenkel, E., and Ben-Zvi, D., Vertex algebras and algebraic curves (Math. Surv. Monogr. 88; 2nd edn., Am. Math. Soc., 2004)

    work page 2004

  19. [19]

    2020), arXiv: 1907 .03269v3

    Gross, J., The homology of moduli stacks of complexes , preprint v3 (13 Aug. 2020), arXiv: 1907 .03269v3

    work page 2020

  20. [20]

    18 (2022), 068

    Gross, J., Joyce, D., and Tanaka, Y., Universal structures in C-linear enumerative invariant theories, SIGMA, Symmetry Integrability Geom.: Methods Appl. 18 (2022), 068. doi:10.3842/sigma.2022 .068, arXiv: 2005.05637. 47

    work page doi:10.3842/sigma.2022 2022

  21. [21]

    2022), arXiv: 1411.0627v5

    Halpern-Leistner, D., On the structure of instability in moduli theory , preprint v5 (4 Feb. 2022), arXiv: 1411.0627v5

    work page arXiv 2022

  22. [22]

    Paracategories I: internal parategories and saturated partial algebras

    Hermida, C., and Mateus, P., Paracategories. I: Internal paracategories and saturated partial algeb- ras, Theor. Comput. Sci. 309/1 (2003), 125–156. doi: 10.1016/x0304-3975(03)00135-x , arXiv: math/0303083

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/x0304-3975(03)00135-x 2003

  23. [23]

    2018), https://people.maths.ox.ac.uk/joyce/hall.pdf

    Joyce, D., Ringel–Hall style vertex algebra and Lie algebra structures on the homology of moduli spaces, preliminary version (Mar. 2018), https://people.maths.ox.ac.uk/joyce/hall.pdf

    work page 2018

  24. [24]

    2021), arXiv: 2111.04694v1

    Joyce, D., Enumerative invariants and wall-crossing formulae in abelian categories , preprint v1 (8 Nov. 2021), arXiv: 2111.04694v1

    work page arXiv 2021

  25. [25]

    Joyce, D., Enumerative invariants of projective surfaces, in preparation

    work page

  26. [26]

    2025), arXiv: 2503.20456v1

    Joyce, D., and Upmeier, M., Bordism categories and orientations of moduli spaces , preprint v1 (26 Mar. 2025), arXiv: 2503.20456v1

    work page arXiv 2025

  27. [27]

    An introduction (Grundlehren Math

    Karoubi, M., K-theory. An introduction (Grundlehren Math. Wiss. 226; Springer-Verlag, 1978)

    work page 1978

  28. [28]

    Henri Poincaré, 12/6 (2011), 1145–1168

    Kim, N., Associativity of field algebras, Ann. Henri Poincaré, 12/6 (2011), 1145–1168. doi:10.1007/ s00023-011-0092-5

    work page 2011

  29. [29]

    Latyntsev, A., Vertex algebras, moduli stacks, cohomological Hall algebras and quantum groups , PhD thesis (University of Oxford, 2022), https:// people. maths. ox.ac .uk /joyce /theses/ LatyntsevDPhil.pdf

    work page 2022

  30. [30]

    2023), arXiv: 2207.13546v2

    Liu, H., Equivariant K-theoretic enumerative invariants and wall-crossing formulae in abelian cat- egories, preprint v2 (6 Sept. 2023), arXiv: 2207.13546v2

    work page arXiv 2023

  31. [31]

    2017), https://www.math.ias.edu/~lurie/papers/HA.pdf

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

    work page 2017

  32. [32]

    P., Counting sheaves on Calabi–Yau 4-folds

    Oh, J., and Thomas, R. P., Counting sheaves on Calabi–Yau 4-folds. I, Duke Math. J. 172/7 (2023), 1333–1409. doi: 10.1215/00127094-2022-0059, arXiv: 2009.05542

    work page doi:10.1215/00127094-2022-0059 2023

  33. [33]

    P., Complex Kuranishi structures and counting sheaves on Calabi–Yau 4- folds

    Oh, J., and Thomas, R. P., Complex Kuranishi structures and counting sheaves on Calabi–Yau 4- folds. II, preprint v2 (1 Mar. 2024), arXiv: 2305.16441v2

    work page arXiv 2024

  34. [34]

    Shifted Symplectic Structures

    Pantev, T., Toën, B., Vaquié, M., and Vezzosi, G., Shifted symplectic structures, Publ. Math., Inst. Hautes Étud. Sci. 117 (2013), 271–328. doi: 10.1007/s10240-013-0054-1, arXiv: 1111.3209

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s10240-013-0054-1 2013

  35. [35]

    Toën, B., and Vaquié, M., Moduli of objects in dg-categories, Ann. Sci. Éc. Norm. Supér. 40/3 (2007), 387–444. doi: 10.1016/j.ansens.2007.05.001, arXiv: math/0503269

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.ansens.2007.05.001 2007

  36. [36]

    The Hall module of an exact category with duality

    Young, M. B., The Hall module of an exact category with duality , J. Algebra, 446 (2016), 291–322. doi: 10.1016/j.jalgebra.2015.09.013, arXiv: 1212.0531

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jalgebra.2015.09.013 2016

  37. [37]

    B., Self-dual quiver moduli and orientifold Donaldson–Thomas invariants , Commun

    Young, M. B., Self-dual quiver moduli and orientifold Donaldson–Thomas invariants , Commun. Number Theory Phys. 9/3 (2015), 437–475. doi: 10 . 4310 / cntp . 2015 . v9 . n3 . a1, arXiv: 1408 .4888

    work page 2015

  38. [38]

    Representations of cohomological Hall algebras and Donaldson-Thomas theory with classical structure groups

    Young, M. B., Representations of cohomological Hall algebras and Donaldson–Thomas theory with classical structure groups, Commun. Math. Phys. 380/1 (2020), 273–322. doi:10.1007/s00220-020 -03877-z, arXiv: 1603.05401. Chenjing Bu bucj@mailbox.org Mathematical Institute, University of Oxford, Oxford OX2 6GG, United Kingdom. 48

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-020 2020