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 .

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (43)

Cours associés (5)

Séances de cours associées (32)

MATH-506: Topology IV.b - cohomology rings

Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a

MATH-473: Complex manifolds

The goal of this course is to help students learn the basic theory of complex manifolds and Hodge theory.

MATH-510: Modern algebraic geometry

The aim of this course is to learn the basics of the modern scheme theoretic language of algebraic geometry.

Smooth scheme

In algebraic geometry, a smooth scheme over a field is a scheme which is well approximated by affine space near any point. Smoothness is one way of making precise the notion of a scheme with no singular points. A special case is the notion of a smooth variety over a field. Smooth schemes play the role in algebraic geometry of manifolds in topology. First, let X be an affine scheme of finite type over a field k. Equivalently, X has a closed immersion into affine space An over k for some natural number n.

Algebraic geometry and analytic geometry

In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties.

Théorie de Hodge

La théorie de Hodge est l'étude, avec l'apport notamment de la topologie algébrique, des formes différentielles sur une variété lisse. En conséquence elle éclaire l'étude des variétés riemanniennes et kählériennes, ainsi que l'étude géométrique des motifs. Elle tient son nom du mathématicien écossais William Hodge. Un des problèmes du prix du millénaire a trait à cette théorie : la conjecture de Hodge.

Le théorème topologique de Künneth MATH-506: Topology IV.b - cohomology rings

Explore le théorème topologique de Künneth, mettant l'accent sur la commutativité et l'équivalence homotopique dans les complexes en chaîne.

Sheaves Cohérentes: Espace à sonneries locales MATH-510: Modern algebraic geometry

Couvre la définition des gerbes cohérentes et leurs propriétés dans le contexte de la géométrie algébrique.

Intégration p-adique : rationalité et fonction Igusa zeta MATH-494: Topics in arithmetic geometry

Explore l'intégration p-adique, la rationalité de la fonction Igusa zeta et les conjectures de monodromie.