The Pullbacks of Principal Coactions

We prove that the class of principal coactions is closed under one-surjective pullbacks in an appropriate category of algebras equipped with left and right coactions. This allows us to handle cases of $C^*$-algebras lacking two different non-trivial ideals. It also allows us to go beyond the category of comodule algebras. As an example of the former, we carry out an index computation for noncommutative line bundles over the standard Podle´s sphere using the Mayer-Vietoris-type arguments afforded by a one-surjective pullback presentation of the $C^*$-algebra of this quantum sphere. To instantiate the latter, we define a family of coalgebraic noncommutative deformations of the $\mathrm{U}(1)$-principal bundle $\mathrm{S}^7\rightarrow\{C}\mathrm{P}^3$.

2010 Mathematics Subject Classification: 46L85, 58B32

Keywords and Phrases: coalgebra-Galois extension, entwining structure, equivariant projectivity, strong connection, Hopf algebra, quantum group, index pairing

Full text: dvi.gz 84 k, dvi 267 k, ps.gz 440 k, pdf 385 k.

Home Page of DOCUMENTA MATHEMATICA