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

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

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

Giỏotrỡnhhỡnhhc i s Ngụ Bo Chõu Thỏng nm 2003 GiĂo trẳnh hẳnh hồc Ôi số Ngổ BÊo ChƠu bÊn thĂng nôm 2003 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ố 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 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 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 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 coi a tÔp Ôi số nhữ mởt hm tỷ l mởt ỵ tững then chốt 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 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 cừa Hartshorne, Mumford, Shafarevich, ta thĐy cĂc ny cõ nởi dung rĐt khĂc nhau, hƯu nhữ ẵt cõ phƯn giao Ngữới viát 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, 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 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ứ 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 mởt trữỡng hủp c biằt c thũ CĂc 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 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ố 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 sĂch kinh in vã Ôi số giao hoĂn cừa Matsumura hay l cừa Atyah v Macdonald Ta ỵ 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Ă Ô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 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 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 Vnh giao hoĂn l mởt têp hủp R vợi (+, 0, ì, 1) thoÊ mÂn R, - têp vợi +, 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 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ỷ = Khi õ ta CHìèNG 10 nh nghắa ỗ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 ã Vợi mồi vnh giao hoĂn R, tỗn tÔi 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 Mởt phƯn tỷ cho xR ữủc gồi l khÊ nghch náu tỗn tÔi yR xy = Ta kỵ hiằu Rì tƠp hủp cĂc phƯn tỷ khÊ nghch cừa vnh R = R {0} Vẵ 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, mằnh ã sau Ơy Ta modulo mởt số nguyản tố cõ th chựng minh nõ mởt kiu nhữ mằnh ã Mằnh ã 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 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 modulo 0, 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 náu tỗn tÔi mởt phƯn tỷ y R khĂc cho xy = Mởt phƯn tỷ x R gồi l lu linh n náu tỗn tÔi n N cho x = 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 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 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 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ỹ 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 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ỹ cĐp hỳu hÔn vo Nõi mởt cĂch khĂc, M l hỳu hÔn x1 , , xn M cho mồi phƯn dÔng x = x1 + ã ã ã + n xn tỷ nh nghắa 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 l mởt moun tỹ cĐp hỳu hÔn Mởt moun tỹ 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 nghiản cựu cĂc phƠn thợ vectỡ 1.3 Iảan, iảan nguyản tố v phờ Mổun 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 I l mởt têp Náu N N M , õng õi vợi php M , thữỡng l mởt mổun cừa R-moun nhữ l mởt moun trản chẵnh nõ R Mởt iảan cừa CHìèNG 12 R, moun thữỡng R/I tỹ ởng cõ mởt cĐu trúc vnh gồi l vnh cĂc cừa R moulo I Thêt vêy lợp ỗng 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 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 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 khÊo sĂt têp ny mởt số trữớng hủp ỡn giÊn Spec(Z) bao gỗm 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 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õ 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 ) CHìèNG 12 164 H TUYN TNH V ìẻC Trữợc hát ta kỵ hiằu PL = Proj(Sym(L )) l khổng gian xÔ Ênh ựng vợi khổng gian vectỡ k l mởt ữỡng thng ối ngău L Trản PL L L Mội im cừa PL trản hoc l mởt siảu mt khổng gian vectỡ ta cõ bõ OL (1) vợi (PL , OL (1)) = L Trản tẵch X ìk PL ta xt phƠn thợ ữớng thng cho bi tẵch tenxỡ ngoi L k OL (1) = prX L prPL OL (1) Ta biát (X ì PL , L k OL (1)) = (X, L) k L v nõ chữựa L k L = Homk (L, L) nhữ k -khổng gian vectỡ Vẳ vêy ta cõ mởt phƠn tỷ chuân tưc 1L Homk (L, L) (X ì PL , L k OL (1)) VL l têp õng cĂc khổng im cừa lợp cưt ny, nhữ trản trản VL cõ mởt cĐu lữủc dỗ chuân tưc v l lữủc ỗ õng cừa Ta kỵ hiằu ta biát X ì PL Ta cõ php chiáu VL PL vợi thợ cõ th xem nhữ lữủc ỗ cừa X Ta cõ th dang kim tra khng nh sau l L khĂc khổng, gồi pl PL (k) l siảu mt cừa L hÔch cừa Ănh xÔ tuyán tẵnh l : L k Khi õ Vl l thợ cừa cĐu xÔ VL PL trản im pl Mằnh ã 35 Vợi mồi nh nghắa 36 Cho (X, L) L l mởt Hằ tuyán tẵnh trản k -khổng gian vectỡ X ựng vợi L l lữủc ỏ hỳu hÔn chiãu cừa VL X ì PL xƠy dỹng nhữ trản Náu X l mởt a tÔp xÔ Ênh, hÔn chiãu thẳ hằ tuyán tẵnh VL L = (X, L) l mởt k -khổng gian vectỡ hỳu ựng vợi nõ gồi l hằ tuyán tẵnh Ưy ừ 12.2 NH Lị BERTINI 12.2 165 nh lỵ Bertini Trữớng hủp quan trồng nhĐt cừa hằ tuyán tẵnh l cĂc hằ tuyán tẵnh giu trản khổng gian xÔ Ênh nh lỵ 37 Cho k X l mởt a tÔp xÔ Ênh trữỡn trản mởt trữớng õng Ôi số L l mởt phƠn thợ ữỡng thng rĐt giu trản X v cho mởt nhúng xÔ f : X Pnk vợi L = f O(1) Khi õ tỗn tÔi mởt siảu phng H cừa Pnk cho H X l mởt lữủc ỗ trỡn v têp cĂc siảu phng nhữ vêy tÔo thnh mởt phƯn m trũ mêt cừa hằ tuyán tẵnh Ưy ừ cừa L Kát luƠn trản văn cỏn úng náu tƠ giÊ thiát X ch cõ ký d mởt têp hữụu hÔn cĂc im Cho Ênh cổ lêp Náu X liản thổng v têp m trũ mêt, 12.3 thẳ vợi mồi siảu phng H mởt l liản thổng ìợc Weil v ữợc Cartier x X gồi l cõ ở cao mởt náu nhữ tỗn x Spec(A) X , v Spec(A), x tữỡng ựng vợi mởt iảan nguyản tố ở cao mởt Vợi mồi im x X cõ ở cao mởt, vnh a phữỡng OX,x , thợ cừa bõ cĐu trúc tÔi im x l vnh a phữỡng cõ chiãu Krull bơng mởt Lữủc ỏ X gồi l chẵnh qui ở cao mởt náu vợi mồi im x ồ cao mởt, cĂc vnh OX,x ãu l vnh chẵnh qui Cho X H X dim(X) 2, l mởt lữủc ỗ Mởt im tÔi mởt lƠn cên aphin v õ ta biát, chúng ưt l cĂc vnh nh giĂ rới rÔc nh nghắa 38 Cho X l mởt lữủc ỗ nguyản Noether chẵnh qui ở cao mởt Mởt ữợc Weil trản X l mởt tờng hẳnh thực cõ dÔng D= dx x x x vợi im chÔy trản têp cĂc im ồ cao mởt cừa x D gồi l ữợc thêt sỹ náu nhữ dx rÔc v dx = vợi x X hƯu hát cĂc X l mởt lữủc ỗ nguyản chẵnh qui ở cao mởt Ta biát vợi mồi x X ở cao mởt, vnh a phữỡng OX,x l mởt vnh nh giĂ rới Gồi K l trữớng cĂc hm hỳu t trản X Vợi mồi hm hỳu t f K , Cho im X vợi mồi ta nh nghắa số nguyản ordx (f ) CHìèNG 12 166 f , xt nhữ f1 , f2 K ì , ta cõ l nh giĂ cừa Vợi mồi H TUYN TNH V ìẻC mởt phƯn tỷ cừa trữớng cĂc thữỡng cừa OX,x ordx (f1 f2 ) = ordx (f1 ) + ordx (f2 ) Mằnh ã 39 Cho X l mởt lữủc ỗ nguyản Noether chẵnh qui ồ cao mởt f Kì Vợi mồi hm hỳu t khĂc khổng hát cĂc im x trản X, ta cõ ordx (f ) = vợi hƯu ở cao mởt X Noether, ta cõ th phừ X bơng mởt phừ hỳu hÔn cĂc Ui = Spec(Ai ) vợi Ai l vnh Noether Vẳ thá ta cõ th giÊ sỷ X = Spec(A) l mởt lữủc ỗ aphin, phờ cừa mởt vnh Noether Viát f = f1 /f2 vợi f1 , f2 A, ta ch cƯn chựng minh mằnh ã cho f1 v f2 nản ta cõ th giÊ sỷ f A Cho f A, xt têp V1 (f ) cĂc im x X ở cao mởt cho ordx (f ) >  thuên mưt, ta kỵ hiằu px l iảan nguyản tố ựng vợi mội im x nhữ vêy, ta cõ x V1 (f ) v ch f px GiÊ sỷ têp V1 (f ) l têp vổ hÔn, ta s xƠy dỹng ữủc mởt dÂy tông khổng dứng cĂc iảan cừa A v nhữ thá s mƠu thuăn vợi giÊ thiát A l vnh Noether XƠy dỹng nhữ sau : Theo giÊ thiát têp m aphin Vợi mội hm hỳu t f K ì, ta cõ mởt ữợc Weil ordx (f ) x vợi x chÔy trản têp cĂc im ở cao mởt CĂc ữợc Weil nhên ữủc nhữ vêy gồi l cĂc ữợc chẵnh nh nghắa 40 Cho X l mởt K ì /Oì lợp cưt ton cửc cừa bõ lữủc ỗ nguyản trản X ìợc Cartier cừa X l mởt : s (X, K ì /Oì ) Theo xƠy dỹng cừa bõ thữỡng ì ì (X, K /O ) mởt phừ m aphin vợi mồi cho mởt lợp cĂt ton cửc s l cho X = Spec(Aij ), K ì /Oì , i I, mởt phƯn tỷ iI Ui cừa si K ì X , Ui = Spec(Ai ), Ui Uj = 12.3 ìẻC WEIL V ìẻC CARTIER vợi mồi cp 167 ì i, j I , si s1 j Aij vợi quan hằ tuỡnữg ữỡng l : sau lĐy phừ mn nhĐt  qui vã trữỡng ì (Ui , si ) (Ui , si ) v ch s1 i si Ai Cho mởt ữợc Cartier s = (Ui , si ) nhữ trản Ta nõi nõ l ữợc thêt sỹ náu nhữ vợi mồi i ta cõ s i Ai hủp mởt phừ m Mằnh ã 41 Cho X l mởt lữủc dỗ nguyản Cho mởt ữợc Cartier trản cho mởt phƠn thợ ữớng thng quĂt cừa L L X l l LK vợi LK l thợ tờng X l cho mởt cp (L, l) vợi L l (X, L) l mởt lợp cưt ton cửc v mởt phƯn tỷ Cho mởt ữợc Cartier thêt sỹ cừa l mởt phƠn thợ ữớng thng trản cừa Cartier X v L s (X, K ì /Oì ), ta xƠy dỹng mởt phƠn thợ ữớng thng L, phƠn thợ cừa phƠn thợ hơng K , nhữ sau Trản têp m aphin Ui = Spec(Ai ), ta xt Ai -moun tỹ cĐp mởt Náu cho mởt lợp cưt si Ai K cừa K Trản Ui Uj = Spec(Aij ), hai mổun ny bơng si Ai Ai Aij = sj Aj Aj Aij ì si s1 j Aij Ai -moun tỹ ny dĂn lÔi vợi thnh mởt phƠn thợ ữớng thng L, bõ cừa bõ hơng K Thợ tờng quĂt cừa bõ ny l K cho nản cõ mởt phƯn tỷ l Ngữủc lÔi, giÊ sỷ ta cho mởt cp (L, l) bao gỗm mởt phƠn thợ ữỡng thng L trản X v mởt phƯn tỷ l cừa thợ tờng quĂt LK Khi õ, ta cõ th ỗng nhĐt hai khổng gian vectỡ chiãu mởt K LK bơng cĂch gỷi phƯn tỷ cừa K lản phƯn tỷ l LK Vẳ L l phƠn thợ ữớng thng cho nản trản mội têp m aphin Ui = Spec(Ai ), Ai l miãn nguyản, (Ui , L) l mởt Ai moun tỹ a phữỡng, moun cừa LK = K Chồn phừ Ui ừ mn, ta cõ th giÊ sỷ l (Ui , L) l Ai -moun tỹ cĐp mởt Vợi mồi ch số i, ta chồn mởt cỡ s si cừa (Ui , L) Vẳ hÔn chá vo Uij cho ta mởt Aij -moun ì tỹ cừa K , cho nản si s j Aij Cuối thẳ hai sỹ lữỹa chồn khĂc cừa si v s cỡ s cừa (Ui , L) sai khĂc mởt phƯn tỷ khÊ nghch i ì ì Vẳ vêy (L, l) xĂc nh mởt lợp cưt s (X, K /Oì ) A si s1 i j PhƯn tỷ K cừa thợ tờng quĂt l mồt lợp cưt ton cửc náu nhữ vợi mồi i ta cõ (Ui , L) = si Ai CĂi ny hin nhiản tữỡng ữỡng vợi s1 i Ai vẳ Vẳ vêy cĂc 168 CHìèNG 12 H TUYN TNH V ìẻC PhƯn VI ối ỗng iãu 169 Chữỡng 13 ối ỗng iãu trản tổpổ Zariski 13.1 Cho X Hm tỷ dăn xuĐt cừa hm tỷ l mởt khổng gian tổpổ Xt phÔm trũ cĂc bõ nhõm abel trản X Ta biát phÔm trũ ny l mởt phÔn trũ abel Theo nh nghắa, mởt dÂy cĂc bõ 0M M M l khợp v ch vợi mồi im x X, ta cõ dÂy khợp cĂc thợ Mx Mx Mx nh lỵ 42 PhÔm trũ cĂc bõ nhõm abel trản mởt khổng gian tổpổ cõ ừ vêt nởi tÔi Mằnh ã 43 Hm tỷ cho ựng vợi mội bõ nhõm abel X, (X, M ) i M H (X, M ) nhõm cĂc lợp cưt ton cửc hm tỷ dăn xuĐt l M trản khổng gian tổpổ l mởt hm tỷ khợp trĂi Nõ cõ cĂc Ta  biát, mồi hm tỷ khợp trĂi i tứ mởt phÔm trũ abel võ ừ vêt nởi tÔi, ãu cõ cĂc hm tỷ dăn xuĐt Ta ch cƯn chựng minh tẵnh khợp trĂi cừa hm tỷ M M , mởt lợp cưt s (X, M ) cõ Ênh s (X, M ) bơng khổng Või mồi x X , Ênh sx Mx bơng khổng nản giÊ thiát M x Mx ỡn Ănh ko theo sx = Vợi mồi x tỗn tÔi mởt lƠn cên Ux cừa x cho hÔn chá cừa s vo Ux bơng khổng Theo tẵnh dĂn ữủc cừa bõ, s = Cho Ănh xÔ 171 CHìèNG 13 172 ẩI ầNG IU TRN TặPặ ZARISKI M M M l dôy khợp trĂi, cho s (X, M ) vợi Ênh s (X, M ) bơng khổng Khi õ vợi mồi x X , tỗn tÔi nhĐt s x Mx cõ Ênh l sx Mx vẳ dÂy Mx Mx Mx l khợp Lợp cưt a phữỡng s x xĂc nh trản mồt lƠn cên Ux cừa x Cho hai im x = x , trản giao Ux Ux hai lợp cưt s x v sx cõ mởt Ênh l hÔn chá cừa s cho nản nhữ ta  thĐy trản, chúng nhĐt thiát phÊi bơng Tữỡng tỹ nhữ vêy, cho l khổng khợp s (X, M ) Vợi mồi sx Mx cõ Ênh l sx Mx Ta cõ th thỷ lêp luƠnh nhữ trản  xem tÔi hm tỷ phÊi, xem lêp luên cừa ta b tưc chộ no x X , Mx Mx l ton Ănh, nản tỗn tÔi CĂi mưc thự nhĐt l ta cĂi no sx LĐy nhữ vêy tỗn tÔi, ta khổng biát chồn Chồn tũy tiằn mởt phƯn tỷ sx , cĂc phƠn tỷ khĂc s ãu cõ dÔng sx + sx vợi sx Mx LÔi lĐy mởt lƠn cên ừ nhọ Ux cừa x tren õ xĂc nh sx Những bƠy giớ cĂi cÊn tr cho viằc dĂn cĂc lợp cưt a phữỡng sx lÔi vợi l sai khĂc (sx , sx ) = sx |Ux Ux sx |Ux Ux CĂi sai khĂc ny cõ Ênh bơng khổng M i Ui lợp cưt cừa m X= trản Ux Ux (Ux Ux , M ) nản phÊi l mởt sx cho ta mởt phừ Nhữ vêy viằc lỹa chồn cĂc Uij= Ui Uj v trản mội giao ta cõ mởt lợp cưt ij (Uij , M ) v cĂc lợp cưt ny thọa mÂn phữỡng trẳnh ij + jk + ki = Uijk Gồi Z (X, M ) l têp cĂc lợp tữỡng ữỡng theo nghắa hin nhiản cĂc bở (Uij , ij ) Tỗn tÔi s (X, M ) cõ Ênh l s v ch ta cõ th thay ời sx thnh sx + s x cho ữ b triằt tiảu Muốn vêy ta phÊi giÊ trản ữủc phữỡng trẳnh ối biản ij = si sj vợi si (Ui , M ) Phữỡng trẳnh ny khổng phÊi lúc no cụng cõ nghiằm, v cĂi cÊn tr cho viằc phữỡng trẳnh ny cõ nghiằm chẵnh l mởt phƯn tỷ cừa nhõm Z (X, M ) chia cho nhõm trẳnh ối biản giÊi ữủc B (X, M ) cĂc bở (Uij , ij ) cho phữỡng 13.2 ẩI ầNG IU CếA B TĩA NHT QUN Mằnh ã 44 Vợi mồi bõ nhõm abel H (X, M ) M trản X, 173 hm tỷ dăn xuĐt bêc mởt l H1 (X, M ) = Z (X, M )/B (X, M ) Ngữới ta  mổ tÊ ữủc cÊ hm tỷ dăn xuĐt bêc hai H2 (X, M ) theo cĂch tữỡng tỹ nhữ vêy õ cƠu chuyằn tr nản phực tÔp hỡn nhiãu,  mổ tÊ ngữới ta cƯn án nhỳng khĂi niằm nhữ k án H3 , H4 2-phÔm trũ Ơy l khổng Trong hon cÊnh c biằt cĂc bõ tỹa nhĐt quĂn trản lữủc ỗ, thẳ ngữỏi ta cõ cĂc cĂch tẵnh toĂn c thũ khĂc, hiằu quÊ hỡn f : X Y l mởt Ănh xÔ liản tửc giỳa hai khổng gian tổpổ Khi f tứ phÔm trũ cĂc bõ nhõm abel trản X vo phÔm trũ cĂc nhõm abel trản Y Nõ cho ựng vợi mội bõ M trản X bõ trản Y cho bi Cho õ ta cõ hm tỷ bõ hm tỷ f F (UY ) = F (UX ) X Hm tỷ ny l mởt bõ vẳ  kim tra tẵnh dĂn ữủc cừa f F trản mởt phừ {UY,i } cừa mởt têp m UY , ta qui vã viằc kim tra tẵnh dĂn ữủc cừa F trản tÔo Ênh UX cừa UY v phừ m {UX,i } cho bi tÔo Ênh UX,i cừa UY,i Hm tỷ f l hamg tỷ trữỡng hủp riảng Y l mởt im vợi mồi têp m UY cừa Mằnh ã 45 Hm tỷ hiằu l Ri f 13.2 Cho X Y f v têp m UX l tÔo Ênh cừa UY l hm tỷ khợp trĂi Nõ cõ cĂc hm tỷ dăn xuĐt kỵ ối ỗng iãu cừa bõ tỹa nhĐt quĂn l mởt lữủc ỗ v M l mởt bõ O-moun tỹa nhĐt quĂn trản X ta nh nghắa Hi (X, M ) nhữ phĐn trữợc ch coi X M l nhõm abel trản Hi (X, M ) vợi nhữ mồt khổng gian tổpổ v M nhữ mởt bõ Tuy vêy, viằc tẵnh toĂn cử th cĂc nhõm ối ỗng iãu bõ tỹa nhĐt quĂn thẳ cõ nhỳng c thũ riảng X = Spec(A) l mởt lữủc dỗ aphin M ữ trản Spec(A) ta cõ Hi (X, M ) = vợi Mằnh ã 46 Cho tỹa nhĐt quĂn X Khi õ vợi mồi bõ mồi i 174 CHìèNG 13 ẩI ầNG IU TRN TặPặ ZARISKI Mửc lửc I II Ôi số Sỡ lữủc vã Ôi số giao hoĂn 1.1 Vnh giao hoĂn 1.2 Moun trản mởt vnh 11 1.3 1.4 Iảan, iảan nguyản tố v phờ 11 Tẵch tenxỡ 13 1.5 a phữỡng hoĂ v vnh a phữỡng 14 1.6 Moun trản mởt vnh a phữỡng 17 1.7 Vnh Noether v Ôi số dÔng hỳu hÔn 19 Sỡ lữủc vã lỵ thuyát phÔm trũ 21 2.1 PhÔm trũ, hm tỷ v cĐu xÔ giỳa cĂc hm tỷ 21 2.2 PhÔm trũ ối 2.3 nh lỵ Yoneda 2.4 Vẵ dử hm tỷ biu diạn ữủc 2.5 2.6 24 24 26 Giợi hÔn quy nÔp v giợi hÔn xÔ Ênh 26 Tẵch theo thợ 28 Sỡ lữủc vã Ôi số ỗng iãu 31 3.1 PhÔm trũ cĂc moun trản mởt vnh 31 3.2 PhÔm trũ abel 34 3.3 DÂy khợp v hm tỷ khợp 37 3.4 Phực, phực giÊi v hm tỷ dăn xuĐt 40 Lữủc ỗ 45 Lữủc ỗ aphin 49 175 MệC LệC 176 4.1 Têp Ôi số 49 4.2 PhÔm trũ ối cừa phÔm trũ cĂc vnh 55 4.3 Khổng gian tổpổ 4.4 Bõ cĐu trúc 4.5 4.6 Spec(A) 56 59 Thợ cừa bõ v thợ cừa bõ cĐu trúc 63 CĐu xÔ giỳa hai lữủc ỗ aphin 64 67 5.1 inh nghắa lữủc ỗ bơng cĂch dĂn cĂc lữủc ỗ aphin 67 5.2 Vẵ dử : xƠy dỹng ữớng thng xÔ Ênh 5.3 DĂn trữỡng hỹp tờng quĂt 5.4 CĐu xÔ giỳa hai lữủc ỗ 5.5 im : 5.6 Nhúng m v lữủc ỗ m 5.7 Nhúng õng v lữủc ỗ õng 68 69 69 tờng quĂt hoĂ v c biằt hoĂ 70 73 75 5.8 Tẵch theo thợ cừa lữủc ỗ v thợ cừa cĐu xÔ 76 5.9 CĐu xÔ ữớng cho 78 Bõ 6.1 Lữủc ỗ v cĐu xÔ III Bõ moun 83 OX -mổun Bõ OX -moun 85 nhĐt quĂn v tỹa nhĐt quĂn 85 86 6.2 DĂn bõ tỹa nhĐt quĂn 6.3 Vẵ dử bõ nhĐt quĂn trản ữớng thng xÔ Ênh 90 6.4 PhÔm trũ abel cĂc bõ (tỹa) nhĐt quĂn 91 6.5 nh xuổi 6.6 nh ngữủc 92 95 6.7 Bõ tỹ a phữỡng 96 6.8 Hm cĐp cừa mởt bõ nhĐt quĂn 97 Moun vi phƠn 103 7.1 im vổ gƯn cĐp mởt 103 7.2 Moun ối chuân 105 7.3 Moun vi phƠn tữỡng ối 106 7.4 Thợ cừa 109 7.5 Hai dÂy khợp cỡ bÊn 110 7.6 Ma Jacobi 115 A/k cĂc k -im MệC LệC 7.7 IV 177 PhƯn m trỡn cừa mổt a tÔp Ôi số Chiãu v chuân hõa 119 Chiãu 121 8.1 CĐu xÔ hỳu hÔn v chiãu Krull 8.2 Bêc siảu viằt v bờ ã chuân hõa Noether 8.3 CĐp tờng quĂt cừa bõ vi phƠn tữỡng ối 121 125 126 Chuân hõa 9.1 V 129 Vnh õng nguyản Hẳnh hồc xÔ Ênh 10 116 129 133 Khổng gian xÔ Ênh 135 10.1 Têp cĂc siảu phng 135 10.2 Iảan phƠn bêc cừa vnh a thực 136 142 10.3 PhƠn thợ ữớng thng O-moun 10.4 Bõ 10.5 DÂy khợp Euler trản O(d) trản Pnk Pnk 144 149 11 CĐu xÔ vo khổng gian xÔ Ênh 151 11.1 Hm tỷ biu diạn bi khổng gian xÔ Ênh 11.2 Proj 151 154 11.3 Ch tiảu nhúng xÔ Ênh 158 11.4 PhƠn thợ ữớng thng giu v rĐt giu 160 cừa mởt vnh phƠn bêc v nờ 12 Hằ tuyán tẵnh v ữợc 12.1 Hằ tuyán tẵnh 12.2 nh lỵ Bertini 12.3 VI 163 165 ìợc Weil v ữợc Cartier 165 ối ỗng iãu 169 13 ối ỗng iãu trản tổpổ Zariski 13.1 Hm tỷ dăn xuĐt cừa hm tỷ 163 171 171 MệC LệC 178 13.2 ối ỗng iãu cừa bõ tỹa nhĐt quĂn 173 ... 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... 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 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, j yj = M R... hẳnh hồc Ôi số Ngổ BÊo ChƠu bÊn thĂng nôm 2003 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

Ngày đăng: 19/10/2017, 10:06

Từ khóa liên quan

Tài liệu cùng người dùng

Tài liệu liên quan