Operator Algebras in Rigid C*-Tensor Categories

By Corey Jones, David Penneys. 2016

48 citations recorded by the source corpus.

In this article, we define operator algebras internal to a rigid C*-tensor category $${\mathcal{C}}$$C. A C*/W*-algebra object in $${\mathcal{C}}$$C is an algebra object A in ind-$${\mathcal{C}}$$C whose category of free modules $${\mathsf{FreeMod}_\mathcal{C}(\mathbf{A})}$$FreeModC(A) is a $${\mathcal{C}}$$C-module C*/W*-category respectively. When $${\mathcal{C}= \mathsf{Hilb}_\mathsf{fd}}$$C=Hilbfd, the category of finite dimensional Hilbert spaces, we recover the usual notions of operator algebras. We generalize basic representation theoretic results, such as the Gelfand-Naimark and von Neumann bicommutant theorems, along with the GNS construction. We define the notion of completely positive morphisms between C*-algebra objects in $${\mathcal{C}}$$C and prove the analog of the Stinespring dilation theorem. As an application, we discuss approximation and rigidity properties, including amenability, the Haagerup property, and property (T) for a connected W*-algebra M in $${\mathcal{C}}$$C. Our definitions simultaneously unify the definitions of analytic properties for discrete quantum groups and rigid C*-tensor categories.

Subfields: Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/1d545a5a2149a202a545cff47dd537d653621b0e