Survey

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts

Symmetric group wikipedia, lookup

Topological quantum field theory wikipedia, lookup

Space wikipedia, lookup

Duality (projective geometry) wikipedia, lookup

Homography wikipedia, lookup

Dual space wikipedia, lookup

Topology wikipedia, lookup

Line (geometry) wikipedia, lookup

Differentiable manifold wikipedia, lookup

Algebraic geometry wikipedia, lookup

Projective variety wikipedia, lookup

Riemann–Roch theorem wikipedia, lookup

Group (mathematics) wikipedia, lookup

Group action wikipedia, lookup

Duality (mathematics) wikipedia, lookup

Algebraic K-theory wikipedia, lookup

Algebraic variety wikipedia, lookup

Alexander Grothendieck wikipedia, lookup

Motive (algebraic geometry) wikipedia, lookup

Sheaf (mathematics) wikipedia, lookup

Transcript
```sheaf cohomology∗
mathcam†
2013-03-21 16:26:50
Let X be a topological space. The category of sheaves of abelian groups
on X has enough injectives. So we can define the sheaf cohomology H i (X, F)
of a sheaf F to be the right derived functors of the global sections functor
F → Γ(X, F).
Usually we are interested in the case where X is a scheme, and F is a
coherent sheaf. In this case, it does not matter if we take the derived functors
in the category of sheaves of abelian groups or coherent sheaves.
Sheaf cohomology can be explicitly calculated using Čech cohomology. Choose
an open cover {Ui } of X. We define
Y
C i (F) =
F(Uj0 ···ji )
where the product is over i + 1 element subsets of {1, . . . , n} and Uj0 ···ji =
Uj0 ∩ · · · ∩ Uji . If s ∈ F(Uj0 ···ji ) is thought of as an element of C i (F), then the
differential


Y j`+1
Y−1

∂(s) =
(−1)` s|Uj0 ···j` kj`+1 ···ji 
`
k=j` +1
∗
makes C (F) into a chain complex. The cohomology of this complex is denoted
Ȟ i (X, F) and called the Čech cohomology of F with respect to the cover {Ui }.
There is a natural map H i (X, F) → Ȟ i (X, F) which is an isomorphism for
sufficiently fine covers. (A cover is sufficiently fine if H i (Uj , F) = 0 for all
i > 0, for every j and for every sheaf F). In the category of schemes, for
example, any cover by open affine schemes has this property. What this means
is that if one can find a finite fine enough cover of X, sheaf cohomology becomes
computable by a finite process. In fact in [?], this is how the cohomology of
projective space is explicitly calculated.
∗ hSheafCohomologyi created: h2013-03-21i by: hmathcami version: h34587i Privacy
setting: h1i hDefinitioni h14F25i
† This text is available under the Creative Commons Attribution/Share-Alike License 3.0.
You can reuse this document or portions thereof only if you do so under terms that are