Tải bản đầy đủ (.pdf) (176 trang)

Giáo trình hình học đại số

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (1016.61 KB, 176 trang )

 
 
 
 

 

Giáo trình hình học
đại số
 

Ngô Bảo Châu

Tháng 8 năm 2003


Gi¡o tr¼nh h¼nh håc ¤i sè

Ngæ B£o Ch¥u

b£n th¡ng 8 n«m 2003


2

Lới m Ưu

Trong hẳnh hồc Ôi số,

cĂc ối tữủng hẳnh hồc ữủc mổ tÊ bơng mởt


ngổn ngỳ Ôi số thuƯn tuỵ.

Bản ngoi trỹc quan hẳnh hồc v Ôi số hẳnh

thực cõ v ối lêp nhau, sỹ phĂt trin cừa hẳnh hồc Ôi số trong thá k 20
 chựng minh iãu ngữủc lÔi :

mởt ngổn ngỳ Ôi số phũ hủp cõ khÊ nông

diạn Ôt trỹc quan hẳnh hồc mởt cĂch rĐt chẵnh xĂc.
Vo cuối thá k 19 hẳnh hồc Ôi số Â phĂt trin mÔnh Italia vợi nhỳnh
tản tuối nhữ Castelnuovo hay Severi, gt hĂi ữủc nhiãu kát quÊ àp  vã
cĂc ối tữủng tữỡng ối cử th nhữ ữớng cong v mt Ôi số. Do thiáu mởt
nãn tÊng Ôi số vỳng chưc, cĂc nh toĂn hồc Italia cỏn dũng nhiãu cổng cử
giÊi tẵch v ổi khi mưc phÊi nhỳng ngở nhên hẳnh hồc dăn án nhỳng chựng
minh khổng Ưy ừ. PhÊi án Zariski v Weil, Ôi số giao hoĂn mợi tr thnh
cổng cử chẵnh trong hẳnh hồc Ôi số. Vo nhỳng nôm giỳa thêp k 20, hẳnh
hồc Ôi số cõ thảm mởt lƯn lởt xĂc.

Nhụng ngữới i tiản phong trong giai

oÔn ny l Serre v Grothendieck.

Grothendieck sỷ dửng lỵ thuyát phÔm

trũ vo hẳnh hồc Ôi số mởt cĂch cõ hằ thống.

ị tững cừa ổng coi a tÔp

Ôi số nhữ mởt hm tỷ l mởt ỵ tững then chốt trong lỵ thyát lữủc ỗ.

Mởt cĂi hay cừa ngổn ngỳ hẳnh hồc Ôi số l, mc dũ phÔm trũ v hm
tỷ l nhỳng khĂi niằm rĐt trứu tữủng, nõ cho php ta diạn Ôt mởt cĂch
trong sĂng nhỳng trỹc quan hẳnh hồc cử th nhĐt v thêt sỹ giúp ta hiu
thảm vã nhỳng ối tữủng cử th vẵ dử nhữ ữớng cong, mt ...

Những õ

cụng ỗng thới l cĂi khõ cho ngữới hồc hẳnh hồc Ôi số v cho ngữỏi viát
giĂo trẳnh hẳnh hồc Ôi số.

Xem cĂc giĂo trẳnh tiáng nữợc ngoi  cõ, nời

tiáng nhĂt l cĂc cuốn cừa Hartshorne, Mumford, Shafarevich, ta thĐy cĂc
cuốn ny cõ nởi dung rĐt khĂc nhau, hƯu nhữ ẵt cõ phƯn giao nhau.

Ngữới

viát cuốn ny cụng phÊi lỹa chồn mởt tuyán ữớng riảng,  dăn dưt bÔn
ồc tham quan xự s diằu ký cừa hẳnh hồc Ôi số. Theo quan im sữ phÔm
riảng, tuyán ữớng ữủc chồn l cĂc Ôi lở chẵnh, cõ th khổng cõ gẳ thêt
ngoÔn mửc, những nõ giúp ta di xa hỡn v cõ th trĂnh cho ngữới tham
quan cõ cÊm giĂc b lÔc ữớng.
Nởi dung quyn giĂo trẳnh ny tĐt nhiản khổng cõ gẳ mợi. Náu cõ gẳ mợi
thẳ nõ nơm trong cĂch trẳnh by v thự tỹ sưp xáp cĂc khĂi niằm.

Trong

tứng phƯn riảng r, chưc chưn l ngữới viát cõ vay mữủn tứ cĂc sĂch  cõ,
chừ yáu tứ cuốn cừa Hartshorne v cừa Mumford.


Ngữới viát cụng khổng

hã ngƯn ngÔi lữủc bợt i hon ton mởt số chựng minh quĂ rưc rối hoc ch
trẳnh by chựng minh trong mởt trữỡng hủp c biằt những c thũ.

CĂc


3

chựng minh chi tiát v Ưy ừ thẳ bÔn ồc náu cƯn cõ th tham khÊo sĂch
cừa Hartshorne.

é Ơy,

tổi ch mong muốn bÔn ồc nđm ữủc cĂch tẵnh

toĂn cử th trong mởt số trữỡng hủp cử th v hiu ữủc nởi dung cừa nh
lỵ thổng qua cĂc tẵnh toĂn õ.


Ph¦n I

¤i sè

5


7


Mửc ẵch cừa chữỡng ny l im lÔi mởt số khĂi niằm cỡ bÊn cừa Ôi số
giao hoĂn v lỵ thuyát phÔm trũ.

TĂc giÊ khổng cõ tham vồng viát chữỡng

ny thnh mởt ti liằu tham khÊo. Mửc ẵch cừa nõ l im lÔi mởt số khĂi
niằm cỡ bÊn cừa Ôi số giao hoĂn v lỵ thuyát phÔm trũ m theo chừ quan
cừa mẳnh, tĂc giÊ cho l khổng thiáu ữủc cho ngữới bưt Ưu hồc hẳnh hồc
Ôi số. Nhiãu chựng minh ch ữủc trẳnh by vưn tưt, hoôc thêm chẵ bọ qua.
Náu cÊm thĐy cƯn thiát, ngữới ồc cõ th tham khÊo cuốn sĂch kinh in vã
Ôi số giao hoĂn cừa Matsumura hay l cuốn cừa Atyah v Macdonald.
Ta chú ỵ c biằt án phÔm trũ cĂc vnh giao hoĂn v cĂc hm tỷ tứ
phÔm trũ ny vo phÔm trũ cĂc têp hủp.

KhĂi niằm a phữỡng hoĂ trong

Ôi số giao hoĂn v khĂi niằm hm tỷ biu diạn ữủc cừa lỵ thuyát phÔm
trũ ữủc nhĐn mÔnh.


Chữỡng 1

Sỡ lữủc vã Ôi số giao hoĂn

1.1

Vnh giao hoĂn

Trong têp hủp cĂc số nguyản
php nhƠn.


Z

ta cõ hai php toĂn cỡ bÊn l php cởng v

CĂc php toĂn ny thọa mÂn mởt số tẵnh chĐt nhữ tẵnh giao

hoĂn, tẵnh kát hủp v tẵnh phƠn phối.

0,

Php cởng cõ mởt phƯn tỷ ỡn v l

php nhƠn cõ mởt phƯn tỷ ỡn v l

1.

Vnh giao hoĂn l cĐu trúc Ôi số

trứu tữủng, mổ phọng cĂc tẵnh chĐt cừa php cởng v php nhn số nguyản.

nh nghắa 1 Vnh giao hoĂn l mởt têp hủp

R

cũng vợi

(+, 0, ì, 1)

thoÊ


mÂn

R,

- têp
vợi

+,

cũng vợi php cởng

+

v phƯn tỷ

0R

l phƯn tỷ ỡn v ối

tÔo thnh mởt nhõm Abel.

-têp

R

cũng vợi php nhƠn

ì


v phƯn tỷ

1R

ỡn v vợi php

.,

tÔo

thnh mởt nỷa nhõm Abel, tực l nhữ mởt nhõm Abel ch thiáu tiản ã l
mồi phƯn tỷ ãu nghch Êo ữủc.
-php

+

v php nhƠn thoÊ mÂn tẵnh chĐt phƠn phối

