Professional Documents
Culture Documents
Algebraic Geometry (Lei Fu)
Algebraic Geometry (Lei Fu)
Lei Fu
Nankai Institute of Mathematics
Tianjin, P. R. China
iii
iv PREFACE
During the preparation of this book, I was supported by the Qiu Shi Science
& Technologies Foundation, by Project 973, by IHES, and by MCM.
Lei Fu
Nankai Institute of Mathematics
Contents
Preface iii
2 Cohomology 99
2.1 Derived Functors . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
2.2 Spectral Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . 127
2.3 Čech Cohomology . . . . . . . . . . . . . . . . . . . . . . . . . . 144
2.4 Cohomology of Affine and Projective Schemes . . . . . . . . . . . 155
2.5 Cohomological Study of Proper Morphisms . . . . . . . . . . . . 167
2.6 Local Freeness of Higher Direct Images . . . . . . . . . . . . . . . 180
2.7 Grothendieck’s Existence Theorem . . . . . . . . . . . . . . . . . 194
Bibliography 217
v
Chapter 1
1
2 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
A direct set is a partially ordered set (I, ≤) such that for any i, j ∈ I, there
exists a k ∈ I such that i, j ≤ k. A direct system (Ai , φij )i∈I of sets consists of
a family of sets Ai (i ∈ I) and maps φij : Ai → Aj for pairs i ≤ j such that
φii = idAi and φjk φij = φik whenever i ≤ j ≤ k. For any xi ∈ Ai and xj ∈ Aj ,
we say xi is equivalent to xj if there exists a k ≥ i, j such that
`φik (xi ) = φjk (xj ).
This defines an equivalence relation on the disjoint union i Ai of Ai (i ∈ I).
1.1. PRESHEAVES AND SHEAVES 3
The direct limit inv. limi Ai of (Ai , φij )i∈I is defined to be the set of equivalence
classes.
Let X be a topological space and P a point in X. For any two neighborhoods
U and V of P , we say V ≤ U if U ⊂ V . Then the family of neighborhoods of
P becomes a direct set with respect to this order. For any presheaf F on X,
define the stalk FP of F at P by
Proof. The “only if” part is obvious. Let’s prove the “if” part. Suppose φP :
FP → GP is bijective for every P ∈ X. We need to show φ(U ) : F(U ) → G(U )
is bijective for every open subset U of X.
4 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
Let s, s0 ∈ F(U ) be two sections such that φ(s) = φ(s0 ). Then φP (sP ) =
φP (s0P ) for any P ∈ U . Since φP is injective, we have sP = s0P . So there exists
a neighborhood UP of P contained in U such that s|UP = s0 |UP . Note that
{UP }P ∈U is an open covering of U . Since F is a sheaf, we must have s = s0 . So
φ(U ) is injective.
Let (t, U ) be a section in G(U ). For any P ∈ U , since φP : FP → GP is
surjective, we may find sP ∈ FP such that φP (sP ) = tP . We may assume sP is
the germ of a section (s, UP ) ∈ F(UP ) for some neighborhood UP of P . Note
that φ(s, UP ) and (t, U ) have the same germ at P . Choosing UP sufficiently
small, we may assume UP ⊂ U and φ(s, UP ) = (t, U )|UP . Then for any two
points P, Q ∈ U , we have
Before going on, we introduce some concepts from the theory of categories.
Let C be a category. A morphism f : A → B in C is called a monomorphism
or injective if for any two morphisms α, β : C → A satisfying f α = f β, we
have α = β. An epimorphism is defined similarly by reversing the directions
of arrows. More precisely, f : A → B is called an epimorphism or surjective if
for any two morphisms α, β : B → C satisfying αf = βf , we have α = β. If a
morphism is both injective and surjective, we say it is bijective. An isomorphism
is a morphism with a two-sided inverse. Any isomorphism is bijective. But a
bijective morphism may not be an isomorphism.
Let Ai (i Q∈ I) be a family of objects in C. The direct productQof Ai (i ∈ I)
is an object i∈I Ai together with a family of morphisms pi : i∈I Ai → Ai
(i ∈ I) called projections with the following universal property: For any object
C and any family of morphisms
Q fi : C → Ai (i ∈ I), there exists one and only
one morphism f : C → i∈I Ai such that pi f = fi for any i. If the direct
product of Ai (i ∈ I) exists, it is unique up to unique isomorphism, that is, any
two direct product of Ai (i ∈ I) are isomorphic and the isomorphism between
them is unique.
The direct sum of Ai (i ∈ I) is defined similarly as above by reversing the
directions of arrows. More precisely, the direct sum of Ai (i ∈ I) is an object
⊕i∈I Ai together with a family of morphisms ki : Ai → ⊕i∈I Ai (i ∈ I) with the
following universal property: For any object C and any family of morphisms
fi : Ai → C (i ∈ I), there exists one and only one morphism f : ⊕i∈I Ai → C
such that f ki = fi for any i. If the direct product of Ai (i ∈ I) exists, it is
unique up to unique isomorphism.
Let (I, ≤) be a directed set. A direct system (Ai , φij )i∈I consists of a family
of objects Ai (i ∈ I) and morphisms φij : Ai → Aj for pairs i ≤ j such that
1.1. PRESHEAVES AND SHEAVES 5
φii = idAi for any i and φjk φij = φik whenever i ≤ j ≤ k. The direct limit
of a direct system (Ai , φij ) is an object dir. limi Ai together with morphisms
φi : Ai → dir. limi Ai (i ∈ I) satisfying φj φij = φi whenever i ≤ j and having
the following universal property: For any object C and any morphisms ψi :
Ai → C (i ∈ I) satisfying ψj φij = ψi (i ≤ j), there exists a unique morphism
ψ : dir. limi Ai → C such that ψφi = ψi for any i. If the direct limit exists, it
is unique up to unique isomorphism. Let (A0i , φij )i∈I be another direct system.
A morphism from (Ai , φij ) to (A0i , φij ) is a family of morphisms ui : Ai → A0i
(i ∈ I) such that for any i ≤ j, the following diagram commutes:
u
Ai →i A0i
φij ↓ ↓ φ0ij
uj
Aj → A0j .
Proposition 1.2. Let C be an additive category and let A and B be two objects
in C.
(i) Let p1 : A × B → A and p2 : A × B → B be the projections. Define
k1 : A → A × B to be the unique morphism satisfying p1 k1 = idA and p2 k1 = 0,
and define k2 : B → A × B to be the unique morphism satisfying p1 k2 = 0 and
p2 k2 = idB . Then we have k1 p1 + k2 p2 = idA×B .
6 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
p1 k1 = idA ,
p2 k2 = idB ,
k1 p1 + k2 p2 = idP .
p1 (k1 p1 + k2 p2 ) = p1 idA×B ,
p2 (k1 p1 + k2 p2 ) = p2 idA×B .
So p1 k2 = 0. Similarly p2 k1 = 0.
Let’s prove (P, k1 , k2 ) is the direct sum of A and B and leave to the reader
to prove (P, p1 , p2 ) is the direct product of A and B. Given any object C and
any morphisms f1 : A → C and f2 : B → C, define f = f1 p1 + f2 p2 . It is easy
to verify that f k1 = f1 and f k2 = f2 . If f 0 : P → C is a morphism such that
f 0 k1 = f1 and f 0 k2 = f2 , then we have
f0 = f 0 idP = f 0 (k1 p1 + k2 p2 )
= (f 0 k1 )p1 + (f 0 k2 )p2 = f1 p1 + f2 p2 .
K0
↓ &
K → A
is called a short exact sequence. This short exact sequence is called split it is
isomorphic to
0 → A → A ⊕ C → C → 0,
where A → A ⊕ C and A ⊕ C = A × C → C are the canonical morphisms.
F (A ⊕ B) ∼
= F (A) ⊕ F (B).
Indeed, keeping the notations in Proposition 1.2 (i) and applying F to the
equalities there, we get
So by Proposition 1.2 (ii), (F (A ⊕ B), F (k1 ), F (k2 )) is the direct sum of F (A)
and F (B). Hence if
0→A→B→C→0
is a split short exact sequence, then
(kerφ)P = ker(φP : FP → GP ),
(cokerφ)P = coker(φP : FP → GP ),
(imφ)P = im(φP : FP → GP ).
Note that for any section s ∈ F + (U ), we may find an open covering {Ui }i∈I
of U and sections si ∈ F(Ui ) such that θ(si ) = s|Ui , that is, sections in F +
locally come from sections of F. Two sections s, t ∈ F(U ) have the same image
in F + (U ) if and only if there exists a covering {Ui }i∈I of U such that s|Ui = t|Ui
for any i, that is, two sections of F which are locally equal are identified in F + .
When F is a sheaf, θ : F → F + is an isomorphism.
U 7→ coker(φ(U )),
U 7→ im(φ(U )).
(kerφ)P = ker(φP ),
(cokerφ)P = coker(φP ),
(imφ)P = im(φP ).
(P + )P = PP = im(φP ),
(ker(G → C + ))P = ker(GP → (C + )P ) = ker(GP → CP )
= ker(GP → coker(φP )).
Our claim follows immediately. We leave to the reader to prove the other asser-
tions in the proposition.
Proof. We only prove the “⇐” part in (i) and leave to the reader to prove the
rest. Consider the commutative diagram
A → B
↓ ↑
coimf → imf.
If kerf = 0, then the left vertical arrow is an isomorphism. The bottom hori-
zontal arrow is an isomorphism by the axiom of abelian category, and the right
1.1. PRESHEAVES AND SHEAVES 11
Proof. (i) follows from Proposition 1.4 and Lemma 1.7. (ii) follows from
Proposition 1.6 and Lemma 1.7. (iv) follows from (iii). Let’s prove the statement
about surjectivity in (iii) and leave to the reader to prove the rest. By Lemma
1.7, φ is surjective if and only if imφ ∼
= G. By Proposition 1.1, this is equivalent
to saying (imφ)P ∼ = GP for any P ∈ X. By Proposition 1.6, this is equivalent to
saying im(φP ) ∼ = GP , that is, φP is surjective for any P ∈ X.
for any open subset V of Y . Note that f∗ is an additive functor from the
category of sheaves of abelian groups on X to the category of sheaves of abelian
groups on Y . For any sheaf G on Y , the inverse image f −1 G of G is the sheaf
on X associated to the presheaf defined by
for every open subset U of X, where the limit is taken over the family of open
subsets V of Y containing f (U ). Note that f −1 is an additive functor from the
category of sheaves of abelian groups on Y to the category of sheaves of abelian
groups on X. When f is an imbedding, we often denote f −1 G by G|X and call
it the restriction of G to X.
For any sheaf F on X, define a canonical morphism
f −1 f∗ F → F
G → f∗ f −1 G
αF ,G : Hom(G, f∗ F) → Hom(f −1 G, F)
Define
βF ,G : Hom(f −1 G, F) → Hom(G, f∗ F)
as follows: For any morphism ψ : f −1 G → F, define βF ,G (ψ) to be the compo-
sition
f∗ ψ
G → f∗ f −1 G → f∗ F.
1.1. PRESHEAVES AND SHEAVES 13
One can verify that αF ,G and βF ,G are inverse to each other, and they are
functorial with respect to F and G, that is, for any morphism F1 → F2 of
sheaves on X and any morphism G1 → G2 of sheaves on Y , the following diagram
commutes:
αF1 ,G2
Hom(G2 , f∗ F1 ) → Hom(f −1 G2 , F1 )
↓ ↓
αF2 ,G1
−1
Hom(G1 , f∗ F2 ) → Hom(f G1 , F2 ),
where the vertical arrows are induced by F1 → F2 and G1 → G2 . Moreover a
similar diagram for βF ,G commutes.
In general, let C and D be categories and let u : C → D and v : D → C be
functors. We say u is left adjoint to v or v is right adjoint to u if for any object
C in C and D in D, we have a bijection
Hom(u(C), D) ∼
= Hom(u0 (C), D)
for any object D in D. Taking D = u(C), we see that there exists a morphism
φC ∈ Hom(u0 (C), u(C)) corresponding to idu(C) ∈ Hom(u(C), u(C)). Taking
D = u0 (C), we see that there exists a morphism ψC ∈ Hom(u(C), u0 (C)) cor-
responding to idu0 (C) ∈ Hom(u0 (C), u0 (C)). One can verify that φ and ψ are
natural transformations between u and u0 and they are inverse to each other.
Similarly, if a functor right adjoint to u exists, it is unique up to isomorphism.
that is,
Hom((gf )−1 H, F) = Hom(f −1 g −1 H, F).
Hence (gf )−1 = f −1 g −1 .
Let P be a point in X and let i : {P } → X be the inclusion. Then the
inverse image i−1 F of a sheaf F on X can be identified with the stalk FP . So
for any continuous map f : X → Y and any sheaf G on Y , we have
We end this section with two lemmas which hold in any abelian categories.
We only need the special case where the abelian category is the category of
sheaves. In this case, the lemmas can be easily proved by diagram chasing.
0 → A → B → C → 0
u↓ v↓ w↓
0 → A0 → B 0 → C 0 → 0
be a commutative diagram in an abelian category such that the two rows are
exact. Then there exists a morphism δ : kerw → cokeru such that the following
sequence is exact:
δ
0 → keru → kerv → kerw → cokeru → cokerv → cokerw → 0.
A1 → A2 → A3 → A4 → A5
f1 ↓ f2 ↓ f3 ↓ f4 ↓ f5 ↓
B1 → B2 → B3 → B4 → B5
be a commutative diagram in an abelian category such that the two rows are
exact. If f1 , f2 , f4 and f5 are isomorphisms, then f3 is also an isomorphism.
Throughout this book, all rings are assumed to be commutative and have iden-
tity element 1, and all homomorphisms of rings are assumed to map 1 to 1.
For every ring A, let SpecA be the set of prime ideals of A. For every ideal
a of A, define
V (a) = {p ∈ SpecA|a ⊂ p}.
We leave to the reader to prove the following proposition:
Proposition 2.1.
(i) V (0) = SpecA and V (A) = ∅.
(ii) If a ⊂ b, then V (a)
P ⊃ V (b).
(iii) ∩i∈I V (ai ) = V ( i∈I ai ) for any family of ideals ai (i ∈ I) of A.
(iv) V (a) ∪ V (b) = V (ab) = V (a ∩ b).
This proposition shows that the family of subsets of SpecA of the form V (a)
is closed under the operations of intersection and finite union, and includes the
1.2. SCHEMES AND MORPHISMS 15
empty set and the total space SpecA. So SpecA is a topological space whose
closed sets are of the form V (a) for ideals a of A. This topology is called the
Zariski topology on SpecA.
Proposition 2.2.
(i) We have SpecA = ∅ if and only if 0 = 1 in A.
(ii) For any ideal a of A, define the nilpotent radical of a to be the ideal
√
a = {a ∈ A|an ∈ a for some natural number n}.
√
Then we have V (a)
√ = V ( Ta).
(iii) We have a = p.
p∈V (a) √
√
(iv) For any ideals a and b of A, we have V (a) ⊂ V (b) if and only if a ⊃ b.
Then (0) ∈ S and hence S is nonempty. One can easily show that any totally
ordered subset of S with respect to the order defined by inclusion has an upper
bound in S. So by Zorn’s Lemma, S has a maximal element, that is, A has a
maximal ideal. Any maximal ideal is prime. So SpecA is nonempty.
(ii) Follows directly from
√ the definition
T of V (a). √
(iii) Obviously we have a ⊂ p. Suppose f 6∈ a. Then in (A/a)f , we
p∈V (a)
have 0 6= 1. By (i), we may find a prime ideal q of (A/a)f . Let p be the inverse
image of q under the canonical
T homomorphism A → (A/a)f . Then p ∈ V (a)
but f 6∈ p. Hence f 6∈ p.
p∈V (a)
(iv) Follows from (ii),(iii), and Proposition 2.1 (ii).
is open. Open subsets of this type form a basis for the Zariski topology of SpecA,
that is, any open subset of SpecA is a union of such open subsets. Moreover,
D(f ) is quasi-compact.
Proof. Since D(f ) is the complement of V ((f )), it is open. Let U be an open
subset of SpecA and p a point in U . Then U = SpecA − V (a) for some ideal a of
A. We have a 6⊂ p. So there exists an f ∈ a−p. Then D(f ) is a neighborhood of p
contained in U . So open subsets of the type D(f ) (f ∈ A) form a basis for SpecA.
Let’s prove D(f ) is quasi-compact. Suppose D(f ) ⊂ ∪i∈I D(fi ) for some P family
of elements fi (i ∈ I) in A. Then we have V ((f )) ⊃ ∩i∈I V ((fi )) = V ( i∈I (fi )).
p pP
By Proposition 2.2 (iv), we have (f ) ⊂ i∈I (fi ). So we may find some
natural number n such that f n = ai1 fi1 + · · · + aik fik for some i1 , . . . , ik ∈ I
16 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
and ai1 , . . . , aik ∈ A. This implies that D(f ) ⊂ D(fi1 ) ∪ · · · ∪ D(fik ). Hence
D(f ) is quasi-compact.
Proposition 2.4.
(i) For any p ∈ SpecA, we have a canonical isomorphism Op ∼
= Ap .
(ii) For any f ∈ A, we have a canonical isomorphism O(D(f )) ∼
= Af . In
particular, taking f = 1, we get O(SpecA) ∼
= A.
One can easily show it is surjective. To show it is injective, assume (s, U ) ∈ O(U )
satisfies s(p) = 0. Let Up be a neighborhood of p contained in U and let a, f ∈ A
such that for any q ∈ Up , we have f 6∈ q and s(q) = fa in Aq . Since s(p) = 0,
we have fa = 0 in Ap . So there exists a t 6∈ p such that ta = 0. Then for any
q ∈ D(f ) ∩ D(t), we have fa = tf
ta
= 0 in Aq . Hence we have s|Up ∩D(t) = 0. Note
that Up ∩ D(t) is a neighborhood of p. This shows that Op → Ap is injective.
(ii) Let’s prove the homomorphism
Af → O(D(f ))
p ∈ D(f ) ⇒ Ann(a) 6⊂ p,
p 6∈ V ((f )) ⇒ p 6∈ V (Ann(a)).
Therefore
V (Ann(a)) ⊂ V ((f )).
1.2. SCHEMES AND MORPHISMS 17
p
By Proposition 2.2 (iv), we have f ∈ Ann(a), that is, f n a = 0 for some
natural number n. So fak = 0 in Af . This proves the injectivity.
`
Surjectivity: Let s : D(f ) → p∈SpecA Ap be a section in O(D(f )), let
{Ui }i∈I be an open covering of D(f ), and let ai , fi ∈ A such that for any
q ∈ Ui , we have fi 6∈ q and s(q) = afii in Aq . By Proposition 2.3, we may
assume Ui = D(gi ) for some gi ∈ A, and we may assume the covering is a finite
covering. Then for any q ∈ D(g p fi 6∈ q. Hence D(gi ) ⊂ D(fi ). By
pi ), we have
Proposition 2.2 (iv), we have (gi ) ⊂ (fi ). So giki = hi fi for some natural
number ki and hi ∈ A. Note that for any q ∈ D(gi ), we have hi fi 6∈ q and
ai hi ai hi ai
s(q) = = = ki
fi hi fi gi
So we have P
aj i bi ai
= .
gj fk
P
bi ai
Hence under the homomorphism Af → O(D(f )) defined at the beginning, fk
is mapped to the section s ∈ O(D(f )). This proves the surjectivity.
Let (X, OX ) and (Y, OY ) be two locally ringed spaces. A morphism of locally
ringed spaces (f, f ] ) : (X, OX ) → (Y, OY ) is a morphism of ringed spaces such
that for any P ∈ X, fP] : OY,f (P ) → OX,P is a local homomorphism. (Recall
that a local homomorphism of local rings f : A → B is a ring homomorphism
such that f −1 (mB ) = mA , or equivalently, f (mA ) ⊂ mB , where mA and mB are
the maximal ideals of A and B, respectively.) We can define the composition
of morphisms of locally ringed spaces in the obvious way. An isomorphism of
locally ringed spaces (f, f ] ) : (X, OX ) → (Y, OY ) is a morphism with a two-sided
inverse. This is equivalent to saying that f : X → Y is a homeomorphism of
topological spaces and f ] : OY → f∗ OX is an isomorphism of sheaves.
Any locally ringed space that is isomorphic to (SpecA, OSpecA ) for some ring
A is called an affine scheme. A scheme (X, OX ) is a locally ringed space such
that there exists an open covering {Ui }i∈I of X such that each (Ui , OX |Ui ) is an
affine scheme. We call X the underlying topological space and OX the structure
sheaf. We often denote (X, OX ) by X. We define morphisms of schemes as
morphisms of locally ringed spaces. We often denote a morphism of schemes
(f, f ] ) : (X, OX ) → (Y, OY ) by f : X → Y .
Proposition 2.5.
(i) Let φ : A → B be a homomorphism of rings. Then φ induces canonically
a morphism of locally ringed spaces
for any q ∈ SpecB. For any ideal a of A, we have f −1 (V (a)) = V (aB), where
aB is the ideal of B generated by φ(a). Hence f is continuous. `
For any open subset V of SpecA and any section s : V → p∈SpecA Ap of
OSpecA (V ), define a section f ] (s) : f −1 (V ) → q∈SpecB Bq in OSpecB (f −1 (V ))
`
by
(f ] (s))(q) = φq (s(f (q)))
for any q ∈ f −1 (V ), where φq : Aφ−1 (q) → Bq is the homomorphism induced by
φ. In this way we get a morphism of sheaves f ] : OSpecA → f∗ (OSpecB ). One
can verify that fq] : OSpecA,q → OSpecB,f (q) coincides with the homomorphism
φq : Aφ−1 (q) → Bq through the identifications defined in Proposition 2.4 (i). So
fq] is a local homomorphism and hence (f, f ] ) is a morphism of schemes.
(ii) Suppose (f, f ] ) : (SpecB, OSpecB ) → (SpecA, OSpecA ) is a morphism
of locally ringed spaces. Define φ : A → B so that the following diagram
commutes:
φ
A → B
∼
=↓ ↓∼
=
f]
OSpecA (SpecA) → (f∗ OSpecB )(SpecA) = OSpecB (SpecB),
where the vertical arrows are defined by Proposition 2.4 (ii). For every q ∈
SpecB, define φ0q : Af (q) → Bq so that the following diagram commutes:
φ0q
Af (q) → Bq
∼
=↑ ↑∼
=
]
f
q
OSpecA,f (q) → OSpecB,q ,
where the vertical arrows are defined in Proposition 2.4 (i). Since fq] is a local
homomorphism, φ0q is also local. The following diagram commutes:
f]
OSpecA (SpecA) → OSpecB (SpecB)
↓ ↓
]
f
q
OSpecA,f (q) → OSpecB,q .
Through the identifications in Proposition 2.4, this diagram becomes
φ
A → B
pA ↓ ↓ pB
φ0q
Af (q) → Bq ,
where the vertical arrows pA : A → Af (q) and pB : B → Bq are the canonical
homomorphisms. So we have
φ−1 (q) = φ−1 p−1 −1 0 −1
B (qBq ) = pA (φq ) (qBq ) = p−1
A (f (q)Af (q) ) = f (q),
20 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
where the third equality follows from the fact that φ0q is a local homomorphism.
Therefore we have f (q) = φ−1 (q). Moreover the commutativity of the last
diagram shows that φ0q coincides with the homomorphism φq : Aφ−1 (q) → Bq
induced by φ. For any open subset V of SpecA and any q ∈ f −1 (V ), we have a
commutative diagram
f]
OSpecA (V ) → OSpecB (f −1 (V ))
↓ ↓
f]
q
OSpecA,f (q) → OSpecB,q
↓ ↓
φq
Aφ−1 (q) → Bq .
Note that the compositions of the vertical arrows in this diagram are the ho-
momorphisms which send a section to its value at φ−1 (q) and at q, respec-
tively. The
` commutativity of the above diagram shows that for`any section
s : V → p∈SpecA Ap in OSpecA (V ), the section f ] (s) : f −1 (V ) → q∈SpecB Bq
in OSpecB (f −1 (V )) is given by f ] (s)(q) = φq (s(φ−1 (q))). Hence (f, f ] ) is in-
duced by φ.
We leave to the reader to show that sums, products, intersections, and nilpo-
tent radicals of homogeneous ideals are homogeneous.
∞
L
Let S+ = Sd and let ProjS be the set of homogeneous prime ideals of S
d=1
not containing S+ . For any homogeneous ideal a of S, define
Proposition 2.9.
(i) V+ (0) = ProjS andPV+ (S) = ∅.
(ii) ∩i∈I V+ (ai ) = V+ ( i∈I ai ) for any family of homogeneous ideals ai (i ∈
I) of S.
(iii) V+ (a) ∪ V+ (b) = V+ (ab) = V+ (a ∩ b) for any homogeneous ideals a and
b of S.
By the above proposition, the family of subsets of ProjS of the form V+ (a)
is closed under the operations of intersection and finite union and includes the
empty set and the total space ProjS. So we may define a topology on ProjS
so that closed sets are of the form V+ (a) for homogeneous ideals a of S. This
topology is called the Zariski topology on ProjS.
Proposition 2.10.
(i) For any p ∈ ProjS, we have a canonical isomorphism Op ∼= S( p ) .
(ii) For any homogeneous element f ∈ S+ of positive degree, let
Then D+ (f ) is open in ProjS. Open subsets of this type form a basis for the
topology of ProjS. Moreover, we have an isomorphism of locally ringed spaces
Proof. We leave to the reader to prove (i). Let’s prove (ii). As the complement
of V+ ((f )), D+ (f ) is open. For any homogeneous ideal a of S and any point
p in the open subset ProjS − V+ (a), we have a 6⊂ p and S+ 6⊂ p and hence
aS+ 6⊂ p. Let f be a homogeneous element in aS+ but not in p. Then f has
positive degree and p ∈ D+ (f ) ⊂ ProjS − V+ (a). Hence open subsets of the
form D+ (f ) form a basis.
Consider the map
xdegf
∈ p1 Sf ∩ S(f ) = p2 Sf ∩ S(f ) .
f degx
(Here we use the fact that degf > 0.) So we have xdegf ∈ p2 and hence x ∈ p2 .
Therefore p1 ⊂ p2 . Similarly p2 ⊂ p1 . This proves the injectivity of ϕ. For any
q ∈ SpecS(f ) , let p be the nilpotent radical of the ideal generated by those a ∈ S
such that fak lie in q for some k. (Then a is necessarily homogeneous of degree
kdegf ). Note that p is homogeneous. Suppose a1 and a2 are homogeneous
such that a1 a2 ∈ p. Then there exists an n such that (a1 a2 )n lies in the ideal
generated by numerators of elements in q. Note that (a1 a2 )ndegf lies in the
(a1 a2 )ndegf
same ideal. This implies that f n(dega 1 +dega2 )
lies in q. Since q is prime, we have
andegf andegf
1
f ndega1
∈ q or f ndega
2
2
∈ q. Hence a1 ∈ p or a2 ∈ p. Therefore p is a prime ideal.
Obviously f 6∈ p and hence p ∈ D+ (f ). One can verify that ϕ(p) = q. So ϕ is
surjective.
For any homogeneous ideal a of S, set b = aSf ∩ S(f ) . One can verify
ϕ(D+ (f )∩V+ (a)) = V (b). On the other hand, for any ideal b of S(f ) , define a to
be the ideal of S generated by numerators of elements in b. Then b = aSf ∩S(f ) .
This shows that ϕ establish a one-to-one correspondence between the family of
closed subsets of D+ (f ) and the family of closed subsets of SpecS(f ) . So ϕ is a
homeomorphism.
We have an obvious homomorphism
(S(f ) )ϕ(p) and is mapped to at in S(p) . This proves (S(f ) )ϕ(p) → S(p) is onto. It
is not hard to show it is also injective. Using this isomorphism, we can construct
an isomorphism of sheaves ϕ] : OSpecS(f ) → ϕ∗ (OProjS |D+ (f ) ).
Moreover V ((e)) and V ((1 − e)) are closed. If SpecA is connected, then we must
have V ((e)) = SpecA = V ((0)) or V ((1−e)) = SpecA = V ((0)). By Proposition
2.2 (iv), e or 1 − e is nilpotent. But both e and 1 − e are idempotent. So e = 0
or 1 − e = 0.
(ii)⇒(iii) Suppose A = A1 × A2 . Then (1, 0) is idempotent. So (1, 0) = (0, 0)
or (1, 0) = (1, 1), and hence A1 = 0 or A2 = 0.
(iii)⇒(i) Suppose SpecA is not connected. Then we can find two nonempty
disjoint open subsets U , V of SpecA such that U ∪ V = SpecA. Consider
the section e ∈ OSpecA (SpecA) defined by e|U = 1 and e|V = 0. Obviously
e is idempotent. Through the isomorphism OSpecA (SpecA) ∼ = A, e defines an
idempotent element in A different from 0 and 1. Let A1 = (e) and A2 = (1 − e).
It is easy to verify that A = A1 × A2 and A1 6= 0 and A2 6= 0.
F1 ⊃ F2 ⊃ · · ·
√ √
Since A is noetherian, we have an = an+1 = · · · for large n. But then
V (an ) = V (an+1 ) = · · ·.
Proof. (i) Let S be the family of closed subsets of X which cannot be written
as a union of finitely many irreducible closed subsets. If S is not empty, then
it has a minimal element Y because X is noetherian. Since Y ∈ S, Y is not
irreducible. So Y = F1 ∪ F2 for two proper closed subsets. By the minimality
of Y , we have F1 , F2 6∈ S. Hence F1 and F2 can be written as finite unions of
irreducible closed subsets. But then Y = F1 ∪ F2 can also be written as a finite
union of irreducible closed subsets. This contradicts to the fact that Y ∈ S. So
S is empty and hence every closed subset of X can be written as a finite union
of irreducible closed subsets.
Suppose
Y = Y1 ∪ · · · ∪ Ym = Y10 ∪ · · · ∪ Yn0
are two decompositions of Y into irreducible closed subsets with Yi 6⊂ Yj and
Yi0 6⊂ Yj0 for any i 6= j, Then Y1 = (Y1 ∩ Y10 ) ∪ · · · ∪ (Y1 ∩ Yn0 ). Since Y1 is
irreducible, we have Y1 = Y1 ∩ Yi0 and hence Y1 ⊂ Yi0 for some i. Without loss
of generality, we assume Y1 ⊂ Y10 . Similarly we have Y10 ⊂ Yj for some j. Since
Y1 6⊂ Yj for any j 6= 1, we must have j = 1 and hence Y1 = Y10 . Similarly, by
rearranging the order of Y10 , Y20 , . . . , we get m = n and Yi = Yi0 for every i.
(ii) Suppose X1 , . . . , Xn are the irreducible components of X. For any irre-
ducible closed subsets Y , we have Y = (Y ∩ X1 ) ∪ · · · ∪ (Y ∩ Xn ). So Y = Y ∩ Xi
and hence Y ⊂ Xi for some i. If Y is maximal among the family of irreducible
closed subsets, then we must have Y = Xi and hence Y is an irreducible compo-
nent. Let’s prove the irreducible component X1 is maximal among the family of
irreducible closed subsets. Suppose X1 ⊂ Y for some irreducible closed subset
Y . As we have seen above, there exists an irreducible component Xi such that
Y ⊂ Xi . But then we have X1 ⊂ Xi . This implies i = 1 and X1 = Y .
Proof. By Proposition 3.2 and 2.2 (iv), the map p 7→ V (p) establishes a one-
to-one correspondence between the family of prime ideals of A and the family
of irreducible closed subsets of SpecA. By Proposition 3.4 (ii), each irreducible
component of SpecA is a maximal irreducible closed subset. If we write it in
the form V (p) for some prime ideal p, then p is minimal prime ideal.
OX (V ) → OX (U ) → OX,P → OX,ξ
are injective.
this homomorphism is local, fϕ(P ) is a unit if and only if (ϕ] (f ))P is a unit,
that is, ϕ(P ) ∈ Yf if and only if P ∈ Xϕ] (f ) .
(iii) The restriction A = OX (X) → OX (Xf ) maps f to a unit. So it induces
a homomorphism Af → OX (Xf ). Let’s prove it is an isomorphism.
For each i, let Ui = SpecAi . Denote by fi the image of f under the restriction
OX (X) → OX (Ui ) = Ai . Then Xf ∩ Ui coincides with the open subset D(fi )
of Ui .
Suppose s ∈ OX (X) is a section such that s|Xf = 0. We will show there
exists a natural number n such that f n s = 0 in OX (X). This would prove the
homomorphism Af → OX (Xf ) is injective.
Note that s|Ui lies in the kernel of the restriction OX (Ui ) → OX (Ui ∩ Xf )
for each i. This restriction coincides with the canonical homomorphism Ai →
(Ai )fi . Since every element in the kernel of Ai → (Ai )fi is annihilated by some
power of fi , we have fini s|Ui = 0 in OX (Ui ) for some natural number ni . Since
{Ui }i∈I is a finite covering, we may find a large n such that fin s|Ui = 0 for every
i. We then have f n s = 0.
Next we show that for any section t ∈ OX (Xf ), there exists a natural number
n such that f n t can be extended to a section in OX (X) = A. This would prove
the homomorphism Af → OX (Xf ) is surjective.
Since the restriction OX (Ui ) → OX (Ui ∩ Xf ) coincides with the canoni-
cal homomorphism Ai → (Ai )fi , there exists a natural number n such that
fin t|Ui ∩Xf can be extended to a section ti in O(Ui ) for each i. Note that the
restriction of ti |Ui ∩ Uj − tj |Ui ∩ Uj to Ui ∩ Uj ∩ Xf vanishes for any i, j. By
what we have proved above, there exists a natural number m such that for any
i, j ∈ I, we have f m (ti |Ui ∩ Uj − tj |Ui ∩ Uj ) = 0. So we can glue fim ti together
to get a section in OX (X). This section is an extension of f m+n t.
Proposition 3.10. A scheme (X, OX ) is affine if and only if we can find finitely
many sections f1 , . . . , fn ∈ O(X) which generate the unit ideal of O(X) such
that each open subscheme (Xfi , OX |Xfi ) is affine.
Proof. The necessity is obvious. Let’s prove the sufficiency. Let A = O(X).
By Proposition 2.8, the identity homomorphism A → O(X) defines a morphism
ϕ : X → SpecA. Let’s prove ϕ is an isomorphism. Since fi (i = 1, . . . , n)
generate the unit ideal, D(fi ) (i = 1, . . . , n) form an open covering of SpecA. We
have ϕ−1 (D(fi )) = Xfi by Proposition 3.9 (ii). We will verify the conditions in
Proposition 3.9 (iii) hold so that we have OX (Xfi ) ∼ = Afi . Each Xfi is affine by
assumption. So by Proposition 2.5, ϕ induces an isomorphism ϕ−1 (D(fi )) ∼ = X fi
for each i and hence ϕ is an isomorphism.
Let’s verify the condition of Proposition 3.9 (iii) holds. X can be covered
by Xfi (i = 1, . . . , n) and each Xfi is affine. Suppose Xfi = SpecBi . For each
j, let fj0 be the image of fj under the restriction OX (X) → OX (Xfi ) = Bi . By
Proposition 3.9 (ii), Xfi ∩ Xfj is equal to the subset D(fj0 ) of SpecBi , which is
affine.
A scheme (X, OX ) is called locally noetherian if it can be covered by affine
open subschemes Ui = SpecAi (i ∈ I) such that each Ai is noetherian. It is
30 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
Proposition 3.11. Let (X, OX ) be a locally noetherian scheme. Then for any
affine open subscheme U = SpecA of X, A is noetherian. In particular, an affine
scheme (Spec, OSpecA ) is locally noetherian if and only if A is noetherian.
X
a= bi cij aij .
i,j
Proof. We only prove (ii) and leave to the reader to prove the rest. Suppose
f : X → Y is an affine morphism. Cover Y by affine open subschemes Vi =
SpecAi (i ∈ I) such that f −1 (Vi ) = SpecBi for some Ai -algebras Bi . For any
affine open subscheme V = SpecA, we cover each Vi ∩ V by open subsets of the
form D(fij ) (j ∈ Ji ) for some fij ∈ Ai . Note that D(fij ) (i ∈ I, j ∈ Ji ) form an
open covering of V , each D(fij ) is affine and each f −1 (D(fij )) ∼ = Spec(Bi )fij
is also affine. Changing notations, we may assume V = SpecA can be covered
affine open subschemes Vi = SpecAi (i ∈ I) so that f −1 (Vi ) = SpecBi for some
Ai -algebras Bi . Cover each Vi by open subsets of the form D(fij ) (j ∈ Ji )
0
for some fij ∈ A. For each i and each j ∈ Ji , let fij be the image of fij
under the restriction A = OY (V ) → Ai = OY (Vi ). The subset D(fij ) of V =
SpecA coincides with the subset D(fij 0
) of Vi = SpecAi . Since f −1 (D(fij 0
)) ∼
=
−1
Spec(Bi )fij0 , each f (D(fij )) is affine. Changing notations, we may assume
V = SpecA can be covered by D(fi ) (i ∈ I) for some fi ∈ A such that each
f −1 (D(fi )) is affine. Since SpecA is quasi-compact, we may assume this is a
finite covering. One can verify fi (i ∈ I) generate the unit ideal of A. Denote
f −1 (V ) by U and let fi0 (i ∈ I) be the images of fi under the homomorphism
OY (V ) → OX (U ). Then fi0 (i ∈ I) generate the unit ideal of OX (U ). Moreover,
we have Ufi0 = f −1 (D(fi )) by Proposition 3.9 (ii). So each Ufi0 is affine. By
Proposition 3.10, U = f −1 (V ) is affine.
We have φ( b1i ) = ai
si for some ai ∈ A and si ∈ A − p. We have
θ(fi (x1 , . . . , xn )) = 0
in Ap , that is,
fi (b1 , . . . , bn )
φ =0
1
in Ap . Since
fi (b1 , . . . , bn ) X a1 i1 an
φ = cii1 ...in ( ) · · · ( )in
1 s1 sn
0≤i1 ,...,in ≤d
f
U ∩ f −1 (V 0 ) → g −1 (U ) ∩ V 0 ,
g
g −1 (U ) ∩ V 0 → U ∩ f −1 (V 0 )
Corollary 3.14. Let S be a locally noetherian scheme and let X and Y be two
integral schemes. Suppose we have a commutative diagram
f
X → Y
& .
S
Proof. Let ξ be the generic point of X and η the generic point of Y . We have
f (ξ) = η and fξ] : OY,η → OX,ξ is an isomorphism. Our assertion then follows
from Proposition 3.13 (iii).
Proof. (i) We leave to the reader to verify that ϕ : SpecA/a → SpecA induces
a homeomorphism onto V (a) on the underlying topological spaces. To show
ϕ] : OSpecA → ϕ∗ OSpecA/a is surjective, we use Corollary 1.8 (iii) and the fact
that for any p ∈ SpecA, we have
(A/a)p/a if p ∈ V (a),
(ϕ∗ OSpecA/a )p =
0 otherwise.
open subsets of the form D(f ). So we have a covering {D(fi )}i∈I of SpecA such
that for each i, D(fi ) ∩ Z is an affine open subscheme of Z. (Some of them may
be empty.) We may assume this covering is finite since SpecA is quasi-compact.
Since D(fi ) (i ∈ I) cover SpecA, fi (i ∈ I) generate the unit ideal. For each i,
denote the image of fi under ϕ] : A = OSpecA (SpecA) → OZ (Z) by f¯i . Then f¯i
(i ∈ I) generate the unit ideal OZ (Z). Moreover each Zf¯i = D(fi ) ∩ Z is affine.
So Z is affine by Proposition 3.10.
Suppose Z = SpecB. Then the closed immersion Z → SpecA is induced by
a homomorphism φ : A → B. Let a = kerφ. We have a commutative diagram
of morphism of schemes:
ϕ
SpecB → SpecA,
θ↓ %
SpecA/a
where the vertical arrow θ is induced by the monomorphism A/a → B. Using
the definition of closed immersions and the fact that SpecB → SpecA and
SpecA/a → SpecA are closed immersions, one can show θ : SpecB → SpecA/a
is a closed immersion. By Lemma 3.17 below, the image of ϕ : SpecB →
SpecA is V (a). Hence θ : SpecB → SpecA/a is a homeomorphism on the
underlying topological spaces. Since A/a → B is injective, for any f ∈ A,
the homomorphism (A/a)f¯ → Bφ(f ) is injective, where f¯ is the image of f in
A/a. So θ] (D(f )) : OSpecA/a (D(f¯)) → (θ∗ OSpecB )(D(f¯)) is injective. Hence
θ] : OSpecA/a → θ∗ OSpecB is injective. Since θ is a closed immersion, θ] must
be an isomorphism. Hence the closed immersion Z → SpecA is isomorphic to
SpecA/a → SpecA.
ideal p0 of A which is minimal among those prime ideals containing kerφ and
contained in p. We claim that p0 ∈ f (SpecB). Since we have p ∈ V (p0 ) = {p0 },
this implies p ∈ f (SpecB). Hence V (kerφ) ⊂ f (SpecB).
Let’s prove the claim. p0 /kerφ is a minimal prime ideal of A/kerφ. Moreover,
the homomorphism A/kerφ → B is injective. Replacing A by A/kerφ, we are
reduced to prove the following assertion: For any monomorphism φ : A → B
and any minimal prime ideal p of A, there exists a prime ideal q of B such that
φ−1 (q) = p. Note that the homomorphism Ap → Bp is injective. We have 0 6= 1
in Ap by Proposition 2.2 (i). So 0 6= 1 in Bp and hence SpecBp is nonempty.
Therefore we may find a prime ideal q of B which is disjoint from φ(A − p), that
is, φ−1 (q) ⊂ p. By the minimality of p, we must have φ−1 (q) = p.
The Third Proof. Again it is obvious that f (SpecB) ⊂ V (kerφ). For any
p ∈ V (kerφ), to prove p ∈ f (SpecB), it suffices to show any neighborhood D(a)
of p contains an element in f (SpecB). So we need to show that for any prime
ideal p of A containing kerφ and for any a ∈ A − p, there exists a prime ideal
q of B such that a 6∈ φ−1 (q). It suffices to show SpecBφ(a) is not empty, or
equivalently, φ(a) is not nilpotent. Indeed, if φ(a) is nilpotent, then some power
an of a lies in kerφ and hence lies in p. This contradicts to the fact that a 6∈ p.
Proof. First consider the case where X√= SpecA is affine. Then Y = V (a)
for a unique ideal a of A satisfying a = a. Note that SpecA/a is a reduced
closed subscheme of SpecA with Y being the underlying topological space. This
proves the existence of the reduced induced closed subscheme structure. By
Proposition 3.16 (ii), any closed subscheme of X with Y being the underlying
topological space is of the form SpecA/a for some ideal a √ satisfying Y = V (a).
If the closed subscheme is reduced, then we must have a = a. Such a is unique.
This proves the uniqueness of the reduced induced closed subscheme structure.
Now consider the general case. Cover X by affine open subschemes Ui =
SpecAi (i ∈ I). We have seen that for each i, the closed subset Y ∩Ui of the affine
scheme Ui has a reduced induced closed subscheme structure (Y ∩ Ui , OY ∩Ui ).
We claim that for any i, j, there exists a unique isomorphism between the closed
immersion
Hence we may glue the closed subschemes (Y ∩Ui , OY ∩Ui ) (i ∈ I) together to get
a reduced closed subscheme structure on Y . (Confer Proposition 3.19 below.)
To prove our claim, we cover Ui ∩ Uj by affine open subschemes Uijk (k ∈ Kij ).
38 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
For any i, j, k, both (Y ∩ Uijk , OY ∩Ui |Y ∩Uijk ) and (Y ∩ Uijk , OY ∩Uj |Y ∩Uijk ) are
reduced and their underlying topological spaces are the closed subset Y ∩ Uijk
of the affine scheme Uijk . By the uniqueness of the reduced induced closed
subscheme structure in the affine case, there is a unique isomorphism between
the closed immersion
In the above proof, we obtain the reduced induced closed subscheme struc-
ture by glueing subscheme structures. We summarize the process of glueing in
the following proposition and leave the proof to the reader:
Proposition 3.19.
(i) Let Ui (i ∈ I) be a family of topological spaces. Suppose for any pair i 6= j,
we are given an open subset Uij of Ui and a homeomorphism ϕij : Uij → Uji
with the following properties:
(a) For any i 6= j, we have ϕij = ϕ−1 ji .
(b) For any distinct i, j, k, we have ϕij (Uij ∩ Uik ) = Uji ∩ Ujk and ϕjk ϕij =
ϕik when restricted to Uij ∩ Uik .
Then there exists a topological space X together with embeddings ϕi : Ui → X
such that ϕi (Ui ) are open and form a covering of X, ϕi (Uij ) = ϕi (Ui ) ∩ ϕj (Uj ),
and ϕj ϕij = ϕi on Uij . X is unique up to homeomorphism. We call {ϕij } the
glueing data and X is obtained by glueing {Ui } along {Uij } through {ϕij }.
(ii) Let X be a topological space and let {Ui }i∈I be an open covering of X.
Suppose we are given a sheaf Fi on Ui for each i and an isomorphism of sheaves
φij : Fi |Ui ∩Uj → Fj |Ui ∩Uj for each pair i, j with the following properties:
(a) For any i, we have φii = idFi .
(b) For any triple i, j, k, we have φik = φjk φij on Fi |Ui ∩Uj ∩Uk .
Then there exists a sheaf F on X together with isomorphisms φi : F|Ui → Fi
such that φj = φij φi on F|Ui ∩Uj . F is unique up to isomorphism. We call {φij }
the glueing data and F is obtained by glueing {Fi } through {φij }.
(iii) Let Ui (i ∈ I) be a family of schemes. Suppose for any pair i 6= j,
we are given an open subscheme Uij of Ui and an isomorphism of schemes
ϕij : Uij → Uji with the following properties:
(a) For any i 6= j, we have ϕij = ϕ−1 ji .
(b) For any distinct i, j, k, we have ϕij (Uij ∩ Uik ) = Uji ∩ Ujk and ϕjk ϕij =
ϕik when restricted to Uij ∩ Uik .
Then there exists a scheme X together with open immersions ϕi : Ui → X such
that ϕi (Ui ) form a covering of X, ϕi (Uij ) = ϕi (Ui ) ∩ ϕj (Uj ), and ϕj ϕij = ϕi
1.3. PROPERTIES OF SCHEMES AND MORPHISMS 39
X → Y
& .
S
X ×S Y
. &
X Y
& .
S
Proposition 3.20. For any S-schemes X and Y , their fibred product over S
exists and is unique up to unique isomorphism.
Sketch of the Proof. The uniqueness follows from the universal property of
the fibred product.
Step 1. Assume X = SpecA, Y = SpecB and S = SpecC are affine. Then
using Proposition 2.8, one can verify X ×S Y = Spec(A ⊗C B), and p and
q are induced by the canonical C-algebra homomorphisms A → A ⊗C B and
B → A ⊗C B, respectively.
Step 2. Let X and Y be S-schemes such that X ×S Y exists. Then for any
open subscheme U of X, p−1 (U ) is the fibred product of U and Y over S.
Step 3. Suppose X can be covered by open subschemes Ui (i ∈ I) such that
each Ui ×S Y exists. Then X ×S Y exists. Indeed, by the uniqueness of the
fibred product and Step 2, for any i, j ∈ I, we can consider (Ui ∩ Uj ) ×S Y as
40 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
X ×S S 0 → Y ×S S 0
↓ ↓
X → Y.
Proof. (i) Cover Y by affine open subschemes Vi (i ∈ I) and cover each f −1 (Vi )
by affine open subschemes Uij (j ∈ Ji ). Let U be the union of p−1 (Uij ) ∩
q −1 (Uij ) = Uij ×Vi Uij (i ∈ I, j ∈ Ji ). Obviously ∆(X) is contained in U .
So we can factorize ∆ as X → U → X ×Y X. The second arrow is an open
immersion. To prove ∆ is an immersion, it suffices to show the first arrow is a
closed immersion. Since U can be covered by p−1 (Uij ) ∩ q −1 (Uij ) (i ∈ I, j ∈ Ji ),
it suffices to show each
∆
∆−1 (p−1 (Uij ) ∩ q −1 (Uij )) → p−1 (Uij ) ∩ q −1 (Uij )
is a closed immersion. We have a commutative diagram
∆
∆−1 (p−1 (Uij ) ∩ q −1 (Uij )) → p−1 (Uij ) ∩ q −1 (Uij )
k ↓∼
=
∆Uij /Vi
Uij → Uij ×Vi Uij .
42 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
X ×T Y → X ×S Y
↓ ↓
∆
T → T ×S T
is cartesian, where the top horizontal arrow is the unique morphism whose
compositions with the two projections of X ×S Y to its factors are the two
projections of X ×T Y to its factors, and the right vertical arrow is the unique
morphism whose compositions with the two projections of T ×S T to its factors
are the morphism X → T and Y → T , respectively.
X Y
f& . id
Y
↓
S,
X → X ×S Y
↓ ↓
∆
Y → Y ×S Y.
1.3. PROPERTIES OF SCHEMES AND MORPHISMS 43
The top horizontal arrow is called the graph of the S-morphism f : X → Y and
is denoted by Γf : X → X ×S Y . It is the unique morphism satisfying
OX (U ) ⊗A OX (V ) → OX (U ∩ V )
Proposition 3.26.
(i) A morphism f : X → Y is separated (resp. proper) if and only if there
exists an open covering {Vi }i∈I of Y such that each f −1 (Vi ) → Vi is separated
(resp. proper).
(ii) Immersions are separated. Closed immersions are proper.
(iii) The composition of two separated morphisms (resp. proper morphisms)
is separated (resp. proper.)
(iv) Let f : X → Y and Y 0 → Y be morphisms and let f 0 : X ×Y Y 0 → Y 0
be the base change of f . If f is separated (resp. proper), then f 0 is separated
(resp. proper.)
f0
X ×Y Y 0 → Y0
↓ ↓
f
X → Y.
f ×f 0 f ×f 0
X ×S Y → X 0 ×S Y 0 X ×S Y → X 0 ×S Y 0
↓ ↓ ↓ ↓
f f0
X → X 0, Y → Y 0.
Sketch of the Proof. We leave to the reader to prove (i) and the assertions
about properness.
(ii) Let X → Y be an immersion. Using the fact that it is a monomorphism
in the category of S-schemes, one can show X ×Y X ∼= X and ∆ : X → X ×Y X
can be identified with idX . Hence ∆ is a closed immersion and X is separated
over Y .
(iii) Let X → Y and Y → Z be two morphisms. By Proposition 3.24, we
have a cartesian diagram
X ×Y X → X ×Z X
↓ ↓
∆Y /Z
Y → Y ×Z Y.
diagram
∆X/Y
X → X ×Y X
∆X/Z & ↓
X ×Z X
If X → Y is also separated, then ∆X/Z is a closed immersion since it is the
composition of two closed immersions ∆X/Y and X ×Y X → X ×Z X. Hence
X → Z is separated.
(iv) Let X 0 = X ×Y Y 0 . We have a cartesian diagram
∆X 0 /Y 0
X0 → X 0 ×Y 0 X 0
↓ ↓
∆X/Y
X → X ×Y X.
X ×S Y 0 → X
f × idY 0 ↓ ↓f
Y ×S Y 0 → Y
Consider the ring Z[x0 , . . . , xn ] with the grading defined by the degrees of
polynomials. Denote ProjZ[x0 , . . . , xn ] by PnZ . For any scheme Y , define the
projective space over Y to be the Y -scheme PnY = PnZ × Y . We say a morphism
f : X → Y is projective or X is projective over Y if f can be factorized as
X → PnY → Y
Proof. Taking into account of Proposition 3.26 (ii), (iii) and (iv), it suffices to
show PnZ → SpecZ is of finite type, separated, and universally closed.
46 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
∆−1 (p−1 (D+ (xi )) ∩ q −1 (D+ (xj ))) = D+ (xi ) ∩ D+ (xj ) = D+ (xi xj )
∼
= SpecZ[x0 , . . . , xn ](xi xj ) ,
p−1 (D+ (xi )) ∩ q −1 (D+ (xj )) ∼ = D+ (xi ) × D+ (xj )
∼
= Spec(Z[x 0 , . . . , x ]
n (x ) ⊗ Z Z[x0 , . . . , xn ](x ) ).
i j
p ∈ imf
⇔ for any natural number N, there exists a k ≥ N such that AnnA (Sk ) ⊂ p
⇔ for any natural number N, we have AnnA (SN ) ⊂ p
⇔ ∪N AnnA (SN ) ⊂ p.
1.3. PROPERTIES OF SCHEMES AND MORPHISMS 47
Proposition 3.29.
(i) Closed immersions are projective.
(ii) The composition of projective morphisms is projective.
(iii) Let f : X → Y and Y 0 → Y be morphisms and let f 0 : X ×Y Y 0 → Y 0
be the base change of f . If f is projective, then f 0 is projective.
(iv) Let f : X → Y and f 0 : X 0 → Y 0 be projective S-morphisms between
S-schemes. Then f × f 0 : X ×S X 0 → Y ×S Y 0 is projective.
(v) Let f : X → Y and g : Y → Z be morphisms. If gf is projective and g
is separated, then f is projective.
Proof. We only give the proof of (iii) and leave the rest to the reader. Let
f : X → Y and g : Y → S be projective morphisms. Then we have factorizations
X → Pm
Y →Y
n
Y → PS → S
such that X → Pm n
Y and Y → PS are closed immersions. Consider the following
diagram
X → Pm Y → Pm n
S ×S PS
& ↓ ↓
Y → PnS
& ↓
S.
Note that the square in the above diagram is cartesian since
(Pm n
S ×S PS ) ×Pn
S
Y ∼
= Pm ∼ m
S ×S Y = PY .
Proof. We treat the case S = SpecZ. The general case follows from this case
by base change. We have
Pm
Z = ProjZ[xi ], (i = 0, . . . , m),
PnZ = ProjZ[yj ], (j = 0, . . . , n),
(m+1)(n+1)−1
PZ = ProjZ[zij ], (i = 0, . . . , m, j = 0, . . . , n).
(m+1)(n+1)−1
The closed immersion Pm n
S ×S PS → PS constructed in the proof
of Lemma 3.30 is called the Segre embedding.
Let (I, ≤) be a direct set. For any direct system (Fi , φij )i∈I of OX -modules,
its direct limit in the category of OX -modules is the sheaf associated to the
presheaf
U 7→ dir. lim Fi (U ).
i
If X is a noetherian topological space, then this presheaf is a sheaf. If (Fi , φji )i∈I
is an inverse system of OX -modules, then its inverse limit in the category of OX -
modules is the sheaf
U 7→ inv. lim Fi (U ).
i
Proposition 4.1. Let (X, OX ) be a ringed space and let F and G be two
OX -modules.
(i) If F is locally of finite presentation, then for any P ∈ X, we have
Proof. (i) We define (HomOX (F, G))P → HomOX,P (FP , GP ) in the obvious
way. To prove our assertion, we may assume F has finite presentation. Let
m n
OX → OX →F →0
1.4. COHERENT SHEAVES 51
The last two vertical arrows are obviously isomorphisms. So the first vertical
arrow is also an isomorphism.
(ii) φP is an element in HomOX,P (FP , GP ). By (i), there exists a neighbor-
hood U of P and a morphism φ : F|U → G|U which induces the homomorphism
φP on stalks. Let ψP : GP → FP be the inverse of φP . Shrinking U if necessary,
we may find a morphism ψ : G|U → G|U which induces the homomorphism ψP
on stalks. Since ψP φP = idFP and φP ψP = idGP , shrinking U if necessary, we
have ψφ = idF |U and φψ = idG|U . Hence φ is an isomorphism.
f ∗ G = OX ⊗f −1 OY f −1 G.
HomOY (G, f∗ F) ∼
= HomOX (f ∗ G, F)
which is functorial with respect to F and G. This show that f ∗ is left adjoint
to f∗ . For any P ∈ X, we have
that is,
(f ∗ G)P = OX,P ⊗OY,f (P ) Gf (P ) .
Proposition 4.2.
(i) (M ∼ )p ∼ = Mp for any p ∈ SpecA.
(ii) M ∼ (D(f )) ∼ = Mf for any f ∈ A. In particular, taking f = 1, we
get M ∼ (SpecA) ∼ = M . Moreover, through the isomorphism D(f ) ∼
= SpecAf ,
M ∼ |D(f ) is identified with Mf∼ .
(iii) A sequence of A-modules
M 0 → M → M 00
M 0∼ → M ∼ → M 00∼
is exact.
(iv) For any A-modules M and N , we have
HomOSpecA (M ∼ , N ∼ ) ∼
= HomA (M, N ),
M ∼ ⊗OSpecA N ∼ ∼
= (M ⊗A N )∼ .
HomOSpecA (M ∼ , N ∼ ) ∼
= (HomA (M, N ))∼ .
⊕i Mi∼ ∼
= (⊕i Mi )∼ .
(vi) For any direct system (Mi , φij )i∈I of A-modules, we have
Proof. We only prove (iv) and leave to the reader to prove the rest. Define
for any p ∈ U . We thus get a morphism β(φ) : M ∼ → N ∼ . One can verify that
α and β are inverse to each other. So
HomOSpecA (M ∼ , N ∼ ) ∼
= HomA (M, N ).
Define a morphism
γ : M ∼ ⊗OSpec A N ∼ → (M ⊗A N )∼
U 7→ M ∼ (U ) ⊗OSpecA (U ) N ∼ (U ),
∼
` a morphism from this presheaf to`(M ⊗A N ) . For any
it suffices to define
sections s : U 7→ p∈SpecA Mp in M ∼ (U ) and t : U 7→ p∈SpecA Np in N ∼ (U ),
define a section γ(s ⊗ t) : U 7→ p∈SpecA (M ⊗A N )p in (M ⊗A N )∼ (U ) so
`
that for any p ∈ U , γ(s ⊗ t)(p) is the image of s(p) ⊗ t(p) under the canonical
isomorphism
Mp ⊗Ap Np ∼ = (M ⊗A N )p .
One can verify that the homomorphism induced by γ on stalks at p is this
canonical isomorphism. So γ is an isomorphism.
For any p ∈ SpecA, we have a canonical homomorphism
Am → An → M → 0
Define a homomorphism
`
p ∈ U . We define a map δ(φ) : U → p∈SpecA (HomA (M, N ))p so that for
any p ∈ U , (δ(φ))(p) is the image of φp : Mp → Np under the canonical
isomorphism HomAp (Mp , Np ) ∼= (HomA (M, N ))p . We claim δ(φ) is a section
∼
in (HomA (M, N )) (U ). To see this, we cover U by open subsets of the form
D(f ) for some f ∈ A. Then φ|D(f ) is a section in HomOSpecA (M ∼ , N ∼ )(D(f )).
But we have
for any q ∈ f −1 (U ), (α(s))(q) is the image of s(φ−1 (q)) under the canonical
homomorphism
n n
(A N )φ−1 (q) → Nq , → .
s φ(s)
To prove α is an isomorphism, it suffices to show that for any a ∈ A, the
α
homomorphism (A N )∼ (D(a)) → (f∗ N ∼ )(D(a)) is an isomorphism. We have
(A N )∼ (D(a)) = (A N )a ,
(f∗ N ∼ )(D(a)) = N ∼ (f −1 (D(a)) = N ∼ (D(φ(a))) = Nφ(a) .
is an isomorphism.
(ii) The A-module homomorphism
M →A (B ⊗A M ), m 7→ 1 ⊗ m
1.4. COHERENT SHEAVES 55
induces a morphism
M ∼ → (A (B ⊗A M ))∼ ∼
= f∗ (B ⊗A M )∼ .
f ∗ M ∼ → (B ⊗A M )∼ .
Lemma 4.4. Let F a quasi-coherent sheaf on an affine scheme SpecA and let
f ∈ A.
(i) For any section s ∈ F(SpecA) such that s|D(f ) = 0, there exists a natural
number n such that f n s = 0.
(ii) For any section t ∈ F(D(f )), there exists a natural number n such that
f n t can be extended to a section in F(SpecA).
(iii) Let M = F(X). Then Mf ∼ = F(D(f )).
Suppose s ∈ F(SpecA) such that s|D(f ) = 0. Then for each i, s|Ui lies in the
kernel of the restriction F(Ui ) → F(D(f ) ∩ Ui ). This restriction coincides with
the canonical homomorphism Mi → (Mi )fi . Since every element in the kernel
of Mi → (Mi )fi is annihilated by some power of fi , we have fini s|Ui = 0 for
some natural number ni . Since the covering {Ui }i∈I is a finite covering, there
exists a natural number n such that fin s|Ui = 0 for every i. Hence f n s = 0.
This proves (i).
56 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
Suppose t ∈ F(D(f )). Then t|D(f )∩Ui ∈ F(D(f ) ∩ Ui ). Since the restriction
F(Ui ) → F(D(f ) ∩ Ui ) coincides with the canonical homomorphism Mi →
(Mi )fi , there exists a natural number n such that fin t|D(f )∩Ui can be extended
to a section ti in F(Ui ) for any i. Note that
s 1
φ(D(f )) : M ∼ (D(f )) = Mf → F(D(f )), 7→ n s|D(f ) ,
fn f
where the second arrow is defined by s 7→ (s|D(fi ) ) and the third arrow is defined
by (si ) 7→ (sj |D(fi )∩D(fj ) − si |D(fi )∩D(fj ) ). We have a similar exact sequence for
M ∼ . We define φ(V ) so that the following diagram commutes:
0 → M ∼ (V ) → ∼ ∼
Q Q
i∈I M (D(fi )) → i,j∈I M (D(fi ) ∩ D(fj ))
φ(V ) ↓ Q ↓ Q ↓
0 → F(V ) → i∈I F(D(fi )) → i,j∈I F(D(fi ) ∩ D(fj )),
where the second and the third vertical arrows are induced by φ(D(fi )) and
φ(D(fi fj )), respectively. One can verify that φ(V ) is independent of the choice
of the open covering of V . (If {D(fi )}i∈I and {D(fj )}j∈J are two coverings of
1.4. COHERENT SHEAVES 57
V , then the φ(V )’s defined by both coverings coincide with the φ(V ) defined by
the covering D(fi fj ) (i ∈ I, j ∈ J).)
Suppose A is noetherian and F is coherent. Then we may cover SpecA by
finitely many affine open subschemes Ui = SpecAi (i ∈ I) such that we have
F|Ui ∼ = Mi∼ for some finitely generated Ai -modules Mi . Cover each Ui by
finitely many open subsets D(fij ) (j ∈ Ji ) for some fij ∈ A. Denote the image
0
of each fij under the restriction OX (SpecA) = A → OX (Ui ) = Ai by fij . Then
we have
F(D(fij )) ∼
= Mfij ,
F(D(fij )) ∼ 0
= F|Ui (D(fij )) ∼
= Mi∼ (D(fij
0
)) ∼
= (Mi )fij0 .
0 → kerφ → F → P → 0
splits. So P is a direct factor of a free module. Conversely, one can show any
direct factor of a free module is projective.
of OSpecA -modules. Since M ∼ is locally free and its rank is necessarily finite,
the sequence
∼
HomOSpecA (M ∼ , N ∼ ) → HomOSpecA (M ∼ , N 0 ) → 0
is exact. (To see this, we may work locally and hence assume M ∼ is free with
finite rank. The assertion is then obvious.) So by Proposition 4.2 (iv), the
following sequence is exact:
Lemma 4.8. Let A be a local ring and M an A-module with finite presentation.
Then M is projective if and only if M is free.
1.4. COHERENT SHEAVES 59
0 → R → An → M → 0
So f ∗ G is quasi-coherent.
(ii) If X and Y are noetherian and G is coherent, then M is a finitely gener-
ated A-module and hence each Bi ⊗A Mi is a finitely generated Bi -module. So
f ∗ G is coherent.
(iii) If f is quasi-compact and quasi-separated, then we can cover X by
finitely many affine open subscheme Ui (i ∈ I), and by Proposition 3.25 (ii), each
Ui ∩ Uj can be covered by finitely many affine open subschemes Uijk (k ∈ Kij ).
Denote by fijk the morphism Uijk → Y induced by f . For any open subset V
of Y , we have an exact sequence,
Y Y
0 → F(f −1 (V )) → F(f −1 (V ) ∩ Ui ) → F(f −1 (V ) ∩ Uijk ),
i∈I i,j∈I,k∈Kij
where the second arrow is defined by s 7→ (s|f −1 (V )∩Ui ) and the third arrow
is defined by (si ) →
7 (sj |f −1 (V )∩Uijk − si |f −1 (V )∩Uijk ). So we have an exact
60 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
sequence Y Y
0 → f∗ F → fi ∗ (F|Ui ) → fijk ∗ (F|Uijk ).
i∈I i,j∈I,k∈Jij
Q Q
By Proposition 4.2 (v) and 4.3 (i), i∈I fi ∗ (F|Ui ) and i,j∈I,k∈Jij fijk ∗ (F|Uijk )
are quasi-coherent. Hence f∗ F is quasi-coherent.
Q ↓ Q ↓
Homf∗ OX (f∗ F, f∗ G)(Vi ) → Homf∗ OX (f∗ F, f∗ G)(Vijk ),
i∈I i,j∈I,k∈Kij
(ii) The “only if” part is obvious. Let’s prove the “if” part. Suppose f∗ φ :
f∗ F → f∗ G is an isomorphism. By (i), there exists a morphism ψ : G → F such
that f∗ ψ is the inverse of f∗ φ. We have
HomS (X, Y ) ∼
= HomOS (g∗ OY , f∗ OX ),
where the left-hand side is the set of S-morphisms from X to Y , and the right-
hand side is the set of morphisms of sheaves of OS -algebras from g∗ OY to f∗ OX .
Proof. Define
g∗ (h] )
g∗ OY → g∗ h∗ OX = f∗ OX .
Fix a covering {Vi }i∈I of S by affine open subschemes. Then each g −1 (Vi ) is
affine. So by Proposition 2.8, we have
HomVi (f −1 (Vi ), g −1 (Vi )) = HomOS (Vi ) (OY (g −1 (Vi )), OX (f −1 (Vi ))).
Define a map
G : HomOS (g∗ OY , f∗ OX ) → HomS (X, Y )
as follows: Given a morphism φ : g∗ OY → f∗ OX of OS -algebras, for each i,
define hi : f −1 (Vi ) → g −1 (Vi ) to be the Vi -morphism corresponding to the
OS (Vi )-algebra homomorphism
φ
OY (g −1 (Vi )) = (g∗ OY )(Vi ) → (f∗ OX )(Vi ) = OX (f −1 (Vi )).
One can verify hi |f −1 (Vi )∩f −1 (Vj ) = hj |f −1 (Vi )∩f −1 (Vj ) . So we can glue hi to-
gether to get an S-morphism h : X → Y . Define G(φ) = h. One can verify that
F and G are inverse to each other.
fi−1 (Vi ∩ Vj ) ∼
= fj−1 (Vi ∩ Vj )
as schemes over Vi ∩ Vj , and by Proposition 4.10 we have
Fi0 |f −1 (Vi ∩Vj ) ∼
= Fj0 |fj−1 (Vi ∩Vj ) .
i
We leave to the reader to show that these isomorphisms define glueing data for
Xi and Fi0 . Glueing them together, we get X and F 0 with the required property.
f ∗ J → f ∗ OY ∼
= OX .
f ∗ J ⊗OX F → f ∗ OY ⊗OX F ∼
= F.
Obviously, we have
J F = (J OX )F.
0 → J → OY → OY /J → 0
0 → f −1 J → f −1 OY → f −1 (OY /J ) → 0.
that is,
F ⊗OX f ∗ J → F → F ⊗OX f ∗ (OY /J ) → 0.
This implies that
F/J F ∼
= F ⊗OX f ∗ (OY /J ).
OX such that suppF ⊂ supp(OX /I), there exists a natural number n such that
I n F = 0.
Proposition 4.15. Let X be a scheme. The ideal sheaf of any closed immersion
into X is quasi-coherent. Conversely for any quasi-coherent sheaf of ideals I of
OX , the ringed space (supp(OX /I), (OX /I)|supp(OX /I) ) is a scheme, and the
pair (i, i] ) consisting of the inclusion i : supp(OX /I) → X and the canonical
morphism i] : OX → i∗ i−1 (OX /I) = i∗ ((OX /I)|supp(OX /I) ) is a closed immer-
sion with ideal sheaf I. Moreover, any two closed immersions into X with ideal
sheaf I are isomorphic.
Note that Proposition 4.15 gives another proof of Proposition 3.16 (ii).
1.4. COHERENT SHEAVES 65
Ai [x1 , . . . , xm ] → Bij , xk 7→ bk
U → P
↓ ↓
Ui → Pi ,
where the top horizontal arrow is the morphism U → P whose composition with
each projection P → Pk is equal to the composition U → Uk → Pk . Since the
image of U in X 0 is dense, the diagram
X 0 ∩ (Ui ×S P ) → P
↓ ↓
Ui → Pi ,
g0
form an open covering of X 0 , it suffices to show each X 0 ∩ (X ×S Wi ) → Wi is
a closed immersion.
Consider the morphism defined by the composition Wi → Ui → X, where
the first arrow is induced by the projection P → Pi . Let Wi → X ×S Wi be the
graph of this morphism. It is a closed immersion. Let U → P be the morphism
whose composition with each projection P → Pi is equal to U → Ui → Pi . The
image of U → P is contained in Wi and hence it induces a morphism U → Wi .
The image of U → X ×S P is contained in X ×S Wi and hence it induces a
morphism U → X ×S Wi . Moreover, we have a commutative diagram
Wi
% ↓
U → X ×S Wi .
But X 0 ∩ (X ×S Wi ) → X ×S Wi is the scheme theoretic image of U → X ×S Wi .
Therefore X 0 ∩ (X ×S Wi ) → X ×S Wi factorizes through the closed immersion
Wi → X ×S Wi :
Wi
θ% ↓
X 0 ∩ (X ×S Wi ) → X ×S Wi .
θ
Note that X 0 ∩ (X ×S Wi ) → Wi is necessarily a closed immersion. Consider
the commutative diagram
Wi
θ% ↓
X 0 ∩ (X ×S Wi ) → X ×S Wi
g0 & ↓
Wi .
Since the composition of the vertical arrows in this diagram is identity, the
g0
morphism X 0 ∩ (X ×S Wi ) → Wi coincides with θ and hence g 0 is a closed
immersion. This proves our assertion.
∞
L
Let S = Sd be a graded ring. A graded S-module is an S-module M
d=0
∞
L
together with a decomposition M = Mi of abelian groups such that
i=−∞
Sd Mi ⊂ Md+i . Elements in Mi are called homogeneous of degree i. For any
integer n, define M (n) to be the graded S-module whose underlying S-module
is M and whose grading is defined by (M (n))d = Md+n . For any homogeneous
prime ideal p of S, define M(p) to be the S(p) -module
m
M( p ) = { ∈ Mp |m ∈ M and t ∈ S−p are homogeneous of the same degree }.
t
For any homogeneous element f in S, define M(f ) to be the S(f ) -module
m
M(f ) = { ∈ Mf |k ∈ N and m ∈ M is homogeneous of degree kdegf }.
fk
1.4. COHERENT SHEAVES 69
We leave to the reader to prove this proposition. We only explain the fact
that if S is noetherian and M is finitely generated, then M(f ) is noetherian
for any homogeneous element f in S. Let N1 ⊂ N2 ⊂ · · · be an ascending
chain of submodules of M(f ) . For each i, let Sf Ni be the submodule of Mf
generated by Ni . Then we have Sf N1 ⊂ Sf N2 ⊂ · · ·. Since Mf is noetherian,
we have Sf Nn = Sf Nn+1 = · · · for large n. We have Sf Ni ∩ M(f ) = Ni . So
Nn = Nn+1 = · · ·. Hence M(f ) is noetherian.
For any integer n, define OProjS (n) = S(n)∼ . We call OProjS (1) the twisting
sheaf. For any OProjS -module F, define F(n) = F ⊗OProjS OProjS (n).
Let M and N be graded S-modules. We define a graded S-module M ⊗S N
as follows: We have
M M M M
M ⊗Z N = Md ⊗Z Ne = Md ⊗Z Ne .
d e n d+e=n
Hence
f ∗ M ∼ = (T ⊗S M )∼ |U ,
f∗ (N ∼ |U ) = (S N )∼ ,
φ : M ∼ ⊗OProjS N ∼ → (M ⊗S N )∼
U 7→ M ∼ (U ) ⊗OProjS (U ) N ∼ (U ),
∼
it suffices to define`a morphism from this presheaf to (M ⊗` S N ) . For any
∼
sections s : U → p∈ProjS M(p) of M (U ) and t : U → p∈ProjS N(p) of
N ∼ (U ), define a section φ(s ⊗ t) : U → p∈ProjS (M ⊗S N )(p) of (M ⊗S N )∼ (U )
`
so that for any p ∈ U , φ(s ⊗ t)(p) is the image of s(p) ⊗ t(p) under the canonical
homomorphism
M(p) ⊗S(p) N(p) → (M ⊗S N )(p) .
1.4. COHERENT SHEAVES 71
α : (S N )∼ → f∗ (N ∼ |U )
that for any q ∈ f −1 (V ), (α(s))(q) is the image of s(φ−1 (q)) under the canonical
homomorphism
n n
(A N )(φ−1 (q)) → N(q) , → .
s φ(s)
72 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
Our assertion follows from the fact that the canonical homomorphism
n n
(S N )(a) → N(φ(a)) , k
7→
a φ(a)k
is an isomorphism.
For any S-module M , the S-module homomorphism
M →S (T ⊗S M ), m 7→ 1 ⊗ m
induces a morphism
M ∼ → (S (T ⊗S M ))∼ = f∗ ((T ⊗S M )∼ |U ).
β : f ∗ M ∼ → (T ⊗S M )∼ |U .
(f ∗ M ∼ )|D+ (φ(a)) ∼
= (f |D+ (φ(a)) )∗ (M ∼ |D+ (a) ) ∼
= (f |SpecT(φ(a)) )∗ (M(a)
∼
)
∼
= (T(φ(a)) ⊗S(a) M(a) ) ,
(T ⊗S M )∼ |D+ (φ(a)) = (T ⊗S M )(φ(a)) .
We leave to the reader to prove the following lemma: (Confer the proof of
Proposition 3.9 (iii) and Lemma 4.4.)
Proof. Denote ProjS by X and OProjS (n) by O(n). For any homogeneous
element f in S of degree d, define
where in each row, the second horizontal arrow is defined by s 7→ (s|D(fi ) ) and
the third horizontal arrow is defined by (si ) 7→ (sj |D(fi )∩D(fj ) − si |D(fi )∩D(fj ) ).
One can verify φ(U ) is independent of the choice of the open covering {D(fi )}i∈I .
Lemma 4.23. Let S be the ring A[x0 , . . . , xm ] with the grading defined by the
degrees of polynomials. We have Γ∗ (OProjS ) ∼= S.
74 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
where the second arrow is defined by s 7→ (s|D+ (xi ) ) and the third arrow is
defined by (si ) 7→ (sj |D+ (xi )∩D+ (xj ) − si |D+ (xi )∩D+ (xj ) ). Taking the direct sum
over all integers n, we get an exact sequence
m
Y m
Y
0 → Γ∗ (OProjS ) → A[x0 , . . . , xm ]xi → A[x0 , . . . , xm ]xi xj .
i=0 i,j=0
xk00 · · · xkmm f,
Corollary 4.24.
(i) Let X be a closed subscheme of Pm A = ProjA[x0 , . . . , xm ]. Then X is iso-
morphic to ProjA[x0 , . . . , xm ]/a for some homogeneous ideal a of A[x0 , . . . , xm ].
(ii) A scheme X over SpecA is projective if and only it is isomorphic to
ProjS for some graded ring S such that S0 = A and S is finitely generated by
S1 as an S0 -algebra.
Γ∗ (I) ⊂ Γ∗ (OPm
A
)∼
= A[x0 , . . . , xm ],
(ii) We leave to the reader to prove the “if” part. Let’s prove the “only if”
part. Suppose X is projective over SpecA. The morphism X → SpecA can be
factorized as X → Pm A → SpecA such that the first arrow is a closed immersion.
By (i), X is isomorphic to ProjA[x0 , . . . , xm ]/a for some homogeneous ideal a.
Let a0 = a ∩ (x0 , . . . , xm ). One can show
ProjA[x0 , . . . , xm ]/a ∼
= ProjA[x0 , . . . , xm ]/a0 .
Proposition 4.25. (Serre) Let X be a scheme proper over SpecA for some
noetherian ring A, let OX (1) be an invertible OX -module very ample over
SpecA, and let F be a coherent OX -module. Then there exists a natural number
N such that for any n ≥ N , the OX -module F(n) = F ⊗OX OX (1)⊗n can be
generated by finitely many global sections, that is, there exists an epimorphism
m
OX → F(n)
∗
Proof. Let i : X → Pm A be an immersion such that i (OPA (1)) = OX (1).
m
Since X is proper over SpecA, i is proper by Proposition 3.26 (vi) and hence
is a closed immersion. We have i∗ (F(n)) ∼ = (i∗ F)(n) by Lemma 4.26 below.
Moreover, for any P ∈ X, we have F(n)P ∼ = (i∗ (F(n)))i(P ) . To prove our
assertion, it suffices to show (i∗ F)(n) can generated by finitely many global
sections for large n. So we may assume X = Pm A . For each i, let Mi be a finitely
generated A[x0 , . . . , xm ](xi ) -module such that F|D+ (xi ) ∼
= Mi∼ . Let {sij } be a
76 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
finite family of generators for Mi . Then by Lemma 4.21, there exists a natural
number N such that for any n ≥ N , each section sij ⊗ xni ∈ F(n)(D+ (xi )) can
be extended to a global section tij ∈ F(n)(PmA ). Note that {tij } generate F(n).
f∗ F ⊗OY G ∼
= f∗ (F ⊗OX f ∗ G).
f∗ F ⊗OY f∗ F 0 → f∗ (F ⊗OX F 0 )
f∗ F ⊗OY G → f∗ (F ⊗OX f ∗ G)
to be the composition
The main part of this section is used only in the last section of this book.
Let (Mn , φmn )n∈N be an inverse system of sets. We say it satisfies the
Mittag-Leffler condition if for any n, there exists a natural number n0 such that
for any m ≥ n + n0 , we have
φn+n0 ,n φmn
im(Mn+n0 → Mn ) = im(Mm → Mn ).
Suppose (Mn , φmn )n∈N satisfies the Mittag-Leffler condition and each Mn is
nonempty. Let Mn0 = ∩m≥n imφmn . Then (Mn0 )n∈N is an inverse system of
0 φmn
nonempty sets and inv. limn Mn0 ∼ = inv. limn Mn . Moreover each Mm → Mn0 is
0
surjective. This implies inv. limn Mn 6= ∅.
Note that if each φmn is surjective, then (Mn , φmn )n∈N satisfies the Mittag-
Leffler condition. If (Mn , φmn )n∈N is an inverse system of A-modules and each
Mn has finite length, then (Mn )n∈N satisfies the Mittag-Leffler condition. In-
deed, for each n, the descending chain
is stationary.
Proposition 5.1. Let (Mn0 , φ0mn )n∈N , (Mn0 , φmn )n∈N and (Mn00 , φ00mn )n∈N be
un vn
inverse systems of abelian groups and let (Mn0 → Mn )n∈N and (Mn → Mn00 )n∈N
be morphisms of inverse systems such that for each n, the sequence
u v
0 → Mn0 →
n n
Mn → Mn00 → 0
is exact. If (Mn0 )n∈N satisfies the Mittag-Leffler condition, then the sequence
is exact.
Proof. Only the surjectivity of inv. limn Mn → inv. limn Mn00 is nontrivial.
Given (x00n ) ∈ inv. limn Mn00 , let Nn = vn−1 (x00n ). Then (Nn , φmn )n∈N is an
inverse system of sets. Since each vn is surjective, each Nn is nonempty. We
claim (Nn )n∈N satisfies the Mittag-Leffler condition. Then inv. limn Nn 6= ∅
by the discussion at the beginning of this section. Any element in inv. limn Nn
lies in inv. limn Mn and is mapped to (x00n ). This proves the surjectivity of
inv. limn Mn → inv. limn Mn00 . Let’s prove our claim. Given n, since (Mn0 )n∈N
satisfies the Mittag-Leffler condition, we can find a natural number n0 such that
for any m ≥ n + n0 , we have
φ0n+n ,n φ0
0
im(Mn+n 0
→0 Mn0 ) = im(Mm
0 mn
→ Mn0 ).
form an isomorphism between the inverse systems of sets (Mk0 )n≤k≤m and
(Nk )n≤k≤m . So we have
φn+n0 ,n φmn
im(Nn+n0 → Nn ) = im(Nm → Nn ).
This is true for any m ≥ n + n0 . So (Nn )n∈N satisfies the Mittag-Leffler condi-
tion.
M = M0 ⊃ M 1 ⊃ M 2 ⊃ · · ·
M = M0 ⊃ M1 ⊃ M2 ⊃ · · ·
∞
I n . Suppose each Mn is a finitely
L
an I-filtration of M , and S the graded ring
n=0
generated A-module. Then the filtration is I-stable if and only if the graded
∞
L
S-module Mn is finitely generated.
n=0
N ⊃ N ∩ IM ⊃ N ∩ I 2 M ⊃ · · ·
∞
I n is noetherian. Indeed, if r1 , . . . , rk is a
L
Proof. The graded ring S =
n=0
family of generators for the ideal I, then the homomorphism of A-algebras
A[x1 , . . . , xk ] → S, xi 7→ ri ∈ S1
1.5. FORMAL COMPLETIONS OF SCHEMES AND SHEAVES 79
is surjective. Our assertion then follows from the fact that A[x1 , . . . , xk ] is
noetherian. Obviously
N ⊃ N ∩ IM ⊃ N ∩ I 2 M ⊃ · · ·
is an I-filtration of N . Since
M ⊃ IM ⊃ I 2 M ⊃ · · ·
∞
I n M is finitely generated.
L
is an I-stable filtration of M , the graded S-module
n=0
∞
(N ∩I n M ) is also finitely generated. Hence by Proposition
L
So its submodule
n=0
5.2, the filtration
N ⊃ N ∩ IM ⊃ N ∩ I 2 M ⊃ · · ·
of N is I-stable.
A → A.
b
M →M
c
which is compatible with the module structures and the ring homomorphism
A → A.
b M is called I-adically complete if M → M
c is an isomorphism.
0 → M 0 → M → M 00 → 0
is exact.
0 → M 0 /M 0 ∩ I n M → M/I n M → M 00 /I n M 00 → 0.
80 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
b ⊗A M → M
A c.
The first row is exact since the functor A b ⊗A − is right exact. The second
row is exact by Proposition 5.4. The first two vertical arrows are obviously
isomorphisms. So the last vertical arrow is also an isomorphism.
Jcn ∼
=Ab ⊗A J n ∼
= J nA bn∼
b = (J A) = Jbn .
0 → Jb → A
b
1.5. FORMAL COMPLETIONS OF SCHEMES AND SHEAVES 81
0 → I n → I m → I m /I n → 0.
n → Ic
0 → Ic m → I\
m /I n → 0
is exact. Using the definition of the I-adic completion, one can show
m /I n ∼
I\ = I m /I n .
n ⊂ Ic
So Ic m and Ic
m /I
c n ∼
= I m /I n . Taking m = 0, we get
A/ n ∼
b Ic = A/I n .
b ⊗A J n → A
is exact. In particular, the canonical homomorphism A b is injective.
n b
Its image is J A. So we have
b ⊗A J n ∼
A = J n A.
b
Proof. We have
b = inv. lim A/I n ∼
A b Ibn .
= inv. lim A/
n n
So Ab is I-adically
b complete. For any x ∈ Ib and any a ∈ A,
b consider the formal
series
1 + rx + (rx)2 + · · · .
b Ibn makes sense since it is the finite sum
Note that its image in each A/
1 + rx + (rx)2 + · · · + (rx)n−1 .
(1 − rx)(1 + rx + (rx)2 + · · ·) = 1
82 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
∞
I n M = 0.
T
If I ⊂ rad(A), then
n=1
∞
c) = T I n M . We have N ∩ I n M = N for any n. By
Let N = ker(M → M
n=1
Corollary 5.3, we must have IN = N . Let x1 , . . . , xk be a finite family of
generators of N . Then we can write
X
xi = aij xj
j
for some aij ∈ I. Let P be the matrix (aij ) and E the identity matrix. Then
we have
x1
(E − P ) ... = 0.
xk
Let (E − P )∗ be the adjoint matrix of E − P . We have
x1
(E − P )∗ (E − P ) ... = 0,
xk
that is,
x1
det(I − P ) ... = 0.
xk
Since the entries of P lie in I, we have det(I − P ) = 1 + r for some r ∈ I. Then
∞
I nM .
T
have (1 + r)xi = 0 for each i and hence (1 + r)x = 0 for any x ∈ N =
n=1
Suppose furthermore that I ⊂ radA. Then 1 + r is a unit in A. Hence N = 0.
1.5. FORMAL COMPLETIONS OF SCHEMES AND SHEAVES 83
is surjective. Our assertion then follows from the fact that A/I[x1 , . . . , xm ] is
noetherian.
Let J be an ideal of A.
b We need to show it is finitely generated. Consider
the graded G(A)-module
b
∞
M
G(J) = J ∩ Ibn /J ∩ Ibn+1 .
n=0
φ : ⊕ki=1 A
bi → J, ei 7→ ai ,
φ((⊕ki=1 A
bi )n ) ⊂ J ∩ Ibn .
∞
M ∞
M
G(φ) : G(⊕ki=1 A
bi ) = (⊕ki=1 A
bi )n /(⊕ki=1 A
bi )n+1 → G(J) = J∩Ibn /J∩Ibn+1 .
n=0 n=0
Proposition 5.10. Let (An , φmn )n∈N be an inverse system of rings. For every
n, let In be the kernel of the homomorphism φn1 : An → A1 . Suppose the
following conditions hold:
n
(a) For any m ≥ n, φmn : Am → An is surjective with kernel Im . (In
m
particular, the kernel of φmm = idAm is Im = 0.)
(b) I2 /I22 = I2 is finitely generated as an A2 /I2 ∼= A1 -module.
Let A = inv. limn An . For each n, let φn : A → An be the canonical
homomorphism and let I (n) be its kernel. We have
(i) For any n, I (n) is finitely generated and I (n) = (I (1) )n .
(ii) A ∼ = inv. limn A/(I (1) )n .
(iii) I (1) /(I (1) )2 ∼
= I2 /I22 .
Proof. Note that (i) implies (ii) and (iii). Indeed, since each φmn is surjective,
each φn : A → An is also surjective. It induces an isomorphism
A/I (n) ∼
= An .
We have
A = inv. lim An ∼
= inv. lim A/I (n) ∼
= inv. lim A/(I (1) )n .
n n n
A/(I (1) )2 ∼
= A2
↓ ↓
A/I (1) ∼
= A1 .
1.5. FORMAL COMPLETIONS OF SCHEMES AND SHEAVES 85
The kernel of the first vertical arrow is I (1) /(I (1) )2 and the kernel of the second
vertical arrow is I2 = I2 /I22 . So I (1) /(I (1) )2 ∼
= I2 /I22 . This proves (iii).
Let’s prove (i). Let ai = (. . . , ai3 , ai2 , 0) (i = 1, . . . , k) be a finite family of
elements in A = inv. limn An such that ai2 generate I2 . Note that ai ∈ I (1) and
ain ∈ In . For each n, let Jn be the ideal of An generated by ain (i = 1, . . . , k).
Since φn2 : An → A2 (n ≥ 2) is surjective, we have
φn2 (In ) = I2 = J2 = φn2 (Jn ).
Since kerφn2 = In2 , this implies
In = Jn + In2 .
Combining with the fact that Inn = 0, we get
Inn−1 = Jnn−1 .
Let J (1) be the ideal of A generated by ai (i = 1, . . . , k). We claim that
I (n) = (J (1) )n .
Then (i) follows. Obviously, we have J (1) ⊂ I (1) and hence (J (1) )n ⊂ (I (1) )n .
Using the fact that Inn = 0, one can show (I (1) )n ⊂ I (n) . So we have (J (1) )n ⊂
I (n) . Given x = (. . . , xn+2 , xn+1 , 0, . . . , 0) ∈ I (n) , we have
n n
xn+1 ∈ kerφn+1,n = In+1 = Jn+1 .
So X
xn+1 = λi1 ...ik ,n+1 ai1,n+1
1
· · · aik,n+1
k
i1 +···+ik =n
for some λi1 ...ik ,n+1 ∈ An+1 . Choose λi1 ...ik ∈ A so that their images in An+1
are λi1 ...ik ,n+1 . Then
X
x− λi1 ...ik ai11 · · · aikk ∈ I (n+1) .
i1 +···+ik =n
Similarly, we can find λi1 ...ik ∈ A for any i1 + · · · + ik ≥ n such that for any
m ≥ 0, we have
X
x− λi1 ...ik ai11 · · · aikk ∈ I (n+m+1) .
n≤i1 +···ik ≤n+m
So X
x= λi1 ...ik ai11 · · · aikk .
i1 +···+ik ≥n
where the coefficients fi1 ...ik (a1 , . . . , ak ) are formal power series in a1 , . . . , ak
which give well-defined elements in A. Then we have
X
x= fi1 ...ik (a1 , . . . , ak )ai11 · · · aikk ∈ (J (1) )n .
i1 +···+ik =n
Mn = Nn + In Mn .
Inn−1 Mn = Inn−1 Nn .
we have
n n
zn+1 ∈ kerψn+1,n = In+1 Mn+1 = In+1 Nn+1 .
So we have
k
X
zn+1 = ri,n+1 zi,n+1
i=1
n (n+1)
for some ri,n+1 ∈ In+1 . Choose ri ∈ A so that their images in An+1 are
(n+1) (n)
ri,n+1 . Then we have ri ∈I and
k
(n+1)
X
z− ri zi ∈ M (n+1) .
i=1
(n+2)
By the same argument, we can find ri ∈ I (n+1) such that
k k
(n+1) (n+2)
X X
z− ri zi − ri zi ∈ M (n+2) .
i=1 i=1
(n+m)
Similarly, we can find ri ∈ I (n+m−1) (i = 1, . . . , k) for any m ≥ 1 such that
k
(n+1) (n+2) (n+m)
X
z− (ri + ri + · · · + ri )zi ∈ M (n+m) .
i=1
We then have
k X ∞
(n+m)
X
z= ( ri )zi ∈ I (n) N.
i=1 m=1
(n) (n)
So M ⊂I N . Obviously we have M (n) ⊃ I (n) N . Hence M (n) = I (n) N .
X
b = supp(OX /I)
(i, i] ) : (X,
b O b ) → (X, OX ),
X
be the closed subscheme of X with the ideal sheaf I n . Then Xn has the same
underlying topological space as X.b Let in : Xn → X and inm : Xn → Xm
(m ≥ n) be the canonical closed immersions. For each n, we have a canonical
morphism
în : (Xn , OXn ) → (X,
b O b ),
X
where în : Xn → X
b is identity, and
We have
Fb = inv. lim în∗ i∗n F
n
Proof. The problem is local. We may assume X = SpecA for some noetherian
ring A. Let I be the ideal of A corresponding to I. We have
b = supp(A/I)∼ = V (I).
X
We have
where A
cf is the If -adic completion of Af . So
OX,
b p = dir. lim Af .
c
f 6∈p
ring with maximal ideal dir. limf 6∈p pc f . Note that OX,p = dir. limf 6∈p Af and its
maximal ideal is dir. limf 6∈p pf . It is easy to see the canonical homomorphism
0 → F 0 → F → F 00 → 0,
the sequence
0 → Fb0 → Fb → Fb00 → 0
is exact.
b → X be the canonical morphism. For any coherent OX -module
(ii) Let i : X
F, we have a canonical isomorphism
i∗ F ∼
= F.
b
Fb ⊗OXc Gb ∼
= (F ⊗OX G)∧ ,
HomOXc (F, b ∼
b G) = (HomOX (F, G))∧ .
F(U
b ∩ X) b ∼
b = inv. lim(F/I n F)| b (U ∩ X) = inv. lim M/I n M = M
c,
n X n
where M b ∼
c is the I-adic completion of M . Similarly, we have Fb0 (U ∩ X) c0
=M
00 ∼ c00
and F = M . By Proposition 5.4, the sequence
b
0 → Fb0 (U ∩ X)
b → F(U b → Fb00 (U ∩ X)
b ∩ X) b →0
1.5. FORMAL COMPLETIONS OF SCHEMES AND SHEAVES 91
0 → Fb0 → Fb → Fb00 → 0
is exact.
(ii) The canonical morphism F → i∗ Fb induces a morphism i∗ F → F. Let’s
prove it is an isomorphism. This is a local question, so we may assume there
exists an exact sequence
m n
OX → OX → F → 0.
i∗ OXm
→ i∗ OXn
→ i∗ F → 0
↓ ↓ ↓
Obm → Obn → Fb → 0.
X X
The two rows are exact. Obviously the first two vertical arrows are isomor-
phisms, so the third vertical arrow is also an isomorphism.
(iii) The first equality follows from (ii) and the fact that
i∗ F ⊗i∗ OX i∗ G ∼
= i∗ (F ⊗OX G).
It induces a morphism
Let’s prove it is an isomorphism. We may work locally and assume there exists
an exact sequence
m n
OX → OX → F → 0.
Consider the commutative diagram
The two rows are exact and the last two vertical arrows are isomorphisms. So
the first vertical arrow is an isomorphism. Our assertion then follows from (ii).
Jcn ∼
= i∗ (J n ) ∼
= J n OXb ∼
= Jbn .
0 → J → OX .
0 → Jb → O
d X
0 → I n → I m → I n /I m → 0.
0 → Icn → Ic
m → I\
n /I m → 0
is exact. Using the definition of the formal completion, one can show
m /I n ∼
I\ = (I m /I n )|Xb .
cn ∼
m /I
Ic = (I m /I n )|Xb .
Taking m = 0, we get
OXb /Icn ∼
= (OX /I n )|Xb .
By Proposition 5.13 (i) and (ii), the canonical morphism
i∗ J n → i∗ OX ∼
= OXb
i∗ J n ∼
= J n OXb .
where all the arrows are the canonical morphisms. A coherent inverse system
(Fn , φmn )n∈N consists of an OXn -module Fn on Xn for each n and a morphism
φmn : Fm → inm∗ Fn for each pair m ≥ n such that the following conditions
hold:
(a) Each Fn is a coherent OXn -module.
(b) φnn = idFn for every n and imk∗ (φmn ) ◦ φkm = φkn for every triple
k ≥ m ≥ n.
(c) For every pair m ≥ n, φmn induces an isomorphism i∗nm Fm ∼ = Fn , that
is, Fm ⊗OXm OXn ∼ = Fn .
An OXb -module F is called coherent if
F∼
= inv. lim în∗ Fn
n
for any m ≥ n. So
Fb = inv. lim în∗ i∗n F
n
Proof. Each canonical morphism F = inv. limn în∗ Fn → în∗ Fn induces a mor-
phism
î∗n F → Fn .
1.5. FORMAL COMPLETIONS OF SCHEMES AND SHEAVES 95
Let’s show it is an isomorphism. It suffices to show that for any affine open
subscheme U = SpecA of X, the canonical homomorphism
F(U ∩ X)
b ⊗ b OXn (U ∩ Xn ) → Fn (U ∩ Xn )
O c(U ∩X)
X
M ⊗Ab A/I n ∼
= Mn .
But we have
F(U ∩ X)
b = inv. lim Fn (U ∩ Xn ) ∼
= inv. lim Mn ,
n n
OXb (U ∩ X)
b ∼
= A,
b
OXn (U ∩ Xn ) ∼
= A/I n ,
Fn (U ∩ Xn ) ∼
= Mn ,
so
F(U ∩ X)
b ⊗ ∼
b OXn (U ∩ Xn ) = Fn (U ∩ Xn ).
O c(U ∩X)
X
So φmn can be identified with the canonical morphism î∗m F → inm∗ î∗n F.
Corollary 5.18. Keep the above notations. Let F be an OXb -module and
let (Fn , φmn )n∈N be the inverse system defined by Fn = î∗n F for each n and
the canonical morphism φmn : î∗m F → inm∗ i∗nm î∗m F ∼
= inm∗ î∗n F for each pair
m ≥ n. Then F is a coherent OX -module if and only if each Fn is a coherent
OXn -module and F ∼ = inv. limn Fn .
96 CHAPTER 1. SCHEMES AND COHERENT SHEAVES
Proof. Obviously we have i∗nm Fm ∼ = Fn . The “if” part follows from the
definition of coherent OXb -modules. The “only if” part follows from Proposition
5.17.
Corollary 5.19. Notation as above. Let (Fn , φmn )n∈N and (Gn , ψmn )n∈N be
two coherent inverse systems and let F = inv. limn în∗ Fn and G = inv. limn în∗ Gn .
Then we have a bijection
HomOXc (F, G) ∼
= inv. lim HomOXn (Fn , Gn ).
n
Proof. Every element (un ) ∈ inv. limn HomOXn (Fn , Gn ) defines a family of
morphisms
în∗ (un ) : în∗ Fn → în∗ Gn .
Passing to inverse limit, we get a morphism
inv. lim în∗ (u) : inv. lim în∗ Fn → inv. lim în∗ Gn .
n n n
We define
S : inv. lim HomOXn (Fn , Gn ) → HomOXc (F, G), (un ) 7→ inv. lim în∗ (u).
n n
Any u ∈ HomOXc (F, G) induces a family of morphisms î∗n (u) : î∗n F → î∗n G.
By Proposition 5.17, this family can be identified with a family of morphisms
un : Fn → Gn . One can verify (un ) ∈ inv. lim HomOXn (Fn , Gn ). We define
Proof. Let F be a coherent OXb -module. Then F ∼ = inv. limn în∗ Fn for some
coherent inverse system (Fn , φmn )n∈N . On each Xn = SpecA/I n , we have
Fn ∼= Mn∼ for some finitely generated A/I n -module Mn . For every pair m ≥ n,
the morphism φmn : Fm → inm∗ Fn induces a homomorphism ψmn : Mm → Mn
which is compatible with the module structures and the ring homomorphism
A/I m → A/I n . Moreover, since φmn induces an isomorphism i∗nm Fm ∼ = Fn ,
ψmn is surjective with kernel I n Mn . Let M = inv. limn Mn . By Proposition
5.11, M is a finitely generated Ab = inv. limn A/I n -module and the canonical
homomorphism M → Mn induces an isomorphism M ⊗Ab A/I n ∼ = Mn . Since
1.5. FORMAL COMPLETIONS OF SCHEMES AND SHEAVES 97
that is, F ∼
= (M ∼ )∧ .
Proof. We only prove (ii). The proof of (i) is similar. Let K = kerφ and let
Kn = î∗n K for each n. By Corollary 5.18, we need to show each Kn is a coherent
OXn -module and K ∼ = inv. limn în∗ Kn . This is a local problem. We may assume
X = SpecA for some noetherian ring A. Let I be the ideal of A corresponding
to I. Note that replacing A and I by their I-adic completions A b and Ib doesn’t
change X and Xn and thus has no effect on K and Kn . Making this replacement,
b
we are reduced to the case where A is I-adically complete. By Proposition 5.20,
we have F ∼ = (M ∼ )∧ and G ∼ = (N ∼ )∧ for some finitely generated A-modules M
and N . By Corollary 5.19, the morphism u : F → G is induced by a compatible
family of homomorphisms un : M/I n M → N/I n N . Passing to inverse limit and
using the fact that M and N are necessarily I-adically complete (Proposition
5.5), we get a homomorphism û = inv. limn un : M → N . By Propositions 4.2
(iii) and 5.13 (i), the sequence
0 → ((kerû)∼ )∧ → (M ∼ )∧ → (N ∼ )∧
(ii) For any coherent OYb -module G, fˆ∗ G is a coherent OXb -module.
where the horizontal arrows are the canonical morphisms. Both G and f ∗ G are
coherent. By Proposition 5.13 (ii), we have Gb ∼ ∗G ∼
= i∗Y G and fd = i∗X f ∗ G. Our
∗ ∗ ∼ ˆ∗ ∗
assertion then follows from the fact that iX f G = f iY G.
(ii) By Corollary 5.18, proving fˆ∗ G is coherent is local problem. So we may
assume X = SpecB and Y = SpecA for some noetherian ring A and some
noetherian A-algebra B. Let I be the ideal of A corresponding to I. Replacing
A, I and B by their I-adic completions A, b Ib and B b doesn’t change X, b Yb
and fˆ. So we may assume A is I-adically complete. By Proposition 5.20, we
have G ∼ = (M ∼ )∧ for some finitely generated A-module M . By (i), we have
fˆ∗ ((M ∼ )∧ ) ∼
= (f ∗ M ∼ )∧ . So G ∼
= (f ∗ M ∼ )∧ is coherent.
Chapter 2
Cohomology
of morphisms in C such that di+1 di = 0 for each i. The morphisms di are called
the derivation operators of the complex. We often denote the above complex by
A· . If Ai is only specified for a certain range of i, say i ≥ 0, then we set Ai = 0
for all other i. Let A· and B · be two complexes. A morphism of complexes
f · : A· → B · consists of morphisms f i : Ai → B i (i ∈ Z) such that the diagram
di
Ai → Ai+1
i
f ↓ ↓ f i+1
di+1
Bi → B i+1
Z i (A· ) = kerdi ,
B i (A· ) = imdi−1 ,
H i (A· ) = Z i (A· )/B i (A· ).
f i − g i = hi+1 di + di−1 hi .
99
100 CHAPTER 2. COHOMOLOGY
A· → B · → C ·
is called exact if
Ai → B i → C i
is exact for each i. Given a short exact sequence
0 → A· → B · → C · → 0,
It is called the long exact sequence of cohomology objects associated to the above
short exact sequence of complexes.
An additive covariant functor F : C → D between abelian categories is called
left exact if for any exact sequence
0→A→B→C→0
in C, the sequence
0 → F (A) → F (B) → F (C)
is exact. F is called right exact if
is exact. F is called exact if it is both left exact and right exact. This is
equivalent to saying that F transforms any exact sequence in C into an exact
sequence in D. An additive contravariant G : C → D is called left exact if the
sequence
0 → G(C) → G(B) → G(A)
is exact. It is called right exact if
Examples.
1. For any abelian category C and any object A in C, the functor Hom(A, −)
from C to the category of abelian groups is left exact and covariant, and the
functor Hom(−, A) is left exact and contravariant.
2.1. DERIVED FUNCTORS 101
0 → I0 → I1 → · · ·
· · · → P −1 → P 0 → 0
(ii) Suppose
0 → A → A0 → A1 → · · · ,
0 → B → I0 → I1 → · · ·
are two complexes such that the first sequence is exact and each I i is injective.
Then for any morphism f : A → B, there exists a morphism of complexes
f · : A· → I · such that
0 → A → A0 → A1 → · · ·
0 1
f↓ f ↓ f ↓
0 → B → I0 → I1 → · · ·
0 → B → I0 ⊕ J0 → I1 ⊕ J1 → · · ·
0 0 0
↓ ↓ ↓
0 → →
A B → C → 0
↓ ↓ ↓
0 → I0
→ I0 ⊕ J0 → J0 → 0
↓ ↓ ↓
0 → I1
→ I1 ⊕ J1 → J1 → 0
↓ ↓ ↓
.. ..
··· . .
0 → A → I 0.
0 → A → I 0 → · · · → I n−1 .
2.1. DERIVED FUNCTORS 103
Choose a monomorphism
coker(I n−2 → I n−1 ) → I n
such that I n is an injective object. (When n = 1, we make the convention that
A = I n−2 .) Then we have an exact sequence
0 → A → I 0 → · · · → I n.
In this way, we get an injective resolution of A.
(ii) Since I 0 is injective and A is a sub-object of A0 , the composition
f
A → B → I0
can be extended to a morphism f 0 : A0 → I 0 . The diagram
0 → A → A0
0
f↓ f ↓
0 → B → I0
commutes. Suppose we have defined f i for any i < n such that the diagram
0 → A → A0 → A1 → · · · → An−1
0 1 n−1
f↓ f ↓ f ↓ f ↓
0 → B → I0 → I1 → · · · → I n−1
commutes. Note that the composition
f n−1
An−1 → I n−1 → I n
vanishes on im(An−2 → An−1 ). Hence it induces a morphism
coker(An−2 → An−1 ) → I n .
Since I n is injective and coker(An−2 → An−1 ) is a sub-object of An , this mor-
phism can be extended to a morphism f n : An → I n . The following diagram
commutes:
0 → A → A0 → A1 → ··· → An
0 1 n
f↓ f ↓ f ↓ f ↓
0 → B → I0 → I1 → ··· → I n.
In this way, we get a morphism f · : A· → I · extending f : A → B.
Suppose g · : A· → I · is another morphism extending f . Let I −1 = 0 and
define h0 : A0 → I −1 to be the zero morphism. Suppose we have defined
hi : Ai → I i−1 for any i ≤ n such that hi+1 di + di−1 hi = f i − g i for any
i ≤ n − 1. We have
(f n − g n − dn−1 hn )dn−1
= dn−1 (f n−1 − g n−1 ) − dn−1 hn dn−1
= dn−1 (hn dn−1 + dn−2 hn−1 ) − dn−1 hn dn−1
= 0.
104 CHAPTER 2. COHOMOLOGY
defines a morphism
0 0 0
↓ ↓ ↓
0 → A → B → C → 0
↓ ↓ ↓
0 → I0 → I0 ⊕ J0 → J0 → 0
↓ ↓ ↓
.. .. ..
. . .
↓ ↓ ↓
0 → I n+1 → I n+1 ⊕ J n+1 → J n+1 → 0
0 → A → B → C → 0,
δ i−1 δi
· · · → Ri F (A) → F i F (B) → Ri F (C) → Ri+1 F (A) → · · ·
is exact. We call this sequence the long exact sequence of Ri F associated to the
short exact sequence
0 → A → B → C → 0.
Given a morphism of short exact sequences
0 → A → B → C → 0
↓ ↓ ↓
0 → A0 → B0 → C0 → 0,
δi
Ri F (C) → Ri+1 F (A)
↓ ↓
δi
Ri F (C 0 ) → Ri+1 F (A0 )
for each i.
An object J is called F -acyclic if Ri F (J) = 0 for any i ≥ 1. An F -acyclic
resolution of an object A is a complex of the form
0 → J0 → J1 → · · ·
Proof. By the long exact sequence for Ri F associated to the short exact se-
quence
0 → A → J 0 → Z 1 (J · ) → 0
and the fact that Ri F (J 0 ) = 0 for any i ≥ 1, we have
Ri−1 F (Z 1 (J · )) ∼
= Ri F (A)
2.1. DERIVED FUNCTORS 107
for any i ≥ 2. By the long exact sequence for Ri F associated to the short exact
sequence
0 → Z 1 (J · ) → J 1 → Z 2 (J · ) → 0
and the fact that Ri F (J 1 ) = 0 for any i ≥ 1, we have
for any i ≥ 1. By the long exact sequence for Ri F associated to the short exact
sequence
0 → Z i−1 (J · ) → J i−1 → Z i (J · ) → 0
and the fact that R1 F (J i−1 ) = 0, we have an exact sequence
and hence
0 → Z i (J · ) → J i → J i+1 .
0 → F (Z i (J · )) → F (J i ) → F (J i+1 )
and hence
F (Z i (J · )) = ker(F (J i ) → F (J i+1 )).
So
(c) Let
0→A→B→C→0
be an exact sequence in C. If A and B are objects in S, then C is also an object
in S and the sequence
is exact.
Then any injective object in C is an object in S, and any object in S is
F -acyclic.
0 → I → S → S/I → 0.
0 → S → I0 → Z 1 (I · ) → 0,
1 ·
0 → Z (I ) → I 1 → Z 2 (I · ) → 0,
0 → Z 2 (I · ) → I 2 → Z 3 (I · ) → 0,
..
.
0 → F (S) → F (I 0 ) → F (Z 1 (I · )) → 0,
0 → F (Z (I )) → F (I 1 ) → F (Z 2 (I · )) → 0,
1 ·
0 → F (Z 2 (I · )) → F (I 2 ) → F (Z 3 (I · )) → 0,
..
.
0 → F (S) → F (I 0 ) → F (I 1 ) → F (I 2 ) → · · ·
0→A→B→C→0
2.1. DERIVED FUNCTORS 109
0 → A → B → C → 0
↓ ↓ ↓
0 → A0 → B0 → C0 → 0,
0 → A → B → C → 0,
T n (A) → T n (B)
fAn ↓ ↓ fBn
T (A) → T 0n (B).
0n
So f n is a natural transformation.
Given a short exact sequence
0 → A → B → C → 0,
0 → A → B → C → 0
k v↓ ↓
u
0 → A → M → M/A → 0.
We have seen that when C has enough injective objects, we can define the
right derived functors Ri F of any left exact covariant functor F using injective
resolutions and they form a universal cohomological functor. Similarly if C has
enough projective objects, we can define the left derived functors Li F of any
right exact covariant functor F using projective resolutions. We can also define
the left derived functors (resp. right derived functors) of any contravariant right
exact (resp. left exact) functor using injective (resp. projective) resolutions. We
leave to the reader to formulate their universal properties.
Proposition 1.6. Let (X, OX ) be a ringed space. Then the abelian category
of sheaves of OX -modules has enough injective objects.
δ 0 : F 0 ⊕ G 7→ I, (f 0 , g) 7→ φ0 (f 0 ) + θ(g).
where G |I(F )| is the direct sum of copies G and each element in I(F) corre-
sponds to a copy of G, and φ|Gi : Gi → F ⊕ G |I(F )| is the morphism defined by
−φi : Gi → F and the canonical inclusion of Gi into the i-th copy of G in G |I(F )| .
Let I1 (F) be the cokernel of φ and let φ(F) : F → I1 (F) be the morphism de-
fined by composing the canonical inclusion F → F ⊕ G |I(F )| with the canonical
epimorphism F ⊕ G |I(F )| → cokerφ. Note that φ(F) is a monomorphism. More-
over, each morphism φi : Gi → F can be extended to the morphism G → I1 (F)
induced by the morphism G → F ⊕ G |I(F )| which embeds G into the i-th copy
of G in F ⊕ G |I(F )| .
φi
Gi → F
↓ ↓
G → I1 (F).
Next we use transfinite induction to define Ii (F) for any ordinal i and a
monomorphism Ij (F) → Ii (F) for any pair of ordinals j < i such that for any
triple of ordinals k < j < i, the following diagram commutes:
Ik (F) → Ij (F)
& ↓
Ii (F).
We define I0 (F) = F. Let i be an ordinal and suppose we have defined Ij (F) for
any j < i and monomorphisms Ik (F) → Ij (F) for any k < j < i. If i = i0 + 1
for some ordinal i0 , we define Ii (F) = I1 (Ii0 (F)), and for any j < i, define
Ij (F) → Ii (F) to be the composition of the monomorphism Ij (F) → Ii0 (F)
with the monomorphism Ii0 (F) → I1 (Ii0 (F)). If i is a limit ordinal, we define
Ii (F) = dir. limj<i Ij (F), and for any j < i, define Ij (F) → dir. limj<i Ij (F)
to be the canonical morphism which is necessarily a monomorphism.
114 CHAPTER 2. COHOMOLOGY
Let n be the smallest ordinal whose cardinal |n| is strictly larger than the
cardinal |S| of the set S consisting of all OX -submodules of G. Note that n is
a limit ordinal. We have a monomorphism F = I0 (F) → In (F). Let’s show
In (F) is an injective sheaf. This would prove the category of OX -modules has
enough injective objects. It suffices to show any morphism φ0 : G 0 → In (F)
from an OX -submodule G 0 of G to In (F) has image contained in In0 (F) for
some ordinal n0 < n. Indeed, if this is true, then we can extend the morphism
G 0 → In0 (F) induced by φ0 to a morphism G → In0 +1 (F). Composing this
last morphism with the monomorphism In0 +1 (F) → In (F), we get a morphism
G → In (F) extending the morphism φ : G 0 → In (F). By our discussion at the
beginning, this implies In (F) is an injective sheaf.
It suffices to show there exists an ordinal n0 < n such that φ0−1 (Ii (F)) =
0−1
φ (In0 (F)) for any n0 ≤ i < n. If this is not true, then we can find a set
I of ordinals strictly less than n with limit n such that φ0−1 (Ii (F)) is strictly
contained in φ0−1 (Ii+1 (F)) for any i ∈ I. Each φ0−1 (Ii (F)) is an OX -submodule
of G. So we have |I| ≤ |S|, where |I| denote the cardinal of the set I. By the
minimality of n, we have |i| S ≤ |S| for any i < n. Since n is the limit of the
ordinals in I, we have n = i. Hence
i∈I
X X
|n| ≤ |i| ≤ |S| ≤ |I||S| ≤ |S|.
i∈I i∈I
Examples.
1. On the category of sheaves of abelian groups on a topological space X,
the i-th right derived functor of the left exact functor F 7→ F(X) is denoted
by H i (X, F) and is called the i-th cohomology group of F. For any open subset
U of X, we define H i (U, F) to be the i-th right derived functor of the left
exact functor F 7→ F(U ). We often denote H 0 (U, F) by Γ(U, F). We have
Γ(U, F) = F(U ).
Even when (X, OX ) is a ringed space and F is an OX -module, we calculate
H i (X, F) by regarding F as a sheaf of abelian groups. In this case, H i (X, F)
has an OX (X)-module structure. We will see later that the functor H i (X, −)
defined in this way is also the i-th derived functor of Γ(X, −) on the category
of OX -modules.
2. Let (X, OX ) be a ringed space and F an OX -module. On the cate-
gory of OX -modules, the i-th right derived functor of the left exact functor
G 7→ HomOX (F, G) is denoted by ExtiOX (F, G) and is called a higher exten-
sion group of F by G. The i-th right derived functor of the left exact functor
G → HomOX (F, G) is denoted by ExtiOX (F, G) and is called a higher extension
sheaf of F by G.
2.1. DERIVED FUNCTORS 115
· · · → P −1 → P 0 → N → 0
of N , we have
TorA ∼ −i ·
i (M, N ) = H (M ⊗A P ).
H i (U, F|U ) ∼
= H i (I · |U (U )) = H i (I · (U )) = H i (U, F).
F → C 0 (F)
in C 0 (F)(U ). Define
0 → F → C 0 (F) → C 1 (F) → · · · .
Proposition 1.10. For any i, the functor F 7→ C i (F) on the category of sheaves
of abelian groups on X is exact.
Proof. For any sheaf F, denote the morphism F → C 0 (F) by d−1 F and the
morphism C i (F) → C i+1 (F) by diF . We will show simultaneously that the
functors F 7→ C i (F) and F 7→ cokerdi−1
F are exact by induction on i. Suppose
0→F →G→H→0
2.1. DERIVED FUNCTORS 117
0 → FP → GP → HP → 0
0 → F → G → H → 0
d−1
F ↓ d−1
G ↓ d−1
H ↓
0 → C 0 (F) → C 0 (G) → C 0 (H) → 0.
Note that all the vertical arrows are monomorphisms. So by the Snake Lemma,
we have an exact sequence
0 → cokerd−1 −1 −1
F → cokerdG → cokerdH → 0.
Hence F 7→ cokerd−1 i
F is an exact functor. Suppose we have proved F 7→ C (F)
i−1 i+1
and F 7→ cokerdF are exact functors. Then F 7→ C (F) is an exact functor
since
C i+1 (F) = C 0 (cokerdi−1
F ).
0 → F → G → H → 0,
0 → cokerdi−1
F → cokerdGi−1 → cokerdi−1
H → 0
↓ ↓ ↓
0 → C i+1 (F) → C i+1 (G) → C i+1 (H) → 0.
0 → f∗ F 0 → f∗ F → f∗ F 00 → 0
We then have
(si − t0i )|Ui ∩Uj = (sj − t0j )|Ui ∩Uj .
So we can glue si − t0i together to get a section in F(X). It is mapped to the
section s00 ∈ F 00 (X). So F(X) → F 00 (X) is surjective. Now it is easy to see
0 → F 0 (U ) → F(U ) → F 00 (U ) → 0
is also exact. In particular, for any continuous map f : X → Y and any open
subset V of Y , the sequence
is exact. So
0 → f∗ F 0 → f∗ F → f∗ F 00 → 0
is exact.
Let’s prove our claim. Let S be the set of families of sections (t0i )i∈J such
that J ⊂ I, t0i ∈ F 0 (Ui ) and sij = t0i |Ui ∩Uj − t0j |Ui ∩Uj for any i, j ∈ J. By Zorn’s
lemma, S has a maximal element. It suffices to show that for any maximal
element (t0i )i∈J in S, we have J = I. Suppose J 6= I and let i0 ∈ I − J. For any
i, j ∈ J, we have
t0i − t0j = sij = si0 j − si0 i
on Ui ∩ Uj ∩ Ui0 . Hence
t0i + si0 i = t0j + si0 j
on Ui ∩ Uj ∩ Ui0 . Since Ui ∩ Ui0 (i ∈ J) form an open covering (∪i∈J Ui ) ∩ Ui0 , we
may glue (t0i + si0 i )|Ui ∩Ui0 together to get a section in F 0 ((∪i∈J Ui ) ∩ Ui0 ). Since
2.1. DERIVED FUNCTORS 119
F 0 is flasque, we may then extend this section to a section t0i0 ∈ F 0 (Ui0 ). But
then (t0i )i∈J∪{i0 } defines an element in S. This contradicts to the maximality of
(t0i )i∈J . So we must have I = J. This proves our claim.
Finally assume both F 0 and F are flasque. For any open subset U of X, we
have the following commutative diagram:
0 → F 0 (X) → F(X) → F 00 (X) → 0
↓ ↓ ↓
0 → F 0 (U ) → F(U ) → F 00 (U ) → 0.
We have proved each row is exact. The first two vertical arrows are surjective.
So the last vertical arrow is also surjective and hence F 00 is flasque.
By Proposition 1.3 and Lemma 1.11, flasque sheaves are acyclic with respect
to the functor F 7→ F(X) on the category of sheaves of abelian groups. So by
Proposition 1.2, we may use flasque resolutions and in particular the Gode-
ment resolution of F to calculate H i (X, F). If X is a ringed space, then by
Proposition 1.3 and Lemma 1.11, any injective OX -module is flasque. Hence
any injective resolution in the category of OX -modules is also a flasque resolu-
tion. So the i-th derived functor of F 7→ F(X) on the category of OX -modules
coincides with F → H i (X, F).
Similarly, for any continuous map f : X → Y and any sheaf of abelian
groups F, we can calculate Ri f∗ F using flasque resolutions and in particular
the Godement resolution of F. If f : X → Y is a morphism of ringed space,
the functor F 7→ Ri f∗ F is the i-th derived functor of f∗ on the category of
OX -modules.
Proof. Note that (i) follows from (ii). Indeed any direct sum of sheaves is the
direct limit of direct sums with finitely many factors, and (i) holds for any finite
direct sum since each H n (X, −) is an additive functor and hence commutes with
finite direct sums. Let’s prove (ii). Since X is a noetherian topological space,
the presheaf U 7→ dir. limi Fi (U ) is a sheaf and coincides with dir. limi Fi . Let
C · (Fi ) be the Godement resolution of Fi . Then (C · (Fi ))i∈I is a direct system
of complexes of sheaves. One can show dir. limi C · (Fi ) is a flasque resolution of
dir. limi Fi . So we have
H n (X, dir. lim Fi ) = H n (Γ(X, dir. lim C · (Fi )))
i i
= H (dir. lim Γ(X, C · (Fi )))
n
i
= dir. lim H n (Γ(X, C · (Fi )))
i
= dir. lim H n (X, Fi ).
i
120 CHAPTER 2. COHOMOLOGY
Proposition 1.13. Let (X, OX ) be a ringed space and let F and G be two OX -
modules. Then for each i, ExtiOX (F, G) is the sheaf associated to the presheaf
U 7→ ExtiOU (F|U , G|U ).
and
Proof. The first long exact sequence follows from the fact that (Exti (F, −))
is a cohomological functor. Let I · be an injective resolution of F. Since
HomOX (−, I) is an exact functor for any injective OX -module I, we have a
short exact sequence of complexes
The second long exact sequence in the proposition is the long exact sequence of
cohomology groups associated to this short exact sequence of complexes.
0 → G → E → F → 0.
Two extensions
0 → G → E1 → F → 0
and
0 → G → E2 → F → 0
are called isomorphic if there exists a commutative diagram
0 → G → E1 → F → 0
k ↓ k
0 → G → E2 → F → 0.
Proposition 1.15. Let (X, OX ) be a ringed space and let F and G be two
OX -modules. Then there is a one-to-one correspondence between Ext1OX (F, G)
and the set of isomorphic classes of extensions of F by G.
of G. We have
Ext1OX (F, G)
= ker(HomOX(F, I 1) → HomOX(F, I 2))/im(HomOX(F, I 0) → HomOX(F, I 1))
= HomOX (F, Z 1 (I · ))/im(HomOX (F, I 0 ) → HomOX (F, I 1 )).
Φ : Ext1OX (F, G) → S
0 → G → I 0 → Z 1 (I · ) → 0
0 → G → I 0 ⊕e0 F → F → 0
k ↓ k
0 → G → I 0 ⊕e00 F → F → 0,
where the middle vertical arrow I 0 ⊕e0 F → I 0 ⊕e00 F maps each section (s, t)
of I 0 ⊕e0 F to the section (s − f (t), t) of I 0 ⊕e00 F. This proves the pulling back
of
0 → G → I 0 → Z 1 (I · ) → 0
122 CHAPTER 2. COHOMOLOGY
0 → G → E → F → 0
k ψ↓ ψ̄ ↓
0 → G → I 0 → Z 1 (I · ) → 0.
0 → N 0 → N → N 00 → 0
and
00 0 00
· · · → TorA A A A
i+1 (N , M ) → Tori (N , M ) → Tori (N, M ) → Tori (N , M ) → · · · .
0 → N 0 → N,
the sequence
0 → M ⊗A N 0 → M ⊗A N
is exact.
· · · → M ⊗A P −1 → M ⊗A P 0 → M ⊗A N → 0
k
X k1
X
(mi , φ(ni )) = ((x1i + x2i , yi ) − (x1i , yi ) − (x2i , yi ))
i=1 i=1
k2
X
+ ((xi , y1i + y2i ) − (xi , y1i ) − (xi , y2i ))
i=1
k3
X
+ ((ai ui , vi ) − (ui , ai vi )).
i=1
124 CHAPTER 2. COHOMOLOGY
An → M, ei 7→ xi (i = 1, . . . , n),
where for each i, ei is the element in An whose i-th component is 1 and whose
other components are 0. By Nakayama’s lemma, An → M is surjective. Let R
be its kernel. We have an exact sequence
0 → R → An → M → 0.
Since M is flat, we have TorA 1 (M, A/m) = 0. The second long exact sequence in
Proposition 1.16 of TorA i (−, A/m) associated to the above short exact sequence
gives rise to the exact sequence
that is,
0 → R/mR → (A/m)n → M/mM → 0.
By our definition of An → M , the homomorphism (A/m)n → M/mM is an
isomorphism. So R/mR = 0. Since M has finite presentation, R is finitely gen-
erated. By Nakayama’s lemma, we have R = 0. So An → M is an isomorphism
and hence M is free.
Our assertion follows from the assumption that Mq is flat as an Aφ−1 (q) -module.
is exact.
(ii) M is a flat A-module, and for any A-module N , the condition M ⊗A N =
0 implies that N = 0.
(iii) M is a flat A-module, and for any homomorphism φ : N → N 0 of
A-modules, the condition idM ⊗ φ = 0 implies that φ = 0.
(iv) M is a flat A-module and for any maximal ideal m of A, we have mM 6=
M.
When M satisfies one of the above conditions, we say M is a faithfully flat
A-module.
126 CHAPTER 2. COHOMOLOGY
M ⊗A (kerψ/imφ) ∼
= ker(idM ⊗ ψ)/im(idM ⊗ φ) = 0.
So kerψ/imφ = 0.
M → B ⊗A M, x 7→ 1 ⊗ x
B ⊗A (B ⊗A M ) → B ⊗A M, b1 ⊗ (b2 ⊗ x) 7→ b1 b2 ⊗ x.
I ⊂ φ−1 (I)
b ⊂ φ−1 (n) = m.
dpq pq p+r,q−r+1
r : Er → E r
pq
any 0 ≤ i − (r + 1) < k − (r + 1). In particular, the sub-objects Bk (Er+1 ) and
pq pq
Zk (Er+1 ) of Er+1 have been defined. Through the isomorphisms
and any object on the first line is a sub-object of any object on the second line.
The other data of the spectral sequence E are the following:
(d) Two sub-objects B∞ (E2pq ) and Z∞ (E2pq ) of E2pq such that
· · · ⊃ F p H n ⊃ F p+1 H n ⊃ · · · .
and upq
r induce morphisms
0pq 0pq
ūpq pq pq
r : Zr+1 (Er )/Br+1 (Er ) → Zr+1 (Er )/Br+1 (Er ).
pq β pq
E∞ → F p H p+q /F p+1 H p+q
pq
u∞ ↓ ūp+q ↓
0pq β 0pq
E∞ → F p H 0p+q /F p+1 H 0p+q
commute.
We define the composition of morphisms of spectral sequences in the obvious
way. An isomorphism of spectral sequences is a morphism with a two-sided
inverse.
0pq
and upq pq 0
2 (Zk (E2 )) = Zk (E2 ) for any k ≥ 2. Since E and E are biregu-
lar, this implies u2 (B∞ (E2 )) = B∞ (E2 ) and u2 (Z∞ (E2 )) = Z∞ (E20pq ).
pq pq 0pq pq pq
So upq
∞ is an isomorphism for any p, q ∈ Z. Hence ū
p,n−p
: F p H n /F p+1 H n →
p 0n p+1 0n
F H /F H is an isomorphism for any p, n ∈ Z. Let’s prove un : H n → H 0n
is an isomorphism for any n ∈ Z. Since E and E 0 are biregular, it suffices to
show un induces an isomorphism F p H n → F p H 0n for every p. We prove this by
descending induction on p. For p sufficiently large, we have F p H n = F p H 0p = 0
and F p H n → F p H 0n is trivially an isomorphism. Suppose we have shown that u
induces an isomorphism F p H n → F p H 0n . Consider the following commutative
diagram:
0 → F pH n → F p−1 H n → F p−1 H n /F p H n → 0
↓ ↓ ↓
0 → F p H 0n → F p−1 H 0n → F p−1 H 0n /F p H 0n → 0.
So
pq
E∞ = Z∞ (E2pq )/B∞ (E2pq ) ∼
= Zr (E2 )/Br (E2 ) ∼
pq pq
= Erpq .
We have
F p H n /F p+1 H n ∼ p,n−p
= E∞ .
So F p H n /F p+1 H n = 0 whenever p 6= n − q0 and hence
Hn ∼
= F n−q0 H n /F n−q0 +1 H n ∼ n−q0 ,q0 ∼
= E∞ = Ern−q0 ,q0 .
2.2. SPECTRAL SEQUENCES 131
Proof. When p < 0, or q < 0, or 0 < q < n, we have Erpq = 0 for any
2 ≤ r ≤ ∞. Suppose i < n. Then we have F p H i /F p+1 H i = E∞
p,i−p
= 0 when
p 6= i and hence
dri−r,r−1 di,0
Eri−r,r−1 → Eri,0 →
r
Eri+r,−r+1 .
B2 (E2i,0 ) = B3 (E2i,0 ) = · · · ,
· · · = Z3 (E2i,0 ) = Z2 (E2i,0 ).
· · · = F −1 H n = F 0 H n ⊃ F −1 H n = · · · = F n H n ⊃ F n+1 H n = · · · .
So we have
n,0
E∞ = E2n,0 . (3)
Consider the morphisms
d−r,n+r−1 d0,n
Er−r,n+r−1 r
→ Er0,n →
r
Err,n−r+1 .
B2 (E20,n ) = · · · = B∞ (E20,n ),
Z∞ (E20,n ) = · · · = Zn+2 (E20,n ) ⊂ Zn+1 (E20,n ) = · · · = Z2 (E20,n ).
So we have
0,n
E∞ = Zn+2 (E20,n )/Bn+1 (E20,n ), (4)
E20,n = 0,n
En+1 . (5)
Consider the morphism
drn+1−r,r−1 dn+1,0
Ern+1−r,r−1 → Ern+1,0 r→ Ern+1+r,−r+1 .
So we have
n+1,0
E∞ = Zn+1 (E2n+1,0 )/Bn+2 (E2n+1,0 ), (6)
E2n+1,0 = n+1,0
En+1 . (7)
Through the identifications
0,n
En+1 = Zn+1 (E20,n )/Bn+1 (E20,n ),
n+1,0
En+1 = Zn+1 (E2n+1,0 )/Bn+1 (E2n+1,0 ),
is identified with Zn+2 (E20,n )/Bn+1 (E20,n ) and the cokernel is identified with
Zn+1 (E2n+1,0 )/Bn+2 (E2n+1,0 ). Combining with the equations (4), (5), (6), (7),
we get a morphism
E20,n → E2n+1,0
induced by d0,n 0,n
n+1 whose kernel is isomorphic to E∞ and whose cokernel is iso-
n+1,0
morphic to E∞ . Combining with the exact sequences (1), (2) and the equa-
tion (3), we get an exact sequence
· · · = F p1 H n ⊃ F p1 +1 H n = · · · = F p2 H n ⊃ F p2 +1 H n = · · · .
is identified with Zp2 −p1 +1 (E2p1 ,n−p1 )/Bp2 −p1 (E2p1 ,n−p1 ) and the cokernel is iden-
tified with Zp2 −p1 (E2p2 ,n+1−p2 )/Bp2 −p1 +1 (E2p2 ,n+1−p2 ). Combining with the equa-
tions (2), (3), (4), (5), we get a morphism
E2p1 ,n−p1 → E2p2 ,n+1−p2
induced by dpp12 ,n−p
−p1
1 p1 ,n−p1
whose kernel is identified with E∞ and whose cokernel
p2 ,n+1−p2
is identified with E∞ . Combining with the exact sequence (1), we get a
long exact sequence
· · · → E2p2 ,n−p2 → H n → E2p1 ,n−p1 → E2p2 ,n+1−p2 → H n+1 → · · · .
Let
Obviously, we have
B2pq ⊂ B3pq ⊂ · · · ⊂ B∞
pq
,
pq pq pq
Z∞ ⊂ · · · ⊂ Z3 ⊂ Z2 .
0 → F pK · → K· → K · /F p K · → 0
↓ ↓ k
0 → F p K · /F p+1 K · → K · /F p+1 K · → K · /F p K · → 0,
H p+q−1 (K · /F p K · ) → H p+q (F p K · )
k ↓
H p+q−1 (K · /F p K · ) → H p+q (F p K · /F p+1 K · ).
So we have
pq pq
B∞ ⊂ Z∞ .
Define
Erpq = Zrpq /Brpq (r ≥ 2), E∞
pq pq
= Z∞ pq
/B∞ .
Applying Lemma 2.6 to the commutative diagram
H p+q (F p K · /F p+r K · )
% ↓
· ·
Hp+q
(F p+1
K /F p+r
K )→ Hp+q+1(Fp+rK ·/Fp+r+1K ·) → Hp+q+1(Fp+1K ·/Fp+r+1K ·),
p+r,q−r+1
we see that Br+1 /Brp+r,q−r+1 is isomorphic to the image of the composi-
tion
H p+q(F p K ·/F p+r K ·)→H p+q+1(F p+r K ·/F p+r+1 K ·)→H p+q+1(F p+1 K ·/F p+r+1 K ·).
we see that
pq ∼ p+r,q−r+1
Zrpq /Zr+1 = Br+1 /Brp+r,q−r+1 .
Define
dpq pq p+r,q−r+1
r : Er → Er
to be the composition
pq ∼ p+r,q−r+1
Zrpq /Brpq → Zrpq /Zr+1 = Br+1 /Brp+r,q−r+1 → Zrp+r,q−r+1 /Brp+r,q−r+1 .
Obviously, we have
pq
kerdpq
r = Zr+1 /Brpq ,
p+r,q−r+1
imdpq
r = Br+1 /Brp+r,q−r+1 .
and
p−r,q+r−1 ∼ pq pq pq
kerdpq
r /imdr = Zr+1 /Br+1 = Er+1 .
For any n ∈ Z, define H n = H n (K · ) and define a decreasing filtration on H n
by
F p H n = im(H n (F p K · ) → H n (K · )).
Applying Lemma 2.6 to the diagram
H p+q (F p K · )
% ↓
H p+q (F p+1 K · ) → H p+q (K · ) → H p+q (K · /F p+1 K · ),
we see that F p H p+q /F p+1 H p+q is isomorphism to the image of the composition
H p+q (F p K · )
% ↓
H p+q−1 (K · /F p K · ) → H p+q (F p K · /F p+1 K · ) → H p+q (K · /F p+1 K · ),
pq pq
we see that Z∞ /B∞ is isomorphic to the image of the composition
H p+q (F p K · ) → H p+q (K · )
↓ ↓
H p+q (F p K · /F p+1 K · ) → H p+q (K · /F p+1 K · ),
we see that
F p H p+q /F p+1 H p+q ∼ pq
= Z∞ pq
/B∞ .
Finally we define B∞ (E2pq ) and Z∞ (E2pq ) to be the sub-objects B∞
pq
/B2pq and
pq pq pq
Z∞ /B2 of E2 . This finishes the construction of the spectral sequence.
Note that if we define
in the long exact sequence of cohomology groups associated to the short exact
sequence
then we have
E2pq = kerdpq p−1,q
1 /imd1 .
We often regard (E1pq , dpq
1 ) as part of the above spectral sequence and denote
the spectral sequence by
· · · ⊃ F p K · ⊃ F p+1 K · ⊃ · · · .
Suppose for each n, there exist integers f (n) and g(n) such that F p K n = K n
for any p ≤ f (n) and F p K n = 0 for any p ≥ g(n). Then the spectral sequence
constructed above is biregular.
2.2. SPECTRAL SEQUENCES 139
Proof. For each fixed p and q, when r > max(g(p+q−1), g(p+q), g(p+q+1))−p,
we have F p+r K n = 0 for n = p + q − 1, p + q, p + q + 1 and hence
di+1,j
1 dij i,j+1 ij
1 = 0, d2 d2 = 0, di,j+1
1 dij i+1,j ij
2 = d2 d1 .
Suppose either the direct sum of any family of objects in C exists, or for any n,
there are only finitely many pairs (i, j) satisfying i + j = n and K ij 6= 0. Then
the (simple) complex sK ·· associated to K ·· is defined by
M
(sK ·· )n = K ij
i+j=n
dx = d1 x + (−1)i d2 x
for any x ∈ K ij . One can verify that dd = 0. We define the n-th cohomology
object H n (K ·· ) of K ·· to be the n-th cohomology object of sK ·· . For each i,
d
· · · → K ij →2 K i,j+1 → · · ·
These two filtrations define two spectral sequences EI and EII . For the first
filtration, we have EI pq
1 =H
p+q
(FIp (sK ·· )/FIp+1 (sK ·· )). Obviously we have
(FIp (sK ·· )/FIp+1 (sK ·· ))n = K p,n−p ,
H p+q (FIp (sK ·· )/FIp+1 (sK ·· )) q
= HII (K p,· ).
One can then verify
EI pq p q ··
2 = HI HII (K ).
So the spectral sequence defined by the first filtration is
EI pq p q ··
2 = HI HII (K ) ⇒ H
p+q
(K ·· ).
Similarly the spectral sequence defined by the second filtration is
EII pq p q ··
2 = HII HI (K ) ⇒ H
p+q
(K ·· ).
The following proposition follows directly from Proposition 2.7:
· q ·
Proof. For each q, choose an injective resolution IB q (K · ) of B (K ) and an
· q ·
injective resolution IH q (K · ) of H (K ). We have an exact sequence
0 → B q (K · ) → Z q (K · ) → H q (K · ) → 0.
By Proposition 1.1 (iv), there exists an injective resolution IZ· q (K · ) together with
a short exact sequence of complexes
· · ·
0 → IB q (K · ) → IZ q (K · ) → IH q (K · ) → 0
0 → Z q (K · ) → K q → B q+1 (K · ) → 0.
0 → IZ· q (K · ) → I ·,q → IB
·
q+1 (K · ) → 0
··
such that I i,q = IZi q (K · ) ⊕ IB
i
q+1 (K · ) for each i. Then the double complex I has
the required properties.
HIp HII
q
(G(J ·· )) = HIp (G(HII
q
(J ·· ))) = Rp G(Rq F (A)).
142 CHAPTER 2. COHOMOLOGY
EI pq p q
2 = R G(R F (A)) ⇒ H
p+q
(G(J ·· )).
and hence
p 0 if q ≥ 1,
HII HIq (G(J ·· )) =
H p (GF (I · )) = Rp (GF )(A) if q = 0.
EII pq p q ··
2 = HII HI (G(J )) ⇒ H
p+q
(G(J ·· ))
of the double complex G(J ·· ) degenerates. These two spectral sequences are
biregular by Proposition 2.8 (i). So by Proposition 2.2, we have
for any n. Hence the first spectral sequence of the double complex G(J ·· ) can
be written as
E2pq = Rp G(Rq F (A)) ⇒ Rp+q (GF )(A).
Hom(G, f∗ I) ∼
= Hom(f −1 G, I).
Proof. Apply Proposition 2.10 to the functors F = f∗ and G = Γ(Y, −). Note
that GF = Γ(X, −) and F (I) is G-acyclic for any injective sheaf I on X by
Lemma 2.11.
2.2. SPECTRAL SEQUENCES 143
Similarly we have
Proposition 2.15. Let (X, OX ) be a ringed space and let F and G be two
OX -modules. Then we have a biregular spectral sequence
· · · → E1 → E0 → F → 0
Proof. Consider the double complex (K pq ) = (HomOX (Ep , I q )). Since each Ei
is locally free of finite rank, each functor HomOX (Ei , −) is exact and hence
q 0 if q ≥ 1,
HII (K ·· ) =
HomOX (E· , G) if q = 0.
144 CHAPTER 2. COHOMOLOGY
So we have
0 if q ≥ 1,
HIp HII
q
(K ·· ) =
H p (HomOX (E· , G)) if q = 0.
Hence the first spectral sequence of the double complex K ·· degenerates. By
Proposition 2.2, this implies
Since each I i is injective, each functor HomOX (−, I i ) is exact and hence
q ·· 0 if q ≥ 1,
HI (K ) =
HomOX (F, I · ) if q = 0.
So we have
p 0 if q ≥ 1,
HII HIq (K ·· ) =
ExtpOX (F, G) if q = 0.
Hence the second spectral sequence of the double complex K ·· degenerates. By
Proposition 2.2, this implies
ExtnOX (F, G) ∼
= H n (HomOX (E· , I · )) ∼
= H n (HomOX (E· , G)).
Proposition 2.17. Let A be a ring, let M and N be two A-modules, and let
··· → E −1 → E0 → M → 0,
··· → F −1 → F0 → N → 0
be exact sequences such that E i and F i are flat A-modules. Then we have
TorA
n (M, N ) = H
−n
(M ⊗A F · ) ∼
= H −n (E · ⊗A N ) ∼
= H −n (E · ⊗A F · ).
In particular, we have TorA ∼ A
n (M, N ) = Torn (N, M ).
Let X be a topological space and let U = {Ui }i∈I be an open covering of X. For
any i0 , . . . , in ∈ I, let Ui0 ...in = Ui0 ∩ · · · ∩ Uin . Given a presheaf P of abelian
groups on X, define a complex C · (U, P) as follows: For each n ≥ 0, let
Y
C n (U, P) = P(Ui0 ...in ),
i0 ,...,in ∈I
2.3. ČECH COHOMOLOGY 145
and define
by
n+1
X
(ds)i0 ...in+1 = (−1)k si0 ...îk ...in+1 |Ui0 ...in+1 ,
k=0
where si0 ...îk ...in+1 |Ui0 ...in+1 is the image of si0 ...îk ...in+1 ∈ P(Ui0 ...îk ...in+1 ) under
the restriction P(Ui0 ...îk ...in+1 ) → P(Ui0 ...in+1 ). One can verify that dd = 0. We
call C · (U, P) the Čech complex of P with respect to the open covering U. The
n-th cohomology group of C · (U, P) is denoted by Ȟ n (U, P) and is called the
n-th Čech cohomology group of P with respect to the open covering U.
Fix a total order on I. Define a complex C 0· (U, P) as follows: For each n,
let Y
C 0n (U, P) = P(Ui0 ...in ),
i0 <···<in
and define d : C 0n (U, P) → C 0n+1 (U, P) by the same formula as above. We call
C 0· (U, P) the alternating Čech complex of P with respect to the open covering
U.
H n (C 0· (U, P)) ∼
= H n (C · (U, P))
on cohomology groups.
Proof. Fix a total order on I. For each n ≥ 0, let Kn (I) be the free abelian
group with basis (i0 , . . . , in ) ∈ I n+1 and let Kn0 (I) be the free abelian subgroup
of Kn (I) generated by those (i0 , . . . , in ) such that i0 < · · · < in . Define
by
n
X
∂n (i0 , . . . , in ) = (−1)k (i0 , . . . , îk , . . . , in ).
k=0
where σ is a permutation of {0, . . . , n} such that iσ(0) < · · · < iσ(n) and sgn(σ)
is the sign of σ. Note that f· : K· (I) → K·0 (I) is a morphism of complexes and
we have
f· i· = idK·0 (I) .
We claim that there exist morphisms hn : Kn (I) → Kn+1 (I) (n ≥ 0) such that
We define
h∗n : C n+1 (U, P) → C n (U, P), s = (sj0 ...jn+1 ) 7→ h∗n (s) = ((h∗n (s))i0 ...in )
by X
(h∗n (s))i0 ...in = Cji00...j
...in
s |
n+1 j0 ...jn+1 Ui0 ...in
.
{j0 ,...,jn+1 }⊂{i0 ,...,in }
similar way. One can show i∗· and f·∗ are morphisms of complexes and we have
This implies that the homomorphisms on cohomology groups induced by f·∗ and
i∗· are inverse to each other.
Before proving our claim, we first show that for any set I, we have
Hn (K· (I)) = 0
for any (i0 , . . . , in ) ∈ I n+1 , (in fn − idKn (I) − hn−1 ∂n )(i0 , . . . , in ) is a linear
combination of those (j0 , . . . , jn ) satisfying {j0 , . . . , jn } ⊂ {i0 , . . . , in }. We may
regard (in fn − idKn (I) − hn−1 ∂n )(i0 , . . . , in ) as an element in Kn ({i0 , . . . , in }).
Moreover, we have
Since Hn (K· ({i0 , . . . , in })) = 0, there exists a c ∈ Kn+1 ({i0 , . . . , in }) such that
We define hn (i0 , . . . , in ) = c.
Proof. We can use the alternating Čech complex to calculate Čech cohomology
groups. Our assertion follows from the fact that C 0q (U, P) = 0 for any q ≥ n
since there are n open subsets in U.
Proposition 3.3. Let X be a topological space and let U = {Ui }i∈I be an open
covering of X.
(i) The category of presheaves of abelian groups on X has enough injective
objects.
(ii) The functors (Ȟ i (U, −)) on the category of presheaves of abelian groups
form a cohomological functor.
(iii) For any injective presheaf I, we have Ȟ i (U, I) = 0 for any i ≥ 1.
(iv) (Ȟ i (U, −)) is a universal cohomological functor, Ȟ 0 (U, −) is left exact,
and Ȟ i (U, −) is the i-th right derived functor of Ȟ 0 (U, −) for any i ≥ 0.
Proof. We leave to the reader to prove (i) and (ii). We will prove (iii). This
implies H i (U, −) is effaceable for every i ≥ 1. So (iv) holds by Proposition 1.4
and Corollary 1.5.
Let’s prove (iii). We need to show the sequence
Y Y Y
I(Ui0 ) → I(Ui0 i1 ) → I(Ui0 i1 i2 ) → · · ·
i0 ∈I i0 ,i1 ∈I i0 ,i1 ,i2 ∈I
in the Čech complex is exact. For any open subset U of X, define a presheaf
ZU on X by
0 if V 6⊂ U,
ZU (V ) =
Z if V ⊂ U.
148 CHAPTER 2. COHOMOLOGY
is an exact sequence of presheaves, that is, for any open subset V of X, the
sequence
δ δ δ
M 0
M 1
M 2
ZUi0 (V ) ← ZUi0 i1 (V ) ← ZUi0 i1 i2 (V ) ← ···
i0 ∈I i0 ,i1 ∈I i0 ,i1 ,i2 ∈I
L
So ZUi0 ,...,in (V ) can be identified with Kn (S) defined in the proof of
i0 ,...,in ∈I
Proposition 3.1. Then
M M
δn : ZUi0 ,...,in+1 (V ) → ZUi0 ,...,in (V )
i0 ,...,in+1 ∈I i0 ,...,in ∈I
is identified with ∂n+1 : Kn+1 (S) → Kn (S). In the proof of Proposition 3.1, we
have shown H n (K· (S)) = 0 for any n ≥ 1. So the sequence
δ δ δ
M 0
M 1
M 2
ZUi0 (V ) ← ZUi0 i1 (V ) ← ZUi0 i1 i2 (V ) ← ···
i0 ∈I i0 ,i1 ∈I i0 ,i1 ,i2 ∈I
is exact.
Let U = {Ui }i∈I and V = {Vj }j∈J be two open coverings of X. We say U is
a refinement of V there exists a map τ : I → J such that Ui ⊂ Vτ (i) . Define
by
(τ ∗ (s))i0 ...in = sτ (i0 )...τ (in ) |Ui0 ...in .
2.3. ČECH COHOMOLOGY 149
Proof. Define
by
n−1
X
(h(s))i0 ...in−1 = (−1)k sτ (i0 )...τ (ik )τ 0 (ik )...τ 0 (in−1 ) |Ui0 ...in−1 .
k=0
Now we discuss the Čech cohomology of sheaves. For any open covering
U = {Ui }i∈I of X and any sheaf of abelian groups F on X, Ȟ 0 (U, F) is the
kernel of the homomorphism
Y Y
F(Ui ) → F(Ui ∩ Uj ), (si ) 7→ (sj |Ui ∩Uj − si |Ui ∩Uj ).
i∈I i,j∈I
So we have
Ȟ 0 (U, F) = F(X) = H 0 (X, F).
150 CHAPTER 2. COHOMOLOGY
Proposition 3.6. Let F be a flasque sheaf on X. Then for any open covering
U = {Ui }i∈I of X, we have Ȟ n (U, F) = 0 for any n ≥ 1.
Proof. First we note that any injective sheaf is an injective object in the
category of presheaves. So we have Ȟ n (U, I) = 0 for any n ≥ 1 and any
injective sheaf I. Let I · be an injective resolution of the flasque sheaf F in the
category of sheaves. We have exact sequences
0 → F → I0 → Z 1 (I · ) → 0,
0 → Z (I) → I 1
1
→ Z 2 (I · ) → 0,
..
.
By Lemma 1.11, all the sheaves in the above exact sequences are flasque and
for any open subset U , the following sequences are exact:
0 → F(U ) → I 0 (U ) → Z 1 (I · )(U ) → 0,
0 → Z (I)(U ) → I 1 (U ) → Z 2 (I · )(U ) → 0,
1
..
.
So
0 → F(U ) → I 0 (U ) → I 1 (U ) → · · ·
is exact for any open subset U of X, that is,
0 → F → I0 → I1 → · · ·
0 → Ȟ 0 (U, I 0 ) → Ȟ 0 (U, I 1 ) → · · · ,
0 → I 0 (U ) → I 1 (U ) → · · · .
HIp HII
q
(K ·· ) = Ȟ p (U, Hq (F)),
Hence the second spectral sequence of the double complex K ·· degenerates and
this gives H n (X, F) = H n (K ·· ). So the first spectral sequence of the double
complex can be written as
By Proposition 2.8 (i), this spectral sequence is biregular. Taking direct limit
with respect to open coverings U of X, we get a biregular spectral sequence
Proposition 3.7. Let F be a sheaf on X and let Hq (F) be the presheaf defined
by Hq (F)(U ) = H q (U, F|U ).
(i) For any open covering U of X, we have a biregular spectral sequence
Corollary 3.8. Let F be a sheaf on X and let U = {Ui }i∈I be an open covering
of X. Suppose for any i0 , . . . , in ∈ I, we have H q (Ui0 ∩ · · · ∩ Uin , F) = 0 for any
q ≥ 1. Then for any n, we have Ȟ n (U, F) ∼ = H n (X, F).
Lemma 3.9. For any sheaf F on X, we have Ȟ 0 (X, Hq (F)) = 0 for any q ≥ 1.
Proof. Let U = {Ui }i∈I be an open covering of X. Note that Ȟ 0 (U, Hq (F)) is
the kernel of the homomorphism
Y Y
Hq (F)(Ui ) → Hq (F)(Ui ∩ Uj ), (si ) 7→ (sj |Ui ∩Uj − si |Ui ∩Uj ).
i∈I i,j∈I
152 CHAPTER 2. COHOMOLOGY
Let (si ) be an element in Ȟ 0 (U, F), where si ∈ Hq (F)(Ui ) = H q (Ui , F|Ui ). Fix
an injective resolution I · of F. For any q ≥ 1, we have
H q (Ui , F) = ker(I q (Ui ) → I q+1 (Ui ))/im(I q−1 (Ui ) → I q (Ui )).
Let ti ∈ ker(I q (Ui ) → I q+1 (Ui )) such that its image in H q (Ui , F) is si . Since
I q−1 → I q → I q+1
is exact, we may find an open covering {Uij }j∈Ji of Ui such that each ti |Uij lies in
im(I q−1 (Uij ) → I q (Uij )). Then the image of each si under the homomorphism
Hq (F)(Ui ) → Hq (F)(Uij ) vanishes. Let U0 be the open covering defined by Uij
(i ∈ I, j ∈ Ji ). Then U0 is a refinement of U and the image of s = (si ) under
homomorphism Ȟ 0 (U, Hq (F)) → Ȟ 0 (U0 , Hq (F)) vanishes. So
0 → E2n,0 → Hn → E20,n .
k k k
Ȟ n (U, F) H n (U, F) 0
H n (U, F) ∼
= Ȟ n (U, F) = 0.
By Corollary 3.8, for any open subset V of X and any open covering U of V by
open subsets in B, we have Ȟ n (U, F) ∼
= H n (V, F) for any n. So
Proof. For any open covering U = {Ui }i∈I , let Pic(U) be the subgroup of
Pic(X) consisting of the isomorphic classes of those invertible sheaves L satis-
fying L|Ui ∼
= OUi . We will construct a canonical isomorphism
∗ ∼
Ȟ 1 (U, OX ) = Pic(U).
Obviously we have Pic(X) = dir. limU Pic(U). Passing to direct limit over cov-
erings of X, we get an isomorphism
∗ ∼
Ȟ 1 (X, OX ) = Pic(X).
154 CHAPTER 2. COHOMOLOGY
Then we have
∗ ∼ 1 ∗ ∗
Ȟ 1 (U, OX ) = Z (U, OX )/B 1 (U, OX ).
Define a map
∗
Φ : Z 1 (U, OX ) → Pic(U)
∗
as follows: For any (si0 i1 ) ∈ Z 1 (U, OX ) and any pair i0 < i1 , let
be the isomorphism which maps any section s of OUi0 |Ui0 i1 to the section ssi0 i1
of OUi1 |Ui0 i1 . We define φii = idOUi for any i ∈ I and φi1 i0 = φ−1 i0 i1 for any
i0 < i1 . For any i0 , i1 , i2 ∈ I, we have si1 i2 si0 i1 = si0 i2 on Ui0 i1 i2 , so φi1 i2 φi0 i1 =
φi0 i2 on Ui0 i1 i2 . Hence we may glue {OUi } together through {φij } to get an
invertible OX -module. We define Φ((si0 i1 )) ∈ Pic(U) to be the isomorphic class
∗
of this invertible OX -module. One can verify that Φ : Z 1 (U, OX ) → Pic(U) is a
homomorphism.
Suppose (si0 i1 ) lies in the kernel of Φ and let L be the invertible OX -module
constructed above using the glueing data define by (si0 i1 ). Then we have an
isomorphism ψ : OX ∼ = L. By our construction, we have L|Ui ∼ = OUi for any
i ∈ I. Composition this isomorphism with ψ|Ui , we get an automorphism of
OUi . Any automorphism of OUi is induced by multiplication by an element
∗ ∗
in OX (Ui ). Let ti ∈ OX (Ui ) correspond to the above automorphism. One
can verify that si0 i1 = ti1 t−1 i0 on Ui0 i1 for any i0 < i1 and hence (si0 i1 ) lies in
∗ ∗
B 1 (U, OX ). Conversely, one can show every element in B 1 (U, OX ) lies in kerΦ.
1 ∗
So we have kerΦ = B (U, OX ).
Let’s show Φ is surjective. Suppose L is an invertible OX -module such that
we have an isomorphism φi : L|Ui ∼ = OUi for any i ∈ I. For any i1 < i2 , consider
the composition
φ−1
i φi
OUi0 |Ui0 i1 →0 L|Ui0 i1 →1 OUi1 |Ui0 i1 .
∗
It induces an automorphism of OUi0 i1 . Let si0 i1 ∈ OX (Ui0 i1 ) correspond to this
automorphism. Then we have si0 i1 si1 i2 = si0 i2 on Ui0 i1 i2 for any i0 < i1 < i2 .
∗
So (si0 i1 ) ∈ Z 1 (U, OX ). One can verify that Φ((si0 i1 )) is equal to the isomorphic
class of L. So Φ is surjective.
2.4. COHOMOLOGY OF AFFINE AND PROJECTIVE SCHEMES 155
∗ ∼ 1 ∗ ∗
Therefore Φ induces an isomorphism of Ȟ 1 (U, OX ) = Z (U, OX )/B 1 (U, OX )
with Pic(U).
Note that ∂p is nothing but the contraction by f1 e∗1 +· · ·+fr e∗r , where {e∗1 , . . . , e∗r }
is the basis of HomA (Ar , A) dual to {e1 , . . . , er }. One can verify that ∂∂ = 0.
For any A-module M , define
K· (f1 , . . . , fr ; M ) = K· (f1 , . . . , fr ) ⊗A M,
K · (f1 , . . . , fr ; M ) = HomA (K· (f1 , . . . , fr ), M ),
Hp (f1 , . . . , fp ; M ) = Hp (K· (f1 , . . . , fr ; M )),
H p (f1 , . . . , fp ; M ) = H p (K · (f1 , . . . , fr ; M )).
Any element z in Kp (f1 , . . . , fr ; M ) can be written as
X
z= ei1 ∧ · · · ∧ eip ⊗ zi1 ...ip
i1 <···<ip
for some uniquely determined zi1 ...ip ∈ M . For any distinct elements i1 , . . . , ip
in {1, . . . , r}, define
zi1 ...ip = sgn(σ)ziσ(1) ...iσ(p) ,
where σ is a permutation of {1, . . . , p} such that iσ(1) < · · · < iσ(p) . Then we
have
X p
X
∂z = (−1)k−1 fik ei1 ∧ · · · ∧ êik ∧ · · · ∧ eip ⊗ zi1 ...ip
i1 <···<ip k=1
X p
X
= fik ei1 ∧ · · · ∧ êik ∧ · · · ∧ eip ⊗ zik i1 ...îk ...ip
i1 <···<ip k=1
X X
= ei1 ∧ · · · ∧ eip−1 ⊗ ( fj zji1 ...ip−1 ).
i1 <···<ip−1 j∈{1,...,r}−{i1 ,...,ip−1 }
156 CHAPTER 2. COHOMOLOGY
So we have X
(∂z)i1 ...ip−1 = fj zji1 ...ip−1 .
j∈{1,...,r}−{i1 ,...,ip−1 }
We claim that
∗∂ = (−1)p−1 d∗
on Kp (f1 , . . . , fr ; M ). Our assertion then follows. Suppose
We have
(∗∂z)j1 ...jr−p+1
= sgn(i1 . . . ip−1 j1 . . . jr−p+1 )(∂z)i1 ...ip−1
X
= sgn(i1 . . . ip−1 j1 . . . jr−p+1 ) fj zji1 ...ip−1
j∈{1,...,r}−{i1 ,...,ip−1 }
r−p+1
X
= sgn(i1 . . . ip−1 j1 . . . jr−p+1 ) fjk zjk i1 ...ip−1 ,
k=1
2.4. COHOMOLOGY OF AFFINE AND PROJECTIVE SCHEMES 157
and
(d ∗ z)j1 ...jr−p+1
r−p+1
X
= (−1)k−1 fjk (∗z)j1 ...ĵk ...jr−p+1
k=1
r−p+1
X
= (−1)k−1 fjk sgn(jk i1 . . . ip−1 j1 . . . ĵk . . . jr−p+1 )zjk i1 ...ip−1
k=1
r−p+1
X
= (−1)p−1 sgn(i1 . . . ip−1 j1 . . . jr−p+1 ) fjk zjk i1 ...ip−1 .
k=1
Proof. For any A-module M and any f ∈ A, consider the direct system
(M (n) , fmn )n∈N defined by M (n) = M for any n ∈ N and
fmn : M (m) → M (n) , x 7→ f n−m x
2.4. COHOMOLOGY OF AFFINE AND PROJECTIVE SCHEMES 159
Q (n)
where the direct system ( Mi0 ...ip )n∈N is defined by
1≤i0 <···<ip ≤r
(n)
Y Y
Mi0 ...ip = M
1≤i0 <···<ip ≤r 1≤i0 <···<ip ≤r
(n)
for any m ≤ n. Let Cnp (M ) =
Q
Mi0 ...ip and define
1≤i0 <···<ip ≤r
by
p+1
X
(dx)i0 ...ip+1 = (−1)k fink xi0 ...îk ...ip+1 .
i=0
C · (U, F) ∼
= dir. lim Cn· (M ).
n
Ȟ p (U, F) ∼
= dir. lim H p (Cn· (M )).
n
We will show H p (Cn· (M )) = 0 for any n and any p ≥ 1. This implies Ȟ p (U, F) =
0 for any p ≥ 1. Since any open covering of X has a refinement consisting of
open subsets of the form D(f ) (f ∈ A), we have Ȟ p (X, F) = 0 for any p ≥ 1.
160 CHAPTER 2. COHOMOLOGY
Since {D(f1n ), . . . , D(frn )} covers X = SpecA, f1n , . . . , frn generate the unit
ideal of A. Note that for any p ≥ 1, the sequence
d d
Cnp−1 (M ) → Cnp (M ) → Cnp+1 (M )
So we have
H p (Cn· (M )) ∼
= H p+1 (f1n , . . . , frn ; M ).
Our assertion then follows from Proposition 4.2.
Proof. Let B be the family of affine open subschemes of X. Then for any
U1 , . . . , Uk in B, U1 ∩ · · · ∩ Uk is also affine by Proposition 1.3.25 (i) and hence
Ȟ q (U1 ∩ · · · ∩ Uk , F) = 0 for any q ≥ 1 by Proposition 4.4. The corollary then
follows from Proposition 3.11.
The first and third vertical arrows are isomorphisms since F and H are quasi-
coherent. So the middle vertical arrow is also an isomorphism and hence G is
quasi-coherent.
Let U = {Ui }i∈I be an open covering of X. For any open subsets Ui0 , . . . , Uin
in U, let ji0 ...in : Ui0 ...in ,→ X be the inclusion. Define the sheafified Čech
complex C · (U, F) as follows: Fix a total order on I. For any n ≥ 0, let
Y
C n (U, F) = ji0 ...in ∗ F.
i0 <···<in
Define
d : C n (U, F) → C n+1 (U, F)
as follows: For any Q open subset V of X and any section s = (si0 ...in ) in
C n (U, F)(V ) = F(Ui0 ...in ∩ V ), define a section ds = ((ds)i0 ...in+1 ) in
i0 <···<in
C n+1 (U, F)(V ) =
Q
F(Ui0 ...in+1 ∩ V ) by
i0 <···<in+1
n+1
X
(ds)i0 ...in+1 = (−1)k si0 ...îk ...in+1 |Ui0 ...in+1 ∩V .
k=0
Note that the n-th cohomology sheaf of C · (U, F) is the sheaf associated to the
presheaf V 7→ Ȟ n (U ∩ V, F), where U ∩ V is the open covering {Ui ∩ V }i∈I of
V.
H n (f −1 (V ), F) ∼
= Γ(V, Rn f∗ F).
Rn f∗ F = H n (X, F)∼ .
V 7→ Ȟ n (U ∩ f −1 (V ), F).
Ȟ n (U ∩ f −1 (V ), F) = H n (f −1 (V ), F)
for any affine open subscheme V of Y . Hence H n (f∗ C · (U, F)) is also the sheaf
associated to the presheaf
V 7→ H n (U ∩ f −1 (V ), F).
Rn f∗ F ∼
= H n (f∗ C · (U, F)).
f∗ C · (U, F) ∼
= Γ(Y, f∗ C · (U, F))∼ .
Obviously we have
Γ(Y, f∗ C · (U, F)) = C · (U, F).
So we have
Rn f∗ F = H n (C · (U, F))∼
= Ȟ n (U, F)∼
= H n (X, F)∼ .
In particular, we have
g ∗ Rp f∗ F → Rp f∗0 g 0∗ F.
Rp f∗ F = H p (X, F)∼ ,
p 0 0∗
R f∗ g F = H p (X ×Y Y 0 , g 0∗ F)∼ .
A0 ⊗A H p (X, F) → H p (X ×Y Y 0 , g 0∗ F)
A0 ⊗A C · (U, F) ∼
= C · (U0 , g 0∗ F).
Taking p-th cohomology groups on both sides and using the fact that A0 is flat
over A, we get
A0 ⊗A H p (X, F) ∼
= H p (X ×Y Y 0 , g 0∗ F).
164 CHAPTER 2. COHOMOLOGY
Proposition 4.11. Let A be a ring, let S be the ring A[x0 , . . . , xr ] with the
grading defined by the degrees of polynomials, and let X = ProjS.
(i) The canonical homomorphism
∞
M
S → Γ∗ (OX ) = H 0 (X, OX (n))
n=−∞
is an isomorphism.
∞
1
H r (X, OX (n)) is a free A-module with basis
L
(ii) k (ki > 0),
n=−∞ x0 0 ···xk
r
r
1
where k lies in H r (X, OX (−(k0 + · · · + kr ))).
x0 0 ···xk
r
r
∞
H p (X, OX (n)) = 0 for any p 6= 0, r.
L
(iii)
n=−∞
Proof. (i) is proved in Lemma 1.4.23. Let’s prove (ii) and (iii). Consider the
open covering U = {D+ (xi )|i = 0, . . . , r} of X. By Corollary 4.5, for any p, we
have
∞ ∞
∼
M M
p
H (X, OX (n)) = Ȟ p (U, OX (n)).
n=−∞ n=−∞
We have
∞
M Y ∞
M
C 0p (U, OX (n)) = ( OX (n))(D+ (xi0 · · · xip ))
n=−∞ 0≤i0 <···<ip ≤r n=−∞
Y
= Sxi0 ···xip .
0≤i0 <···<ip ≤r
Note that
∞
M ∞
M ∞
M
C r−1 (U, OX (n)) → C r (U, OX (n)) → C r+1 (U, OX (n))
n=−∞ n=−∞ n=−∞
∞
H r (X, OX (n)) is the cokernel of the homomorphism
L
So
n=−∞
r
Y r
X
Sx0 ...x̂k ...xr → Sx0 ...xr , (gk ) 7→ (−1)k gk .
k=0 k=0
2.4. COHOMOLOGY OF AFFINE AND PROJECTIVE SCHEMES 165
Note that Sx0 ...xr is a free A-module with basis xk00 · · · xkr r (ki ∈ Z) and the image
of the above homomorphism is the submodule generated by those xk00 · · · xkr r
∞
H r (X, OX (n)) is a free A-module with basis
L
with at least one ki ≥ 0. So
n=−∞
1
k (ki > 0). This proves (ii). On the other hand, we have
x0 0 ···xk
r
r
∞
(n)
M Y Y
C 0p (U, OX (n)) = Sxi0 ···ip = dir. lim Si0 ...ip ,
n
n=−∞ 0≤i0 <···<ip ≤r 0≤i0 <···<ip ≤r
Q (n)
where the direct system ( Si0 ...ip )n∈N is defined by
0≤i0 <···<ip ≤r
(n)
Y Y
Si0 ...ip = S
0≤i0 <···<ip ≤r 0≤i0 <···<ip ≤r
(n)
for any m ≤ n. Let Cnp (S) =
Q
Si0 ...ip and define
0≤i0 <···<ip ≤r
by
p+1
X
(ds)i0 ...ip+1 = (−1)k xnik si0 ...îk ...ip+1 .
k=0
So we have
∞
H p (X, OX (n)) ∼
M
= dir. lim H p (Cn· (S)).
n
n=−∞
∞
H p (X, OX (n)) = 0 for any p 6= 0, r.
L
when p 6= 0, r. Hence
n=−∞
0 → R → E → F → 0.
One can verify that the image of s0 ∈ f ∗ f∗ F(n)(f −1 (V )) under the canonical
morphism f ∗ f∗ F(n) → F(n) is the original section s ∈ F(n)(f −1 (V )). So
(f ∗ f∗ F(n))|f −1 (V ) → F(n)|f −1 (V )
(H n (X, F))∧ ∼
= inv. lim H n (X, F/I k F).
k
where (H n (X, F))∧ = inv. limk H n (X, F)/I k H n (X, F) is the I-adic completion
of H p (X, F). We then use these results to obtain the Stein factorization of a
168 CHAPTER 2. COHOMOLOGY
for any n. Using the fact that i∗ is an exact functor and maps injective sheaves
on Z to injective sheaves on X, one can verify that
Rn f∗ (i∗ g∗ OZ 0 (k)) ∼
= Rn (f i)∗ (g∗ OZ 0 (k)).
By Corollary 4.13 (i), g∗ OZ 0 (k) and Rn (f ig)∗ OZ 0 (k) are coherent for any n.
So Rn f∗ (i∗ g∗ OZ 0 (k)) is coherent for any n. Since g induces an isomorphism
of g −1 (U ) with U , we have (g∗ OZ 0 (k))z 6= 0. Note that (g∗ OZ 0 (k))z and Gz
are finite dimensional vector spaces over the field OZ,z . So there exist natural
numbers l and m such that there exists an isomorphism of OZ,z -vector spaces
φz : (g∗ OZ 0 (k))lz ∼
= (Gz )m .
Proof. First consider the case where X = SpecA is affine. Let j : U → X be the
open immersion. Since GU is a submodule of j ∗ F = F|U , j∗ GU is a submodule
of j∗ j ∗ F. Let G 0 be the inverse image of j∗ GU under the canonical morphism
F → j∗ j ∗ F. Since F, j∗ j ∗ F and j∗ GU are quasi-coherent by Proposition 1.4.9,
G 0 is quasi-coherent. Note that j ∗ G 0 is the inverse image of j ∗ j∗ GU = GU under
the identity morphism j ∗ F → j ∗ (j∗ j ∗ F) = j ∗ F. So j ∗ G 0 = G|U . Assume
G 0 = M ∼ for some A-module M . We have M = dir. limn Mn , where the direct
limit is taken over the direct system of finitely generated A-submodules Mn of
M . Then G 0 = dir. limn Gn , where each Gn = Mn∼ is a coherent OX -submodule
of F. Note that GU = j ∗ G 0 = dir. limn j ∗ Gn . We claim that GU = j ∗ Gn for
some n. This would prove the lemma in the case where X is affine. Cover
U by finitely many affine open subschemes Ui = SpecAi (i ∈ I). Since GU is
a coherent OU -module, we have GU |Ui = Ni∼ for some finitely generated Ai -
modules Ni . We have GU |Ui = dir. limn Gn |Ui = dir. limn (Ai ⊗A Mn )∼ . So
Ni ∼ = dir. limn Ai ⊗A Mn . Since each Ni is a finitely generated Ai -module, there
exists an Mn such that Ni ∼ = Ai ⊗A Mn for all i. We then have GU = j ∗ Gn .
In general, we cover X by finitely many affine open subschemes U1 , . . . , Un .
Let Vi = U ∪ U1 ∪ · · · ∪ Ui (1 ≤ i ≤ n). We will construct coherent OVi -
submodules GVi of F|Vi by induction on i such that GVi |U = GU . Then G = GVn
would have the required property. By the affine case treated above, there exists
a coherent OU1 -submodule HU1 of F|U1 such that HU1 |U ∩U1 = GU |U ∩U1 . We
may glue HU1 and GU together to get a sheaf GV1 on V1 = U ∪ U1 . Suppose we
have constructed GVi . By the affine case treated above, we may find a coherent
OUi+1 -submodule HUi+1 of F|Ui+1 such that HUi+1 |Vi ∩Ui+1 = GVi |Vi ∩Ui+1 . We
can glue HUi+1 and GVi together to get a sheaf GVi+1 on Vi ∪ Ui+1 = Vi+1 .
Corollary 5.4.
(i) Let X be a noetherian scheme and let F and G be coherent OX -modules.
Then ExtnOX (F, G) is a coherent OX -module for any n.
(ii) Let A be a noetherian ring, X a scheme proper over SpecA, and F and
G coherent OX -modules. Then ExtnOX (F, G) is a finitely generated A-module
for any n.
Proof. (i) The problem is local. We may assume X = SpecA for some noethe-
rian ring A. Then F ∼
= M ∼ for some finitely generated A-module. Since M has
2.5. COHOMOLOGICAL STUDY OF PROPER MORPHISMS 171
· · · → E1 → E0 → F → 0
Note that each HomOX (Ei , G) is coherent. So ExtnOX (F, G) is also coherent.
(ii) We have a biregular spectral sequence
By Corollary 5.3, each H p (X, ExtqOX (F, G)) is a finitely generated A-module.
172 CHAPTER 2. COHOMOLOGY
∞
OX 0 -module F 0 such that g∗0 F 0 ∼ I k F. Note that F 0 is actually coherent.
L
=
k=0
Since g 0 is affine, the biregular spectral sequence
∞
By Corollary 5.3, H n (X 0 , F 0 ) is a finitely generated S-module. So H n (X, I k F)
L
k=0
is a finitely generated graded S-module.
(H n (X, F))∧ ∼
= inv. lim H n (X, F/I k F),
k
where (H n (X, F))∧ = inv. limk H n (X, F)/I k H n (X, F) is the I-adic completion
of the A-module H n (X, F).
Proof. Obviously I k H n (X, F/I k F) = 0 for any n and any k. So the canonical
homomorphism H n (X, F) → H n (X, F/I k F) induces a homomorphism
Let
Passing to inverse limit and applying Proposition 1.5.1, we get an exact sequence
0 → inv. lim H n (X, F)/Rk → inv. lim H n (X, F/I k F) → inv. lim Qk → 0.
k k k
By Lemma 5.7 below, we have inv. limk H n (X, F)/Rk ∼ = (H n (X, F))∧ . By
Lemma 5.8 below, we have inv. limk Qk = 0. So we have
(H n (X, F))∧ ∼
= inv. lim H n (X, F/I k F).
k
(H n (X, F))∧ ∼
= inv. lim H n (X, F)/Rk .
k
where the horizontal arrows are induced by multiplications by a and the vertical
arrows are inclusions. This diagram induces the following:
a
H n (X, I k F) → H n (X, I k+l F)
↓ ↓
n a n
H (X, F) → H (X, F).
So the multiplication by a maps the image of the first vertical arrow to the image
∞
of the second vertical arrow, that is, I l Rk ⊂ Rk+l . This makes
L
Rk a graded
k=0
∞ ∞
k
H n (X, I k F). By
L L
S= I -module. It is a quotient of the graded S-module
k=0 k=0
∞ ∞
H n (X, I k F) is finitely graded. So
L L
Lemma 5.5, S is noetherian and Rk is
k=0 k=0
a finitely generated graded S-module. Let xi (i = 1, . . . , m) be a finite family of
∞
L
homogeneous elements generating Rk and let k0 = max(degx1 , . . . , degxm ).
k=0
One can verify Rk0 +l = I l Rk0 for any l ≥ 0. When k ≥ k0 , we have
I k H n (X, F) = I k R0 ⊂ Rk .
174 CHAPTER 2. COHOMOLOGY
So
(H n (X, F))∧ = inv. lim H n (X, F)/I k H n (X, F) ∼
= inv. lim H n (X, F)/Rk .
k k
Lemma 5.8. There exists an integer k0 such that the canonical homomorphism
Qk+k0 → Qk vanishes for any k ≥ k0 .
Proof. First note that f is surjective and hence f −1 (y) is nonempty. Indeed,
since f is proper, f (X) is closed. Suppose f (X) 6= Y and let y ∈ Y − f (X). We
have (f∗ OX )y = 0. But (f∗ OX )y ∼ = OY,y 6= 0. Contradiction. So we must have
f (X) = Y .
We have a canonical flat morphism SpecOY,y → Y . Indeed, let V = SpecA
be an affine open neighborhood of y in Y and let p be the prime ideal of A
corresponding to y. Then it is the composition
f∗0 OX 0 ∼
= f∗0 i∗ OX ∼
= j ∗ f∗ OX ∼
= j ∗ OY ∼
= OSpecOY,y .
So we have
H 0 (X 0 , OX 0 ) ∼
= Γ(SpecOY,y , f∗0 OX 0 ) ∼
= Γ(SpecOY,y , OSpecOY,y ) ∼
= OY,y .
(H 0 (X 0 , OX 0 ))∧ ∼
=ObY,y .
H 0 (X 0 , OX 0 /mky OX 0 ) ∼
= H 0 (Xk , OXk ).
Therefore
inv. lim H 0 (Xk , OXk ) ∼
=ObY,y .
k
0
In particular, inv. limk H (Xk , OXk ) is a local ring. Note that Xk has the same
underlying topological space as f −1 (y) for any k. Suppose f −1 (y) is not con-
nected. Then f −1 (y) is a union of two disjoint open subsets U1 and U2 . We
have
inv. lim H 0 (Xk , OXk ) = inv. lim H 0 (U1 , OXk ) ⊕ inv. lim H 0 (U2 , OXk ).
k k k
The elements (1, 0) and (0, 1) in inv. limk H 0 (U1 , OXk ) ⊕ inv. limk H 0 (U2 , OXk )
are not unit and their sum is a unit. So inv. limk H 0 (Xk , OXk ) can not be a
local ring. Contradiction. So f −1 (y) is connected.
T
is a finite set, A has only finitely maximal ideals, say m1 , . . . , mn . If p = mij
Q j
is a prime ideal, then we have p ⊃ mij and hence p ⊃ mij for some ij . On
T j
the other hand, we have p = mij ⊂ mij . So we have p = mij . So all the prime
j
ideals of A are maximal. Therefore all the points in the finite set U are closed.
This shows that U is discrete and hence X is discrete.
(ii)⇒(iii) Since X is of finite type over Speck, it is quasi-compact. Since the
underlying topological space of X is discrete, X has only finitely many points,
say x1 , . . . , xn , and each {xi } is an open subset of X. One can verify that
Qn n
Q
X = Spec( OX,xi ) and OX,xi is an artinian ring.
i=1 i=1
(iii)⇒(i) Follows from Propositions 8.1 and 8.3 in [Atiyah-Macdonald].
f0 g
isolated in f −1 (f (x)). Then X 0 is open in X. Let X → Y 0 → Y be the Stein
factorization of f . Then f 0 |X 0 : X 0 → Y 0 is an open immersion.
OY 0 ,f 0 (x) ∼
= OX,x .
By Proposition 1.3.13 (iii), there exists a neighborhood Wx of x in X such that
f 0 |Wx : Wx → Y 0 is an open immersion. For any P ∈ Wx , since g is a finite
morphism, f 0 (P ) is isolated in g −1 (f (P )). So we may find an open neighborhood
Wf0 0 (P ) of f 0 (P ) in Y 0 such that Wf0 0 (P ) ∩ g −1 (f (P )) = {f 0 (P )}. We then have
Wx ∩ f 0−1 (Wf0 0 (P ) ) ∩ f −1 (f (P )) = {P }.
Corollary 5.15. Let Y be a noetherian integral scheme such that for any y ∈ Y ,
the integral domain OY,y is integrally closed in its fraction field, (schemes with
this property are called normal), and let X be a noetherian integral scheme.
Then any separated quasi-finite birational morphism f : X → Y must be an
open immersion.
OX (U1 )
↓ &
OX (U1 ∩ U2 ) → OX,ξ ,
↑ %
OX (U2 )
where all the arrows are monomorphisms. So we may regard OX (U1 ), OX (U2 )
and OX (U1 ∩ U2 ) as subrings of OX,ξ . Then OX (U1 ∩ U2 ) is the subring of OX,ξ
generated by OX (U1 ) and OX (U2 ). We have a commutative diagram
OX (U1 )
↓ &
OX,x1 = OX,x2 → OX,ξ ,
↑ %
OX (U2 )
One can verify that dd = 0 and there exists a long exact sequence
· · · → H i (K · ) → H i (C · ) → H i (L· ) → H i+1 (K · ) → · · ·
So
· · · → Li ⊗A M → Li+1 ⊗A M → · · ·
is exact. Hence H i (L· ⊗A M ) = 0 for any i. The long exact sequence
· · · → H i (K · ⊗A M ) → H i (C · ⊗A M ) → H i (L· ⊗A M ) → H i+1 (K · ⊗A M ) → · · ·
182 CHAPTER 2. COHOMOLOGY
0 → K 0 /B 0 (K · ) → K 1 → K2 → ···
↓ ↓ ↓
0 → C0 → C1 → C2 → ···
· · · → K −1 → K 0 → K 0 /B 0 (K · ) → 0
H −i (K · ⊗A M ) ∼
= H −i (C · ⊗A M ).
H −i (K · ⊗A M ) = 0
for any i ≥ 1. So
·
TorA 0 0
i (K /B (K ), M ) = 0
H i (K · ) ∼
= H i (C · ) for any i > p + 1, and Z p+1 (K · ) → H p+1 (C · ) is surjective.
Consider the following diagram:
α β
A → B → Z p+1 (K · )
↓ ↓ ↓
Cp → C p /B p (C · ) → Z p+1 (C · ),
where the first row is the pulling back of the second row by Z p+1 (K · ) →
Z p+1 (C · ), that is,
B = {(c, k) ∈ C p/B p(C · )⊕Z p+1(K · )|c and k have the same image in Z p+1 (C · )},
A = {(c, k) ∈ C p ⊕ Z p+1 (K · )|c and k have the same image in Z p+1 (C · )}.
One can verify that the third vertical arrow in the above diagram induces a
monomorphism cokerβ → H p+1 (C · ). By our induction hypothesis, it is sur-
jective and hence is an isomorphism. The second vertical arrow induces an
isomorphism kerβ ∼= H p (C · ). So we have an exact sequence
β
0 → H p (C · ) → B → Z p+1 (K · ) → H p+1 (C · ) → 0.
Since H p (C · ), H p+1 (C · ) and K p+1 are finitely generated A-modules, B is also
finitely generated. One can verify α is surjective. Let a1 , . . . , ar be elements
in A such that α(a1 ), . . . , α(ar ) generate B, let K p be a free A-module with
rank r, and let γ : K p → A be a homomorphism which maps a basis of K p to
{a1 , . . . , ar }. Then αγ is surjective. This implies that
H p+1 (K · ) = cokerβ ∼
= H p+1 (C · )
and
αγ
Z p (K · ) = ker(βαγ) → kerβ ∼
= H p (C · )
is surjective. In this way, we get a complex K · of free A-modules of finite
ranks and a morphism K · → C · inducing isomorphisms on cohomology groups.
Moreover, we have K i 6= 0 only when i ≤ n. To get the complex with the
required property, we replace K · by
0 → K 0 /B 0 (K · ) → K 1 → · · · → K n → 0.
By Lemma 6.2, K 0 /B 0 (K · ) is a flat A-module. It has finite presentation since
K 0 and K −1 are free A-modules with finite ranks. So by Proposition 1.18,
K 0 /B 0 (K · ) is a projective A-modules. By Lemma 6.1 and 6.2, the complex
0 → K 0 /B 0 (K · ) → K 1 → · · · → K n → 0
has the required property.
such that for each i, K i is a finitely generated projective A-module, and for any
A-module M , there exists an isomorphism
H i (X, F ⊗A M ) ∼
= H i (K · ⊗A M )
H i (X ×Y SpecB, F ⊗A B) ∼
= H i (K ⊗A B)
H i (Xy , Fy ) ∼
= H i (K · ⊗A k(y)) ∼
= H i (X, F ⊗A k(y)).
H i (X, F ⊗A M ) ∼
= H i (C · ⊗A M ).
C 0· (U0 , F ⊗A B) = C · ⊗A B.
H i (X ×Y SpecB, F ⊗A B) ∼
= H i (C · ⊗A M )
y 7→ dimk(y) H i (Xy , Fy )
on Y is locally constant.
Proof. The problem is local with respect Y . So we may assume Y = SpecA for
some noetherian ring A. Let K · be the complex in Proposition 6.4. We have
dimk(y) H i (Xy , Fy )
= dimk(y) H i (K · ⊗A k(y))
= dimk(y) ker(di ⊗ idk(y) ) − dimk(y) im(di−1 ⊗ idk(y) )
= dimk(y) (K i ⊗A k(y)) − dimk(y) im(di ⊗ idk(y) ) − dimk(y) im(di−1 ⊗ idk(y) ).
y 7→ dimk(y) (K i ⊗A k(y))
on Y is locally constant. This proves (ii). To prove (i), it suffices to show that
for every i, the function
y 7→ dimk(y) H i (Xy , Fy )
186 CHAPTER 2. COHOMOLOGY
is locally constant on Y for some i, then Ri f∗ F is locally free and the canonical
homomorphism
(Ri f∗ F)y ⊗OY,y k(y) → H i (Xy , Fy )
is an isomorphism for any y ∈ Y .
y 7→ dimk(y) (K i ⊗A k(y))
is also locally constant. But the functor − ⊗A k(y) is right exact, so we have
coker(di ⊗ idk(y) ) ∼
= (cokerdi ) ⊗A k(y).
0 → kerdi → K i → imdi → 0
K i ⊗A k(y) ∼
= (kerdi ) ⊗A k(y) ⊕ (imdi ) ⊗A k(y),
im(di−1 ⊗ idk(y) ) is contained in the factor (kerdi ) ⊗A k(y). Since kerdi is pro-
jective, the function
y 7→ dimk(y) ((kerdi ) ⊗A k(y))
is locally constant. So the function
So the function
y 7→ dimk(y) (H i (K · ) ⊗A k(y))
is locally constant. By Lemma 6.7 below, H i (K · ) is a projective A-module. By
Proposition 6.4, we have H i (X, F) ∼
= H i (K · ), and by Proposition 4.9, we have
Ri f∗ F ∼
= (H i
(X, F))∼
. So
Ri f∗ F ∼
= (H i (K · ))∼ .
0 → imdi−1 → kerdi → H i (K · ) → 0
188 CHAPTER 2. COHOMOLOGY
H i (K · ⊗A k(y)) ∼
= H i (K · ) ⊗A k(y),
that is,
H i (Xy , Fy ) ∼
= (Ri f∗ F)y ⊗OY,y k(y).
OVn → F|V , ei 7→ si ,
where for each i, ei is the section of OVn whose i-th component is 1 and whose
other components are 0. Let C be cokernel of this morphism. By Nakayama’s
lemma, (OVn )P → FP is surjective and hence CP = 0. By Proposition 1.4.1,
after shrinking the neighborhood V of P , we may assume C|V = 0 and hence
OVn → F|V is surjective. Since V is connected, the locally constant function
2.6. LOCAL FREENESS OF HIGHER DIRECT IMAGES 189
Proposition 6.8. Let A be a noetherian local ring with the maximal ideal m,
X a scheme proper over SpecA, and F a coherent OX -module flat over SpecA.
For each i, the following conditions are equivalent:
(i) The canonical homomorphism
is surjective.
(ii) The canonical homomorphism
H i (X, F) ⊗A M → H i (X, F ⊗A M )
H i (X, F) ⊗A M → H i (X, F ⊗A M )
F → F ⊗A M, s 7→ s ⊗ x
φx : H i (X, F) → H i (X, F ⊗A M ).
H i (X, F) ⊗A M → H i (X, F ⊗A M )
is defined by s ⊗ x 7→ φx (s).
(i)⇒(ii) We first prove
H i (X, F) ⊗A M → H i (X, F ⊗A M )
190 CHAPTER 2. COHOMOLOGY
is surjective for any A-module M with finite length. This is trivial when
lengthA M = −1, that is, when M = 0. Suppose lengthA M = 0. Then M = Ax
for any nonzero element x in M . So M ∼
= A/Ann(x). Since
0 ⊂ m/Ann(x) ⊂ A/Ann(x)
0 → M 0 → M → M 00 → 0
0 → F ⊗A M 0 → F ⊗A M → F ⊗A M 00 → 0
is exact. The second row in the above diagram is a part of the long exact
sequence of cohomology groups associated to this short exact sequence.
Next we show (ii) holds for any finitely generated A-module M . Note that
M/mn M is an A-module with finite length for each n. So
is surjective. Let Kn be its kernel. Each Kn has finite length. So the inverse
system (Kn )n∈N satisfies the Mittag-Leffler condition. Hence by Proposition
1.5.1, the homomorphism
is surjective. Let A
b be the m-adic completion of A. By Proposition 1.5.5, we
have
So the homomorphism
(H i (X, F) ⊗A M ) ⊗A A
b → H i (X, F ⊗A M ) ⊗A A
b
H i (X, F) ⊗A M → H i (X, F ⊗A M )
where the second equality follows from Proposition 1.12 (ii). Since each
H i (X, F) ⊗A Mn → H i (X, F ⊗A Mn )
is surjective,
H i (X, F) ⊗A M → H i (X, F ⊗A M )
is also surjective.
(ii)⇒(iii) Given a short exact sequence of A-modules
0 → M 0 → M → M 00 → 0,
where the two rows are exact and all the vertical arrows are surjective. This
implies that H i (X, F ⊗ M ) → H i (X, F ⊗A M 0 ) is surjective. So the sequence
The two rows are exact since the functors H i (X, F) ⊗A − and H i (X, F ⊗A −)
are right exact. The first two vertical arrows are obviously isomorphisms. So the
last vertical arrow is also an isomorphism. This proves (iv) for finitely generated
A-modules. The general case follows by writing a module as the direct limit of
its finitely generated submodules.
(iv)⇒(i) Trivial.
(Ri f∗ F)y ∼
= H i (X ×Y SpecOY,y , p∗ F),
H i (Xy , Fy ) ∼
= H i (X ×Y SpecOY,y , p∗ F ⊗OY,y k(y)).
By our assumption,
H i (X ×Y SpecOY,y , p∗ F) ⊗OY,y M ∼
= H p (X ×Y SpecOY,y , p∗ F ⊗OY,y M )
2.6. LOCAL FREENESS OF HIGHER DIRECT IMAGES 193
M 7→ H i (X ×Y SpecOY,y , p∗ F) ⊗OY,y M ∼
= H i (X ×Y SpecOY,y , p∗ F ⊗OY,y M )
is exact for any y ∈ Y . Using the assumption that F is flat over Y and the long
exact sequence of cohomology groups, we see that the functor
M 7→ H i (X ×Y SpecOY,y , p∗ F ⊗OY,y M )
is exact if and only if the following two functors are right exact:
M 7→ H i (X ×Y SpecOY,y , p∗ F ⊗OY,y M ),
M 7→ H i−1 (X ×Y SpecOY,y , p∗ F ⊗OY,y M ).
H i−1 (Xy , Fy ) ∼
= (Ri−1 f∗ F)y ⊗OY,y k(y) = 0.
H n (X, b ∼
b F) = inv. lim H n (X, F/I k F).
k
Moreover, we prove Grothendieck’s existence theorem, which says that any co-
herent OXb -module is the formal completion of some coherent OX -module. We
start with a series of lemmas:
Lemma 7.1. Let (Ck· )k∈N be an inverse system of complexes of abelian groups.
Suppose for any n, the inverse system (H n (Ck· ))k∈N satisfies the Mittag-Leffler
condition, and for any n and any pair l ≥ k, the homomorphism Cln → Ckn is
surjective. Then for any n, we have H n (inv. limk Ck· ) ∼
= inv. limk H n (Ck· ).
2.7. GROTHENDIECK’S EXISTENCE THEOREM 195
Proof. For any pair l ≥ k and any n, since Cln−1 → Ckn−1 is surjective,
B n (Cl· ) → B n (Ck· ) is also surjective. Since (H n (Ck· ))k∈N satisfies the Mittag-
Leffler condition, there exists a k0 such that for any l ≥ k + k0 , we have
So the inverse systems (Z n (Ck· ))k∈N , (B n (Ck· ))k∈N and (H n (Ck· ))k∈N satisfy
the Mittag-Leffler condition for any n. By Proposition 1.5.1, the following
sequences are exact:
0 → inv. lim Z n (Ck· ) → inv. limk Ckn → inv. lim B n+1 (Ck· ) → 0,
k k
0 → inv. lim B n (Ck· ) → inv. limk Z n (Ck· ) → inv. lim H n (Ck· ) → 0.
k k
Lemma 7.2. Let (Fk )k∈N be an inverse system of sheaves of abelian groups
on a topological space X. Suppose each Fk is flasque and for any pair l ≥ k,
the morphism Fl → Fk is surjective and its kernel is also flasque. Then for any
open subset U of X, the homomorphism
Γ(U, Fl ) → Γ(U, Fk )
for any n ≥ 1.
Proof. For any pair l ≥ k, let Klk be the kernel of the epimorphism Fl → Fk .
The sequence
0 → Klk → Fl → Fk → 0
is an exact sequence of flasque sheaves. By lemma 1.11,
Γ(U, Fl ) → Γ(U, Fk )
is surjective for any open subset U of X. Moreover, for any open covering U of
U and any n, the homomorphism
C n (U, Fl ) → C n (U, Fk )
196 CHAPTER 2. COHOMOLOGY
H n (C · (U, Fl )) → H n (C · (U, Fk ))
is surjective for each n. Indeed, when n = 0, this follows from the surjectivity
of
Γ(U, Fl ) → Γ(U, Fk ).
When n ≥ 1, by Proposition 3.6, we have
H n (C · (U, Fk )) = 0.
So we can apply Lemma 7.1 to the inverse system (C · (U, Fk ))k∈N and we get
So we have
Ȟ n (U, inv. lim Fk ) ∼
= inv. lim Ȟ n (U, Fk ).
k k
n
When n ≥ 1, we have H (U, Fk ) = 0 by Proposition 3.6 and hence
This is true for any open covering U of any open set U . By Proposition 3.11,
this implies that
H n (X, inv. lim Fk ) = 0
k
for any n ≥ 1.
Γ(U, Fl ) → Γ(U, Fk )
is surjective.
(b) For any U in B, we have
H n (U, Fk ) = 0
Then we have
H n (X, inv. lim Fk ) ∼
= inv. lim H n (X, Fk ).
k k
Proof. By (a), the morphism Fl → Fk is surjective for any pair l ≥ k. Let Klk
be its kernel. By Proposition 1.10, for any i ≥ 0, we have an exact sequence
where C · (−) is the Godement resolution functor. So for each i, the inverse
system (C i (Fk ))k∈N satisfies the condition of Lemma 7.2. Hence
for any n ≥ 1 and any i. Moreover, for any open subset U in X and any pair
l ≥ k, the homomorphism
is surjective.
Let U be a member in B. By (a) and (b) and the fact that
the homomorphism
We have seen
Γ(X, C n (Fl )) → Γ(X, C n (Fk ))
is surjective. Moreover, for any n, the inverse system
Therefore
H n (X, inv. lim Fk ) ∼
= inv. lim H n (X, Fk ).
k k
Xb = supp(OX /I),
OXb = inv. lim(OX /I k )|Xb .
k
H n (X, b ∼
b F) = inv. lim H n (X, F/I k F),
k
where I k F = (I k )∼ F.
and hence
i∗ Fb = i∗ (inv. lim(F/I k F)|Xb ) = inv. lim F/I k F.
k k
2.7. GROTHENDIECK’S EXISTENCE THEOREM 199
Using the fact that i∗ is an exact functor and transforms injective sheaves on
X
b to injective sheaves on X, one can verify that
H n (X, b ∼
b F) = H n (X, i∗ F).
b
So
H n (X, b ∼
b F) = H n (X, inv. lim F/I k F).
k
Let Qk = im(H n (X, F/I k F) → H n+1 (X, I k F)). Then we have an exact se-
quence
H n (X, F) → H n (X, F/I k F) → Qk → 0.
By Lemma 5.8, there exists a natural number k0 such that the canonical ho-
momorphism Qk+k0 → Qk vanishes for any k ≥ k0 . Then Qk+2k0 → Qk+k0
vanishes for any k. For any k and any l ≥ k + 2k0 , the canonical homomor-
phism Ql → Qk vanishes since it can be factorized as
Ql → Qk+2k0 → Qk+k0 → Qk .
im(H n (X, F/I l F) → H n (X, F/I k F)) ⊂ im(H n (X, F) → H n (X, F/I k F)).
im(H n (X, F) → H n (X, F/I k F)) ⊂ im(H n (X, F/I l F) → H n (X, F/I k F)).
So
im(H n (X, F/I l F) → H n (X, F/I k F)) = im(H n (X, F) → H n (X, F/I k F))
for any l ≥ k + 2k0 . So the inverse system (H n (X, F/I k F))k∈N satisfies the
Mittag-Leffler condition. On the other hand, for any affine open subscheme U
of X, the homomorphism
H n (U, F/I k F) = 0
200 CHAPTER 2. COHOMOLOGY
So
H n (X, b ∼
b F) = inv. lim H n (X, F/I k F).
k
Rn fˆ∗ Fb ∼
= inv. lim Rn fk∗ Fk ∼ n f F,
= R\ ∗
k
Proof. Note that X b and Xk (resp. Yb and Yk ) have the same underlying
topological space, and fb and fk are the same as maps on these topological spaces.
The family of canonical morphisms Fb → Fk induces a family of morphisms
Rn fˆ∗ Fb → Rn fk∗ Fk
and hence a morphism
Rn fˆ∗ Fb → inv. lim Rn fk∗ Fk .
k
So
H n (X b ∼
b ∩ f −1 (U ), F) = inv. lim H n (Xk ∩ f −1 (U ), Fk ),
k
that is,
b ∼
H n (fˆ−1 (Yb ∩ U ), F) = inv. lim H n (fk−1 (Yk ∩ U ), Fk ),
k
V 7→ H n (fˆ−1 (V ), F)
b
V 7→ H n (fk−1 (V ), Fk ),
Rn fˆ∗ Fb ∼
= inv. lim Rn fk∗ Fk .
k
Let iYk : Yk → Y be the closed immersions. We have f iXk = iYk fk and hence
Rn (f iXk )∗ Fk = Rn (iYk fk )∗ Fk .
Using the fact that iXk ∗ and iYk ∗ are exact functors and transform injective
sheaves to injective sheaves, one can verify
Rn (f iXk )∗ Fk ∼
= Rn f∗ (iXk ∗ Fk ) ∼
= Rn f∗ (F/I k F)
Rn (iYk fk )∗ Fk ∼ n
= iYk ∗ R fk∗ Fk .
So
Rn f∗ (F/I k F) ∼
= iYk ∗ Rn fk∗ Fk .
By Corollary 5.9, we have
So
inv. lim Rn f∗ F/I k Rn f∗ F ∼
= inv. lim iYk ∗ Rn fk∗ Fk .
k k
that is,
nf F ∼
R\ = inv. lim Rn fk∗ Fk .
∗
k
for some natural numbers m and n. By Proposition 1.4.1 (i), there exists an
m n
open neighborhood U of P in X and a morphism OU → OU which induces the
m n m n
homomorphism OX,P → OX,P on stalks. Let F be the cokernel of OU → OU .
∼
Then F is a coherent OU -module and FP = M . Let
0 → M 0 → M → M 00 → 0
0 → F 0 → F → F 00 → 0
0 → M 0 → M → M 00 → 0
0 → OX,P
b ⊗OX,P M 0 → OX,P
b ⊗OX,P M → OX,P
b ⊗OX,P M 00 → 0
where (ExtnOX (F, G))∧ is the formal completion of ExtnOX (F, G) with respect to
I ∼ OX .
(ii) For each n, ExtnOX (F, G) is a finitely generated A-module and
where (ExtnOX (F, G))∧ is the I-adic completion of ExtnOX (F, G).
0 → Gb → I·
ExtnOX (F, G) ∼
= H n (HomOX (F, I · )).
So by lemma 7.7, we have
i∗ ExtnOX (F, G) ∼
= H n (i∗ HomOX (F, I · )).
We have a canonical homomorphism
0 → i∗ G → i∗ I ·
i∗ I · → I· .
to be the composition
· · · → E1 → E0 → F → 0
such that each En is free of finite rank. By Lemma 7.7, the sequence
· · · → i∗ E1 → i∗ E0 → i∗ F → 0
ExtnOX (F, G) ∼
= H n (HomOX (E· , G)),
ExtnO (F,
b G)
b ∼
= H n (HomOXc (i∗ E· , i∗ G)).
X
c
= i∗ ExtnOX (F, G) ∼
(ExtnOX (F, G))∧ ∼ = H n (i∗ HomOX (E· , G)).
i∗ HomOX (E· , G) ∼
= HomOXc (i∗ E· , i∗ G).
HomOX (F, G) ∼
= HomOXc (F,
b G),
b
HomOX (F, G) ∼
= (HomOX (F, G))∧ .
Hence
HomOX (F, G) ∼
= HomOXc (F,
b G).
b
Taking into account of the definition of coherent OXb -modules and Proposi-
tions 1.5.13 (ii) and 1.5.17, the theorem can be restated in the following form
which avoids mentioning formal completions:
k i
(Xk , OXk ) → (X, OX )
ikl ↓ % il ↑i
lî
(Xl , OXl ) → b O b ),
(X, X
where all the arrows are the canonical morphisms. Let (Fk , φlk )k∈N be a family
consisting of an OXk -module Fk for each k and a morphism φlk : Fl → ikl∗ Fk
for each pair l ≥ k such that the following condition holds:
(a) Each Fk is a coherent OXk -module.
(b) φkk = idFk for each k and ilm∗ (φlk )◦φml = φmk for each triple m ≥ l ≥ k.
(c) For each pair l ≥ k, φlk induces an isomorphism i∗kl Fl ∼ = Fk , that is,
Fl ⊗OXl OXk ∼ = Fk .
If A is I-adically complete, then there exists a coherent OX -module F unique
up to isomorphism such that the family (Fk , φlk )k∈N is isomorphic to the family
(i∗k F, ψlk )k∈N , where for each pair l ≥ k, ψlk is the canonical morphism
The uniqueness part of the theorem follows directly from Corollary 7.9. Be-
fore proving the existence part of the theorem, we need a series of lemmas.
Recall that a coherent OXb -module F is called algebraizable if F ∼
= Fb for some
coherent OX -module F. In the following, we work under the assumptions in
Theorem 7.10.
Lemma 7.12. Let F and G be two coherent OXb -module and let u : F → G
be a morphism. If F and G are algebraizable, then keru, cokeru and imu are
algebraizable.
So
Ext1OX (H, F) ∼
= Ext1O c (H, F).
X
0→F→G→H→0
corresponds to an element in Ext1O c (H, F) and hence an element in Ext1OX (H, F).
X
Let
0→F →G→H→0
be the short exact sequence corresponding to this element in Ext1OX (H, F). By
Corollary 4.7, G is a coherent OX -module. Moreover, we have G ∼ = G.
b So G is
an algebraizable coherent OXb -module.
Proof. Applying Lemma 7.12 to the morphism G→ cokeru, we see that imu is
coherent and algebraizable. Applying Lemma 7.13 to the short exact sequence
0 → keru → F → imu → 0,
Let Yb and Z b be the formal completion of Y and Z with respect to the sheaves
of ideals I ∼ OY and I ∼ OZ , respectively, and let ĝ : Yb → Z
b be the morphism
induced by g. Suppose g is a proper morphism. If F is an algebraizable coherent
OYb -module, then gb∗ F is an algebraizable coherent OZb -module.
Proof. The problem is local with respect to Z. We may assume Z = SpecB for
some noetherian ring B. Let I and J be the ideals of B corresponding to I and
b be the I-adic completion of B, J 0 = J B,
J , respectively. Let B b Z 0 = SpecB,
b
0 0 0 0 0 0 0
U the inverse image of U in Z , Y = Y ×Z Z , and g : Y ×Z Z → Z the
projection.
ĝ
Yb → Z b
↓ ↓
g0
Y 0 = Y ×Z Z 0 → Z 0
↓ ↓
g
Y → Z.
Then g 0 induces an isomorphism of g 0−1 (U 0 ) with U 0 and Z 0−U 0 = supp(OZ 0 /J 0∼ ).
Note that Yb and Z b are also the formal completions of Y 0 and Z 0 with respect
b ∼ and (I)
to the sheaves of ideals (I) b ∼ OY 0 , respectively. Moreover, by Corollary
1.5.14 (iv), for any n, we have
\
(J 0n )∼ ∼
= (J 0n )∼ OZb = (J n )∼ OZb ∼ \
= (J n )∼ ,
that is,
\
(J n )∼ ∼ \
= (J 0n )∼ .
ĝ ∗ G ∼
= ĝ ∗ (M ∼ )∧ ∼
= ĝ ∗ i∗Z M ∼ ∼
= i∗Y g ∗ M ∼ ∼
= (g ∗ M ∼ )∧ .
ĝ∗ ĝ ∗ G ∼
= ĝ∗ (g ∗ M ∼ )∧ ∼
= (g∗ g ∗ M ∼ )∧ .
G → ĝ∗ ĝ ∗ G
M ∼ → g∗ g ∗ M ∼
2.7. GROTHENDIECK’S EXISTENCE THEOREM 209
ker(M ∼ → g∗ g ∗ M ∼ ) ∼
= K ∼.
OX (n) = OX (1)⊗n ,
Fk = î∗k F,
Fk (n) = Fk ⊗OXk i∗k OX (n),
F(n) = F ⊗OXc i∗ OX (n).
Then there exists an integer N such that for any n ≥ N , the canonical homo-
morphism
H 0 (X,
b F(n)) → H 0 (Xk , Fk (n))
is surjective, and
H p (X, F(n)) = 0
for any p ≥ 1.
∞
I k /I k+1 . Fix notations by the following cartesian diagram:
L
Proof. Let B =
k=0
g0
X 0 = X ×S SpecB → X1
f0 ↓ ↓ f1
g
SpecB → SpecA/I,
∞
I k F/I k+1 F on X.
b Since each I k F/I k+1 F annihilated by
L
Consider the sheaf
k=0
I and OX1 ∼
= OXb /IOXb , we may regard I k F/I k+1 F as an OX1 -module. It is a
coherent OX1 -module. Indeed, we have an exact sequence of OXb -modules
Since each sheaf in this sequence is annihilated by I k+1 and OXk+1 ∼ = OXb/I k+1 OXb ,
we may regard this sequence as an exact sequence of OXk+1 -modules. Then
F/I k+1 F is identified with Fk+1 and F/I k F is identified with (ik,k+1 )∗ Fk , where
ik,k+1 : Xk → Xk+1 is the canonical morphism. By Proposition 1.5.17, Fk and
Fk+1 are coherent. So I k F/I k+1 F is a coherent OXk+1 -module. This implies it
∞
I k F/I k+1 F is a quasi-coherent OX1 -module.
L
is a coherent OX1 -module. So
k=0
∞
f1∗ (I k /I k+1 )∼ -module.
L
It is also an So by Proposition 1.4.12, there exists a
k=0
quasi-coherent OX 0 -module F 0 such that
∞
g∗0 F 0 ∼
M
= I k F/I k+1 F.
k=0
that is,
∞
H p (X1 , I k F(n)/I k+1 F(n)) ∼
M
= H p (X 0 , F 0 (n)).
k=0
By Theorem 4.12 (ii), there exists an integer N such that for any n ≥ N , we
have H p (X 0 , F 0 (n)) = 0 for any p ≥ 1. So we have
for any k ≥ 0, p ≥ 1, and n ≥ N . By induction on k, one can then show for any
k ≥ 1, p ≥ 1 and n ≥ N , we have
H p (X,
b F(n)/I k F(n)) = 0,
2.7. GROTHENDIECK’S EXISTENCE THEOREM 211
that is,
H p (Xk , Fk (n)) = 0.
In particular, the inverse system (H p (Xk , Fk (n)))k∈N satisfies the Mittag-Leffler
condition for any p ≥ 1 and any n ≥ N . On the other hand, associated to the
short exact sequence of sheaves
Since H 1 (X1 , I k F(n)/I k+1 F(n)) = 0 for any k ≥ 1 and any n ≥ N , the homo-
morphism
H 0 (Xk+1 , Fk+1 (n)) → H 0 (Xk , Fk (n))
is surjective and hence the inverse system (H 0 (Xk , Fk (n)))k∈N also satisfies
the Mittag-Leffler condition for any n ≥ N . Furthermore, for any affine open
subscheme U of X1 , the homomorphism
H p (U, Fk (n)) = 0
for any p and any n ≥ N . From this formula and the properties of the inverse
system (H p (Xk , Fk (n)))k∈N , we see that for any n ≥ N , the homomorphism
is surjective and
H p (X, F(n)) = 0
for any p ≥ 1.
Corollary 7.18. Keep the assumptions and notations in Lemma 7.17. There
exists an integer N such that F(n) is generated by finitely many global sections
m
for any n ≥ N , that is, there exists an epimorphism OX b → F(n) for some
natural number m.
B m → M.
m
b → F(n), the homomorphism
By the choice of the morphism OX
(B/IB)m → M/IM
Bm → M
((B m )∼ )∧ → (M ∼ )∧
is surjective by Propositions 1.4.2 (iii) and 1.5.13 (i), that is, the restriction of
m
OX
b → F(n)
to U ∩ X
b is surjective. Since U is arbitrary,
m
OX
b → F(n)
is surjective.
Proof. Fix an invertible OX -module OX (1) very ample over SpecA. For any
coherent OXb -module F, we may find an epimorphism OXb (n)m → F by Corollary
7.18. Applying Corollary 7.18 to the kernel of this epimorphism, we see that
there exists an exact sequence of the form
0
OXb (n0 )m → OXb (n)m → F → 0
2.7. GROTHENDIECK’S EXISTENCE THEOREM 213
0
for some natural numbers m, n, m0 , n0 . Both OXb (n)m and OXb (n0 )m are alge-
braizable coherent OXb -module since they are the formal completions of OX (n)m
0
and OX (n0 )m respectively. By Lemma 7.12, F is also algebraizable.
Finally, we are ready to prove Theorem 7.10. Let S be the family of those
closed subset Z of X such that for any closed subscheme (Z, OX ) of X whose
underlying topological space is Z, there exists a coherent OZb -module which is
not algebraizable. If S = ∅, we are done. Otherwise, since X is noetherian,
S has a minimal element. Let Z be a closed subscheme of X such that there
exists a coherent OZb -module F which is not algebraizable and such that the
underlying topological space of Z is a minimal element of S. Applying Chow’s
Lemma 1.4.18 to Z → SpecA, we get a projective morphism g : Y → Z such
that Y is projective over SpecA and there exists a dense open subset U of Z
such that g induces an isomorphism of g −1 (U ) with U . By Proposition 1.5.22
(ii), ĝ ∗ F is coherent. Since Y is projective over SpecA, ĝ ∗ F is algebraizable
by Corollary 7.19. Hence ĝ∗ ĝ ∗ F is algebraizable by Lemma 7.15. Let J be a
coherent sheaf of ideals of OZ so that Z − U = supp(OZ /J ). Let K be the
kernel of the canonical morphism
F → ĝ∗ ĝ ∗ F.
(h∗ OZ−U )∧ ∼
= ĥ∗ OZ−U
\.
Hence
OZ−U ∼ cn \ .
b /J )|Z−U
\ = (OZ
K = ĥ∗ ĥ∗ K.
HomS (X, Y ) ∼
= inv. lim HomSk (Xk , Yk ),
k
where HomS (X, Y ) is the set of S-morphisms from X to Y , and HomSk (Xk , Yk )
is the set of Sk -morphisms from Xk to Yk .
Γf , Γg : X → X ×S Y.
They are closed immersions since Y is necessarily separated over S. Let Jf and
Jg be their ideal sheaves. Then the ideal sheaf of the graph of the morphism
Xk → Yk induced by f and g is
We have
OXk ×Sk Yk /Jf OXk ×Sk Yk = OXk ×Sk Yk /Jg OXk ×Sk Yk .
Hence
i∗k (OX×S Y /Jf ) = i∗k (OX×S Y /Jg ),
where ik : Xk ×Sk Yk → X ×S Y is the canonical morphism. By the uniqueness
part of Theorem 7.11, we must have
This implies that f and g have the same graph and hence f = g. So the
canonical map
HomS (X, Y ) → inv. lim HomSk (Xk , Yk )
k
is injective.
2.7. GROTHENDIECK’S EXISTENCE THEOREM 215
= i∗k F ∼
i∗k (OX×S Y /J ) ∼ = OXk ×Sk Yk /Jk .
Zk → Xk ×Sk Yk → Xk ,
Z → X ×S Y → X.
is onto.
p0
Z → X0 → X
p ] : OX → p ∗ OZ
i∗k p∗ OZ ∼
= pk∗ OZk .
So the morphism
i∗k OX → i∗k p∗ OZ
can be identified with
p]k : OXk → pk∗ OZk .
Since pk is an isomorphism, p]k is an isomorphism. This proves our assertion.
Bibliography
[2] Hartshorne, R.
[3] Matsumura, H.
217
218 BIBLIOGRAPHY
219
220 INDEX
quasi-separated, 43 Restriction, 1
separated, 41 Right adjoint functor, 13
surjective, 4 Right derived functor, 105-106, 112,
universally closed, 43-44 Right exact functor, 100
√ Ringed space, 17
Nilpotent radical of an ideal, a, 15
Noetherian scheme, 30 Scheme, 18
Noetherian topological space, 25 affine, 18
Normal scheme, 179 connected, 27
integral, 27
Open immersion, 34 irreducible, 27
Open subscheme, 20 locally integral, 28
OX -module, 48 locally noetherian, 29,30
noetherian, 30
Picard group, 50, 153
normal, 179
Presheaf, 1
over another scheme, 39
ProjS, 22
quasi-separated, 43
sheaf M ∼ on, 69
reduced, 27
Projection, 4, 39
separated 41
Projective module, 57
Scheme theoretic image, 65
Projective morphism, 45
Section, 1
Projective object, 101
Segre embedding, 48
Projective resolution, 101
Semicontinuity theorem, 184-185
Projective space, PnY , 45
Separated morphism, 41
Proper morphism, 43
Separated scheme, 41
Quasi-coherent OX -module, 55 Serre’s theorem, 75, 166
on ProjS, 73 Sheaf, 2
on SpecA, 56 associated to a presheaf, 9
Quasi-compact morphism, 30, 31 coherent, 55
Quasi-finite morphism, 176 flasque, 116
Quasi-projective morphism, 45 flat, 180
Quasi-separated morphism, 43 free, 49
Quasi-separated scheme, 43 generated by global sections, 75
Quotient, 7 invertible, 50
locally free, 49
Rank, 49 locally of finite presentation, 50
Reduced induced closed subscheme locally of finite type, 50
structure, 37 M ∼,
Reduced scheme, 27 on ProjS, 69
Regular spectral sequence, 129 on SpecA, 51
Resolution, of finite presentation, 50
acyclic, 106 of finite type, 50
Cartan-Eilengberg, 140 of ideals, 62
Godement, 116 of modules, 48-49
injective, 101 quasi-coherent, 55
projective, 101 Sheafified Čech complex, 161
INDEX 223
Zariski
Main Theorem, 178
Theorem of Connectedness, 175
Zariski topology
on ProjS, 22
on SpecA, 15
Zero morphism, 5
Zero object, 7