Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
1  
Can you explain the "Hence" in "Hence $H^0(\mathbb{P}^n, I_D \otimes \mathcal{O}_{\mathbb{P}^n}(1)) = 0$."? –  Timo Keller Jan 10 '10 at 22:02
1  
Clearly any section in $H^0(\mathbb{P}^n, I_D\otimes\mathcal{O}_{\mathbb{P}^n}(1))$ is a section in $H^0(\mathbb{P}^n,mathcal{O}_{\mathbb{P}^n}(1))$, but not an arbitrary section, it is a section of $mathcal{O}_{\mathbb{P}^n}(1))$ which belongs to $I_D$, which means that the section vanishes along $D$. –  Fei YE Jan 11 '10 at 2:13
    
For your last question -- this group vanishes if and only if D is not contained scheme theoretically in any hyperplane. If your subvariety reduced you replace "contained scheme theoretically" by just "contained". Is this answer satisfactory for you? –  Dmitri Jan 12 '10 at 8:25

3 Answers 3

up vote 13 down vote accepted

Let's start way back. The invention of schemes moved algebraic geometry away from thinking about varieties as embedded objects. However, embedding an abstract scheme into projective space has a lot of advantages, so if we can do that, it's useful. And even if we cannot embed our scheme into projective space, but we can find a non-trivial map, that gives us some way to understand our abstract scheme. In order to find a non-trivial map we need a line bundle with sections.

So we are interested in finding sections of various sheaves, but primarily line bundles (and of course for this sometimes we need to deal with other kind of sheaves). Thus we are interested in $H^0$.

On the other hand, computing $H^0$ is non-trivial. There are no good general methods. One reason for this is that, for instance, $H^0$ is not constant in families, or put it another way it is not deformation invariant. On the other hand, $\chi(X,\mathscr F)$ behaves much better. It is constant in flat families and if $\mathscr F$ is a line bundle, then it is computable using Riemann-Roch.

Then, if we know that $H^i=0$ for $i>0$, then $H^0=\chi$ and we're good.


Here is an explicit example for a typical use of Serre vanishing:

Example 1 Suppose $X$ is a smooth projective variety and $\mathscr L$ is an ample line bundle on $X$. Then we know that $\mathscr L^{\otimes n}$ is very ample and $H^i(X, \mathscr L^{\otimes n})=0$ for $i>0$ and $n\gg 0$. Then $\mathscr L^{\otimes n}$ induces an embedding $X\hookrightarrow \mathbb P^N$ where $N=\dim H^0(X,\mathscr L^{\otimes n})-1=\chi(X,\mathscr L^{\otimes n})-1$ by Serre's vanishing and hence $N$ is now computable by Riemann-Roch.

The only shortcoming of the above is that in general there is no way to tell what $n\gg0$ really means and so it is hard to get any explicit numerical estimates out of this. This is where Kodaira vanishing can help.

Example 2 In addition to the above assume that $\mathscr L=\omega_X$, or in other words assume that $X$ is a smooth canonically polarized projective variety. There are many of these, for instance all smooth projective curves of genus at least $2$ or all hypersurfaces satisfying $\deg > \dim +2$. In particular, these are those of which we like to have a moduli space. Anyway, the way Kodaira vanishing changes the above computation is that now we know that already $H^i(X,\omega_X^{\otimes n})=0$ for $i>0$ and $n>1$! In other words, as soon as we know that $\omega_X^{\otimes n}$ is very ample and $n>1$, then we can compute the dimension of the projective space into which we can embed our canonically polarized varieties. In fact, perhaps more importantly than that we can compute it, we know (from the above) without computation that this value is constant in families. So, once we have a boundedness result that says that this happens for any $n\geq n_0$ for a given $n_0$, and Matsusaka's Big Theorem says exactly that, then we know that all such canonically polarized smooth projective varieties (with a fixed Hilbert polynomial) can be embedded into $\mathbb P^N$, that is, into the same space.

This implies that then all of these varieties show up in the appropriate Hilbert scheme of $\mathbb P^N$ and we're on our way to construct our moduli space.

Of course, there is a lot more to do to finish the whole construction and also this method works in other situations, so this is just an example.


There is one more thing one might think regarding your question, that is, ask the more abstract question:

"What does higher cohomology of sheaves mean (e.g., geometrically)?"

This is arguable, but I think that the essence of higher cohomology is that it measures the failure of something we wish were true all the time, but isn't. More specifically, if you're given a short exact sequence of sheaves on $X$ $$ 0\to \mathscr F' \to \mathscr F \to \mathscr F'' \to 0 $$ then we know that even though $\mathscr F \to \mathscr F''$ is surjective, the induced map on the global sections $H^0(X,\mathscr F) \to H^0(X,\mathscr F'')$ is not. However, the vanishing of $H^1(X,\mathscr F')$ implies that for any surjective map of sheaves with kernel $\mathscr F'$ as above the induced map on global sections is also surjective. Since you already have a geometric interpretation of $H^0$, this gives one for $H^1$: it measures (or more precisel

