Associative bialgebroid

In mathematics, if is an associative algebra over some ground field k, then a left associative -bialgebroid is another associative k-algebra together with the following additional maps:[1] an algebra map called the source map, an algebra map called the target map, so that the elements of the images of and commute in , therefore inducing an -bimodule structure on via the rule for ; an -bimodule morphism which is required to be a counital coassociative comultiplication on in the monoidal category of -bimodules with monoidal product . The corresponding counit is required to be a left character (equivalently, the map must be a left action extending the multiplication along ). Furthermore, a compatibility between the comultiplication and multiplications on and on is required. For a noncommutative , the tensor square is not an algebra, hence asking for a bialgebra-like compatibility that is a morphism of k-algebras does not make sense. Instead, one requires that has a k-subspace which contains the image of and has a well-defined multiplication induced from its preimage under the projection from the usual tensor square algebra . Then one requires that the corestriction is a homomorphism of unital algebras. If it is a homomorphism for one such , one can make a canonical choice for , namely the so called Takeuchi's product ,[2] which always inherits an associative multiplication via the projection from . Thus, it is sufficient to check if the image of is contained in the Takeuchi's product rather than to look for other . As shown by Brzeziński and Militaru, the notion of a bialgebroid is equivalent to the notion of -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 . Hopf algebroids are associative bialgebroids with an additional antipode map which is an antiautomorphism of 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.

References

  1. Böhm, Gabriella (2008), Hopf Algebroids, arXiv:0805.3806
  2. Brzeziński, Tomasz; Militaru, Gigel (2000), Bialgebroids, -bialgebras and duality, arXiv:math.QA/0012164
  3. M. Takeuchi, Groups of algebras over , J. Math. Soc. Japan 29, 459–492, 1977
  4. Lu, Jiang-HUA (1996), "Hopf Algebroids and Quantum Groupoids", International Journal of Mathematics, 07: 47–70, arXiv:q-alg/9505024, doi:10.1142/S0129167X96000050, S2CID 9861060
  5. Imre Bálint, Scalar extension of bicoalgebroids, Appl. Categor. Struct. 16, 29–55 (2008)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.