Abstract
For a moduli space \({\mathsf M}\) of stable sheaves over a K3 surface X, we propose a series of conjectural identities in the Chow rings \(CH_\star ({\mathsf M}\times X^\ell ),\, \ell \ge 1,\) generalizing the classic Beauville–Voisin identity for a K3 surface. We emphasize consequences of the conjecture for the structure of the tautological subring \(R_\star ({\mathsf M}) \subset CH_\star ({\mathsf M}).\) The conjecture places all tautological classes in the lowest piece of a natural filtration emerging on \(CH_\star ({\mathsf M})\), which we also discuss. We prove the proposed identities when \({\mathsf M}\) is the Hilbert scheme of points on a K3 surface.
Similar content being viewed by others
References
Beauville, A.: Sur la cohomologie de certains espaces de modules de fibrés vectoriels, Geometry and analysis (Bombay, 1992: Tata Inst. Fund. Res. 37–40 (1995)
Beauville, A.: On the splitting of the Bloch–Beilinson filtration, Algebraic cycles and motives. Vol. 2, pp. 38–53, London Mathematical Society Lecture Note Series. 344, Cambridge University Press, 2007
Bayer, A., Macrì, E.: MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations. Invent. Math. 198, 505–590 (2014)
Beauville, A., Voisin, C.: On the Chow ring of a K3 surface. J. Algebraic Geom. 13, 417–426 (2004)
de Cataldo, M., Migliorini, L.: The Chow Groups and the Motive of the Hilbert Scheme of Points on a Surface. J. Algebra 251, 824–848 (2002)
Ellingsrud, G., Göttsche, L., Lehn, M.: On the cobordism class of the Hilbert scheme of a surface. J. Algebraic Geom. 10(1), 81–100 (2001)
Ellingsrud, G., Strømme, S.A.: Towards the Chow ring of the Hilbert scheme of \(\mathbb{P}^2\). J. Reine Angew. Math. 441, 33–44 (1993)
Huybrechts, D.: Chow groups of \(K3\) surfaces and spherical objects. J. Eur. Math. Soc. 12, 1533–1551 (2010)
Huybrechts, D.: Lectures on \(K3\) Surfaces. Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge (2016)
Lehn, M.: Chern classes of tautological sheaves on Hilbert schemes of points on surfaces. Invent. Math. 136, 157–207 (1999)
Markman, E.: Generators of the cohomology ring of moduli spaces of sheaves on symplectic surfaces. J. Reine Angew. Math. 544, 61–82 (2002)
Markman, E.: On the monodromy of moduli spaces of sheaves on K3 surfaces. J. Algebraic Geom. 17(1), 29–99 (2008)
Maulik, D., Neguț, A.: Lehn’s formula in Chow and conjectures of Beauville and Voisin, J. Inst. Math. Jussieu 1–39 (2020)
Mukai, S.: On the moduli space of bundles on K3 surfaces I, Vector bundles on algebraic varieties (Bombay, 1984: Tata Inst. Fund. Res. Stud. Math. 11, pp. 341–413. Oxford University Press (1987)
Mukai, S.: Moduli of vector bundles on K3 surfaces, and symplectic manifolds. Sugaku Expositions 1, 139–174 (1988)
Marian, A., Zhao, X.: On the group of zero-cycles of holomorphic symplectic varieties. EPIGA 4(3) (2020)
Neguț, A., Oberdieck, G., Yin, Q.: Motivic decompositions for the Hilbert scheme of points of a \(K3\) surface. J. Reine Angew. Math. 778, 65–95 (2021)
O’Grady, K.: The weight-two Hodge structure of moduli spaces of sheaves on a K3 surface. J. Algebraic Geom. 6(4), 599–644 (1997)
O’Grady, K.: Moduli of sheaves and the Chow group of K3 surfaces. J. Math. Pures Appl. 100(5), 701–718 (2013)
O’Grady, K.: Computations with modified diagonals. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 25, 249–274 (2014)
Shen, J., Yin, Q., Zhao, X.: Derived categories of K3 surfaces, O’Grady’s filtration, and zero-cycles on holomorphic symplectic varieties. Compos. Math. 156, 179–197 (2020)
Vial, C.: On the birational motive of hyper-kähler varieties, arXiv:2010.00099v2
Voisin, C.: Remarks and questions on coisotropic subvarieties and 0-cycles of hyper-Kähler varieties, K3 surfaces and their moduli, pp. 365–399, Progr. Math., 315, Birkhäuser (2016)
Voisin, C.: Chow Rings, Decomposition of the Diagonal, and the Topology of Families, Annals of Mathematics Studies, no. 187, Princeton University Press (2014)
Voisin, C.: Some new results on modified diagonals. Geom. Topol. 19(6), 3307–3343 (2015)
Voisin, C.: On the Chow ring of certain algebraic hyper-Kähler manifolds, Pure Appl. Math. Q. 4 (2008), no. 3, Special Issue: In honor of Fedor Bogomolov. Part 2, pp. 613–649
Voisin, C.: Rational equivalence of \(0\)-cycles on K3 surfaces and conjectures of Huybrechts and O’Grady, Recent advances in algebraic geometry, pp. 422–436, London Math. Soc. Lecture Note Ser., vol. 417, Cambridge University Press, Cambridge (2015)
Voisin, C.: Universally defined cycles
Yoshioka, K.: Some examples of Mukai’s reflections on K3 surfaces. J. Reine Angew. Math. 515, 97–123 (1999)
Acknowledgements
We thank Mark de Cataldo, Lie Fu, Daniel Huybrechts, Eyal Markman, Davesh Maulik, Andrei Negut, Dragos, Oprea, Junliang Shen, Charles Vial, Qizheng Yin, and Ruxuan Zhang for helpful discussions and correspondence. Conversations with Andrei Neguț regarding the Chow induction on number of points in the Hilbert scheme context played a particularly important role. I.B. is supported by the ERC Synergy Grant ERC-2020-SyG-854361-HyperK. L.F. was supported by the NSF through Grant DMS 1803082. A.M. was supported by the NSF through Grants DMS 1601605 and 1902310, as well as by the Radcliffe Institute for Advanced Study at Harvard, through a 2019–2020 Radcliffe Fellowship. R.S. was supported by the NSF through Grant DMS 1645877. This project was initiated at Northeastern University under the auspices of the NSF-funded RTG grant DMS 1645877.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Barros, I., Flapan, L., Marian, A. et al. On product identities and the Chow rings of holomorphic symplectic varieties. Sel. Math. New Ser. 28, 46 (2022). https://doi.org/10.1007/s00029-021-00729-z
Accepted:
Published:
DOI: https://doi.org/10.1007/s00029-021-00729-z