Hecke operators on symplectic surfaces and chi-independence
Pith reviewed 2026-07-03 18:35 UTC · model grok-4.3
The pith
BPS cohomology of one-dimensional sheaves on quasi-projective symplectic surfaces is chi-independent relative to the Chow variety.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove Toda's chi-independence conjecture for the BPS cohomology of moduli spaces of one-dimensional sheaves on quasi-projective symplectic surfaces, relative to the Chow variety. We also identify the BPS Lie algebra associated with one-dimensional Mukai vectors with the subspace of tautological classes, giving an extension of Markman's tautological generation theorem from primitive to arbitrary Mukai vectors. The main structure input is a bialgebra structure on the cohomological Hall algebra of coherent sheaves on a quasi-projective symplectic variety S. The coproduct is obtained, by dimensional reduction, from a factorization coproduct for 3d cohomological Hall algebras, and gives rise t
What carries the argument
Hecke operators on BPS cohomology that modify one-dimensional sheaves by zero-dimensional quotients, obtained from the bialgebra structure on the cohomological Hall algebra via dimensional reduction from a 3d factorization coproduct.
If this is right
- BPS cohomology of the moduli spaces is independent of the Euler characteristic relative to the Chow variety.
- The BPS Lie algebra for one-dimensional Mukai vectors coincides exactly with the subspace of tautological classes.
- Markman's tautological generation theorem extends from primitive to arbitrary Mukai vectors.
- A global BPS Lie algebra is attached to the stack of all coherent sheaves on the symplectic variety S.
Where Pith is reading between the lines
- The same bialgebra and Hecke construction may yield explicit formulas for BPS invariants in low-dimensional examples.
- The approach could extend to compute similar invariants for moduli spaces with different stability conditions.
- The identification with tautological classes suggests these classes control the full ring structure in the BPS setting.
Load-bearing premise
The bialgebra structure on the cohomological Hall algebra arises by dimensional reduction, and the affinized BPS cohomology of the semistable locus equals the primitive part of the coproduct on the full moduli stack.
What would settle it
Compute the graded dimensions of the BPS cohomology for two different Euler characteristics on the same component of the Chow variety for a fixed symplectic surface and one-dimensional Mukai vector; a mismatch would falsify chi-independence.
read the original abstract
We prove Toda's chi-independence conjecture for the BPS cohomology of moduli spaces of one-dimensional sheaves on quasi-projective symplectic surfaces, relative to the Chow variety. We also identify the BPS Lie algebra associated with one-dimensional Mukai vectors with the subspace of tautological classes, giving an extension of Markman's tautological generation theorem from primitive to arbitrary Mukai vectors. The main structure input is a bialgebra structure on the cohomological Hall algebra of coherent sheaves on a quasi-projective symplectic variety S. The coproduct is obtained, by dimensional reduction, from a factorization coproduct for 3d cohomological Hall algebras, and gives rise to a global BPS Lie algebra attached to the stack of coherent sheaves on S. The link between this structure and the applications to chi-independence and tautological generation is provided by Hecke operators on BPS cohomology, which modify one-dimensional sheaves by zero-dimensional quotients. To make this construction work, we prove that there is an identification between the affinized BPS cohomology of the semistable locus and the primitive part of the coproduct on the entire moduli stack
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves Toda's χ-independence conjecture for the BPS cohomology of moduli spaces of one-dimensional sheaves on quasi-projective symplectic surfaces, relative to the Chow variety. It also identifies the BPS Lie algebra associated with one-dimensional Mukai vectors with the subspace of tautological classes, extending Markman's tautological generation theorem. The central technical input is a bialgebra structure on the cohomological Hall algebra of coherent sheaves on a quasi-projective symplectic variety S, obtained by dimensional reduction from a factorization coproduct for 3d cohomological Hall algebras; this yields a global BPS Lie algebra. The link to the applications is provided by Hecke operators on BPS cohomology together with the identification of the affinized BPS cohomology of the semistable locus with the primitive part of the coproduct on the full moduli stack.
Significance. If the derivations hold, the work constitutes a substantial advance on chi-independence and tautological generation for BPS cohomology in the setting of symplectic surfaces. The construction of the bialgebra via dimensional reduction supplies a concrete structural input that is then applied via Hecke operators, and the identification with tautological classes extends an existing theorem from primitive to arbitrary Mukai vectors. These results strengthen the dictionary between cohomological Hall algebras, BPS Lie algebras, and geometric invariants on moduli stacks.
minor comments (2)
- §2.3: the definition of the affinized BPS cohomology is introduced after its first use in the statement of the key identification; moving the definition forward would improve readability.
- Notation for the Mukai vector v and the Chow variety is used consistently but would benefit from a single consolidated table of symbols in the preliminaries.
Simulated Author's Rebuttal
We thank the referee for their positive summary and recommendation of minor revision. No major comments were listed in the report, so we have no specific points requiring response or revision at this stage. We are prepared to incorporate any minor suggestions that may arise.
Circularity Check
Derivation is self-contained with independent structure inputs
full rationale
The paper constructs a bialgebra on the CoHA via dimensional reduction from a 3d factorization coproduct, states an identification of affinized BPS cohomology on the semistable locus with the primitive part of the coproduct as a theorem with supporting arguments, and applies Hecke operators to reach chi-independence and tautological generation. These steps are presented with explicit definitions and reductions internal to the manuscript; no load-bearing step reduces by construction to a fitted parameter, self-definition, or unverified self-citation chain. The derivation chain remains independent of its target conclusions.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Good Moduli Spaces in Derived Algebraic Geometry
E. Ahlqvist, J. Hekking, M. Pernice, M. Savvas,Good moduli spaces in derived algebraic geometry, arXiv:2309.16574 (2023)
work page internal anchor Pith review Pith/arXiv arXiv 2023
- [2]
- [3]
-
[4]
A. Beauville, M. Narasimhan, S. Ramanan,Spectral curves and the generalised theta divisor, J. Reine Angew. Math. 398(1989), 169–179
work page 1989
-
[5]
A. A. Beilinson, J. Bernstein, P. Deligne, O. Gabber,Faisceaux pervers, Ast´ erisque,100, Soci´ et´ e Math´ ematique de France, Paris, 1982, 5–171
work page 1982
-
[6]
C. Birkenhake, H. Lange,Complex Abelian Varieties, Grundlehren Math. Wiss.,302, Springer Verlag, (1992)
work page 1992
- [7]
-
[8]
Bottini,Stable sheaves on K3 surfaces via wall-crossing, Kyoto J
A. Bottini,Stable sheaves on K3 surfaces via wall-crossing, Kyoto J. Math.64(2024), no. 2, 459–499
work page 2024
- [9]
-
[10]
C. Brav, V. Bussi, D. Dupont, D. Joyce, B. Szendroi,Symmetries and stabilization for sheaves of vanishing cycles, with an appendix by J¨ org Sch¨ urmann, J. Singul.11(2015) 85–151
work page 2015
-
[11]
C. Brav, T. Dyckerhoff,Relative Calabi-Yau structures, Compos. Math.155(2019), 372–412
work page 2019
-
[12]
C. Brav, T. Dyckerhoff,Relative Calabi-Yau structures II: shifted Lagrangians in the moduli of objects, Selecta Math. (N.S.)27(2021)
work page 2021
-
[13]
Bridgeland,Fourier–Mukai transforms for elliptic surfaces, J
T. Bridgeland,Fourier–Mukai transforms for elliptic surfaces, J. Reine Angew. Math.498(1998), 115–133
work page 1998
- [14]
- [15]
-
[16]
Calaque,Lagrangian structures on mapping stacks and semi-classical TFTs, Contemp
D. Calaque,Lagrangian structures on mapping stacks and semi-classical TFTs, Contemp. Math.643(2015), 1–23
work page 2015
-
[17]
Calaque,Shifted cotangent stacks are shifted symplectic, Ann
D. Calaque,Shifted cotangent stacks are shifted symplectic, Ann. Fac. Sci. Toulouse Math. (6) 28 (2019), 67–90
work page 2019
-
[18]
D. Calaque, P. Safronov,Shifted cotangent bundles, symplectic groupoids and deformation to the normal cone, arXiv:2407.08622, (2024)
-
[19]
K. Costello, O. Gwilliam,Factorization algebras in quantum field theory, Vol. 1, New Mathematical Monographs31, Cambridge Univ. Press, Cambridge, (2017)
work page 2017
-
[20]
Davison,The critical CoHA of a quiver with potential, Q
B. Davison,The critical CoHA of a quiver with potential, Q. J. Math.68(2017), no. 2, 635–703
work page 2017
-
[21]
B. Davison, S. Meinhardt,Cohomological Donaldson–Thomas theory of a quiver with potential and quantum enveloping algebras, Invent. Math.221(2020), 777–871
work page 2020
-
[22]
Davison,The integrality conjecture and the cohomology of preprojective stacks, J
B. Davison,The integrality conjecture and the cohomology of preprojective stacks, J. Reine Angew. Math.804(2023), 105–154
work page 2023
-
[23]
Davison,Purity and 2-Calabi-Yau categories, Invent
B. Davison,Purity and 2-Calabi-Yau categories, Invent. Math.238(2024), no. 1, 69–173
work page 2024
-
[24]
B. Davison,Affine BPS algebras, W algebras, and the cohomological Hall algebra ofA 2, inHomotopical methods in Geometry and Physics, of Contemp. Math., 841, Amer. Math. Soc., Providence (2026), 163–199
work page 2026
-
[25]
B. Davison, L. Hennecart, S. Schlegel Mejia,BPS Lie algebras for totally negative 2-Calabi-Yau categories and nonabelian Hodge theory for stacks, arXiv:2212.07668, (2022)
-
[26]
B. Davison, L. Hennecart, S. Schlegel Mejia,BPS algebras and generalised Kac-Moody algebras from 2-Calabi-Yau categories, arXiv:2303.12592, (2023)
-
[27]
Descombes,Hyperbolic localization in Donaldson–Thomas theory, arXiv:2506.22400, (2025)
P. Descombes,Hyperbolic localization in Donaldson–Thomas theory, arXiv:2506.22400, (2025)
-
[28]
Nilpotent cohomological Hall algebras of surfaces
D.-E. Diaconescu, M. Porta, F. Sala, O. Schiffmann, E. Vasserot,Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians, arXiv:2502.19445, (2025)
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[29]
D. Gaitsgory, J. Lurie,Weil’s conjecture for function fields. Vol. 1, Ann. of Math. Stud.,199Princeton University Press, Princeton, NJ, 2019
work page 2019
-
[30]
L. G¨ ottsche, W. Soergel,Perverse sheaves and the cohomology of Hilbert schemes of smooth algebraic surfaces, Math. Ann.296(1993), no. 2, 235–245
work page 1993
-
[31]
M. Groechenig, D. Wyss, P. Ziegler,χ-independence for K3-surfaces viap-adic integration, (2026)
work page 2026
-
[32]
Halpern-Leistner,On the structure of instability in moduli theory, arXiv:1411.0627, (2014)
D. Halpern-Leistner,On the structure of instability in moduli theory, arXiv:1411.0627, (2014)
-
[33]
Theta-stratifications, Theta-reductive stacks, and applications
D. Halpern-Leistner,Theta-stratifications, Theta-reductive stacks, and applications, arXiv:1608.04797, (2016)
work page internal anchor Pith review Pith/arXiv arXiv 2016
- [34]
-
[35]
L. Hennecart, T. Kinjo,The BPS decomposition theorem, arXiv:2509.21298, (2025)
-
[36]
J. Holstein, M. Porta,Analytification of mapping stacks, Algebr. Geom.12(2025), 13–83
work page 2025
-
[37]
Huybrechts,Compact hyper-K¨ ahler manifolds: basic results, Invent
D. Huybrechts,Compact hyper-K¨ ahler manifolds: basic results, Invent. Math.135(1999), no. 1, 63–113
work page 1999
-
[38]
Huybrechts,Lectures onK3surfaces, Cambridge Stud
D. Huybrechts,Lectures onK3surfaces, Cambridge Stud. Adv. Math.158Cambridge University Press, Cambridge, (2016)
work page 2016
-
[39]
D. Huybrechts, M. Lehn,The geometry of moduli spaces of sheaves, Aspects Math. E31 Friedr. Vieweg & Sohn, Braun- schweig, (1997)
work page 1997
-
[40]
Ib´ anez N´ unez,Refined Harder-Narasimhan filtrations in moduli theory, arXiv:2311.18050, (2023)
A. Ib´ anez N´ unez,Refined Harder-Narasimhan filtrations in moduli theory, arXiv:2311.18050, (2023)
-
[41]
Jindal,CoHA of cyclic quivers and an integral form of affine Yangians, arXiv:2408.02618, (2024)
S. Jindal,CoHA of cyclic quivers and an integral form of affine Yangians, arXiv:2408.02618, (2024)
- [42]
- [43]
-
[44]
D. Kaledin, M. Lehn, C. Sorger,Singular symplectic moduli spaces, Invent. Math.164(2006), 591–614
work page 2006
-
[45]
M. Kapranov, E. Vasserot,The cohomological Hall algebra of a surface and factorization cohomology, J. Eur. Math. Soc. (JEMS)25(2023), 4221–4289
work page 2023
-
[46]
M. Kashiwara, P. Schapira,Categories and sheaves, Grundlehren Math. Wiss.,352Springer-Verlag, Berlin, (2006)
work page 2006
-
[47]
M. Kashiwara, P. Schapira,Sheaves on Manifolds, Grundlehren Math. Wiss.,292Springer-Verlag, Berlin, (1990)
work page 1990
-
[48]
Keller,Deformed Calabi-Yau completions, J
B. Keller,Deformed Calabi-Yau completions, J. Reine Angew. Math.654(2011), 125–180
work page 2011
- [49]
-
[50]
A. A. Khan, C. Ravi,Generalized cohomology theories for algebraic stacks, Adv. Math.458(2024), article no. 109975, 104 pp. 92 BEN DAVISON, LUCIEN HENNECART, TASUKI KINJO, OLIVIER SCHIFFMANN AND ERIC VASSEROT
work page 2024
-
[51]
A. A. Khan, T. Kinjo,3D cohomological Hall algebras for local surfaces,https://www.preschema.com/papers/ dimredcoha.pdf
-
[52]
A. A. Khan, T. Kinjo, H. Park, P. Safronov,Shifted Lagrangian classes, to appear
- [53]
-
[54]
Kinjo,Dimensional reduction in cohomological Donaldson–Thomas theory, Compos
T. Kinjo,Dimensional reduction in cohomological Donaldson–Thomas theory, Compos. Math.158(2022), 123–167
work page 2022
-
[55]
Kinjo,Virtual classes via vanishing cycles, arXiv:2109.06468, (2021)
T. Kinjo,Virtual classes via vanishing cycles, arXiv:2109.06468, (2021)
- [56]
- [57]
-
[58]
Lurie,Higher Algebra, available athttps://www.math.ias.edu/ ~lurie/(2017)
J. Lurie,Higher Algebra, available athttps://www.math.ias.edu/ ~lurie/(2017)
work page 2017
-
[59]
Lurie,Higher Topos Theory, Ann
J. Lurie,Higher Topos Theory, Ann. of Math. Stud.,170, Princeton University Press, Princeton, NJ, (2009)
work page 2009
-
[60]
Lurie,Derived Algebraic Geometry XIII: Rational andp-adic Homotopy Theory, (2011)
J. Lurie,Derived Algebraic Geometry XIII: Rational andp-adic Homotopy Theory, (2011)
work page 2011
-
[61]
Markman,Generators of the cohomology ring of moduli spaces of sheaves on symplectic surfaces, J
E. Markman,Generators of the cohomology ring of moduli spaces of sheaves on symplectic surfaces, J. Reine Angew. Math.544(2002), 61–82
work page 2002
- [62]
- [63]
- [64]
- [65]
-
[66]
Coherent sheaves on surfaces, COHAs and deformed $W_{1+\infty}$-algebras
A. Mellit, A. Minets, O. Schiffmann, E. Vasserot,Coherent sheaves on surfaces, COHAs and deformedW 1+∞-algebras, arXiv:2311.13415 (2023)
work page internal anchor Pith review Pith/arXiv arXiv 2023
- [67]
-
[68]
A. Minets,Cohomological Hall algebras for Higgs torsion sheaves, moduli of triples and sheaves on surfaces, Selecta Math. (N.S.)26(2020), no. 2, Paper No. 30, 67 pp
work page 2020
-
[69]
Mukai,Symplectic structure of the moduli space of sheaves on an Abelian orK3surface, Invent
S. Mukai,Symplectic structure of the moduli space of sheaves on an Abelian orK3surface, Invent. Math.77(1984), no. 1, 101–116
work page 1984
-
[70]
Mukai,On the moduli space of bundles on K3 surfaces
S. Mukai,On the moduli space of bundles on K3 surfaces. I., inVector bundles on algebraic varieties (Bombay, 1984), volume 11 of Tata Inst. Fund. Res. Stud. Math., pages 341–413. Bombay, 1987
work page 1984
-
[71]
Nitsure,Schematic Harder-Narasimhan stratification, Internat
N. Nitsure,Schematic Harder-Narasimhan stratification, Internat. J. Math.22(2011), 1365–1373
work page 2011
-
[72]
O’Grady,Desingularized moduli spaces of sheaves on aK3, J
K. O’Grady,Desingularized moduli spaces of sheaves on aK3, J. Reine Angew. Math.512(1999), 49–117
work page 1999
-
[73]
Orlov,Equivalences of derived categories and K3 surfaces, J
D. Orlov,Equivalences of derived categories and K3 surfaces, J. Math. Sci. (N.Y.)84(1997), no. 5, 1361–1381
work page 1997
- [74]
-
[75]
Porta,GAGA theorems in derived complex geometry, J
M. Porta,GAGA theorems in derived complex geometry, J. Algebraic Geom.28, no. 3, 519–565 (2019)
work page 2019
- [76]
-
[77]
N. Rozenblyum,Connections on moduli spaces and infinitesimal Hecke modifications, arXiv:2108.07745 (2021)
-
[78]
Rydh, Families of cycles,https://people.kth.se/ ~dary/thesis/thesis-paperIV.pdf
D. Rydh, Families of cycles,https://people.kth.se/ ~dary/thesis/thesis-paperIV.pdf
-
[79]
Saint-Donat,Projective models ofK3surfaces, Amer
B. Saint-Donat,Projective models ofK3surfaces, Amer. J. Math.96(1974), 602–639
work page 1974
-
[80]
F. Sala, O. Schiffmann,Cohomological Hall algebra of Higgs sheaves on a curve, Algebr. Geom.7(2020), 346–376
work page 2020
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.