Skip to main content

Geometry meaning of higher cohomology of sheaves?

Let $X$ be a projective algebraic variety over a algebraic closed field $k$. Let $\mathcal{F}$ be a coherent sheaf on $X$. We know that $H^0(X, \mathcal{F})$ is the vector space of global sections of $\mathcal{F}$. This gives us a geometric illustration of $H^0$. For example, let $I_D$ be the ideal sheaf of a hypersurface $D$ of degree $>1$ in a projective space $\mathbb{P}^n$, then it is easy to see that $$H^0(\mathbb{P}^n,I_D\otimes\mathcal{O}_{\mathbb{P}^n}(1))=0.$$

In fact, there is no hyperplane containing $D$, which means that there is no global section of $\mathcal{O}_{\mathbb{P}^n}(1)$, which are hyperplanes, containing $D$. Hence $H^0(\mathbb{P}^n, I_D\otimes\mathcal{O}_{\mathbb{P}^n}(1))=0$. However, my first question is how to understand higher cohomologies of sheaves in geometric ways. The following questions then come out:

  1. How to understand Serre's vanishing theorem, i.e., is there a geometric way to think about the vanishing of $H^q(X, \mathcal{F}\otimes A^n)$ for $n\gg1$, where $\mathcal{F}$ is coherent and $A$ is ample.

  2. How to understan Kodaira's vanishing theorem geometrically.

Maybe a concrete question will help, say $D$ a subvariety of $\mathbb{P}^n$, how to determine geometrically whether $H^0(\mathbb{P}^n, I_D\otimes\mathcal{O}_{\mathbb{P}^n}(1))$ vanishes or not.

Fei YE
  • 2.4k
  • 1
  • 25
  • 36