Coherent sheaf cohomology

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaf cohomology is a technique for producing functions with specified properties. Many geometric questions can be formulated as questions about the existence of sections of line bundles or of more general coherent sheaves; such sections can be viewed as generalized functions. Cohomology provides computable tools for producing sections, or explaining why they do not exist. It also provides invariants to distinguish one algebraic variety from another. Much of algebraic geometry and complex analytic geometry is formulated in terms of coherent sheaves and their cohomology. Coherent sheaf Coherent sheaves can be seen as a generalization of vector bundles. There is a notion of a coherent analytic sheaf on a complex analytic space, and an analogous notion of a coherent algebraic sheaf on a scheme. In both cases, the given space comes with a sheaf of rings , the sheaf of holomorphic functions or regular functions, and coherent sheaves are defined as a of the category of -modules (that is, sheaves of -modules). Vector bundles such as the tangent bundle play a fundamental role in geometry. More generally, for a closed subvariety of with inclusion , a vector bundle on determines a coherent sheaf on , the , which is zero outside . In this way, many questions about subvarieties of can be expressed in terms of coherent sheaves on . Unlike vector bundles, coherent sheaves (in the analytic or algebraic case) form an , and so they are closed under operations such as taking , , and cokernels. On a scheme, the quasi-coherent sheaves are a generalization of coherent sheaves, including the locally free sheaves of infinite rank. For a sheaf of abelian groups on a topological space , the sheaf cohomology groups for integers are defined as the right derived functors of the functor of global sections, . As a result, is zero for , and can be identified with .