Sheaf cohomology
In mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when it can be solved locally. The central figure of this study is Alexander Grothendieck and his 1957 Tohuku paper.
Sheaves, sheaf cohomology, and spectral sequences were invented by Jean Leray at the prisoner-of-war camp Oflag XVII-A in Austria.[1] From 1940 to 1945, Leray and other prisoners organized a "université en captivité" in the camp.
Leray's definitions were simplified and clarified in the 1950s. It became clear that sheaf cohomology was not only a new approach to cohomology in algebraic topology, but also a powerful method in complex analytic geometry and algebraic geometry. These subjects often involve constructing global functions with specified local properties, and sheaf cohomology is ideally suited to such problems. Many earlier results such as the Riemann–Roch theorem and the Hodge theorem have been generalized or understood better using sheaf cohomology.
Contents
1 Definition
2 Functoriality
3 Sheaf cohomology with constant coefficients
4 Flabby and soft sheaves
5 Čech cohomology
6 Relative cohomology
7 Cohomology with compact support
8 Cup product
9 Complexes of sheaves
10 Poincaré duality and generalizations
11 Higher direct images and the Leray spectral sequence
12 Finiteness of cohomology
13 Cohomology of coherent sheaves
14 Sheaves on a site
15 Notes
16 References
17 External links
Definition
The category of sheaves of abelian groups on a topological space X is an abelian category, and so it makes sense to ask when a morphism f: B → C of sheaves is injective (a monomorphism) or surjective (an epimorphism). One answer is that f is injective (resp. surjective) if and only if the associated homomorphism on stalks Bx → Cx is injective (resp. surjective) for every point x in X. It follows that f is injective if and only if the homomorphism B(U) → C(U) of sections over U is injective for every open set U in X. Surjectivity is more subtle, however: the morphism f is surjective if and only if for every open set U in X, every section s of C over U, and every point x in U, there is an open neighborhood V of x in U such that s restricted to V is the image of some section of B over V. (In words: every section of C lifts locally to sections of B.)
As a result, the question arises: given a surjection B → C of sheaves and a section s of C over X, when is s the image of a section of B over X? This is a model for all kinds of local-vs.-global questions in geometry. Sheaf cohomology gives a satisfactory general answer. Namely, let A be the kernel of the surjection B → C, giving a short exact sequence
- 0→A→B→C→0displaystyle 0to Ato Bto Cto 0
of sheaves on X. Then there is a long exact sequence of abelian groups, called sheaf cohomology groups:
- 0→H0(X,A)→H0(X,B)→H0(X,C)→H1(X,A)→⋯,displaystyle 0to H^0(X,A)to H^0(X,B)to H^0(X,C)to H^1(X,A)to cdots ,
where H0(X,A) is the group A(X) of global sections of A on X. For example, if the group H1(X,A) is zero, then this exact sequence implies that every global section of C lifts to a global section of B. More broadly, the exact sequence makes knowledge of higher cohomology groups a fundamental tool in aiming to understand sections of sheaves.
Grothendieck's definition of sheaf cohomology, now standard, uses the language of homological algebra. The essential point is to fix a topological space X and think of cohomology as a functor from sheaves of abelian groups on X to abelian groups. In more detail, start with the functor E ↦ E(X) from sheaves of abelian groups on X to abelian groups. This is left exact, but in general not right exact. Then the groups Hi(X,E) for integers i are defined as the right derived functors of the functor E ↦ E(X). This makes it automatic that Hi(X,E) is zero for i < 0, and that H0(X,E) is the group E(X) of global sections. The long exact sequence above is also straightforward from this definition.
The definition of derived functors uses that the category of sheaves of abelian groups on any topological space X has enough injectives; that is, for every sheaf E there is an injective sheaf I with an injection E → I.[2] It follows that every sheaf E has an injective resolution:
- 0→E→I0→I1→I2→⋯.displaystyle 0to Eto I_0to I_1to I_2to cdots .
Then the sheaf cohomology groups Hi(X,E) are the cohomology groups (the kernel of one homomorphism modulo the image of the previous one) of the complex of abelian groups:
- 0→I0(X)→I1(X)→I2(X)→⋯.displaystyle 0to I_0(X)to I_1(X)to I_2(X)to cdots .
Standard arguments in homological algebra imply that these cohomology groups are independent of the choice of injective resolution of E.
The definition is rarely used directly to compute sheaf cohomology. It is nonetheless powerful, because it works in great generality (any sheaf on any topological space), and it easily implies the formal properties of sheaf cohomology, such as the long exact sequence above. For specific classes of spaces or sheaves, there are many tools for computing sheaf cohomology, some discussed below.
Functoriality
For any continuous map f: X → Y of topological spaces, and any sheaf E of abelian groups on Y, there is a pullback homomorphism
- f∗:Hj(Y,E)→Hj(X,f∗(E))displaystyle f^*colon H^j(Y,E)to H^j(X,f^*(E))
for every integer j, where f*(E) denotes the inverse image sheaf or pullback sheaf.[3] If f is the inclusion of a subspace X of Y, f*(E) is the restriction of E to X, often just called E again, and the pullback of a section s from Y to X is called the restriction s|X.
Pullback homomorphisms are used in the Mayer–Vietoris sequence, an important computational result. Namely, let X be a topological space which is a union of two open subsets U and V, and let E be a sheaf on X. Then there is a long exact sequence of abelian groups:[4]
- 0→H0(X,E)→H0(U,E)⊕H0(V,E)→H0(U∩V,E)→H1(X,E)→⋯.displaystyle 0to H^0(X,E)to H^0(U,E)oplus H^0(V,E)to H^0(Ucap V,E)to H^1(X,E)to cdots .
Sheaf cohomology with constant coefficients
For a topological space X and an abelian group A, the constant sheaf AX means the sheaf of locally constant functions with values in A. The sheaf cohomology groups Hj(X,AX) with constant coefficients are often written simply as Hj(X,A), unless this could cause confusion with another version of cohomology such as singular cohomology.
For a continuous map f: X → Y and an abelian group A, the pullback sheaf f*(AY) is isomorphic to AX. As a result, the pullback homomorphism makes sheaf cohomology with constant coefficients into a contravariant functor from topological spaces to abelian groups.
For any spaces X and Y and any abelian group A, two homotopic maps f and g from X to Y induce the same homomorphism on sheaf cohomology:[5]
- f∗=g∗:Hj(Y,A)→Hj(X,A).displaystyle f^*=g^*:H^j(Y,A)to H^j(X,A).
It follows that two homotopy equivalent spaces have isomorphic sheaf cohomology with constant coefficients.
Let X be a paracompact Hausdorff space which is locally contractible, even in the weak sense that every open neighborhood U of a point x contains an open neighborhood V of x such that the inclusion V → U is homotopic to a constant map. Then the singular cohomology groups of X with coefficients in an abelian group A are isomorphic to sheaf cohomology with constant coefficients, H*(X,AX).[6] For example, this holds for X a topological manifold or a CW complex.
As a result, many of the basic calculations of sheaf cohomology with constant coefficients are the same as calculations of singular cohomology. See the article on cohomology for the cohomology of spheres, projective spaces, tori, and surfaces.
For arbitrary topological spaces, singular cohomology and sheaf cohomology (with constant coefficients) can be different. This happens even for H0. The singular cohomology H0(X,Z) is the group of all functions from the set of path components of X to the integers Z, whereas sheaf cohomology H0(X,ZX) is the group of locally constant functions from X to Z. These are different, for example, when X is the Cantor set. Indeed, the sheaf cohomology H0(X,ZX) is a countable abelian group in that case, whereas the singular cohomology H0(X,Z) is the group of all functions from X to Z, which has cardinality
- 22ℵ0.displaystyle 2^2^aleph _0.
For a paracompact Hausdorff space X and any sheaf E of abelian groups on X, the cohomology groups Hj(X,E) are zero for j greater than the covering dimension of X.[7] (This does not hold in the same generality for singular cohomology: for example, there is a compact subset of Euclidean space R3 that has nonzero singular cohomology in infinitely many degrees.[8]) The covering dimension agrees with the usual notion of dimension for a topological manifold or a CW complex.
Flabby and soft sheaves
A sheaf E of abelian groups on a topological space X is called acyclic if Hj(X,E) = 0 for all j > 0. By the long exact sequence of sheaf cohomology, the cohomology of any sheaf can be computed from any acyclic resolution of E (rather than an injective resolution). Injective sheaves are acyclic, but for computations it is useful to have other examples of acyclic sheaves.
A sheaf E on X is called flabby (French: flasque) if every section of E on an open subset of X extends to a section of E on all of X. Flabby sheaves are acyclic.[9]Godement defined sheaf cohomology via a canonical flabby resolution of any sheaf; since flabby sheaves are acyclic, Godement's definition agrees with the definition of sheaf cohomology above.[10]
A sheaf E on a paracompact Hausdorff space X is called soft if every section of the restriction of E to a closed subset of X extends to a section of E on all of X. Every soft sheaf is acyclic.[11]
Some examples of soft sheaves are the sheaf of real-valued continuous functions on any paracompact Hausdorff space, or the sheaf of smooth (C∞) functions on any smooth manifold.[12] More generally, any sheaf of modules over a soft sheaf of commutative rings is soft; for example, the sheaf of smooth sections of a vector bundle over a smooth manifold is soft.[13]
For example, these results form part of the proof of de Rham's theorem. For a smooth manifold X, the Poincaré lemma says that the de Rham complex is a resolution of the constant sheaf RX:
- 0→RX→ΩX0→ΩX1→⋯,displaystyle 0to mathbf R _Xto Omega _X^0to Omega _X^1to cdots ,
where ΩXj is the sheaf of smooth j-forms and the map ΩXj → ΩXj+1 is the exterior derivative d. By the results above, the sheaves ΩXj are soft and therefore acyclic. It follows that the sheaf cohomology of X with real coefficients is isomorphic to the de Rham cohomology of X, defined as the cohomology of the complex of real vector spaces:
- 0→ΩX0(X)→ΩX1(X)→⋯.displaystyle 0to Omega _X^0(X)to Omega _X^1(X)to cdots .
The other part of de Rham's theorem is to identify sheaf cohomology and singular cohomology of X with real coefficients; that holds in greater generality, as discussed above.
Čech cohomology
Čech cohomology is an approximation to sheaf cohomology that is often useful for computations. Namely, let Udisplaystyle mathcal U be an open cover of a topological space X, and let E be a sheaf of abelian groups on X. Write the open sets in the cover as Ui for elements i of a set I, and fix an ordering of I. Then Čech cohomology Hj(U,E)displaystyle H^j(mathcal U,E) is defined as the cohomology of an explicit complex of abelian groups with jth group
- Cj(U,E)=∏i0<⋯<ijE(Ui0∩⋯∩Uij).displaystyle C^j(mathcal U,E)=prod _i_0<cdots <i_jE(U_i_0cap cdots cap U_i_j).
There is a natural homomorphism Hj(U,E)→Hj(X,E)displaystyle H^j(mathcal U,E)to H^j(X,E). Thus Čech cohomology is an approximation to sheaf cohomology using only the sections of E on finite intersections of the open sets Ui.
If every finite intersection V of the open sets in Udisplaystyle mathcal U has no higher cohomology with coefficients in E, meaning that Hj(V,E) = 0 for all j > 0, then the homomorphism from Čech cohomology Hj(U,E)displaystyle H^j(mathcal U,E) to sheaf cohomology is an isomorphism.[14]
Another approach to relating Čech cohomology to sheaf cohomology is as follows. The Čech cohomology groups Hˇj(X,E)displaystyle check H^j(X,E) are defined as the direct limit of Hj(U,E)displaystyle H^j(mathcal U,E) over all open covers Udisplaystyle mathcal U of X (where open covers are ordered by refinement). There is a homomorphism Hˇj(X,E)→Hj(X,E)displaystyle check H^j(X,E)to H^j(X,E) from Čech cohomology to sheaf cohomology, which is an isomorphism for j ≤ 1. For arbitrary topological spaces, Čech cohomology can differ from sheaf cohomology in higher degrees. Conveniently, however, Čech cohomology is isomorphic to sheaf cohomology for any sheaf on a paracompact Hausdorff space.[15]
The isomorphism Hˇ1(X,E)≅H1(X,E)displaystyle check H^1(X,E)cong H^1(X,E) implies a description of H1(X,E) for any sheaf E of abelian groups on a topological space X: this group classifies the E-torsors (also called principal E-bundles) over X, up to isomorphism. (This statement generalizes to any sheaf of groups G, not necessarily abelian, using the non-abelian cohomology set H1(X,G).) By definition, an E-torsor over X is a sheaf S of sets together with an action of E on X such that every point in X has an open neighborhood on which S is isomorphic to E, with E acting on itself by translation. For example, on a ringed space (X,OX), it follows that the Picard group of invertible sheaves on X is isomorphic to the sheaf cohomology group H1(X,OX*), where OX* is the sheaf of units in OX.
Relative cohomology
For a subset Y of a topological space X and a sheaf E of abelian groups on X, one can define relative cohomology groups:[16]
- HYj(X,E)=Hj(X,X−Y;E)displaystyle H_Y^j(X,E)=H^j(X,X-Y;E)
for integers j. Other names are the cohomology of X with support in Y, or (when Y is closed in X) local cohomology. A long exact sequence relates relative cohomology to sheaf cohomology in the usual sense:
- ⋯→HYj(X,E)→Hj(X,E)→Hj(X−Y,E)→HYj+1(X,E)→⋯.displaystyle cdots to H_Y^j(X,E)to H^j(X,E)to H^j(X-Y,E)to H_Y^j+1(X,E)to cdots .
When Y is closed in X, cohomology with support in Y can be defined as the derived functors of the functor
- HY0(X,E):=X−Y=0,displaystyle H_Y^0(X,E):=sin E(X):s,
the group of sections of E that are supported on Y.
There are several isomorphisms known as excision. For example, if X is a topological space with subspaces Y and U such that the closure of Y is contained in the interior of U, and E is a sheaf on X, then the restriction
- HYj(X,E)→HYj(U,E)displaystyle H_Y^j(X,E)to H_Y^j(U,E)
is an isomorphism.[17] (So cohomology with support in a closed subset Y only depends on the behavior of the space X and the sheaf E near Y.) Also, if X is a paracompact Hausdorff space that is the union of closed subsets A and B, and E is a sheaf on X, then the restriction
- Hj(X,B;E)→Hj(A,A∩B;E)displaystyle H^j(X,B;E)to H^j(A,Acap B;E)
is an isomorphism.[18]
Cohomology with compact support
Let X be a locally compact topological space. (In this article, a locally compact space is understood to be Hausdorff.) For a sheaf E of abelian groups on X, one can define cohomology with compact support Hcj(X,E).[19] These groups are defined as the derived functors of the functor of compactly supported sections:
- Hc0(X,E)=X−K=0.displaystyle H_c^0(X,E)=sin E(X):textthere is a compact subset Ktext of Xtext with s.
There is a natural homomorphism Hcj(X,E) →
Hj(X,E), which is an isomorphism for X compact.
For a sheaf E on a locally compact space X, the compactly supported cohomology of X × R with coefficients in the pullback of E is a shift of the compactly supported cohomology of X:[20]
- Hcj+1(X×R,E)≅Hcj(X,E).displaystyle H_c^j+1(Xtimes mathbf R ,E)cong H_c^j(X,E).
It follows, for example, that Hcj(Rn,Z) is isomorphic to Z if j = n and is zero otherwise.
Compactly supported cohomology is not functorial with respect to arbitrary continuous maps. For a proper map f: Y → X of locally compact spaces and a sheaf E on X, however, there is a pullback homomorphism
- f∗:Hcj(X,E)→Hcj(Y,f∗(E))displaystyle f^*colon H_c^j(X,E)to H_c^j(Y,f^*(E))
on compactly supported cohomology. Also, for an open subset U of a locally compact space X and a sheaf E on X, there is a pushforward homomorphism known as extension by zero:[21]
- Hcj(U,E)→Hcj(X,E).displaystyle H_c^j(U,E)to H_c^j(X,E).
Both homomorphisms occur in the long exact localization sequence for compactly supported cohomology, for a locally compact space X and a closed subset Y:[22]
- ⋯→Hcj(X−Y,E)→Hcj(X,E)→Hcj(Y,E)→Hcj+1(X−Y,E)→⋯.displaystyle cdots to H_c^j(X-Y,E)to H_c^j(X,E)to H_c^j(Y,E)to H_c^j+1(X-Y,E)to cdots .
Cup product
For any sheaves A and B of abelian groups on a topological space X, there is a bilinear map, the cup product
- Hi(X,A)×Hj(X,B)→Hi+j(X,A⊗B),displaystyle H^i(X,A)times H^j(X,B)to H^i+j(X,Aotimes B),
for all i and j.[23] Here A⊗B denotes the tensor product over Z, but if A and B are sheaves of modules over some sheaf OX of commutative rings, then one can map further from Hi+j(X,A⊗ZB) to Hi+j(X,A⊗OXB). In particular, for a sheaf OX of commutative rings, the cup product makes the direct sum
- H∗(X,OX)=⨁jHj(X,OX)displaystyle H^*(X,O_X)=bigoplus _jH^j(X,O_X)
into a graded-commutative ring, meaning that
- vu=(−1)ijuvdisplaystyle vu=(-1)^ijuv
for all u in Hi and v in Hj.[24]
Complexes of sheaves
The definition of sheaf cohomology as a derived functor extends to define cohomology of a topological space X with coefficients in any complex E of sheaves:
- ⋯→Ej→Ej+1→Ej+2→⋯displaystyle cdots to E_jto E_j+1to E_j+2to cdots
In particular, if the complex E is bounded below (the sheaf Ej is zero for j sufficiently negative), then E has an injective resolution I just as a single sheaf does. (By definition, I is a bounded below complex of injective sheaves with a chain map E → I that is a quasi-isomorphism.) Then the cohomology groups Hj(X,E) are defined as the cohomology of the complex of abelian groups
- ⋯→Ij(X)→Ij+1(X)→Ij+2(X)→⋯.displaystyle cdots to I_j(X)to I_j+1(X)to I_j+2(X)to cdots .
The cohomology of a space with coefficients in a complex of sheaves was earlier called hypercohomology, but usually now just "cohomology".
More generally, for any complex of sheaves E (not necessarily bounded below) on a space X, the cohomology group Hj(X,E) is defined as a group of morphisms in the derived category of sheaves on X:
- Hj(X,E)=HomD(X)(ZX,E[j]),displaystyle H^j(X,E)=operatorname Hom _D(X)(mathbf Z _X,E[j]),
where ZX is the constant sheaf associated to the integers, and E[j] means the complex E shifted j steps to the left.
Poincaré duality and generalizations
A central result in topology is the Poincaré duality theorem: for a closed oriented connected topological manifold X of dimension n and a field k, the group Hn(X,k) is isomorphic to k, and the cup product
- Hj(X,k)×Hn−j(X,k)→Hn(X,k)≅kdisplaystyle H^j(X,k)times H^n-j(X,k)to H^n(X,k)cong k
is a perfect pairing for all integers j. That is, the resulting map from Hj(X,k) to the dual space Hn−j(X,k)* is an isomorphism. In particular, the vector spaces Hj(X,k) and Hn−j(X,k)* have the same (finite) dimension.
Many generalizations are possible using the language of sheaf cohomology. If X is an oriented n-manifold, not necessarily compact or connected, and k is a field, then cohomology is the dual of cohomology with compact support:
- Hj(X,k)≅Hcn−j(X,k)∗.displaystyle H^j(X,k)cong H_c^n-j(X,k)^*.
For any manifold X and field k, there is a sheaf oX on X, the orientation sheaf, which is locally (but perhaps not globally) isomorphic to the constant sheaf k. One version of Poincaré duality for an arbitrary n-manifold X is the isomorphism:[25]
- Hj(X,oX)≅Hcn−j(X,k)∗.displaystyle H^j(X,o_X)cong H_c^n-j(X,k)^*.
More generally, if E is a locally constant sheaf of k-vector spaces on an n-manifold X and the stalks of E have finite dimension, then there is an isomorphism
- Hj(X,E∗⊗oX)≅Hcn−j(X,E)∗.displaystyle H^j(X,E^*otimes o_X)cong H_c^n-j(X,E)^*.
With coefficients in an arbitrary commutative ring rather than a field, Poincaré duality is naturally formulated as an isomorphism from cohomology to Borel–Moore homology.
Verdier duality is a vast generalization. For any locally compact space X of finite dimension and any field k, there is an object DX in the derived category D(X) of sheaves on X called the dualizing complex (with coefficients in k). One case of Verdier duality is the isomorphism:[26]
- Hj(X,DX)≅Hc−j(X,k)∗.displaystyle H^j(X,D_X)cong H_c^-j(X,k)^*.
For an n-manifold X, the dualizing complex DX is isomorphic to the shift oX[n] of the orientation sheaf. As a result, Verdier duality includes Poincaré duality as a special case.
Alexander duality is another useful generalization of Poincaré duality. For any closed subset X of an oriented n-manifold M and any field k, there is an isomorphism:[27]
- HXj(M,k)≅Hcn−j(X,k)∗.displaystyle H_X^j(M,k)cong H_c^n-j(X,k)^*.
This is interesting already for X a compact subset of M = Rn, where it says (roughly speaking) that the cohomology of Rn−X is the dual of the sheaf cohomology of X. In this statement, it is essential to consider sheaf cohomology rather than singular cohomology, unless one makes extra assumptions on X such as local contractibility.
Higher direct images and the Leray spectral sequence
Let f: X → Y be a continuous map of topological spaces, and let E be a sheaf of abelian groups on X. The direct image sheaf f*E is the sheaf on Y defined by
- (f∗E)(U)=E(f−1(U))displaystyle (f_*E)(U)=E(f^-1(U))
for any open subset U of Y. For example, if f is the map from X to a point, then f*E is the sheaf on a point corresponding to the group E(X) of global sections of E.
The functor f* from sheaves on X to sheaves on Y is left exact, but in general not right exact. The higher direct image sheaves Rif*E on Y are defined as the right derived functors of the functor f*. Another description is that Rif*E is the sheaf associated to the presheaf
- U↦Hi(f−1(U),E)displaystyle Umapsto H^i(f^-1(U),E)
on Y.[28] Thus, the higher direct image sheaves describe the cohomology of inverse images of small open sets in Y, roughly speaking.
The Leray spectral sequence relates cohomology on X to cohomology on Y. Namely, for any continuous map f: X → Y and any sheaf E on X, there is a spectral sequence
- E2ij=Hi(Y,Rjf∗E)⇒Hi+j(X,E).displaystyle E_2^ij=H^i(Y,R^jf_*E)Rightarrow H^i+j(X,E).
This is a very general result. The special case where f is a fibration and E is a constant sheaf plays an important role in homotopy theory under the name of the Serre spectral sequence. In that case, the higher direct image sheaves are locally constant, with stalks the cohomology groups of the fibers F of f, and so the Serre spectral sequence can be written as
- E2ij=Hi(Y,Hj(F,A))⇒Hi+j(X,A)displaystyle E_2^ij=H^i(Y,H^j(F,A))Rightarrow H^i+j(X,A)
for an abelian group A.
A simple but useful case of the Leray spectral sequence is that for any closed subset X of a topological space Y and any sheaf E on X, writing f: X → Y for the inclusion, there is an isomorphism[29]
- Hi(Y,f∗E)≅Hi(X,E).displaystyle H^i(Y,f_*E)cong H^i(X,E).
As a result, any question about sheaf cohomology on a closed subspace can be translated to a question about the direct image sheaf on the ambient space.
Finiteness of cohomology
There is a strong finiteness result on sheaf cohomology. Let X be a compact Hausdorff space, and let R be a principal ideal domain, for example a field or the ring Z of integers. Let E be a sheaf of R-modules on X, and assume that E has "locally finitely generated cohomology", meaning that for each point x in X, each integer j, and each open neighborhood U of x, there is an open neighborhood V ⊂ U of x such that the image of Hj(U,E) → Hj(V,E) is a finitely generated R-module. Then the cohomology groups Hj(X,E) are finitely generated R-modules.[30]
For example, for a compact Hausdorff space X that is locally contractible (in the weak sense discussed above), the sheaf cohomology group Hj(X,Z) is finitely generated for every integer j.
One case where the finiteness result applies is that of a constructible sheaf. Let X be a topologically stratified space. In particular, X comes with a sequence of closed subsets
- X=Xn⊃Xn−1⊃⋯⊃X−1=∅displaystyle X=X_nsupset X_n-1supset cdots supset X_-1=emptyset
such that each difference Xi−Xi−1 is a topological manifold of dimension i. A sheaf E of R-modules on X is constructible with respect to the given stratification if the restriction of E to each stratum Xi−Xi−1 is locally constant, with stalk a finitely generated R-module. A sheaf E on X that is constructible with respect to the given stratification has locally finitely generated cohomology.[31] If X is compact, it follows that the cohomology groups Hj(X,E) of X with coefficients in a constructible sheaf are finitely generated.
More generally, suppose that X is compactifiable, meaning that there is a compact stratified space W containing X as an open subset, with W–X a union of connected components of strata. Then, for any constructible sheaf E of R-modules on X, the R-modules Hj(X,E) and Hcj(X,E) are finitely generated.[32] For example, any complex algebraic variety X, with its classical (Euclidean) topology, is compactifiable in this sense.
Cohomology of coherent sheaves
In algebraic geometry and complex analytic geometry, coherent sheaves are a class of sheaves of particular geometric importance. For example, an algebraic vector bundle (on a locally Noetherian scheme) or a holomorphic vector bundle (on a complex analytic space) can be viewed as a coherent sheaf, but coherent sheaves have the advantage over vector bundles that they form an abelian category. On a scheme, it is also useful to consider the quasi-coherent sheaves, which include the locally free sheaves of infinite rank.
A great deal is known about the cohomology groups of a scheme or complex analytic space with coefficients in a coherent sheaf. This theory is a key technical tool in algebraic geometry. Among the main theorems are results on the vanishing of cohomology in various situations, results on finite-dimensionality of cohomology, comparisons between coherent sheaf cohomology and singular cohomology such as Hodge theory, and formulas on Euler characteristics in coherent sheaf cohomology such as the Riemann–Roch theorem.
Sheaves on a site
In the 1960s, Grothendieck defined the notion of a site, meaning a category equipped with a Grothendieck topology. A site C axiomatizes the notion of a set of morphisms Vα → U in C being a covering of U. A topological space X determines a site in a natural way: the category C has objects the open subsets of X, with morphisms being inclusions, and with a set of morphisms Vα → U being called a covering of U if and only if U is the union of the open subsets Vα. The motivating example of a Grothendieck topology beyond that case was the étale topology on schemes. Since then, many other Grothendieck topologies have been used in algebraic geometry: the fpqc topology, the Nisnevich topology, and so on.
The definition of a sheaf works on any site. So one can talk about a sheaf of sets on a site, a sheaf of abelian groups on a site, and so on. The definition of sheaf cohomology as a derived functor also works on a site. So one has sheaf cohomology groups Hj(X, E) for any object X of a site and any sheaf E of abelian groups. For the étale topology, this gives the notion of étale cohomology, which led to the proof of the Weil conjectures. Crystalline cohomology and many other cohomology theories in algebraic geometry are also defined as sheaf cohomology on an appropriate site.
Notes
^ Miller, Haynes (2000). "Leray in Oflag XVIIA: The origins of sheaf theory, sheaf cohomology, and spectral sequences" (PS)..mw-parser-output cite.citationfont-style:inherit.mw-parser-output .citation qquotes:"""""""'""'".mw-parser-output .citation .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .citation .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-ws-icon abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center.mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-maintdisplay:none;color:#33aa33;margin-left:0.3em.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em
^ Iversen (1986), Theorem II.3.1.
^ Iversen (1986), II.5.1.
^ Iversen (1986), II.5.10.
^ Iversen (1986), Theorem IV.1.1.
^ Bredon (1997), Theorem III.1.1.
^ Godement (1973), II.5.12.
^ Barratt & Milnor (1962).
^ Iversen (1986), Theorem II.3.5.
^ Iversen (1986), II.3.6.
^ Bredon (1997), Theorem II.9.11.
^ Bredon (1997), Example II.9.4.
^ Bredon (1997), Theorem II.9.16.
^ Godement (1973), section II.5.4.
^ Godement (1973), section II.5.10.
^ Bredon (1997), section II.12.
^ Bredon (1997), Theorem II.12.9.
^ Bredon (1997), Corollary II.12.5.
^ Iversen (1986), Definition III.1.3.
^ Bredon (1997), Theorem II.15.2.
^ Iversen (1986), II.7.4.
^ Iversen (1986), II.7.6.
^ Iversen (1986), II.10.1.
^ Iversen (1986), II.10.3.
^ Iversen (1986), Theorem V.3.2.
^ Iversen (1986), IX.4.1.
^ Iversen (1986), Theorem IX.4.7 and section IX.1.
^ Iversen (1986), Proposition II.5.11.
^ Iversen (1986), II.5.4.
^ Bredon (1997), Theorem II.17.4; Borel (1984), V.3.17.
^ Borel (1984), Proposition V.3.10.
^ Borel (1984), Lemma V.10.13.
References
Barratt, M. G.; Milnor, John (1962), "An example of anomalous singular homology", Proceedings of the American Mathematical Society, 13: 293–297, doi:10.1090/S0002-9939-1962-0137110-9, MR 0137110
Borel, Armand (1984), Intersection Cohomology, Birkhäuser, ISBN 0-8176-3274-3, MR 0788171
Bredon, Glen E. (1997) [1967], Sheaf Theory (2nd ed.), Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4612-0647-7, ISBN 978-0-387-94905-5, MR 1481706
Godement, Roger (1973) [1958], Topologie algébrique et théorie des faisceaux, Paris: Hermann, MR 0345092
Griffiths, Phillip; Harris, Joseph (1994) [1978], Principles of Algebraic Geometry, Wiley Classics Library, New York: John Wiley & Sons, doi:10.1002/9781118032527, ISBN 978-0-471-05059-9, MR 1288523
Grothendieck, A. (1957), "Sur quelques points d'algèbre homologique", Tôhoku Mathematical Journal, (2), 9: 119–221, doi:10.2748/tmj/1178244839, MR 0102537. English translation.
Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052
Iversen, Birger (1986), Cohomology of Sheaves, Universitext, Berlin, New York: Springer-Verlag, doi:10.1007/978-3-642-82783-9, ISBN 978-3-540-16389-3, MR 0842190
External links
- The thread "Sheaf cohomology and injective resolutions" on MathOverflow
- The thread "Sheaf cohomology" on Stack Exchange