Hecke algebras, finite general linear groups, and Heisenberg categorification. (Q1948486)

The authors define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. This category, which is a \(q\)-deformation of one defined by Khovanov, acts naturally on the categories of modules for Hecke algebras of type \(A\) and finite general linear groups. In this way, they obtain a categorification of the bosonic Fock space. They also develop the theory of parabolic induction and restriction functors for finite groups and prove general results on biadjointness and cyclicity in this setting.