There are many approaches to the generalizations of principal bundles to various flavours of noncommutative geometry. Not only that the base and total space of a principal bundle are replaced by noncommutative spaces, but various frameworks of noncommutative geometry also allow that the structure group be replaced by some analogue or generalization, something like quantum group. Some people hence talk about “quantum principal bundles”.
In noncommutative algebraic geometry, the most studied is the case in which the base and total space are affine, i.e. each represented by a single algebra, say base by and the total space by . If the structure group is a Hopf algebra, then the standard requirement is that is a right -comodule algebra which is a Hopf-Galois extension of . One generalization of this picture are the “coalgebra bundles”
In that case, the Hopf algebra is replaced by a coalgebra , the total space by an algebra which is a -comodule, bu then an entwining structure is needed as an additional structure, and again a version of a Galois condition is required. The entwining which is a mixed distributive law is in fact in a role of lifting certain induced action of a monoidal category associated to from the base ground scheme cf.
The liftings can be defined more generally in nonaffine situations leading to the concept of geometrically admissible actions as in
The Galois condition can then be defined locally on some compatible cover. A generalized version of the Schneider’s descent theorem hold in this generality.
As a particular case, this allows the -comodule algebras which are not Hopf-Galois extension of their coinvariants, but became so when localizing on some affine coaction compatible cover by affine “biflat” localizations (see here). In other words the localized algebras are Hopf-Galois extensions (for example crossed product algebras) of the localized coinvariants as in
Z. Škoda, Coherent states for Hopf algebras, Letters in Mathematical Physics 81, N.1, pp. 1-17, July 2007. (earlier arXiv version: math.QA/0303357).
A principal bundle is called locally trivial if there is a cover on which the Hopf-Galois extensions are in fact Hopf smash products. In the commutative case, and with affine algebraic group as a structure group, this is the same as the local triviality in fpqc topology.
Another point of view to generalized Galois conditions in noncommutative algebraic geometry based on spaces represented by monoidal categories can be found in
As Hopf algebroids generalize (function algebras on) groupoids, there is a well motivated study of Galois conditions (hence torsors) in the world of Hopf algebroids:
There is also a theory of connections on a noncommutative bundle.