Strong connections and Chern-Connes pairing in the Hopf-Galois theory (Q5953627)

The authors reformulate the concept of connection defined by \textit{P. M. Hajac} [Commun. Math. Phys. 182, 579-617 (1996; Zbl 0873.58007)], within the general framework of noncommutative geometry, quantum groups and Galois-type theories. They give four equivalent definitions of a strong connection and show that a Hopf-Galois extension admitting a strong connection is projective and left faithfully flat. They establish a link between strong connections and Cuntz-Quillen connections on bimodules [\textit{J. Cuntz} and \textit{D. Quillen}, J. Am. Math. Soc. 8, No. 2, 251-289 (1995; Zbl 0838.19001)]. They adapt to the Hopf-Galois setting the construction of a super Hopf fibration and compute projector matrices of the super Hopf line bundles. By the functoriality of the Chern-Connes pairing they conclude that the values of the pairing for the super and classical Hopf line bundles coincide. As a result, the non-cleftness of the super Hopf fibration follows.