An Atiyah Sequence for Noncommutative Principal Bundles

Abstract

We present a derivation-based Atiyah sequence for noncommutative principal bundles. Along the way we treat the problem of deciding when a given ${}^{\ast }$-automorphism on the quantum base space lifts to a ${}^{\ast }$-automorphism on the quantum total space that commutes with the underlying structure group.