It is often natural that a symmetry object acting on some space is in the category of spaces itself. For example, algebraic groups acts on varieties, topological groups on topological spaces, and group schemes over act on -schemes.
Suppose now we want to define an action of a Hopf -algebra on a noncommutative -scheme, where we view a Hopf algebra as a dual to a noncommutative analogue of an affine group object over . In nonaffine situations noncommutative schemes are glued from algebras, but they are not described by a single algebra, but by a system of algebras; in fact a more canonical object is the category of quasicoherent sheaves which localizes to categories of modules over each of the algebras of the cover; these categories of modules are monadic over the category which is the category of quasicoherent sheaves over . The Hopf algebra, to be considered as a noncommutative space, has to be replace by the monoidal category which comes equipped with a canonical action on : tensor and forget the additional structure. The Hopf algebra should be reconstructed from the forgetful functor to ; it is itself a comonoid in . What does it mean that acts on some noncommutative space represented by a category ? Well it has no meaning unless has a forgetful functor to as well (like in the case of possibly noncommutative -schemes). Now the action of corresponds to the action of the monodial category on . But not any action: the action which is compatible with the action of on . Such actions are called geometrically admissible actions of monoidal category. Admisibility is a notion relative to the action of the same monoidal category on the base category. In other words admissible actions are the actions of monoidal categories on categories which lift the defining action on the base. In special cases, the liftings correspond to the distributive laws. This is the origin of appearance of coalgebra bundles in noncommutative geometry: entwining structures induce lifts to admissible actions; however there are other cases of distributive laws and more general lifts which are not coming from entwinings between coalgebras and algebras.
Another example is given by the action of the monoidal category of sheaves on a topological group on a topological -space . The action on is given by the pushforward along the action of the external tensor product of sheaves .
As a general definition, we start with a fixed notion of a symmetry object as a monoidal category with distinguished action on the base category . A geometrically admissible action in wider sense is any action of on some category over such that
commutes.
Remark: For admissible actions in much more narrow sense one also has a forgetful functor and one requires that the action below is in the fact factoring through that functor. In other words, the tensor product of lifts to an action of in .
Created on February 11, 2011 at 18:34:19. See the history of this page for a list of all contributions to it.