Related papers: On module categories over finite-dimensional Hopf …

We introduce the notions of normal tensor functor and exact sequence of tensor categories. We show that exact sequences of tensor categories generalize strictly exact sequences of Hopf algebras as defined by Schneider, and in particular,…

A quasi-Hopf algebra $H$ can be seen as a commutative algebra $A$ in the centre $\mathcal Z(H-Mod)$ of $H-Mod$. We show that the category of $A$-modules in $\mathcal Z(H-Mod)$ is equivalent (as a monoidal category) to $H-Mod$. This can be…

We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for…

Let $\mathbb{H}=(H_{1},H_{2})$ be a Hopf brace in a symmetric monoidal category ${\sf C}$. In this article it is proved that the category of modules over $\mathbb{H}$ is isomorphic to the category of modules over the smash product algebra…

We discuss relations between some category-theoretical notions for a finite tensor category and cointegrals on a quasi-Hopf algebra. Specifically, for a finite-dimensional quasi-Hopf algebra $H$, we give an explicit description of…

We discuss algebraic and representation theoretic structures in braided tensor categories C which obey certain finiteness conditions. Much interesting structure of such a category is encoded in a Hopf algebra H in C. In particular, the Hopf…

Let $\mathcal{C}$ be a finite tensor category and $\mathcal{M}$ an exact left $\mathcal{C}$-module category. We call $\mathcal{M}$ unimodular if the finite multitensor category ${\sf Rex}_{\mathcal{C}}(\mathcal{M})$ of right exact…

We define fully exact module categories, a subclass of exact module categories over a finite braided tensor category that is stable under the relative Deligne product. In contrast, we demonstrate with examples in both zero and non-zero…

A consequence of the recent work of Ren and Zhu on Gorenstein projective dimensions of modules over Hopf algebras is that if $A$ and $B$ are Hopf algebras with bijective antipodes having equivalent linear tensor categories of comodules and…

Let $H$ be the $16$-dimensional nontrivial (namely, noncommutative and noncocommutative) semisimple Hopf algebra $H_{b:x^2y}$ classified by Kashina. We figure out all simple Yetter-Drinfeld $H$-modules, and then determine all…

Let $k$ be an algebraically closed field of characteristic $p>0$. For a loop $\circlearrowleft$, denote its path coalgebra by $k\circlearrowleft$. In this paper, all the finite-dimensional commutative Hopf algebras over the sub coalgebras…

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…

Let $H$ be a Hopf algebra. We consider $H$-equivariant modules over a Hopf module category $\mathcal C$ as modules over the smash extension $\mathcal C\# H$. We construct Grothendieck spectral sequences for the cohomologies as well as the…

Let $U$ and $A$ be algebras over a field $k$. We study algebra structures $H$ on the underlying tensor product $U{\otimes}A$ of vector spaces which satisfy $(u{\otimes}a)(u'{\otimes}a') = uu'{\otimes}aa'$ if $a = 1$ or $u' = 1$. For a pair…

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…

We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct…

Given an action of a finite group G on a fusion category C we give a criterion for the category of G-equivariant objects in C to be group-theoretical, i.e., to be categorically Morita equivalent to a category of group-graded vector spaces.…

Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…

Let $H$ be a Hopf algebra over a field $k$ with a bijective antipode. It is proved that the Gorenstein global dimension of $H$ coincides with the Gorenstein projective dimension of the trivial left (or right) $H$-module $k$. Then, $H$ is…

This paper considers an invariant of modules over a finite-dimensional Hopf algebra, called the critical group. This generalizes the critical groups of complex finite group representations studied by Benkart, Klivans, Reiner and Gaetz. A…