x ì (y + z) = x ì y + x ì z.
TĐt nhiản vẵ dử cỡ bÊn nhĐt cừa vnh giao hoĂn chẵnh l vnh cĂc số
nguyản

Z.

Têp hủp cĂc số hỳu t

tÔo nản mởt vnh.
hỳu t

Q[x],


Q,

cĂc số thỹc

R,

hay cĂc số phực cụng

Têp cĂc a thực mởt bián vợi hằ số nguyản

hay hằ số phực

C[x]

Z[x],

hằ số

ró rng cụng tÔo nản mởt vnh.

Vẵ dử suy bián v tƯm thữớng l vẵ dử mởt vnh vợi
chựng minh ữủc l vnh ny ch cõ úng mởt phƯn tỷ.

9

0 = 1.

Khi õ ta



CHìèNG 1.

10

nh nghắa 2 ỗng cĐu vnh giỳa
thẵch vợi cĂc cĐu trúc

(+, 0, ì, 1)

Sè LìẹC V I Sẩ GIAO HON

R

v

R

cừa

R

v

l mởt Ănh xÔ

:RR

tữỡng


R.

Ta lữu ỵ tợi khng nh hin nhiản sau Ơy.

Mằnh ã 3 Vợi mồi vnh giao hoĂn

R,

tỗn tÔi duy nhĐt mởt ỗng cĐu vnh

R : Z R .
n, R bưt buởc phÊi gỷi n lản phƯn tỷ 1+ã ã ã+1,
n lƯn, cừa R. Cỏn náu n l nguyản Ơm, ta phÊi gỷi n lản R (n). Dạ thĐy
Vợi mồi số nguyản dữỡng

Ănh xÔ nh nghắa nhữ trản l mởt ỗng cĐu vnh.

nh nghắa 4 Mởt phƯn tỷ
sao cho

xR

ữủc gồi l khÊ nghch náu tỗn tÔi

yR

xy = 1.

Ta kỵ hiằu




tƠp hủp cĂc phƯn tỷ khÊ nghch cừa vnh

R = R {0}. Vẵ
những Z thẳ khổng.

ữủc gồi l mởt trữớng náu nhữ
hỳu t, hay

R, C

ãu l trữớng,

ì

R.

dử nhữ vnh

Vnh

Q

R

cĂc số

Têp hủp cĂc lợp ỗng


p l mởt trữớng m ngữới ta thữớng kỵ hiằu
l Fp .
CĂc trữớng hỳu hÔn Fp vợi p nguyản tố, v Q ữủc gồi l trữớng
nguyản thu, tữỡng tỹ nhu Z l vnh nguyản thu, do mằnh ã sau Ơy. Ta
dữ modulo mởt số nguyản tố

cõ th chựng minh nõ cũng mởt kiu nhữ mằnh ã 3.

Mằnh ã 5 Mởt trữớng
cĂc trữớng hỳu hÔn

k

bĐt ký hoc l chựa

Trong trữớng hủp Ưu, ta nõi
sau,

k

cõ c số

p.

Q,

hoc l chựa mởt trong

Fp .
k


l trữớng cõ c số

Hẳnh hồc Ôi số trản

hỳu t cừa phữỡng trẳnh Ôi số.

Q

Hẳnh hồc Ôi số trản

giÊi phữỡng trẳnh ỗng dữ modulo

0,

trong trữớng hủp

liản quan án viằc tẳm nghiằm

Fp

thẳ giống nhữ viằc

p.

x R ữủc gồi l ữợc số cừa 0 náu tỗn tÔi mởt
phƯn tỷ y R khĂc 0 sao cho xy = 0. Mởt phƯn tỷ x R gồi l lu linh
n
náu tỗn tÔi n N sao cho x
= 0.

Mởt vnh R ữủc gồi l miãn nguyản náu R khổng chựa cĂc phƯn tỷ khĂc
khổng m lÔi l ữợc số cừa khổng. Vnh R ữủc gồi l rút gồn náu R khổng
nh nghắa 6 Mởt phƯn tỷ

chựa phƯn tỷ khĂc khổng m lÔi l lụy linh.


1.2.

MOUN TRN MậT VNH

1.2

11

Moun trản mởt vnh

nh nghắa 7 Moun trản mởt vnh
php nhƠn vổ hữợng

RìM M

R

l mởt nhỏm Abel

kỵ hiằu l

(, x) x


M

cũng vợi mởt

thoÊ mÂn cĂc tẵnh

chĐt

( + )x = x + x v (x + y) = x + y ,
-()x = (x) v 1.x = x
ỗng cĐu R-moun l mởt Ănh xÔ bÊo ton cĐu trúc R-moun.
-

R m ta cõ th xem nhữ mởt moun trản R.
Cho hai R-moun bĐt ký M1 , M2 , tẵch trỹc tiáp M1 ì M2 cõ mởt cĐu trúc
R-moun hin nhiản (x1 , x2 ) = (x1 , x2 ). Ta gồi nõ l tờng trỹc tiáp cừa
M1 v M2 v kỵ hiằu l M1 M2 . Mởt R-moun l moun tỹ do cĐp n náu
n
nõ ng cĐu vợi R
= R ã ã ã R, n lƯn.
Vẵ dử ỡn giÊn nhĐt l têp

M
Rn M

nh nghắa 8
ton Ănh

l mởt moun hỳu hÔn sinh náu tỗn tÔi mởt ỗng cĐu
tứ mởt moun tỹ do cĐp hỳu hÔn vo


Nõi mởt cĂch khĂc, M l hỳu hÔn
x1 , . . . , xn M sao cho mồi phƯn
dÔng x = 1 x1 + ã ã ã + n xn .
tỷ

nh nghắa 9
cho

M M

M

M.

sinh náu tỗn tÔi mởt số hỳu hÔn phƯn
tỷ

xM

ãu cõ th viát ữủc dữợi

l mởt moun xÔ Ênh náu tỗn tÔi mởt

R-moun M

sao

l mởt moun tỹ do cĐp hỳu hÔn.


Mởt moun tỹ do hỳu hÔn sinh l dắ nhiản l mởt moun xÔ Ênh. Mằnh
ã ngữủc lÔi thẳ khổng úng nhữ ta s thĐy nhỳng chữỡng sau khi nghiản
cựu cĂc phƠn thợ vectỡ.

1.3

Iảan, iảan nguyản tố v phờ

Mổun con cừa mởt

R-moun M

cởng v php nhƠn vổ hữợng.

M/N

tỹ ởng cõ mởt cĐu trúc

nh nghắa 10 Ta xt

R

Rữ

cừa

l mởt mổun con

I


l mởt têp con

Náu

N

N M , õng õi vợi php
M , thữỡng

l mởt mổun con cừa

R-moun.

nhữ l mởt moun trản chẵnh nõ.

R.

Mởt iảan cừa


CHìèNG 1.

12

R, moun thữỡng R/I tỹ ởng cõ mởt cĐu trúc
vnh gồi l vnh cĂc dữ cừa R moulo I . Thêt vêy lợp ỗng dữ modulo I
cừa tờng hay tẵch hai phƯn tỷ x, y R ch phử thuởc vo cĂc lợp ỗng dữ
cừa x v y modulo I ữ. Trong trữớng hủp I = R ta cõ vnh suy bián ch cõ
Náu


I

Sè LìẹC V I Sẩ GIAO HON

l mởt iảan cừa

mởt phƯn tỷ.

nh nghắa 11 Iảan
Iảan

I

I

ữủc gồi l nguyản tố náu

ữủc gồi l tối Ôi náu

R/I

R/I

l mởt miãn nguyản.

l mởt trữớng.

ối tữủng hẳnh hồc thổng dửng ựng vợi mởt vnh giao hoĂn
phờ


Spec(R)

cĂc iảan nguyản tố cừa

R.

R,

l têp

Têp phờ ny cỏn ữủc trang b

nhiãu cĐu trúc khĂc nỳa nhữ cĐu trúc tổpổ v cĐu trúc bõ vnh m chúng
ta s xem xt k chữỡng sau.

Hiằn tÔi ta tÔm coi

têp hủp, cĂc phƯn tỷ cừa nõ ữủc gồi l im.

Spec(R)

ch nhữ mởt

Ta cũng nhau khÊo sĂt têp

ny trong mởt số trữớng hủp ỡn giÊn.

