Duality features of left Hopf algebroids

TL;DR

This paper investigates the duality structures of left Hopf algebroids, introducing a morphism extending the antipode concept and exploring categorical equivalences without relying on an antipode.

Contribution

It constructs a bialgebroid morphism extending the antipode for duals of Hopf algebroids and extends categorical equivalences between comodules without antipodes.

Findings

Existence of a bialgebroid morphism S^* extending the antipode

Isomorphism of duals when U is both left and right Hopf algebroid

Extension of categorical equivalence between comodules without antipodes

Abstract

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^* from one dual to another that extends the construction of the antipode on the dual of a Hopf algebra, and which is an isomorphism if U is both a left and right Hopf algebroid. This structure is derived from Phung's categorical equivalence between left and right comodules over U without the need of a (Hopf algebroid) antipode, a result which we review and extend. In the applications, we illustrate the difference between this construction and those involving antipodes and also deal with dualising modules and their quantisations.