Quantum Frobenius Heisenberg categorification (Q1979319)

This paper introduces and studies \emph{quantum Frobenius Heisenberg categories}, a family of diagrammatic monoidal supercategories \(\mathcal{H}eis_k(A;z,t)\) that can be associated to any symmetric Frobenius superalgebra \(A\), any two invertible parameters \(z,t\) from an arbitrary commutative ground ring \(\Bbbk\), and any choice of a central charge \(k\in \mathbb{Z}\). These categories unify two directions of generalizations for the Heisenberg category originally defined by M. Khovanov. On the one hand, the categories \(\mathcal{H}eis_k(A;z,t)\) may be viewed as quantum analogues of the so-called Frobenius Heisenberg categories, whose study was initiated by D. Rosso and the second author. On the other hand, when the Frobenius algebra \(A\) equals the ground ring \(\Bbbk\), the category \(\mathcal{H}eis_k(A;z,t)\) recovers the quantum Heisenberg categories defined by the authors in their earlier work [\textit{J. Brundan} et al., Algebra Number Theory 14, No. 2, 275--321 (2020; Zbl 1471.18018)]; the latter categories in turn generalize certain \(q\)-deformed Heisenberg categories introduced by A. Licata and the second author. The paper can be divided roughly into two parts. In the first part, the authors give three equivalent diagrammatic presentations of the category \(\mathcal{H}eis_k(A;z,t)\). The presentations share a common starting point, the quantum affine wreath product category, and the authors give explicit isomorphisms establishing the equivalences between the presentations. The presentations imply that \(\mathcal{H}eis_k(A;z,t)\) is strictly pivotal, and are used to show that \(\mathcal{H}eis_k(A;z,t)\) acts naturally on modules of {quantum cyclotomic wreath product algebras}. The second part of the paper culminates in a basis theorem for morphism spaces in \(\mathcal{H}eis_k(A;z,t)\) (Theorem 9.2). The proof of the theorem exploits the categorical action of \(\mathcal{H}eis_k(z,t)\) on a ``sufficiently large'' module category denoted \(\mathcal{V}(f\vert\,g)\). This action is induced from the action on \(\mathcal{V}(f\vert g)\) of a certain localization of the symmetric product of two quantum Frobenius Heisenberg categories (Lemma 8.5), via a ``categorical comultiplication'' superfunctor (Theorem 7.5). Precise connections between \(\mathcal{V}(f\vert g)\) and the so-called generalized cyclotomic quotients of \(\mathcal{H}eis_k(A;z,t)\) are also discussed (Theorem 8.7). It may be worth noting that the current paper not only generalizes the authors' previous work on quantum Heisenberg categories mentioned earlier, but it also does so by following essentially the same outline. In particular, the authors give three useful presentations of the Heisenberg categories in both cases, and the machinery of categorical comultiplication is used in both papers to produce the sufficiently large module categories for the Heisenberg categories.