Spec(Z) bao gỗm duy nhĐt mởt iảan nguyản tố m
khổng tối Ôi l iảan {0}. CĂc iảan nguyản tố khĂc ãu cõ mởt phƯn tỷ
sinh l mởt số nguyản tố p no õ. im tữỡng ựng vợi iảan {0} gồi l

im tờng quĂt. Ta cõ th hẳnh dung Spec(Z) nhữ mởt ữớng cong vợi mội
Náu

R = Z,

têp

im l mởt số nguyản tố, cởng thảm vợi mởt im tờng quĂt.

C[x] cõ phờ l mởt ữớng cong quen thuởc hỡn. Nõ cụng chựa mởt
duy nhĐt mởt iảan nguyản tố khổng tối Ôi l iảan {0}. CĂc iảan tối Ôi
ữủc sinh bời mởt ỡn thực dÔng x vợi l mởt số phực no õ. Nhữ
vêy, phờ cừa C[x] l têp cĂc số phực C cõ bờ sung thảm mởt im tờng quĂt.
Nõi chung, náu R l mởt miãn nguyản, iảan {0} l mởt iảan nguyản
tố. im tữỡng ựng vợi nõ trong phờ cừa R gồi l im tờng quĂt.
Vnh

Mằnh ã 12 Vợi mồi ỗng cĐu vnh
nguyản tố

p

iảan tối Ôi

bĐt ký cừa

p

R


bĐt ký cừa

:RR,

tÔo Ênh

cụng l mởt iảan nguản tố.

R

p

cừa mổt iảan

TÔo Ênh

p

cừa mổt

cụng l mởt iảan tối Ôi.

p l tÔo Ênh cừa p , ỗng cĐu vnh R/p R /p cÊm sing tứ , l mởt
Do R /p l vnh nguyản vàn nản R/p cụng phÊi l vnh nguyản
Tữỡng tỹ nhu vêy, náu R /p l mởt trữớng thẳ R/p cụng phÊi l mởt

Do

ỡn Ănh.
vàn.


trữớng.

R R
cừa R.

Nhữ vêy mội ỗng cĐu vnh

Spec(R)

tứ phờ cừa

R

vo phờ

cho ta mởt Ănh xÔ

Spec(R )


1.4.

TCH TENXè

1.4

13

Tẵch tenxỡ


R-moun. Ta cõ th inh nghắa tẵch tenxỡ M R N nhữ
sau. Chồn hai hằ sinh {xi |i I} cừa M v {yj | j J} cừa N . è Ơy M , N
khổng nhĐt thiát phÊi hỳu hÔn sinh nản cĂc têp I, J khổng nhĐt thiát l têp
hỳu hÔn. Xt R-moun tỹ do V vợi cỡ s l cĂc phƯn tỷ kỵ hiằu l xi yj
vợi têp ch số l I ì J . Xt R-moun con W sinh bi cĂc phƯn tỷ dÔng

Cho

M

v

N

- hoc l
hằ số
cho

i

cho

iI

i xi yj

vợi mởt ch số cố nh

jJ


no õ, v vợi cĂc

bơng khổng vợi hƯu hát ngoÔi trứ mởt số hỳu hÔn cĂc ch số

iI

j

j xi yj

jJ

iI

vợi mởt ch số cố nh

sao

no õ, v vợi cĂc

bơng khổng vợi hƯu hát ngoÔi trứ mởt số hỳu hÔn cĂc ch số

jJ

i,

i xi = 0,

- hoÔc l

hằ số

l hai

j,

sao

j yj = 0.

M R N = V /W .
x M, y N ta cõ th viát dữợi dÔng x = iI i xi v
y = jJ j yj vợi i , j bơng khong vợi hƯu hát cĂc ch số ngoÔi trứ mởt
số hỳu hÔn cĂc ch số i, j . Ta dạ dng kim tra ữủc rơng Ênh cừa phƯn tỷ
iI i xi
i,j i j xi yj V trong V /W khổng phử thuởc vo cĂch viát x =
v y =

y
m
ch
phử
thuởc
vo
bÊn
thƠn
x
v
y
.

Nhữ
vêy
ta
cõ mởt
jJ j j
Ănh xÔ : M ì N M R N m ta cõ th kim tra dạ dng l mởt Ănh xÔ
Ta t

Mồi phƯn tỷ

song tuyán tẵnh.
Cp

(M R N, )

thoÊ mÂn mởt tẵnh chĐt phờ dửng.

: M ì N L l mởt Ănh xÔ
xÔ tuyán tẵnh : M R N L

Mằnh ã 13 Cho

song tuyán tẵnh. Tỗn tÔi

duy nhĐt mởt Ănh

sao cho

Nhớ vo tẵnh chĐt phờ dửng, ta thĐy rơng cp


(M R N, )

nh duy nhĐt vợi sai khĂc l mởt ng cĐu duy nhĐt.
phử thuởc gẳ vo hằ sinh

{xi }

v

{yj }

= .
ữủc xĂc

Nhữ vêy nõ khổng

m ta chồn trong cĂch xƠy dỹng.

Dỹa theo cĂch xƠy dỹng trản ta thĐy viằc tẵnh toĂn tẵch tenxỡ khổng
khõ. Vẵ dử :

M = RI v N = RJ l cĂc moun tỹ do thẳ M R N = RIìJ ,
I
- náu M l mởt moun tỹ do R
thẳ M R N ch l tờng trỹc tiáp iI Ni
vợi mội Ni l mởt phiản bÊn cừa N ,
- náu M = R/p vợi p l mởt iảan cừa R thẳ M N = N/pN vợi pN l
moun con cừa N sinh bi cĂc phƯn tỷ cõ dÔng y vợi p v y N .
- náu



14

CHìèNG 1.

nh nghắa 14 Cho

R

l mởt vnh giao hoĂn bĐt ký. Mởt

R cũng vợi mởt
(1 , R1 ) v (2 , R2 )

vnh giao hoĂn

R-Ôi số
1 = 2 .

hai

R-Ôi

số l mởt

: R R . ỗng cĐu giỳa
cĐu vnh : R1 R2 sao cho

ỗng cĐu vnh
l mởt ỗng


R-Ôi số v M l mởt R-moun. Ta xt tẵch tenxỡ M R R
vợi R ch xem nhữ l R-moun. Dạ thĐy M R R cõ mởt cĐu trúc R -moun
cho bi (m ) = m () vợi mồi m M v , R . N áu M l mởt
R-moun tỹ do, hoc l hỳu hÔn sinh, hoc l xÔ Ênh, thẳ M R R cụng l
Cho

R

Sè LìẹC V I Sẩ GIAO HON

l mởt

mởt moun tỹ do, hoc l hỳu hÔn sinh, hoc l xÔ Ênh.
Cõ mởt tẵnh chĐt bưc cƯu Ăng lữu ỵ l vợi mồi

R

v

R -Ôi

số

R

R-moun M , R-Ôi

số


, ta cõ

(M R R ) R R = M R R .
R v R l hai R-Ôi số. Xem chúng nhữ l cĂc R-moun, ta cõ
th xt R R R . Ta cõ hai cĐu ỗng cĐu R-Ôi số : R R R R
v
: R R R R ữủc xĂc nh bi (x ) = x 1 v (x ) = 1 x .
Bở ba (R R , R ; , ) cụng thoÊ mÂn mởt tẵnh chĐt phờ dửng.
Cho

R-Ôi số : R S v
: R S . Khi õ tỗn tÔi duy nhĐt mởt ỗng cĐu R-Ôi số : R R R
S sao cho = v =

Mằnh ã 15 Cho mởt

R-Ôi

số

S

v hai ỗng cĐu

R R R vợi R v R -l R-Ôi số cụng khổng
hÔn náu R = R[x1 , . . . , xn ]/ f1 , . . . , fm
l vnh

Viằc tẵnh toĂn tẵch tenxỡ
cõ gẳ l khõ khôn.

cĂc a thực

n-bián

Chng

chia cho mổt iảan hỳu hÔn sinh no õ, thẳ

R R R = R [x1 , . . . , xn ]/ f1 , . . . , fm .
1.5

a phữỡng hoĂ v vnh a phữỡng

