0
$\begingroup$

Let $X$ be a smooth projective variety over a field $K$ of positive characteristic. Let $\mathcal{F}$ be a sheaf of $K-$algebras. Is there any criterion when the natural map from $H^i(\otimes^n\mathcal{F})$ to $H^i(\wedge^n \mathcal{F})$ for some $n>0$ is an isomorphism for all $i>0$?

$\endgroup$
7
  • 1
    $\begingroup$ It seems strange to me to just ask for the cohomology groups to be isomorphic. Do you want the canonical map between them to be an isomorphism? $\endgroup$ Jun 14, 2013 at 13:23
  • 1
    $\begingroup$ What does $\mathcal F \wedge \mathcal G$ even mean? The only exterior product I know is $\wedge^2 \mathcal F$. $\endgroup$ Jun 14, 2013 at 13:25
  • $\begingroup$ @Blass: Yes. I am sorry for my imprecision. $\endgroup$
    – Jana
    Jun 14, 2013 at 13:50
  • 1
    $\begingroup$ Aside from $n = 1$? If $\mathcal F$ is the sheaf of sections of a line bundle then $\wedge^n \mathcal F = 0$ for $n > 1$, while $\otimes^n \mathcal F$ can have both lots of sections and nontrivial cohomology. $\endgroup$ Jun 14, 2013 at 14:34
  • 3
    $\begingroup$ The kernel $K$ of $\otimes^n\mathcal{F}\to \wedge^n\mathcal{F}$ is the $n$th component of the ideal generated by $f\otimes f$. It's enough to assume that $H^i(K)=H^{i-1}(K)=0$. Without more information, this is the best answer one can give. $\endgroup$ Jun 14, 2013 at 15:38

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.