Let be a -bialgebra and a right -comodule algebra with coaction . Let be a biflat affine localization in the sense that it is a homomorphism of rings (affiness), and that the extension of scalars along is an exact localization functor whose right adjoint is also exact. If is a Hopf algebra of coordinate functions on an alegbraic -group where -is a field, and is the coordinate algebra of an affine -variety with regular -action, then we can not restrict the action to an arbitrary open sets, but only to the -invariant open sets. In our case, this would mean that the coaction does not necessarily extend to the localization respecting the algebra structure.
For this reason, one introduces the class of -compatible localizations: a localization of a -comodule algebra is coaction compatible localization if the coaction extends to an algebra morphism such that the diagram
commmutes. If such an extension exists it is unique and is automatically a coaction.
The algebra of localized coinvariants is the subalgebra of -coinvariants in . It is important to notice that taking coinvariants and localization do not commute: there is no localization in general. A -comodule algebra which is -compatible may have many new -coinvariants which do not come in any sense as images under some sort of a localization from the -coinvariants of . 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
This work is outlined in
and some aspects of it are generalized in