KhĂi niằm a phữỡng hoĂ l mởt khĂi niằm then chốt trong hẳnh hồc Ôi số.
Php toĂn ngữủc cũa nõ l php dĂn cho php ta chuyn tứ Ôi số giao hoĂn
sang hẳnh hồc Ôi số.

Tuy l php toĂn ngữủc những php dĂn cụng ữủc

xƠy dỹng trản cỡ s cừa php a phữỡng hoĂ.

R, mởt têp con S cừa R
x, y S , ta cõ xy S .

Cho mởt vnh giao hoĂn

nhƠn náu

1S


v vợi mồi

ữủc gồi l mởt têp


1.5.

A PHìèNG HO V VNH A PHìèNG

nh nghắa 16 a phữỡng hoĂ cừa vnh

R

15

ối vợi têp nhƠn

S

l têp cĂc

lợp tữỡng ữỡng

S 1 R = {(x, s) R ì S}/
vợi

(x1 , s1 ) (x2 , s2 )

s S sao cho s(x1 s2 x2 s1 ) = 0.
(x, s) l x/s. Tỗn tÔi trản têp S 1 R mởt

cho x1 /s1 + x2 /s2 = (x1 s2 + x2 s1 )/s1 s2 v

náu tỗn tÔi

Kỵ hiằu lợp tữỡng ữỡng cừa
cĐu

trúc

vnh

duy

nhĐt

sao

(x1 /s1 )(x2 /s2 ) = x1 x2 /s1 s2 .
PhƯn thự hai cừa nh nghắa trản thêt ra l mởt mằnh ã.

Ta cƯn kim

tra rơng php cởng v php nhƠn cho nhữ trản xĂc nh duy nhĐt mởt cĐu
trúc vnh trản têp cĂc lợp tữỡng ữỡng

S 1 R.

BÔn ồc cân thên cõ th dạ

dng tỹ kim tra khng nh ny v cÊ mằnh ã sau Ơy.


Mằnh ã 17 Tỗn tÔi

duy

nhĐt

mởt

ỗng

: R S 1 R vợi
chĐt : Ênh (s) cừa mồi

cĐu

vnh

1

(x) = x/1 S R. ỗng cĐu thoÊ mÂn tẵnh
1
phƯn tỷ s S l khÊ nghch trong S
R. Ngữủc lÔi, mồi ỗng cĐu vnh
: R R sao cho (s) R khÊ nghch vợi mồi s S , ãu phƠn tẵch ữủc
1
mởt cĂch duy nhĐt thnh = vợi : S
R R l mởt ỗng cĐu
vnh.


Ta cõ th dạ dng mổ tÊ phờ cừa vnh a phữỡng hoĂ
con cừa phờ cừa

tưc

Spec(S

nhữ mởt têp

R.

Mằnh ã 18 ỗng cĐu vnh

1

S 1 R

: R S 1 R

cÊm sinh mởt Ănh xÔ chuân

R) Spec(R). nh xÔ ny l ỡn Ănh, Ênh cừa nõ l
R khổng chựa bƠt ký mởt phƯn tỷ no cừa S .

têp cĂc

iean nguyản tố cừa

Cho
phƯn


p

tỷ

l mởt iảan nguyản tố bĐt ký cừa



dÔng

x/s

vợi

x p

v

xem nhữ moun con trản chẵnh nõ.

p S = . Trong
1
tố v
(p ) = p.

s S

R.


l

Têp con

mởt

Nõ bơng chẵnh

trữớng hủp ngữỡc lÔi,

p

p

moun

S 1 R

con

S 1 R cĂc
1
cừa S
R

náu v ch náu

nhĐt thiát l mởt iảan nguyản

Ta xt hai vẵ dử m ta s cỏn gp lÔi cĂc chữỡng sau.


2

Cho

f R

l

S = {1, f, f , . . .} l têp nhƠn tối thiu
Spec(S 1 R) v têp
con cừa Spec(R) bao gỗm cĂc iảan nguyản tố cừa R khổng chựa phƯn tỷ f .
Trong vẵ dử thự hai ta lĐy mởt iảan nguyản tố p bĐt ký v lĐy S l phƯn
bũ S = R p.
Vẳ p l mởt iảan nguyản tố cho nản S l mởt têp nhƠn.
mởt phƯn tỷ bĐt ký cừa vnh
chựa

f.

R.

cừa

t

Khi õ tỗn tÔi mởt song Ănh chuân tưc giỳa têp


CHìèNG 1.


16

Sè LìẹC V I Sẩ GIAO HON

S 1 R l têp cĂc iảan cừa R khổng cõ giao vợi S . Nõi mởt
1
cĂch khĂc Spec(S
R) l têp cĂc iảan cừa R b chựa trong p. Iean p cừa
R tữỡng ựng vợi iảan tối Ôi duy nhĐt cừa S 1 R. Vnh S 1 R l mởt vnh
Phờ cừa vnh

a phữỡng theo nghắa sau Ơy.

nh nghắa 19 Mởt vnh l vnh a phữỡng náu nõ cõ duy nhĐt mởt iảan
tối Ôi.

Nõi chung tĐt cÊ cĂc vnh a phữỡng ãu ữủc xƠy dỹng bơng cĂch a
a phữỡng hoĂ theo têp nhƠn S l phƯn bũ cừa
p, ta nhên ữủc mởt vnh a phữỡng vợi iảan tối Ôi
l iảan sinh bi Ênh cừa p. Ngữủc lÔi, náu p  l iảan tối Ôi cừa mởt
vnh a phữỡng R rỗi, mồi phƯn tỷ cừa R p ãu nghch Êo ữủc cho nản
a phữỡng hoĂ theo R p khổng lm thay ời vnh R.
Tứ giớ tr i, vợi mồi vnh R, vợi mồi iảan nguyản tố p, ta s kỵ hiằu
Rp l vnh a phữỡng xƠy dỹng bơng cĂch a phữỡng hoĂ R theo tÔp nhƠn
R p.
phữỡng hoĂ nhữ trản.

mởt iảan nguyản tố


R, iảan {0} l mởt iảan nguyản tố, tữỡng
ựng vợi im tờng quĂt cừa Spec(R). Vêy nản têp R {0} l mởt têp nhƠn.
a phữỡng hõa R theo têp nhƠn ny cho ta mởt trữớng vẳ mồi phƯn tỷ
khĂc 0 cừa R ãu tr nản nghch Êo ữủc.
Ngữới ta gồi trữớng ny l
trữớng cĂc thữỡng cừa R v kỵ hiằu l K(R).
Trong mởt vnh nguyản vàn

BÔn ồc cõ th tỹ kim tra mằnh ã sau Ơy.

Mằnh ã 20 Cho
ký.

p

l mởt iảan nguyản tố cừa mởt vnh giao hoĂn

Vnh cĂc thng dữ

cĂc thữỡng cừa

R/p.

R/p

l vnh nguyản vàn, kỵ hiằu

Kỵ hiằu

(p)


K(R/p)

R

bĐt

l trữớng

l iảan tối Ôi cừa vnh a phữỡng

Rp .

Khi õ ta cõ

Rp /(p) = K(R/p).
p cừa R cho ta mởt ỏng cĐu vnh tứ R
Rp /(p). Ngữủc lÔi, náu ta cõ mởt ỗng cĐu : R K tứ R vo
mởt trữớng K , tÔo Ênh cừa {0} l mởt iảan nguyản tố. L dắ nhiản, K ch
chựa chự khổng nhĐt thiát phÊi bơng Rp /(p).
Ta cõ th hẳnh dung cĂc phƯn tỷ cừa R nhữ cĂc hm số trản têp Spec(R).
Cho mởt im p Spec(R) v f R, giĂ tr cừa f tÔi R l Ênh cừa f qua
ỗng cĐu R Rp /(p). KhĂc vợi cĂc hm số thổng thữớng, Ơy têp cĂc
giĂ tr l mởt trữớng bián thiản theo p.
Nhữ vêy mội iảan nguyản tố

vo trữớng


1.6.


MOUN TRN MậT VNH A PHìèNG

17

f l mởt phƯn tỷ lụy linh cừa R, Ênh cừa
: R K vo mởt trữớng K , ãu bơng 0. Vêy

Ta cụng nhên xt thảm l náu

f

qua mồi ỗng cĐu vnh

nản náu ch xt

R

