Muke
April 20, 2026
Contents
1 Sheaves 1
1.1 Presheaves and sheaves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Stalks and germs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Kernels and images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Injective, surjective and isomorphism . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 Exact sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6 The sheaf associated to a presheaf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.7 Cokernels and quotients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.8 Direct image and inverse image . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.9 Global and local sections as right adjoint . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.10 The spectrum of a ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.11 Zariski topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.12 Maps between prime spectra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.13 Sheaves defined on basis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.14 The structure sheaf on the spectrum of a ring . . . . . . . . . . . . . . . . . . . . . . 34
1.15 Irreducibility and connectedness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.16
´
Etal´e spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2 Schemes 44
2.1 Locally ringed space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.2 Spec A as locally ringed space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.3 Schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.4 Maps into affine schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.5 AffSch is dual to CRing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.6 Schemes over a ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.7 Open subschemes and open embeddings/immersions . . . . . . . . . . . . . . . . . . . 54
2.8 Closed embeddings/immersions and closed subschemes . . . . . . . . . . . . . . . . . 54
2.9 Points in schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.10 Affine varieties as schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.11 First step to gluing: gluing two schemes together . . . . . . . . . . . . . . . . . . . . 60
i
CONTENTS ii
2.12 Gluing sheaves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.13 Gluing schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.14 Proj construction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.15 Projective schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3 First properties of schemes 83
3.1 Reduced schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.2 Integral schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.3 Affine communication technique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.4 Schemes of finite type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.5 Noetherian schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
3.6 Properties of morphisms: Like schemes, like morphisms . . . . . . . . . . . . . . . . . 95
4 Fiber products 96
4.1 Fiber products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4.2 Fiber products of schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.3 First example in fiber products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
4.4 Base change . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
4.5 Fibers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
4.6 Scheme theoretic fibers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.7 Segre embedding . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
4.8 Functor of points . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.9 Group scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
5 Quasi-coherent sheaves 119
5.1 O
X
-modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
5.2 Tilde construction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
5.3 Quasi-coherent sheaves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
5.4 Direct sums, products and tensor products . . . . . . . . . . . . . . . . . . . . . . . . 126
5.5 Hom sheaf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
5.6 Pushforwards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
5.7 Pullbacks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
5.8 Twisting sheaves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
6 Second properties of schemes 139
6.1 Closed subschemes and closed embeddings . . . . . . . . . . . . . . . . . . . . . . . . 139
6.2 Relative Spec . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
6.3 Affine morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
6.4 Dominant morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
6.5 Integral and finite morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
CONTENTS iii
6.6 Separated morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
6.7 Morphisms into separated schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
6.8 Proper morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
6.9 Constructable Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
6.10 Valuative Criterion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
6.11 Formal properties of morphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
7 Varieties, dimension and smoothness 166
7.1 Varieties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
7.2 Rational maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
7.3 Chow’s Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
7.4 The dimension of a scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
7.5 Codimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
7.6 Applications to intersections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
7.7 The dimensions of the fibers of a morphism . . . . . . . . . . . . . . . . . . . . . . . . 173
7.8 Tangent spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
Chapter 1: Sheaves
1.1 Presheaves and sheaves
1.1.1: Presheaf
X 一个拓扑X Abel presheaf F 以下
(a) 一个 U X一个 Abel F (U).
(b) 一个 V U一个 Abel ρ
UV
: F (U) F (V ).
以下
(0) F () = 0.
(1) ρ
UU
F (U) F (U).
(2) W V U ρ
UW
= ρ
V W
ρ
UV
.
Remark 1.1.1
述这于任拓扑 X一个
Top(X) X V U Hom(V, U) =
V UHom(V, U) 一个. 一个从
Top(X) Abel Ab 一个反变.
义中 Abel C 他东西.
F X 一个 F (U) F U sections Γ(U, F )
F (U). ρ
UV
restriction maps s F (U) s|
V
ρ
UV
(s).
一个.
1
CHAPTER 1. SHEAVES 2
1.1.2: Sheaf
拓扑 X F 一个 sheaf
(3) U 一个{V
i
} U 一个 s F (U) s|
V
i
= 0 i
s = 0.
(4) U 一个{V
i
} U 一个 i s
i
F (V
i
)
s
i
|
V
i
V
i
= s
j
|
V
i
V
j
一个((3)) s F (U)使 s|
V
i
= s
i
于任 i .
Remark 1.1.2
(3) Locality axiom(4) Gluing axiom.
Remark 1.1.3
义一拓扑 X F 一个
于任 U X U {V
i
}.
0 F (U)
Y
i
F (V
i
)
Y
i,j
F (V
i
V
j
)
s (s|
V
i
)
i
(s
i
)
i
(s
i
|
V
i
V
j
s
j
|
V
i
V
j
)
ij
u v
一下
Y
i
F (V
i
) 合告
(s
i
|
V
i
V
j
s
j
|
V
i
V
j
)
ij
= 0
(s
i
)
i
Ker v = Im u一个 F (U) F (U) 合告
一个 uniqueness existence.
Remark 1.1.4
F (U) = lim
Y
αI
F (U
α
)
Y
α,βI
F (U
α
U
β
)
一个
CHAPTER 1. SHEAVES 3
Example 1.1.1
1) X 拓扑
U 7→ (U) = {continuous functions U R}
2) X 为一个
U 7→ F (U) = {C
functions U R}
3) X 拓扑A Abel
U 7→ F (U) = {locally constant functions() U A}
F 为以 A A
X
.
Note 1.1.1
F (U) = A于任 U
一个 X = U V U, V 不交 s
U
F (U)s
V
F (V )
s
U
̸= s
V
s F (X) 使 s|
U
= s
U
s|
V
= s
V
. 一个.
1.1.3: Morphisms and Isomorphisms
F G X ()一个从 F G morphism ϕ
ϕ
U
: F (U) G (U), U X
V U
F (U) G (U)
F (V ) G (V )
φ
U
ρ
UV
ρ
UV
φ
V
ρ ρ
分别 F G . () isomorphism.
Remark 1.1.5
ϕ: F G X 交下拓扑 {U
i
}
ϕ ϕ
U
i
: F (U
i
) G (U
i
) .
Remark 1.1.6
射就一个.
CHAPTER 1. SHEAVES 4
1.2 Stalks and germs
1.2.1: Stalk
F X 一个()x X 一个 F x stalk
F
x
:= lim
Ux
F (U)
一个 F
x
一个 (U, s) U x s F (U)
之为 germ. (U, s), (V, t) 一个 x W U V
使 s|
W
= t|
W
.
Remark 1.2.1
(filtered colimit)
Abel (Abel) I 与一个 C
colim
iI
: Fct(I , C ) C
.
Remark 1.2.2
X 一个义下拓扑 {U
i
} X F {F (U
i
)}
全决.
F X ()U X F |
U
U ().
F X ()s F (U) s
x
F
x
于任 x U (U, s)
s
x
(U, s) F
x
.
1.2.1
F 一个 s, t F (U) s = t s
x
= t
x
, x U.
: 是显 s
x
= t
x
x V
x
使 s|
V
x
= t|
V
x
{V
x
}
一个 s = t.
于任 x U
F (U) lim
xU
F (U) = F
x
ϕ: F G
CHAPTER 1. SHEAVES 5
F (U) G (U) G
x
F (U)
G
x
F (V )
F (U)
F
x
G
x
F (V )
其具
F (U) G (U)
s ϕ
U
(s)
s
x
ϕ
x
(s
x
) = [(U, ϕ
U
(s))]
F
x
G
x
φ
U
φ
x
义不.
1.2.2:
ϕ, ψ F G G
ϕ = ψ ϕ
x
= ψ
x
, x X
:
F (U)
Y
xU
F
x
CHAPTER 1. SHEAVES 6
ϕ
x
= ψ
x
x
F (U)
Y
xU
F
x
G (U)
Y
xU
G
x
φ
U
ψ
U
Q
φ
x
=
Q
ψ
x
ϕ
U
= ψ
U
.
1.3 Kernels and images
1.3.1: Kernel
ϕ : F G F 一个 Ker ϕ ϕ kernel
义为
(Ker ϕ)(U) := Ker ϕ
U
一个 (Ker ϕ)(U) F (U) locality ax-
iom gluing axiom 即可 {U
i
} U 一个s
i
(Ker ϕ)(U
i
)
F 一个 s
i
F (U) 一个 s
s|
U
i
= s
i
ϕ
U
(s)|
U
i
= ϕ
U
i
(s
i
) = 0
G locality axiom
ϕ
U
(s) = 0 = s (Ker ϕ)(U)
1.3.1: kernel
x X
(Ker ϕ)
x
= Ker ϕ
x
: s
x
(Ker ϕ)
x
V 使 s
x
一个代 (s, V )
s Ker ϕ
V
ϕ
x
(s
x
) = (ϕ
V
(s))
x
= 0 G
x
CHAPTER 1. SHEAVES 7
s
x
Ker ϕ
x
= (Ker ϕ)
x
Ker ϕ
x
s
x
Ker ϕ
x
(s, V ) 为一个代
ϕ
x
(s
x
) = (ϕ
V
(s))
x
= 0
W V 使
ϕ
V
(s)|
W
= 0 G (W )
s|
W
(Ker ϕ)(W ) = s
x
(Ker ϕ)
x
1.3.2: Image presheaf
ϕ : F G image presheaf
U 7→ Im ϕ
U
G 一个 subpresheaf不一 sheaf G locality axiom不一
. 为了使为一个 sheaf把截 image locally image.
1.3.3: Image sheaf
ϕ : F G G 一个 ϕ image sheaf
(Im ϕ)(U) = {t G (U): there is a cover U
i
of U and sections s
i
F (U
i
) such that t|
U
i
= ϕ
U
i
(s
i
)}
一个 image
(Im ϕ)(U) = Im ϕ
U
Im ϕ
U
(Im ϕ)(U)
locally image. 他们.
1.3.1
于任 Uϕ
U
: F (U) G (U)
(Im ϕ)(U) = Im ϕ
U
CHAPTER 1. SHEAVES 8
: t (Im ϕ)(U) s
i
F (U
i
)
t|
U
i
= ϕ
U
i
(s
i
)
ϕ
U
i
U
j
(s
i
|
U
i
U
j
) = ϕ
U
i
(s
i
)|
U
i
U
j
= t|
U
i
U
j
= ϕ
U
j
(s
j
)|
U
i
U
j
= ϕ
U
i
U
j
(s
j
|
U
i
U
j
)
s
i
|
U
i
U
j
= s
j
|
U
i
U
j
s F (U)
ϕ
U
(s)|
U
i
= ϕ
U
i
(s
i
) = t|
U
i
= ϕ
U
(s) = t
t Im ϕ
U
1.3.2: Image
x X
(Im ϕ)
x
= Im ϕ
x
: t
x
Im ϕ
x
s
x
F
x
ϕ
x
(s
x
) = t
x
s F (V ) t G (V ) 为代 V
ϕ
V
(s) = t
t (Im ϕ)(V ) = t
x
(Im ϕ)
x
t
x
(Im ϕ)
x
U 使 t (Im ϕ)(U) 为代 {U
i
} U 使
t|
U
i
= ϕ
U
i
(s
i
)
U
i
x
t
x
= (t|
U
i
)
x
= (ϕ
U
i
(s
i
))|
x
= ϕ
x
((s
i
)
x
)
t
x
Im ϕ
x
CHAPTER 1. SHEAVES 9
1.4 Injective, surjective and isomorphism
kernel image .
1.4.1: Injective and surjective
ϕ: F G injective Ker ϕ = 0 surjective
Im ϕ = G .
.
1.4.1:
F 两个 H , G 且仅 H
x
= G
x
, x X.
: H
x
= G
x
U X s G (U) 为一个
s
x
G
x
= H
x
x 一个 U
x
U t
x
H (U
x
)使 t
x
s
x
H
x
s|
U
x
= t
x
t
x
|
U
x
U
y
= s|
U
x
U
y
= t
y
|
U
x
U
y
{U
x
} U {t
x
} H (U) 一个 t
t
x
= s
x
, x U
t = s
G (U) = H (U)
G = H .
CHAPTER 1. SHEAVES 10
1.4.1:
ϕ : F G TFAE
(1) ϕ .
(2) ϕ
U
: F (U) G (U) U .
(3) ϕ
x
: F
x
G
x
x X .
:
Ker ϕ
U
= (Ker ϕ)(U)
两个
Ker ϕ
x
= (Ker ϕ)
x
(1) (3) (3)
(Ker ϕ)
x
= Ker ϕ
x
= 0 = 0
x
Ker ϕ = 0
.
1.4.2:
ϕ : F G TFAE
(1) ϕ .
(2) ϕ
x
: F
x
G
x
x X .
:
Im ϕ
x
= (Im ϕ)
x
.
Remark 1.4.1
(Im ϕ)(U) = Im ϕ
U
CHAPTER 1. SHEAVES 11
1.4.2: isomorphism
ϕ: F G 之为 isomorphism一个 ψ : G F 使
ψ ϕ = 1
F
, ϕ ψ = 1
G
Remark 1.4.2
. 一个
于任
α
A B
F
G
α
α 且仅 A A α
A
: F (A) G(A) .
Open(X) C
F
G
φ
且仅 U X
ϕ
U
: F (U) G (U)
.
1.4.3:
ϕ : F G TFAE
(1) ϕ .
(2) x Xϕ
x
: F
x
G
x
.
(3) Ker ϕ = 0 Im ϕ = G .
(4) U X ϕ
U
: F (U) G (U) .
: (1) (2) 是显 (2) (3)
(3) (4) ϕ
U
Im ϕ
U
= (Im ϕ)
U
ϕ
U
. (4) (1) ψ
U
= ϕ
1
U
即可.
CHAPTER 1. SHEAVES 12
1.5 Exact sequences
1.5.1: exact
F
φ
G
ψ
H
exact Im ϕ = Ker ψ as subsheaves of G .
1.5.1:
F
φ
G
ψ
H
且仅于任 x X
F
x
φ
x
G
x
ψ
x
H
x
.
:
Im ϕ = Ker ψ (Im ϕ)
x
= (Ker ψ)
x
Im ϕ
x
= Ker ψ
x
一个
1.5.2:
一个
0 F
φ
G
ψ
H 0
U X
0 F (U) G (U) H (U)
: Ker ϕ = 0 Ker ϕ
U
= 0. ϕ
U
U image sheaf
image presheaf
Im ϕ
U
= (Im ϕ)(U) = (Ker ψ)(U) = Ker ψ
U
.
CHAPTER 1. SHEAVES 13
1.6 The sheaf associated to a presheaf
X = C
予一义上拓扑
O
X
an
: U 7→ {hol function U 7→ C}
一个 Abel
O
X
an
: U 7→ {invertible hol function U 7→ C
}
一个乘 Abel
exp: O
X
an
O
X
an
exp
U
: O
X
an
(U) O
X
an
(U)
s 7→ e
s
f(z) = z
f / Im
exp
X
: O
X
an
(X) O
X
an
(X)
f x 于任 x X = C
一个
使 Im exp 一个.
1.6.1: Sheafification()
F X 一个义一个 X F
+
F
+
(U) =
(
functions s : U
a
xU
F
x
satisfying (a),(b)
)
(a)(b) 分别
(a) x Us(x) F
x
.
(b) x U使 x V U t F (V )使 y V s(y) = t
y
F
y
.
射就. F
+
F sheafification.
: 一个一个
(1) 于任 U U =
[
V
i
F
+
(U)
Y
i
F
+
(V
i
), s 7→ (s|
V
i
)
t F
+
(U) 使
(s|
V
i
) = (t|
V
i
)
CHAPTER 1. SHEAVES 14
y V
i
s(y) = s|
V
i
(y) = t|
V
i
(y) = t(y)
{V
i
} U于任 x U s(x) = t(x) s = t. .
(2) (s
i
)
Y
i
F
+
(V
i
) s
i
|
V
i
V
j
= s
j
|
V
i
V
j
. 于任 x U i
x
使 x V
i
x
s
i
x
F
+
(V
i
x
). 一个
s F
+
(U)义为
s(x) = s
i
x
(x)
s|
V
i
= s
i
于任 y V
i
x 使 y V
i
x
s(y) = s
i
x
(y)
y V
i
V
i
x
s
i
x
|
V
i
V
i
x
= s
i
|
V
i
V
i
x
s|
V
i
(y) = s
i
x
|
V
i
V
i
x
(y) = s
i
|
V
i
V
i
x
(y) = s
i
(y)
F
+
一个 (a)(b)两个
为了下
1.6.1: universal property of sheafification
θ : F F
+
使于任 G ϕ: F G
一个 ψ : F
+
G 使
F F
+
G
θ
φ
!ψ
(F
+
, θ) 义下.
: θ
θ
U
: F (U) F
+
(U), s 7→ (x 7→ s
x
)
CHAPTER 1. SHEAVES 15
们下 ψ一个
F (U) F
+
(U)
G (U)
θ
U
φ
U
!ψ
U
于任 s F
+
(U) x U x V
x
U使 t
x
F (V
x
)
y V
x
s(y) = t
x
y
F
y
. ϕ: F G
ϕ
V
x
: F (V
x
) G (V
x
)
将局 t
x
G (V
x
)
g
x
= ϕ
V
x
(t
x
) G (V
x
)
{g
x
}们为 ψ
U
(s) {g
x
}
. 于任 x, z U y V
x
V
z
t
x
y
= s(y) = t
z
y
y W
y
V
x
V
z
使
t
x
|
W
y
= t
z
|
W
y
g
x
|
W
y
= ϕ
V
x
(t
x
)|
W
y
= ϕ
W
y
(t
x
|
W
y
) = ϕ
W
y
(t
z
|
W
y
) = ϕ
V
x
(t
z
)|
W
y
= g
z
|
W
y
g
x
g
y
V
x
V
z
g
x
|
V
x
V
z
= g
z
|
V
x
V
z
{g
x
}
xU
一个 G (U) g.
ψ
U
(s) = g
ψ ψ 为一个 ψ
于任 t F (U)
θ
U
(t) = s
t
: x 7→ t
x
g = ψ
U
(s
t
)于任 x U x V
x
U
g|
V
x
= g
x
= ϕ
V
x
(t|
V
x
) = ϕ
U
(t)|
V
x
ψ
U
(θ
U
(t)) = g = ϕ
U
(t).
CHAPTER 1. SHEAVES 16
一个 ψ
ψ = ψ
.
(F
+
, θ) 一个 up to isomorphism.
1.6.2:
θ
F
x
=
F
+
x
: θ
x
: F
x
F
+
x
一个 s
x
= t
x
F
x
W x 使
s|
W
= t|
W
θ(s)|
W
= θ(t)|
W
θ(s)
x
= θ(t)|
x
F
+
x
一个代 t F
+
(V ) F (V )
x U V 使 s F (U)
t(y) = s
y
, y U
θ
U
(s) = t
θ
x
(s
x
) = θ(s)
x
= t
x
.
1.6.3:
义了一个
(·)
+
: PreShv(X) Shv(X)
F 7→ F
+
子实 Fgt
Fgt: Shv(X) PreShv(X)
CHAPTER 1. SHEAVES 17
: F G
Hom
PAb(X)
(F , G )
=
Hom
Ab(X)
(F
+
, G )
1.6.4:
lim
F
i
+
=
lim
F
+
i
: lim
F
+
i
F
i
F
+
i
ϕ
0
: lim
F
i
lim
F
+
i
一个
ϕ:
lim
F
i
+
lim
F
+
i
lim
F
i
+
x
=
lim
F
i
x
=
lim
(F
i
)
x
=
lim
(F
i
)
+
x
=
lim
F
+
i
x
lim
F
i
+
=
lim
F
+
i
ϕ
x
.
1.7 Cokernels and quotients
一个主 cokernels quotients.
1.7.1: Cokernel and Quotient
ϕ : F G cokernel
(Coker ϕ)
(U) = Coker ϕ
U
= G (U)/ Im ϕ(U)
Coker ϕ. G F subsheaf quotient
(F /G )
(U) = F (U)/G (U)
F /G . 话说quotient ι : G F cokernel.
CHAPTER 1. SHEAVES 18
一个 ϕ : F G 一个
Coker ϕ = G /(Im ϕ)
image
价于.
.
1.7.1:
G F
(F /G )
x
=
F
x
/G
x
: (F /G )
(U) = F (U)/G (U) 即可
ϕ: (F /G )
x
F
x
/G
x
, [s]
x
7→ [s
x
]
[s
1
]
x
= [s
2
]
x
[s
1
s
2
]
x
= 0 (F /G )
x
W x 使
[s
1
s
2
]|
W
= 0 F (W )/G (W )
s
1
s
2
= s
0
G (W )
(s
1
)
x
(s
2
)
x
= (s
0
)
x
G
x
= [(s
1
)
x
] = [(s
2
)
x
] F
x
/G
x
[s
x
] F
x
/G
x
s F (U) ϕ([s]
x
) = [s
x
]
. [t
x
] = [s
x
]
s
x
t
x
= g
x
G
x
一个 x W 使
s|
W
t|
W
= g|
W
[s] = [t] F (W )/G (W )
[s]
x
= [t]
x
(F /G )
x
.
Remark 1.7.1
Abel
0 G (U) F (U) F (U)/G (U) 0
CHAPTER 1. SHEAVES 19
{U x}
0 G
x
F
x
(F /G )
x
0
(F /G )
x
=
(F /G )
x
=
F
x
/G
x
1.7.2:
ϕ : F G
Coker ϕ = G /(Im ϕ)
:
(Coker ϕ)
x
= (G /(Im ϕ))
x
, x X
价于
(U 7→ G (U)/ Im ϕ
U
)
x
= G
x
/(Im ϕ)
x
(Im ϕ)
x
= (U 7→ Im ϕ
U
)
x
RHS = G
x
/(Im ϕ)
x
= G
x
/(U 7→ Im ϕ
U
)
x
= (G /(U 7→ Im ϕ
U
))
x
= LHS
1.8 Direct image and inverse image
1.8.1: direct image and inverse image
f : X Y 拓扑于任 F PreShv(X) direct
image(pushforward) f
F PreShv(Y )义为
(f
F )(V ) = F (f
1
(V )), V Open(Y )
G PreShv(Y ) inverse image presheaf f
+
G PreShv(X)
义为
f
+
G (U) = lim
Open(Y )V f (U)
G (V )
F Shv(X), G Shv(Y ) f
F Shv(Y ) inverse image preshaef
f
1
G Shv(X) f
+
G .
CHAPTER 1. SHEAVES 20
Remark 1.8.1
X = {x}
f
+
G = G
x
Remark 1.8.2
pushforward inverse image .
Example 1.8.1
ι: {x} X {x} X 一个 A {x} Abel
x skyscraper sheaf A(x) ι
A .
A(x)(U) =
A, x U
0, otherwise
1.8.1: inverse image
(f
+
G )
x
=
G
f(x)
, (f
1
G )
x
=
G
f(x)
: f
+
即可 f
+
f
1
. f
+
G
G
f(x)
写出
lim
Ux
lim
V f(U)
G (V )
=
lim
V f(x)
G (V )
1.8.2:
0 G
G G
′′
0 Y f : X Y
0 f
1
G
f
1
G f
1
G
′′
0
X .
:
0 (f
1
G
)
x
(f
1
G )
x
(f
1
G
′′
)
x
0
0 G
f(x)
G
f(x)
G
′′
f(x)
0
.
CHAPTER 1. SHEAVES 21
1.8.3: f
+
f
functorial isom
Hom
PreShv(X)
(f
+
G , F ) Hom
PreShv(Y )
(G , f
F )
: 一个 α : G f
F V Open(Y )
α
V
: G (V ) F (f
1
(V ))
于任 U Open(X) V f(U)
G (V ) F (f
1
(V )) F (U)
f
+
G (U) F (U )
. .
1.8.4: f
1
f
F G
Hom
Shv(X)
(f
1
G , F ) Hom
Shv(Y )
(G , f
F )
: 上一个-
Hom
Shv(X)
(f
1
G , F ) Hom
Shv(X)
((f
+
G )
+
, F )
Hom
PreShv(X)
(f
+
G , Fgt(F ))
Hom
PreShv(Y )
(G , f
(Fgt(F )))
Hom
PreShv(Y )
(G , f
(F ))
Hom
Shv(Y )
(G , f
(F ))
两个两个
也不
.
1.8.2: restriction
Z 拓扑一个 Z 拓扑 i : Z X
F X 一个 i
1
F F Z F |
Z
.
CHAPTER 1. SHEAVES 22
Remark 1.8.3
于任 z Zstalk
(F |
Z
)
z
= F
z
1.9 Global and local sections as right adjoint
一个了为什么他
.
f : X {∗}
{∗}
Hom
Shv(X)
(f
1
G , F )
=
Hom
Shv({∗})
(G , f
F )
Abel
Hom
Shv({∗})
(G , f
F )
=
Hom
Ab
(G ({∗}), F (X))
G ({∗}) = A
f
+
G (U) = G ({∗}) = A
A = f
1
G
Hom
Shv(X)
(A, F ) = Hom
Ab
(A, Γ(X, F ))
.
1.9.1:
X F
Hom
Shv(X)
(A, F ) = Hom
Ab
(A, Γ(X, F ))
U X
j : U X
X F
Γ(U, F ) = Γ(U, j
1
F )
CHAPTER 1. SHEAVES 23
Γ(U, )
Γ(U, ) = Γ
U
j
1
Γ
U
U j
!
义为
(j
!
G )(V ) :=
n
s G (V U)
x V \U, W V of x, s|
W U
= 0
o
一个 X F
α: j
!
G F
制到 U
α|
U
: (j
!
G )|
U
=
G F |
U
= j
1
F
β : G j
1
F = F |
U
j
!
G (V ) F (V )
s j
!
G (V ) G (U V ) x V \ U W
x
U V 使 s|
W
= 0
V
V = (V U) (
[
xV \U
W
x
)
β(s) F (V U) 0 F (W
x
)一个 F (V )
j
!
G F
Hom
Shv(X)
(j
!
G , F )
=
Hom
Shv(U )
(G , j
1
F )
j
!
j
1
j
1.9.2: j
!
j
1
拓扑 j : U X
Hom
Shv(X)
(j
!
G , F )
=
Hom
Shv(U )
(G , j
1
F ) = Hom
Shv(U )
(G , F |
U
)
j
1
不仅了为什么 j
1
.
j
1
Γ
U
Γ(U, ) = Γ
U
j
1
CHAPTER 1. SHEAVES 24
Hom
Shv(X)
(j
!
A
U
, F )
=
Hom
Ab
(A, Γ(U, F ))
Hom
Shv(X)
(j
!
A
U
, F )
=
Hom
Shv(U )
(A
U
, j
1
F )
=
Hom
Ab
(A, Γ(U, j
1
F )) = Hom
Ab
(A, Γ(U, F ))
了下
1.9.3:
X U
Hom
Shv(X)
(j
!
A
U
, F )
=
Hom
Ab
(A, Γ(U, F ))
Remark 1.9.1
了为什么之.
1.10 The spectrum of a ring
.
1.10.1
A 一个Spec A 义为 A K K
两个 A K A K
一个
K
A K
Grothendieck 视角 Spec A 什么西
Spec A .
1.10.1
Spec A {A }, (f : A K) 7→ Ker f
一个.
CHAPTER 1. SHEAVES 25
: f : A K
A/ Ker f Im f
Im f Ker f 一个. 果有
K
A K
f
f
K K
Ker f = Ker f
. 于代.
p A A/p 一个
k(p) := Frac(A/p)
A/p k(p)
f
p
: A A/p k(p)
一个从 A 一个 Ker f
p
= p了一个从 Spec A A
.
于任 f : A K Ker f = p A/p K
k(p)
A A/p
K
!
f
p
f
f
p
f Spec A 一个两个 f : A K
f
: A K
使 Ker f = Ker f
= p f f
p
f
.
Remark 1.10.1
Spec A = colim
KFLD
Hom
CRing
(A, K)
从上 (f, K) (f
, K
) Ker f = Ker f
.
(f, K) (f
, K
) 公共
CHAPTER 1. SHEAVES 26
L 使
K L
A K
f
f
K K
Hom
CRing
(A, K)
Spec A
Hom
CRing
(A, K
)
Spec A 一个 cone colim.
1.10.2: spectrum
Spec A A A spectrum.
1.10.3: residue field
x Spec A x p
x
κ(x) := κ(p
x
) = Frac(A/p
x
)
x residue field.
1.10.4
x Spec A一个 A κ(x) g g(x) A
g Spec A
g : Spec A
a
xSpec A
κ(x)
Remark 1.10.2
视角一个 x Spec A
f : A K
factor through
A κ(x) K
CHAPTER 1. SHEAVES 27
A g x
g(x) = f(g) κ(x)
1.10.5: maximal spectrum
一个 A Spec
max
(A) 义为 A 有极 A maximal
spectrum.
1.11 Zariski topology
1.11.1: vanishing locus
A 一个于任 M A
V (M) := {p A | M p} = {x Spec A | g M, g(x) = 0}
义为 M vanishing locus.
1.11.1
A Spec(A)
(1) M AI = (M) V (M) = V (I) = V (
I).
(2) V (0) = XV (1) = .
(3) E
i
为一
V
[
iI
E
i
!
=
\
iI
V (E
i
)
(4) 两个 a, b V (a b) = V (ab) = V (a) V (b).
1.11.2: Zariski拓扑
V (E) 拓扑一个 Spec A
之为 Zariski拓扑.
1.11.2
A a, b
V (a) V (b)
a
b
CHAPTER 1. SHEAVES 28
1.11.3: quasi-compact
一个 A Spec A quasi-compact
a
.
a
有有
: Spec A =
[
U
i
U
i
= V (M
i
)
c
=
\
V (M
i
) = V
[
M
i
a
[
M
i
V (a) =
a ̸= A m a V (a) . a = A
f
1
, ··· , f
m
[
M
i
g
1
, ··· , g
m
A 使
1 = f
1
g
1
+ ··· + f
m
g
m
一个限集 J I 使 f
1
, ··· , f
m
[
iJ
M
j
V
[
iJ
M
i
!
= V (A) =
Spec A =
[
iJ
U
i
.
1.11.4: Zariski拓扑
f A X
f
X = Spec(A) V (f) X
f
Zariski 拓扑
1. X
f
X
g
= X
fg
.
2. X
f
= 且仅 f .
3. X
f
= X 且仅 f .
4. X
f
= X
g
且仅 r(f) = r(g).
5. X
f
.
6. X 一个且仅 X
f
. X
f
X distinguished open set.
CHAPTER 1. SHEAVES 29
Remark 1.11.1
X
f
A f Spec A 上不为 0
X
f
= {x Spec A: f(x) ̸= 0}
们也常常 X
f
D(f).
S Spec A
I(S) = {f A: f(p) = 0, p S} =
\
pS
p
1.11.5:
S Spec A
V (I(S)) = S
: S V (I(S)) V (b) S p S
p b
I(S) b
V (I(S)) V (b)
.
1.11.6: 一一
A a 7→ V (a) A Spec A W 7→
I(W ).
: a
I(V (a)) =
\
pa
p =
a
I(V ()) . W
V (I(W )) = W = W
.
1.11.1
Spec A p 且仅 p .
CHAPTER 1. SHEAVES 30
1.11.3: generic point
拓扑 X Z x Z Z generic point {x} = Z.
p V (p) generic point. 且他 V (p) generic point
V (p) = V (q) = p = q
.
1.12 Maps between prime spectra
1.12.1
f : A B一个 Spec f 使
Spec f : Spec B Spec A, q 7→ f
1
(q)
一个.
Remark 1.12.1
B K f A B K
Hom
CRing
(B, K) Hom
CRing
(A, K)
Spec B = colim Hom
CRing
(B, K) colim Hom
CRing
(A, K) = Spec A
Zariski 拓扑之下从下
1.12.2
ϕ: A B f : Spec B Spec A
(1) f
1
(V (a)) = V (ϕ(a)B).
(2) f
1
(D(g)) = D(ϕ(g)).
(3) f(V (b)) = V (ϕ
1
(b)).
: (1) a
f
1
(V (a)) = {p B : a ϕ
1
(p)} = {p B : ϕ(a) p} = V (ϕ(a)B)
CHAPTER 1. SHEAVES 31
(2) g A
f
1
(D(g)) = {p B : g / ϕ
1
(p)} = D(ϕ(g))
(3)
f(V (b)) = V
\
pf(V (b))
p
= V
\
qb
ϕ
1
(q)
!
= V (ϕ
1
(
b)) = V (
p
ϕ
1
(b))
1.12.3
a A A A/a 了一个
f : Spec(A/a) V (a) Spec A
: ϕ: A A/a 一个
p 7→ ϕ
1
(p)
A/a A a 一一. f Spec(A/a) V (a)
以为了明是明是.
f(V (b/a)) = {p Spec A: b/a p/a Spec(A/a)} = V (b)
是是.
1.12.1
ϕ : A B Spec B V (Ker ϕ) Spec A .
1.12.2
A A
red
= A/
p
(0) A reduction A A
red
Spec(A
red
)
=
Spec(A)
: a =
p
(0) V (a) = Spec A.
.
CHAPTER 1. SHEAVES 32
1.12.4:
(1) f A一个
ι: Spec(A
f
) D(f) Spec A
(2) S A 一个乘 : A S
1
A 了一个
ι: Spec(S
1
A) D Spec(A)
D = {p Spec A | p S = ∅}
: (2) S
1
A A 中与 S 一一
ι 一个明是
ι(V (a)) = {
1
(q): q a}
= {p Spec A: p
1
(a), p S = ∅}
= V (
1
(a)) D
.
1.13 Sheaves defined on basis
1.13.1: B-sheaf
X 拓扑B X 拓扑一个 B-presheaf F 以下
(1) U B一个 Abel F (U ).
(2) V UU, V B ρ
UV
: F (U) F (V ) ρ
UU
=
id
U
ρ
UW
= ρ
V W
ρ
UV
B W V U .
一个 B-presheaf 为一个 B-sheaf U B 与任 U B {U
i
}
0 F (U)
Y
i
F (U
i
)
Y
BV U
i
U
j
F (V )
Remark 1.13.1
Y
i,j
F (U
i
U
j
) U
i
U
j
不一 B
形式.
CHAPTER 1. SHEAVES 33
1.13.1: B-sheaf sheaf
X 拓扑B 一个拓扑一个 B-sheaf F 了一个 sheaf F .
B-sheaf
ϕ: F G
eϕ: F G
且任 F G 式得.
了一个 Shv(X) X BShv(X) X
B-
Shv(X)
=
BShv(X)
: 义一个
R: Shv(X) Shv(B)
于任 F Shv(X) U B
RF (U) = F (U)
F X B B
ϕ: F G ϕ
U
U B . R 一个
.
义一个
L: Shv(B) Shv(X)
义为 G Shv(B) U X
LG (U) = lim
V U,V ∈B
G (V )
U 一个拓扑LG (U)
(s
i
, V
i
) (s
j
, V
j
) W B V
i
V
j
s
i
|
W
= s
j
|
W
LG (U) 一个上一 (s
i
). 义了 LF (U) LG (U)
ϕ: F G Shv(B)
U
: LG (U) LG (U) (s
i
)
(ϕ
V
i
(s
i
)). 为了述这于任 U X B
U
B U
G Shv(B)
LG (U) =
(
(s
V
)
Y
V ∈B
U
G (V ): s
V
|
W
= s
W
, W V, W, V B
)
CHAPTER 1. SHEAVES 34
. U
U B
U
B
U
Y
V ∈B
U
G (V )
Y
V ∈B
U
G (V )
LG (U) LG (U
) LG 为一个.
U U =
[
V
i
LG (U) 两个一个 V
i
. .
明是拓扑拓扑 G .
R L
=
idL R
=
id:
B 一个 G . L X L(G ) R
B R(L(G )).
G R(L(G )) . 于任 U B
(R(L(G )))(U) = (L(G ))(U) = lim
W ∈B,W U
G (W )
{W B | W U} 一个(final object) U ( U B).
一个.
lim
W ∈B,W U
G (W )
=
G (U)
U B . R L
=
Id
Shv(B)
.
X 一个 F . R 制到 B R(F ) = F |
B
L X L(R(F )).
F L(R(F )) . X 中任一个 V
(L(R(F )))(V ) = lim
U∈B,UV
(R(F ))(U) = lim
U∈B,UV
F (U)
F X 一个一个任一 V
V 一个. 一个 V 价于
V . .
F (V )
=
lim
U∈B,UV
F (U)
两个 (L(R(F )))(V )
=
F (V ). V .
L R
=
Id
Shv(X)
.
1.14 The structure sheaf on the spectrum of a ring
A X = Spec A O
X
f A
O
X
(D(f)) 什么 D(f) f 不为 0 f
CHAPTER 1. SHEAVES 35
O
X
(D(f)) = A
f
1.14.1
Spec A U = D(f) Spec A 拓扑.
O
X
(U) = A
f
Remark 1.14.1
U = D(f) = D(g) D(f) =
D(g)
f
p
(g), g
p
(f)
整数 m, n c, t A 使
g
n
= cf, f
m
= tg = f
mn
= (tg)
n
= t
n
cf
ϕ: A
f
A
g
,
a
f
7→
ca
g
n
ψ : A
g
A
f
,
b
g
7→
tb
f
m
之下
ψ ϕ: A
f
A
f
,
a
f
7→
t
n
ca
f
mn
t
n
caf f
mn
a = a(t
n
cf f
mn
) = 0
a
f
=
t
n
ca
f
mn
A
f
ϕ ψ = 1, ψ ϕ = 1
A
f
= A
g
1.14.1
A 一个B O
X
B 一个.
CHAPTER 1. SHEAVES 36
: U = D(f)
O
Spec A
(U) = A[f
1
]
U = D(f) =
[
iI
U
i
U
i
= D(f
i
)们下
A[f
1
] = O
Spec A
(U) = Ker
Y
iI
O
Spec A
(U
i
)
Y
i,jI
O
Spec A
(U
i
U
j
)
!
.
1.14.1
R 一个f
1
, ··· , f
r
R 于任 R- M
0 M
r
Y
i=1
M
f
i
Y
i,j
M
f
i
f
j
1.14.2: structure sheaf
Spec A structure sheaf O
Spec A
B-sheaf O
X
sheaf.
以以一 Spec A p Spec A A
p
p
于任一个 U Spec A O(U)
s: U
a
pU
A
p
使 ps(p) A
p
s p U p 一个 V U
a, f A 使于任 q V f / q s(q) = a/f A
q
.
一个 O(U) 一个
V U出函
O(U) O (V )
一个() O 一个 Spec A .
1.14.1:
A 一个O
X
X = Spec A
(1) 于任 x Spec A x O
X,x
= (O
X
)
x
=
A
p
x
.
(2) Γ(X, O
X
)
=
A.
CHAPTER 1. SHEAVES 37
: (1) X B
O
X,x
= colim
xUB
O
X
(U) = colim
xU,U=D(f )
A[f
1
] =: B
B A
p
x
.
(2) f = 1
Γ(D(1), O
X
) = O(X)(D(1)) = A
1
= A
A
f
A
p
A
f
hypersurface V (f) A
p
p
.
1.15 Irreducibility and connectedness
1.15.1: Irreducible
拓扑 X Y irreducible为两个
Y = Y
1
Y
2
Y
1
Y, Y
2
Y Y . .
Remark 1.15.1
. X U X
一个 X V U V V
c
U
c
=
X X . U = A B A, B U X F, G
使 A = F UB = G U.
U F G
X = U F G
X = F G X F = X G = X A = U B = U.
Remark 1.15.2
Y X Y X 中也不. Y A, B 使
Y = A B
A, B X
F = Y A, G = Y B
Y Y = F G F = Y G = Y . Y A
CHAPTER 1. SHEAVES 38
Y B. Y A Y B. Y .
1.15.1
A 一个
(1) Spec A Z 且仅 Z = V (p) p .
(2) Spec A 且仅 A 一个
p
(0)
.
: (1) V (p) = {p}以一.
Z = V (a) I, J 使
V (a) V (I) V (J) = V (IJ)
IJ
IJ
a
V (a) = (V (I) V (a)) (V (J) V (a))
Z 们不 V (I) V (a) = V (a) V (a) V (I)
I
I
a
a .
(2) Spec A = V (
p
(0)) Spec A 且仅
p
(0) .
1.15.1
A Spec A .
讨论一个 A = A
1
×A
2
两个 A
1
A
2
. A 两个 e
1
= (1, 0) e
2
= (0, 1) e
2
1
= e
1
e
1
e
2
= 0
e
2
2
= e
2
e
1
+ e
2
= 1.
Spec A 为两个 V (e
i
) Spec A = V (e
1
)V (e
2
). e
1
+e
2
=
1 V (e
1
) V (e
2
) = V (e
1
, e
2
) = . e
1
e
2
= 0 p Spec A e
1
p
e
2
p V (e
i
) Spec A.
1.15.2
.
CHAPTER 1. SHEAVES 39
1.15.3:
Spec A 且仅 A 于两个的直 A
1
× A
2
.
: 一个. X = Spec A
为不交 X = U
1
U
2
0 O
X
(X) = A O
X
(U
1
) × O
X
(U
2
) O
X
(U
1
U
2
) = 0
A
=
O
X
(U
1
) × O
X
(U
2
)
1.16
´
Etal´e spaces
1.16.1: local homeomorphism
一个 f : X Y local homeomorphism X {U
i
} 使
f|
U
i
: U
i
Y 一个拓扑(++).
1.16.2:
´
Etal´e spaces
X 为一拓扑一个 (E, π) E 一个拓扑π : E X 一个
X
´
Etal´e space. (E
1
, π
1
) (E
2
, π
2
) X
´
Etal´e space们之
f : (E
1
, π
1
) (E
2
, π
2
) f : E
1
E
2
使 π
1
= π
2
f.
E
1
E
2
X
f
π
1
π
2
E x fiber E
x
= π
1
(x) f fiber f
x
: (E
1
)
x
(E
2
)
x
.
们下
´
Etal´e space over X X 一个
X
´
Etal´e space
´
Et/X. 义两个
F :
´
Et/X Shv(X), G: PreShv(X)
´
Et/X
CHAPTER 1. SHEAVES 40
G F F G F G Shv(X)
´
Et/X Shv(X) .
(E, π) X 一个
´
Etal´e space义一个 E
E (U) := {s: U E : section} = {s: U E : π s = id
U
}
U E . sheaf of E-valued funtions
.
f : (E
1
, π
1
) (E
2
, π
2
)
´
Etal´e space E
1
, E
2
U X
s E
1
(U)
E
1
E
2
U X
f
π
1
π
2
s
π
2
(f s) = (π
2
f) s = π
1
s = id
U
f s E
2
(U)义了
ˆ
f : E
1
E
2
,
ˆ
f
U
(s) = f s
义了一个
F :
´
Et/X Shv(X)
1.16.1
(E, π) X
´
Etal´e spaceE = F (E, π)
(1) τ
x
: E
x
E
x
, s 7→ s(x) 于任 x X .
(2) E 拓扑使于任 U Xs E (U) 拓扑.
: (1) x X E
x
(U, s) U x s : U E π
一个. x W U V s|
W
= t|
W
(U, s) (V, t)
.
e Ex := π(e) e E
x
一个 e V E 使 π|
V
.
(π|
V
)
1
π (π|
V
)
1
(x) = e. x X τ
x
.
s : U E s
: U
E x U U
s(x) = s
(x) =: e.
e V E 使 π|
V
: V π(V ) . 们令 W := π(V ) U U
π|
1
V
(W ) V . π|
V
: V W x W U U
.
s|
W
π|
V
= id
V
= s
|
W
π|
V
s|
W
= s
|
W
. x Xτ
x
.
CHAPTER 1. SHEAVES 41
(2) direct image topology E W U X
s E(U)s
1
(W ) X . E 拓扑
E 一个.
上一个
´
Etal´e space. E X 一个
E :=
a
xX
E
x
π : E X, E
x
e 7→ x
s E (U)
f
U,s
: U E, x 7→ s
x
们令 E 拓扑使拓扑. (E, π) 一个
´
Etal´e space.
π U X W X s E (W )
f
1
W,s
(π
1
(U)) = f
1
W,s
a
xU
E
x
!
= W U
π
1
(U) 拓扑.
e Ex := π(E) e E
x
x U X s E (U) 使 s
x
= e.
π f
U,s
= id
U
V = f
U,s
(U)
f
U,s
π
V
= id
V
π|
V
f|
U,s
.
(f
U
,s
)
1
(V ) = {y U
U : s
y
= s
y
} X
E 拓扑 V . π 一个是是
´
Etal´e space.
Remark 1.16.1
E 拓扑
B
U,s
= {s
x
: x U}
拓扑.
ˆ
f : E
1
E
2
(E
1
, π
1
) (E
2
, π
2
)
´
Etal´e space
f : E
1
E
2
, (E
1
)
x
e 7→
ˆ
f
x
(e) (E
2
)
x
π
1
= π
2
f
CHAPTER 1. SHEAVES 42
(f f
U,s
)(x) = f(s
x
) =
ˆ
(f)(s)
x
= f
U,
ˆ
(f)
s
(x)
f f
U,s
= f
U,
ˆ
f(s)
E 拓扑 f
G: PreShv(X)
´
Et/X
1.16.2
一个从 F G ()
+
.
: E X 一个 (E, π) = G(E )E
= F (E, π) f
U,s
(E, π)
E
(U) 一个. 义了
κ: E E
, E (U) E
(U), x 7→ f
U,s
x X 为任一
E
x
= E
x
τ
x
: E
x
E
x
= E
x
, es 7→ es(x)
U Xs E (U)
τ
x
(κ
x
(s
x
)) = τ
x
((f
U,s
)
x
) = f
U,s
(x) = s
x
τ
x
κ
x
= id
E
x
κ
x
一个
κ
x
: E
x
E
x
E
x
E
+
x
E
x
θ
x
κ
x
φ
x
ϕ
x
θ
x
= κ
x
θ
x
κ
x
ϕ
x
ϕ: E
+
E
以与.
.
CHAPTER 1. SHEAVES 43
1.16.3
一个 G F .
: (E, π) 一个
´
Etal´e space over XE = F (E, π)(E
, π
) = G(E )
τ
x
: E
x
E
x
E
=
a
xX
E
x
了一个
τ : E
E
使
π τ = π
U Xs E (U)
τ(f
U,s
(x)) = τ(s
x
) = s(x)
τ f
U,s
= s
E
拓扑 τ 一个
W E is open s
1
(W ) Xis open for every s : U E
f
1
U,s
(τ
1
(W )) Xis open for every s : U E
τ
1
(W ) E
is open
.
两个
1.16.1:
´
Etal´e space
X 拓扑 F G
´
Et/X Shv(X) .
Chapter 2: Schemes
2.1 Locally ringed space
2.1.1: ringed space
ringed space (X, O
X
) X .
(X, O
X
) (Y, O
Y
) 一个 (f, f
) f : X Y f
: O
Y
f
O
X
Shv(Y ) .
2.1.2: local map
一个 AB ϕ: A B local map ϕ
1
(m
B
) = m
A
.
Remark 2.1.1
一个 ϕ 且仅 Spec(ϕ) .
2.1.3: locally ringed space
一个 (X, O
X
) locally ringed space x X O
X,x
一个
. (X, O
X
) (Y, O
Y
) 一个 morphism 一个 (f, f
)
于任 x X
f
x
: O
Y,f(x)
O
X,x
一个. 一个 (f, f
)
一个 f 一个f
.
Remark 2.1.2
于任 V Y
f
(V ): O
Y
(V ) O
X
(f
1
(V ))
44
CHAPTER 2. SCHEMES 45
V
V
O
Y
(V ) O
X
(f
1
(V ))
O
Y
(V
) O
X
(f
1
(V
))
f
(V )
f
(V
)
f
1
f
2.1.1
于两个 (X, O
X
) (Y, O
Y
)果有 f : X Y
Hom
Shv(X)
(f
1
O
Y
, O
X
)
=
Hom
Shv(Y )
(O
Y
, f
(O
X
))
Hom((X, O
X
), (Y, O
Y
))
=
{f : X Y and f
: O
Y
f
O
X
}
=
{f : X Y and f
: f
1
O
Y
O
X
}
(f, f
) (f, f
)
2.2 Spec A as locally ringed space
A 一个 Spec A 一个 (Spec A, O
Spec A
).
2.2.1
ϕ: A B ϕ 了一个
(f, f
): (Spec B, O
Spec B
) (Spec A, O
Spec A
)
: 一个
ϕ: A B
一个
f : Spec B Spec A, p 7→ ϕ
1
(p)
于任 a A
f
1
(V (a)) = V (ϕ(a))
f 于任 V Spec A一个
f
: O
Spec A
(V ) O
Spec B
(f
1
(V ))
CHAPTER 2. SCHEMES 46
一个 B-sheaf .
D(g) Spec A
f
1
(D(g)) = D(ϕ(g))
O
Spec A
(D(g)) = A
g
O
Spec B
(D(ϕ(g))) = B
φ(g)
a
g
n
7→
ϕ(a)
ϕ(g)
n
义了一个 B-sheaves D(h) D(g)
O
Spec A
(D(g)) O
Spec B
(D(ϕ(g))) A
g
B
φ(g)
=
O
Spec A
(D(h)) O
Spec B
(D(ϕ(h))) A
h
B
φ(h)
个交. B-sheaves 一个
f
#
: O
Spec A
f
O
Spec B
p Spec Bf
#
p
即可. 一下
下交
O
Spec A
(D(g)) O
Spec B
(D(ϕ(g))) A
g
B
φ(g)
=
O
Spec A,φ
1
(p)
O
Spec B,p
A
φ
1
(p)
B
p
f
#
p
= ϕ
p
: A
φ
1
(p)
B
p
f
#
p
(qA
q
) pB
p
, q = ϕ
1
(p)
.
CHAPTER 2. SCHEMES 47
2.3 Schemes
2.3.1: Affine scheme
一个 affine scheme 一个 (X, O
X
) 使 A
(X, O
X
)
=
(Spec A, O
Spec A
)
X 一个U X 一个
(U, O
X
|
U
)
不一仿. 上仍仿拓扑
仿.
2.3.2: Scheme
一个 scheme 一个 (X, O
X
) 使一个 {U
i
} 使 (U
i
, O
X
|
U
i
) 仿
. 于仿.
一个一个拓扑 X 一个 {U
i
=
Spec A
i
} O
X
O
X
|
U
i
=
O
Spec A
i
于任 x X affine stalk x U = Spec A
p
O
X,x
= (O
X
|
U
)
x
= A
p
, m
x
= pA
p
, κ(x) = A
p
/pA
p
2.3.3: morphism of schemes
两个 X Y morphism 他们. 了一
Sch仿 AffSch一个.
仿 Spec A D(f) 广 X .
于仿 Spec Af A = O
Spec A
(Spec A)
D(f) = {p Spec A: f / p}
们从 stalk 个事 x Spec A一个 p
x
A
O
Spec A,x
= A
p
x
m
x
= p
x
A
p
x
CHAPTER 2. SCHEMES 48
f / p
x
f A
p
x
一个
x D(f) f
x
/ m
x
f x 不为 0 f x
. .
2.3.4:
(X, O
X
) s O
X
(X)
D(s) = {x X : s
x
/ m
x
}
西一个
2.3.1:
X s O
X
(U) .
(1) x U 使 s
x
O
X,x
U V x 使 s|
V
O
X
(V ) .
(2) 于任 x Us
x
O
X,x
s O
X
(U) .
: (1) t
x
O
X,x
s
x
s
x
· t
x
= 1 O
X,x
x V 使 t
V
(t
V
)
x
···s
x
= 1
V
t
V
· s
V
= 1
s O
X
(V ) .
(2) 一个 U {V
i
} t
i
O
X
(V
i
) 使
t
i
···s|
V
i
= 1 O
X
(V
i
)
t
i
|
V
i
V
j
= s|
1
V
i
V
j
= t
j
|
V
i
V
j
t
i
t O
X
(U)
st = 1 O
X
(U)
s .
CHAPTER 2. SCHEMES 49
2.3.1
D(s) .
: s D(s) s
x
/ m
x
s
x
O
X,x
x V 使 s
O
X
(V ) V y s
y
V D(s) D(s)
.
2.4 Maps into affine schemes
2.4.1
X 一个A 一个一个
Hom
Sch
(X, Spec A)
=
Hom
CRing
(A, O
X
(X))
Spec Γ Spec
Hom
CRing
op
(Γ(X, O
X
), A)
=
Hom
CRing
(A, Γ(X, O
X
))
=
Hom
Sch
(X, Spec A)
: Spec A = Y 明是 (f, f
#
) (g, g
#
) 两个不
f
#
g
#
ϕ: A O
X
(X)
x Xp A y = f (x) : A A
p
ρ
x
: O
X
(X) O
X,x
A = O
Y
(Y ) O
X
(X)
A
p
= O
Y,f(x)
O
X,x
φ
ρ
x
f
#
x
p =
1
(pA
p
) =
1
((f
#
x
)
1
(m
x
)) = ϕ
1
(ρ
1
x
(m
x
))
f(x) 仅与 ρ
x
ϕ f = g.
f
#
= g
#
O
Y
f
O
X
Y = Spec A 为仿
CHAPTER 2. SCHEMES 50
即可. h A
O
Y
(Y ) O
X
(X) A O
X
(X)
=
O
Y
(D(h)) O
X
(f
1
(D(h))) A
h
O
X
(f
1
(D(h)))
φ φ
f
#
(D(h))
f
#
D(h)
A
A
h
O
X
(f
1
(D(h)))
f
#
D(h)
=g
#
D(h)
f
#
= g
#
ϕ : A O
X
(X) 为一一个 f : X Y 使
f
#
Y
= ϕ. 拓扑 x X
A
φ
O
X
(X)
ρ
x
O
X,x
f(x) = ϕ
1
(ρ
1
x
(m
x
))
f D(g) Spec A
f
1
(D(g)) = {x X : f(x) D(g)}
= {x X : g / (ρ
x
ϕ)
1
(m
x
)}
= {x X : ρ
x
(ϕ(g)) / m
x
}
= {x X : (ϕ(g))
x
/ m
x
}
= D(ϕ(g))
D(ϕ(g)) f .
ϕ(g)|
D(φ(g))
O
X
(D(ϕ(g)))
一个
A
g
O
X
(D(ϕ(g)))
A O
X
(X)
A
g
O
X
(D(ϕ(g)))
CHAPTER 2. SCHEMES 51
a
g
n
7→
ϕ(a)|
D(φ(g))
(ϕ(g)|
D(φ(g))
)
n
D(h) D(g)们也
A
g
O
X
(D(ϕ(g)))
A
h
O
X
(D(ϕ(h)))
义了 f
#
D(g)
一个
f
#
: O
Y
f
O
X
为了 (f, f
#
)
f
#
x
(pA
p
) m
x
p f(x) A
A = O
Y
(Y ) O
X
(X)
A
p
= O
Y,f(x)
O
X,x
φ
ρ
x
f
#
x
们令 g = 1 ϕ(g) = 1
ϕ: A O
X
(X)
ϕ (f, f
#
) . .
Remark 2.4.1
使 X 一个仿形开
.
2.4.1
于任 X一个 θ : X Spec O
X
(X). f : X Spec A 仿
f factor through h: Spec O
X
(X) Spec A使 f = h θ.
:
X Spec O
X
(X) O
X
(X) O
X
(X)
Spec A A
θ
f
h
id
ˆ
hid
ˆ
h
CHAPTER 2. SCHEMES 52
Remark 2.4.2
A
1
= Spec Z[t]
与一个 X
Hom
Sch
(X, A
1
) = Hom
CRing
(Z[t], O
X
(X))
=
O
X
(X)
Spec Z
Hom
Sch
(X, Spec Z) = Hom
CRing
(Z, O
X
(X))
=
{∗}
Spec Z .
2.5 AffSch is dual to CRing
Spec: CRing
op
AffSch
ϕ : A BSpec
(f, f
#
): Spec B Spec A
Γ: AffSch CRing
op
上一
Γ Spec
εid
AffSch
Spec Γ, η : Γ Spec id
CRing
op
Γ(Spec A, O
Spec A
) = A
(X, O
X
)
=
(Spec A, O
Spec A
)
Spec(Γ(X, O
X
))
=
Spec(Γ(Spec A, O
Spec A
))
=
Spec A
CHAPTER 2. SCHEMES 53
2.5.1: Main theorem of affine shcemes
Spec: CRing
op
AffSch, Γ: AffSch CRing
op
了两个
AffSch CRing
op
仿.
2.6 Schemes over a ring
代代.
2.6.1: A-schemes
scheme over A A-scheme 一个 X 与一 X Spec A A-
schemes 一个 f : X Y 使
X Y
Spec A
f
schemes over A Sch/A affine schemes over A
AffSch/A.
Remark 2.6.1
Spec Z
Sch/Z = Sch
2.6.1
A 一个 AffSch/A A- Alg/A 其函 X 7→ O
X
(X).
: X = Spec BY = Spec C
Spec B Spec C B C
Spec A A
CHAPTER 2. SCHEMES 54
.
一个 Spec B over A 且仅 B 一个 A- Spec B
Spec B
over A 且仅 B B 一个 A-.
2.7 Open subschemes and open embeddings/immersions
X 一个U X 一个 O
X
|
U
U 使 (U, O
X
|
U
)
一个. 这还 X 仿 V
i
= Spec A
i
U V
i
V
i
仿 U.
2.7.1: open subscheme
X U X (U, O
X
|
U
) X 一个 open subscheme U
induced scheme structure.
2.7.2: open embeddings/immersions
ι: V X 为一个 open embedding open immersion
X 上一个.
2.7.3:
ι: (V, O
V
) (X, O
X
) (1) 拓扑 ι : V X
拓扑(2) ι
#
: O
X
ι
O
V
.
2.8 Closed embeddings/immersions and closed subschemes
2.8.1: Closed embeddings and closed subschemes
一个 ι: Z X closed embedding closed immersion X
个仿 {U
i
} 使 i
(1) ι
1
(U
i
) 仿. (2) ι
#
: O
X
(U
i
) ι
O
Z
(U
i
) .
Z X 一个 closed subscheme. 两个 closed subschemes Z Z
equal ϕ: Z Z
使 ι = ι
ϕ.
CHAPTER 2. SCHEMES 55
Remark 2.8.1
义中 ι
1
(U
i
) 不仅一个一个 V
i
= ι
1
(U
i
)
上为
(V
i
, O
Z
|
V
i
)
Remark 2.8.2
. 一个 X Z 拓扑
. 一个 Spec A/a
V (a) Spec A . Spec A/a Spec A
.
义中拓扑中了一个
.
2.8.1
. 话说
{U
i
} X W U
i
U
i
W X .
U
i
= Spec A
i
O
X
(U
i
) O
Z
(ι
1
(U
i
))
a
i
= Ker
O
X
(U
i
) O
Z
(ι
1
(U
i
))
O
Z
(ι
1
(U
i
))
=
A
i
/a
i
ι
1
(U
i
) U
i
是映
Spec(A
i
/a
i
) Spec A
使
ι(Z) U
i
= V (a
i
) U
i
ι(Z) 盖的部都 ι(Z) X
ι: ι
1
(U
i
) ι(Z) U
i
locally on the target
ι: Z ι(Z) X
拓扑. Z X 一个 V = ι(Z)义为 O
V
= ι
O
Z
.
Remark 2.8.3
为了 V (a) V (a) Spec A .
以从.
CHAPTER 2. SCHEMES 56
2.8.2:
ι: Z X (1) 拓扑 ι: Z X (2)
ι
#
: O
X
ι
O
Z
.
2.8.3: locally closed immersion
f : Z Y
Z
i
U
j
Y
i 一个j 一个 f locally closed immersion.
2.8.1: +
.
2.9 Points in schemes
仿 k
n
是普 n 视角
. 一个 x X
Spec κ(x) X
. x U = Spec A p x
Spec κ(x) X
Spec κ(x) Spec A
p
Spec A = U X
A A
p
A
p
/pA
p
. 这还广 R-.
2.9.1: R-valued point
R一个 Spec R X R-valued point R-point. R
X(R) = Hom
Sch
(Spec R, X)
X affine X = Spec A
X(R) = Hom
Sch
(Spec R, Spec A) = Hom
CRing
(A, R)
CHAPTER 2. SCHEMES 57
Example 2.9.1
x
2
+ y
2
= 1
何体为一个仿 X = Spec A义为
A = Z[x, y]/(x
2
+ y
2
1)
一个 R
X(R) = Hom
CRing
(A, R)
ϕ: A R ϕ(x) ϕ(y) 0
0
ϕ(x
2
+ y
2
1) = ϕ(x)
2
+ ϕ(y)
2
1 = 0
Hom
CRing
(A, R)
=
{(a, b) R × R : a
2
+ b
2
= 1 R}
R .
Example 2.9.2
于仿 n-space A
n
= Spec Z[x
1
, ··· , x
n
]
A
n
(R) = R
n
A
n
(k) = k
n
k 仿.
Example 2.9.3
广
X = Spec Z[x
1
, ··· , x
n
]/(g
1
, ··· , g
r
)
X(R) = {a R
n
: g
1
(a) = ··· = g
r
(a) = 0}
2.9.1
X 为一个K 为一个
X(K) = {(x, α): x X, α : κ(x) K}
: x X U = Spec A x Spec K K-point f : Spec K
CHAPTER 2. SCHEMES 58
X 使 x factor through
Spec K U = Spec A X
p A x f : Spec K Spec A 一个 ϕ: A Kf x
ϕ
1
(0) = p
A/p K
κ(x) K
一个.
R-.
2.9.2: relative version of R-valued point
X over AR A-
X(R) = Hom
Sch/A
(Spec R, X)
X 一个 over k scheme
X Spec k
k O
X,x
κ(x)
i
x
: k κ(x)
over k X(k)
Spec k X
Spec k
f
id
i
k κ(x)
k
f
x
id
i
x
over k
X(k) = {x X : induced morphism k κ(x) is an isomorphism}
CHAPTER 2. SCHEMES 59
2.10 Affine varieties as schemes
仿义为不一个视角.
2.10.1: affine variety over a field k
一个 affine variety over a field k 一个 k-scheme
X = Spec (k[x
1
, ··· , x
n
]/a)
a k[x
1
, ··· , x
n
] 一个仿射就 k-scheme .
k 原古有极
. Spec Zariski 拓扑
拓扑.
V A
n
(k) 为不即古
A[V ] = k[x
1
, ··· , x
n
]/I(V )
X = Spec A[V ]
视角一个仿
V 7→ Spec A[V ]
V W A(W ) A(V ) k-
k-schemes
X Y = Spec A[W ]
一一了仿 k-.
2.10.1
X over k 一个仿.
(1) P X 且仅 κ(P ) k .
(2) X .
(3) f : X Y k 上代P X Q = f(P ) Y
κ(P ) κ(Q) .
: X = Spec A A k .
(1) P A m
κ(P ) = A/m
CHAPTER 2. SCHEMES 60
一个 k- Zariski k .
(2) 一个一个 D(f)
D(f)
=
Spec A
f
A k- A
f
= A[1/f] A
f
n κ(n) = A
f
/n k
p = n A D(f)
A/p A
f
/n
k k 维线 a A/p
m
a
: A/p A/p, x 7→ ax
维线 b 使
ab = 1
A/p p .
(3) X = Spec BY = Spec A A, B k- f k-
ϕ: A B . P B m
κ(P ) = B/m
k 一个 Q = f (P ) p = ϕ
1
(m) ϕ
A/p B/m = κ(P )
(2) A/p p A 一个
[κ(P ) : k] = [κ(P ) : κ(Q)][κ(Q) : k]
κ(P ) κ(Q) .
2.11 First step to gluing: gluing two schemes together
一个公共两个 X
1
X
2
.
CHAPTER 2. SCHEMES 61
X
1
X
12
X
2
X
21
一个
τ : X
21
X
12
X
12
X
21
拓扑一个
X =
X
1
a
X
2
/
q : X
1
a
X
2
X
g
i
= q|
X
i
: X
i
X
g
i
U
i
= g
i
(X
i
) X .
为了 X 为一个 O
X
拓扑 V X
且仅 g
1
i
(V ) X
i
i = 1, 2 .
V X为从 X
1
X
2
的相 τ
#
拓扑
τ
1
(g
1
2
(V ) X
21
) = g
1
1
(V ) X
12
τ
#
τ
#
: O
X
2
(g
1
2
V X
21
) τ
O
X
1
(g
1
2
V X
21
) = O
X
1
(g
1
1
(V ) X
12
)
O
X
(V ) =
n
(s
1
, s
2
) O
X
1
(g
1
1
(V )) × O
X
2
(g
1
2
(V )) | s
1
|
g
1
1
(V )X
12
= τ
(s
2
|
g
1
2
(V )X
21
)
o
V
V 射就 (s
1
, s
2
) (s
1
|
g
1
1
(V
)
, s
2
|
g
1
2
(V
)
) O
X
一个
(X, O
X
) 一个.
g
i
: X
i
U
i
拓扑们下
(g
i
)
O
X
i
=
O
X
|
U
i
i = 1 W U
1
O
X
|
U
1
(W ) = O
X
(W ) = {(s
1
, s
2
) O
X
1
(g
1
1
(W )) × O
X
2
(g
1
2
(W )): s
1
|
g
1
1
W X
12
= τ
#
(s
2
|
g
1
2
W X
21
)}
W U
1
g
1
2
(W ) X
21
s
1
|
g
1
1
W X
12
= τ
#
(s
2
|
g
1
2
W
) = s
2
= (τ
#
)
1
(s
1
|
g
1
1
W X
12
)
s
2
s
1
全决
O
X
|
U
1
(W )
=
O
X
1
(g
1
1
(W )) = (g
1
)
O
X
1
(W )
CHAPTER 2. SCHEMES 62
为了出具
ϕ
W
: O
X
|
U
1
(W ) (g
1
)
O
X
1
(W ), (s
1
, s
2
) 7→ s
1
g
1
: (X
1
, O
X
1
) (U
1
, O
X
|
U
1
)
g
2
: (X
2
, O
X
2
) (U
2
, O
X
|
U
2
)
于任 x X U
i
O
X,x
= (O
X
|
U
i
)
x
=
O
X
i
,g
1
i
(x)
. U
1
, U
2
X
1
, X
2
仿
X 仿 X 一个.
2.12 Gluing sheaves
为了一下. X 拓扑{U
i
}
X 便们令
U
ij
= U
i
U
j
, U
ijk
= U
i
U
j
U
k
2.12.1: Gluing morphisms for sheaves
F G X
ϕ
i
: F |
U
i
G |
U
i
ϕ
i
|
U
ij
= ϕ
j
|
U
ij
i, j
ϕ: F G
使
ϕ|
U
i
= ϕ
i
: V 们令 V
i
= V U
i
s F (V ) ϕ
i
(s|
V
i
) G (V
i
)
V
ij
ϕ
i
(s|
V
i
)|
V
ij
= ϕ
i
(s|
V
ij
) = ϕ
j
(s|
V
ij
) = ϕ
j
(s|
V
j
)|
V
ij
{ϕ
i
(s|
V
i
)} G (V ) 一个 ϕ(s).
CHAPTER 2. SCHEMES 63
一个 U
i
F
i
的目 X
F 使
F |U
i
= F
i
一个
ν
i
: F |
U
i
F
i
U
ij
两个
ν
i
|
U
ij
: F |
U
ij
F
i
|
U
ij
, ν
j
|
U
ij
: F |
U
ij
F
j
|
U
ij
τ
ij
= ν
j
ν
1
i
:
τ
ij
: F
i
|
U
ij
F
j
|
U
ij
τ
ii
= id, τ
ij
= τ
1
ji
, τ
jk
τ
ij
= τ
ik
们也一个.
2.12.2: Gluing sheaves
X 为一个拓扑{U
i
} U
i
F
i
τ
ij
: F
i
|
U
ij
F
j
|
U
ij
(1) τ
ii
= id.
(2) τ
ji
= τ
1
ij
on U
ij
.
(3) τ
ik
= τ
jk
τ
ij
on U
ijk
.
一个 X F 使
ν
i
: F |
U
i
F
i
使
F |
U
ij
F
i
|
U
ij
F
j
|
U
ij
ν
i
ν
j
τ
ij
F unique up to unique isomorphism. (F
i
, τ
ij
) gluing datumτ
ij
cocycle conditions.
CHAPTER 2. SCHEMES 64
: X F 于任 V X
F (V ) =
(
(s
i
)
iI
Y
iI
F
i
(V U
i
)
τ
ij
s
i
|
V U
ij
= s
j
|
V U
ij
i, j
)
W V F (V ) F (W )
(s
i
)
i
7− (s
i
|
W U
i
)
i
.
使 F 为一个.
s = (s
i
)
i
t = (t
i
)
i
F (V ) 于一个
V =
[
α
W
α
s|
W
α
= t|
W
α
i
s
i
|
W
α
U
i
= t
i
|
W
α
U
i
F
i
{W
α
U
i
} V U
i
i
s
i
= t
i
s = t
V =
[
α
W
α
s
(α)
F (W
α
) α, β
s
(α)
|
W
α
W
β
= s
(β)
|
W
α
W
β
s
(α)
= (s
(α)
i
)
i
形式. 一个 i I {s
(α)
i
}
α
{W
α
U
i
} F
i
s
i
F
i
(V U
i
)
使 α
s
i
|
W
α
U
i
= s
(α)
i
(s
i
)
i
F (V ) 的相 W
α
U
ij
τ
ij
s
i
|
W
α
U
ij
= τ
ij
s
(α)
i
|
W
α
U
ij
= s
(α)
j
|
W
α
U
ij
= s
j
|
W
α
U
ij
CHAPTER 2. SCHEMES 65
W
α
U
ij
V U
ij
τ
ij
s
i
|
V U
ij
= s
j
|
V U
ij
(s
i
)
i
F (V )
W
α
s
(α)
.
i
ν
i
: F |
U
i
F
i
i V U
i
s = (s
j
)
j
F (V )
ν
i
(s) = s
i
F
i
(V )
一个. U
i
.
t F
i
(V ), V U
i
j
t
j
= τ
ij
t|
V U
ij
F
j
(V U
j
)
τ (i)–(iii) (t
j
)
j
义了 F (V ) 一个. i
便 t ν
i
t 7− (t
j
)
j
. i, j .
F 义下. F
X 一个
ν
i
: F
|
U
i
F
i
的相
β
i
= ν
′−1
i
ν
i
: F |
U
i
F
|
U
i
U
ij
ν
j
ν
1
i
= τ
ij
= ν
j
ν
′−1
i
ν
′−1
j
ν
j
= ν
′−1
i
ν
i
U
ij
β
j
= β
i
U
ij
{β
i
}
β : F F
CHAPTER 2. SCHEMES 66
β|
U
i
= β
i
ν
1
i
ν
′−1
i
一个
F
F
β .
γ : F F
U
i
ν
′−1
i
ν
i
= β
i
γ
γ = β
2.13 Gluing schemes
2.13.1: Gluing morphisms of schemes
X, Y {U
i
} X 一个 f
i
: U
i
Y 使
f
i
|
U
ij
= f
j
|
U
ij
f : X Y
使
f|
U
i
= f
i
: 拓扑
f(x) = f
i
(x), x U
i
x U
ij
f
i
(x) = f
j
(x) f
i
f .
f
#
: O
Y
f
O
X
V Y s O
Y
(V ) i f
i
一个
t
i
= f
#
i
(s) O
X
(f
1
(V ) U
i
)
CHAPTER 2. SCHEMES 67
U
ij
f
i
|
U
ij
= f
j
|
U
ij
t
i
|
f
1
(V )U
ij
= t
j
|
f
1
(V )U
ij
{t
i
}
i
一个
t O
X
(f
1
(V ))
f
#
(s) = t
f
#
: O
Y
f
O
X
一个. (f, f
#
) U
i
(f
i
, f
#
i
)便义了一个
f : X Y .
. g : X Y 一个 g|
U
i
= f
i
f g
{U
i
} 上一上也一. f
#
g
#
为两
上一处处. f = g.
讨论.
CHAPTER 2. SCHEMES 68
2.13.2: Gluing sheaves
{X
i
} 为一 i, j X
ij
X
i
τ : X
ij
X
ji
(1) τ
ii
= id.
(2) τ
ij
= τ
1
ji
.
(3) i, j, k τ
ij
(X
ij
X
ik
) = X
ji
X
jk
X
ij
X
ik
τ
ik
= τ
jk
τ
ij
一个 X 与一
g
i
: X
i
X
使
X
ij
X
i
X
X
ji
X
j
τ
ij
g
i
g
j
X Y f
i
: X
i
Y f
i
|
X
i
j
= f
j
τ
ij
f : X Y 使 f g
i
= f
i
.
X
ij
X
i
X Y
X
ji
X
i
τ
ij
g
i
f
i
!f
g
j
f
j
:
G
iI
X
i
拓扑 X
i
不交. 义一个 x X
i
y X
j
x y x X
ij
, y X
ji
, y = τ
ij
(x).
i = j x X
i
. (i)–(iii)
(i) (ii) (iii) .
CHAPTER 2. SCHEMES 69
X =
G
iI
X
i
拓扑
π :
G
iI
X
i
X
. i
g
i
: X
i
X
π X
i
. g
i
一个 X
i
中两个不 .
g
i
U
i
:= g
i
(X
i
)
. V X
i
拓扑g
i
(V ) X 且仅
π
1
(g
i
(V ))
不交.
π
1
(g
i
(V )) =
G
j
τ
ij
(V X
ij
).
τ
ij
π
1
(g
i
(V )) g
i
.
. U
i
沿 g
i
X
i
O
U
i
= (g
i
)
O
X
i
.
U
i
U
j
= g
i
(X
ij
) = g
j
(X
ji
),
τ
ij
: X
ij
X
ji
τ
#
ij
: O
U
j
|
U
i
U
j
O
U
i
|
U
i
U
j
.
CHAPTER 2. SCHEMES 70
(i)–(iii) 的相 O
U
i
X 一个 O
X
U
i
O
U
i
.
x X
i
O
X
O
X
i
,x
.
(X, O
X
)
一个. x X可取 i 使 x U
i
X
i
一个仿 V X
i
.
g
i
(V ) U
i
X
x g
i
与仿 V g
i
(V ) 仿. X 一个仿
X .
.
f
i
: X
i
Y
Y i, j
f
i
|
X
ij
= f
j
τ
ij
,
f
i
拼成一个
f : X Y.
的相
f
#
i
一个
f
#
: O
Y
f
O
X
,
(f, f
#
) 一个
f g
i
= f
i
.
.
2.14 Proj construction
S =
M
d0
S
d
为一个一个 I homogeneous ideal
即可 f I I
f =
X
a
i
g
i
CHAPTER 2. SCHEMES 71
g
i
a
i
不一 a
i
S a
i
a
i
=
X
a
ij
f =
X
a
ij
g
j
一个
f =
X
n
f
n
, f
n
I S
n
f I
I
M
d0
(I S
d
)
是显价于
I =
M
d0
(I S
d
)
S/I 一个
(S/I)
d
= S
d
/I S
d
S
+
=
M
d>0
S
d
之为 irrelevant ideal. 于一 I
I
h
=
M
d0
(I S
d
)
I 且仅 I = I
h
.
2.14.1: Proj construction
S
Proj S = {S I : S
+
I}
为什么不 S
+
k[x
1
, ··· , x
n
]
S
+
= (x
1
, ··· , x
n
)
仿 S
+
.
的目的 (Proj S, O
Proj S
) 使为一个. Proj S Zariski
.
CHAPTER 2. SCHEMES 72
2.14.2: Zariski拓扑
Proj S
V
+
(I) = {p Proj S : I p}
I 一个.
\
V
+
(I
α
) = V
X
I
α
, V
+
(I) V
+
(J) = V
+
(I J) = V
+
(IJ)
Proj S 拓扑 Zariski topology.
们也义主 f S
D
+
(f) = {p Proj S : f / p}
D
+
(f) = Proj S\V
+
((f))
.
2.14.1
{D
+
(f)} 成拓扑. 0
{D
+
(f) : deg f > 0} 拓扑.
: 与仿 f, g f g
D
+
(f) D
+
(g) = D
+
(fg)
明是拓扑. f S
0
D
+
(f) 正次
p D
+
(f) S
+
p定存 h p
p D
+
(h)
p f, h p fh 也不 p
p D
+
(fh)
deg fg = deg f + deg h = deg h > 0
D
+
(fh) = D
+
(f) D
+
(h) D
+
(f)
正次 h 使
D
+
(f) =
[
h
D
+
(fh)
正次拓扑.
CHAPTER 2. SCHEMES 73
Remark 2.14.1
S
+
= (f
i
)
Proj S =
[
D(f
i
)
为任一个 p Proj S f
i
S
+
.
于任 f S
0
D
+
(f) = Proj S D
+
(f) =
[
(D
+
(f) D
+
(f
i
)) =
[
D
+
(ff
i
)
正次成拓扑.
Remark 2.14.2
Proj S 拓扑 Spec S 拓扑 f S
f = f
0
+ f
1
+ ··· + f
d
V (f) Proj S =
d
\
i=0
V
+
(f
i
)
D(f) Proj S =
d
[
i=0
D
+
(f
i
)
Remark 2.14.3
S 1 S
0
D
+
(f
i
)
Proj S 一个
S
+
= (f
i
: deg f
i
= 1)
来构 O
Proj S
O期望
(1) f S O(D
+
(f)) = S
(f)
S
(f)
S
f
0 .
S
(f)
=
a
f
n
: a , deg
a
f
n
= deg a n deg f = 0
(2) p Proj S
O
p
= S
(p)
T S\p S
(p)
T
1
S 0 .
CHAPTER 2. SCHEMES 74
2.14.1
S S
+
I, J S 两个
(1) I I
h
.
(2) I, J
V
+
(I) V
+
(J) J S
+
I
(3) Proj S = 且仅 S
+
.
: (1) ab I
h
a, b / I
h
a =
n
X
i=0
a
i
, b =
m
X
j=0
b
j
I
h
a
n
, b
m
/ I
h
ab I
h
a
n
b
m
I
h
I a
n
I
b
m
I a
n
I
h
b
m
I
h
. I
h
.
(2) J S
+
I p V
+
(I)
JS
+
J S
+
I p
S
+
p p J p p V
+
(J)
V
+
(I) V
+
(J)
p V (I) p
h
I p
h
p
h
S
+
p
h
V
+
(J)
J S
+
p
h
p
p
h
S
+
J S
+
I
(3) Proj S = 且仅 V
+
(0) V
+
(S
+
) S
+
p
(0).
2.14.1
S f deg f = r > 0
(1) u
f
: D
+
(f) Spec S
(f)
, p 7→ pS
f
S
(f)
一个.
(2) g S 一个正次D
+
(g) D
+
(f)一个
S
(f)
S
(g)
CHAPTER 2. SCHEMES 75
: (1) u
f
f / p pS
f
S
f
S
(f)
S
f
S
(f)
pS
f
S
(f)
. .
q Spec S
(f)
qS
f
S
f
一个
p
qS
f
p = ρ
1
(
p
qS
f
)
ρ: S S
f
p
p
qS
f
p . ab S
f
使 ab
p
qS
f
m > 0 使
a
m
b
m
qS
f
(a
r
f
deg a
)
m
(b
r
f
deg b
)
m
qS
f
S
(f)
= q
q
a
r
f
deg a
q
a
r
qS
f
= a
p
qS
f
p
qS
f
p
u
f
(p) = q
u
f
(p) = pS
f
S
(f)
=
p
qS
f
S
(f)
= q
明是 p, p
D
+
(f)
p
p u
f
(p
) u
f
(p)
是显 x p
x
r
f
deg x
u
f
(p
) u
f
(p) pS
f
f
x
r
pS
f
S = p
x p p
p.
(2) D
+
(g) D
+
(f) g
m
= bf m
S
(f)
S
(g)
,
a
f
n
7→
ab
n
g
mn
CHAPTER 2. SCHEMES 76
2.14.2
S f S deg f > 0
(1) u
f
: D
+
(f) Spec S
(f)
一个 g S D
+
(g) D
+
(f)
D
+
(g) Spec S
(g)
D
+
(f) Spec S
(f)
u
g
u
f
(2) D
+
(f) 一个 O
D
+
(f)
使
(D
+
(f), O
D
+
(f)
)
=
(Spec S
(f)
, O
Spec S
(f)
)
{O
D
+
(f)
} Proj S O = O
Proj S
(Proj S, O ) 一个.
(3) 于任 p Proj S O
p
= S
(p)
.
: (1) Proj S 拓扑 Spec S 拓扑们从一个 u
f
S
(f)
S
f
D(f)
=
Spec S
f
Spec S
(f)
u
f
D
+
(f) D(f) u
f
一个.
明是于任 h 使 D
+
(h) D
+
(f)
deg
h
deg f
f
deg h
= 0
a =
h
deg f
f
deg h
a S
(f)
u
f
(D
+
(h)) = D(a)
于任 p D
+
(f)
u
f
(p) = pS
f
S
(f)
=
x
f
n
S
(f)
: x p
u
f
(p) D(a) a / u
f
(p)
价于
h
deg f
f
deg h
u
f
(p) h
deg f
/ p h / p p D
+
(h)
CHAPTER 2. SCHEMES 77
u
f
(D
+
(h)) = D(a)
D
+
(h) 成拓扑. 于交
D
+
(g) Spec S
(g)
p
x
g
n
S
(g)
: x p
D
+
(f) Spec S
(f)
p
x
f
n
S
(f)
: x p
u
g
u
f
cf = g
n
ϕ: S
(f)
S
(g)
,
x
f
m
7→
c
m
x
g
mn
ϕ
1

x
g
n
S
(g)
: x p

=
x
f
n
S
(f)
: x p
一些.
(2) D
+
(f) D
+
(g) = D
+
(fg) 们令
O
f
= O
D
+
(f)
= u
1
f
O
Spec S
(f)
D
+
(f)
Spec S
(f)
.
f, g 正次
deg f = d, deg g = e
a
fg
:=
g
d
f
e
S
(f)
, a
gf
:=
f
e
g
d
S
(g)
u
f
(D
+
(f) D
+
(g)) = u
f
(D
+
(fg)) = D(a
fg
) Spec S
(f)
(D
+
(fg), O
f
|
D
+
(fg)
)
=
(D(a
fg
), O
Spec S
(f)
|
D(a
fg
)
)
=
(Spec(S
(f)
)
a
fg
, O
Spec(S
(f)
)
a
fg
)
θ : (S
(f)
)
a
fg
(S
(g)
)
a
gf
(S
(f)
)
a
fg
S
(fg)
,
x/f
n
(g
d
/f
e
)
m
7→
xf
dm+me
g
n
(fg)
n+dm
CHAPTER 2. SCHEMES 78
努力一个 θ了仿
(Spec(S
(f)
)
a
fg
, O
Spec(S
(f)
)
a
fg
)
=
(Spec S
(fg)
, O
Spec S
(fg)
)
(D
+
(fg), O
f
|
D
+
(fg)
)
=
(Spec S
(fg)
, O
Spec S
(fg)
)
(D
+
(fg), O
g
|
D
+
(fg)
)
=
(Spec S
(fg)
, O
Spec S
(fg)
)
τ
fg
: (D
+
(fg), O
f
|
D
+
(fg)
) (D
+
(fg), O
g
|
D
+
(fg)
)
努力之下 Proj S O . Proj S
{D
+
(f)}仿 Proj S 一个.
(3) 于任 p Proj S f 使 D(f) p
O
p
= O
Spec S
(f)
,pS
f
S
(f)
= (S
(f)
)
pS
f
S
(f)
一些努力
(S
(f)
)
pS
f
S
(f)
=
S
(p)
.
2.15 Projective schemes
2.15.1: projective n-space over A
A 一个 projective n-space over A 为一个
P
n
A
= Proj A[x
0
, ··· , x
n
]
Remark 2.15.1
A = k 一个代P
n
k
.
D
+
(x
i
)
O(D
+
(x
i
)) = A[x
0
, ··· , x
n
]
(x
i
)
= A
x
0
x
i
, ··· ,
x
i1
x
i
,
x
i+1
x
i
, ··· ,
x
n
x
i
x
j
x
i
数无
A
x
0
x
i
, ··· ,
x
i1
x
i
,
x
i+1
x
i
, ··· ,
x
n
x
i
=
A[T
1
, ··· , T
n
]
CHAPTER 2. SCHEMES 79
U
i
:= (D
+
(x
i
), O|
D
+
(x
i
)
)
=
A
n
A
S = A[x
0
, ··· , x
n
]
S
+
= (x
0
, ··· , x
n
)
D
+
(x
0
), ··· , D
+
(x
n
) P
n
A
一个一个仿于仿
A
n
A
P
n
A
n + 1 个仿 U
0
, ··· , U
n
公共
的直.
(S
(x
i
)
)
x
j
/x
i
= S
(x
i
x
j
)
= (S
(x
j
)
)
x
i
/x
j
过这公共仿他们以从
P
n
A
.
2.15.1
A Γ(P
n
A
, O
P
n
A
) = A.
:
0 Γ(P
n
A
, O
P
n
A
)
n
Y
i=0
O
P
n
A
(U
i
)
Y
i,j
O
P
n
A
(U
i
U
j
)
(s
i
)
i
n
Y
i=0
O
P
n
A
(U
i
) kernel
s
i
|
U
i
U
j
= s
j
|
U
i
U
j
s
i
=
f
i
x
d
i
i
f
i
d
i
f
i
x
d
i
j
(x
i
x
j
)
d
i
=
f
j
x
d
j
i
(x
i
x
j
)
d
j
价于
(x
i
x
j
)
m
x
d
j
i
x
d
i
j
(f
i
x
d
j
j
f
j
x
d
i
i
) = 0
价于 A[x
0
, ··· , x
n
]
f
i
x
d
j
j
= f
j
x
d
i
i
x
d
i
i
| f
i
CHAPTER 2. SCHEMES 80
deg f
i
= d
i
f
i
= c
i
x
d
i
i
f
j
= c
j
x
d
j
j
x
d
i
i
x
d
j
j
(c
1
c
2
) = 0
c
1
= c
2
c
s
i
= c
i
= c
c Γ(P
n
A
, O
P
n
A
)
Γ(P
n
A
, O
P
n
A
) = A
故整 A.
P
n
= Proj Z[x
0
, ··· , x
n
]
k-
P
n
(k) = Hom
Sch
(Spec k, P
n
)
2.15.1
P
n
(k) =
k
n+1
{0}
/
: 一个 k-一个
ι: Spec k P
n
P
n
一个 U
i
不仅与拓扑
ι
#
: O
P
n
O
Spec k
U x
ι
#
: O
P
n
(U) k
ι
#
x
: O
P
n
,x
O
Spec k,
= k
x U
i
U
i
A
n
价于
ι
#
x
: O
A
n
,x
k
CHAPTER 2. SCHEMES 81
价于
ι: Spec k A
n
ι A
n
一个 k- ι A
n
(k)
=
k
n
.
τ : k
n+1
{0} P
n
(k), (a
0
, ··· , a
n
) 7→
a
0
a
i
, ··· ,
a
i1
a
i
,
a
i+1
a
i
, ··· ,
a
n
a
i
U
i
(k), if a
i
̸= 0
一些努力 τ
P
n
(k) =
k
n+1
{0}
/
R R-point s
0
, ··· , s
n
R
Spec R =
n
[
i=0
D(s
i
)
一些 R-point
ι: Spec R P
n
ι
i
: D(s
i
)
=
Spec R
s
i
U
i
P
n
Z[x
0
/x
i
, ··· , x
n
/x
i
] R
s
i
, x
k
/x
i
7→ s
k
/s
i
Spec R P
n
于一 R一些 R-point未来.
A-scheme们也 S A 使 Proj
一个.
2.15.2: projective A-scheme
A- X projective A-scheme a A[x
0
, ··· , x
n
] 使 X
V
+
(a) P
n
A
. A- X quasi-projective A-scheme
一个一个 P
n
A
.
话说
S = A[x
0
, ··· , x
n
]/a
x
i
整数
weighted projective space.
CHAPTER 2. SCHEMES 82
于一个 kP
n
k
一个不正次
F
X = Proj(k[x
0
, ··· , x
n
]/(F ))
一个 quadric,cubic or quartic 2, 3 4
. 一个 conic 一个 1 quadric P
2
(k) 2
线.
Chapter 3: First properties of schemes
.
3.1 Reduced schemes
3.1.1: reduced schemes
一个 X reduced于任 U X O
X
(U) reduced ring.
Remark 3.1.1
reduced 一个即可.
3.1.1:
一个 X 且仅于任 x X O
X,x
.
: X x X一个 σ O
X,x
n使
σ
n
= 0
σ 一个 (s, U)
s
n
x
= 0 = s|
n
W
= 0, x W U
(s|
W
, W ) σ W s|
W
= 0
σ = (s|
W
)
x
= 0
x
= 0
O
X,x
. s O
X
(U) s x U 使
s
x
̸= 0 s
s
n
= 0 = s
n
x
= 0 s
x
= 0
s .
83
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 84
X 仿 Spec A U = X
A = O
X
(X)
A 们也 X = Spec A .
3.1.1
仿 X = Spec A 且仅 A .
: p A A
S
1
A A N S
1
A S
1
N
. A N = (0)
N(S
1
A) = S
1
N = (0)
A A 于任 p A
p
.
X = Spec A
Y, Z a, b Y Z a + b
了代.
3.2 Integral schemes
3.2.1: integral schemes
一个 X integral 于任仿 U X O
X
(U) .
3.2.1
不交仿仿.
: U = Spec A V = Spec B 仿 A × B
e
1
= (1, 0), e
2
= (0, 1)
D(e
1
) = Spec A, D(e
2
) = Spec B
D(e
1
) D(e
2
) = D(e
1
e
2
) = D(0) = , D(e
1
) D(e
2
) = V (e
1
, e
2
)
c
= Spec(A × B)
U V = D(e
1
) D(e
2
) = Spec(A × B)
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 85
仿仿.
3.2.1:
X 且仅 X .
: X 为了 X 即可 x X一个仿
U = Spec A x A 一个
O
X,x
= A
p
x
一个. 于不 U, V 使
U V =
0 O
X
(U V ) O
X
(U) × O
X
(V ) O
X
(U V ) = 0
O
X
(U V )
=
O
X
(U) × O
X
(V )
一个 U, V 仿不交仿
仿 U V 仿 X . X U =
Spec A X 为一个仿 f, g O
X
(U) = A 使 f g = 0
U = Spec A = V (0) = V (f g) = V (f) V (g)
X U
V (f) = U
f A X f = 0 A .
3.2.1:
X 且仅于任(仿) U X O
X
(U) .
: X X 即可.
W 一个仿 U
ρ: O
X
(W ) O
X
(U)
ρ O
X
(W ) .
s O
X
(W ) 使 ρ(s) = 0仿 V W X U V ̸=
V = Spec A x V U p
(s|
V
)
UV
= ρ(s)|
UV
= 0
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 86
s
x
= 0 O
X,x
= O
Spec A,p
= A
p
s|
V
A
(s|
V
)
x
= 0
s|
V
= 0
仿 s = 0 O
X
(W ) O
X
(U) .
一个仿. 为了
K(X) ξ. U =
Spec A A U ξ
V (ξ) = Spec A = ξ
p
(0) = (0)
ξ = (0) U
U = X
ξ X . X η 一个
η U
{η} X\U
η ξ U . .
3.2.2: function field
于一个 X function field field of rational functions
ξ X
K(X) = O
X,ξ
仿 U = Spec A
O
X,ξ
= O
Spec A,ξ
= A
(0)
= Frac(A)
其函仿. 一些 Spec Z
QA
n
k
k(x
1
, ··· , x
n
).
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 87
3.2.2
X 一个
(1) U X O
X
(U) K(X).
(2) x X O
X,x
K(X).
(3)
O
X
(U) =
\
xU
O
X,x
K(X)
: (1) 了任仿
仿
.
(2) 取包 x 仿 V = Spec A x p
O
X,x
= A
p
Frac(A) = K(X)
.
(3) s O
X
(U) O
X
(U) O
X,x
x U.
是显 f K(X) 一个 O
X,x
x 个仿 V
x
h
x
使
h
x
ξ
= f
f
O
X
(V
x
V
y
) O
X,ξ
{h
x
} 一个 O
X
(U)
f f. .
x X 一个f K(X) 一个 f x regular f O
X,x
.
3.3 Affine communication technique
们介仿一些仿.
3.3.1: Doubly distinguished covers
X 一个U = Spec A V = Spec B X 两个 U V
U, V 话说 x U V W U V 使
W U, V .
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 88
: p Spec A Spec B f A 使
p D
A
(f) = Spec A
f
Spec A Spec B
g B 使
p D
B
(g) = Spec B
g
D
A
(f)
Spec B g 制到 Spec A
f
g
Spec B
g
= {q Spec A
f
: g
/ q} = Spec(A
f
)
g
g
= g
′′
/f
n
Spec B
g
= Spec(A
f
)
g
= Spec A
fg
′′
.
3.3.1: 仿
P X
(1) Spec A X P f ASpec A
f
P.
(2) (f
1
, ··· , f
n
) = A Spec A
f
k
X P Spec A X P.
X 一个 P 仿
[
Spec A
i
X 仿 P.
: X 仿 Spec A Spec A
i
Spec A
(1) Spec A P 仿 (2)
Spec A P.
3.3.1: 仿射局
(1)(2) P affine local property.
3.4 Schemes of finite type
一个 A- B finitely generated of finite type
x
1
, ··· , x
r
使
B
=
A[x
1
, ··· , x
r
]
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 89
3.4.1: finite type
一个 A- X finite type of A一个 {U
i
}
r
i=1
使 U
i
= Spec B
i
B
i
A-.
3.4.1
X over A 仿 U X O
X
(U) A-.
: 使仿 Spec B X
A- f B
O
X
(Spec B
f
) = B
f
= B[f
1
]
A-.
(f
1
, ··· , f
n
) = B
k Spec B
f
k
B
f
k
A- B A-
c
k
B 使
c
1
f
1
+ ···c
n
f
n
= 1
B
f
k
b
k,j
f
m
k,j
k
形式 S b
k,j
f
k
c
k
一个限集 S A- B
= A[S]
B.
X
c
k
f
k
= 1
B
中也 (f
1
, ··· , f
n
) B
中也 B
f
k
B
f
k
B
f
k
B
f
k
= B
f
k
b B
b
1
B
f
k
= B
f
k
N 使 k
f
N
k
· b B
(c
1
f
1
+ ··· + c
n
f
n
)
nN
= 1
(f
N
1
, ··· , f
N
n
) 一个 y
1
, ··· , y
n
B
使
X
y
k
f
N
k
= 1
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 90
b = b · 1 = b(
X
y
k
f
N
k
) =
X
y
k
(f
N
k
b) B
B B
= B = B
B A-. 仿仿
X .
3.4.1
R g
1
, ··· , g
r
R
(1) R A- R
g
i
A- R A-.
(2) M R- M
g
i
R
g
i
- M R-.
3.4.2: morphism of finite type
f : X S finite type S 仿 V = Spec A
f
1
(V ) finite type over A .
于任仿一个仿
即可.
3.4.2
f : X S 为一个 S 个仿 V
i
= Spec A
i
使于任 i
f
1
(V
i
) V
i
f .
: S 仿 V = Spec A P
f
1
(V ) V
P 仿射局使仿仿.
V = Spec A P f
1
(V ) 仿
n
[
i=1
Spec B
i
B
i
A-. g A f
1
(Spec A
g
)
. f Spec B
i
f
i
= f|
Spec B
i
: Spec B
i
Spec A
一个
ϕ
i
: A B
i
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 91
f
1
(Spec A
g
) Spec B
i
= f
1
(D(g)) Spec B
i
= f
1
i
(D(g)) = D(ϕ
i
(g)) = Spec(B
i
)
g
Spec B
i
f
1
(Spec A
g
) =
n
[
i=1
Spec(B
i
)
g
一个 (B
i
)
g
A
g
-即可 B
i
A-
(B
i
)
g
=
B
i
A
A
g
=
A[x
1
, ··· , x
m
]
I
A
A
g
=
A[x
1
, ··· , x
m
]
A
A
g
I
A
A
g
=
A
g
[x
1
, ··· , x
m
]
I
g
(B
i
)
g
A
g
-. Spec A
g
P. (g
1
, ··· , g
n
) = A
Spec A
g
k
P Spec A P. Spec A
g
k
一个仿
f
1
(Spec A
g
k
) =
m
k
[
j=1
Spec C
k,j
C
k,j
A
g
k
-
Spec A =
n
[
k=1
Spec A
g
k
f
1
(Spec A) =
n
[
k=1
m
k
[
j=1
Spec C
k,j
仿 C
k,j
A
g
k
- A
g
k
= A[g
1
k
] A-
C
k,j
A-.
仿仿.
3.5 Noetherian schemes
件之一.
3.5.1: Noetherian
一个 X Noetherian 一个 {U
i
} 使 U
i
= Spec A
i
A
i
Noether .
.
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 92
3.5.1
X TFAE:
(1) X is Noetherian.
(2) X 仿 U = Spec A X A Noether .
: (2) (1) 是显仿. (1) (2)
仿射局.
U = Spec AA Noether f A A
f
Noether
是显 Noether Noether . A
(f
1
, ··· , f
n
) = A
使 A
f
k
Noether A Noether . 3.4.1 M A
. 件也
.
仿 X Noether .
3.5.1
X = Spec A Noether 形当且仅 A Noether .
Hilbert Noether Noether Noether
形往往 finite type .
3.5.2
f : X Y Y Noether X Noether .
: Y Noether V = Spec A使 A
Noether . f f
1
(V ) A- B
i
Hilbert B
i
Noether X Noether .
上一个拓扑 Noether
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 93
3.5.2: Noether
一个 X Noetherian descending chain condition:
Y
1
Y
2
···
r > 0 使 Y
r
= Y
r+1
= ···.
Remark 3.5.1
价于 Noether
.
Noehter 拓扑 Noether
.
3.5.3
Noether X Y 个不 Y = Y
1
Y
2
···
Y
r
. i ̸= j Y
i
Y
j
Y
i
Y irreducible
components.
: S X
. S X Noether 定存一个()
Y . Y Y = Y
1
Y
2
. Y
1
Y
2
Y
X . Y Y
1
, Y
2
为不 Y
. .
Y 一些 i ̸= j
Y
i
Y
j
Y = Y
1
··· Y
r
Y
i
.
Y = Y
1
··· Y
s
一个
Y
1
=
r
[
i=1
(Y
1
Y
i
)
Y
1
有某 Y
i
使 Y
1
Y
i
i 1.
Y
1
Y
1
Y
1
Y
1
Y
j
j = 1. Y
1
= Y
1
.
Z = Y Y
1
= Y Y
1
()
Y
2
··· Y
r
= Y
2
··· Y
s
继续.
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 94
3.5.4: Noether拓扑
Noether 拓扑
(1) Noether 拓扑.
(2) Noether 拓扑 Noether 拓扑.
(3) Noether 拓扑.
: (1) + (2) (3). (1) Noether X 一个
{U
i
} 有有. (2)
制到上也.
3.5.5
X 一个 Noether X Noether .
: {U
i
} 为一个仿 U
i
= Spec A
i
A
i
Noether Y X
一个 Noether Y U
i
Noether . Y U
i
一个仿
X = Spec A 即可 A Noether .
Y g
1
, ··· , g
n
A使
Y =
n
[
i=1
Spec A
g
i
Y a A 使
Y = V (a)
c
= V ((g
1
, ··· , g
n
))
c
=
\
V (g
i
)
c
=
[
D(g
i
)
A Noether A
g
i
Noether Y Noether .
Y X 仿 Spec A仿
Y = Spec A/a
Noether .
一件事 Noether Noether .
3.5.6
X 一个 Noether X 拓扑 Noether .
CHAPTER 3. FIRST PROPERTIES OF SCHEMES 95
: X 一个仿 Noether
U = Spec A A Spec A 集降
V (a
1
) V (a
2
) ···
价于
a
1
a
2
···
A Noether .
3.6 Properties of morphisms: Like schemes, like morphisms
句古之上
finity type .
P 一个
π : X Y
P Y 仿 U X π
1
(U) P.
射就 P 上仿射局
Y 上一仿 {U
i
} 使 π
1
(U
i
) X P π P.
仿上仿射局且仅两个
(1) P 以从 π
1
(Spec A) π
1
(Spec A
f
) .
(2) Spec A =
[
Spec A
f
π
1
(Spec A
f
) P π
1
(Spec A) P.
仿仿
大多上仿射局.
一个上仿射局
Y 个仿 Y = Spec(A).
Y 拓扑为了代.
Chapter 4: Fiber products
4.1 Fiber products
A-scheme一个 X 上一个 X Spec A
广 Spec A 一个.
4.1.1: scheme over S
于一个 S scheme over S S-scheme 一个 X 一个
X S. S- Sch/S使
X Y
S
X S S- X
over S
X
S
视角体作.
纤维 A 为一个
Y
X Z
t
s
pullback 一个 P A p
1
: P X p
2
: P Y 使
96
CHAPTER 4. FIBER PRODUCTS 97
P Y
X Z
p
2
p
1
t
s
使 A factor through P :
A
P Y
X Z
!f
f
2
f
1
p
2
p
1
t
s
P Y
X Z
p
2
p
1
t
s
为一个 pullback square Cartesian square. P 一个fiber product
X ×
Z
Y
纤维义下. 两个 over S
ϕ: Z X, ψ : W Y
Z ×
S
W Z
X ×
S
Y X
W
Y S
ϕ × ψ : Z ×
S
W X ×
S
Y
CHAPTER 4. FIBER PRODUCTS 98
们不
f
X
: X S, f
Y
: Y S
X ×
S
Y = {(x, y): f
X
(x) = f
Y
(y)} =
a
sS
f
1
X
(s) × f
1
Y
(s)
纤维.
4.2 Fiber products of schemes
们仍纤维.
.
S = Spec A 仿纤维 X ×
S
Y X ×
A
Y .
X, Y 予一纤维.
纤维往往一个
A
1
k
×
k
A
1
k
= A
2
k
纤维. 一个 Hom
(X ×
S
Y )(R) = X(R) ×
S(R)
Y (R)
来构仿纤维一个要观 AffSch = CRing
op
且代
纤维 A B
1
, B
2
C
B
1
A
B
2
B
2
B
1
A
使 Spec
Spec(B
1
A
B
2
) Spec B
2
Spec B
1
Spec A
CHAPTER 4. FIBER PRODUCTS 99
Spec(B
1
A
B
2
) AffSch Spec B
1
Spec B
2
纤维.
Sch 也仍纤维.
4.2.1
f
i
: Spec B
i
Spec Ai = 1, 2 Spec(B
1
A
B
2
) 与两 p
1
, p
2
Spec B
1
Spec B
2
Sch 纤维.
: 于任 T
T
Spec(B
1
k
B
2
) Spec B
2
Spec B
1
Spec A
2.4.1 T Spec B
i
价于 A B
i
O
T
(T )
O
T
(T )
B
1
k
B
2
B
2
B
1
A
B
1
A
B
1
O
T
(T ) 2.4.1 T
Spec(B
1
B
2
)以为纤维.
4.2.1:
U X 一个 f : T X 使 f(T ) U f U
使.
T
U X
!f
f
ι
CHAPTER 4. FIBER PRODUCTS 100
: 拓扑 f V U
O
X
(V ) = O
X
|
U
(V )
O
X
f
O
T
O
X
|
U
f
O
T
. 了一一.
纤维.
4.2.2
f : X S ι : V S f
1
V 一个
O
X
|
f
1
(V )
. f
1
V
=
V ×
S
X.
: f
1
V g : T X T f
1
(V )
T
f
1
V X
V S
j
f|
f
1
V
f
ι
f
1
V V ×
S
X.
4.2.2
X ×
S
Y U X 一个 p
1
X
U p
X
|
p
1
X
U
, p
Y
|
P
1
X
U
纤维 U ×
S
Y .
p
1
X
U X ×
S
Y Y
U X S
p
Y
p
X
ι
: ι: U X g
U
: T U g
Y
: T Y 使
T
g
U
U X S
T
g
Y
Y S
CHAPTER 4. FIBER PRODUCTS 101
X ×
S
Y g : X ×
S
Y 使
T
p
1
X
U X ×
S
Y Y
U
X S
g
g
g
Y
g
U
g
X
p
Y
p
X
ι
p
1
X
U g 使 U ×
S
Y .
来构纤维.
4.2.3
一个 X {U
i
}
iI
使 U
i
×
S
Y X ×
S
Y . U
i
×
S
Y
X ×
S
Y 一个 X ×
S
Y U
i
×
S
Y .
: U
ij
= U
i
U
j
U
ijk
= U
i
U
j
U
k
p
i
: U
i
×
S
Y U
i
p
1
i
(U
ij
) 纤维 U
ij
×
S
Y . j
θ
ij
: p
1
i
U
ij
p
1
j
U
ij
使
p
1
i
U
ij
p
1
j
U
ij
U
ij
θ
ij
p
i
p
j
θ
ij
cocycle
p
1
i
U
ijk
p
1
j
U
ijk
p
1
k
U
ijk
U
ijk
θ
ij
p
i
θ
jk
p
j
p
k
p
1
i
(U
ijk
) θ
ik
= θ
jk
θ
ij
p
1
i
U
i
X ×
S
Y
p
i
一个 p
X
: X ×
S
Y X U
i
×
S
Y Y
CHAPTER 4. FIBER PRODUCTS 102
p
1
i
U
ij
p
1
j
U
ij
U
i
×
S
Y U
ij
×
S
Y U
j
×
S
Y
Y
θ
ij
ι
i
φ
i
φ
j
ι
j
p
Y
i
q
Y
p
Y
j
以也一个 p
Y
: X ×
S
Y Y .
p
X
p
Y
纤维 T 为任一个 S- ϕ
X
: T X
ϕ
Y
: T Y 使
T
X ×
S
Y Y
X S
φ
Y
φ
X
p
Y
p
X
于任 i I ϕ
1
X
(U
i
) U
i
ϕ
Y
: T Y 了一个
ϕ
i
: ϕ
1
X
(U
i
) U
i
×
S
Y
ϕ
1
X
(U
i
)
U
i
×
S
Y Y
U
i
S
φ
i
φ
Y
φ
X
ϕ
1
(U
ij
) ϕ
i
= ϕ
j
ϕ : T X ×
S
Y 使
p
X
ϕ = ϕ
X
, p
Y
ϕ = ϕ
Y
X ×
S
Y 纤维.
CHAPTER 4. FIBER PRODUCTS 103
4.2.4
S 仿 X ×
S
Y .
: Y 仿 U
i
X 仿 U
i
×
S
Y X ×
S
Y .
Y 仿 Y 仿 V
j
X ×
S
V
j
X ×
S
Y
.
4.2.5
U X ι : U X f, g : T U 为两个使 ι f = ι g
f = g.
: 拓扑是显 f = g = h 拓扑 f
#
g
#
O
X
|
U
h
O
T
ι
#
V U O
X
(V ) O
U
(V )
(ι f)
#
= (ι g)
#
价于
ι
(f
#
) ι
#
= ι
(g
#
) ι
#
V U ι
#
(V )
ι
(f
#
)(V ) ι
#
(V ) = ι
(g
#
)(V ) ι
#
(V )
f
#
(V ) = g
#
(V )
f
#
= g
#
f = g.
4.2.6
ι : T S 为一个 X, Y 为两个 T - X ×
T
Y X ×
S
Y
X ×
T
Y .
: f
X
: X T f
Y
: Y T X, Y S-schemes ι f
X
ι f
Y
.
Z ϕ
X
: Z X, ϕ
Y
: Z Y 使
(ι f
X
) ϕ
X
= (ι f
Y
) ϕ
Y
ι
f
X
ϕ
X
= f
Y
ϕ
Y
CHAPTER 4. FIBER PRODUCTS 104
X ×
T
Y Z X ×
T
Y 使
Y
Z X ×
T
Y T S
X
f
Y
ιf
Y
ι
f
X
ιf
X
X ×
T
Y X ×
S
Y .
过这许许多多.
4.2.1: 纤维
于任 S f
X
: X S f
Y
: Y S纤维 X ×
S
Y .
: {S
i
}
iI
S 一个仿 U
i
= f
1
X
(S
i
) V
i
= f
1
Y
(S
i
). 4.2.4
纤维 U
i
×
S
i
V
i
. 4.2.6 U
i
×
S
V
i
.
U
i
×
S
Y 一个 T
T Y
U
i
S
T U
i
S S
i
T Y S S
i
价于
T Y
U
i
S
i
T Y S S
i
T Y V
i
价于
T V
i
U
i
S
i
CHAPTER 4. FIBER PRODUCTS 105
T
U
i
×
S
i
V
i
V
i
U
i
S
i
T
U
i
×
S
Y Y
U
i
S
U
i
×
S
i
V
i
U
i
×
S
Y U
i
×
S
Y 4.2.3
X ×
S
Y .
4.3 First example in fiber products
一些. 于任 R
R[x
1
, ··· , x
m
]
R
R[y
1
, ··· , y
n
]
=
R[x
1
, ··· , x
m
, y
1
, ··· , y
n
]
A
m
R
×
R
A
n
R
=
A
m+n
R
使 R = C A
m+n
C
A
m
C
× A
n
C
不一了为
什么纤维纤维.
X A
m
R
= Spec R[x
1
, ··· , x
m
] Y A
n
R
= Spec R[y
1
, ··· , y
n
] 两个分别
a = (f
1
, ··· , f
r
) k[x
1
, ··· , x
m
] b = (g
1
, ··· , g
s
) k[y
1
, ··· , y
n
] X ×
R
Y
A
m+n
R
Spec R[x
1
, ··· , x
m
, y
1
, ··· , y
n
]/(f
1
, ··· , f
r
, g
1
, ··· , g
s
)
件事
R[x
1
, ··· , x
m
]
(f
1
, ··· , f
r
)
R
R[y
1
, ··· , y
n
]
(g
1
, ··· , g
s
)
CHAPTER 4. FIBER PRODUCTS 106
为了一个交 I M, J N
(M/I)
R
(N/J)
=
M
R
N
I N + M J
I M M/I 0
I
R
N M
R
N (M/I)
R
N 0
(M/I)
R
N
=
M
R
N/I
R
N
J N N/J 0
M/I
(M/I)
R
J (M/I)
R
N (M/I)
R
(N/J) 0
(M/I)
R
(N/J)
=
(M/I)
R
N
(M/I)
R
J
两个
f : M
R
N (M/I)
R
N, g : (M/I)
R
N (M/I)
R
(N/J)
F := g f : M
R
N (M/I)
R
(N/J)
Ker F 即可
Ker F = f
1
(Ker g)
Ker g = Im((M/I)
R
J) (M/I)
R
J m
R
n n J
+
Ker F = f
1
(Ker g) = Ker f + M
R
J = I
R
N + M
R
J
(M/I)
R
(N/J)
=
M
R
N
I N + M J
=
R[x
1
, ··· , x
m
]
R
R[y
1
, ··· , y
n
]
(f
1
, ··· , f
r
)
R
R[y
1
, ··· , y
n
] + R[x
1
, ··· , x
m
]
R
(g
1
, ··· , g
s
)
R[x
1
, ··· , x
m
]
R
R[y
1
, ··· , y
n
]
=
R[x
1
, ··· , x
m
, y
1
, ··· , y
n
]
CHAPTER 4. FIBER PRODUCTS 107
(f
1
, ··· , f
r
)
R
R[y
1
, ··· , y
n
] + R[x
1
, ··· , x
m
]
R
(g
1
, ··· , g
s
) = (f
1
, ··· , f
r
, g
1
, ··· , g
s
)
. 的直 X m f
1
= 0, . . . , f
r
= 0 Y n
g
1
= 0, . . . , g
s
= 0 两个一个 m + n
f
i
0 g
j
0.
Spec C ×
R
Spec C C
R
C C = R[t]/(t
2
+ 1)
C
R
C = R[t]/(t
2
+ 1)
R
C = C[t]/(t
2
+ 1) = C[t]/(t + i)(t i)
=
C × C
Spec C ×
R
Spec C 两个.
Remark 4.3.1
一些代为一个 ϕ: M
N R- M, N R- ϕ(1
M
) = 1
N
M R-
{m
i
} 使 i, j ϕ(m
i
m
j
) = ϕ(m
i
)ϕ(m
j
) ϕ 一个代.
一个代个代
一一往往
一个
A
R
R[x]
=
A[x]
件事明是.
Remark 4.3.2
一些一些 B A I A
B/IB
=
B
A
(A/I)
一个广
B 一个 A
B A 即可. 一些
A A B
A/I B/IB B
A
(A/I)
=
B/IB
S
1
A S
1
B B
A
S
1
A
=
S
1
B
A[t] B[t] B
A
A[t]
=
B[t]
κ(p) 纤维 B
A
κ(p)
=
(B/pB)
p
4.4 Base change
纤维.
CHAPTER 4. FIBER PRODUCTS 108
4.4.1: base change
S- X ρ: X S T S 为任一纤维
X
T
= X ×
S
T 一个 T - X
T
X base change T S .
X
T
X
T S
p
T
p
纤维视角们不 X ×
S
T 一个
X . X S S X
T
T .
X = Spec k[x
1
, ··· , x
n
]/(f
1
, ··· , f
r
)
k K X
K
X
K
= X ×
k
K Spec K[x
1
, ··· , x
n
]/(f
1
, ··· , f
r
)
X
K
X K . X = Spec R[x, y]/(x
2
+
y
2
+ 1) C
X
C
= Spec C[x, y]/(x
2
+ y
2
+ 1)
X R- X
C
C-.
一个 X 一个 k- k 一个 σ σ ι: Spec k
Spec k σX:
σX X
Spec k Spec k
ι
一个.
4.4.1
ρ : T S 一个 f : X S沿 ρ X ×
S
T X .
CHAPTER 4. FIBER PRODUCTS 109
:
X
T
X
X
T
X
T S
p
X
p
X
gp
X
p
T
gp
X
g
id
ρ
1
f
p
X
p
T
f
ρ
X
T
g p
X
g = id g p
X
= id
X
T
p
X
g p
X
= (p
X
g) p
X
= id p
X
= p
X
p
T
g p
X
= ρ
1
f p
X
= ρ
1
ρ p
T
= p
T
X
T
X
T
X
T S
gp
X
p
X
p
T
p
X
p
T
f
ρ
纤维
g p
X
= id
.
ι σX X k-
. k = Q(
2)
σ(a + b
2) = a b
2
两个
X = Spec k[x, y]/(x
2
+
2y
2
+ 1), σX = Spec k[x, y]/(x
2
2y
2
+ 1)
一个 k-二个.
Remark 4.4.1
σX X k[x
1
, . . . , x
n
] I = (f
1
, . . . , f
m
) 仿
CHAPTER 4. FIBER PRODUCTS 110
Spec A σX 义为纤维 X ×
Spec k,σ
Spec k
A
k,σ
k
=
(k[x
1
, . . . , x
n
]/I)
k,σ
k
(c · a) 1 = a σ(c)
于任一 f
j
=
X
a
I
x
I
f
j
1 =
X
(a
I
x
I
1) =
X
(x
I
σ(a
I
))
k a
I
为了 σ(a
I
)
σX X σ .
4.5 Fibers
4.5.1: Fiber
f : Spec B Spec A p Spec A fiber f
1
(p).
f ϕ : A B y SpecA A p f
1
(y) B
ϕ
1
(q) = p q .
y SpecA p {y} = {y} = V (p)
f
1
(V (p)) = V (ϕ(p)B)
纤维 f
1
(y) 一个 Spec(B(p)B).
y 纤维 SpecB 中不们仍
f
1
(V (p)) = V (ϕ(p)B)
一些 p 不一 y. 纤维
.
们令
S = ϕ(A\p)
B
B
p
:= S
1
B
V (ϕ(p)B) 些不 p ϕ(A p)
q V (ϕ(p)B)
CHAPTER 4. FIBER PRODUCTS 111
ϕ
1
(q) p
ϕ
1
(q) (A p) ̸=
a ϕ
1
(q) (A p) ϕ(a) q S q (1).
B B
p
B
p
(p)B
p
Spec(B
p
(p)B
p
) Spec(B
p
) Spec(B)
4.5.1: 纤维
f : SpecB SpecA p SpecA 纤维
f
1
(p)
=
Spec(B
p
(p)B
p
)
p 一个 f
1
(p) Spec(B(p)B).
:
Spec(B
p
(p)B
p
)
=
V (ϕ(p)B
p
) Spec(B
p
)
Spec(B
p
)
=
D SpecB
D B 中与 S
Spec(B
p
(p)B
p
)
=
K
K
K = {q SpecB : q S = , qB
p
ϕ(p)B
p
}
q S = ϕ
1
(q) p qB
p
ϕ(p)B
p
q ϕ(p) ϕ
1
(q) p
ϕ
1
(q) = p
.
4.6 Scheme theoretic fibers
纤维 f : X Y y Y
Spec κ(y) Y
CHAPTER 4. FIBER PRODUCTS 112
y Y κ(y) = O
Y,y
/m
y
Spec κ(y) Spec O
Y,y
Y
scheme theoretic fiber
X
y
= Spec κ(y) ×
Y
X
下交
X
y
X
Spec κ(y) Y
f
X
y
κ(y)- g : T X factors via X
y
且仅 f g factors
through Spec κ(y) Y . f g T y.
T
X
y
X
Spec κ(y) Y
g
f
一个 T X Y y
T 是映纤维 X
y
. X
y
y 之上西 .
4.6.1: 纤维拓扑纤维
f : X Y 为一个y Y 一个 X
y
X 一个拓扑纤维 f
1
(y) .
: Y = Spec A 仿 X = Spec B仿f : X Y
ϕ: A B . p Spec A 纤维 f
1
(p) Spec(B
p
/pB
p
)
(B/pB)
p
=
B/pB
A
A
p
=
B
A
A/p
A
A
p
=
B (A/p)
p
=
B
A
A
p
/pA
p
=
B
A
κ(p)
f
1
(p) Spec(B
p
/pB
p
) Spec(B
A
κ(p))
X
y
. X 仿. 于一 U X 一个仿
CHAPTER 4. FIBER PRODUCTS 113
ι: X
y
X X ×
Y
Spec κ(y) X 4.2.2
U
y
= U ×
Y
Spec κ(y)
X
y
ι
1
(U). 仿 U
y
(f|
1
U
(y)) = f
1
(y) U .
local on the target ι f
1
(y) .
Example 4.6.1
k 为一个
f : X = Spec k[x, y, t]/(y
2
tx) Spec k[t]
a k (t a) 纤维
X
a
= Spec
k[x, y, t]/(y
2
tx)
k[t]
k[t]/(t a)
=
Spec k[x, y]/(y
2
ax)
a ̸= 0 y
2
ax X
a
. a = 0 纤维
X
0
= Spec k[x, y]/(y
2
)
一个.
纤维交上 U, V S U ×
S
V
S U V S. X 一个Y, Z 两个
scheme-theoretic intersection 纤维
Y ×
X
Z
i: Y X, j : Z X. X = Spec A Y, Z Spec A/I
Spec A/J( 6.1.1)纤维
Spec(A/I
A
A/J) = Spec A/(I + J)
Y ×
X
Z I + J .
4.7 Segre embedding
其具之为 Segre embed-
ding.
k-Segre 义为
σ : P
m
(k) × P
n
(k) P
(m+1)(n+1)1
(k)
(a
0
: ··· : a
m
) × (b
0
: ··· : b
n
) 7→ (a
0
b
0
: a
0
b
1
: ··· : a
i
b
j
: ··· : a
m
b
n
)
CHAPTER 4. FIBER PRODUCTS 114
a
i
b
j
c
ij
. σ 以从 c
ij
a
i
/a
j
b
i
/b
j
a
i
/a
p
= c
iq
/c
pq
, b
j
/b
q
= c
pj
/c
pq
为了 σ 义为 A 一个义一个
σ : P
m
A
×
A
P
n
A
P
(m+1)(n+1)1
A
为了使仿
R
i
= A
x
0
x
i
, ··· ,
x
m
x
i
, S
j
=
y
0
y
j
, ··· ,
y
n
y
j
, T
ij
= A
t
00
t
ij
, ··· ,
t
mn
t
ij
P
m
A
, P
n
A
P
(m+1)(n+1)1
A
仿. 仿
U
ij
= Spec(R
i
A
S
j
)
P
m
A
×
A
P
n
A
.
U
ij
Spec(T
ij
)
ϕ
ij
: T
ij
R
i
A
S
j
,
t
kl
t
ij
7→
x
k
x
i
y
l
y
j
一个一个为了
(R
i
A
S
j
)
(x
p
/x
i
)(y
q
/y
j
)
= (R
p
S
q
)
(x
i
/x
p
)(y
j
/y
q
)
, (T
ij
)
t
pq
/t
ij
= (T
pq
)
t
ij
/t
pq
U
ij
Spec T
ij
一个.
4.7.1
Segre σ : P
m
A
×
A
P
n
A
P
(m+1)(n+1)1
A
一个.
两个 A- X P
m
A
Y P
n
A
X ×
A
Y
纤维
X ×
A
Y Y
P
m
A
×
A
P
n
A
P
n
A
X P
m
A
Spec A
X ×
A
Y P
m
A
×
A
P
n
A
P
(m+1)(n+1)1
A
CHAPTER 4. FIBER PRODUCTS 115
4.8 Functor of points
义了 R- X X(R) = Hom
Sch
(Spec R, X)
ϕ : R S了一个
X(ϕ): X(R) X(S)
X 义了一个
X : CRing Set
X functor of points.
f : X Y R
f
R
: X(R) Y (R)
使 ϕ : R S
X(R) Y (R)
X(S) Y (S)
f
R
X(φ) Y (φ)
f
S
f 一个f : X() Y ().
T
X(): Sch
op
Set, T 7→ Hom
Sch
(T, X)
X() 一个反变 f : X Y 义一个
η : X() Y ()
于任 σ : S T
X(T ) Y (T )
X(S) Y (S)
η
T
X(σ) Y (σ)
η
S
4.8.1:
X Y
Hom
Sch
(X, Y )
=
Hom
[Sch
op
,Set]
(h
X
, h
Y
)
=
Hom
[CRing,Set]
(h
X
, h
Y
)
h
X
= Hom
Sch
(, X) = X().
CHAPTER 4. FIBER PRODUCTS 116
Remark 4.8.1
于仿
. 仿
.
Hom(X, Y ) = Hom(colim A
i
, Y ) = lim Hom(A
i
, Y )
A
i
Y X Y 密子.
S Sch/S S- X
X(T ) = Hom
Sch/S
(T, X)
义了一个从 Sch/S Set 反变 S- X Y 一一
X() Y (). S = Spec A 仿 Alg/A Set.
一个 F : Sch
op
set representable一个 X 使 F
=
Hom
Sch
(, X).
X 义下.
F (T ) = O
T
(T ) F
F (T ) = O
T
(T ) = Hom(Z[t], O
T
(T ))
=
Hom(T, A
1
)
F (T ) = Γ(T, O
T
)
n
= Hom(T, A
n
)
F (T ) = Hom
CRing
(A, O
T
(T )) = Hom
Sch
(T, Spec A)
Spec A .
协变 Hom Hom(T, )
Hom(T, X ×
S
Y ) = X(T ) ×
S(T )
Y (T )
X ×
S
Y 纤维 X(T ) ×
S(T )
Y (T ) 纤维
楚概大大一些
.
4.8.2: 纤维
X, Y, Z, T S-
(1) Reflexivity : X ×
S
S
=
X.
(2) Symmetry : X ×
S
Y
=
Y ×
S
X.
(3) Associativity : (X ×
S
Y ) ×
S
Z
=
X ×
S
(Y ×
S
Z).
(4) Transitivity : Y 一个 T -
(X ×
S
T ) ×
T
Y
=
X ×
S
Y
CHAPTER 4. FIBER PRODUCTS 117
: 些东西即可是显.
4.8.3:
X, Y S-
(1) U X, V Y U ×
S
V
=
p
1
(U) q
1
(V ) X ×
S
Y .
(2) S X X
, Y Y
X ×
S
Y X
×
S
Y
使两个纤维.
(3) T S (X ×
S
X) ×
S
T
=
(X ×
S
T ) ×
S
(X ×
S
T )
=
X
T
×
S
X
T
.
: Yoneda.
4.9 Group scheme
. 一个 Z( Spec Z)
C 讨论一个 G ob(C ) 三个
m: G × G G, i : G G, e: Z G
分别().
为交
G × G × G G × G
G × G G
m×id
id×m
m
m
G
G × G Z G × G
G
(id,i) (i,id)
m
e
m
G
Z × G G × Z
G
=
=
id
m(e×id) m(id×e)
CHAPTER 4. FIBER PRODUCTS 118
一下仿.
4.9.1: Affine group scheme
一个 k affine group scheme 一个 k- A
G: Alg
k
Grp
G(R) = Hom
Alg
k
(A, R). k- H G
于任 k- R
H(R) G(R)
一个. R H G .
additive group G
a
为一个
G
a
(R) = (R, +)
k[x] G
a
= Spec k[x] = A
1
k
. k[x
ij
]
1i,jn
仿 G
n
2
a
G
n
2
a
(R) = M
n
(R)
multiplicative group G
m
G
m
(R) = R
×
k[x, y]/(xy 1) . 线 GL
n
(n 2) k-
k[x
ij
: 1 i, j n][y]/(y det(x
ij
) 1)
G
m
= GL
1
. k- V
GL
V
(R) := Aut
R
(V
k
R V
k
R)
一些束条 SL
n
SO
n
.
Chapter 5: Quasi-coherent sheaves
5.1 O
X
-modules
5.1.1
一个 O
X
-module F 使 F (U) 一个 O
X
(U)- U X
V U F (U ) F (V ) O
X
(U)-线于任 a O
X
(U)
s F (U)
(a · s)|
V
= a|
V
· s|
V
O
X
-为交一个
µ: O
X
× F F
使以下
O
X
× O
X
× F O
X
× F
O
X
× F F
m×id
F
id
O
X
×µ
µ
µ
m : O
X
× O
X
O
X
O
X
. e : 1 O
X
( 1 即单)
{1} × F O
X
× F
F
e×id
F
=
µ
119
CHAPTER 5. QUASI-COHERENT SHEAVES 120
a : O
X
× O
X
O
X
(O
X
× O
X
) × F O
X
× F
O
X
× O
X
× F × F F
(O
X
× F ) × (O
X
× F ) F × F
a
O
X
×id
F
id×
F
µ
=
µ×µ
a
F
O
X
× (F × F ) O
X
× F
O
X
× O
X
× F × F F
(O
X
× F ) × (O
X
× F ) F × F
id
O
X
×a
F
O
X
×id
µ
=
µ×µ
a
F
一个 O
X
-即可.
O
X
- O
X
-线一个 ϕ: F G F G O
X
-
使于任 U
ϕ
U
: F (U) G (U)
O
X
(U)-. X O
X
了一个 Mod
O
X
使
Hom
O
X
(F , G )
Hom
Mod
O
X
(F , G ) Hom
Ab(X)
(F , G ) .
F 一个 O
X
-x X 一个 F
x
一个 O
X,x
- ϕ
x
: F
x
G
x
O
X,x
-. 们也 O
X
-submodule一个 G G 使 G (U) F (U)
O
X
(U)- G F 一个 O
X
-. 一个 ideal sheaf I O
X
O
X
一个 I (U) O
X
(U) 一个.
一些 F /G
5.1.1
F 一个 O
X
- F
+
一个 O
X
-.
: 个交
O
X
-.
CHAPTER 5. QUASI-COHERENT SHEAVES 121
U 7→ F (U)/G (U) F /G O
X
-
O
X
- kernel, image cokernel O
X
- O
X
-
.
f : X Y O
X
- F f
F 一个 O
Y
-
f
#
: O
Y
f
O
X
s f
F (V ) a O
Y
(V )
f
F (V ) a · s = f
#
(a) · s F (f
1
V )
ι : Y X 一个
ι
#
: O
X
ι
O
Y
I O
X
O
X
-
0 I O
X
ι
O
Y
0
ι
O
Y
=
O
X
/I
F
i
O
U
i
- X =
[
U
i
F
i
F F O
X
-.
5.2 Tilde construction
广.
5.2.1: Tilde construction
A-义一个 Spec A
f
M
f
M(D(f)) = M
f
D(g) D(f) M
f
M
g
.
f
M 一个 B-sheaf
一个 Spec A 们仍
f
M M tilde construction.
5.2.1
(1)
f
M
Γ(Spec A,
f
M) = M
(2) P Spec A p
f
M
P
= M
p
CHAPTER 5. QUASI-COHERENT SHEAVES 122
Tilde construction M ϕ : M N
eϕ:
f
M
e
N
D(f)
eϕ
D(f )
:
f
M(D(f))
e
N(D(f)),
m
f
n
7→
ϕ(m)
f
n
. Tilde
5.2.2
X = Spec A 为一个仿于一个 A- M 与一个 O
X
- F 一个
Hom
O
X
(
f
M, F )
=
Hom
A
(M, F (X))
ϕ :
f
M F ϕ
X
: M F (X).
: f A
M F (X)
M
f
F (D(f))
φ
X
φ
D(f )
ϕ
D(f )
(m/f
n
) = ϕ
X
(m)
D(f )
· f
n
ϕ
D(f )
ϕ
X
. 一个 α: M F (X)
f
M F 使射就 α. .
5.2.1
X 仿于任 O
X
- F 一个 O
X
-
β :
^
F (X) F
F (X) F (X) F .
D(f)β s/f
n
s|
D(f )
/f
n
.
CHAPTER 5. QUASI-COHERENT SHEAVES 123
5.2.3: Tilde
A 一个X = Spec A
(1) Tilde M 7→
f
M .
(2) M N A- α 7→ eα 了一个
Hom
A
(M, N)
=
Hom
O
X
(
f
M,
e
N)
ϕ 7→ ϕ
X
.
: A-
0 M
M M
′′
0
O
X
-
0
f
M
f
M
g
M
′′
0
为了于任 p
0 M
p
M
p
M
′′
p
0
.
二个是显.
5.3 Quasi-coherent sheaves
5.3.1
X 一个F 一个 O
X
-. F quasi-coherent X 仿
U = Spec A一个 A- M 使 F |
U
=
f
M O
X
-.
QCoh
X
Mod
X
. F
F tilde .
5.3.1: 判别
X F 一个 O
X
- X 一个仿 {U
i
= Spec A
i
} 使 A
i
-
M
i
F |
U
i
=
f
M
i
. F .
: 仿仿 F .
U = Spec A F |
U
=
f
M f A
F |
D(f )
=
f
M
f
CHAPTER 5. QUASI-COHERENT SHEAVES 124
f
1
, ··· , f
r
使
A = (f
1
, ··· , f
r
)
Spec A
f
i
F |
D(f
i
)
=
f
M
i
.
0 F (U)
r
M
i=1
F (D(f
i
))
r
M
i,j=1
F (D(f
i
f
j
))
A- k {1, . . . , r}
f
k
A
0 F (U)
f
k
r
M
i=1
F (D(f
i
))
f
k
r
M
i,j=1
F (D(f
i
f
j
))
f
k
F |
D(f
i
)
=
f
M
i
F (D(f
i
))
f
k
=
F (D(f
i
) D(f
k
)) = F (D(f
i
f
k
)), F (D(f
i
f
j
))
f
k
=
F (D(f
i
f
j
f
k
))
0 F (U)
f
k
r
M
i=1
F (D(f
i
f
k
))
r
M
i,j=1
F (D(f
i
f
j
f
k
))
F D(f
k
) . {D(f
i
) D(f
k
)}
r
i=1
D(f
k
) 一个仿
0 F (D(f
k
))
r
M
i=1
F (D(f
i
f
k
))
r
M
i,j=1
F (D(f
i
f
j
f
k
))
较这两个
F (U)
f
k
=
F (D(f
k
))
M = F (U) A-. 一个 α :
f
M F |
U
. 为了 α
U = Spec A . {D(f
k
)}
r
k=1
. 盖 的
D(f
k
)
α
D(f
k
)
: (
f
M)(D(f
k
)) = M
f
k
= F (U)
f
k
F (D(f
k
))
一个. α :
f
M F |
U
F |
U
=
f
M.
仿仿.
于一个仿 X = Spec AM 7→
f
M 义了一个从 A- QCoh
X
仿
f
M Γ(X, F )
M.
CHAPTER 5. QUASI-COHERENT SHEAVES 125
5.3.2: 仿
X = Spec A 为一个仿
g
(): Mod
A
QCoh
X
一个.
仿
.
5.3.1
X = Spec A 0 F
F F
′′
0
0 F
(X) F (X) F
′′
(X) 0
: F (X) F
′′
(X) C = Coker(F (X)
F
′′
(X))
F (X) F
′′
(X) C 0
使 tilde
F F
′′
e
C 0
F F
′′
e
C = 0 C = Γ(X,
e
C) = 0.
词语 ”coherence” U 个仿 U
.
.
一个 O
X
- F 且仅(D(g) U)仿 U
.
5.3.1: Quasi-coherence and localization
X F 一个 O
X
-于任 U = Spec A X g A
F (U) F (D(g)) F (U)
g
=
F (D(g)). F
+
F
+
(U) = F (U)
于任仿 U X .
: U = Spec A X 为一个仿 M = F (U)为一个 A-
CHAPTER 5. QUASI-COHERENT SHEAVES 126
D(g) U
f
M(D(g)) = M
g
F (D(g)) F
+
(D(g))
义了一个 B-了一个
f
M F
+
|
U
一个 M
g
F (D(g))
f
M
x
F
+
x
. F
+
|
U
=
f
M F
+
.
ϕ : F G Ker ϕ, Im ϕ Coker ϕ 为了
仿 U = Spec A U ϕ α: M N eα
e
一个
Ker eα =
^
Ker α, Im eα =
]
Im α, Coker eα =
^
Coker α
仿
Γ(U, Ker ϕ) = Ker α
U
, Γ(U, Im ϕ) = Im α
U
, Γ(U, Coker ϕ) = Coker α
U
G F F /G O
X
-
仿 U X
Γ(U, F /G ) = F (U)/G (U)
于一.
5.4 Direct sums, products and tensor products
F
1
, ··· , F
n
direct sum
n
M
i=1
F
i
Γ
U,
n
M
i=1
F
i
!
=
r
M
i=1
F
i
(U)
于任 {F
i
}
iI
M
iI
F
i
S(U) =
M
iI
F
i
(U)
CHAPTER 5. QUASI-COHERENT SHEAVES 127
F
i
O
X
-
M
iI
F
i
一个 O
X
-使
O
n
X
n O
X
的直
O
n
X
= O
X
··· O
X
| {z }
n
5.4.1
{F
i
}
iI
M
iI
F
i
. X = Spec A
A- M
i
^
M
iI
M
i
=
M
iI
f
M
i
: 仿一个 X = Spec A
f A一个 A
f
-
M
iI
M
i
!
f
=
M
iI
(M
i
)
f
S(U) =
M
iI
f
M
i
(U)
S
+
=
M
iI
F
i
^
M
iI
M
i
(D(f)) =
M
iI
M
i
!
f
M
iI
(M
i
)
f
= S(D(f)) S
+
(D(f))
了一个
^
M
iI
M
i
S
+
.
{F
i
}
iI
direct product
Y
iI
F
i
Γ
U,
Y
iI
F
i
!
=
Y
iI
F
i
(U)
F
i
O
X
-一个 O
X
-.
F
1
, ··· , F
n
n
Y
i=1
F
i
们事
n
Y
i=1
F
i
=
n
M
i=1
F
i
. X = Spec A
^
n
Y
i=1
M
i
=
n
Y
i=1
f
M
i
CHAPTER 5. QUASI-COHERENT SHEAVES 128
的直
与任有有.
.
5.4.1: O
X
-
两个 O
X
- F G tensor product F
O
X
G
T (U) = F (U)
O
X
(U)
G (U)
. F G .
O
X
- n
F
n
= F ··· F
| {z }
n
义中 T 为一个
.
5.4.2
F G
(1) F
O
X
G .
(2) 仿 U X一个
(F
O
X
G )(U) = F (U)
O
X
(U)
G (U)
(3) X = Spec A A- M, N
^
M
A
N
=
f
M
O
X
e
N
: (3)于任 f A
M
f
A
f
N
f
Γ(D(f),
^
M
A
N) = (M
A
N)
f
了一个 O
X
-
ϕ:
f
M
O
X
e
N
^
M
A
N
于与.
CHAPTER 5. QUASI-COHERENT SHEAVES 129
5.5 Hom sheaf
F F
为两个 O
X
- w
1
, w
2
两个 O
X
-
(w
1
+ w
2
)
U
:= w
1,U
+ w
2,U
: F (U) F
(U)
a Γ(X, O
X
) aw : F F
(aw)|
U
:= a|
U
w
U
Hom
O
X
(F , F
) 为一个 Γ(X, O
X
)-.
Hom
O
X
(O
X
, F )
=
Γ(X, F ) = F (X)
I
Hom
O
X
(O
I
X
, F ) = Hom
O
X
(O
X
, F )
I
=
Γ(X, F )
I
5.5.1: Hom
(1) O
X
- 0 F
F F
′′
且仅于任 U X O
X
|
U
-
G Γ(U, O
X
)-
0 Hom
O
X
|
U
(G , F
|
U
) Hom
O
X
|
U
(G , F |
U
) Hom
O
X
|
U
(G , F
′′
|
U
)
(2) O
X
- F
F F
′′
0 且仅于任 U X 与任 O
X
|
U
-
G Γ(U, O
X
)-
0 Hom
O
X
|
U
(F
′′
|
U
, G ) Hom
O
X
|
U
(F |
U
, G ) Hom
O
X
|
U
(F
|
U
, G )
O
X
-一个 Abel .
5.5.1: O
X
-module of homomorphisms
F , G 两个 O
X
-
U 7→ Hom
O
X
|
U
(F |
U
, G |
U
)
一个明显是一个 O
X
- H om
O
X
(F , G ).
H om
O
X
(O
I
X
, F )
=
F
Q
I
CHAPTER 5. QUASI-COHERENT SHEAVES 130
5.5.1: Tensor-Hom
O
X
- F , G , H
Hom
O
X
(F
O
X
G , H )
=
Hom
O
X
(F , H om
O
X
(G , H ))
: F
O
X
G H 一一一个
(U 7→ F (U)
O
X
(U)
G (U)) H (U)
一个射就了一
F (U)
O
X
(U)
G (U) H (U)
Tensor-Hom 一一了一
F (U) Hom
O
X
(U)
(G (U), H (U))
了一个从 F H om
O
X
(G , H ) .
O
X
G H om
O
X
(G , ) hom
.
5.5.2
F
i
O
X
- O
X
- G
Hom
O
X
(colim F
i
, G ) = lim Hom
O
X
(F
i
, G )
H om
O
X
(colim F
i
, G ) = lim H om
O
X
(F
i
, G )
5.6 Pushforwards
f : X Y 一个 O
X
- F f
F 一个 O
Y
-.
仿 ϕ : A B f : Spec B Spec A B- M
A- M
A
.
M
φ(g)
= (M
A
)
g
A
g
.
CHAPTER 5. QUASI-COHERENT SHEAVES 131
5.6.1
f : Spec B Spec A M B-
f
f
M =
g
M
A
:
f
1
(D(g)) = D(ϕ(g))
(f
f
M)(D(g)) =
f
M(f
1
D(g)) =
f
M(D(ϕ(g))) = M
φ(g)
= (M
A
)
g
f
f
M =
g
M
A
.
.
5.6.2: Quasi-coherence of pushforwards
f : X Y 为一一个 Y 仿 V使 (1) V V
f
1
V 个仿 U
1
, ··· , U
r
(2) U
i
U
j
个仿
. 于任 O
X
- F f
F Y .
Remark 5.6.1
(1) f (2) f .
: Y = Spec A. M = Γ(Y, f
F ) = F (X) f
F
O
Y
- M 一个 A-
f
M f
F
一个. 即可 X 个仿 U
i
= Spec B
i
U
i
U
j
U
ijk
= Spec B
ijk
. ϕ
i
: A B
i
ϕ
ijk
: A B
ijk
U
i
Y U
ijk
Y
U
i,g
= D(ϕ
i
(g)) U
i
, U
ijk,g
= D(ϕ
ijk
(g)) U
ijk
0 F (X)
Y
i
F (U
i
)
Y
i,j,k
F (U
ijk
)
f
1
(D(g)) (f|
U
i
)
1
(D(g)) = D(ϕ
i
(g)) = U
i,g
0 F (f
1
D(g))
Y
i
F (U
i,g
)
Y
i,j
F (U
ijk,g
)
F X
F (U
i,g
) = F (D(ϕ
i
(g)))
=
F (U
i
)
g
, F (U
ijk,g
)
=
F (U
ijk
)
g
CHAPTER 5. QUASI-COHERENT SHEAVES 132
且与
0 F (X)
g
Y
i
F (U
i
)
g
Y
i,j,k
F (U
ijk
)
g
0 M
g
Y
i
F (U
i
)
g
Y
i,j,k
F (U
ijk
)
g
0
f
M(D(g)) = M
g
Y
i
F (U
i
)
g
Y
i,j,k
F (U
ijk
)
g
0 f
F (D(g)) = F (f
1
D(g))
Y
i
F (U
i,g
)
Y
i,j
F (U
ijk,g
)
=
=
D(g)
f
M(D(g)) f
F (D(g))
O
X
-.
5.6.1
f : X Y X F X f
F Y
.
: .
5.7 Pullbacks
f : X Y O
Y
- G O
X
- f
G . f
G f
1
G
5.7.1:
f : X Y G 为一个 O
Y
- O
X
- f
G 使
O
X
- F
Hom
O
X
(f
G , F ) Hom
O
Y
(G , f
F )
f
G 义下.
CHAPTER 5. QUASI-COHERENT SHEAVES 133
们一点点来构 f
G . 仿.
X = Spec BY = Spec A ϕ: A B f : X Y . Y G =
e
N
N A-. B A- N
A
B 一个 B- G
f
N =
^
N
A
B
义了一个 f
: QCoh
Y
QCoh
X
. A- N N
e
N
f
N
B-
N
A
B N
A
B
O
X
-
f
e
N f
f
N
tensor-hom
Hom
B
(N
A
B, M) = Hom
A
(N, Hom
B
(B, M)) = Hom
A
(N, M
A
)
5.2.2
Hom
O
X
(f
G , F ) = Hom
O
X
(
^
G (Y )
A
B, F )
= Hom
A
(G (Y )
A
B, F (X))
= Hom
A
(G (Y ), F (X)
A
)
= Hom
O
Y
(
]
G (Y ), f
F )
= Hom
O
Y
(G , f
F )
. .
O
Y
- G . f : X Y Y G f
1
G 义为
f
1
p
G (U) = lim
V f(U)
G (V )
. G 一个 O
Y
- G (V ) 一个 O
Y
(V )- f
1
p
G (U)
f
1
p
O
Y
(U)-. O
X
(U) f
1
p
O
Y
(U)
O
Y
(V
1
) O
X
(f
1
V
1
)
f
1
p
O
Y
(U) O
X
(U)
O
Y
(V
2
) O
X
(f
1
V
2
)
f
#
f
#
f
1
p
O
Y
(U) O
X
(U) (a, V ) f
#
(a)|
U
f
p
G
(f
p
G )(U) = f
1
p
G (U)
f
1
p
O
Y
(U)
O
X
(U)
CHAPTER 5. QUASI-COHERENT SHEAVES 134
(f
p
G )(U) 一个 O
X
(U)- pullback f
G 义为 f
p
G 5.1.1
O
X
-.
西. 下一 f
G G
仿使.
5.7.1
:
Hom
PAb(X)
(f
1
p
G , F )
=
Hom
Ab(Y )
(G , f
F )
一个 O
Y
-线 G f
F 一个 f
1
p
O
Y
-线 f
1
p
G F
是显. 一个 f
1
p
O
Y
-线 β : f
1
p
G F α : G f
F 也一 O
Y
-线
α V Y
G (V ) f
1
p
G (f
1
(V )) F (f
1
(V ))
ι
V
β
f
1
V
a O
Y
(V )s G (V )
α
V
(as) = β
f
1
V
(a · ι
V
(s)) = a · β
f
1
V
(ι
V
(s)) = a · α
V
(s)
O
Y
-线.
Hom
f
1
p
O
Y
(f
1
p
G , F ) = Hom
O
Y
(G , f
F )
Hom
B
(N
A
B, M) = Hom
A
(N, M
A
)
A = f
1
p
O
Y
(U)B = O
X
(U)N = f
1
p
G (U)M = F (U)
Hom
O
X
(U)
(f
1
p
G (U)
f
1
p
O
Y
(U)
O
X
(U), F (U)) = Hom
f
1
p
O
Y
(U)
(f
1
p
G (U), F (U))
一个 O
X
-线性态
f
p
G F
一个
f
G F
.
CHAPTER 5. QUASI-COHERENT SHEAVES 135
5.7.1:
f : X Y
(1) f
O
Y
= O
X
.
(2) f
.
(3) g : W X 一个 (f g)
= g
f
.
(4) 于两个 O
Y
- G , H
f
(G H ) = f
G f
H , f
(G
O
Y
H ) = f
G
O
X
f
H
(5) x X (f
G )
x
= G
f(x)
O
Y,f(x)
O
X,x
.
: (1)
Hom
O
X
(O
X
, F ) = F (X) = f
F (Y ) = Hom
O
Y
(O
Y
, f
F = Hom
O
X
(f
O, F ))
f
O
Y
= O
X
.
(2) .
(3) (4).
(4)
Hom
O
X
(f
(G H ), K ) = Hom
O
Y
(G H , f
K )
= Hom
O
Y
(G , f
K ) × Hom
O
Y
(H , f
K )
= Hom
O
X
(f
G , K ) × Hom
O
X
(f
H , K )
= Hom
O
X
(f
G f
H , K )
f
(G H ) = f
G f
H
Hom
O
X
(f
(G
O
Y
H ), K ) = Hom
O
Y
(G
O
Y
H , f
K )
= Hom
O
Y
(G , H om
O
Y
(H , f
K ))
= Hom
O
Y
(G , f
H om
O
X
(f
H , K ))
= Hom
O
X
(f
G , H om
O
X
(f
H , K ))
= Hom
O
X
(f
G
O
X
f
H , K )
f
(G
O
Y
H ) = f
G
O
X
f
H
(5) . 即可.
CHAPTER 5. QUASI-COHERENT SHEAVES 136
5.7.2
f : X Y G Y f
G X
于任仿 U X, V Y 使 f(U) V
f
G |
U
=
^
G (V )
O
Y
(V )
O
X
(U)
: i: U Xj : V Y g = f|
U
Hom
O
X
|
U
(g
j
G , F )
=
Hom
O
Y
|
V
(j
G , g
F )
=
Hom
O
Y
(G , j
g
F )
=
Hom
O
Y
(G , f
i
F )
=
Hom
O
X
(f
G , i
F )
=
Hom
O
X
|
U
(i
f
G , F )
g
j
G
=
i
f
G
(f
G )|
U
=
(f|
U
)
(G |
V
)
仿.
V U
5.7.1
X V U X 仿 F
F (V )
=
F (U)
O
X
(U)
O
X
(V )
5.8 Twisting sheaves
S =
M
d0
S
d
为一个 S
1
S
0
. X = Proj S
. tilde 一个 S- M =
M
dZ
M
d
M
h
M
M
(f)
=
m
f
k
: m M
h
, deg m k deg f = 0
M
(f)
一个 S
(f)
- D
+
(f)
=
Spec S
(f)
为仿
f
M|
D
+
(f)
:=
g
M
(f)
tilde 仿 tilde . D
+
(f)
X 上一个
f
M. 于任 S- M
f
M
g
() .
CHAPTER 5. QUASI-COHERENT SHEAVES 137
一个 S- M =
M
dZ
M
d
twisting module M(n)
M(n)
d
= M
n+d
X twisting sheaf O(n)
O(n) :=
]
S(n)
n = 0 O (0) = O
X
X .
5.8.1:
S = A[x
0
, ··· , x
n
]P
n
A
= Proj S
Γ(P
n
A
, O(m)) = S
m
: U
i
= D
+
(i)
Γ(U
i
, O(n)) = S(m)
(x
i
)
= (S
(x
i
)
)
m
= A
x
0
x
i
, ··· ,
x
n
x
i
x
m
i
0 O (m)(P
n
A
)
n
Y
i=0
O(m)(U
i
)
Y
i,j
O(m)(U
i
U
j
)
(s
i
)
i
(S
(x
i
)
)
m
s
i
= g
i
x
0
x
i
, ··· ,
x
n
x
i
x
m
i
g
i
x
0
x
i
, ··· ,
x
n
x
i
x
m
i
= g
j
x
0
x
j
, ··· ,
x
n
x
j
x
m
j
m < 0 O (m) = 0 m 0 x
i
x
j
U
j
U
i
形式 m
.
5.8.2
X = Proj SO M 一个 S-
^
M(m) =
f
M
O
O(m)
: 仿 D
+
(f)
M(m)
(f)
= M
(f)
S
(
f)
S(m)
(f)
CHAPTER 5. QUASI-COHERENT SHEAVES 138
个仿
^
M(m)|
D
+
(f)
=
f
M
O
O(m)|
D
+
(f)
.
Chapter 6: Second properties of schemes
6.1 Closed subschemes and closed embeddings
一个 ι: Y X X 仿 U
i
= Spec A
i
使 (1) ι
1
(U
i
)
仿 (2) O
X
(U
i
) O
Y
(ι
1
U
i
) . 5.6.2 (1) ι
O
Y
X
. (2) ι
#
|
U
i
O
X
(U
i
) O
Y
(ι
1
U
i
) tilde ι
#
. I = Ker(ι
#
) ideal sheaf sequence
0 I O
X
ι
O
Y
0
ι
O
Y
I kernel 此每
了一个 I .
一个仿 U = Spec A I |
U
=
e
I I = I (U)
U
0
e
I
e
A
g
A/I 0
一个 I 一个 Y = Spec(O
X
/I ) ι : Y X
个仿 U = Spec A
Spec A/I Spec A
I = I (U). Y 仿射局 O
X
/I . 一个
讨论. 一个主
6.1.1:
X 一个
{closed subschemes ι: Y X} {quasi-coherent ideal sheaves I O
X
}
ι : Y X I = Ker(O
X
ι
O
Y
)一个.
139
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 140
6.1.1: 仿
I Spec(A/I) A I Spec A 一一.
话说仿 Spec A Spec(A/I).
一个 Z X 一个拓扑一个
它定义一 I O
X
. Z
.
6.1.1:
X Z一个以 Z 拓扑.
: Z X 为一个. U X,
I (U) = {s O
X
(U) | P Z U, s(P ) = 0}
I O
X
一个. I . U = Spec A X 一个仿,
Z U = V (a), a A . f A f(p) = 0 且仅 f p,
I (U) =
\
pV (a)
p =
a = a.
, g A, Z D(g) = V (a) D(g) = V (aA
g
) A
g
,
I (D(g)) =
\
pV (aA
g
)
p =
p
aA
g
= a
g
.
, I |
U
˜
a, I . , I (U) .
. , 于任 Z X, 一个以 Z .
6.2 Relative Spec
X 一个A 一个 O
X
- A 一个于任 U
X A (U) O
X
(U)-
A (U) A (V )
O
X
(U) O
X
(V )
于仿 U X一个仿 Spec A (U) O
X
(U) A (U)
π
U
: Spec A (U) U
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 141
的目些仿一个 Spec A
π : Spec A X
使于任仿 U X π
1
(U)
=
Spec A (U) π
1
(U) U π
U
.
Spec A relative spectrum of A .
. V U 为两个仿 A (U) A (V )
σ
V,U
: Spec A (V ) Spec A (U)
使
Spec A (V ) Spec A (U)
V U
σ
V,U
π
V
π
U
A ( 5.7.1)
A (V )
=
A (U)
O
X
(U)
O
X
(V )
Spec A (V )
=
Spec A (U) ×
U
V
纤维. 4.2.2 π
1
U
(V ) 纤维
σ
V,U
了从 Spec A (V ) π
1
U
(V ) .
{U
i
} X 一个仿于任仿 W U
i
U
j
A 出典
A (U
j
)
O
X
(U
j
)
O(W ) A (W ) A (U
i
)
O
X
(U
i
)
O(W )
使 Spec
τ
W
ij
: π
1
i
(W ) π
1
j
(W )
W
W τ
W
ij
τ
W
ij
τ
W
ij
一个
τ
ij
: π
1
i
(U
i
U
j
) π
1
j
(U
i
U
j
)
τ
ii
= id τ
ji
= τ
1
ij
. 为了 cocycle
仿 W U
i
U
j
U
k
τ
W
jk
τ
W
ij
= τ
W
ik
.
A (U
j
)
O
X
(U
j
)
O
X
(W )
A (U
i
)
O
X
(U
i
)
O
X
(W ) A (U
k
)
O
X
(U
k
)
O
X
(W )
A (W )
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 142
于任仿 U
i
U
j
U
k
τ
jk
τ
ij
= τ
ik
. Spec A (U)
Spec A . Spec A (U
i
) U
i
π : Spec A X.
一个
π
O
Spec A
= A
Γ(U
i
, π
O
Spec A
) = Γ(π
1
i
(U
i
), O
Spec A
) = A (U
i
)
ϕ: A B 为两个 O
X
-algebra Spec(B(U)) Spec(A (U ))
Spec B Spec A
义了一个从 O
X
-algebra X-schemes .
Example 6.2.1
Spec O
X
= X
Spec O
X
[x
1
, ··· , x
n
] = A
n
X
= X ×
Z
A
n
6.3 Affine morphisms
6.3.1: affine morphism
f : X Y affine morphism仿 U Y f
1
(U) 仿.
6.3.1
5.6.2 f 仿 f
O
X
.
f 为仿 Spec(f
O
X
)一个
X Spec(f
O
X
)
仿 V Y ( 2.4.1)
f
1
V Spec O
X
(f
1
V )
.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 143
6.3.1: 仿
f : X Y TFAE
(1) f 仿.
(2) 一个 Y 仿 {V
i
} 使 f
1
(V
i
) 仿.
(3) f
O
X
X Spec(f
O
X
) .
: (1) (2) 是显. (2) (3) A = f
O
X
V = Spec A V
i
f
1
V
i
仿 Spec B f
1
V V ϕ : A B . g A
f
1
(D(g)) = D(ϕ(g)) Spec B
A (D(g)) = Γ(f
1
D(g), O
X
) = Γ(D(ϕ(g)), O
X
) = B
φ(g)
= A (V )
g
5.3.1 A . X Spec(f
O
X
) V
i
f
1
V
i
Spec(O
X
(f
1
V
i
))
f
1
V
i
仿一个. .
(3) (1) X
=
Spec(f
O
X
) π : Spec(f
O
X
) Y 仿
V Y
f
1
(V )
=
π
1
(V )
=
Spec(Γ(f
1
V, O
X
))
f 仿.
Remark 6.3.1
(1)(2) 使仿.
Example 6.3.1
Spec B Spec A 仿.
6.1.1.
: ι: Y X Ker ι
#
. .
ι : Y X 与上 ι 一个仿 Y Spec(ι
O
Y
) 一个
X-. ι
O
Y
= O
X
/I X- Y I .
I 一个 π : Spec(O
X
/I ) X 仿
Uπ
1
(U) U
Spec(O
X
(U)/I (U)) Spec(O
X
(U))
仿仿 π . π
O
Spec(O
X
/I )
=
O
X
/I
Ker
O
X
π
O
Spec(O
X
/I )
= Ker (O
X
O
X
/I ) = I
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 144
π I .
6.4 Dominant morphisms
6.4.1: dominant
f : X Y dominant f(X) Y .
Remark 6.4.1
dominant 一个拓扑.
6.4.1
X 为一个 f : X Spec A 为一个 ϕ: A O
X
(X)
f(X) = V (Ker ϕ) Spec A
f 且仅 Ker ϕ
p
(0). A 且仅 ϕ .
: X 一个仿 X =
m
[
i=1
U
i
f
i
= f|
U
i
ϕ
i
: A
O
X
(X) O
X
(U
i
) . 1.12.2
f
i
(U
i
) = V (Ker ϕ
i
) Spec A
f(X) =
[
i
f
i
(U
i
) =
[
i
V (Ker ϕ
i
) = V
\
i
Ker ϕ
i
!
= V
\
i
Ker ϕ
i
!
O
X
(X)
m
Y
i=1
O
X
(U
i
)
Ker ϕ =
m
\
i=1
Ker ϕ
i
.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 145
6.4.2:
f : X Y TFAE
(1) f .
(2) 仿 U X V Y 使 f(U) V O
Y
(V )
O
X
(U) .
(3) f X Y .
: (1) (2)X, Y U, V
f|
U
: U V
f(X) = f(
U) f(U) = Y = f(U)
f(U) Y f(U) V V f(U) = V V f
. V ϕ: O
Y
(V ) = A O
X
(U) = B f|
U
: U V
V = f|
U
(U) = V (Ker ϕ)
Ker ϕ
p
(0) = (0) ϕ .
(2) (3) ξ Xη Y
f(X) = f(ξ) f(ξ) = Y = (f(ξ))
f(ξ) f(ξ) = η.
(3) (1) f(X) f(ξ) = η = Y .
一个 X, Y 两个ξ
η 分别f : X Y
f(ξ) = η
f
#
O
Y
lim
V η
O
X
(f
1
V ) = lim
f
1
V ξ
O
X
(f
1
V ) O
X,ξ
f
#
: K(Y ) K(X)
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 146
6.5 Integral and finite morphisms
一个 A- B finite且仅 B b
1
, ··· , b
r
使
B = Ab
1
+ ··· + Ab
r
6.5.1: integral morphism
f : X Y integral Y 仿 V = Spec A f
1
V =
Spec B 仿 A B .
6.5.2: finite morphism
f : X Y finite于任 Y 仿 V = Spec A f
1
V =
Spec B 仿 A B 使 B 为一个 A-.
Remark 6.5.1
仿.
finite type finite 不一一个 A-
finite type A- finite A- A-
. finite finite type A[x] 一个
A-.
6.5.1:
f : X Y Y 仿 V
i
= Spec A
i
使 f
1
V
i
= Spec B
i
A
i
B
i
使 B
i
A
i
-. f 一个.
: 6.3.1 f 仿. 仿. (1) V = Spec A
f
1
V = Spec B f ϕ: A B B A- g A
f
1
(D(g)) = D(ϕ(g)) = Spec B
φ(g)
B
φ(g)
=
B
A
A
g
=
(Ab
1
+ ··· + Ab
k
)
A
A
g
=
A
g
(b
1
1) + ··· + A
g
(b
k
1)
B
φ(g)
A
g
-.
(2) A = (g
1
, ··· , g
r
) f
1
(D(g
i
)) = Spec B
i
使 B
i
A
g
i
- f 仿
f
1
(Spec A) = Spec B B A-. 3.4.1
. 仿.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 147
6.5.1:
ι : Y X ι .
: 仿仿 U = Spec A
ι
1
U = Spec B 仿
A B
一个 B
=
A/a B A- B = A · (1 + a).
纤维纤维
. 个交
6.5.2
A B B A B 且仅 A .
: A y By ̸= 0 y
y
n
+ a
1
y
n1
+ ··· + a
n
= 0 (a
i
A)
B a
n
̸= 0. y
y
1
= a
1
n
y
n1
+ a
1
y
n2
+ ··· + a
n1
B
B B x A x
1
B A
x
m
+ a
1
x
m+1
+ ··· + a
m
= 0 (a
i
A)
x
1
= (a
1
+ a
2
x + ··· + a
m
x
m1
) A. A .
6.5.2: Incomparability Theorem
A B B A . q, q
B 使 q q
q
c
= q
c
= p.
q = q
.
: B
p
A
p
. m = pA
p
p A
p
n
n
q q
B
p
. m A
p
n n
m n
c
m n
c
= n
c
= m.
A
p
/m B
p
/n
A
p
B
p
以上 m A
p
/m
B
p
/n n n
. n = n
一一 q = q
.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 148
Remark 6.5.2
q q
p 没法
他们. 其几视角 Spec B Spec A 纤维上不
两个一个().
一个.
6.5.1: Lying-Over and Going-Up
A B f : Spec B Spec A
(1) (Lying-Over) f 纤维.
(2) (Going-Up) f .
: (1) p Spec A A B A
p
B
p
f
1
(p) = Spec(B
p
/pB
p
)
B
p
/pB
p
pB
p
̸= B
p
pB
p
= B
p
x p B
p
y B
p
使 xy = 1 B
p
. A
p
B
p
上也 A
p
a
1
, ··· , a
n
A
p
使
y
n
+ a
1
y
n1
+ ··· + a
n
= 0 = y = (a
1
+ a
2
x + ··· + a
n
x
n1
)
x A
p
x p . .
1
f
1
(p) q, q
f
1
(p) q
q =
q = q
. .
(2) B b f(V (b)) = V (b A) f(V (b)) V (b A)
A B A/(b A) B/b Lying-Over V (b) =
Spec(B/b) Spec(A/(b A)) = V (b A) .
Remark 6.5.3
A B Lying-Over A p B q 使
q A = p Spec A Spec B 纤维.
纤维互不. Going-Up
A B b A = p 了交 Going-Up.
1
一个一个两个
纤维 0.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 149
6.5.3:
f : X Y 一个
(1) f .
(2) f .
(3) 纤维 f
1
(y) 一个.
: (1) f 一个仿. Y 仿
f 仿 X = f
1
(Y ) 仿 f ϕ : A B.
f(V (b)) = V (ϕ
1
(b))
f(V (b)) V (ϕ
1
(b)) 是显 A/ϕ
1
(p) B/p
一个. Lying-Over
f : V (b) = Spec B/b Spec(A/(b A)) = V (ϕ
1
(b))
f(V (b)) = V (ϕ
1
(b)) f .
(2) f f(X) Y f(X) = f(X) = Y .
(3) y Y 一个仿 f 仿 X = Spec B
Y = Spec A f ϕ: A B. p A 为一个
f
1
(y) = Spec(B
A
κ(p))
B 一个 A- B
A
κ(p) 一个 κ(p)-线
Artin 有有纤维限集 Artin
.
6.6 Separated morphisms
拓扑拓扑明显Zariski 拓扑往往 Hausdorff Haus-
dorff . 使 Hausdorff.
6.6.1:
X Hausdorff 且仅 ∆ = {(x, x): x X} X × X .
以从拓扑
纤维 X ×
Z
X Zariski 拓扑.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 150
X 一个 S- diagonal morphism
X/S
: X X ×
S
X
纤维
X
X ×
S
X X
X S
X/S
id
id
6.6.1
f : Z X ×
S
X factors through 且仅 p
1
f = p
2
f.
: g = p
1
f = p
2
f
Z
X
X ×
S
X X
X S
g
g=p
1
f
g=p
2
f
X/S
id
id
p
1
p
2
f = ∆
X/S
g.
K 一个x
1
, x
2
X(K) 为两个 K- K-
x
1
× x
2
: Spec K X ×
S
X
factor via 且仅 x
1
= x
2
.
X = Spec B S = Spec A 仿
µ: B
A
B, b b
7→ bb
下交
X B
X ×
S
X X B
A
B B
X S B A
X/S
p
1
p
2
µ
β
1
β
2
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 151
β
1
(b) = b 1, β
2
(b) = 1 b
µ 仿
X/S
6.6.2
S 仿X 仿 S-
X/S
: X X ×
S
X 一个.
于一不一仿.
6.6.3:
f : X S S-
X/S
一个.
: S 仿 S
i
S仿 U
ij
f
1
(S
i
). 4.2.6
U
ij
×
S
i
U
ij
= U
ij
×
S
U
ij
X ×
S
X 仿. U
i
×
S
i
U
i
上为
U
i
U
i
×
S
i
U
i
仿.
6.6.1: separated
一个 S- X 义为 separated
X/S
: X X ×
S
X 一个.
X separated separated over Spec Z. f : X Y separated
X/Y
: X X ×
Y
X .
6.6.4: separated
f : X S 且仅 S {S
i
} 使 f
1
(S
i
) S
i
.
: X
i
= f
1
(S
i
) = X ×
S
S
i
X
i
/S
i
: X
i
X
i
×
S
i
X
i
. S {S
i
} p: X ×
S
X S V
i
= p
1
(S
i
)
X ×
S
X
V
i
= p
1
(S
i
) = (X ×
S
X) ×
S
S
i
= (X ×
S
S
i
) ×
S
i
(X ×
S
S
i
) = X
i
×
S
i
X
i
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 152
X
X ×
S
X X
X S
X/S
id
p
f
f
1
X/S
(V
i
) = ∆
1
X/S
(p
1
(S
i
)) = (p
X/S
)
1
(S
i
) = f
1
(S
i
) = X
i
X/S
|
X
i
= ∆
X
i
/S
i
X/S
.
f
1
(S
i
) = X
S
i
X
S
i
S
f
.
6.6.5
f : X S 且仅
X/S
(X) X ×
S
X .
:
X/S
拓扑.
6.6.1:
f : X S monomorphism.
: f : X S monomorphism g
1
, g
2
: Z X
f g
1
= f g
2
= g
1
= g
2
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 153
纤维
X
X ×
S
X X
X S
f
p
2
p
1
f
f
p
1
f
= id
X
f monic f p
1
= f p
2
p
1
= p
2
.
p
1
(∆ p
1
) = (p
1
∆) p
1
= id
X
p
1
= p
1
p
2
(∆ p
1
) = (p
2
∆) p
1
= id
X
p
1
= p
1
= p
2
p
1
(∆ p
1
) = p
1
id
X×
S
X
, p
2
(∆ p
1
) = p
2
id
X×
S
X
纤维
f
p
1
= id
X×
S
X
f
.
6.6.1
.
仿
仿.
6.6.6: 与仿
X A-TFAE
(1) X Spec A .
(2) 两个仿 U V U V 仿
O
X
(U)
A
O
X
(V ) O
X
(U V )
.
(3) 一个仿 {U
i
}
iI
使 U
i
U
j
仿 O
X
(U
i
)
A
O
X
(U
j
)
O
X
(U
i
U
j
) .
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 154
: (1) = (2) U, V X 两个仿. 纤维
U ×
S
V
X ×
S
X 一个仿
U V = ∆
1
X/S
(U ×
S
V )
X S = Spec A
X/S
: X X ×
S
X
. U V 仿 U ×
S
V U V 仿. 仿
纤维
Γ(U ×
S
V, O
U×
S
V
) = Γ(U, O
U
)
A
Γ(V, O
V
)
U V U ×
S
V
Γ(U ×
S
V, O
U×
S
V
) Γ(U V, O
UV
)
.
Γ(U, O
U
)
A
Γ(V, O
V
) Γ(U V, O
UV
)
(2). (2)(3) 是显. (3)(1).
p
1
, p
2
: X ×
A
X X
为两个
∆ : X X ×
A
X
. {U
i
} 中两个仿
U
i
= Spec B
i
, U
j
= Spec B
j
1
p
1
1
(U
i
) p
1
2
(U
j
)
= ∆
1
p
1
1
(U
i
)
1
p
1
2
(U
j
)
= U
i
U
j
纤维
p
1
1
(U
i
) p
1
2
(U
j
) = U
i
×
A
U
j
X ×
A
X
i, j
ij
: U
i
U
j
U
i
×
A
U
j
. U
i
U
j
仿
U
i
U
j
= Spec C
ij
.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 155
B
i
A
B
j
C
ij
.
U
i
×
A
U
j
= Spec(B
i
A
B
j
)
ij
: U
i
U
j
U
i
×
A
U
j
于一个
ij
. {U
i
×
A
U
j
}
i,j
. X Spec A (1).
Example 6.6.1
一个了一个便判别. P
n
A
A
. P
n
A
仿中任两个
仿且乘
A
x
0
x
i
, . . . ,
x
n
x
i
A
A
x
0
x
j
, . . . ,
x
n
x
j
A
x
0
x
i
, . . . ,
x
n
x
i
,
x
i
x
j
.
于仿 A
n
A
P
n
A
线.
A
n
A
×
A
A
n
A
Spec A[x
1
, . . . , x
n
, y
1
, . . . , y
n
]
线
∆ = V (x
1
y
1
, . . . , x
n
y
n
).
P
n
A
×
A
P
n
A
线 2 ×2
x
0
x
1
··· x
n
y
0
y
1
··· y
n
!
6.7 Morphisms into separated schemes
6.7.1
X, Y, S X Y S f, g : X Y S- X
一个 U f = g.
: 两个 f, g : X Y 且仅于任 T T -
f
T
, g
T
: X(T ) Y (T )
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 156
. Y S
X/S
: Y Y ×
S
Y f, g 义了一个
(f, g): X Y ×
S
Y
Y/S
X
Y
X Y ×
S
Y
Y /S
(f,g)
X
X X
X
X
f g 于任 T
X
(T ) = {x X(T ) | f
T
(x) = g
T
(x) Y (T )}
f|
U
= g|
U
U X
X
X = X
f = g.
Remark 6.7.1
X
= X ×
Y ×
S
Y
Y
X
(T ) = X(T ) ×
(Y ×
S
Y )(T )
Y (T )
Y (T ) (Y ×
S
Y )(T ) y 7→ (y, y)价于
(f
T
(x), g
T
(x)) = (y, y)
f
T
(x) = g
T
(x) X
(T ). X
f, g
U X 使 f, g
U X
X
U X
.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 157
6.8 Proper morphisms
6.8.1: Proper
f : X S universally closed
a
在基.
T S f
T
: X ×
S
T T .
X ×
S
T X
T S
f
T
f
f proper. X A- X proper over A
X Spec A proper .
a
拓扑
拓扑拓扑一个 f
K Y f
1
(K) . 拓扑一个 f : X Y
且仅 g : Z Y X ×
Y
Z Z .
纤维拓扑拓扑纤维拓扑.
6.8.1
A X over Spec A O
X
(X) A .
: f O
X
(X) . f A .
U = D(f). f ̸= 0 X f f
η
K(X) 不为 0 U ̸=
f|
U
. f
1
O
X
(U).
Z = V (tf 1) X ×
A
A
1
A
,
A
1
A
= Spec A[t]. π
1
, π
2
X A
1
A
.
π
1
|
Z
: Z X Z U . R-
Z(R) R λf(x) = 1 (x, λ) X(R) × R
2
. f(x) R
×
x U(R) λ = f(x)
1
x . x U(R) (x, f(x)
1
) 义了 Z 一个
R-. (x, λ) x U(R) . A-
O
Z
(Z) O
X
(U) t 7→ f
1
.
π
2
: X ×
A
A
1
A
A
1
A
. X Spec A π
2
. π
2
(Z) A
1
A
一个. Z tf = 1 t Z
π
2
(Z) D(t) A
1
A
.
2
f (x) 义为 f (x) = x
#
(f) R.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 158
π
2
(Z) π
2
(Z) = V (a) a = Ker(A[t] O
Z
(Z)).
π
2
(Z) D(t) t A[t]/a . P (t) A[t] 使
1 tP (t) a
A[t] O
Z
(Z) O
X
(U) O
X
(U) f
1
P (f
1
) = 1. P (t) P (t) =
m
X
i=0
a
i
t
i
a
i
A乘以 f
m+1
f
m+1
m
X
i=0
a
i
f
mi
= 0 O
X
(U) .
X O
X
(X) O
X
(U) O
X
(X) 中也.
f 一个 A O
X
(X) A .
A = k
6.8.1
X k O
X
(X) k 一个 k O
X
(X) = k.
Remark 6.8.1
Liouville 广.
6.8.2
f : X Y TFAE
(1) f finite .
(2) f affine proper .
: 且仿仿. 在基
. 仿.
f : X Y 仿 V = Spec A Y f
1
V = Spec B X. 6.8.1
A B B A- B A- f finite.
(1) (2) .
6.8.3:
f : X Y f finite f proper.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 159
6.8.4:
.
: Spec(A/a) Spec A A/a A- finite proper.
6.9 Constructable Sets
6.9.1:
拓扑 X constructable sets X 一个
.
Remark 6.9.1
X Noether 拓扑.
, Noether ,
. 一个, (resp. ) , (resp.
).
6.9.1: Chevalley
π : X Y Noether X 中任 π Y
. π(X) .
6.10 Valuative Criterion
6.10.1: 判别
f : X Y R K = F rac R判别
Spec K X
Spec R Y
f
1
一个交 f 足赋判别(resp. ) R使
线(resp. 一个).
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 160
判别在基
Spec K X ×
Y
T X
Spec R T Y
f
T
f
Spec K X
Spec R Y
f
g
Spec R
X ×
Y
T X
T Y
g
g
f
T
f
Spec K X ×
Y
T
Spec R T
f
T
g
g g 一一.
6.10.2:
f : X Y quasi-compact Y V f
1
V .
X Y quasi-separated
X/Y
X X ×
Y
X .
Remark 6.10.1
f Y 仿 V f
1
V 仿. f
X/Y
X ×
Y
X 仿 U ×
Y
V U, V X 仿
1
X/Y
(U ×
Y
V ) = U V
U V 个仿. 5.6.2 remark.
仿仿为仿
个仿.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 161
Remark 6.10.2
仿射局 Spec A/a
. .
6.10.1: 判别
f : X Y f 且仅足赋判别.
: f 判别在基们不沿 Spec R Y
Y = Spec R. Spec K = {η}η X Z使得得
( 6.1.1) Z X X = Z
Spec K = {η} X
Spec R Spec R
f
id
X η ξ X f Spec R X 使.
X = Z K(X) = O
X,ξ
Spec K X Spec R
R
(0)
O
X,ξ
K K K(X) K
K(X) = K
X ξ Spec A f : Spec A Spec R ϕ: R A
R A K(X) = K
R K R A 一个 f(ξ) = ϕ
1
(0) = (0) Spec R
. f f (X) = Spec R
y Spec Rx f
1
(y) R
f
x
: R
y
= R O
X,x
f
x
R O
X,x
K
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 162
R
3
R = O
X,x
O
X,x
R Spec R Spec O
X,x
X.
判别.
判别判别在基 f . Z X
f(Z) z Z y Y y y
z
z
使 z
y
.
O
Y,y
k(y) k(z)
k(z) R 使 O
Y,y
R 穿 O
Y,y
k(z). 判别 R
Spec k(z) Spec k(z) X zSpec R ySpec R y
R Spec R z z
即可.
6.10.1: 判别
f : X Y
(1) 判别f f 且仅足赋判别.
(2) 判别f f 且仅足赋判别.
: (1) f 足赋判别且仅
Spec K X
Spec R Y
f
h
2
h
1
h
1
= h
2
纤维 f h
1
= f h
2
Spec R X ×
Y
X
Spec R
X
X ×
Y
X X
X Y
h
h
1
h
2
f
f
f
h
1
= h
2
穿
f
: X X ×
Y
X且仅
X/Y
足赋判别
f
X/Y
判别
X/Y
f .
3
.
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 163
(2) f f 判别
f .
6.10.1:
P
n
Spec Z .
: 线
Spec K P
n
Spec R Spec Z
一个 [a
0
, ··· , a
n
] 使 a
i
K
一个 Spec R P
n
.
6.10.2:
P
n
A
Spec A .
6.10.1
X A (resp. )Y A A- f : X Y (resp. ).
: Γ
f
X
X ×
A
Y Y
X Spec A
Γ
f
f
id
X
π
Y
f = π
Y
Γ
f
Z
X Y
X ×
A
Y Y ×
A
Y
g
h=(h
1
,h
2
)
f
Γ
f
Y /A
(f,id
Y
)
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 164
Γ
f
: X X ×
A
Y
Y/A
在基 Γ
f
. π
Y
: X ×
A
Y Y X Spec A X Spec A (resp.
) π
Y
(resp. ) f .
6.10.3
k f : X Y k f . f(X) Y .
: X, Y k proper f : X Y .
6.10.4
X k- X k 且仅 X P
n
k
.
: X P
n
k
Spec k X P
n
k
X P
n
k
.
X P
n
k
一个.
6.11 Formal properties of morphisms
6.11.1:
P P
(1) Stable under composition 两个 f : X Y g : Y Z P g f : X
Z P.
(2) Stable under base change f : X S P g : T S
f
T
: X ×
S
T T P.
(3) Stable under products f : X Y f
: X
Y
P
f × f
: X ×
Z
X
Y ×
Z
Y
P.
(4) Local on the target f : X S P 且仅一个 S {U
i
} 使
f
U
i
: X ×
S
U
i
U
i
P.
(5) Local on the source f : X S P 且仅一个 X {U
i
} 使
f|
U
i
: U
i
S P.
local on the target/source 拓扑
CHAPTER 6. SECOND PROPERTIES OF SCHEMES 165
6.11.1: 拓扑
拓扑 f : X Y 以下
(1) . (2) . (3) .
以下
(1) . (2) . (3) .
6.11.2: 性总
(1) Affine. (2) Closed immersion. (3) Open immersion. (4) Finite. (5) Integral.
(6) Finite type. (7) Separated. (8) Proper. (9) Quasi-compact. (10) Quasi-separated.
Finite type .
6.11.2:
P 一个 k- X P K/kX
K
= X ×
k
Spec K
P X P .
diagonal morphism separated quasi-separated
locally closed immersion quasi-compact
open immersion
closed immersion monomorphism finite type
closed map finite proper universally closed
closed immersion
image closed
of affine schemes
vcu
vce
q.s. + vceu
vceu: value eriterion exist unique
Chapter 7: Varieties, dimension and
smoothness
7.1 Varieties
7.1.1: Variety
k variety 为一个 integral, separated scheme of finite type over k.
射就 f : X Y k-
X Y
Spec k
f
义下k Sch/k 一个 Var/k.
curve 一个 1 surface 一个 2 .
open subvariety X 一个 k U X
( 3.2.1)(6.6.1)
U k- U k .
closed subvariety Z X Z Z
Z k
一个.
Remark 7.1.1
Spec R[x, y]/(x
2
+ y
2
) R
C
Spec C[x, y]/(x
2
+ y
2
) = Spec C[x, y]/(x + iy)(x iy)
. 两个纤维一个.
一个代纤维.
166
CHAPTER 7. VARIETIES, DIMENSION AND SMOOTHNESS 167
7.1.1
X, Y 为代 k
(1) X ×
k
Y k .
(2) X ×
k
Y k- (X ×
k
Y )(k) = X(k) × Y (k).
(3) X, Y X ×
k
Y .
(4) X, Y X ×
k
Y .
: .
Remark 7.1.2
纤维纤维
纤维.
k X一个 k k X
k
. P
X geometrically P X
k
P.
7.2 Rational maps
k 上两个 X, Y rational map X U f : U Y .
f : U Y g : V Y 义了 W U V 使
f|
W
= g|
W
. 一个 (U, f) 一个线f : X 99K Y .
X 99K Y P 一个 f : V Y 使 P V .
U 使.
X U indeterminacy locus. f : X 99K Y dominant
U f(U) Y 义不 U X, Y
一个 U .
f : X 99K Y g : Y 99K Z
U X V Y 一个 W V 使 f
1
(W ) U
g f : X 99K Z
k-了一个. 一个 f : X 99K Y birational
一个 g : Y 99K X 使 f g g f 上与.
X Y birational equivalent. .
X k
K(X) = O
X,ξ
CHAPTER 7. VARIETIES, DIMENSION AND SMOOTHNESS 168
ξ X . K(X) X f K(X)
义一个
f : X 99K A
1
k
7.2.1
X k
K(X) = {rational maps f : X 99K A
1
k
}
:
Hom(U, A
1
k
) = O
X
(U)
.
X, Y ξ γ 分别 f : X 99K
Y f ξ 为一个 6.4.2 f(ξ) = γ
O
Y
O
X,ξ
f
#
: K(Y ) K(X)
X, Y k 仿 A
1
k
f
#
(g) K(Y )
f
#
(g) = g f
7.2.1
于一个 k- X其函 K(X) k .
K/k X X 仿.
: .
7.2.1
X Y 为两 k X 99K Y K(Y ) K(X) k-
. 两个且仅他们 k-
.
: .
CHAPTER 7. VARIETIES, DIMENSION AND SMOOTHNESS 169
仿.
.
k k-.
们下价于.
7.2.2
X k X 价于 A
n+1
k
.
: .
一个 k- X rational价于 P
n
k
K(X)
P
n
k
K(X)
=
k(t
1
, ··· , t
n
) X .
7.3 Chow’s Lemma
7.3.1: Chow’s Lemma
A 一个 Noether X f : X Spec A 一个
A- X
一个 A- π : X
X与一个 U X 使 π
1
(U) U
一个.
7.4 The dimension of a scheme
7.4.1: dimension
拓扑 X dimension 义为
Z
0
Z
1
··· Z
n
义为拓扑.
CHAPTER 7. VARIETIES, DIMENSION AND SMOOTHNESS 170
7.4.1
X 拓扑
(1) Y X dim Y dim X.
(2) {U
i
}
iI
X dim X = sup
iI
dim U
i
.
(3) dim X < Y X 为不 dim Y = dim X Y X 个不
.
: .
7.4.1
Spec A A Krull
dim Spec A = dim A
: 一一.
7.4.1: Krull
(A, m) Noether dim A n 使 x
1
, ··· , x
n
A 使
V (x
1
, ··· , x
n
) = {m}.
Remark 7.4.1
n 一个 1 n .
m Spec A .
x
1
, ··· , x
n
system of parameters. m f.
西往往 Noether 件下.
往往 k 又可仿.
7.4.1 X 仿盖的
仿
dim X = dim X
red
X X = Spec A A 一个
k-一个 X 一个仿.
Noether A些代数无 x
1
, ··· , x
n
使
CHAPTER 7. VARIETIES, DIMENSION AND SMOOTHNESS 171
k[x
1
, ··· , x
n
] A
finite
f : Spec A A
n
k
Krull
dim X = dim A
n
k
= n
7.4.2
f : X Y dim X dim Y . f dim X = dim Y .
纤维以不
以不.
7.4.2: 超越
X k
(1) dim X = trdeg
k
K(X).
(2) U X dim U = dim X.
7.4.1
.
7.4.2
X Y 为代 dim(X ×
k
Y ) = dim X + dim Y .
7.5 Codimension
7.5.1: codimension
Y X X Y codimension codim(Y, X) codim Y
Y = Y
0
Y
1
Y
2
··· Y
n
仿
codim V (p) = height(p) = dim(A
p
)
CHAPTER 7. VARIETIES, DIMENSION AND SMOOTHNESS 172
7.5.1
X P X Y = {P }
codim(Y, X) = dim O
X,P
dim Y + codim(Y, X) dim X
7.5.2
X k
codim(Y, X) = dim X dim Y
7.5.1: Krull
A Noether f A f 1.
7.5.1
A Noether a = (f
1
, ··· , f
r
) p a height(p) r.
7.5.2
X Noether f O
X
(X) V (f)
1.
7.5.3
X f O
X
(X) V (f)
dim X 1.
7.6 Applications to intersections
7.6.1
X Y A
n
k
X Y
dim Z dim X + dim Y n
CHAPTER 7. VARIETIES, DIMENSION AND SMOOTHNESS 173
7.6.2
X Y P
n
k
dim X + dim Y n X Y X Y
Z
dim Z dim X + dim Y n
7.7 The dimensions of the fibers of a morphism
7.8 Tangent spaces