noncommutative principal bundle

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 UU and the total space by EE. If the structure group is a Hopf algebra, then the standard requirement is that EE is a right HH-comodule algebra which is a Hopf-Galois extension of UU. One generalization of this picture are the “coalgebra bundles”

In that case, the Hopf algebra is replaced by a coalgebra CC, the total space by an algebra which is a CC-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 CC 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

  • Z. Škoda, Some equivariant constructions in noncommutative algebraic geometry, Georgian Mathematical Journal 16 (2009), No. 1, 183–202, arXiv:0811.4770.

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 HH-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, Localizations for construction of quantum coset spaces, math.QA/0301090, Banach Center Publ. 61, pp. 265–298, Warszawa 2003;

  • 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:

  • Gabriella Böhm, Galois theory for Hopf algebroids, Annali dell’Universita di Ferrara, Sez VII, Sci. Mat., Vol. LI (2005) 233–262 math.QA/0409513

See also

  • Tomasz Brzeziński, On synthetic interpretation of quantum principal bundles, AJSE D - Mathematics 35(1D): 13-27, 2010 arxiv:0912.0213; Quantum group differentials, bundles and gauge theory, Encyclopedia of Mathematical Physics, Acad. Press. 2006, pp. 236–244 doi

There is also a theory of connections on a noncommutative bundle.

Revised on March 6, 2013 19:08:07 by Zoran Škoda (