nhữ têp cĂc hm số trản têp phờ nhữ trản Ơy, ta b mĐt

cĂc thổng tin vã cĂc phƯn tỷ lụy linh.

Ta i án khĂi niằm a phữỡng hoĂ cừa mởt moun.

R-moun, S

l mởt têp nhƠn cừa

t a phữỡng hoĂ


S 1 M

cừa

M

R.

Cho

M

l mởt

CĂch ngưn gồn nhĐt  nh nghắa l

theo têp nhƠn

S

bơng

S 1 M = M R S 1 R.
S 1 M nhữ l têp cĂc lợp tữỡng ữỡng (m, s)
(x1 , s1 ) (x2 , s2 ) náu tỗn tÔi s S sao cho s(x1 s2

Ta cụng cõ th nh nghắa

M ì S theo quan hằ
x2 s1 ) = 0. nh nghắa


Ưu tuy cõ km cử th những dạ nhợ v dạ sỷ dửng

hỡn.

qua

Chng

hÔn,

ch

cổng

thực

S 1 R-moun.
Náu p l mởt iảan nguyản tố,
theo têp nhƠn R p. Ta cỏn cõ

nh

S 1 M

l

l a phữỡng hoĂ cừa

M


nghắa,

ta kỵ hiằu

Mp

ta

thĐy

ngay

M(p) = Mp Rp (Rp /(p))
l mởt khổng gian vectỡ trản trữớng
Ta cõ th hẳnh dung
theo

M,

p Spec(R).

(Rp /(p)).

nhữ mởt hồ cĂc khổng gian vectỡ

M(p)

Cho


bián thiản

Hẳnh dung nhữ vêy ta văn nưm ữủc mồi thổng tin vã

trứ cĂc thổng tin cõ liản quan án cĂc phƯn tỷ lụy linh cừa

1.6

k

M

R.

Moun trản mởt vnh a phữỡng

R

l mởt vnh a phữỡng.

l trữớng cĂc dữ

R/m.

Ta kỵ hiằu

nh lỵ sau,

m


l iảan tối Ôi cừa

R

v

m ngữới ta thữớng gồi l bờ ã

Nakayama bưt chĐp sỹ phÊn ối cừa nh toĂn hồc Nhêt ny, õng mởt vai
trỏ cỡ bÊn trong hẳnh hồc Ôi số.

M l mởt moun hỳu hÔn sinh trản vnh a phữỡng R.
R k . Chồn cĂc phƯn
x1 , . . . , xm cừa k -khổng gian vectỡ M

tỷ x1 , . . . , xm cừa M sao cho Ênh cừa xi trong M l x
i . Gồi : Rm M
l cĐu xÔ xĂc nh bi x1 , . . . , xn . Khi õ l mởt ton cĐu. Náu M l mởt
moun tỹ do thẳ l mởt ng cĐu.
nh lỵ 21 Cho

Chồn mởt cỡ s


CHìèNG 1.

18

Sè LìẹC V I Sẩ GIAO HON


N l Ênh cừa cĐu xÔ : Rn M v N = M/N . Ta cƯn chựng
minh rơng N
= 0. Vẳ M l mởt moun hỳu hÔn sinh nản thữỡng cừa nõ
N cụng l hỳu hÔn sinh. Chồn y1 , . . . , yn l mởt hằ sinh cừa N . Chồn cĂc
phƯn tỷ y1 , . . . , yn cừa M sao cho Ênh cừa yi trong N
l y . t y
i l Ênh
i


cừa yi trong M . Viát nõ theo cỡ s x
1 , . . . , xn cừa M ta cõ :
Kỵ hiằu

m

yi =


ij xj .
j=1

Chồn

ij R

cõ Ênh l


ij k .


Ta cõ

m

yi

ij xj mM.
j=1

nh cừa phƯn tỷ ny trong
nản ta cõ th viát

yi

N

yi

l

vẳ

xj N ,

cho nản

yi

thuởc


mN

.

Vêy

dữợi dÔng

n

yi =

ij yj
j=1

vợi cĂc hằ số

ij m.

Ta cõ phữỡng trẳnh tuyán tẵnh

(
y1 , . . . , yn ).
thỷ trong R vợi

Idn y = y

vợi




vectỡ cởt

Nhên xt rơng nh thực cừa ma trên

phƯn

Ênh bơng

phƯn tỷ khÊ nghch cừa

Idn

R.

1

ij , vợi y l
Idn l mởt

l ma trên

trong trữớng cĂc dữ

k,

cho nản nõ l mởt

Theo cổng thực Cramer thẳ bÊn thƠn ma trên


l ma trên khÊ nghch.

Vêy nản vectỡ

y

bơng khổng v vẳ thá

N

cụng bơng khổng.
Mằnh ã thự hai cừa nh lỵ cụng chựng minh tữỡng tỹ nhữ vêy.

GiÊ

M l mởt R-moun tỹ do vợi cỡ s l v1 , . . . , vr . Ró rng l cĂc Ênh
l mởt cỡ s cừa khổng gian vectỡ M
, cho nản r = n.
v1 , . . . , vr trong M
n
CĐu xÔ : R
M xĂc nh bi cĂc phƯn tỷ x1 , . . . , xn cõ th viát dữợi
dÔng mởt ma trên vuổng ij vợi
sỷ

n

xi =


ij vj .
j=1

l mởt ng cĐu giỳa cĂc khổng gian
: k n M
ì
ì


vectỡ cho nản nh thực cừa l det() k . Vêy det() R
v vẳ thá
n
l mởt ma trên khÊ nghch, hay nõi cĂch khĂc : R
M l mởt ng cĐu.

Ró rng l cĐu xÔ cÊm suy


1.7.

VNH NOETHER V I Sẩ DNG HU HN

Hằ quÊ 22 Mồi moun xÔ Ênh hỳu hÔn sinh

M

19

trản vnh a phữỡng


R

ãu

l moun tỹ do.

M sao cho M
= M R k v M
= M R k .
Rn . t M

= k n . Chồn x1 , . . . , xm M sao vợi Ênh x1 , . . . , xm M

Ta cõ M M
Tữỡng tỹ ta chồn x1 , . . . , x M sao vợi Ênh
l mởt cỡ s cừa M .
m

. CĂc phƯn tỷ ny xĂc nh cĂc cĐu
x1 , . . . , xm M l mởt cỡ s cừa M
m
xÔ : R
M v : Rm M m ta biát theo bờ ã Nakayama trản,
m+m
l nhỳng cĐu xÔ ton Ănh. Ta cỏn biát l : R
Rn l mởt ng
cĐu, vẳ thá cÊ v ãu l ỡn Ănh. Vêy nản l mởt âng cĐu.
Vẳ

M


M

l xÔ Ênh nản theo nh nghắa, tỗn tÔi mởt moun

ng cĐu vợi mởt moun tỹ do

1.7

Vnh Noether v Ôi số dÔng hỳu hÔn

 xt cĂc vĐn ã cõ tẵnh nh tẵnh, ngữới ta hay cƯn án mởt số tẵnh chĐt
hỳu hÔn.

Mởt trong nhỳng khĂi niằm quan trồng nhĐt l khĂi niằm vnh

Noether.

nh nghắa 23 Mởt vnh
cừa

R

l vnh Noether náu mồi dÂy tông cĂc iảan

R
I1 I2 ã ã ã In ã ã ã

ãu l dÂy dứng.


Mằnh ã 24 Cho

M

l mởt moun hỳu hÔn sinh trản mởt vnh Noether

Khi õ, mồi moun con

M = R,

mồi iảan

I

M M

cụng ằu l hỳu hÔn sinh.

cừa mởt vnh Noether

R,

xem nhữ

R.

c biằt vợi

R-moun,


ãu l

hỳu hÔn sinh.

Trữợc hát ta xt trữớng hủp c biằt

M = R.

Náu tỗn tÔi mởt iảan

I

khổng hỳu hÔn sinh, ta cõ th xƠy dững ữủc mởt dÂy tông m khổng dứng
cĂc iảan con cừa

I,

mƠu thuăn vợi giÊ thiát Noether cừa

Tron trữớng hủp tờng quĂt, do

M

R.

l hỳu hÔn sinh, tỗn tÔi mởt ỗng cĐu