For a more detailed explanation of the same idea see this MO answer.

In my opinion the best way to understand higher ($>1$) cohomology is that it is the lower cohomology of syzygies. In other words, consider a sheaf $\mathscr F$ and embed it into an acyclic (e.g., flasque or injective or flabby or soft) sheaf. So you get a short exact sequence: $$ 0\to \mathscr F\to \mathscr A\to \mathscr G \to 0 $$ Since $\mathscr A$ is acyclic, we have that for $i>0$ $$ H^{i+1}(X,\mathscr F)\simeq H^i(X,\mathscr G), $$ so if you understand what $H^1$ means, then $H^2$ of $\mathscr F$ is just $H^1$ of $\mathscr G$, $H^3$ of $\mathscr F$ is just $H^2$ of $\mathscr G$ and so on.

share|improve this answer

One way to think about higher cohomology groups of, say, holomorphic vector bundles is via the Dolbeault isomorphism $$ H^q(X, \mathcal O(E)) \cong H^{0,q}(X,E) $$ (and also the more general $H^{q}(\mathcal O( \Lambda^pT^*X\otimes E)) \cong H^{p,q}(E)$.)

If we also choose a Kähler metric on X and Hermitian metric on E, then Hodge theory says that cohomology is represented by harmonic forms. So we can think of the qth cohomology group of the sheaf of sections of E as the space of harmonic (0,q)-forms with values in E.

One can interpret Kodaira vanishing from this point of view. Pick a holomorphic line bundle L with a Hermitian metric over a Kähler manifold X. Then one has a connection in L and so an induced connection on L-valued forms. This gives a "rough" Laplacian $\nabla^* \nabla$. The Weitzenbock formula tells us how this differs from the standard Laplacian. On a (p,q)-form with values in L, $$ \Delta = \nabla^*\nabla + F $$ where F is an endomorphism of the bundle $\Lambda^{p,q}\otimes L$ where the L-valued forms take their values. F depends on (p,q) and on the metrics of both L and X.

The hypothesis for Kodaira vanishing is that there is a Hermitian metric on L whose curvature is a Kahler form. If we use this metric on L and also this Kahler form on X then the operator F has a certain sign: when p+q>n, the dimension of X, F is a positive definite endomorphism of the bundle $\Lambda^{p,q}\otimes L$. From here we can prove Kodaira vanishing. A harmonic (p,q) form $\alpha$ with values in L has $\Delta \alpha = 0$ so, by integrating the Weitzenbock formula against $\alpha$, we see $$ \int |\nabla \alpha|^2 + \int (F(\alpha), \alpha) = 0 $$ Now positivity of $F$ means both terms here are non-negative and so must each vanish. This forces $\alpha$ to vanish and so $H^{p,q}(L)=0$ when $p+q >n$.

share|improve this answer

I) The most elementary, but yet quite useful, use of a vanishing theorem is via Riemann-Roch for a smooth complete curve $X$ over the algebraically closed field $k$. Riemann-Roch for a divisor $D$ on $X$ says that $$h^0(X,L(D)-h^1(X, L(D)=1-g+deg (D)$$ [Here $g$=genus of $X$, $h( )=dim_k H( )$]

If $deg(D)>2g-2$, the $H^1$ term will vanish and the precise formula $dim L(D)=1-g+deg(D)$ drops out: it gives you the number of rational functions on $X$ with poles controlled by $D$.

II) At a more advanced level an impressive use of vanishing cohomology is Mumford's m-regularity. A coherent sheaf $\mathcal F$ on $\mathbb P_n(k)$ is said to be m-regular if $H^i(\mathbb P_n, \mathcal F(m-i)))=0$ for all $i>0$ . If you find this definition strange, don't worry: Mumford himself calls it "apparently silly" (in his book "Lectures on Curves on an Algebraic Surface", Princeton university Press, 1966). But then he shows how to use this notion to construct hilbert schemes and (re-)derive several theorems on algebraic surfaces (index theorem, completeness of characteristic linear system).

III) An application which might help you understand and appreciate Kodaira's vanishing theorem is one of its corollaries: Lefschetz's "weak" theorem [ proof in Griffiths-Harris, pages 156-157].

It says essentially that in a projective manifold $X$, a smooth hypersurface $Y$ with positive associated line bundle $\mathcal O (Y)$ (e.g. a smooth hyperplane section) has the same singular cohomology (with coefficients in $\mathbb Q$) as the ambient manifold $X$, up to degree $dim(Y)-1$ and bigger cohomology in degree $dim(Y)$ .

IV) etc.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.