Given a finite-dimensional Hopf algebra $H$ and a $D(H)$-module algebra $A$ (where $D(H)$ is the Drinfeld double of $H$), Lu1996 has introduced the structure of a left $A$-bialgebroid on the smash product algebra $A\sharp H$ as a noncommutative generalization of the algebra of functions on an action groupoid. In this finite-dimensional case, the category of left-right Yetter-Drinfeld modules is equivalent to the category of Yetter-Drinfeld $H$-modules. In this new context of Yetter-Drinfeld module algebras, the construction has been generalized by the so called Brzeziński-Militaru construction or scalar extension bialgebroid in BrzezinskiMilitaru2002. They also proved a converse, roughly that the formulas given for the scalar extension bialgebroid for an arbitrary smash product satisfy the axioms of a bialgebroid only if the module algebra which is also a comodule is in fact a braided commutative Yetter-Drinfeld algebra.
If $(H,\Delta,\epsilon)$ (where $\Delta(h) = \sum h_{(1)}\otimes h_{(2)}$ is a bialgebra and $A$ a left-right Yetter-Drinfeld $H$-module algebra with Hopf action $\triangleright:H\otimes A\to A$ and a coaction $\rho: A\to A\otimes H$, then the smash product $A\sharp H$ inherits the left $A$-bialgebroid structure $(A\sharp H,\alpha,\beta,\Delta^{A\sharp H},\epsilon^{A\sharp H})$ where source $\alpha(a) = a\sharp 1$, target $\beta$ is $\rho$ followed by the identification of vector spaces $A\sharp H\cong A\otimes H$ and the coproduct $\Delta^{A\sharp H}$ is obtained by extending $\Delta$ along inclusion $H\to A\sharp H$, that is,
which is an extension of $\Delta$ along the canonical embedding $H\to A\sharp H$. The counit is
If $H$ is a Hopf algebra the Brzeziński-Militaru construction gives a Lu-Hopf bialgebroid and if the antipode $S$ of $H$ is invertible then it gives also a Böhm-Szlachányi symmetric Hopf algebroid. If the antipode $S$ is not invertible then the data of a Yetter-Drinfeld module algebra has to be replaced by a compatible pair of a left-right Yetter-Drinfeld module algebra and a right-left Yetter-Drinfeld module algebra yielding again a symmetric Hopf algebroid Stojic2023.
Heisenberg double $H^*\sharp H$ of a finite-dimensional Hopf algebra is a specific example of a Hopf algebroid. There are many infinite-dimensional cases of Heisenberg double which can be cast into bialgebroids, but most often complicated issues with completions are involved (e.g. in MSSncphasespace2017)
Jiang-Hua Lu, Hopf algebroids and quantum groupoids, Int. J. Math. 7, 1 (1996) pp. 47-70, q-alg/9505024, MR95e:16037, doi; On the Drinfeld double and the Heisenberg double of a Hopf algebra, Duke Math. J. 7:3 (1994) 763-776, MR1277953, doi
Tomasz Brzeziński, Gigel Militaru, Bialgebroids, $\times_A$-bialgebras and duality, J. Algebra 251 (2002) 279-294 [math.QA/0012164, doi:10.1006/jabr.2001.9101]
Standard reference is now
Remaining issues about the antipode are settled in
Every invertible counital 2-cocycle $F = \sum F^1\otimes F^2$ (Drinfeld twist) for a bialgebra $H$, with inverse $F^{-1} = G^1\otimes G^2$, induces a Drinfeld-Xu 2-cocycle $\mathcal{G}=\sum 1\sharp G^1\otimes_A 1\sharp G^2$ for the scalar extension bialgebroid $A\sharp H$. The scalar extension for the $F$-twisted data $A_F\sharp H^F$ is isomorphic as a $A_F$-bialgebroid to the $\mathcal{G}$-twist of $A\sharp H$.
Some corrections and a slight generalization are given in
An infinite-dimensional case of a Heisenberg double of a universal enveloping algebra $U(g)$ of a finite dimensional Lie algebra over a field of characteristic zero is described as a version of a completed Hopf algebroid in
While all the statements in the above article are rigorous, the axioms are not the most natural. A natural version where the Heisenberg double of $U(g)$ has been described as an internal Hopf algebroid (of an internal scalar extension type) in a symmetric monoidal category of (countably cofinite) filtered-cofiltered vector spaces in
Other articles include
Scalar extension Hopf algebroids can be recast also in the form fitting the axioms of the Hopf algebroid with a balancing subalgebra, see Sec. 4 in
Last revised on August 12, 2023 at 13:06:05. See the history of this page for a list of all contributions to it.