Actions of Multiplier Hopf Algebras

For an action $\alpha$ of a group $G$ on an algebra $R$ (over $\Bbb C$), the crossed product $R\times_\alpha G$ is the vector space of $R$-valued functions with finite support in $G$, together with the twisted convolution product given by $$(\xi \eta)(p) = \sum_{q \in G} \xi(q) \alpha_q (\eta (q^{-1}p))$$ where $p\in G$. This construction has been extended to the theory of Hopf algebras. Given an action of a Hopf algebra $A$ on an algebra $R$, it is possible to make the tensor product $R\ot A$ into an algebra by using a twisted product, involving the action. In this case, the algebra is called the smash product and denoted by $R# A$. In the group case, the action $\alpha$ of $G$ on $R$ yields an action of the group algebra $\Bbb C G$ as a Hopf algebra on $R$ and the crossed $R\times_\alpha G$ coincides with the smash product $R# \Bbb C G$. In this paper we extend the theory of actions of Hopf algebras to actions of multiplier Hopf algebras. We also construct the smash product and we obtain results very similar as in the original situation for Hopf algebras. The main result in the paper is a duality theorem for such actions. We consider dual pairs of multiplier Hopf algebras to formulate this duality theorem. We prove a result in the case of an algebraic quantum group and its dual. The more general case is only stated and will be proven in a separate paper on coactions. These duality theorems for actions are substantial generalizations of the corresponding theorem for Hopf algebras. Also the techniques that are used here to prove this result are slightly different and simpler.