Results 1  10
of
83
On fusion categories
 Annals of Mathematics
"... Abstract. In this paper we extend categorically the notion of a finite nilpotent group to fusion categories. To this end, we first analyze the trivial component of the universal grading of a fusion category C, and then introduce the upper central series ofC. For fusion categories with commutative Gr ..."
Abstract

Cited by 77 (17 self)
 Add to MetaCart
Abstract. In this paper we extend categorically the notion of a finite nilpotent group to fusion categories. To this end, we first analyze the trivial component of the universal grading of a fusion category C, and then introduce the upper central series ofC. For fusion categories with commutative Grothendieck rings (e.g., braided fusion categories) we also introduce the lower central series. We study arithmetic and structural properties of nilpotent fusion categories, and apply our theory to modular categories and to semisimple Hopf algebras. In particular, we show that in the modular case the two central series are centralizers of each other in the sense of M. Müger. Dedicated to Leonid Vainerman on the occasion of his 60th birthday 1. introduction The theory of fusion categories arises in many areas of mathematics such as representation theory, quantum groups, operator algebras and topology. The representation categories of semisimple (quasi) Hopf algebras are important examples of fusion categories. Fusion categories have been studied extensively in the literature,
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.
TFT CONSTRUCTION OF RCFT CORRELATORS IV: STRUCTURE CONSTANTS AND CORRELATION FUNCTIONS
, 2005
"... We compute the fundamental correlation functions in twodimensional rational conformal field theory, from which all other correlators can be obtained by sewing: the correlators of three bulk fields on the sphere, one bulk and one boundary field on the disk, three boundary fields on the disk, and one ..."
Abstract

Cited by 28 (13 self)
 Add to MetaCart
We compute the fundamental correlation functions in twodimensional rational conformal field theory, from which all other correlators can be obtained by sewing: the correlators of three bulk fields on the sphere, one bulk and one boundary field on the disk, three boundary fields on the disk, and one bulk field on the cross cap. We also consider conformal defects and calculate the correlators of three defect fields on the sphere and of one defect field on the cross cap. Each of these correlators is presented as the product of a structure constant and the appropriate conformal two or threepoint block. The structure constants are expressed as invariants of ribbon graphs in threemanifolds.
From subfactors to categories and topology III. Triangulation invariants of 3manifolds and Morita equivalence of tensor categories
 In preparation
"... ..."
Finite tensor categories
 Moscow Math. Journal
"... These are lecture notes for the course 18.769 “Tensor categories”, taught by P. Etingof at MIT in the spring of 2009. In these notes we will assume that the reader is familiar with the basic theory of categories and functors; a detailed discussion of this theory can be found in the book [ML]. We wil ..."
Abstract

Cited by 26 (8 self)
 Add to MetaCart
These are lecture notes for the course 18.769 “Tensor categories”, taught by P. Etingof at MIT in the spring of 2009. In these notes we will assume that the reader is familiar with the basic theory of categories and functors; a detailed discussion of this theory can be found in the book [ML]. We will also assume the basics of the theory of abelian categories (for a more detailed treatment see the book [F]). If C is a category, the notation X ∈ C will mean that X is an object of C, and the set of morphisms between X, Y ∈ C will be denoted by Hom(X, Y). Throughout the notes, for simplicity we will assume that the ground field k is algebraically closed unless otherwise specified, even though in many cases this assumption will not be needed. 1. Monoidal categories 1.1. The definition of a monoidal category. A good way of thinking
On the structure of weak Hopf algebras
 Adv. Math
"... Abstract. We study the group of grouplike elements of a weak Hopf algebra and derive an analogue of Radford’s formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo a trivial automorphism. We find a sufficient condition in terms of Tr(S 2) for a we ..."
Abstract

Cited by 24 (3 self)
 Add to MetaCart
Abstract. We study the group of grouplike elements of a weak Hopf algebra and derive an analogue of Radford’s formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo a trivial automorphism. We find a sufficient condition in terms of Tr(S 2) for a weak Hopf algebra to be semisimple, discuss relation between semisimplicity and cosemisimplicity, and apply our results to show that a dynamical twisting deformation of a semisimple Hopf algebra is cosemisimple. 1.
TFT construction of RCFT correlators III: Simple currents
 Nucl. Phys. B
"... We use simple currents to construct symmetric special Frobenius algebras in modular tensor categories. We classify such simple current type algebras with the help of abelian group cohomology. We show that they lead to the modular invariant torus partition functions that have been studied by Kreuzer ..."
Abstract

Cited by 22 (10 self)
 Add to MetaCart
We use simple currents to construct symmetric special Frobenius algebras in modular tensor categories. We classify such simple current type algebras with the help of abelian group cohomology. We show that they lead to the modular invariant torus partition functions that have been studied by Kreuzer and Schellekens. We also classify boundary conditions in the associated conformal field theories and show that the boundary states are given by the formula proposed in hepth/0007174. Finally, we investigate conformal defects in these
Duality and defects in rational conformal field theory
, 2006
"... We study topological defect lines in twodimensional rational conformal field theory. Continuous variation of the location of such a defect does not change the value of a correlator. Defects separating different phases of local CFTs with the same chiral symmetry are included in our discussion. We sh ..."
Abstract

Cited by 20 (7 self)
 Add to MetaCart
We study topological defect lines in twodimensional rational conformal field theory. Continuous variation of the location of such a defect does not change the value of a correlator. Defects separating different phases of local CFTs with the same chiral symmetry are included in our discussion. We show how the resulting onedimensional phase boundaries can be used to extract symmetries and orderdisorder dualities of the CFT. The case of central charge c = 4/5, for which there are two inequivalent world sheet phases corresponding to the tetracritical Ising model and the critical threestates