Let U be the quantised enveloping algebra associated to a Cartan matrix of finite type. Let W be the tensor product of a finite list of highest weight representations of U. Then the centraliser algebra of W has a basis called the dual canonical basis which gives an integral form. We show that this integral form is cellular by using results due to Lusztig.
Cellular categories are a generalization of cellular algebras, which include a number of important categories such as (affine)Temperley-Lieb categories, Brauer diagram categories, partition categories, the categories of invariant tensors for certain quantised enveloping algebras and their highest weight representations, Hecke categories and so on. The common feather is that, for most of the examples, the endomorphism algebras of the categories form a tower of algebras. In this paper, we give an axiomatic framework for the cellular categories related to the quasi-hereditary tower and then study…
In this paper we study categories of tilting modules. Our starting point is the tilting modules for a reductive algebraic group G in positive characteristic. Here we extend the main result in [8] by proving that these tilting modules form a (strictly object-adapted) cellular category. We use this result to specify a subset of cellular basis elements, which generates all morphisms in this category. In a different direction we generalize the earlier results to the case where G is replaced by the infinitesimal thickenings G_rT of a maximal torus T in G by the Frobenius subgroup schemes G_r. Here …
This is the first of four articles studying some slight generalisations H(n,m) of Khovanov's diagram algebra, as well as quasi-hereditary covers K(n,m) of these algebras in the sense of Rouquier, and certain infinite dimensional limiting versions. In this article we prove that H(n,m) is a cellular symmetric algebra and that K(n,m) is a cellular quasi-hereditary algebra. In subsequent articles, we relate these algebras to level two blocks of degenerate cyclotomic Hecke algebras, parabolic category O and the general linear supergroup, respectively.
We give two proofs of a level-rank duality for braided fusion categories obtained from quantum groups of type $C$ at roots of unity. The first proof uses conformal embeddings, while the second uses a classification of braided fusion categories associated with quantum groups of type $C$ at roots of unity. In addition we give a similar result for non-unitary braided fusion categories quantum groups of types $B$ and $C$ at odd roots of unity.
We study finite quasi-quantum groups in their quiver setting developed recently by the first author in arXiv:0902.1620 and arXiv:0903.1472. We obtain a classification of finite-dimensional pointed Majid algebras of finite corepresentation type, or equivalently a classification of elementary quasi-Hopf algebras of finite representation type, over the field of complex numbers. By the Tannaka-Krein duality principle, this provides a classification of the finite tensor categories in which every simple object has Frobenius-Perron dimension 1 and there are finitely many indecomposable objects up to …
We advance support variety theory for finite tensor categories. First we show that the dimension of the support variety of an object equals the rate of growth of a minimal projective resolution as measured by the Frobenius-Perron dimension. Then we show that every conical subvariety of the support variety of the unit object may be realized as the support variety of an object. Finally, we show that the support variety of an indecomposable object is connected.
We aim to study Morita theory for tensor triangulated categories. For two finite tensor categories having no projective simple objects, we prove that their stable equivalence induced by an exact $\Bbbk$-linear monoidal functor can be lifted to a tensor equivalence under some certain conditions.
Given a tensor functor between tensor categories $\mathcal{C}$ and $\mathcal{D}$, we give criteria that, under certain assumptions, the Frobeniusness of $\mathcal{C}$ or $\mathcal{D}$ implies the Frobeniusness of the other one. We also give an affirmative answer to Natale's question asking if the class of Frobenius tensor categories is closed under exact sequences.
In this paper we classify all semisimple tensor categories with the same fusion rules as $\operatorname{Rep}(SO(4))$, or one of the associated truncations. We show that such categories are explicitly classified by two non-zero complex numbers. Furthermore we show these tensor categories are always braided, and there exist exactly 8 braidings.
We give a formula for the relative Deligne tensor product of two indecomposable finite semisimple module categories over a pointed braided fusion category over an algebraically closed field.
This is the eighth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VIII), we construct the braided tensor category structure, using the previously developed results.
We introduce Nakayama functors for coalgebras and investigate their basic properties. These functors are expressed by certain (co)ends as in the finite case discussed by Fuchs, Schaumann, and Schweigert. This observation allows us to define Nakayama functors for Frobenius tensor categories in an intrinsic way. As applications, we establish the categorical Radford $S^4$-formula for Frobenius tensor categories and obtain some related results. These are generalizations of works of Etingof, Nikshych, and Ostrik on finite tensor categories and some known facts on co-Frobenius Hopf algebras.
We compute the group of braided tensor autoequivalences and the Brauer-Picard group of the representation category of the small quantum group $\mathfrak{u}_q(\mathfrak{g})$, where $q$ is a root of unity.
Let $V$ be a vertex operator algebra satisfying suitable conditions such that in particular its module category has a natural vertex tensor category structure, and consequently, a natural braided tensor category structure. We prove that the notions of extension (i.e., enlargement) of $V$ and of commutative associative algebra, with uniqueness of unit and with trivial twist, in the braided tensor category of $V$-modules are equivalent.
We introduce the notions of categorical integrals and categorical cointegrals of a finite tensor category $\mathcal{C}$ by using a certain adjunction between $\mathcal{C}$ and its Drinfeld center $\mathcal{Z}(\mathcal{C})$. These notions can be identified with integrals and cointegrals of a finite-dimensional Hopf algebra $H$ if $\mathcal{C}$ is the representation category of $H$. We generalize basic results on integrals and cointegrals of a finite-dimensional Hopf algebra (such as the existence, the uniqueness, and the Maschke theorem) to finite tensor categories. Motivated by results of Lore…
Given a fusion category $\mathcal{C}$ and an indecomposable $\mathcal{C}$-module category $\mathcal{M}$, the fusion category $\mathcal{C}^*_\mathcal{M}$ of $\mathcal{C}$-module endofunctors of $\mathcal{M}$ is called the (Morita) dual fusion category of $\mathcal{C}$ with respect to $\mathcal{M}$. We describe tensor functors between two arbitrary duals $\mathcal{C}^*_\mathcal{M}$ and $\mathcal{D}^*_\mathcal{N}$ in terms of data associated to $\mathcal{C}$ and $\mathcal{D}$. We apply the results to $G$-equivariantizations of fusion categories and group-theoretical fusion categories. We describe…
Given a non-semisimple braided tensor category, with oplax tensor functors from known braided tensor categories, we ask : How does this knowledge characterize the tensor product and the braiding? We develop tools that address this question. In particular we prove that the associator is fixed by the oplax tensor functors, and we show that a distinguished role is played by the coalgebra structure on the image of theses tensor functors. Our setup constrains the form of quasi bialgebras appearing in the logarithmic Kazhdan-Lusztig conjecture and it applies in particular to the representation categ…
This is Part I of a series of papers constructing intertwining operator superalgebras and vertex tensor categories associated to the superconformal minimal models and other related models. In this paper, we construct the intertwining operator superalgebras and vertex tensor categories in the N=1 case.
We construct the intertwining operator superalgebras and vertex tensor categories for the N=2 superconformal unitary minimal models and other related models.
We consider semisimple super Tannakian categories generated by an object whose symmetric or alternating tensor square is simple up to trivial summands. Using representation theory, we provide a criterion to identify the corresponding Tannaka super groups that applies in many situations. As an example we discuss the tensor category generated by the convolution powers of an algebraic curve inside its Jacobian variety.
It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore, the category of finitely presented functors over such tensor product category is dualizing and has almost split sequences. As applications, the categories of all kinds of complexes are proved to have almost split sequences.
We show that finitely generated cohomology is invariant under separable equivalences for all algebras. As a result, we obtain a proof of the finite generation of cohomology for finite symmetric tensor categories in characteristic zero, as conjectured by Etingof and Ostrik. Moreover, for such categories we also determine the representation dimension and the Rouquier dimension of the stable category. Finally, we recover a number of results on the cohomology of stably equivalent and singularly equivalent algebras.
Using truncated convolution of perverse sheaves on a flag variety Lusztig associated a monoidal category to a two sided cell in the Weyl group. We identify this category in the case which was not decided previously.
Let C be a finite EI category and k be a field. We consider the category algebra kC. Suppose K(C)=D^b(kC-mod) is the bounded derived category of finitely generated left modules. This is a tensor triangulated category and we compute its spectrum in the sense of Balmer. When C=G*P is a finite transporter category, the category algebra becomes Gorenstein so we can define the stable module category \CM k(G*P), of maximal Cohen-Macaulay modules, as a quotient category of K(G*P). Since \CM k(G*P) is also tensor triangulated, we compute its spectrum as well. These spectra are used to classify tensor …
We survey some results on tensor products of irreducible Harish-Chandra bimodules. It turns out that such tensor products are semisimple in suitable Serre quotient categories. We explain how to identify the resulting semisimple tensor categories and describe some applications to representation theory.
We prove that the centralizer algebras of the symplectic and orthogonal group acting on tensor space are cellular algebras over the integers. We do this by providing an axiomatic framework for studying quotient towers for towers of diagram algebras. Our framework covers the centralizer algebras of the general linear group acting on mixed tensor space as well. We also provide descriptions of the kernels of the homomorphisms from the diagrammatic versions of the algebras to the centralizer algebras on tensor space, which constitute versions of the second fundamental theorem of invariant theory.
In this paper, as an analogue of the spectrum of a tensor triangulated category introduced by Balmer, we define a spectrum of a triangulated category which does not necessarily admit a tensor structure. We apply it for some triangulated categories associated to a commutative noetherian ring.
We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of $\mathfrak{osp}(1|2)$ and the $N=1$ super Virasoro algebra to categories of Virasoro algebra modules via certain …
We prove a weak version of Lusztig's conjecture on explicit description of the asymptotic Hecke algebras (both finite and affine), and explain its relation to Lusztig's classification of character sheaves.
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…
This is a companion paper of arXiv:1901.09461, where different notions of dimension for triangulated categories are discussed. Here we compute dimensions for some examples of triangulated categories and thus illustrate and motivate material from loc. cit. Our examples include path algebras of finite ordered quivers, orbifold projective lines, some tensor powers of path algebras in Dynkin quivers of type A and categories, generated by an exceptional pair.
This is an expository article invited for the ``Commentary'' section of PNAS in connection with Y.-Z. Huang's article, ``Vertex operator algebras, the Verlinde conjecture, and modular tensor categories,'' appearing in the same issue of PNAS. Huang's solution of the mathematical problem of constructing modular tensor categories from the representation theory of vertex operator algebras is very briefly discussed, along with background material. The hypotheses of the theorems entering into the solution are very general, natural and purely algebraic, and have been verified in a wide range of famil…
We study abelian envelopes for pseudo-tensor categories with the property that every object in the envelope is a quotient of an object in the pseudo-tensor category. We establish an intrinsic criterion on pseudo-tensor categories for the existence of an abelian envelope satisfying this quotient property. This allows us to interpret the extension of scalars and Deligne tensor product of tensor categories as abelian envelopes, and to enlarge the class of tensor categories for which all extensions of scalars and tensor products are known to remain tensor categories. For an affine group scheme G, …
We generalize a recent result by J.F. Carlson to finite tensor categories having finitely generated cohomology. Specifically, we show that if the Krull dimension of the cohomology ring is sufficiently large, then there exist infinitely many non-isomorphic and nontrivial bounded complexes of projective objects, and with small homology. We also prove a version for finite dimensional algebras with finitely generated cohomology.
We develop a point-free approach for constructing the Nakano-Vashaw-Yakimov-Balmer spectrum of a noncommutative tensor triangulated category under some mild assumptions. In particular, we provide a conceptual way of classifying radical thick tensor ideals of a noncommutative tensor triangulated category using frame theoretic methods, recovering the universal support data in the process. We further show that there is a homeomorphism between the spectral space of radical thick tensor ideals of a noncommutative tensor triangulated category and the collection of open subsets of its spectrum in the…
These notes attempt to give a short survey of the approach to support theory and the study of lattices of triangulated subcategories through the machinery of tensor triangular geometry. One main aim is to introduce the material necessary to state and prove the local-to-global principle. In particular, we discuss Balmer's construction of the spectrum, generalised Rickard idempotents and support for compactly generated triangulated categories, and actions of tensor triangulated categories. Several examples are also given along the way. These notes are based on a series of lectures given during t…