An Atiyah Sequence for Noncommutative Principal Bundles
We present a derivation-based Atiyah sequence for noncommutative principal bundles. Along the way we treat the problem of deciding when a given $^*$-automorphism on the quantum base space lifts to a $^*$-automorphism on the quantum total space that commutes with the underlying structure group.