Spherical Categories

Abstract

This paper is a study of monoidal categories with duals where the tensor product need not be commutative. The motivating examples are categories of representations of Hopf algebras and the motivating application is the definition of 6j-symbols as used in topological field theories. We introduce the new notion of a spherical category. In the first section we prove a coherence theorem for a monoidal category with duals following MacLane (1963). In the second section we give the definition of a spherical category, and construct a natural quotient which is also spherical. In the third section we define spherical Hopf algebras so that the category of representations is spherical. Examples of spherical Hopf algebras are involutory Hopf algebras and ribbon Hopf algebras. Finally we study the natural quotient in these cases and show it is semisimple.

16 pages. Minor corrections

Cited by in corpus (88)

• Spiders for rank 2 Lie algebras
• A survey of graphical languages for monoidal categories
• Homotopy field theory in dimension 3 and crossed group-categories
• Quantum computation with Turaev-Viro codes
• The Ponzano-Regge model
• The two-color Soergel calculus
• Categorical formulation of quantum algebras
• Topological dualities in the Ising model
• Skein theory for the D_{2n} planar algebras
• Fixing the functoriality of Khovanov homology
• Logarithmic conformal field theory, log-modular tensor categories and modular forms
• String-net models for non-spherical pivotal fusion categories
• Orbifolds of n-dimensional defect TQFTs
• A Diagrammatic Category for the Representation Theory of U_q(sl_n)
• Topological Higher Gauge Theory - from BF to BFCG theory
• Holonomy and parallel transport for Abelian gerbes
• The blob complex
• Conformal Orbifold Theories and Braided Crossed G-Categories
• A Prehistory of n-Categorical Physics
• State sum construction of two-dimensional open-closed Topological Quantum Field Theories
• On unitary 2-representations of finite groups and topological quantum field theory
• Generalized Lattice Gauge Theory, Spin Foams and State Sum Invariants
• Towards 3-Dimensional Rewriting Theory
• The trace on projective representations of quantum groups
• Invariant tensors and cellular categories
• On Enriching the Levin-Wen model with Symmetry
• Examples of categorification
• Gray categories with duals and their diagrams
• A categorical and diagrammatical approach to Temperley-Lieb algebras
• Subfactors of index less than 5, part 1: the principal graph odometer
• Topological Quantum Field Theories from Compact Lie Groups
• On fusion categories
• Categorical Groups, Knots and Knotted Surfaces
• Weak Hopf Algebras II: Representation theory, dimensions and the Markov trace
• Semisimplification of the category of tilting modules for GL_n
• Two-dimensional state sum models and spin structures
• Tensor categories: A selective guided tour
• A Categorification of Quantum sl_3 Projectors and the sl_3 Reshetikhin-Turaev Invariant of Tangles
• Finitely semisimple spherical categories and modular categories are self-dual
• Domain walls between 3d phases of Reshetikhin-Turaev TQFTs
• The half-twist for U_q(g) representations
• State Sum Invariants of Three Manifolds from Spherical Multi-fusion Categories
• From Subfactors to Categories and Topology I. Frobenius algebras in and Morita equivalence of tensor categories
• On the Structure of Modular Categories
• Modified graded Hennings invariants from unrolled quantum groups and modified integral
• On symmetrization of 6j-symbols and Levin-Wen Hamiltonian
• State Sums and Geometry
• Ambidextrous objects and trace functions for nonsemisimple categories
• Semisimplicity and Indecomposable Objects in Interpolating Partition Categories
• Web bases for the general linear groups
• Frobenius-Schur indicators in Tambara-Yamagami categories
• Traces in braided categories
• Kuperberg and Turaev-Viro Invariants in Unimodular Categories
• From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors
• The algebra of knotted trivalent graphs and Turaev's shadow world
• A classical approach to TQFT's
• Spherical 2-categories and 4-manifold invariants
• Non-semisimple Levin-Wen Models and Hermitian TQFTs from quantum (super)groups
• Planar diagrammatics of self-adjoint functors and recognizable tree series
• On webs in quantum type $C$
• Anomaly resolution by non-invertible symmetries
• Notes on the bicategory of W*-bimodules
• Mixed vs Stable Anti-Yetter-Drinfeld Contramodule
• Modular invariants for group-theoretical modular data. I
• Galois extensions of braided tensor categories and braided crossed G-categories
• Recent developments of the categorical Verlinde formula
• Link invariants from finite categorical groups and braided crossed modules
• Holonomy braidings, biquandles and quantum invariants of links with $S{L}_2(\mathbb{C})$ flat connections
• On the Monoidal Center of Deligne's Category Rep(S_t)
• Generalised Taft algebras and pairs in involution
• Representations of algebraic quantum groups and reconstruction theorems for tensor categories
• Constructing non-semisimple modular categories with relative monoidal centers
• Homotopy Quantum Field Theories and the Homotopy Cobordism Category in Dimension 1+1
• Representations of copointed Hopf algebras arising from the tetrahedron rack
• Modified Turaev-Viro Invariants from quantum sl(2|1)
• A combinatorial description of the centralizer algebras connected to the Links-Gould Invariant
• Nakayama functors for coalgebras and their applications to Frobenius tensor categories
• Categorical Quantum Volume Operator
• Introduction to Spin Networks and Towards a Generalization of the Decomposition Theorem
• Weak Hopf Algebras unify the Hennings-Kauffman-Radford and the Reshetikhin-Turaev invariant
• Simple modules of small quantum groups at dihedral groups
• Interpolation categories for Conformal Embeddings
• Derived counterparts of fusion categories of quantum groups
• Pivotal and Ribbon Entwining Datums
• Topological Mathieu Moonshine
• Link invariants from finite categorical groups
• ${\mathrm{SL}}_2(\mathbb{C})$-holonomy invariants of links
• A universal state sum