Results 1 
8 of
8
From subfactors to categories and topology I. Frobenius algebras in and Morita equivalence of tensor categories
 J. Pure Appl. Alg
, 2003
"... 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 f ..."
Abstract

Cited by 52 (6 self)
 Add to MetaCart
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 = FVect, where F is a field. An object X ∈ A with twosided 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 3manifolds 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. 1
From subfactors to categories and topology III. Triangulation invariants of 3manifolds and Morita equivalence of tensor categories
 In preparation
"... ..."
Integral theory for quasiHopf algebras
"... Abstract. We generalize the fundamental structure Theorem on Hopf (bi)modules by Larson and Sweedler to quasiHopf algebras H. For dim H < ∞ this proves the existence and uniqueness (up to scalar multiples) of integrals in H. Among other applications we prove a Maschketype Theorem for diagonal cros ..."
Abstract

Cited by 16 (0 self)
 Add to MetaCart
Abstract. We generalize the fundamental structure Theorem on Hopf (bi)modules by Larson and Sweedler to quasiHopf algebras H. For dim H < ∞ this proves the existence and uniqueness (up to scalar multiples) of integrals in H. Among other applications we prove a Maschketype Theorem for diagonal crossed products as constructed by the authors in [HN, HN99].
2C ∗Categories with nonsimple units
, 2008
"... We study the general structure of 2C ∗categories closed under conjugation, projections and direct sums. We do not assume units to be simple, i.e. for ιA the 1unit corresponding to an object A, the space Hom(ιA, ιA) is a commutative unital C ∗algebra. We show that 2arrows can be viewed as contin ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
We study the general structure of 2C ∗categories closed under conjugation, projections and direct sums. We do not assume units to be simple, i.e. for ιA the 1unit corresponding to an object A, the space Hom(ιA, ιA) is a commutative unital C ∗algebra. We show that 2arrows can be viewed as continuous sections in Hilbert bundles and describe the behaviour of the fibres with respect to the categorical structure. We give an example of a 2C ∗Category giving rise to bundles of finite Hopfalgebras in duality. We make some remarks concerning Frobenius algebras and Qsystems in the general context of tensor C ∗categories with nonsimple units.
On Two Proofs for the Existence and Uniqueness of Integrals for FiniteDimensional Hopf Algebras
, 2008
"... Integrals play a basic role in the structure theory of finitedimensional Hopf algebras A and their duals A ∗ over a field k. The existence and uniqueness of integrals for finitedimensional Hopf algebras was first established by Hopf modules; for a long time the only means known for doing so. In [2 ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Integrals play a basic role in the structure theory of finitedimensional Hopf algebras A and their duals A ∗ over a field k. The existence and uniqueness of integrals for finitedimensional Hopf algebras was first established by Hopf modules; for a long time the only means known for doing so. In [2], [3] and [7] the existence and uniqueness of integrals for A is established without using Hopf modules. We find the approach of [3] very interesting in that it is based on a formalism which relates Hopf algebras and complete invariants of 3manifolds in a rather intriguing way. This paper has two main purposes. The first is to explain the formalism of [3] to the extent that the proof of the existence and uniqueness of integrals for A found in [3] can be understood in more familiar algebraic terms. The reader is directed to [10] for a much fuller explanation of this formalism which includes a discussion of its subtleties and its connections with identities which
Doubles of (quasi) Hopf algebras
, 2001
"... and some examples of quantum groupoids and vertex groups related to them ..."
Quantum Kramers–Wannier Duality And Its Topology
, 1998
"... We show for any oriented surface, possibly with a boundary, how to generalize Kramers–Wannier duality to the world of quantum groups. The generalization is motivated by quantization of Poisson–Lie Tduality from the string theory. Cohomologies with quantum coefficients are defined for surfaces and t ..."
Abstract
 Add to MetaCart
We show for any oriented surface, possibly with a boundary, how to generalize Kramers–Wannier duality to the world of quantum groups. The generalization is motivated by quantization of Poisson–Lie Tduality from the string theory. Cohomologies with quantum coefficients are defined for surfaces and their meaning is revealed. They are functorial with respect to some glueing operations and connected with qinvariants of 3folds. 1
Università di Roma “Tor Vergata” Tesi di Dottorato in Matematica
"... 2.1 Amplimorphisms between C ∗algebras and subfactors...... 12 2.2 Endomorphisms of a C ∗algebra.................. 14 ..."
Abstract
 Add to MetaCart
2.1 Amplimorphisms between C ∗algebras and subfactors...... 12 2.2 Endomorphisms of a C ∗algebra.................. 14