Weak multiplier Hopf algebras. I: The main theory.

From MaRDI portal



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.


As a generalization of weak Hopf algebras, introduced by \textit{G. Böhm} et al. [J. Algebra 221, No. 2, 385-438 (1999; Zbl 0949.16037)], the authors define weak multiplier Hopf algebras. A unique antipode is constructed for such an object, and its main properties are given. It is shown that a weak Hopf algebra is a weak multiplier Hopf algebra. Weak multiplier Hopf algebras that are regular are investigated; the regular property turns out to be equivalent to the bijectivity of the antipode. It is shown that a regular weak multiplier Hopf algebra is a weak Hopf algebra if the underlying algebra has an identity.




Cited in
(34)








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)