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.