Weak multiplier Hopf algebras. I: The main theory.

From MaRDI portal
Publication:494944

DOI10.1515/CRELLE-2013-0053zbMATH Open1343.16028arXiv1210.4395OpenAlexW2963557669MaRDI QIDQ494944FDOQ494944


Authors: Alfons Van Daele, Shuanhong Wang Edit this on Wikidata


Publication date: 8 September 2015

Published in: Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

Abstract: A weak multiplier Hopf algebra is a pair (A,Delta) of a non-degenerate idempotent algebra A and a coproduct Delta on A. The coproduct is a coassociative homomorphism from A to the multiplier algebra M(Aotimes A) with some natural extra properties (like the existence of a counit). Further we impose extra but natural conditions on the ranges and the kernels of the canonical maps T_1 and T_2 defined from Aotimes A to M(Aotimes A) by T_1(aotimes b)=Delta(a)(1otimes b) and T_2(aot b)=(aotimes 1)Delta(b). The first condition is about the ranges of these maps. It is assumed that there exists an idempotent element Ein M(Aotimes A) such that Delta(A)(1ot A)=E(Aot A) and (Aotimes 1)Delta(A)=(Aotimes A)E. The second condition determines the behavior of the coproduct on the legs of E. We require (Deltaotimes iota)(E)=(iotaotimesDelta)(E)=(1otimes E)(Eot 1)=(Eotimes 1)(1otimes E) where iota is the identity map and where Deltaotimesiota and iotaotimesDelta are extensions to the multipier algebra M(Aotimes A). Finally, the last condition determines the kernels of the canonical maps T_1 and T_2 in terms of this idempotent E by a very specific relation. From these conditions we develop the theory. In particular, we construct a unique antipode satisfying the expected properties and various other data. Special attention is given to the regular case (that is when the antipode is bijective) and the case of a *-algebra (where regularity is automatic). Weak Hopf algebras are special cases of such weak multiplier Hopf algebras. Conversely, if the underlying algebra of a (regular) weak multiplier Hopf algebra has an identity, it is a weak Hopf algebra. Also any groupoid, finite or not, yields two weak multiplier Hopf algebras in duality.


Full work available at URL: https://arxiv.org/abs/1210.4395




Recommendations





Cited In (29)





This page was built for publication: Weak multiplier Hopf algebras. I: The main theory.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494944)