Table of Contents
Fetching ...

Monadic reconstruction of unitary Drinfeld centers and Factorization Homology

Lucas Hataishi

TL;DR

The paper addresses how the unitary Drinfeld center of a unitary tensor category can be realized monadically as the category of unitary bimodules over a canonical W*-algebra object, enabling a C*-algebraic formulation of factorization homology. It develops a monadic reconstruction of the center via centralizer endofunctors and free half-braidings, and identifies the center with bimodules for the canonical algebra object $\mathcal{S}$, thereby connecting to Yetter-Drinfeld and internal algebra objects. Factorization homology is then formulated with coefficients in $\mathcal{Z}\mathrm{Hilb}(\mathcal{C})$ and realized through symmetric enveloping algebras, leading to extensions $(A^{\mathrm{op}}\otimes A) \underset{F}{\rtimes} \mathcal{Y}_\Sigma$ and actions of modular groups on these algebras. In the complex quantum group case, specifically $\mathcal{C}=\mathrm{Rep}_{fd}(K_q)$, the center corresponds to representations of the Drinfeld double $D K_q$, and one obtains a concrete description of factorization homology as a category of equivariant Hilbert modules over a $D K_q$-C*-algebra, providing a pathway to quantum gauge-theoretic observables in 2D TQFTs.

Abstract

We prove that the unitary Drinfeld center of a unitary tensor category is equivalente to the category of unitary bimodules for the canonical W*-algebra object, generalizing Müger's result to the non-fusion case. This is then used to express factorization homology in terms of C*-algebraic extensions of symmetric enveloping algebras and actions of Drinfeld dobules of compact quantum groups.

Monadic reconstruction of unitary Drinfeld centers and Factorization Homology

TL;DR

The paper addresses how the unitary Drinfeld center of a unitary tensor category can be realized monadically as the category of unitary bimodules over a canonical W*-algebra object, enabling a C*-algebraic formulation of factorization homology. It develops a monadic reconstruction of the center via centralizer endofunctors and free half-braidings, and identifies the center with bimodules for the canonical algebra object , thereby connecting to Yetter-Drinfeld and internal algebra objects. Factorization homology is then formulated with coefficients in and realized through symmetric enveloping algebras, leading to extensions and actions of modular groups on these algebras. In the complex quantum group case, specifically , the center corresponds to representations of the Drinfeld double , and one obtains a concrete description of factorization homology as a category of equivariant Hilbert modules over a -C*-algebra, providing a pathway to quantum gauge-theoretic observables in 2D TQFTs.

Abstract

We prove that the unitary Drinfeld center of a unitary tensor category is equivalente to the category of unitary bimodules for the canonical W*-algebra object, generalizing Müger's result to the non-fusion case. This is then used to express factorization homology in terms of C*-algebraic extensions of symmetric enveloping algebras and actions of Drinfeld dobules of compact quantum groups.

Paper Structure

This paper contains 24 sections, 70 theorems, 198 equations, 1 figure.

Key Result

Theorem A

The unitary Drinfeld center $\mathcal{Z} \mathrm{Hilb}(\mathcal{C})$ of a unitary tensor category is equivalent to the category $\mathop{\mathrm{Bim}}\nolimits_{\mathrm{Hilb}(\mathcal{C}^{mp} \boxtimes \mathcal{C})}(\mathcal{S})$ of unitary bimodules for the canonical W$^*$-algebra object $\mathcal{

Figures (1)

  • Figure 1: Genereting object, 1-morphism and 2-morphism in $\mathop{\mathrm{Disk}}\nolimits_2$, respectively

Theorems & Definitions (144)

  • Theorem A: Corollary \ref{['cor:equivalencehalfbraidingsunitarybimodulesoverSEalgebra']}
  • Theorem B: Proposition \ref{['prop:frommodulerforthecentertocentrallypointedbimodules']}
  • Theorem C: Corollary \ref{['cor:DrinfelddoubleactionsfromFH']}
  • Theorem D: Theorem \ref{['thm:extensionsofsymmetricenvelopingalgebra']}
  • Theorem E: Corollary \ref{['cor:extensionofSEfromFH']}
  • Remark 2.1
  • Definition 2.2
  • Remark 2.3
  • Definition 2.4
  • Definition 2.5
  • ...and 134 more