Rn M v ta cõ th quy vã trữớng hủp ôc biằt cĂc moun tỹ
n
n

do M = R . Trữớng hủp M = R
lÔi cõ vã quy vã trữớng hủp M = R bơng

ton Ănh

qui nÔp.

HƯu hát cĂc vnh giao hoĂn quen thuởc ãu l vnh Noether. Mởt trữớng
bĐt ký hin nhiản l vnh Noether bi vẳ nõ cõ mởt iảan duy nhĐt l iảan


CHìèNG 1.

20

{0}.

Vnh

Z

Sè LìẹC V I Sẩ GIAO HON

cĂc số nguyản cụng l vnh Noether.

CĂc vnh a thực cụng

l vnh Noether nhớ vo nh lỵ cỡ bÊn sau ay cừa Hilbert.

nh lỵ 25 (Hilbert) Náu

cĂc a thực

n

R

l mởt vnh Noether thẳ vnh

bián vợi hằ số trong

R

R[x1 , . . . , xn ]

cụng l vnh Noether.

Chựng minh nh lỵ Hilbert tữỡng ối di v vữủt qu khuổn khờ cừa
chữỡng ny. BÔn ồc cõ th tham khÊo trong cĂc sĂch khĂc  tẳm hiu cĂch
chựng minh cừa nõ.

Mằnh ã 26 Cho

= R/I
R

R

l mởt vnh Noether,

cụng l mởt vnh Noether. Cho


a phữỡng hõa

S

1

R

S

I

R.
cừa R.

l mởt iảan cừa

l mởt têp nhƠn

Khi õ
Khi õ

cụng l vnh Noether.

= R/I . Mổt dÂy tông I1 I2 ã ã ã cĂc iảan cừa R

:RR
1
cho ta mởt dÂy tông I1 I2 ã ã ã cĂc iảan cừa R või Ii =

(Ii ). Do
1

l ton cĐu, Ii = (
(Ii )). Do R l Noether, dÂy Ii l dÂy dứng, vêy nản

dÂy Ii cụng phÊi l dÂy dứng.
1
Kỵ hiằu R = S
R v : R R . Cho I1 I2 ã ã ã l mởt dÂy tông
cĂc iảan cừa R , ta cõ mởt dÂy tông I1 I2 ã ã ã cĂc iảan cừa R vợi
Ii = 1 (Ii ). Dạ thĐy Ii = S 1 Ii . Do Ii l dăy dứng nản Ii cụng phÊi l dÂy
Kỵ hiằu

dứng.

nh nghắa 27 Mởt
mởt ỗng cĐu

R-Ôi

vợi hỳu hÔn bián vo

GiÊ sỷ R
R[x1 , . . . , xn ]

R-Ôi

số


R ữủc gồi l cõ dÔng
: R[x1 , . . . , xn ] R

số ton Ănh

R

tứ mởt vnh a thực

R.

l mởt vnh Noether.
cụng s l Noether.

Theo inh lỵ Hilbert cĂc vnh a thực

Vêy nản mồi thữỡng

cụng l Noether. Nhên xt thảm rơng iảan
nản

hỳu hÔn náu tỗn tÔi

I

R = R[x1 , . . . , xn ]/I

bưt buởc l hỳu hÔn sinh, cho

phÊi cõ dÔng


R = R[x1 , . . . , xn ]/ f1 , . . . , fm
vợi

f1 , . . . , f m

l iảan sinh bi cĂc phƯn tỷ

f1 , . . . , f m R .


Chữỡng 2

Sỡ lữủc vã lỵ thuyát phÔm trũ

PhÔm trũ ỡn giÊn nhĐt l phÔm trũ cĂc têp hủp.

Những náu lĐy têp hủp

cừa tĐt cÊ cĂc têp hủp, ta cõ th rỡi vo vỏng luân quân cừa lổgic.  trĂnh
cĂi vỏng luân quân ny, ngữới ta  ữa ra khĂi niằm têp hủp "nhọ" ối vợi
mởt vụ trử no õ.

Têp cĂc têp hủp nhọ thẳ khổng cỏn l nhọ nỳa.

KhĂi

niằm vụ trử do Grothendieck vữủt ra ngoi phÔm vi cừa cuổn giĂo trẳnh ny
v ra ngoi tƯm hiu biát cừa ngữới viát, vêy nản ta s ngƯm qui ữợc vợi
nhau vã sỹ tỗn tÔi cừa mởt vụ trử m trong õ ta cõ thã nõi án phÔm trũ

cĂc têp hủp m khổng rỡi vo lỏng luân quân.

2.1

PhÔm

trũ,

hm

tỷ

v

cĐu



giỳa

cĂc

hm tỷ
Lỵ thuyát phÔm trũ cõ ba khĂi niằm chẵnh l phÔm trũ, hm tỷ giỳa hai
phÔm trũ v cĐu xÔ giỳa hai hm tỷ.

nh nghắa 1 Cho mởt phÔm trũ

C


l cho cĂc dỳ kiằn thọa mÂn cĂc tẵnh

chĐt nhữ sau.
1.

Ta cõ mởt têp hủp

ỗng cĐu cừa

C.

Ob(C)

cĂc vêt cừa

C

v mởt têp hủp

Hom(C)

cĂc

Ta cõ mởt Ănh xÔ

s ì b : Hom(C) Ob(C) ì Ob(C),
s : Hom(C) Ob(C)
b : Hom(C) Ob(C) gồi l Ănh xÔ

trong õ Ănh xÔ thự nhĐt

xÔ thự hai

21

gồi l Ănh xÔ nguỗn v Ănh


CHìèNG 2.

22

Sè LìẹC V Lị THUYT PHM TRề

A, B Ob(C), t HomC (A, B) l têp cĂc ỗng cĐu
Hom(C) vợi nguỗn l A v ẵch l B .
2. Vợi mội A Ob(C) ta cõ mởt phƯn tỷ idA HomC (A, A) gồi l ỗng
cĐu ỡn v cừa A. Vợi mồi A, B, C Ob(C) ta cõ mởt Ănh xÔ
ẵch.

Vợi mồi

HomC (A, B) ì HomC (B, C) HomC (A, C)
(, ) thọa mÂn hai tẵnh chĐt sau
i = 0, 1, 2, 3 v cho i HomC (Ai1 , Ai ), ta cõ

gồi l php hủp thnh kỵ hiằu l
a) cho

Ai Ob(C)


vợi

:

(2 1 ) 0 = 2 (1 0 ),
b) cho

HomC (A, B)

ta cõ

Vẵ dử in hẳnh l phÔm trũ

idA = idB = .
Set

m vêt l cĂc têp hủp v ống cĐu l

cĂc Ănh xÔ têp hủp. Ta cỏn cõ phÔm trũ

Ring

m vêt l cĂc vnh giao hoĂn

R ta cõ
R-Ôi số v ỗng cĐu l cĂc ỗng cĐu R-Ôi

v ỗng cĐu l cĂc ỗng cĐu vnh. Tữỡng tỹ nhữ vêy, vợi mồi vnh
phÔm trũ


R Alg

m vêt l cĂc

số.
Cho mởt phÔm trũ
mởt phÔm trũ mợi

C

C

v cho mởt têp con

Ob(C ) cừa têp Ob(C), ta s cõ
Ob(C ) v vợi HomC (A, B) =

m vêt l cĂc phƯn tỷ cừa

HomC (A, B); cĂc ỗng cĐu ỡn v idA v php hủp
C . CĂc phÔm trũ nhữ vêy gồi l phÔm trũ con Ưy

thnh cụng cÊm sinh tứ

Ring

khổng l phÔm trũ con Ưy cừa

Set


C.
Set,

cừa

trũ cĂc têp hủp hỳu hÔn l phÔm trũ con Ưy cừa

Vẵ dử nhữ phÔm
những phÔm trũ

vẳ mởt Ănh xÔ giỳa hai vnh giao

hoĂn khổng nhĐt thiát l mởt ỗng cĐu vnh.

nh nghắa 2 Cho mởt hm tỷ

F

tứ mởt phÔm trũ

C

vo mởt phÔm trũ

l cho cĂc dỳ kiằn thọa mÂn cĂc tẵnh chĐt nhữ sau :

Ob(C) Ob(C ) kỵ hiằu
A, B Ob(C) ta cõ mởt Ănh xÔ

