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.

V2:typos fixed. 29 pages

References in corpus (2)

• Cohomological Hall algebras and perverse coherent sheaves on toric Calabi-Yau 3-folds
• McKay correspondence, cohomological Hall algebras and categorification

Cited by in corpus (1)

• Categorical blow-up formula for Hilbert schemes of points