Ribbon category

In mathematics, a ribbon category, also called a tortile category, is a particular type of braided monoidal category.

Definition

A monoidal category ${\displaystyle {\mathcal {C}}}$ is, loosely speaking, a category equipped with a notion resembling the tensor product (of vector spaces, say). That is, for any two objects ${\displaystyle C_{1},C_{2}\in {\mathcal {C}}}$, there is an object ${\displaystyle C_{1}\otimes C_{2}\in {\mathcal {C}}}$. The assignment ${\displaystyle C_{1},C_{2}\mapsto C_{1}\otimes C_{2}}$ is supposed to be functorial and needs to require a number of further properties such as a unit object 1 and an associativity isomorphism. Such a category is called braided if there are isomorphisms

${\displaystyle c_{C_{1},C_{2}}:C_{1}\otimes C_{2}{\stackrel {\cong }{\rightarrow }}C_{2}\otimes C_{1}.}$

A braided monoidal category is called a ribbon category if the category is left rigid and has a family of twists. The former means that for each object ${\displaystyle C}$ there is another object (called the left dual), ${\displaystyle C^{*}}$, with maps

${\displaystyle 1\rightarrow C\otimes C^{*},C^{*}\otimes C\rightarrow 1}$

such that the compositions

${\displaystyle C^{*}\cong C^{*}\otimes 1\rightarrow C^{*}\otimes (C\otimes C^{*})\cong (C^{*}\otimes C)\otimes C^{*}\rightarrow 1\otimes C^{*}\cong C^{*}}$

equals the identity of ${\displaystyle C^{*}}$, and similarly with ${\displaystyle C}$. The twists are maps

${\displaystyle C\in {\mathcal {C}}}$, ${\displaystyle \theta _{C}:C\rightarrow C}$

such that

${\displaystyle {\begin{aligned}\theta _{C_{1}\otimes C_{2}}&=c_{C_{2},C_{1}}c_{C_{1},C_{2}}(\theta _{C_{1}}\otimes \theta _{C_{2}})\\\theta _{1}&=\mathrm {id} \\\theta _{C^{*}}&=(\theta _{C})^{*}.\end{aligned}}}$

To be a ribbon category, the duals have to be thus compatible with the braiding and the twists.

Concrete Example

Suppose that ${\displaystyle C}$ is a finite-dimensional vector space spanned by the basis vectors ${\displaystyle {\hat {e_{1}}},{\hat {e_{2}}},\cdots ,{\hat {e_{n}}}}$. We assign to ${\displaystyle C}$ the dual space ${\displaystyle C^{*}}$ spanned by the basis vectors ${\displaystyle {\hat {e}}^{1},{\hat {e}}^{2},\cdots ,{\hat {e}}^{n}}$, such a given ${\displaystyle {\hat {e_{i}}}}$ is assigned the dual ${\displaystyle {\hat {e}}^{i}}$. Then let us define

${\displaystyle {\begin{aligned}\cdot$ :\ C^{\ast }\times C&\to 1\\{\hat {e}}^{i}\cdot {\hat {e_{j}}}&\mapsto {\begin{cases}1&i=j\\0&i\neq j\end{cases}}\end{aligned}}}

and its dual

${\displaystyle {\begin{aligned}kI_{n}:1&\to C\otimes C^{\ast }\\k&\mapsto k\sum _{i=1}^{n}{\hat {e_{i}}}\otimes {\hat {e}}^{i}\\&={\begin{pmatrix}k&0&\cdots &0\\0&k&&\vdots \\&&\ddots &\\0&\cdots &&k\end{pmatrix}}\end{aligned}}}$

Then indeed we find that (for example)

${\displaystyle {\begin{aligned}{\hat {e}}^{i}&\cong {\hat {e}}^{i}\otimes 1\\&\to {\hat {e}}^{i}\otimes \sum _{j=1}^{n}{\hat {e_{j}}}\otimes {\hat {e}}^{j}\\&\cong \sum _{j=1}^{n}\left({\hat {e}}^{i}\otimes {\hat {e_{j}}}\right)\otimes {\hat {e}}^{j}\\&\to \sum _{j=1}^{n}{\begin{cases}1\otimes {\hat {e}}^{j}&i=j\\0\otimes {\hat {e}}^{j}&i\neq j\end{cases}}\\&=1\otimes {\hat {e}}^{i}\cong {\hat {e}}^{i}\end{aligned}}}$

Other Examples

• The category of projective modules over a commutative ring. In this category, the monoidal structure is the tensor product, the dual object is the dual in the sense of (linear) algebra, which is again projective. The twists in this case are the identity maps.
• A more sophisticated example of a ribbon category are finite-dimensional representations of a quantum group. ^[1]

The name ribbon category is motivated by a graphical depiction of morphisms. ^[2]

Variant

A strongly ribbon category is a ribbon category C equipped with a dagger structure such that the functor †: C ^op → C coherently preserves the ribbon structure.

References

1. Turaev 2020 , XI. An algebraic construction of modular categories
2. Turaev 2020 , p. 25

• Turaev, V.G. (2020) [1994]. Quantum Invariants of Knots and 3-Manifolds. de Gruyter. ISBN   978-3-11-088327-5.
• Yetter, David N. (2001). Functorial Knot Theory. World Scientific. ISBN   978-981-281-046-5. OCLC   1149402321.
• Ribbon category at the nLab