1. Ta cõ mởt Ănh xÔ

2. Vợi mồi

l

A F A.

HomC (A, B) HomC (F A, F B)
F () thỏa mÂn :
a) F ( ) = F () F ().
b) F (idA ) = idF A .

kỵ hiằu l

C


2.1.

PHM TRề, HM T V CU X GIA CC HM T

Vẵ dử tƯm thữớng nhĐt l hm tỷ ỡn v
cừa

C

chẵnh vêt Đy v cho ựng vợi mội ỗng

idC C C
cĐu cừa C


23

cho ựng vợi mội vêt

chẵnh ỗng cĐu Đy.
Ta cỏn cõ mởt hm tỷ hin nhiản

R

Ring Set ựng vợi mội vnh R l têp

bọ i cĐu trúc vnh, ựng vữõi mội ỗng cĐu vnh l Ănh xÔ giỳa hai têp

hủp. Tữỡng tỹ nhữ vêy vợi mồi vnh

R, ta cụng cõ hm tỷ RAlg Ring.

CĂc hm tỷ nhữ trản cõ tản chung l hm tỷ quản.
Ta cõ mổt vẵ dử thú v hỡn nhữ sau.
cho

A

l mởt vêt cừa

C.

Cho

C


l mởt phÔm trũ bĐt ký v

Ta cõ mởt hm tỷ

hA : C Set
ựng vợi mội vêt
cĐu

:BC

B Ob(C)

hA (B) = HomC (A, B),

l têp

ựng vợi mội ỗng

l Ănh xÔ

HomC (A, B) HomC (A, C)
cho bi

.
F : C C ữủc gồi l chung thừy náu vợi mồi
HomC (A, B) HomC (F A, F B) l ỡn Ănh. Náu Ănh
song Ănh thẳ hm tỷ F ữủc gồi l hm tỷ Ưy v chung

nh nghắa 3 Mởt hm tỷ


A, B Ob(C)

Ănh xÔ

xÔ ny luổn luổn l
thừy.

F, F l hai hm tỷ tứ phÔm trũ C vo phÔm trũ C . Cho
mởt cĐu xÔ f : F F
l cho mởt ỗng cĐu f (A) : F (A) F (A) vợi mội
A Ob(C), thọa mÂn tẵnh chĐt sau. Vợi mồi HomC (A, B) ta cõ mởt sỡ
nh nghắa 4 Cho

ỗ giao hoĂn :

f (A)

F A F A





F ()

F ()

F B F B
f (B)


Vẵ dử tƯm thữớng nhĐt l lĐy
cho ựng vợi mội vêt

A Ob(C)

F =F

.

l ỗng cĐu

Khi õ ta cõ cĐu xÔ ỡn v

idF

idF (A) = idF A : F A F A.

f : F F l mổt ng cĐu náu tỗn tÔi
f f = idF v f f = idF .
Mởt hm tỷ F : C C l mởt tữỡng ữỡng phÔm trũ náu tỗn tÔi mởt
hm tỷ F : C C sao cho F F ng cĐu vợi hm tỷ on v idC v F F
ng cĐu vợi idC .
nh nghắa 5 Mởt cău xÔ hm tỷ

f :F F

sao cho



CHìèNG 2.

24

Sè LìẹC V Lị THUYT PHM TRề

Xin lữu ỵ rơng trong nh nghắa tữỡng ữỡng phÔm trũ, ngữới ta khổng
ỏi họi

idC .

F F = idC

m ch ỏi họi mởt mởt cĂi yáu hỡn l

F F

ng cĐu

Ơy l mởt trong nhỳng im khĂc nhau cỡ bÊn giỳa lỵ thuyát phÔm

trũ v lỵ thuyát têp hủp.

2.2

PhÔm trũ ối

nh nghắa 6 Cho

C


l mởt phÔm trũ.

trũ m cĂc vêt văn l cĂc vêt cừa

C

PhÔm trũ ối

C opp

cừa

C

l phÔm

những cĂc ỗng cĐu thẳ b ời chiãu cõ

nghắa l

HomC opp (A, B) = HomC (B, A).
C opp l php hủp thnh trong C m ta ch âo thự tỹ
cĂc ỗng cĐu. Cho HomC opp (A, B) v HomC opp (B, C) thẳ hủp thnh
trong C opp l hủp thnh trong C .

Php hủp thnh trong

KhĂi niằm phÔm trũ ối quÊ l vổ v náu nõ khổng phÊn Ănh sỹ ối ngău
cỡ bÊn giỳa Ôi số v hẳnh hồc. Nhữ ta s thĐy chữỡng sau, phÔm trũ cĂc

lữủc ỗ aphin cõ th coi nhữ phÔm trũ ối cừa phÔm trũ
hoĂn.

A, phờ Spec(A)
Ringopp .

Vợi mồi vnh giao hoĂn

ựng vợi

A

2.3

nh lỵ Yoneda

trong phÔm trũ

Ring cĂc vnh giao

cõ th xem nhữ vêt tữỡng

C l mởt phÔm
trũ bĐt ký. Xt phÔm trũ F(C) m cĂc vêt l cĂc hm tỷ F : C Set. Cho
F, F : C Set hai vêt cừa F(C) ta t HomF(C) l têp cĂc cĐu xÔ f : F F
tứ hm tỷ F vo hm tỷ F . Trong F(C) ta cõ cĂc ỗng cĐu ỡn v idF hin
Ta i án mởt im then chốt cừa lỵ thuyát phÔm trũ.

Cho


nhiản v php hủp thnh hin nhiản.

A ObC , ta cõ mởt
hA : C Set cho bi B HomC (A, B). Náu ta cõ mởt ỗng cĐu
: A A thẳ ta cõ mởt cĐu xÔ hm tỷ theo chiãu ngữủc lÔi hA hA .
Thêt vêy, vợi mồi B ObC ta cõ mởt Ănh xÔ
Nhữ ta ô thĐy trong cĂc vẵ dử hm tỷ, vợi mồi vêt

hm tỷ

HomC (A , B) HomC (A, B).


2.3.

NH Lị YONEDA

cho bi

.

25

 kim tra rơng cĂc Ănh xÔ ny cho ta mởt cĐu xÔ hm

tỷ, nõi cĂch khĂc l kim tra tẵnh giao hoĂn cừa cĂc sỡ ỗ cõ dÔng

HomC (A , B) HomC (A, B)





HomC (A , B ) HomC (A, B )
ta dũng tẵnh kát hủp cừa php hủp thnh.
Nhữ vêy ta cõ mởt hm tỷ

h : C opp F(C).

nh lỵ 7 (Yoneda) Hm tỷ

h : C opp F(C)

cho bi

A hA

xƠy dỹng

nhữ trản, l mởt hm tỷ Ưy v nguyản thu.

Ta cƯn chựng minh rơng vợi mồi

A, A Ob(C),

Ănh xÔ

h : HomC (A, A ) HomF(C) (hA , hA )
l mởt song Ănh.

,

h()(idA ) =

Trữợc hát ta chựng minh nõ l ỡn Ănh.

Cho

HomC (A, A ). LĐy B = A v = idA HomC (A , A ). Ta cõ
v h( )(idA ) = . Náu h() = h( ) thẳ ưt v phÊi bơng nhau.
Chựng minh nõ l ton Ănh cụng tữỡng tỹ nhữ vêy. Cho f : hA hA l
mởt cĐu xÔ hm tỷ bĐt ký. Ta t HomC (A, A ) l phƯn tỷ = f (idA ).
Dạ dng kim tra ữủc l h() = f .
nh nghắa 8 Mởt hm tỷ
tÔi mởt vêt

Cp

A ObC

(A, f )

F : C Set

ữủc gồi l biu diạn ữủc náu tỗn

v mởt ng cĐu hm tỷ

f : hA F.

trong nh nghắa trản khổng nhĐt thiát l duy nhĐt, những


náu tỗn tÔi mởt cp

(A , f )

thẳ

f 1 f

l mởt ng cĐu giỳa

Y(A) Y(A).

h l mởt hm tỷ Ưy v chung thu cho nản
f 1 f : hA hA xĂc nh duy nhĐt mởt ng cĐu : A A sao
1
cho h() = f
f . Vêy ta cõ th nõi l náu hm tỷ F : C Set l biu diạn
ữủc, thẳ cĂi cp (A, f ) biu diạn nõ l duy nhĐt vợi sai khĂc l mởt ng

