Traces on Module Categories over Fusion Categories

Abstract

We consider traces on module categories over pivotal fusion categories which are compatible with the module structure. It is shown that such module traces characterise the Morita classes of special haploid symmetric Frobenius algebras. Moreover, they are unique up to a scale factor and they equip the dual category with a pivotal structure. This implies that for each pivotal structure on a fusion category over the complex numbers there exists a conjugate pivotal structure defined by the canonical module trace.

40 pages, update on the questions raised in Sec. 3

References in corpus (4)

• Duality and defects in rational conformal field theory
• Categorification and correlation functions in conformal field theory
• On unitary 2-representations of finite groups and topological quantum field theory
• Logarithmic bulk and boundary conformal field theory and the full centre construction

Cited by in corpus (20)

• On finite symmetries and their gauging in two dimensions
• Symmetries and Strings of Adjoint QCD${}_2$
• Construction of two-dimensional topological field theories with non-invertible symmetries
• Matrix product operator symmetries and intertwiners in string-nets with domain walls
• Sequential Quantum Circuits as Maps between Gapped Phases
• Mapping between Morita equivalent string-net states with a constant depth quantum circuit
• Topological defects
• Domain walls between 3d phases of Reshetikhin-Turaev TQFTs
• Shintani descent for algebraic groups and almost characters of unipotent groups
• Bulk from boundary in finite CFT by means of pivotal module categories
• An equivalence between Frobenius algebras and Calabi-Yau categories
• Frobenius algebras and homotopy fixed points of group actions on bicategories
• From gauging to duality in one-dimensional quantum lattice models
• On twisted Verlinde formulae for modular categories
• Extending the trace of a pivotal monoidal functor
• A categorical Connes' $\chi (M)$
• On $G$-crossed Frobenius $\star$-algebras and fusion rings associated with braided $G$-actions
• Standard $\lambda$-lattices, rigid ${\mathrm{C}}^{\ast }$ tensor categories, and (bi)modules
• Orbifold completion of 3-categories
• A geometrical description of untwisted 3d Dijkgraaf-Witten TQFT with defects