The equivalence of cateogry of equivariant sheaves on principal bundle and category of sheaves on base space. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T08:24:15Z http://mathoverflow.net/feeds/question/20517 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/20517/the-equivalence-of-cateogry-of-equivariant-sheaves-on-principal-bundle-and-catego The equivalence of cateogry of equivariant sheaves on principal bundle and category of sheaves on base space. xiyu 2010-04-06T16:05:14Z 2010-04-06T23:48:04Z <p>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:</p> <p><strong>THeorem:</strong> The inverse image functor $\pi^*$ gives an equivalence from $Sh_G(P)$ to $Sh(B)$, and the inverse functor is given by $\pi_* ^G$.</p> <p>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$.<br> We need to show that<br> (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}))$. </p> <p>(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})$. </p> <p>(1) follows from $\pi_*^G\circ\pi^*\simeq Id$, which is relatively easy.<br> 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$</p> <p>$\Gamma(\pi^{-1}(b), \mathcal{H}|_{\pi^{-1}(b)})^G$, where $b\in B$. </p> <p>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.</p> <p>Who can help to finish this proof? Or give some other idea?</p> http://mathoverflow.net/questions/20517/the-equivalence-of-cateogry-of-equivariant-sheaves-on-principal-bundle-and-catego/20545#20545 Answer by Zoran Škoda for The equivalence of cateogry of equivariant sheaves on principal bundle and category of sheaves on base space. Zoran Škoda 2010-04-06T20:57:19Z 2010-04-06T20:57:19Z <p>A general setup and general nonsense proof for this kind of theorems for the "descent along torsors" is in </p> <ul> <li>Angelo Vistoli, <em>Grothendieck topologies, fibered categories and descent theory</em>, <a href="http://ncatlab.org/nlab/show/FGA+explained" rel="nofollow">FGA explained</a>, 1–104</li> </ul> <p>For a clean elementary categorical approach I would also recommend recent article</p> <ul> <li>Tomasz Brzezinski, <em>On synthetic interpretation of quantum principal bundles</em>, <a href="http://arxiv.org/abs/0912.0213" rel="nofollow">arxiv/0912.0213</a></li> </ul> <p>and some $n$lab remarks at <a href="http://ncatlab.org/nlab/show/codomain+fibration" rel="nofollow">codomain fibration</a>.</p> <p>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. <a href="http://ncatlab.org/nlab/show/Hopf-Galois+extension" rel="nofollow">Hopf-Galois extension</a> in $n$lab and for nonaffine generalizations general discussion in my article </p> <ul> <li>Z. Škoda, Some equivariant constructions in noncommutative algebraic geometry, Georgian Mathematical Journal 16 (2009), No. 1, 183--202, <a href="http://arxiv.org/abs/0811.4770" rel="nofollow">arXiv:0811.4770</a>.</li> </ul> http://mathoverflow.net/questions/20517/the-equivalence-of-cateogry-of-equivariant-sheaves-on-principal-bundle-and-catego/20564#20564 Answer by Ben Webster for The equivalence of cateogry of equivariant sheaves on principal bundle and category of sheaves on base space. Ben Webster 2010-04-06T23:48:04Z 2010-04-06T23:48:04Z <p>One thing you didn't specify is what topology your sheaves are in; I don't know if this result is even true in the Zariski topology.</p> <p>In the either the etale topology (for working over arbitrary base fields) or the complex topology (if you're working over the complex numbers), it's easy to finish this proof; any principal bundle is locally trivial (by the inverse function theorem), so your local statement only needs to be proven for the trivial bundle, where it's obvious.</p>