From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors
read the original abstract
We are concerned with the center (=quantum double) of tensor categories and prove generalizations of several results proven previously for quantum doubles of Hopf algebras. We consider F-linear tensor categories C with simple unit and finitely many isomorphism classes of simple objects. We assume that C is either a *-category (i.e. there is a positive *-operation on the morphisms) or semisimple and spherical over an algebraically closed field F. In the latter case we assume that dim C=sum_i d(X_i)^2 is non-zero, where the summation runs over the isomorphism classes of simple objects. We prove: (i) Z(C) is a semisimple spherical (or *-) category. (ii) Z(C) is weakly monoidally Morita equivalent (in the sense of math.CT/0111204) to C X C^op. This implies dim Z(C)=(dim C)^2. (iii) We analyze the simple objects of Z(C) in terms of certain finite dimensional algebras, of which Ocneanu's tube algebra is the smallest. We prove the conjecture of Gelfand and Kazhdan according to which the number of simple objects of Z(C) coincides with the dimension of the state space H_{S^1\times S^1} of the torus in the triangulation TQFT built from C. (iv) We prove that Z(C) is modular and we compute the Gauss sums Delta_+/-(Z(C))=sum_i theta(X_i)^{+/- 1}d(X_i)^2=dim C. (v) Finally, if C is already modular then Z(C)\simeq C X C~, where C~ is the tensor category C with the braiding c~_{X,Y}=c_{Y,X}^{-1}.
This paper has not been read by Pith yet.
Forward citations
Cited by 5 Pith papers
-
Pro-Tensor Network
Introduces pro-tensor networks as a categorified graphical framework for many-many-body theories, recovers the Levin-Wen model, characterizes particles as modules over promonads, and relaxes semisimplicity, finiteness...
-
Non-Invertible Anyon Condensation and Level-Rank Dualities
New dualities in 3d TQFTs are derived via non-invertible anyon condensation, generalizing level-rank dualities and providing new presentations for parafermion theories, c=1 orbifolds, and SU(2)_N.
-
Pro-Tensor Network
Pro-tensor networks form a categorified framework for many-many-body theories that recovers the Levin-Wen model and characterizes particles as modules over promonads without requiring semisimplicity, finiteness or rigidity.
-
Operational Tube-Sector Theory of Quantum State Distinguishability Under Generalized Symmetries
Introduces tube-sector probabilities from the center of boundary tube algebras to give optimal one-shot distinguishability of quantum states under generalized symmetries.
-
Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories
Explicit construction of dual bimodules from Frobenius algebras in monoidal 2-categories, with promotion of coherent duals and proof that special Frobenius algebras in 2Vect are rigid.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.