Heisenberg categorification and Hilbert schemes

Abstract

Given a finite subgroup Γ ⊂ SL2(C) we define an additive 2-category HΓ whose Grothendieck group is isomorphic to an integral form HΓ of the Heisenberg algebra. We construct an action of HΓ on derived categories of coherent sheaves on Hilbert schemes