Mathematics – Rings and Algebras
Scientific paper
2004-09-27
Annali dell'Universita di Ferrara, Sez VII, Sci. Mat., Vol. LI (2005) 233-262
Mathematics
Rings and Algebras
19 pages, no figure v2: Prop 3.1 added. v3: Prop 3.1 is withdrawn, without affecting any other result in the paper
Scientific paper
An 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.
No associations
LandOfFree
Galois theory for Hopf algebroids does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Galois theory for Hopf algebroids, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Galois theory for Hopf algebroids will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-447917