A Categorical Quantum Toroidal Action on Hilbert Schemes

Abstract

We categorify the commutation of Nakajima's Heisenberg operators $P_{\pm 1}$ and their infinitely many counterparts in the quantum toroidal algebra $U_{q_1,q_2}(\ddot{g{l}_1})$ acting on the Grothendieck groups of Hilbert schemes. By combining our result with arxiv:1804.03645 , one obtains a geometric categorical $U_{q_1,q_2}(\ddot{g{l}_1})$ action on the derived category of Hilbert schemes. Our main technical tool is a detailed geometric study of certain nested Hilbert schemes of triples and quadruples, through the lens of the minimal model program, by showing that these nested Hilbert schemes are either canonical or semi-divisorial log terminal singularities.

arXiv commentV2:typos fixed. 29 pages

References in corpus (14)

• A commutative algebra on degenerate CP^1 and Macdonald polynomials
• The elliptic Hall algebra and the equivariant K-theory of the Hilbert scheme of ${\mathbb{A}}^2$
• On the Hall algebra of an elliptic curve, I
• Heisenberg action in the equivariant K-theory of Hilbert schemes via Shuffle Algebra
• Heisenberg categorification and Hilbert schemes
• Coherent sheaves and categorical sl(2) actions
• Two-dimensional categorified Hall algebras
• On the $K$-theoretic Hall algebra of a surface
• W-algebras associated to surfaces
• The Elliptic Hall algebra and the deformed Khovanov Heisenberg category
• Cohomological Hall algebras and perverse coherent sheaves on toric Calabi-Yau 3-folds
• Hilbert schemes and W algebras
• McKay correspondence, cohomological Hall algebras and categorification
• Hecke correspondences for smooth moduli spaces of sheaves

Cited by in corpus (1)

• Categorical blow-up formula for Hilbert schemes of points