Let V be a simple vertex operator algebra satisfying the following conditions: (i) The homogeneous subspaces of V of weights less than 0 are 0, the homogeneous subspace of V of weight 0 is spanned by the vacuum and V' is isomorphic to V as a V-module. Every weak V-module gradable by nonnegative integers is completely reducible. (iii) V is C_2-cofinite. (In the presence of Condition (i), Conditions (ii) and (iii) are equivalent to a single condition, namely, that every weak V-module is completely reducible.) Using the results obtained by the author in the formulation and proof of the general version of the Verlinde conjecture and in the proof of the Verlinde formula, we prove that the braided tensor category structure on the category of V-modules is rigid, balanced and nondegenerate. In particular, the category of V-modules has a natural structure of modular tensor category. We also prove that the tensor-categorical dimension of an irreducible V-module is the reciprocal of a suitable matrix element of the fusing isomorphism under a suitable basis.
Using the tensor category theory developed by Lepowsky, Zhang and the second author, we construct a braided tensor category structure with a twist on a semisimple category of modules for an affine Lie algebra at an admissible level. We conjecture that this braided tensor category is rigid and thus is a ribbon category. We also give conjectures on the modularity of this category and on the equivalence with a suitable quantum group tensor category. In the special case that the affine Lie algebra is $\widehat{\mathfrak{sl}}_2$, we prove the rigidity and modularity conjectures.
Davydov-Yetter cohomology classifies infinitesimal deformations of tensor categories and of tensor functors. Our first result is that Davydov-Yetter cohomology for finite tensor categories is equivalent to the cohomology of a comonad arising from the central Hopf monad. This has several applications: First, we obtain a short and conceptual proof of Ocneanu rigidity. Second, it allows to use standard methods from comonad cohomology theory to compute Davydov-Yetter cohomology for a family of non-semisimple finite-dimensional Hopf algebras generalizing Sweedler's four dimensional Hopf algebra.
Let G be a classical compact Lie group and G_μthe associated compact matrix quantum group deformed by a positive parameter μ(or a nonzero and real μin the type A case). It is well known that the category Rep(G_μ) of unitary f.d. representations of G_μis a braided tensor C*-category. We show that any braided tensor *-functor from Rep(G_μ) to another braided tensor C*-category with irreducible tensor unit is full if |μ|\neq 1. In particular, the functor of restriction to the representation category of a proper compact quantum subgroup, cannot be made into a braided functor. Our result also shows…
We give a review of some recent developments in the theory of tensor categories. The topics include realizability of fusion rings, Ocneanu rigidity, module categories, weak Hopf algebras, Morita theory for tensor categories, lifting theory, categorical dimensions, Frobenius- Perron dimensions, classification of tensor categories.
Müger proved in 2003 that the center of a spherical fusion category C of non-zero dimension over an algebraically closed field is a modular fusion category whose dimension is the square of that of C. We generalize this theorem to a pivotal fusion category C over an arbitrary commutative ring K, without any condition on the dimension of the category. (In this generalized setting, modularity is understood as 2-modularity in the sense of Lyubashenko.) Our proof is based on an explicit description of the Hopf algebra structure of the coend of the center of C. Moreover we show that the dimension of…
We describe how the study of superfusion categories (roughly speaking, fusion categories enriched over the category of super vector spaces) reduces to that of fusion categories over sVect, in the sense of Drinfeld, Gelaki, Nikshych, and Ostrik. Following Brundan and Ellis, we give the construction of the underlying fusion category of a superfusion category, and give an explicit formula for the associator in this category in terms of 6$j$-symbols. We give a definition of the $π$-Grothendieck ring of a superfusion category, and prove a version of Ocneanu rigidity for superfusion categories.
Studying two-dimensional field theories in the presence of defect lines naturally gives rise to monoidal categories: their objects are the different (topological) defect conditions, their morphisms are junction fields, and their tensor product describes the fusion of defects. These categories should be equipped with a duality operation corresponding to reversing the orientation of the defect line, providing a rigid and pivotal structure. We make this structure explicit in topological Landau-Ginzburg models with potential x^d, where defects are described by matrix factorisations of x^d-y^d. The…
Path algebras are a convenient way of describing decompositions of tensor powers of an object in a tensor category. If the category is braided, one obtains representations of the braid groups $B_n$ for all $n\in \N$. We say that such representations are rigid if they are determined by the path algebra and the representations of $B_2$. We show that besides the known classical cases also the braid representations for the path algebra for the 7-dimensional representation of $G_2$ satisfies the rigidity condition, provided $B_3$ generates $\End(V^{\otimes 3})$. We obtain a complete classification …
Ocneanu rigidity implies that there are finitely many (braided) fusion categories with a given set of fusion rules. While there is no method for determining all such categories up to equivalence, there are a few cases for which can. For example, Kazhdan and Wenzl described all fusion categories with fusion rules isomorphic to those of $SU(N)_k$. In this paper we extend their results to a statement about braided fusion categories, and obtain similar results for certain subcategories of $SU(N)_k$.
We show that there is a braided tensor category structure on the category of $C_1$-cofinite modules for the (universal or simple) Virasoro vertex operator algebras of arbitrary central charge. In the generic case of central charge $c=13-6(t+t^{-1})$, with $t \notin \mathbb{Q}$, we prove semisimplicity, rigidity and non-degeneracy and also compute the fusion rules of this tensor category.
The two pillars of rational conformal field theory and rational vertex operator algebras are modularity of characters on the one hand and its interpretation of modules as objects in a modular tensor category on the other one. Overarching these pillars is the Verlinde formula. In this paper we consider the more general class of logarithmic conformal field theories and $C_2$-cofinite vertex operator algebras. We suggest that their modular pillar are trace functions with insertions corresponding to intertwiners of the projective cover of the vacuum, and that the categorical pillar are finite tens…
Fusion rules and rigidity for weight modules over the simple admissible affine $\mathfrak{sl}(2)$ and $\mathcal{N}=2$ superconformal vertex operator superalgebras
Osaka Metropolitan University（大阪公立大学）；University of Colorado Boulder（科罗拉多大学博尔德分校）；Universitat de València（瓦伦西亚大学）；Cardiff University（卡迪夫大学）；Research Institute for Mathematical Sciences Kyoto University（京都大学数学科学研究所）
We develop a representation theory for $λ$-lattices, arising as standard invariants of subfactors, and for rigid C*-tensor categories, including a definition of their universal C*-algebra. We use this to give a systematic account of approximation and rigidity properties for subfactors and tensor categories, like (weak) amenability, the Haagerup property and property (T). We determine all unitary representations of the Temperley-Lieb-Jones $λ$-lattices and prove that they have the Haagerup property and the complete metric approximation property. We also present the first subfactors with propert…
By a theorem of Majid, every monoidal category with a neutral quasi-monoidal functor to finitely-generated and projective $\Bbbk$-modules gives rise to a coquasi-bialgebra. We prove that if the category is also rigid, then the associated coquasi-bialgebra admits a preantipode, providing in this way an analogue for coquasi-bialgebras of Ulbrich's reconstruction theorem for Hopf algebras. When $\Bbbk$ is field, this allows us to characterize coquasi-Hopf algebras as well in terms of rigidity of finite-dimensional corepresentations.
We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples include the derived category of constructible sheaves on a scheme (with respect to tensor product) as well as the derived and equivariant derived categories of constructible sheaves on an algebraic group (with respect to convolution). We show that the notions of pivotal category and ribbon category, which are well known in the setting of rigid monoidal categories…
Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the num…
Huang, Lepowsky and Zhang have developed a module theory for vertex operator algebras that endows suitably chosen module categories with the structure of braided monoidal categories. Included in the theory is a functor which assigns to discretely strongly graded modules a contragredient module, obtained as a gradewise dual. In this paper, we show that this gradewise dual endows the module category with the structure of a ribbon Grothendieck-Verdier category. This duality structure is more general than that of a rigid monoidal category; in contrast to rigidity, it naturally accommodates the fac…
In this article, we define operator algebras internal to a rigid C*-tensor category $\mathcal{C}$. A C*/W*-algebra object in $\mathcal{C}$ is an algebra object $\mathbf{A}$ in $\operatorname{ind}$-$\mathcal{C}$ whose category of free modules ${\sf FreeMod}_{\mathcal{C}}(\mathbf{A})$ is a $\mathcal{C}$-module C*/W*-category respectively. When $\mathcal{C}={\sf Hilb_{f.d.}}$, the category of finite dimensional Hilbert spaces, we recover the usual notions of operator algebras. We generalize basic representation theoretic results, such as the Gelfand-Naimark and von Neumann bicommutant theorems, a…
Let V be a simple vertex operator algebra satisfying the following conditions: (i) The homogeneous subspaces of V of weights less than 0 are 0, the homogeneous subspace of V of weight 0 is spanned by the vacuum and V' is isomorphic to V as a V-module. (ii) Every weak V-module gradable by nonnegative integers is completely reducible. (iii) V is C_2-cofinite. We announce a proof of the Verlinde conjecture for V, that is, of the statement that the matrices formed by the fusion rules among irreducible V-modules are diagonalized by the matrix given by the action of the modular transformation τ\maps…
We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this construction also establishes the operator product expansion for intertwining operators, which correspond to chiral vertex operators, and more generally, it establishes the logarithmic operator product expansion for logarithmic intertwining operators. We review the main ideas in the construction of the tensor product bifunctors and the associativity isomorphisms. F…
We define annular algebras for rigid $C^{*}$-tensor categories, providing a unified framework for both Ocneanu's tube algebra and Jones' affine annular category of a planar algebra. We study the representation theory of annular algebras, and show that all sufficiently large (full) annular algebras for a category are isomorphic after tensoring with the algebra of matrix units with countable index set, hence have equivalent representation theories. Annular algebras admit a universal $C^{*}$-algebra closure analogous to the universal $C^{*}$-algebra for groups. These algebras have interesting cor…
We show that if $V$ is a vertex operator algebra such that all the irreducible ordinary $V$-modules are $C_1$-cofinite and all the grading-restricted generalized Verma modules for $V$ are of finite length, then the category of finite length generalized $V$-modules has a braided tensor category structure. By applying the general theorem to the simple affine vertex operator algebra (resp. superalgebra) associated to a finite simple Lie algebra (resp. Lie superalgebra) $\mathfrak{g}$ at level $k$ and the category $KL_k(\mathfrak{g})$ of its finite length generalized modules, we discover several f…
Friedrich-Alexander Universität Erlangen-Nürnberg（埃尔朗根-纽伦堡大学）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；University of Colorado Boulder（科罗拉多大学博尔德分校）；Shanghai Jiao Tong University（上海交通大学）
Deformations of mixed associators in module categories
Institut de Mathématiques de Toulouse, Université Paul Sabatier（图卢兹数学研究所，保罗萨巴蒂尔大学）；Institut Denis Poisson, CNRS, Université de Tours, Université d’Orléans（丹尼斯普瓦松研究所，法国国家科学研究中心，图尔大学，奥尔良大学）；Fachbereich Mathematik, Universität Hamburg（汉堡大学数学系）
We study the braided monoidal structure that the fusion product induces on the abelian category $\mathcal{W}_p$-mod, the category of representations of the triplet $W$-algebra $\mathcal{W}_p$. The $\mathcal{W}_p$-algebras are a family of vertex operator algebras that form the simplest known examples of symmetry algebras of logarithmic conformal field theories. We formalise the methods for computing fusion products, developed by Nahm, Gaberdiel and Kausch, that are widely used in the physics literature and illustrate a systematic approach to calculating fusion products in non-semi-simple repres…
A two-dimensional chiral conformal field theory can be viewed mathematically as the representation theory of its chiral algebra, a vertex operator algebra. Vertex operator algebras are especially well suited for studying logarithmic conformal field theory (in which correlation functions have logarithmic singularities arising from non-semisimple modules for the chiral algebra) because of the logarithmic tensor category theory of Huang, Lepowsky, and Zhang. In this paper, we study not-necessarily-semisimple or rigid braided tensor categories $\mathcal{C}$ of modules for the fixed-point vertex op…
