Related papers: Integrals for finite tensor categories

We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results…

Every fusion category C that is k-linear over a suitable field k, is the category of finite-dimensional comodules of a Weak Hopf Algebra H. This Weak Hopf Algebra is finite-dimensional, cosemisimple and has commutative bases. It arises as…

We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We…

We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined…

We show that indecomposable exact module categories over the category Rep H of representations of a finite-dimensional Hopf algebra H are classified by left comodule algebras, H-simple from the right and with trivial coinvariants, up to…

By means of a certain module V and its tensor powers in a finite tensor category, we study a question of whether the depth of a Hopf subalgebra R of a finite-dimensional Hopf algebra H is finite. The module V is the counit representation…

We develop some techniques to the study of exact module categories over some families of pointed finite-dimensional Hopf algebras. As an application we classify exact module categories over the tensor category of representations of the…

We consider the finite generation property for cohomology of a finite tensor category C, which requires that the self-extension algebra of the unit Ext*_C(1,1) is a finitely generated algebra and that, for each object V in C, the graded…

In conformal field theory the understanding of correlation functions can be divided into two distinct conceptual levels: The analytic properties of the correlators endow the representation categories of the underlying chiral symmetry…

Let $\mathcal{C}$ be a finite braided multitensor category. Let $B$ be Majid's automorphism braided group of $\mathcal{C}$, then $B$ is a cocommutative Hopf algebra in $\mathcal{C}$. We show that the center of $\mathcal{C}$ is isomorphic to…

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…

Two Hopf algebras are called monoidally Morita equivalent if module categories over them are equivalent as linear monoidal categories. We introduce monoidal Morita invariants for finite-dimensional Hopf algebras based on certain braid group…

The Balmer spectrum of a monoidal triangulated category is an important geometric construction which is closely related to the problem of classifying thick tensor ideals. We prove that the forgetful functor from the Drinfeld center of a…

Let H be a finite-dimensional Hopf algebra. We give a description of the tensor product of bimodule categories over Rep(H). When the bimodule categories are invertible this description can be given explicitly. We present some consequences…

For a finite-dimensional simple Lie algebra $\mathfrak{g}$, we use the vertex tensor category theory of Huang and Lepowsky to identify the category of standard modules for the affine Lie algebra $\hat{\mathfrak{g}}$ at a fixed level…

We consider "Hopfological" techniques as in \cite{Ko} but for infinite dimensional Hopf algebras, under the assumption of being co-Frobenius. In particular, $H=k[{\mathbb Z}]\#k[x]/x^2$ is the first example, whose corepresentations category…

We show that in a finite tensor category, the tensor product property holds for support varieties if and only if it holds between indecomposable periodic objects. We apply this to certain Hopf algebras in the form of skew group algebras. In…

Let $\mathsf{Rep}(H)$ be the category of finite-dimensional representations of a finite-dimensional Hopf algebra $H$. Andruskiewitsch and Mombelli proved in 2007 that each indecomposable exact $\mathsf{Rep}(H)$-module category has form…

A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…

Kaplansky conjectured that if H is a finite-dimensional semisimple Hopf algebra over an algebraically closed field k of characteristic 0, then H is of Frobenius type (i.e. if V is an irreducible representation of H then dimV divides dimH).…