k
XZ Y Z
X, Y, Z X ×ZY
Spec(K)X X OX,x
xX mxOX,x k(x) = OX,x/mx
Spec(K)X K (x, i)
x X i :k(x)K
X x XSpec(A)
x pxA x x
pxA
X= Spec(A){x}V(px)
U= Spec(A)V= Spec(B)x
x U V f A
xSpec(Af)Spec(B)gB x Spec(Bg)Spec(Af)
x X
U= Spec(A)x pxA
U= Spec(A)x pxA
x X
{x}X
X F X ηF
F=X= Spec(A)η1η2F
U1X η1U1F η2η1=η2
x7→ {x}X
X F 7→ ηF
X Y, Z X Y Z
Y×XZ X Y Z
Y Z
f:XY y YSpec(k(y)) Y
f y f1(y)X×YSpec(k(y))
X Y f1(y)
f:YX
X Ui= Spec(Ai)Vi=f1(Ui) Spec(Bi)
BiAi
X Y
f Y
AB B A
B A
pA q B q A=p
B A B A
XA2
ky2=x3
f:A1
kX f(t) = (t2, t3)f
A f A
0 dim(A/f)dim(A)1
A
Adim(A/f) = dim(A)1
pR Rp
p p0(p1(· · · (pr=p
pht(p)
m= dim(A/f)p0(p1(· · · (pmA/f
p0(p1(· · · (pmA p0
0
0
A f A0
dim(A/f) = dim(A)1
A4
k= Spec(k[r, s, t, u])
X rt =s2ru =st
Y rt =s2ru =st su =t2
1 / 2 100%