Related papers: A Schneider type theorem for Hopf algebroids

Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S.D. Schack, and by C. Ospel. We prove, when A is finite dimensional, that they are equal to the…

B\"ohm and \c{S}tefan have expressed cyclic homology as an invariant that assigns homology groups $\mathrm{HC}^\chi_i(\mathrm N, \mathrm M)$ to right and left coalgebras $\mathrm N$ respectively $\mathrm M$ over a distributive law $\chi$…

We study a Hopf algebra $H$, which is finitely generated and projective over a commutative ring $k$, as a $P$-Frobenius algebra. We define modular functions in this setting, and provide a complete proof of Radford's formula for the fourth…

We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated…

An internal coproduct is described, which is compatible with Hoffman's quasi-shuffle product. Hoffman's quasi-shuffle Hopf algebra, with deconcatenation coproduct, is a comodule-Hopf algebra over the bialgebra thus defined. The relation…

We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor-Moore theorem, where the field was assumed to have zero…

This article develops several main results for a general theory of homological algebra in categories such as the category of sheaves of idempotent modules over a topos. In the analogy with the development of homological algebra for abelian…

{\em Galois comodules} over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of {\em Galois functors} over some comonad (or monad) on any category and in the first section of the…

As shown in a previous paper by the same authors, the theory of Galois functors provides a categorical framework for the characterisation of bimonads on any category as Hopf monads and also for the characterisation of opmonoidal monads on…

Hopf algebras, most generally in a semisimple abelian symmetric monoidal category, are here supposed to be commutative but not to be of finite-type, and their (equivariant) smoothness are discussed. Given a Hopf algebra $H$ in a category…

We prove that the category of Hopf bimodules over any Hopf algebra has enough injectives, which enables us to extend some results on the unification of Hopf bimodule cohomologies of [T1,T2] to the infinite dimensional case. We also prove…

We define the notion of equivariant Hopf Galois extension and apply it as a functor between category of SAYD modules of the Hopf algebras involving in the extension. This generalizes the result of Jara-Stefan and B\"ohm-Stefan on…

The theory of integrals is used to analyse the structure of Hopf algebroids, introduced in math.QA/0302325. We prove that the total algebra of the Hopf algebroid is a separable extension of the base algebra if and only if it is a…

The category of rational mixed Hodge-Tate structures is a mixed Tate category. So thanks to the Tannakian formalism, it is equivalent to the category of finite dimensional graded comodules over a graded commutative Hopf algebra H over Q.…

We define comodule algebras and Galois extensions for actions of bialgebroids. Using just module conditions we characterize the Frobenius extensions that are Galois as depth two and right balanced extensions. As a corollary, we obtain…

We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z_2. We prove that nontrivial Hopf algebras arising in this way can be regarded as…

We show that if $H$ is a Hopf algebra with bijective antipode and $B \subset A$ is a faithfully flat $H$-Galois extension, then $A$ is homologically smooth if $H$ and $B$ are.

In this paper, we give an explicit chain map, which induces the algebra isomorphism between the Hochschild cohomology ${\bf HH}^{\bullet}(B)$ and the $H$-invariant subalgebra ${\bf H}^{\bullet}(A, B)^{H}$ under two mild hypotheses, where…

It is well-known that the category of comodules over a flat Hopf algebroid is abelian but typically fails to have enough projectives, and more generally, the category of graded comodules over a graded flat Hopf algebroid is abelian but…

We prove that both, the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras, have right adjoints; in other words: every bialgebra has a…