Affinization of monoidal categories

DOI10.5802/JEP.158MaRDI QIDQ2660434zbMATH OpenOpenAlexFDO

Authors Youssef Mousaaid, Alistair Savage

Publication date 30 March 2021

Published in Journal de l’École polytechnique — Mathématiques (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2010.13598

zbMATH Keywords

affinizationannulusbraidcylindermonoidal categoryskein theorystring diagramtangle

Mathematics Subject Classification ID

Braided monoidal categories and ribbon categories (18M15) String diagrams and graphical calculi (18M30) Knot polynomials (57K14) Invariants of 3-manifolds (including skein modules, character varieties) (57K31)

Abstract: We define the affinization of an arbitrary monoidal category $mathcalC$, corresponding to the category of $mathcalC$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to $mathcalC$. 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 $mathcalC$ 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.

Review text

The article defines and studies a general construction called affinization which produces a category for any given strict monoidal category \(\mathcal{C}\). The affinization of \(\mathcal{C}\) can be thought of as the category of \(\mathcal{C}\)-(string )diagrams on the cylinder. If \(\mathcal{C}\) is braided, the affinization is strict monoidal and can be obtained from \(\mathcal{C}\) by adjoining so-called ``dot-morphisms for all objects, which represent identity morphisms ``wrapping around the cylinder. Properties of the affinization are examined. For instance, it is shown that any action of \(\mathcal{C}\) on a balanced strict monoidal category extends to an action of the affinization of \(\mathcal{C}\), where the action of the dot-morphisms involve twists. A comparison of the affinization with the so-called horizontal trace construction yields that the two result in isomorphic categories if \(\mathcal{C}\) is rigid, but not in general, in which case the affinization still naturally corresponds to the category of \(\mathcal{C}\)-diagrams on the cylinder. It is explained that the so-called vertical trace of the affinization can be regarded as the category of \(\mathcal{C}\)-diagrams on the torus. On the other hand, for a left-rigid or right-rigid braided \(\mathcal{C}\), the endomorphism algebra of the identity object in the affinization is identified with the vertical trace of \(\mathcal{C}\). Affinizations are computed for several categories \(\mathcal{C}\). In particular, it is shown that the affinization of various categories of braids or (framed/oriented) tangles over the disc are exactly the corresponding categories over the annulus. Similarly, the affinization of the framed HOMFLYPT skein category or the Kauffman skein category over the disc is the corresponding category over the annulus. The affinization of the tower of Iwahori-Hecke algebras of type A, viewed as a monoidal category, is the tower of affine Hecke algebras of type A, and the affinization of the Temperley-Lieb category is the affine Temperley-Lieb category. An affinization construction for 2-categories generalizing the construction for strict monoidal categories is defined and discussed briefly. It is stated that the construction reproduces the horizontal trace construction in the rigid situation, while it produces a different category in general, which still corresponds to the category of string diagrams for the 2-category on the cylinder.

Recommendations

• scientific article; zbMATH DE number 806526
• A basis theorem for the affine Kauffman category and its cyclotomic quotients
• Traced monoidal categories
• Monoidal categories in, and linking, geometry and algebra
• Traces in braided categories

Cites work

• A survey of graphical languages for monoidal categories
• An Invariant of Regular Isotopy
• Braided compact closed categories with applications to low dimensional topology
• Diagram algebras, Hecke algebras and decomposition numbers at roots of unity
• scientific article; zbMATH DE number 706259 (Why is no real title available?)
• scientific article; zbMATH DE number 1542063 (Why is no real title available?)
• On the definition of quantum Heisenberg category
• OPERATOR INVARIANTS OF TANGLES, ANDR-MATRICES
• Quantum affine wreath algebras
• Quantum K-theoretic geometric Satake: the \(\mathrm{SL}_{n}\) case
• The HOMFLYPT skein algebra of the torus and the elliptic Hall algebra
• The representation theory of affine Temperley-Lieb algebras
• Tortile tensor categories
• Trace as an alternative decategorification functor
• Trace decategorification of categorified quantum \(\mathfrak {sl}_2\)

Cited in

(11)

• Monoidal categories
• A basis theorem for the affine Kauffman category and its cyclotomic quotients
• Categorification of the elliptic Hall algebra
• Affine categories
• scientific article; zbMATH DE number 4067161 (Why is no real title available?)
• scientific article; zbMATH DE number 1284150 (Why is no real title available?)
• scientific article; zbMATH DE number 7115831 (Why is no real title available?)
• Elementary remarks on units in monoidal categories
• Annular webs and Levi subalgebras
• Quantum diagrammatics for F₄
• Affine Frobenius Brauer categories

This page was built for publication: Affinization of monoidal categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2660434)