algebraic geometry Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...

, the Mumford vanishing theorem proved by Mumford in 1967 states that if ''L'' is a semi-ample

invertible sheaf In mathematics, an invertible sheaf is a coherent sheaf ''S'' on a ringed space ''X'', for which there is an inverse ''T'' with respect to tensor product of ''O'X''-modules. It is the equivalent in algebraic geometry of the topological notion of ...

with

Iitaka dimension In algebraic geometry, the Iitaka dimension of a line bundle ''L'' on an algebraic variety ''X'' is the dimension of the image of the rational map to projective space determined by ''L''. This is 1 less than the dimension of the section ring of ...

at least 2 on a

complex projective manifold __notoc__ In mathematics, an algebraic manifold is an algebraic variety which is also a manifold. As such, algebraic manifolds are a generalisation of the concept of smooth curves and surfaces defined by polynomials. An example is the sphere, which ...

, then :

H^i(X,L^)=0\texti = 0,1.\

The Mumford vanishing theorem is related to the Ramanujam vanishing theorem, and is generalized by the

Kawamata–Viehweg vanishing theorem In algebraic geometry, the Kawamata–Viehweg vanishing theorem is an extension of the Kodaira vanishing theorem, on the vanishing of coherent cohomology groups, to logarithmic pairs, proved independently by Viehweg and Kawamata in 1982. The th ...

References

* Theorems in algebraic geometry {{algebraic-geometry-stub