Abstract: A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality is a piecewise property: given N comodule-algebra surjections P->Pi whose kernels intersect to zero, P is principal if and only if all Pi's are principal. Furthermore, assuming the principality of P, we show that the lattice these kernels generate is distributive if and only if so is the lattice obtained by intersection with B. Finally, assuming the above distributivity property, we obtain a flabby sheaf of principal comodule algebras over a certain space that is universal for all such N-families of surjections P->Pi and such that the comodule algebra of global sections is P.
Recommendations
Cites work
Cited in
(18)- Piecewise principal coactions of co-commutative Hopf algebras.
- Quantum principal bundles over quantum real projective spaces
- Pullbacks and nontriviality of associated noncommutative vector bundles
- Cyclic-homology Chern-Weil theory for families of principal coactions
- Quantum principal bundles on projective bases
- Associated noncommutative vector bundles over the Vaksman-Soibelman quantum complex projective spaces
- On the relationship between classical and deformed Hopf fibrations
- N = 2 quantum chiral superfields and quantum super bundles
- Quantum teardrops
- Quantum complex projective spaces from Toeplitz cubes
- A 4-sphere with noncentral radius and its instanton sheaf
- Fixed point algebras for easy quantum groups
- scientific article; zbMATH DE number 2135132 (Why is no real title available?)
- Weighted circle actions on the Heegaard quantum sphere
- Free actions of compact quantum groups on unital C^-algebras
- Piecewise principal and piecewise trivial comodule algebras
- An algebraic framework for noncommutative bundles with homogeneous fibres
- The quantum flag manifold \(\mathrm{SU}_q(3)/\mathbb{T}^2\) as an example of a noncommutative sphere bundle
This page was built for publication: Piecewise principal comodule algebras.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645834)