An equivalence of fusion categories
type: Item
instance of: scholarly article
title: An equivalence of fusion categories
zbMATH Open document ID: 0860.17040
DOI: 10.1007/BF02247887
published in: Geometric and Functional Analysis. GAFA
publication date: 1997-04-28T00:00:00Z
full work available at URL: https://eudml.org/doc/58226
review text: By \textit{G. Moore} and \textit{N. Seiberg} [Classical and conformal field theory, Commun. Math. Phys. 123, 177-254 (1989; Zbl 0694.53074)] it is known that the category \(\widetilde{\mathcal O}_\kappa\) of integrable representations of fixed (integral) positive level for the universal central extension of a loop algebra has the structure of a rigid braided tensor category. From \textit{D. Kazhdan} and \textit{G. Lusztig} [Tensor structures arising from affine Lie algebras, I--IV, J. Am. Math. Soc. 6, 905-947, 949-1011 (1993; Zbl 0786.17017); J. Am. Math. Soc. 7, 335-381 (1994; Zbl 0802.17007); 383-453 (1994; Zbl 0802.17008)] in conjunction with \textit{S. Gelfand} and \textit{D. Kazhdan} [Invent. Math. 109, 595-617 (1992; Zbl 0784.18003)] and \textit{H. Andersen} [Isr. Math. Conf. Proc. 7, 1-12 (1993; Zbl 0845.17018)], it is known how to put a structure of the same type on a suitable subquotient \(\widetilde{\mathcal O}_{-\kappa}\) of the category of highest weight modules of the same Lie algebra in fixed (integral) negative level. In this work, the author proves that these two rigid braided tensor categories are isomorphic. The idea of proof is well explained by the author in the introduction: ``It is known [see \textit{P. Deligne}, Une description de catégorie tressée (inspire par Drinfeld) (unpublished) and \textit{D. Kazhdan} and \textit{G. Lusztig} (loc. cit.)] that the data of a tensor category is equivalent to the data of a) a certain collection of local systems on the moduli spaces of configurations on a projective line; b) a certain collection of isomorphisms between these local systems and their specializations along the boundary of these moduli spaces. The local systems arising from the category \(\widetilde{\mathcal O}_\kappa\) first appeared in the work of \textit{V. Knizhnik} and \textit{A. Zamolodchikov} [Nucl. Phys. B 247, 83-103 (1984; Zbl 0661.17020)]. Their explicit description was given in [\textit{B. Feigin}, \textit{V. Schechtman} and \textit…
reviewed by: Wolfgang Soergel
Mathematics Subject Classification ID: 17B67
Mathematics Subject Classification ID: 18D10
zbMATH DE Number: 912453
zbMATH Keywords: fusion
zbMATH Keywords: affine algebra
zbMATH Keywords: integrable module
zbMATH Keywords: rigid braided tensor categories
author: Michael Finkelberg
MaRDI profile type: Publication
cites work: Q4880615
cites work: Tensor products of quantized tilting modules
cites work: Fusion categories arising from semisimple Lie algebras
cites work: The semi-infinite homology of Kac-Moody and Virasoro Lie algebras
cites work: On algebraic equations satisfied by hypergeometric correlators in WZW models. II
cites work: Examples of tensor categories
cites work: Invariants of three-dimensional manifolds
cites work: Q3800267
cites work: Tensor Structures Arising from Affine Lie Algebras. I
cites work: Tensor Structures Arising from Affine Lie Algebras. III
cites work: Tensor Structures Arising from Affine Lie Algebras. IV
cites work: Current algebras and Wess-Zumino model in two dimensions
cites work: Extension of the category \({\mathcal O}^ g\) and a vanishing theorem for the Ext functor for Kac-Moody algebras
cites work: Monodromic systems on affine flag manifolds
cites work: Classical and quantum conformal field theory
cites work: The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences
cites work: Q3472274
cites work: Fusion rules and modular transformations in 2D conformal field theory
description: scientific article; zbMATH DE number 912453