Complex quantum group, dual algebra and bicovariant differential calculus (Q1210092)

The authors start with the definition of the complex quantum group \(Fun_ q(SL(N,\mathbb{C}))\) as a \(^*\)-Hopf algebra generated by matrix elements \(M^ i_ j\) and \(\overline M^ i_ j=(M^ j_ i)^*\) fulfilling usual \(R\)-matrix relations and determinant conditions [compare \textit{B. Drabant}, \textit{M. Schlieker}, \textit{W. Weich} and \textit{B. Zumino}, Commun. Math. Phys. 147, 625-633 (1992; Zbl 0763.17011)]. Then, following ideas of the authors, \textit{M. Schlieker} and \textit{W. Weich} [Commun. Math. Phys. 142, 605-641 (1991; Zbl 0743.17015)], they construct bicovariant bimodules over this quantum group as certain bicovariant quotients of tensor algebras over fundamental (\(N\)-dimensional) bimodules. Then the Hopf dual algebra of \(Fun_ q(SL(N,\mathbb{C}))\) is defined using the functionals defining the bimodule structure of the fundamental bimodules. It turns out that this dual is a twisted product \(Fun_ q(SU(N))\widetilde\otimes Fun_ q'(SU(N))^*_{reg}\), what means that the two factors are noncommuting subalgebras. Next a bicovariant differential calculus is constructed whose basis has \(2N^ 2\) elements and which contains the adjoint representation and two singlets. These singlets are biinvariant forms which are used to define the exterior differential. Corresponding higher order differential forms and right invariant vector fields are defined à la \textit{S. L. Woronowicz} [Commun. Math. Phys. 122, 125-170 (1989; Zbl 0751.58042)]. Finally, a quantum space on which the complex quantum group coacts from the left is introduced, and a covariant differential calculus on this quantum space is defined by a translation of the differential calculus on the group to the quantum space. (This generalizes the classically canonical fact that an action of a Lie group on a manifold induces an action of the corresponding Lie algebra as first order differential operators on the manifold).