In mathematics, in the theory ofHopf algebras, a Hopf algebroid is a generalisation of weak Hopf algebras, certain skew Hopf algebras and commutative Hopf k-algebroids. If k is a field, a commutative k-algebroid is a cogroupoid object in the category of k-algebras; the category of such is hence dual to the category of groupoidk-schemes. This commutative version has been used in 1970-s in algebraic geometry and stable homotopy theory. The generalization of Hopf algebroids and its main part of the structure, associative bialgebroids, to the noncommutative base algebra was introduced by J.-H. Lu in 1996 as a result on work on groupoids in Poisson geometry. They may be loosely thought of as Hopf algebras over a noncommutative base ring, where weak Hopf algebras become Hopf algebras over a separable algebra. It is a theorem that a Hopf algebroid satisfying a finite projectivity condition over a separable algebra is a weak Hopf algebra, and conversely a weak Hopf algebra H is a Hopf algebroid over its separable subalgebra HL. The antipode axioms have been changed by G. Böhm and K. Szlachányi in 2004 for tensor categorical reasons and to accommodate examples associated to depth two Frobenius algebra extensions.
Definition
A left Hopf algebroid is a left bialgebroid together with an antipode: the bialgebroid consists of a total algebraH and a base algebra R and two mappings, an algebra homomorphisms: R → H called a source map, an algebra anti-homomorphism t: R → H called a target map, such that the commutativity condition st = ts is satisfied for all r1, r2 ∈ R. The axioms resemble those of a Hopf algebra but are complicated by the possibility that R is a non-commutative algebra or its images under s and t are not in the center of H. In particular a left bialgebroid has an R-R-bimodule structure on H which prefers the left side as follows: r1 ⋅ h ⋅ r2 = sth for all h in H, r1, r2 ∈ R. There is a coproduct Δ: H → H ⊗RH and counit ε: H → R that make an R-coring. Additionally the bialgebroid must satisfy Δ = ΔΔ for all a, b in H, and a condition to make sure this last condition makes sense: every image point Δ satisfies at ⊗ a = a ⊗ as for all r in R. Also Δ = 1 ⊗ 1. The counit is required to satisfy ε = 1R and the condition ε = ε = ε. The antipode S: H → H is usually taken to be an algebra anti-automorphism satisfying conditions of exchanging the source and target maps and satisfying two axioms like Hopf algebra antipode axioms; see the references in Lu or in Böhm-Szlachányi for a more example-category friendly, though somewhat more complicated, set of axioms for the antipode S. The latter set of axioms depend on the axioms of a right bialgebroid as well, which are a straightforward switching of left to right, s with t, of the axioms for a left bialgebroid given above.
Examples
As an example of left bialgebroid, take R to be any algebra over a fieldk. Let H be its algebra of linear self-mappings. Let s be left multiplication by r on R; let t be right multiplication by r on R. H is a left bialgebroid over R, which may be seen as follows. From the fact that H ⊗RH ≅ Homk one may define a coproduct by Δ = f for each linear transformationf from R to itself and all r, u in R. Coassociativity of the coproduct follows from associativity of the product on R. A counit is given by ε = f. The counit axioms of a coring follow from the identity element condition on multiplication in R. The reader will be amused, or at least edified, to check that is a left bialgebroid. In case R is an Azumaya algebra, in which case H is isomorphic to R ⊗ R, an antipode comes from transposing tensors, which makes H a Hopf algebroid over R. Another class of examples comes from letting R be the ground field; in this case, the Hopf algebroid is a Hopf algebra.
