[Math] Sheaves with no cohomology

ag.algebraic-geometrysheaf-cohomology

Let $X$ be a smooth projective variety of dimension $d$ over a field $k$. Suppose $\mathcal F$ is a coherent sheaf on $X$ such that $H^i(X,\mathcal F) = 0$, for all $i$. What can one say about $\mathcal F$? Does it necessarily mean that $\mathcal F = 0$? If not, can such sheaves be classified? What if $\mathcal F$ is assumed to be locally free? What if we take for $X$ the projective space or a product of projective spaces?

Best Answer

The example of Alex above is a special case of the Borel-Weil-Bott Theorem applied to $\operatorname{SL}_2/B = \Bbb{P}^1$ with $B$ the standard Borel subgroup in $\operatorname{SL}_2$. The general case is this:

Let $G$ be a semisimple complex Lie group with Weyl Group $W$. If for no $w \in W$ we have $w\ast \lambda$ dominant then $H^i(G/B, L_\lambda) = 0 $ for all $i$.

The $L_\lambda$ are all line bundles over $G/B$ which are not necessarily zero, giving a negative answer to one of your questions above.