# The equivalence of cateogry of equivariant sheaves on principal bundle and category of sheaves on base space.

Let $\pi:P\mapsto B$ is a $G$-principal bundle, which means $G$ acts on $P$ freely and $\pi$ is a locally trivial fibration. Here is a well-known theorem:

THeorem: The inverse image functor $\pi^*$ gives an equivalence from $Sh_G(P)$ to $Sh(B)$, and the inverse functor is given by $\pi_* ^G$.

Let me explain some notations. the object in $Sh_G(P)$ is a pair $(\mathcal{F},\alpha)$, where $\alpha:p^*\mathcal{F}\simeq a^\* \mathcal{F}$, and satisfy cocycle condition. Here $p:G\times P\mapsto P$ is the projection, and $a:G\times P\mapsto P$ is the action. The functor $\pi_\* ^G$ is given by assigning open subset V to $\mathcal{F}(\pi^{-1}(U))^G$.
We need to show that
(1). $\pi^\*$ is fully-faithful, i.e., for any two sheaves $\mathcal{F}$ and $\mathcal{G}$, $Hom(\mathcal{F},\mathcal{G})\simeq Hom_G(\pi^\*(\mathcal{F}),\pi^\*(\mathcal{G}))$.

(2). $\pi^\*$ is essentially surjective, i.e., for any $G$-equivariant sheaf $\mathcal{H}$, there exists an isomorphism $\mathcal{H}\simeq \pi^\* \pi_\*^G(\mathcal{H})$.

(1) follows from $\pi_\*^G\circ\pi^\*\simeq Id$, which is relatively easy.
For (2), I have checked when $B$ is a point. For general case, I can reduce it to the following isomorphism: $\pi_\*(\mathcal{H})_b ^G \simeq$

$\Gamma(\pi^{-1}(b), \mathcal{H}|_{\pi^{-1}(b)})^G$, where $b\in B$.

I know for nice group $G$, for example when $G$ is compact, this is really an isomorphism, because we have base change. For general group, I have no idea at all.

Who can help to finish this proof? Or give some other idea?

-

A general setup and general nonsense proof for this kind of theorems for the "descent along torsors" is in

• Angelo Vistoli, Grothendieck topologies, fibered categories and descent theory, FGA explained, 1–104

For a clean elementary categorical approach I would also recommend recent article

• Tomasz Brzezinski, On synthetic interpretation of quantum principal bundles, arxiv/0912.0213

and some $n$lab remarks at codomain fibration.

In the algebraic setup, torsors are usually considered in the flat topology. Related issues are J. Milne's book on etale cohomology. Basic theorems on the descent of sheaves along torsors are from Grothendieck and there are also analogues in various cohomologies, and for equivariant K-theory (look also at Thomason). A noncommutative version is possible with Hopf algebras instead of algebraic groups, what in affine case reduces to celebrated Schneider's theorem. In this regard cf. Hopf-Galois extension in $n$lab and for nonaffine generalizations general discussion in my article

• Z. Škoda, Some equivariant constructions in noncommutative algebraic geometry, Georgian Mathematical Journal 16 (2009), No. 1, 183--202, arXiv:0811.4770.
-
Thanks. THese are much more advanced. I will go into these details after I have understood the classical situation completely. –  xiyu Apr 6 '10 at 22:38
Yeah, I've gotta says, this answer seems to be completely out of line with the question. It's great to reach beyond the question when you give an answer, but I would say this isn't really useful for completing a proof in the language the problem is stated in. –  Ben Webster Apr 6 '10 at 23:42
Brzezinski's paper quoted is more or less in the same terms as your question, but analysing them in all detail. I mean just the first third of the paper or so. The rest is about generalizations including noncommutative. –  Zoran Skoda Apr 7 '10 at 0:38
My question is for sheaves on usual topology. I also don't think it is true in Zariski topology, since the topology on the product is not usual product topology. I think I have figured out the proof, Just like you said to prove the trivial bundle first, which is almost the same proof as the case when $B$ is a point. What made me stuck is that I wanted to reduce the problem to the point case, and then one have to use base change, which is not true for any group $G$. Essentially it is enough to construct a canonical isomorphism $\mathcal{H}|{e}\times B\simeq \pi_\* ^G \mathcal{H}$. –  xiyu Apr 7 '10 at 12:00