Galois theory for Hopf algebroids

dc.creatorBöhm, Gabriella
dc.date2004-09-27
dc.date2008-11-01
dc.date.accessioned2026-07-07T10:14:40Z
dc.date.available2026-07-07T10:14:40Z
dc.descriptionAn extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L H is an isomorphism or, equivalently, if the canonical coring (A\otimes_L H:A) is a Galois coring. In the case of a Hopf algebroid H=(H_L,H_R,S) any H_R-extension is shown to be also an H_L-extension. If the antipode is bijective then also the notions of H_R-Galois extensions and of H_L-Galois extensions are proven to coincide. Results about bijective entwining structures are extended to entwining structures over non-commutative algebras in order to prove a Kreimer-Takeuchi type theorem for a finitely generated projective Hopf algebroid H with bijective antipode. It states that any H-Galois extension B\subset A is projective, and if A is k-flat then already the surjectivity of the canonical map implies the Galois property. The Morita theory, developed for corings by Caenepeel, Vercruysse and Wang, is applied to obtain equivalent criteria for the Galois property of Hopf algebroid extensions. This leads to Hopf algebroid analogues of results for Hopf algebra extensions by Doi and, in the case of Frobenius Hopf algebroids, by Cohen, Fishman and Montgomery.
dc.description19 pages, no figure v2: Prop 3.1 added. v3: Prop 3.1 is withdrawn, without affecting any other result in the paper
dc.identifierhttps://arxiv.org/abs/math/0409513
dc.identifierhttp://arxiv.org/abs/math/0409513
dc.identifierAnnali dell'Universita di Ferrara, Sez VII, Sci. Mat., Vol. LI (2005) 233-262
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/172956
dc.subjectRings and Algebras
dc.subjectQuantum Algebra
dc.subject16W30 (Primary); 13B05 (Secondary)
dc.titleGalois theory for Hopf algebroids
dc.typetext

Files

Collections