Saturday, 9 December 2006

Relation between Sheaf and Group Cohomology

I doubt that in general one can construct a reasonable sheaf on $U$ with the required properties. To see what kind of bad things can happen, let us try to understand why this works for $X$ an elliptic curve and the sheaf $cal{O}^{times}$ on it.



We have the derived global sections functor from the $D^b$ of sheaves on $X$ to the $D^b$ of sheaves on a point, i.e. graded vector spaces. But given a sheaf $F$ on $X$ we can compute its global sections in a roundabout way: we can first take the pullback to $U$, then take global sections and then take the $G$-invariants where $G=pi_1(X)$. Passing to the derived categories we get $$RGamma (F)=R(RGamma f^{-1}(F))^G$$ where $Fin D^b(X)$, $f:Uto X$ is the projection, $RGamma f^{-1}$ is the right derived functor of the left exact functor $Gamma f^{-1}$ and $R(cdot)^G$ is the right derived functor of the functor of $G$-invariants (this functor goes from the $D^b$ of $G$-modules to graded vector spaces).



We have the Grothendieck spectral sequence that converges to $H^ast(X,F)$ with the $E_2$ sheet given by $$E_2^{p,q}=H^p(G,H^q(U,f^{-1}(F)).$$



Now if $X$ is an elliptic curve, $F=cal{O}^{times}$ and $U=mathbf{C}$, then it follows from the exponential exact sequence that $H^q(U,f^{-1}(F))=0$ for $qneq 0$, so the above spectral sequence collapses and we get the required isomorphism $H^ast (X,F)=H^ast(G,H^0(U,f^{-1}(F))$. This also happens when say $F$ is locally constant and $U$ is contractible. But in general there seems no reason to expect the spectral sequence to collapse, let alone to be concentrated in one row only.

No comments:

Post a Comment