Associative bialgebroid

In mathematics, if ${\displaystyle L}$ is an associative algebra over some ground field k, then a left associative ${\displaystyle L}$-bialgebroid is another associative k-algebra ${\displaystyle H}$ together with the following additional maps:[1] an algebra map ${\displaystyle \alpha :L\to H}$ called the source map, an algebra map ${\displaystyle \beta :L^{\mathrm {op} }\to H}$ called the target map, so that the elements of the images of ${\displaystyle \alpha }$ and ${\displaystyle \beta }$ commute in ${\displaystyle H}$, therefore inducing an ${\displaystyle L}$-bimodule structure on ${\displaystyle H}$ via the rule ${\displaystyle a.h.b=\alpha (a)\beta (b)h}$ for ${\displaystyle a,b\in L,h\in H}$; an ${\displaystyle L}$-bimodule morphism ${\displaystyle \Delta :H\to H\otimes _{L}H}$ which is required to be a counital coassociative comultiplication on ${\displaystyle H}$ in the monoidal category of ${\displaystyle L}$-bimodules with monoidal product ${\displaystyle \otimes _{L}}$. The corresponding counit ${\displaystyle \epsilon :H\to L}$ is required to be a left character (equivalently, the map ${\displaystyle H\otimes L\ni h\otimes l\mapsto \epsilon (h\alpha (l))\in L}$ must be a left action extending the multiplication ${\displaystyle L\otimes L\to L}$ along ${\displaystyle \alpha \otimes \mathrm {id} _{L}}$). Furthermore, a compatibility between the comultiplication ${\displaystyle \Delta }$ and multiplications on ${\displaystyle H}$ and on ${\displaystyle H\otimes H}$ is required. For a noncommutative ${\displaystyle L}$, the tensor square ${\displaystyle H\otimes _{L}H}$ is not an algebra, hence asking for a bialgebra-like compatibility that ${\displaystyle \Delta :H\to H\otimes _{L}H}$ is a morphism of k-algebras does not make sense. Instead, one requires that ${\displaystyle H\otimes _{L}H}$ has a k-subspace ${\displaystyle T}$ which contains the image of ${\displaystyle \Delta }$ and has a well-defined multiplication induced from its preimage under the projection from the usual tensor square algebra ${\displaystyle H\otimes H}$. Then one requires that the corestriction ${\displaystyle \Delta |^{T}:H\to T}$ is a homomorphism of unital algebras. If it is a homomorphism for one such ${\displaystyle T}$, one can make a canonical choice for ${\displaystyle T}$, namely the so called Takeuchi's product ${\displaystyle H\times _{L}H\subset H\otimes _{L}H}$,[2] which always inherits an associative multiplication via the projection from ${\displaystyle H\otimes H}$. Thus, it is sufficient to check if the image of ${\displaystyle \Delta }$ is contained in the Takeuchi's product rather than to look for other ${\displaystyle T}$. As shown by Brzeziński and Militaru, the notion of a bialgebroid is equivalent to the notion of ${\displaystyle \times _{L}}$-algebra introduced by Takeuchi earlier, in 1977.[3]

Associative bialgebroid is a generalization of a notion of k-bialgebra where a commutative ground ring k is replaced by a possibly noncommutative k-algebra ${\displaystyle L}$. Hopf algebroids are associative bialgebroids with an additional antipode map which is an antiautomorphism of ${\displaystyle H}$ satisfying additional axioms.

The term bialgebroid for this notion has been first proposed by J-H. Lu.[4] The modifier associative is often dropped from the name, and retained mainly only when we want to distinguish it from the notion of a Lie bialgebroid, often also referred just as a bialgebroid. Associative bialgebroids come in two chiral versions, left and right. A dual notion is the notion of a bicoalgebroid.[5]

There is a generalization, an internal bialgebroid which abstracts the structure of an associative bialgebroid to the setup where the category of vector spaces is replaced by an abstract symmetric monoidal category admitting coequalizers commuting with the tensor product.