English

Decomposing Frobenius Heisenberg categories

Representation Theory 2019-07-19 v2 Category Theory

Abstract

We give two alternate presentations of the Frobenius Heisenberg category, HeisF,k\mathcal{Heis}_{F,k}, defined by Savage, when the Frobenius algebra F=F1FnF=F_1\oplus\dotsb\oplus F_n decomposes as a direct sum of Frobenius subalgebras. In these alternate presentations, the morphism spaces of HeisF,k\mathcal{Heis}_{F,k} are given in terms of planar diagrams consisting of strands "colored" by integers i=1,,ni=1,\dotsc,n, where a strand of color ii carries tokens labelled by elements of Fi.F_i. In addition, we prove that when FF decomposes this way, the tensor product of Frobenius Heisenberg categories, HeisF1,kHeisFn,k,\mathcal{Heis}_{F_1,k}\otimes\dotsb\otimes\mathcal{Heis}_{F_n,k}, is equivalent to a certain subcategory of the Karoubi envelope of HeisF,k\mathcal{Heis}_{F,k} that we call the partial\textit{partial} Karoubi envelope of HeisF,k\mathcal{Heis}_{F,k}.

Keywords

Cite

@article{arxiv.1809.03613,
  title  = {Decomposing Frobenius Heisenberg categories},
  author = {Raj Gandhi},
  journal= {arXiv preprint arXiv:1809.03613},
  year   = {2019}
}

Comments

21 pages. v2: Some definitions and results in Section 4 generalized to strict k-linear monoidal categories, see Def. 4.4, Def. 4.5, Lem. 4.6, and Cor. 4.7; minor corrections/changes, results unchanged. arXiv admin note: text overlap with arXiv:1802.01626 by other authors

R2 v1 2026-06-23T04:01:39.479Z