Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Coherent sheaf cohomology
Summary
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 .
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.