English
Related papers

Related papers: Serre Theorem for involutory Hopf algebras

200 papers

Let $H$ be a finite dimensional quasi-Hopf algebra over a field $k$ and ${\mathfrak A}$ a right $H$-comodule algebra in the sense of Hausser and Nill. We first show that on the $k$-vector space ${\mathfrak A}\ot H^*$ we can define an…

Quantum Algebra · Mathematics 2007-05-23 D. Bulacu , S. Caenepeel

We show that the action of the Serre functor on the subcategory of projective-injective modules in a parabolic BGG category $\mathcal O$ of a quasi-reductive finite dimensional Lie superalgebra is given by tensoring with the top component…

Representation Theory · Mathematics 2025-05-07 Chih-Whi Chen , Volodymyr Mazorchuk

We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…

Quantum Algebra · Mathematics 2009-05-19 Pavel Etingof , Dmitri Nikshych , Viktor Ostrik

For a quasi-Hopf algebra $H$, a left $H$-comodule algebra $\mf{B}$ and a right $H$-module coalgebra $C$ we will characterize the category of Doi-Hopf modules ${}^C{\cal M}(H)_{\mf{B}}$ in terms of modules. We will also show that for an…

Quantum Algebra · Mathematics 2007-05-23 D. Bulacu , S. Caenepeel , B. Torrecillas

We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…

Algebraic Topology · Mathematics 2017-09-01 Bertrand Guillou , J. P. May , Jonathan Rubin

Making the first steps towards a classification of simple partial comodules, we give a general construction for partial comodules of a Hopf algebra \(H\) using central idempotents in right coideal subalgebras and show that any…

Rings and Algebras · Mathematics 2023-10-20 Eliezer Batista , William Hautekiet , Paolo Saracco , Joost Vercruysse

Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In the present paper, we first provide various sufficient (and necessary) conditions for a full subcategory of mod R to be a Serre…

Commutative Algebra · Mathematics 2022-03-02 Kei-ichiro Iima , Hiroki Matsui , Kaori Shimada , Ryo Takahashi

We study the homotopy category $ K(\Inj A)$ of all injective modules over a finite dimensional algebra $A$ with discrete derived category. We give a classification of the indecomposable objects of $ K(\Inj A)$ for any radical square zero…

Representation Theory · Mathematics 2013-08-13 Han Zhe

We describe Serre functors for (generalisations of) the category O associated with a semi-simple complex Lie algebra. In our approach, projective-injective modules play an important role. They control the Serre functor in the case of a…

Representation Theory · Mathematics 2007-06-13 Volodymyr Mazorchuk , Catharina Stroppel

Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories…

Quantum Algebra · Mathematics 2007-05-23 Mikhail Khovanov

Let $R$ be a commutative noetherian ring, and let $\mathscr{S}$(resp. $\mathscr{L}$) be a Serre(resp. localizing) subcategory of the category of $R$-modules. If $\Bbb F$ is an unbounded complex of $R$-modules Tor-perpendicular to…

Commutative Algebra · Mathematics 2025-04-17 Mitsuyasu Hashimoto , Xi Tang

Let $H$ be a finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0. If $H$ is not semisimple and $\dim(H)=2n$ for some odd integer $n$, then $H$ or $H^*$ is not unimodular. Using this result, we prove that…

Quantum Algebra · Mathematics 2012-02-14 Siu-Hung Ng

In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a…

Quantum Algebra · Mathematics 2017-05-03 Pavel Etingof , Shlomo Gelaki

We exhibit a monoidal structure on the category of finite sets indexed by P-trees for a finitary polynomial endofunctor P. This structure categorifies the monoid scheme (over Spec N) whose semiring of functions is (a P-version of) the…

Category Theory · Mathematics 2014-07-15 Joachim Kock

We prove that a finite-dimensional irreducible Hopf algebra $H$ in positive characteristic is semisimple, if and only if it is commutative and semisimple, if and only if the restricted Lie algebra $P(H)$ of the primitives is a torus. This…

Rings and Algebras · Mathematics 2008-12-23 Akira Masuoka

Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category…

K-Theory and Homology · Mathematics 2025-02-06 Mariko Ohara

We generalize various properties of Yetter-Drinfeld modules over Hopf algebras to quasi-Hopf algebras. The dual of a finite dimensional Yetter-Drinfeld module is again a Yetter-Drinfeld module. The algebra $H_0$ in the category of…

Quantum Algebra · Mathematics 2007-05-23 D. Bulacu , S. Caenepeel , F. Panaite

Let $B$ be a bialgebra, and $A$ a left $B$-comodule algebra in a braided monoidal category $\Cc$, and assume that $A$ is also a coalgebra, with a not-necessarily associative or unital left $B$-action. Then we can define a right $A$-action…

Category Theory · Mathematics 2010-11-23 D. Bulacu , S. Caenepeel

Generalising a result for Hopf algebras, we not only define the four possible types of Hopf modules in the bialgebroid setting but also yield the notion of two-sided two-cosided Hopf modules, also known as Hopf bimodules or tetramodules, in…

Quantum Algebra · Mathematics 2025-10-09 Sophie Chemla , Niels Kowalzig

Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional…

Rings and Algebras · Mathematics 2016-09-15 Donald W. Barnes