Quasi-cellular categories and the structure of the Brauer category

Abstract

We introduce the notion of a quasi-cellular category, which is a variant of cellular algebras and cellular categories. Many diagram categories, such as the Brauer category and the partition category, are quasi-cellular. We study the Brauer category $B$ over a commutative ring $\mathbb k$ with parameter $δ$ through its quasi-cellular structure. We construct a linear functor $L:B\to mB$ to the \emph{matrix Brauer category} $mB$, which has the same objects and hom-spaces as $B$ but a matrix-like composition. For a non-singular parameter $δ$, we show that $L$ is an isomorphism of linear categories, and that $B$ is Morita equivalent to its subcategory $\mathbb S$ spanned by permutations, whose endomorphism algebras are the group algebras of symmetric groups. These results generalize those of Brown and König and Xi for the Brauer algebras.