Results 1  10
of
36
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
Category theory for conformal boundary conditions
 FIELDS INST. COMMUN. AMER. MATH. SOC., PROVIDENCE, RI
, 2003
"... ... inherits various structures from C, provided that A is a Frobenius algebra with certain additional properties. As a byproduct we obtain results about the FrobeniusSchur indicator in sovereign tensor categories. A braiding on C is not needed, nor is semisimplicity. We apply our results to the d ..."
Abstract

Cited by 50 (14 self)
 Add to MetaCart
... inherits various structures from C, provided that A is a Frobenius algebra with certain additional properties. As a byproduct we obtain results about the FrobeniusSchur indicator in sovereign tensor categories. A braiding on C is not needed, nor is semisimplicity. We apply our results to the description of boundary conditions in twodimensional conformal field theory and present illustrative examples. We show that when the module category is tensor, then it gives rise to a NIMrep of the fusion rules, and discuss a possible relation with the representation theory of vertex operator algebras.
Simplicial moves on complexes and manifolds
 GEOMETRY & TOPOLOGY MONOGRAPHS VOLUME 2: PROCEEDINGS OF THE KIRBYFEST PAGES 299–320
"... ..."
From subfactors to categories and topology III. Triangulation invariants of 3manifolds and Morita equivalence of tensor categories
 In preparation
"... ..."
The classical evaluation of relativistic spin networks
 Adv. Theor. Math. Phys
, 1998
"... The evaluation of a relativistic spin network for the classical case of the Lie group is given by an integral formula over copies of SU(2). For the graph determined by a 4simplex this gives the evaluation as an integral over a space of geometries for a 4simplex. 1 ..."
Abstract

Cited by 27 (6 self)
 Add to MetaCart
The evaluation of a relativistic spin network for the classical case of the Lie group is given by an integral formula over copies of SU(2). For the graph determined by a 4simplex this gives the evaluation as an integral over a space of geometries for a 4simplex. 1
Noninvolutory Hopf algebras and 3manifold invariants, preprint
, 1994
"... Abstract. We present a definition of an invariant #(M, H), defined for every finitedimensional Hopf algebra (or Hopf superalgebra or Hopf object) H and for every closed, framed 3manifold M. When H is a quantized universal enveloping algebra, #(M, H) is closely related to wellknown quantum link in ..."
Abstract

Cited by 23 (0 self)
 Add to MetaCart
Abstract. We present a definition of an invariant #(M, H), defined for every finitedimensional Hopf algebra (or Hopf superalgebra or Hopf object) H and for every closed, framed 3manifold M. When H is a quantized universal enveloping algebra, #(M, H) is closely related to wellknown quantum link invariants such as the HOMFLY polynomial, but it is not a topological quantum field theory. This paper presents a definition of an invariant #(M,H) which depends on a framed, closed 3manifold M and a finitedimensional Hopf algebra H, and whose value lies in the ground field of H. The Hopf algebra H need not be quasitriangular, triangular, ribbon, modular, a quantum deformation, involutory, or semisimple, nor does it need to have any other decoration or structural property. It can be any finitedimensional example of the object defined by Sweedler [16] and Drinfel’d [5] or, more generally, a finitedimensional Hopf superalgebra or a Hopf object in any
Structures and Diagrammatics of Four Dimensional Topological Lattice Field Theories
 Advances in Math. 146
, 1998
"... Crane and Frenkel proposed a state sum invariant for triangulated 4manifolds. They defined and used new algebraic structures called Hopf categories for their construction. Crane and Yetter studied Hopf categories and gave some examples using group cocycles that are associated to the Drinfeld double ..."
Abstract

Cited by 20 (5 self)
 Add to MetaCart
Crane and Frenkel proposed a state sum invariant for triangulated 4manifolds. They defined and used new algebraic structures called Hopf categories for their construction. Crane and Yetter studied Hopf categories and gave some examples using group cocycles that are associated to the Drinfeld double of a finite group. In this paper we define a state sum invariant of triangulated 4manifolds using CraneYetter cocycles as Boltzmann weights. Our invariant generalizes the 3dimensional invariants defined by Dijkgraaf and Witten and the invariants that are defined via Hopf algebras. We present diagrammatic methods for the study of such invariants that illustrate connections between Hopf categories and moves to triangulations. 1 Contents 1 Introduction 3 2 Quantum 2 and 3 manifold invariants 4 Topological lattice field theories in dimension 2 . . . . . . . . . . . . . . . . . . . 4 Pachner moves in dimension 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 TuraevViro inv...
Frobenius monads and pseudomonoids
 2CATEGORIES COMPANION 73
, 2004
"... Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only i f it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What i t means for a morphism of a bicategory to be a projective equivalenc ..."
Abstract

Cited by 19 (4 self)
 Add to MetaCart
Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only i f it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What i t means for a morphism of a bicategory to be a projective equivalence is defined; this concept is related to "strongly separable " Frobenius algebras and "weak monoidal Morita equivalence". Wreath products of Frobenius algebras are discussed.
Finite groups, spherical 2categories, and 4manifold invariants. arXiv:math.QA/9903003
"... In this paper we define a class of statesum invariants of compact closed oriented piecewise linear 4manifolds using finite groups. The definition of these statesums follows from the general abstract construction of 4manifold invariants using spherical 2categories, as we defined in [32], althou ..."
Abstract

Cited by 16 (5 self)
 Add to MetaCart
In this paper we define a class of statesum invariants of compact closed oriented piecewise linear 4manifolds using finite groups. The definition of these statesums follows from the general abstract construction of 4manifold invariants using spherical 2categories, as we defined in [32], although it requires a slight generalization of that construction. We show that the statesum invariants of Birmingham and Rakowski [11, 12, 13], who studied DijkgraafWitten type invariants in dimension 4, are special examples of the general construction that we present in this paper. They showed that their invariants are nontrivial by some explicit computations, so our construction includes interesting examples already. Finally, we indicate how our construction is related to homotopy 3types. This connection suggests that there are many more interesting examples of our construction to be found in the work on homotopy 3types, such as [15], for example. 1 1