REVIEW 8 cited by
From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
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}.
Forward citations
Cited by 8 Pith papers
-
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.
-
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.
-
Chiral Tube Algebras I: Topological Defect Lines, Twisted Modules, and Finite Gauging
Chiral tube algebras unify chiral algebras and TDLs by acting on twisted defect spaces via local and non-local currents, with modules isomorphic to twisted modules of the parent algebras.
-
Parafermionizing the Monster
Parafermionization equates the Monster CFT to a gauged parafermion pair, yielding Rep(so(3)_p) symmetry and defect McKay-Thompson series invariant under Gamma_1(p+2).
-
On \'Etale Algebras and Bosonic Fusion 2-Categories
Connected and Lagrangian étale algebras in Z_1(2Vect^π_G) are classified by subgroups, braided fusion categories with group actions, and 4-group morphism data; this yields a parametrization of bosonic fusion 2-categories.
-
A diagrammatic field theory of quantum error correction
Exact correctability of fusion-space codes is equivalent to fibrewise Knill–Laflamme conditions on syndrome-admissible footprint algebras, with a conditional Peierls threshold for growing families and explicit Ising e...
-
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.
-
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.
Discussion (0). Continue with ORCID to comment.