Coherent sheaves on surfaces, COHAs and deformed $W_{1+\infty }$-algebras

Abstract

We compute the cohomological Hall algebra of zero-dimensional sheaves on an arbitrary smooth quasi-projective surface $S$ with pure cohomology, deriving an explicit presentation by generators and relations. When $S$ has trivial canonical bundle, this COHA is isomorphic to the enveloping algebra of deformed trigonometric $W_{1+\infty }$-algebra associated to the ring $H^{\ast }(S,\mathbb{Q})$. We also define a double of this COHA, show that it acts on the homology of various moduli stacks of sheaves on $S$ and explicitly describe this action on the products of tautological classes. Examples include Hilbert schemes of points on surfaces, the moduli stack of Higgs bundles on a smooth projective curve and the moduli stack of $1$-dimensional sheaves on a $K3$ surface in an ample class. The double COHA is shown to contain Nakajima's Heisenberg algebra, as well as a copy of the Virasoro algebra.

v2: final version; v1: 68 pages

References in corpus (9)

• Dimensional reduction in cohomological Donaldson-Thomas theory
• BPS Lie algebras for totally negative 2-Calabi-Yau categories and nonabelian Hodge theory for stacks
• Purity and 2-Calabi-Yau categories
• Cohomological Hall algebras, their categorification, and their representations via torsion pairs
• BPS algebras and generalised Kac-Moody algebras from 2-Calabi-Yau categories
• Non-archimedean Gromov-Witten invariants
• $P=W$ via ${\mathcal{H}}_2$
• Affine BPS algebras, W algebras, and the cohomological Hall algebra of ${\mathbb{A}}^2$
• Derived projectivizations of complexes