Abstract:We provide a differential structure on arbitrary cleft extensions $B:=A^{\mathrm{co}H}\subseteq A$ for an $H$-comodule algebra $A$. This is achieved by constructing a covariant calculus on the corresponding crossed product algebra $B\#_\sigma H$ from the data of a bicovariant calculus on the structure Hopf algebra $H$ and a calculus on the base algebra $B$, which is compatible with the $2$-cocycle and measure of the crossed product. The result is a quantum principal bundle with canonical strong connection and we describe the induced bimodule covariant derivatives on associated bundles of the crossed product. It is proven that connections of the quantum principal bundle are in bijection with connection $1$-forms. All results specialize to trivial extensions and smash product algebras $B\#H$ and we give a characterization of the smash product calculus in terms of the differentials of the cleaving map $j\colon H\to A$ and the inclusion $B\hookrightarrow A$. The construction is exemplified for pointed Hopf algebras. In particular, the case of Radford Hopf algebras $H_{(r,n,q)}$ is spelled out in detail.

Mini-course on Hopf algebras--Hopf crossed products--

Hopf Galois extensions of Hopf algebroids

Crossed squares of cocommutative Hopf algebras

On Quasi-Bicrossed Products of Weak Hopf Algebras

Invariant properties of representations under cleft extensions

Noncommutative differential geometry on crossed product algebras

Commutators and crossed modules of color Hopf algebras

Hopf-Galois objects over bicrossed product Hopf algebras and twisting maps

Weak Hopf Quivers, Clifford Monoids and Weak Hopf Algebras

On bicrossed modules of Hopf algebras

A class of finite-by-cocommutative Hopf algebras

Twisted unipotent groups

Quantum point contact with large localized spin: fractional quantization of the ballistic conductance

Gorenstein Global Dimension and Hopf Algebroid Actions

Derived Representation Type and Gorenstein Projective Modules of an Algebra under Crossed Product

Explicit Realization of Hopf Cyclic Cohomology Classes of Bicrossed Product Hopf Algebras

Hopf automorphisms and twisted extensions

On Cleft Extensions of the Tensor Product of Two Hopf Algebras

Representation Crossed Category of Group-cograded Multiplier Hopf Algebras

On Galois Extension of Hopf Algebras

Crossed modules