Grothendieck topos, gerbes and lifting actions of group objects

Abstract

Let $C$ be a Grothendieck topos, $G$ and $H$ group objects of $C$. Let $p:P\to X$ be an $H$-torsor. Suppose that $X$ is endowed with an action of $G$. In this paper, we study the obstructions to lift the action of $G$ on $X$ to $P$ by using non commutative cohomology. Firstly, when a natural condition is satisfied, we associate to this problem an extension of groups objects in $C$ whose splittings correspond to the liftings of the action of $G$. We apply the results obtained to the categories of topological and differentiable manifolds, and to the category of schemes. For the categories of differentiable manifolds and affine varieties defined over a closed field, we use also another approach induced by the slice theorems of Koszul and Luna which enable to define Grothendieck topologies for $G$-invariant neighborhoods. This lifting problem has been studied in several categories by Brion, Hambleton, Hattori, Haussman, Lashof, May, Yoshida,... We recover and generalize some of their results

25 pages, 21 references

References in corpus (2)

• On automorphism groups of fiber bundles
• Non abelian cohomology: the point of view of gerbed tower