Related papers: Hopf algebroids with bijective antipodes: axioms, …

In [1] a new notion of Hopf algebroid has been introduced. It was shown to be inequivalent to the structure introduced under the same name in [17]. We review this new notion of Hopf algebroid. We prove that two Hopf algebroids are…

We use Hopf algebroids to formulate a notion of a noncommutative and non-cocommutative Hopf 2-algebra. We show how these arise from a bicrossproduct Hopf algebra with Peiffer identities. In particular, we show that for a Hopf algebra $H$…

We develop a theory of Hopf BiGalois extensions for Hopf algebroids. We understand these to be left bialgebroids (whose left module categories are monoidal categories) fulfilling a condition that is equivalent to being Hopf in the case of…

Multiplier Hopf algebroids are algebraic versions of quantum groupoids that generalize Hopf algebroids to the non-unital case and weak (multiplier) Hopf algebras to non-separable base algebras. The main structure maps of a multiplier Hopf…

To a depth two extension A | B, we associate the dual bialgebroids S := \End {}_BA_B and T := (A \o_B A)^B over the centralizer R=C_A(B). In the set-up where R is a subalgebra of B, which is quite common, two nondegenerate pairings of S and…

Hopf algebroids are generalization of Hopf algebras over non-commutative base rings. It consists of a left- and a right-bialgebroid structure related by a map called the antipode. However, if the base ring of a Hopf algebroid is commutative…

We explore special features of the pair (U^*, U_*) formed by the right and left dual over a (left) bialgebroid U in case the bialgebroid is, in particular, a left Hopf algebroid. It turns out that there exists a bialgebroid morphism S^*…

For $A$ a Hopf algebra of arbitrary dimension over a field $K$, it is well-known that if $A$ has nonzero integrals, or, in other words, if the coalgebra $A$ is co-Frobenius, then the space of integrals is one-dimensional and the antipode of…

Recently, S. Meljanac proposed a construction of a class of examples of an algebraic structure with properties very close to the Hopf algebroids $H$ over a noncommutative base $A$ of other authors. His examples come along with a subalgebra…

This is an introduction to double algebras which is the structure modelled by the properties of the convolution product in Hopf algebras, weak Hopf algebras and in Hopf algebroids. We show that Hopf algebroids with a Frobenius integral can…

We study Frobenius 1-morphisms $\i$ in an additive bicategory $\c$ satisfying the depth 2 condition. We show that the 2-endomorphism rings $\c^2(\i\x\ib,\i\x\ib)$ and $\c^2(\ib\x\i,\ib\x\i)$ can be equipped with dual Hopf algebroid…

Comodule algebras of a Hopf algebroid H with a bijective antipode, i.e. algebra extensions B\subseteq A by H, are studied. Assuming that a lifted canonical map is a split epimorphism of modules of the non-commutative base algebra of H,…

We study the relationship between antipodes on a Hopf algebroid $\mathcal{H}$ in the sense of B\"ohm-Szlachanyi and the group of twists that lies inside the associated convolution algebra. We specialize to the case of a faithfully flat…

We investigate the property of being Frobenius for some functors strictly related with Hopf modules over a bialgebra and how this property reflects on the latter. In particular, we characterize one-sided Hopf algebras with…

We provide a correspondence between one-sided coideal subrings and one-sided ideal two-sided coideals in an arbitrary bialgebroid. We prove that, under some expected additional conditions, this correspondence becomes bijective for Hopf…

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…

We study integral theory for left (or right) Hopf left bialgebroids. Contrary to Hopf algebroids, the latter ones don't necessary have an antipode $S$ but, for any element $u$, the elements $u_{(1)} \otimes S(u_{(2)})$ (or $u_{(2)}\otimes…

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 construct new examples of left bialgebroids and Hopf algebroids, arising from noncommutative geometry. Given a first order differential calculus $\Omega$ on an algebra $A$, with the space of left vector fields $\mathfrak{X}$, we…

We provide a very short approach to several fundamental results for Hopf algebras with nonzero integrals. Besides being short, our approach is the first to prove the bijectivity of the antipode without using the uniqueness of the integrals…