Affinization of monoidal categories

Abstract

We define the affinization of an arbitrary monoidal category $\mathcal{C}$, corresponding to the category of $\mathcal{C}$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to $\mathcal{C}$. The affinization formalizes and unifies many constructions appearing in the literature. In particular, we describe a large number of examples coming from Hecke-type algebras, braids, tangles, and knot invariants. When $\mathcal{C}$ is rigid, its affinization is isomorphic to its horizontal trace, although the two definitions look quite different. In general, the affinization and the horizontal trace are not isomorphic.

arXiv comment32 pages; v2: minor corrections, published version

References in corpus (12)

• A survey of graphical languages for monoidal categories
• The HOMFLYPT skein algebra of the torus and the elliptic Hall algebra
• A basis for the Birman-Wenzl algebra
• On the definition of quantum Heisenberg category
• Trace decategorification of categorified quantum sl(2)
• Trace as an alternative decategorification functor
• Representations of the oriented skein category
• Quantum Frobenius Heisenberg categorification
• Quantum K-theoretic geometric Satake
• Quantum affine wreath algebras
• A basis theorem for the affine Kauffmann category and its cyclotomic quotients
• Fusion and monodromy in the Temperley-Lieb category

Cited by in corpus (2)

• The quantum isomeric supercategory
• Quantum diagrammatics for $F_4$