Theo inh lỵ Yoneda, hƯm tỷ
ng cĐu

cĐu duy nhĐt.

f m ch nõi rơng F biu
A trong õ A ữủc xĂc nh vợi sai khĂc l mởt ng cĐu duy

 tiát kiằm kỵ hiằu thi ngữới ta thữớng lớ i
diạn ữủc bi


nhĐt, dũ nhữ thá khổng ữủc chẵnh xĂc lưm.


CHìèNG 2.

26

2.4

Vẵ dử hm tỷ biu diạn ữủc

Xt hm tỷ

R

Sè LìẹC V Lị THUYT PHM TRề

A1 : Ring Set

cho ựng vợi mội vnh giao hoĂn

R

l têp hủp

b tữợc mĐt cĐu trúc vnh.
Hm tỷ ny biu diạn ữỡc bi vnh

Z[t]


cĂc a thực vợi mởt bián

t.

Thêt vêy, mởt ỗng cĐu vnh : Z[t] R ữủc xac nh duy nhĐt bi Ênh
(t) R vêy nản ta cõ mởt ông cĐu hm tỷ hA F vợi A = Z[t]. é
1
Ơy A
khổng hn l vnh Z[t], m chẵnh xĂc hỡn l vêt ựng vợi vnh ny
opp
trong phÔm trũ Ring
nhúng vo trong F(Ring). Vêy nản ta cõ th viát
A1 Spec(Z[t]).
Tữỡng tỹ, vợi mội vnh giao hoĂn R hm tỷ F : R Alg Set cho
ựng vợi mội R-Ôi số R , têp R , cõ th biu diạn ữủc bi vnh R[t]. Ta
1
Spec(R[t]).
gồi hm tỷ ny l ữớng thÊng aphin trản R, kỵ hiằu l A
R
ì
Xt hm tỷ Gm : Ring Set cho ựng vợi mội vnh R têp R
cĂc phƯn
tỷ khÊ nghch cừa R. Ta cõ th kim tra dạ dng kim tra l hm tỷ ny cõ
th biu diạn ữủc bỡi vnh Z[x, y]/ xy 1 .
Thêt vêy, mởt ỗng cĐu : Z[x, y]/ xy1
R hon ton ữủc xĂc nh
bi Ênh = (x) v = (y), vợi v l hai phƯn tỷ trong R thọa mÂn
= 1. Vẳ thá phƯn tỷ l mởt phƯn tỷ khÊ nghch cừa R v trong trữớng
hủp ny cụng xĂc nh luổn . Vêy nản Gm
Spec(Z[x, y]/ xy 1 ).

Nảu mởt vẵ dử thú v khĂc l ham tỷ àn : Ring Set vợi n N. Nõ
cho ựng vợi mồi vnh R têp hủp cĂc côn bÔc n cừa ỡn v

àn (R) = {x R | xn = 1}.
CĂc phƯn tỷ cừa

àn (R)

tữỡng ựng 1-1 vợi cĂc ỗng cĐu vnh

Z[x]/ xn 1 R.
Vêy nản

àn = Spec(Z[x]/ xn 1 ).

2.5

Giợi hÔn quy nÔp v giợi hÔn xÔ Ênh

Cho mởt têp sưp thự tỹ bở phên

J.

J l cho
cĂc dỳ kiằn nhữ sau. Vợi mội phƯn tỷ j J , ta cho mởt têp hủp Sj ; vợi
mởt cp i j trong J ta cho mởt Ănh xÔ sji : Si Sj sao cho sii = 1 v
skj sji = ski vợi mồi i j k .
Cho mởt hằ qui nÔp trong phÔm trũ têp hủp vợi têp ch số



2.5.

GIẻI HN QUY NP V GIẻI HN X NH

27

Cho mởt hằ xÔ Ênh trong phÔm trũ têp hủp vợi têp ch số
dỳ

kiằn

nhữ

sau.

Vợi

mội

phƯn

J

j J , ta cho mởt têp hủp Sj ; vợi
Ănh xÔ sij : Sj Si sao cho sii = 1 v

tỷ

i j trong J ta cho mởt
sij sjk = sik vợi mồi i j k .

Ta cụng cõ th coi J l mởt phÔm trũ vợi cĂc vêt l phƯn tỷ
HomJ (i, j) l têp vợi duy nhƠt mởt phƯn tỷ hay l têp rộng tuý
mởt cp

l cho cĂc

cừa

J , vợi
ij

theo

hay khổng. Ngữủc lÔi náu ta cõ mởt phÔm trũ sao cho têp cĂc ỗng cĐu giỳa
hai vêt ch cõ khổng hoc mởt phƯn tỷ, khi õ têp cĂc vêt cõ mởt quan hằ
thự tỹ :

ij

HomJ (i, j) khĂc
tứ J vo Set.

khi v ch khi

cĂc têp hủp l mởt hm tỷ

nh nghắa 9 Vợi mởt phÔm trũ
số trong

J


l mởt hm tỷ

mởt phÔm trũ

C

S

tứ

J

C

rộng. Khi õ mởt hằ quy nÔp

bĐt ký, mởt hằ quy nÔp trong

vo

C

vợi ch

C . Tữỡng tỹ nhữ vêy hằ xÔ Ênh trong
J l mởt hm tỷ S tứ J vo C opp .

bĐt ký vợi ch số trong


C l mởt vêt C cừa C cũng
cj : Sj C sao cho vữợi mồi i j , ta cõ ci = cj sji sao
cho vợi mồi (C ; (c )jJ ) thoÊ mÂn cũng mởt tẵnh chĐt nhữ (C, (cj )jJ ), tỗn
j
tÔi duy nhĐt mởt ỗng cĐu b : C C sao cho c
j = b cj , nõi cĂch khĂc l
cp (C, (cj )jJ ) l cp phờ dửng cho tẵnh chĐt ny.
Giợi hÔn xÔ Ênh cừa mởt hằ xÔ Ênh trong C l mởt vêt C cũng vợi cĂc
ỗng cĐu cj : C Sj sao cho ci = sij cj vợi mồi i j v sao cho cp
(C, (cj )jJ ) l cp phờ dửng.
Giợi hÔn quy nÔp cừa mởt hằ quy nÔp trong

vợi cĂc ỗng cĐu

Bờ ã 10 Mồi hằ quy nÔp (hay xÔ Ênh) vợi giĂ tr trong trong phÔm trũ têp
hủp

Set

ãu cõ giợi hÔn quy nÔp (hay xÔ Ênh).

Cho

C

l mởt phÔm trũ bĐt

ký. Khng nh trản văn cỏn úng vợi phÔm trũ cĂc hm tỷ tứ

C


vo

Set.

Khng nh thự hai suy ra ữủc tứ khng nh thự nhĐt. Ta lĐy giợi hÔn

Fj : C Set bơng cĂch lĐy giợi hÔn
Fj (C) cho tứng ối tữủng C ob(C).
Cho mởt hằ quy nÔp (Sj , sji ) trong Set. Ta xƠy dỹng giợi hÔn quy nÔp
cừa nõ nhữ sau : têp C l têp cĂc lợp tữỡng ữỡng cĂp cp (j, x) vợi j J
v x Sj , theo quan hằ tữỡng ữỡng (j, x) (j , x ) náu tỗn tÔi i lợn hỡn
cÊ j v j
sao cho sij (x) = sij (x ) ; vợi mồi j J , Ănh xÔ cj : Sj C l
Ănh xÔ gĂn vợi mội phƯn tỷ x Sj lợp tữỡng ữỡng cừa (j, x).
Cho mởt hằ xÔ Ênh (Sj , sij ) trong Set. Ta xƠy dỹng giợi hÔn xÔ Ênh cừa
nõ nhữ sau : têp C l têp cĂc dÂy (xj )jJ vợi xj Sj thoÊ mÂn sij (xj ) = xi
vợi mồi i j . Têp hủp C l giợi hÔn xÔ Ênh ta cƯn.
quy nÔp (hoc xÔ Ênh) cừa hồ hm tỷ
qui nÔp (hoÔc xÔ Ênh) cho hồ têp hủp


×