From subfactors to categories and topology. I. Frobenius algebras in and Morita equivalence of tensor categories

By Michael Mueger. 2001

331 citations recorded by the source corpus.

We consider certain categorical structures that are implicit in subfactor theory. Making the connection between subfactor theory (at finite index) and category theory explicit sheds light on both subjects. Furthermore, it allows various generalizations of these structures, e.g. to arbitrary ground fields, and the proof of new results about topological invariants in three dimensions. The central notion is that of a Frobenius algebra in a tensor category A, which reduces to the classical notion if A = F-Vect, where F is a field. An object X ∈ A with two-sided dual X gives rise to a Frobenius algebra in A, and under weak additional conditions we prove a converse: There exists a bicategory E with ObjE = {A, B} such that EndE(A) ⊗ ≃ A and such that there are J, J : B ⇋ A producing the given Frobenius algebra. Many properties (additivity, sphericity, semisimplicity, . . . ) of A carry over to the bicategory E. We define weak monoidal Morita equivalence of tensor categories, denoted A ≈ B, and establish a correspondence between Frobenius algebras in A and tensor categories B ≈ A. While considerably weaker than equivalence of tensor categories, weak monoidal Morita equivalence A ≈ B has remarkable consequences: A and B have equivalent (as braided tensor categories) quantum doubles (‘centers’) and (if A, B are semisimple spherical or ∗-categories) have equal dimensions and give rise the same state sum invariant of closed oriented 3-manifolds as recently defined by Barrett and Westbury. An instructive example is provided by finite dimensional semisimple and cosemisimple Hopf algebras, for which we prove H − mod ≈ ˆ H − mod. The present formalism permits a fairly complete analysis of the center of a semisimple spherical category, which is the subject of the companion paper math.CT/0111205.

Subfields: Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/7ece733fa38125004183221aa748cb7ace68f8c2

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Geometry and Topology

In Mathematical Physics

Citations in the corpus

Frobenius algebras and ambidextrous adjunctions (2005, neutral): “An attempt to prove this result was made by Müger [31] who showed that, with certain extra assumptions about the monoidal category M , a 2-category E into which M fully and faithfully embeds can be constructed, and Frobenius objects in M correspond precisely to ambijunctions in this 2-category E .”
A categorification of quantum sl(n) (2008, background): “For more on biadjoint 1-morphisms and their graphical calculus see [3, 28,32,33,37].”
Higher Gauging and Non-invertible Condensation Defects (2022, background): “(58)This definition of the algebra object was originally introduced in [128, 101].”
An introduction to diagrammatic algebra and categorified quantum sl(2) (2011, background): “Additional material on biadjoints can be found in [1, 32, 33, 46, 57].”
Tensor categories: a selective guided tour (2008, methodology): “) • As shown in [191], a weak monoidal Morita equivalence C1 ≈ C1 of fusion categories implies Z1(C1) ≃ Z1(C2).”