Braided monoidal category

In mathematics, a commutativity constraint $\gamma$ on a monoidal category ${\mathcal {C}}$ is a choice of isomorphism $\gamma _{A,B}:A\otimes B\rightarrow B\otimes A$ for each pair of objects A and B which form a "natural family." In particular, to have a commutativity constraint, one must have $A\otimes B\cong B\otimes A$ for all pairs of objects $A,B\in {\mathcal {C}}$ .

A braided monoidal category is a monoidal category ${\mathcal {C}}$ equipped with a braiding—that is, a commutativity constraint $\gamma$ that satisfies axioms including the hexagon identities defined below. The term braided references the fact that the braid group plays an important role in the theory of braided monoidal categories. Partly for this reason, braided monoidal categories and other topics are related in the theory of knot invariants.

Alternatively, a braided monoidal category can be seen as a tricategory with one 0-cell and one 1-cell.

Braided monoidal categories were introduced by André Joyal and Ross Street in a 1986 preprint[1]. A modified version of this paper was published in 1993.[2]

The hexagon identities

For ${\mathcal {C}}$ along with the commutativity constraint $\gamma$ to be called a braided monoidal category, the following hexagonal diagrams must commute for all objects $A,B,C\in {\mathcal {C}}$ . Here $\alpha$ is the associativity isomorphism coming from the monoidal structure on ${\mathcal {C}}$ :

,

Properties

Coherence

It can be shown that the natural isomorphism $\gamma$ along with the maps $\alpha ,\lambda ,\rho$ coming from the monoidal structure on the category ${\mathcal {C}}$ , satisfy various coherence conditions, which state that various compositions of structure maps are equal. In particular:

The braiding commutes with the units. That is, the following diagram commutes:

The action of $\gamma$ on an $N$ -fold tensor product factors through the braid group. In particular,

$(\gamma _{B,C}\otimes {\text{Id}})\circ ({\text{Id}}\otimes \gamma _{A,C})\circ (\gamma _{A,B}\otimes {\text{Id}})=({\text{Id}}\otimes \gamma _{A,B})\circ (\gamma _{A,C}\otimes {\text{Id}})\circ ({\text{Id}}\otimes \gamma _{B,C})$

as maps $A\otimes B\otimes C\rightarrow C\otimes B\otimes A$ . Here we have left out the associator maps.

Variations

There are several variants of braided monoidal categories that are used in various contexts. See, for example, the expository paper of Savage (2009) for an explanation of symmetric and coboundary monoidal categories, and the book by Chari and Pressley (1995) for ribbon categories.

Symmetric monoidal categories

A braided monoidal category is called symmetric if $\gamma$ also satisfies $\gamma _{B,A}\circ \gamma _{A,B}=Id$ for all pairs of objects $A$ and $B$ . In this case the action of $\gamma$ on an $N$ -fold tensor product factors through the symmetric group.

Ribbon categories

A braided monoidal category is a ribbon category if it is rigid, and it may preserve quantum trace and co-quantum trace. Ribbon categories are particularly useful in constructing knot invariants.

Coboundary monoidal categories

Sometimes categories are assumed to have n-ary monoidal products for all finite n (in particular n > 2), diminishing the role of associator morphisms. In such categories, the following variant is used, where the hexagon axiom is replaced by the two conditions:

$\gamma _{B,A}\circ \gamma _{A,B}={\text{Id}}$ for all pairs of objects $A$ and $B$ .
$\gamma _{B\otimes A,C}\circ (\gamma _{A,B}\otimes {\text{Id}})=\gamma _{A,C\otimes B}\circ ({\text{Id}}\otimes \gamma _{B,C})$

Examples

The category of representations of a group (or a Lie algebra) is a symmetric monoidal category where $\gamma (v\otimes w)=w\otimes v$ .
The category of representations of a quantized universal enveloping algebra $U_{q}({\mathfrak {g}})$ is a braided monoidal category, where $\gamma$ is constructed using the universal R-matrix. In fact, this example is a ribbon category as well.

Applications

Knot invariants.
Symmetric closed monoidal categories are used in denotational models of linear logic and linear types.
Description and classification of topological ordered quantum systems.

References

André Joyal; Ross Street (November 1986), "Braided monoidal categories" (PDF), Macquarie Mathematics Reports (860081)
André Joyal; Ross Street (1993), "Braided tensor categories", Advances in Mathematics, 102: 20–78, doi:10.1006/aima.1993.1055

Chari, Vyjayanthi; Pressley, Andrew. "A guide to quantum groups". Cambridge University Press. 1995.
Savage, Alistair. Braided and coboundary monoidal categories. Algebras, representations and applications, 229–251, Contemp. Math., 483, Amer. Math. Soc., Providence, RI, 2009. Available on the arXiv

External links

Braided monoidal category in nLab
John Baez (1999), An introduction to braided monoidal categories, This week's finds in mathematical physics 137.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] André Joyal; Ross Street (November 1986), "Braided monoidal categories" (PDF), Macquarie Mathematics Reports (860081)

[2] André Joyal; Ross Street (1993), "Braided tensor categories", Advances in Mathematics, 102: 20–78, doi:10.1006/aima.1993.1055