Zoran Skoda
global Hopf-Galois extension

(be careful, I use gg and GG here, unrelated)

Recall that a functor L *L^* possessing a right adjoint L *L_* is a localization iff the counit of the adjunction is iso and that a functor is affine if it has a right adjoint which is faithful and has its own right adjoint (thus L *L *L !L^*\dashv L_{*}\dashv L^!). If the functors are additive among abelian categories L *L^* is said to be flat (coflat, biflat) if the inverse image part L *L^* (resp. direct image part L *L_*, resp. both) are exact. A family of flat functors is a cover if it is conservative.

Let an adjoint functor g *:A:g *g_* : A\to \mathcal{M} : g^* together with a finite cover {Q λ *:AA λ} λ\{Q^*_\lambda : A\to A_\lambda\}_\lambda together of AA by biflat affine localization functors define a structure of a noncommutative scheme over \mathcal{M} in the sense of Rosenberg. In addition to the stated, being a noncommutative scheme means that Q λ *g *Q_{\lambda}^*\circ g^* is affine for every λ\lambda, and that g *g_* is exact and faithful.

Let now HH be a Hopf kk-algebra over a commutative unital ring kk. Let =kMod\mathcal{M} = k-Mod. Let an additive comonad GG on AA be given, which is strongly compatible with each of the localizations Q λ *Q^*_\lambda. That implies that there is am induced comonad G λG^\lambda on A λA Q λA_\lambda\cong A^{Q_\lambda} lifting GG. Let E λ=(Q λ *g *)(k)E_\lambda = (Q_\lambda^* \circ g^*)(k); by affiness, E λE_\lambda is then a kk-algebra. Suppose, E λE_\lambda is a faithfully flat HH-Hopf-Galois extension with coinvariants U λ=E λ coHU_\lambda = E_\lambda^{co H}; and A λE λModA_\lambda \cong E_\lambda-Mod (we can take that they are equal). We suppose that G λ: E λ HG^\lambda: {}_{E_\lambda}\mathcal{M}^H is given with an isomorphism with the comonad for Hopf modules (compatible left E λE_\lambda-modules, right HH-comodules) H\otimes H. We say that these data form a global Hopf-Galois extension structure on the noncommutative scheme given above.

Theorem. g * G=g *U Gg_*^G = g_*\circ U^G and localizations (Q λ G) *(Q^G_\lambda)^* induced by the compatible localizations Q *Q^* induce a structure of noncommutative scheme on A GA^G over kModk-Mod and the algebra of coinvariants E λ coHE_\lambda^{co H} is isomorphic to (Q G λ*g G*)(k)(Q^{G_\lambda*}\circ g^{G*})(k) (as a kk-module, and this isomorphism gives it a structure of a kk-algebra, making it a progenerator in (A λ) G λ(A_\lambda)^{G_\lambda}).

Naturalness: If ABA\to B is any other affine biflat strongly compatible localization such that BB is the category of relative Hopf modules over the appropriate pullback of kk and such that the localization factors via one of the elements of the initial compatible cover, then the inverse image functor of the other part of the factorization is induced by an inclusion of the algebras of coinvariants.

(We say that A GA^G together with this structure of noncommutative scheme over \mathcal{M} is a noncommutative quotient scheme of AA with respect to the globalized action of a Hopf algebra HH.)

Main elements of the proof: g *U Gg^*\circ U^G is faithful because g *g^* is and the forgetful functor from EM category is; it is exact because g *g^* is exact and U G λU^{G_\lambda} is for all λ\lambda, for the latter use the fact that locally we have modules over the coinvariants. For affiness of the composition of (g λ G) *(g^G_\lambda)^* with the induced localizations one in fact proves and uses that this functor is isomorphic with the extension of scalars from kk to E λ coHE_\lambda^{co H}. For this one of course uses the Schneider’s equivalence of categories in the left module-right comodule version (no need for bijective antipode assumption). In this proof, it is convenient to think of the Schneider’s equivalence as the equivalence of the EM categories, which is induced by the isomorphism of kk-linear comonads ME λ U λMM\mapsto E_\lambda\otimes_{U_\lambda}M and MM kHM\mapsto M\otimes_k H in the category of left E λE_\lambda-modules; the latter isomorphism of course canonically extends the kk-linear isomorphism of left E λE_\lambda-modules E λ U λE λE λ kHE_\lambda\otimes_{U_\lambda} E_\lambda\cong E_\lambda\otimes_k H given by the Hopf-Galois condition.

For induced localizations one uses the compatibility, as well as for the right adjoint (not difficult); the exactness of both is also easy.

For affiness of the induced localizations themselves one uses the Gabi’s result of existence of the second adjoint (the faithfulness is easy). For conservativeness of the cover one just uses that the forgetful functor from GG-comodules is faithful. For the naturalness one uses the construction via coinvariants an the naturalness of the Schneider’s equivalence of categories with respect to the inclusions of Hopf-Galois extensions for a fixed Hopf kk-algebra HH.

Created on April 6, 2011 at 18:24:06. See the history of this page for a list of all contributions to it.