Covariant connections on bicovariant differential calculus (Q2197775)

Let \(\mathcal{A}\) be a Hopf algebra and \(\mathcal{E}\) the \(\mathcal{A}\)-bimodule of one-forms coming frome a bicovariant differential calculus. Denote by \({}_{0}\mathcal{E}\) the set of all left-invariant elements of the module \(\mathcal{E}\). \textit{S. L. Woronowicz} [Commun. Math. Phys. 122, No. 1, 125--170 (1989; Zbl 0751.58042)] proved that there exists a bicovariant \(\mathcal{A}\)-bilinear map \(\sigma : \mathcal{E} \otimes_{\mathcal{A}} \mathcal{E} \to \mathcal{E} \otimes_{\mathcal{A}} \mathcal{E}\). The map \(\sigma\) restricts to a map \({}_{0}\sigma : {}_{0}\mathcal{E} \otimes_{\mathbb{C}} {}_{0}\mathcal{E} \to {}_{0}\mathcal{E} \otimes_{\mathbb{C}} {}_{0}\mathcal{E}\). In this paper, the authors assume that \({}_{0}\sigma\) is diagonalisable. This assumption is satisfied by a fairly large class (see Proposition 3.1 in this paper). Then the result is the following: There exists on \(\mathcal{A}\)-\(\mathcal{A}\)-bimodule \(\mathcal{F}\) such that \[ \mathcal{E} \otimes_{\mathcal{A}} \mathcal{E} = \mathrm{Ker}(\wedge) \oplus \mathcal{F}, \] where \(\wedge : \mathcal{E} \otimes_{\mathcal{A}} \mathcal{E} \to \Omega^{2}(\mathcal{A})\) denotes the wedge map to the set of \(2\)-forms \(\Omega^{2}(\mathcal{A})\). Moreover, the map \(\wedge|_{\mathcal{F}} : \mathcal{F} \to \Omega^{2}(\mathcal{A})\) defines an isomorphism of right \(\mathcal{A}\)-modules. As applications of the result, the authors proved that there exists a bicovariant torsionless connection on \(\mathcal{E}\). Moreover, they proved that there exists a unique bicovariant Levi-Civita commection for the large class of bicovariant differential calculi with a bi-invariant pseudo-Riemannian metric.