Table of Contents
Fetching ...

Weak braiding for algebras in braided monoidal categories

Devon Stockall

Abstract

Under appropriate conditions, if one picks a commutative algebra A with action of group G in braided monoidal category C, the category of A modules in C obtains a natural crossed G-braided structure. In the case of general commutative algebra object A in braided monoidal category C, one might ask what weakened notion of braiding one obtains on the category of A modules in C, and the relation that this braiding has to categorical symmetries acting on the associated quantum field theories, and on the algebra A itself. In the following article, we present a definition of weak-braided monoidal category. It is proven that braided G-crossed categories, and categories of modules over commutative algebra objects in braided monoidal categories are weak-braided monoidal categories. Conversely, it is proven that, under reasonable assumptions, if a weak-braided category D is given by twisting the braiding by a collection of `twisting functors', then D is crossed-braided by a group.

Weak braiding for algebras in braided monoidal categories

Abstract

Under appropriate conditions, if one picks a commutative algebra A with action of group G in braided monoidal category C, the category of A modules in C obtains a natural crossed G-braided structure. In the case of general commutative algebra object A in braided monoidal category C, one might ask what weakened notion of braiding one obtains on the category of A modules in C, and the relation that this braiding has to categorical symmetries acting on the associated quantum field theories, and on the algebra A itself. In the following article, we present a definition of weak-braided monoidal category. It is proven that braided G-crossed categories, and categories of modules over commutative algebra objects in braided monoidal categories are weak-braided monoidal categories. Conversely, it is proven that, under reasonable assumptions, if a weak-braided category D is given by twisting the braiding by a collection of `twisting functors', then D is crossed-braided by a group.

Paper Structure

This paper contains 12 sections, 18 theorems, 77 equations.

Key Result

Theorem \ref{Extensionweakbraiding}

Suppose that $\mathcal{C}$ is an abelian braided monoidal category with right exact tensor functors, and $A$ is an associative commutative algebra object in $\mathcal{C}$. Then $\mathop{\mathrm{Rep}}\nolimits_\mathcal{C}A$ is weak-braided.

Theorems & Definitions (54)

  • Theorem \ref{Extensionweakbraiding}
  • Theorem \ref{Gcrossedcase}
  • Theorem \ref{Gcrossedsufficient}
  • Definition 3.1
  • Definition 3.2
  • Definition 3.3
  • Proposition 3.1: Fresse2017 1.2.4
  • Proposition 3.2
  • Definition 3.4
  • Definition 3.5
  • ...and 44 more