Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA theory of induction and classification of tensor C*-categories
249
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic 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.
rate research
Read More
Let G be a classical compact Lie group and G_mu the associated compact matrix quantum group deformed by a positive parameter mu (or a nonzero and real mu in the type A case). It is well known that the category Rep(G_mu) of unitary f.d. representations of G_mu is a braided tensor C*-category. We show that any braided tensor *-functor from Rep(G_mu) to another braided tensor C*-category with irreducible tensor unit is full if |mu| eq 1. In particular, the functor of restriction to the representation category of a proper compact quantum subgroup, cannot be made into a braided functor. Our result also shows that the Temperley--Lieb category generated by an object of dimension >2 can not be embedded properly into a larger category with the same objects as a braided tensor C*-subcategory.
We introduce a notion of $n$-commutativity ($0le nle infty$) for cosimplicial monoids in a symmetric monoidal category ${bf V}$, where $n=0$ corresponds to just cosimplicial monoids in ${bf V,}$ while $n=infty$ corresponds to commutative cosimplicial monoids. If ${bf V}$ has a monoidal model structure we show (under some mild technical conditions) that the total object of an $n$-cosimplicial monoid has a natural $E_{n+1}$-algebra structure. Our main applications are to the deformation theory of tensor categories and tensor functors. We show that the deformation complex of a tensor functor is a total complex of a $1$-commutative cosimplicial monoid and, hence, has an $E_2$-algebra structure similar to the $E_2$-structure on Hochschild complex of an associative algebra provided by Delignes conjecture. We further demonstrate that the deformation complex of a tensor category is the total complex of a $2$-commutative cosimplicial monoid and, therefore, is naturally an $E_3$-algebra. We make these structures very explicit through a language of Delannoy paths and their noncommutative liftings. We investigate how these structures manifest themselves in concrete examples.
We construct a new class of finite-dimensional C^*-quantum groupoids at roots of unity q=e^{ipi/ell}, with limit the discrete dual of the classical SU(N) for large orders. The representation category of our groupoid turns out to be tensor equivalent to the well known quotient C^*-category of the category of tilting modules of the non-semisimple quantum group U_q({mathfrak sl}_N) of Drinfeld, Jimbo and Lusztig. As an algebra, the C^*-groupoid is a quotient of U_q({mathfrak sl}_N). As a coalgebra, it naturally reflects the categorical quotient construction. In particular, it is not coassociative, but satisfies axioms of the weak quasi-Hopf C^*-algebras: quasi-coassociativity and non-unitality of the coproduct. There are also a multiplicative counit, an antipode, and an R-matrix. For this, we give a general construction of quantum groupoids for complex simple Lie algebras {mathfrak g} eq E_8 and certain roots of unity. Our main tools here are Drinfelds coboundary associated to the R-matrix, related to the algebra involution, and certain canonical projections introduced by Wenzl, which yield the coproduct and Drinfelds associator in an explicit way. Tensorial properties of the negligible modules reflect in a rather special nature of the associator. We next reduce the proof of the categorical equivalence to the problems of establishing semisimplicity and computing dimension of the groupoid. In the case {mathfrak g}={mathfrak sl}_N we construct a (non-positive) Haar-type functional on an associative version of the dual groupoid satisfying key non-degeneracy properties. This enables us to complete the proof.
We discuss a number of general constructions concerning additive $ C^* $-categories, focussing in particular on establishing the existence of bicolimits. As an illustration of our results we show that balanced tensor products of module categories over $ C^* $-tensor categories exist without any finiteness assumptions.
C*-categories are essentially norm-closed *-categories of bounded linear operators between Hilbert spaces. The purpose of this work is to identify suitable axioms defining Krein C*-categories, i.e. those categories that play the role of C*-categories whenever Hilbert spaces are replaced by more general indefinite inner product Krein spaces, and provide some basic examples. Finally we provide a Gelfand-Naimark representation theorem for Krein C*-algebras and Krein C*-categories.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
