The spin Brauer category

Abstract: We introduce a diagrammatic monoidal category, the spin Brauer category, that plays the same role for the spin and pin groups as the Brauer category does for the orthogonal groups. In particular, there is a full functor from the spin Brauer category to the category of finite-dimensional modules for the spin and pin groups. This functor becomes essentially surjective after passing to the Karoubi envelope, and its kernel is the tensor ideal of negligible morphisms. In this way, the spin Brauer category can be thought of as an interpolating category for the spin and pin groups. We also define an affine version of the spin Brauer category, which acts on categories of modules for the pin and spin groups via translation functors.