Professional Documents
Culture Documents
Tapp
Tapp
This appendix gives a short but intense introduction to cohomology and spectral
sequences, two powerful but sometimes intimidating topics. It is included mainly
for the convenience of the reader who is a non-specialist, so contains basic defi-
nitions and theorems (sometimes without proof) as well as illustrative examples.
In particular, after reading the chapter, we hope the reader will feel competent to
compute
• Higher derived functors (cohomology from a new viewpoint).
• Spectral sequences.
Comprehensive treatments of the material here (and proofs) may be found in Eisen-
bud [11], Hartshorne [19], and Weibel [?] Throughout this section, the ring R is a
commutative, finitely generated C–algebra, and the sheaf OX is the sheaf of regular
functions on a complex variety X.
381
382 9. Cohomology and Spectral Sequences
as:
Hj (C ) = ker φj /imφj+1 .
The following complex is ubiquitous:
Example 0.1. [Koszul complex] Let S = C[x1 , .P . . , xn ], with f1 , . . . , fm ∈ S.
Set V = S m with basis {e1 , . . . , em }, and let f = m i=1 fi ei . The sequence:
dn dn−1 d1
0 /S / Λ1 (V ) / Λ2 (V ) / ··· / Λn (V ) ∼
=S /0.
φi+1 φi φi−1
δi+1 δi δi−1
B: ··· / Bi+1 / Bi / Bi−1 / ···
Proof. It suffices to show that if αi = δi+1 γi + γi−1 ∂i then α induces the zero map
on homology. But if ai ∈ Hi (A), then since ∂i (ai ) = 0,
so αi (ai ) = 0 in Hi (B).
Lemma 0.7 (The Snake Lemma). For a commutative diagram of R–modules with
exact rows
a1 a2
A1 / A2 / A3 /0
f1 f2 f3
b1 b2
0 / B1 / B2 / B3
δ
ker f1 / ker f2 / ker f3 / cokerf1 / cokerf2 / cokerf3 .
0 0 0
∂3 ∂2 ∂2
A : ··· / A2 / A1 / A0 /0
∂3 ∂2 ∂2
B : ··· / B2 / B1 / B0 /0
∂3 ∂2 ∂2
C : ··· / C2 / C1 / C0 /0
0 0 0
where the columns are exact and the rows are complexes.
In Exercise 0.1 you’ll prove the snake lemma, and in Exercise 0.2 you’ll com-
bine it with induction to show:
Projective and Injective modules will come to the forefront in the next section,
which describes derived functors.
While it is not obvious that injective resolutions exist, it can be shown (see,
e.g. [?]) that in both the category of R–modules and the category of sheaves of
OX –modules, every object does have an injective resolution.
Exercises for § 0.
0.1. Prove the snake lemma.
0.2. Prove the existance of the long exact sequence in homology.
0.3. Prove the existance of an injective resolution for R–modules, when R = Z (see
Hungerford, divisibility section).
1.1. Categories and Functors. Recall that a category is a class of objects, along
with morphisms between the objects, satisfying certain properties: composition of
morphisms is associative, and identity morphisms exist.
Definition 1.1. Suppose B and C are categories. A functor F is a function from
B to C , taking objects to objects and morphisms to morphisms, preserving identity
morphisms and compositions. If
1 b2 b
B1 −→ B2 −→ B3
is a sequence of objects and morphisms in B, then
• F is covariant if applying F yields a sequence of objects and morphisms
in C of the form:
F (b1 ) F (b2 )
F (B1 ) −−−→ F (B2 ) −−−→ F (B3 ).
• F is contravariant if applying F yields a sequence of objects and mor-
phisms in C of the form:
F (b2 ) F (b1 )
F (B3 ) −−−→ F (B2 ) −−−→ F (B1 ).
386 9. Cohomology and Spectral Sequences
is a short exact sequence, then what is the cokernel of F (b1 )? For example, if N is
a fixed R–module, then the functor HomR (•, N ) is a functor of exactly this type.
Definition 1.4. Let B be the category of modules over a ring, and let F be a left
exact, contravariant, additive functor from B to itself. If M ∈ B, then there exists
a projective resolution P• for M .
d2 d1
··· / P2 / P1 / P0
of derived functors, where the connecting maps are natural: given another
short exact sequence C• and map from B• to C• , the obvious diagram
involving the Ri F commutes.
The proof is really not bad but long to write out, and we refer to Proposition
A3.17 of [11] for details. There are four possible combinations of variance and
exactness; the type of resolution used to compute the derived functors of F is
given below:
F covariant contravariant
lef t exact injective projective
right exact projective injective
In the next sections, we study some common derived functors.
with c1 (φ) 7→ φ ◦ b2 and c2 (θ) 7→ θ ◦ b1 ; HomR (•, N ) is left exact and contravari-
ant.
Definition 1.6. ExtiR (•, N ) is the ith right derived functor of HomR (•, N )
y 0 7
67
6
45 h i
2
0 x 3
xy xz yz
0 −→ R(−3) −−−−−−−−−−
→ R(−2) −−−−−−−−−−−−→ R
simply means dualizing the module and transposing the differentials, so Exti (R/I, R)
is: 2 3
xy 2 3
6 xz 7 −z y 0
6 7
" 4 5 4 5 #
yz −z 0 x
Hi 0 −→ R −−−−−→ R(2)3 −−−−−−−−−−→ R(3)2 −→ 0
Thus, Ext2 (R/I, R) is the cokernel of the last map, and it is easy to check that
Ext0 (R/I, R) = Ext1 (R/I, R) = 0. ⋄
For a fixed R–module M , applying HomR (M, •) to B• yields an exact se-
quence:
c1 c2
0 / HomR (M, B1 ) / HomR (M, B2 ) / HomR (M, B3 ) ,
with c1 (φ) 7→ b1 ◦ φ and c2 (θ) 7→ b2 ◦ θ; HomR (·, M ) is left exact and covariant.
Thus, to compute the derived functors of HomR (·, M ), on a module N , we must
find an injective resolution of N :
I0 / I1 / I2 / ···
then compute
" #
Hi 0 / Hom(I 0 , M ) / Hom(I 1 , M ) / Hom(I 2 , M ) / ···
Using spectral sequences (see next section), it is possible to show that that Exti (M, N )
can be regarded as the ith derived functor of either HomR (•, N ) or HomR (M, •).
1. Functors and Derived Functors 389
1.4. The global sections functor. Let X be a variety, and suppose B is a coherent
OX –module. As we saw in Chapter 7, the global sections functor Γ is left exact
and covariant. Hence, to compute Li Γ(B), we take an injective resolution of B:
I0 / I1 / I2 / ···
then compute
" #
Hi 0 / Γ(I 0 ) / Γ(I 1 ) / Γ(I 2 ) / ···
In Example 1.7 we wrote down an explicit free resolution and computed the Ext–
modules. Unfortunately, the general construction for injective resolutions produces
very complicated objects. For example, if R is a polynomial ring, then the smallest
injective module in which the residue field can be included is infinitely generated.
It is not obvious that there is a relation between the Čech cohomology which
appeared in Chapter 7 and the derived functors of Γ defined above. At the end of
this chapter, we’ll see that there is a map
Ȟ i (U , F ) −→ H i (X, F ),
and use spectral sequences to show that with certain conditions on U this is an
isomorphism. The upshot is that many key facts about Cech cohomology (for ex-
ample, the fact that a short exact sequence of sheaves gives rise to a long exact
sequence in cohomology) follow automatically from the derived functor machin-
ery!
1.5. Acyclic objects. The last concept we need in order to work with derived func-
tors is the notion of an acyclic object.
Definition 1.8. Let F be a left–exact, covariant functor. An object A is acyclic for
F if Ri F (A) = 0 for all i > 0. An acyclic resolution of M is an exact sequence
d0 d1 d2 / ···
A0 / A1 / A2
The reason acyclic objects are important is that a resolution of acyclic objects
is good enough to compute higher derived functors; in other words we have an
alternative to using resolutions by projective or injective objects.
Theorem 1.9. Let M be a coherent OX –module, and
A0 / A1 / A2 / ···
0 DD <0 =0
DD zzz {{{
" z {
M C1 M 3
{= CCC {=
{{{ ! {{{
0 /M / A0 / A1 / A2 / A3 / ···
CCC {= CCC { =
C! {{{ C! {{{
0 2
< M DD < M DD
zz DD zz DD
zz " zz "
0 0 0 0
Since the A i are acyclic for Γ, applying Γ to the short exact sequence
0 → M → A 0 → M0 → 0
Now apply the snake lemma to the middle two columns of the (exact, commutative)
diagram below.
0 0 0
0 / Γ(M ) / Γ(A 0 ) / Γ(M 0 ) / R1 Γ(M ) /0
0 / Γ(M ) / Γ(A 0 ) / Γ(A 1 ) / Γ(A 1 )/Γ(A 0 ) /0
0 0 / Γ(M 1 ) / Γ(M 1 )
d1
where Γ(A 1 ) −→ Γ(A 2 ). Hence,
" #
1 1 / Γ(A 0 ) / Γ(A 1 ) / Γ(A 2 ) / ···
R Γ(M ) = H 0
In Exercise 1.2 you’ll show that iterating this process yields the theorem.
2. Spectral Sequences 391
Exercises for § 1.
1.1. Prove that the derived functors do not depend on choice of resolution. The key to this
is to construct a homotopy between resolutions, and appeal to Theorem 1.6.
1.2. Complete the proof of Theorem 1.9 by replacing the sequence
0 → M → A 0 → M0 → 0
with
0 → M i−1 → A i → M i → 0
2. Spectral Sequences
Spectral sequences are a fundamental tool in algebra and topology; at first glance,
they can seem quite confusing. In this brief overview, we describe a specific type
of spectral sequence, state the main theorem, and illustrate the use of spectral se-
quences by several examples.
Definition 2.2. The total complex Tot(P ) associated to a double complex Pij is
the complex (P• , D• ) defined above.
0 ⊆ Mn ⊆ Mn−1 ⊆ · · · ⊆ M1 ⊆ M0 = M
A filtration has an associated graded object gr(M ) = ⊕Mi /Mi+1 . The main
theorem concerning the spectral sequence of a double complex describes two dif-
ferent filtrations of the homology of the associated single complex. To describe
these filtrations, we need to follow two different paths through the double com-
plex.
2.2. The vertical filtration. For a double complex as above, we first compute
homology with respect to the vertical differentials, yielding the following diagram:
1 o 1 o 1 o
vertE02 vertE12 vertE22
δ12 δ22 δ32
1 o 1 o 1 o
vertE01 vertE11 vertE21
δ11 δ21 δ31
1 o 1 o 1 o
vertE00 vertE10 vertE20
δ10 δ20 δ30
The vertical arrows disappeared after computing homology with respect to d, and
the horizontal arrows reflect the induced maps on homology from the original di-
agram. Now, compute the homology of the diagram above, with respect to the
2 represents
horizontal maps. For example, the object vertE11
1 11 δ1 1 21 1 δ
ker(vertE11 −→ vertE01 )/im(vertE21 −→ vertE11 )
2. Spectral Sequences 393
2 2 2
vertE01 vertE11 vertE21
2 2 2
vertE00 vertE10 vertE20
Although it appears at first that there are no maps between these objects, the crucial
observation is that there is a map d2i,j from Eij
2 to E 2
i−2,j+1 . This “knight’s move”
is constructed just like the connecting map δ appearing in the snake lemma. The
diagram above (with differentials added) is thus:
2 2 2
vertE02 iTTT vertE12 vertE22
TTTT
TTT
TTTT
d221
TTT
TTT
T
2 2 2
vertE01 iTTT vertE11 vertE21
TTTT
TTT
TTT
TTTT
d220 TTT
T
2 2 2
vertE00 vertE10 vertE20
3 E3 E3 E3
vertE02 vert 12 vert 22 vert 32
gPPP
PPP
PPP
PPP
PPP
PPP
3 3 E3 3
vertE01 vertE11 vertE31
PPP
d330
PPvert
PPP 21
PPP
PPP
PPP
PP
3 3 3 3
vertE00 vertE10 vertE20 vertE30
2.3. Main theorem. The main theorem is that the E ∞ terms of a spectral se-
quence from a first quadrant double complex are related to the homology of the
total complex.
L ∞ , then we say that a spectral sequence of
Definition 2.4. If gr(M )m ≃ Eij
i+j=m
the filtered object M converges, and write
Er ⇒ M
Theorem 2.5. For the filtration of Hm (Tot) obtained by truncating columns of the
double complex,
M
∞
vert Eij ⇒ Hm (Tot).
i+j=m
As with the long exact sequence of of derived functors, the proof is not bad,
but lengthy, so we refer to [?] or [11] for details. In the previous section, we first
computed homology with respect to the vertical differential d. If instead we first
compute homology with respect to the horizontal differential δ, then the higher
differentials are:
• 05
05
d01505
0055d
00525
00 55d3
0 55
55
55
55
As before, for r ≫ 0, the source and target are zero, so the homology at position
∞ , and we have:
(i, j) stabilizes. The resulting value is denoted hor Eij
Theorem 2.6. For the filtration of Hm (Tot) obtained by truncating rows of the
double complex,
M
∞
hor Eij ⇒ Hm (Tot).
i+j=m
For a first quadrant double complex (the only kind that will be of interest to
us), the above two theorems tell us that
M M
∞ ∞
hor Eij ⇒ Hm (Tot) and vert Eij ⇒ Hm (Tot).
i+j=m i+j=m
Because the filtrations for the horizontal and vertical spectral sequence are differ-
ent, it is often the case that for one of the spectral sequences the E ∞ terms stabilize
very early (perhaps even vanishing). So the main idea is to play off the two differ-
ent filtrations against each other. This is illustrated in the next example.
2. Spectral Sequences 395
0 0 0
C2 : 0 o C02 o C12 o C22 o
C1 : 0 o C01 o C11 o C21 o
C0 : 0 o C00 o C10 o C20 o
0 0 0
Since the columns are exact, it is immediate that for all (i, j)
1 ∞
vert Eij = vert Eij =0
By Theorem 2.5, we conclude Hm (Tot) = 0 for all m. For the horizontal filtration
1 2
hor Eij = Hi (Cj ) if j ∈ {1, 2, 3}, and 0 otherwise. For E
ker(Hi (C1 ) → Hi (C2 ))
j=1
2
hor Eij = ker(Hi (C2 ) → Hi (C3 ))/im(Hi (C1 ) → Hi (C2 )) j = 2
coker(Hi (C2 ) → Hi (C3 )) j = 3.
2 →
The d2 differential is zero for the middle row, and maps horEi,2 2
horEi+1,0 :
2 2
··· horEi,2 horE
i+1,2 ···
88
88
88
88 d
2 88 2horE 2
··· horEi,1 88 i+1,1 ···
88
88
2 2
··· horEi,0 horEi+1,0 ···
2 =
So horEi,1 ∞
horEi,1 , while
3 ∞ 2 2
horEi,2 = horEi,2 = ker(horEi,2 → horEi+1,0 )
and
3 ∞ 2 2
horEi,0 = horEi,0 = coker(horEi,2 → horEi+1,0 )
By Theorem 2.6,
M
∞
Hm (Tot) = hor Eij
i+j=m
396 9. Cohomology and Spectral Sequences
δij dij
with differentials Pi ⊗ Qj → Pi−1 ⊗ Qj defined by a ⊗ b 7→ pi (a) ⊗ b, and Pi ⊗ Qj →
Pi ⊗ Qj−1 defined by a ⊗ b 7→ a ⊗ qj (b).
(a) Show that for the vertical filtration, the E 1 terms are
(
1 Pi ⊗ N j = 0
vert Eij =
0 j 6= 0.
Now explain why vert E 2 = vert E ∞ , and these terms are:
(
2 Hi (P• ⊗ N ) = T ori (M, N ) j = 0
vert Eij =
0 j=
6 0.
(b) Show that for the horizontal filtration
(
2 Hj (M ⊗ Q• ) = T orj (N, M ) i = 0
hor Eij =
0 i=6 0.
3. Spectral Sequences and Derived Functors 397
2.2. Prove that Exti (M, N ) can be regarded as the ith derived functor of either HomR (•, N )
or HomR (M, •). The method is quite similar to the proof above, except for this one, you’ll
need both projective and injective resolutions.
A:0 / A0 / A1 / A2 / ···
O O O
I O 02 / I 12
O
/ I 22
O
/
I O 01 / I 11
O
/ I 21
O
/
I 00 / I 10 / I 20 /
satisfying the following properties (djk denotes the horizontal differential at (j, k)).
• The complex is exact.
• Each column I i∗ is an injective resolution of A i .
• ker(djk ) is an injective summand of I jk .
398 9. Cohomology and Spectral Sequences
The last condition implies that im(dj,k ) is also injective. This yields a “Hodge
decomposition”:
y
im(dj−1,k )
as:
An inductive argument (Exercise 3.1) shows that in a category with enough injec-
tive objects, injective resolutions of complexes always exist.
3.2. Grothendieck spectral sequence. One of the most important spectral se-
quences is due to Grothendieck, and relates the higher derived functors of a pair of
functors F ,G, and their composition F G.
0 / F (A 0 ) / F (A 1 ) / F (A 2 ) / ···
3. Spectral Sequences and Derived Functors 399
Apply G to I •,• . It follows from the construction above that a row of the double
complex G(I •,• ) has the form:
G(0) G(1)
/ G(im(dj−2,k )) / G(im(dj,k )) / G(im(dj,k )) /
L L L
G(0) G(0)
/ G(H j−1,k ) / G(H j,k ) / G(H j+1,k ) /
L L L
G(1) G(0)
/ G(im(dj−1,k )) / G(im(dj−1,k )) / G(im(dj+1,k )) /
Hence,
1
hor Eij = G(H i,j )
By construction, H i,j is the j th object in an injective resolution for the ith cohomol-
ogy of F (A • ). Since A • was an F –acyclic resolution for A, the ith cohomology
is exactly Ri F (A), so that
" #
2
hor Eij = H j 0 → G(H i,0 ) → G(H i,1 ) → G(H i,2 ) → · · · = Rj G(Ri F (A))
O O O
Now, the assumption that the F (A i ) are G–acyclic forces Rj G(F (A i )) to vanish,
for all j > 0! Hence, the cohomology of a column of the double complex above
vanishes, except at position zero. In short
(
1 GF (A i ) j = 0
vert Eij =
0 j 6= 0.
400 9. Cohomology and Spectral Sequences
Thus, (
∞ 2 Ri+j GF (A) j=0
vert Eij = vert Eij =
0 j 6= 0.
Applying Theorem 2.5 and Theorem 2.6 concludes the proof.
}
I0
Iterating the construction gives a map of complexes C • → I • , which by Lemma 0.4
yields a map on cohomology.
Theorem 3.3. Let U be an open cover such that for any Ip ,
H i (UIp , F ) = 0, for all i ≥ 1.
Then
Ȟ i (U , F ) = H i (X, F ).
a resolution (depicted below) of the Čech complex for F . The bottom row is
included for clarity, it is not part of the complex.
O O O
C 0 (U , I 2 ) / C 1 (U , I 2 ) / C 2 (U , I 2 ) /
O O O
C 0 (U , I 1 ) / C 1 (U , I 1 ) / C 2 (U , I 1 ) /
O O O
C 0 (U , I 0 ) / C 1 (U , I 0 ) / C 2 (U , I 0 ) /
O O O
C 0 (U , F ) / C 1 (U , F ) / C 2 (U , F ) /
f
3.3. Let Y ֒→ X be a continuous map between topological spaces, with A a sheaf of
abelian groups on Y .
(a) Show that pushforward f∗ is left exact and covariant, so associated to A are objects
Rj f∗ (A)).
(b) Use Theorem 3.1 to obtain the Leray spectral sequence:
H i (Rj f∗ (A)) ⇒ H i+j (A)
3.4. Suppose U is a Leray cover: Ȟ i (U, F ) = 0 for all open sets U ∈ U . Show that then
Ȟ i (U , F ) = Ȟ i (X, F ).