localized coinvariant

Let BB be a kk-bialgebra and EE a right BB-comodule algebra with coaction ρ:EEB\rho:E\to E\otimes B. Let j:EE μj : E\to E_\mu be a biflat affine localization in the sense that it is a homomorphism of rings (affiness), and that the extension of scalars along jj is an exact localization functor whose right adjoint is also exact. If BB is a Hopf algebra of coordinate functions on an alegbraic kk-group where kk-is a field, and EE is the coordinate algebra of an affine kk-variety with regular GG-action, then we can not restrict the action to an arbitrary open sets, but only to the GG-invariant open sets. In our case, this would mean that the coaction does not necessarily extend to the localization E μE_\mu respecting the algebra structure.

For this reason, one introduces the class of ρ\rho-compatible localizations: a localization of a BB-comodule algebra (E,ρ)(E,\rho) is coaction compatible localization if the coaction extends to an algebra morphism ρ μ:E μE μB\rho_\mu:E_\mu\to E_\mu\otimes B such that the diagram

E ρ EB j jB E μ ρ μ E μB\array{ E&\stackrel{\rho}\to &E\otimes B\\ j \downarrow &&\downarrow j\otimes B\\ E_\mu&\stackrel{\rho_\mu}\to &E_\mu\otimes B }

commmutes. If such an extension exists it is unique and E μE_\mu is automatically a coaction.

The algebra of localized coinvariants is the subalgebra E μ coBE μE_\mu^{co B}\subset E_\mu of ρ μ\rho_\mu-coinvariants in E μE_\mu. It is important to notice that taking coinvariants and localization do not commute: there is no localization E coBE μ coBE^{co B}\to E^{co B}_\mu in general. A BB-comodule algebra which is ρ\rho-compatible may have many new BB-coinvariants which do not come in any sense as images under some sort of a localization from the BB-coinvariants of EE. This localization can be used to get more local information on the noncommutative quotient space for coactions of Hopf algebra. In some cases one can construct a cover of the quotient spaces by affine charts whose coordinate algebras are the algebras of localized coinvariant for varying compatible localizations of the original comodule algebra; this can be further generalized by replacing the comodule algebra by a more general object which is also glued from the charts, but this requires consideration of the compatibility at the level of the localization functors and the actions are then globally expressed via an action of a monoidal category (which is still locally induced by a coaction).

The notion of compatibility of coactions and Ore localizations and the localized coinvariants have been introduced in 1997 when starting working on

  • Z. Škoda, Coset spaces for quantum groups, thesis, Univ. of Wisconsin 2002.

This work is outlined in

  • Z. Škoda, Localizations for construction of quantum coset spaces, in “Noncommutative geometry and Quantum groups”, W.Pusz, P.M. Hajac, eds. Banach Center Publications vol.61, pp. 265–298, Warszawa 2003, math.QA/0301090.

and some aspects of it are generalized in

  • Z. Škoda, Some equivariant constructions in noncommutative algebraic geometry, Georgian Mathematical Journal 16 (2009), No. 1, 183–202, arXiv:0811.4770.

  • Z. Škoda, Compatibility of (co)actions and localization, arXiv:0902.1398.

Revised on September 26, 2009 10:31:28 by Zoran Škoda (