A theory of induction and classification of tensor C^-categories

DOI10.4171/JNCG/102MaRDI QIDQ692848zbMATH OpenFDO

Authors Claudia Pinzari, John E. Roberts

Publication date 6 December 2012

Published in Journal of Noncommutative Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0907.2459

compact quantum groups ergodic \(C^\ast\)-actions Hilbert bimodule representations induced \(C^\ast\)-bimodules quasi-tensor functors tensor \(C^\ast\)-categories

Mathematics Subject Classification ID

Noncommutative dynamical systems (46L55) Quantizations, deformations for selfadjoint operator algebras (46L65) Categories, functors in functional analysis (46M15) Geometry of quantum groups (58B32) Operator algebra methods applied to problems in quantum theory (81R15)

Abstract: This paper addresses the problem of describing the structure of tensor C*-categories M with conjugates and irreducible tensor unit. No assumption on the existence of a braided symmetry or on amenability is made. Our assumptions are motivated by the remark that these categories often contain non-full tensor C*-subcategories with conjugates and the same objects admitting an embedding into the Hilbert spaces. Such an embedding defines a compact quantum group by Woronowicz duality. An important example is the Temperley--Lieb category canonically contained in a tensor C*-category generated by a single real or pseudoreal object of dimension bigger than 2. The associated quantum groups are the universal orthogonal quantum groups of Wang and Van Daele. Our main result asserts that there is a full and faithful tensor functor from M to a category of Hilbert bimodule representations of the compact quantum group. In the classical case, these bimodule representations reduce to the G-equivariant Hermitian bundles over compact homogeneous G-spaces, with G a compact group. Our structural results shed light on the problem of whether there is an embedding functor of M into the Hilbert spaces. We show that this is related to the problem of whether a classical compact Lie group can act ergodically on a non-type I von Neumann algebra. In particular, combining this with a result of Wassermann shows that an embedding exists if M is generated by a pseudoreal object of dimension 2.

Review text

Summary: This paper addresses the problem of describing the structure of tensor \(C^\ast\)-categories \(\mathcal{M}\) with conjugates and irreducible tensor unit. No assumption on the existence of a braided symmetry or on amenability is made. Our assumptions are motivated by the remark that these categories often contain non-full tensor \(C^\ast\)-subcategories with conjugates and the same objects admitting an embedding into Hilbert spaces. Such an embedding defines a compact quantum group by Woronowicz duality. An important example is the Temperley-Lieb category canonically contained in a tensor \(C^\ast\)-category generated by a single real or pseudoreal object of dimension \(\geq 2\). The associated quantum groups are the universal orthogonal quantum groups of \textit{A. Van Daele} and \textit{S.-Z. Wang} [Int. J. Math. 7, No.~2, 255--263 (1996; Zbl 0870.17011)]. Our main result asserts that there is a full and faithful tensor functor from \(\mathcal{M}\) to a category of Hilbert bimodule representations of the compact quantum group. In the classical case, these bimodule representations reduce to the \(G\)-equivariant Hermitian bundles over compact homogeneous \(G\)-spaces, with \(G\) a compact group. Our structural results shed light on the problem of whether there is an embedding functor of \(\mathcal{M}\) into the Hilbert spaces. We show that this is related to the problem of whether a classical compact Lie group can act ergodically on a non-type I von Neumann algebra. In particular, combining this with a result of \textit{A. Wassermann} [Invent. Math. 93, No.~2, 309--354 (1988; Zbl 0692.46058)] shows that an embedding exists if \(\mathcal{M}\) is generated by a pseudoreal object of dimension~\(2\).

Recommendations

Cites work

Cited in

(8)

This page was built for publication: A theory of induction and classification of tensor \(C^\ast\)-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692848)