Piecewise principal comodule algebras.

From MaRDI portal
Publication:645834

DOI10.4171/JNCG/88zbMATH Open1258.16036arXiv0707.1344OpenAlexW2963320864MaRDI QIDQ645834FDOQ645834


Authors: Piotr M. Hajac, Ulrich Krähmer, R. Matthes, Bartosz Zieliński Edit this on Wikidata


Publication date: 10 November 2011

Published in: Journal of Noncommutative Geometry (Search for Journal in Brave)

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.


Full work available at URL: https://arxiv.org/abs/0707.1344




Recommendations




Cites Work


Cited In (18)





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)