Một số bài toán về điều kiện dãy nguyên tố trên vành Noether, địa phương

Mục lục Mục lục Tính bão hòa nguyên tố 1.1 Biểu diễn thứ cấp cho môđun Artin 1.2 Tính b o hòa nguyên tố môđun Artin 1.3 Chiều Noether tính b o hòa nguyên tố 1.4 Tính b o hòa nguyên tố Hmd (M) Tính catenary phổ dụng tính không trộn lẫn 11 15 2.1 Đặc trng tính b o hoà nguyên tố Hmi (M ) 16 2.2 Tính catenary phổ dụng tính không trộn lẫn 23 Quỹ tích không Cohen-Macaulay 27 3.1 Một số tính chất giả giá 28 3.2 Mô tả quỹ tích không Cohen-Macaulay qua giả giá 30 3.3 Quỹ tích không Cohen-Macaulay điều kiện Serre 35 Tài liệu tham khảo 41 Mở đầu Các toán điều kiện d y nguyên tố đ đợc quan tâm từ năm 1930 Bài toán xét tính catenary vành giao hoán Nhắc lại vành gọi catenary hai iđêan nguyên tố lồng tồn d y nguyên tố b o hòa d y nguyên tố b o hòa nh có chung độ dài Lớp vành catenary đợc khám phá W Krull từ năm 1937, ông đại số hữu hạn sinh trờng catenary Những công trình W Krull, M Nagata, I S Cohen, D Ferand M Raynaud, L J Ratliff, R Heitmann, M Brodmann tính catenary đ làm giàu đẹp lí thuyết này, cho thấy liên quan chặt chẽ với nhiều lĩnh vực khác Đại số Giao hoán nh vành định chuẩn, môđun Cohen-Macaulay tối đại, vành Rees, vành phân bậc liên kết, phơng pháp đồng điều, mở rộng vành siêu việt Phát triển lí thuyết vành catenary lí thuyết vành catenary phổ dụng, vành tựa không trộn lẫn vành không trộn lẫn Các lí thuyết đóng vai trò đặc biệt quan trọng Đại số giao hoán, lí thuyết vành giao hoán Cho đến nay, việc nghiên cứu tính catenary, tính catenary phổ dụng, tính tựa không trộn lẫn, tính không trộn lẫn toán liên quan cho vành đợc quan tâm nhiều nhà toán học giới Đặc biệt, gần Nguyễn Tự Cờng, Nguyễn Thị Dung Lê Thanh Nhàn [CDN] đ thông qua nghiên cứu môđun Artin đối đồng điều địa phơng cấp cao với giá cực đặc trng tính catenary cho vành Noether giá không trộn lẫn môđun hữu hạn sinh Mục đích đề tài phát triển kết Nguyễn Tự Cờng, Nguyễn Thị Dung Lê Thanh Nhàn [CDN] cho toán điều kiện d y nguyên tố khác nh xét tính catenary phổ dụng, tính tựa không trộn lẫn, tính không trộn lẫn vành Noether địa phơng, đồng thời xét số toán liên quan nh công thức bội liên kết cho môđun đối đồng điều địa phơng, tính đóng tập giả giá tính đóng quỹ tích không Cohen-Macaulay Công cụ nghiên cứu đề tài dùng tính chất đặc thù tất môđun đối đồng điều địa phơng với giá cực đại Đề tài gồm chơng Chơng I nói tính chất b o hòa nguyên tố môđun Artin, đặc biệt môđun đối đồng điều địa phơng với giá cực đại nhằm phục vụ cho việc trình bày kết cho chơng sau Chơng đặc trng tính b o hòa nguyên tố cho môđun đối đồng điều địa phơng, từ xét tính catenary, catenary phổ dụng, tính không trộn lẫn vành Noether địa phơng Nh ứng dụng, Chơng trình bày công thức bội liên kết cho môđun đối đồng điều địa phơng Chơng nghiên cứu tính đóng quỹ tích không Cohen-Macaulay thông qua tập giả giá, qua điều kiện Serre tính không trộn lẫn vành Chơng Tính bão hòa nguyên tố Trong suốt chơng này, cho (R, m) vành Noether địa phơng với iđêan tối đại m, cho A R-môđun Artin M R-môđun hữu hạn sinh Với iđêan I R ta kí hiệu V (I) tập iđêan nguyên tố R chứa I 1.1 Biểu diễn thứ cấp cho môđun Artin Trớc hết ta nhắc lại số kết lý thuyết biểu diễn thứ cấp cho môđun Artin đợc giới thiệu I G Macdonad [Mac] Lí thuyết đợc xem nh đối ngẫu với lí thuyết phân tích nguyên sơ cho môđun Noether: Nhắc lại rằng, R-môđun L đợc gọi thứ cấp phép nhân r L toàn cấu lũy linh với r R Trong trờng hợp này, tập phần tử r R cho phép nhân r L lũy linh lập thành iđêan nguyên tố p R ta gọi L p-thứ cấp Macdonald [Mac] đ môđun Artin A có biểu diễn thứ cấp A = A1 + + An Ai pithứ cấp với i = 1, , n Trong trờng hợp Ai không thừa (tức A = j=i Aj với i = 1, , n) iđêan nguyên tố pi phân biệt biểu diễn thứ cấp đợc gọi tối thiểu Khi tập {p1, , pn } không phụ thuộc vào biểu diễn thứ cấp tối thiểu A đợc kí hiệu AttR A Tập AttR A đợc gọi tập iđêan nguyên tố gắn kết A 1.1.1 Bổ đề [Mac] Tập phần tử tối thiểu AttR A tập iđêan nguyên tố tối thiểu chứa AnnR A Đặc biệt, Rad(AnnR A) = p pAttR A Ta biết Rmôđun Artin A có cấu trúc tự nhiên Rmôđun, với cấu trúc tập A Rmôđun Rmôđun Điều cho thấy dàn môđun A xét nh Rmôđun Rmôđun nh Do A Rmôđun Artin Quan hệ tập AttR A AttR A đợc cho công thức sau 1.1.2 Bổ đề (xem [Sh]) AttR A = {p R : p AttR A} 1.2 Tính bão hòa nguyên tố môđun Artin Trớc hết ta xét tính chất sở môđun hữu hạn sinh M nh sau: Giả sử p iđêan nguyên tố R chứa AnnR M Khi p Supp M Mp = Theo Bổ đề Nakayama ta suy (M/pM )p = Mp/pMp = Vì p Supp(M/pM ), tức p AnnR (M/pM ) Vì ta có AnnR (M/pM) = p với iđêan nguyên tố p AnnR M Rất tự nhiên, theo suy nghĩ đối ngẫu, N T Cuong L T Nhan [CN] đ xét tính chất sau môđun Artin A: AnnR (0 :A p) = p với iđêan nguyên tố p AnnR A () Tuy nhiên tính chất (*) lại không cho môđun Artin A (xem Ví dụ 1.2.3) Vì ta có định nghĩa sau 1.2.1 Định nghĩa Môđun A đợc gọi có tính chất b o hòa nguyên tố thỏa m n tính chất (*) 1.2.2 Chú ý Giả sử R đầy đủ theo tôpô madic Khi đối ngẫu Matlis D(A) A R-môđun hữu hạn sinh Chú ý AnnR A = AnnR D(A) Vì áp dụng tính chất linh hoá tử cho môđun D(A) ta có AnnR (0 :A p) = AnnR (D(0 :A p)) = AnnR (D(A)/pD(A)) = p với iđêan nguyên tố p AnnR A = AnnR D(A) Do môđun Artin vành địa phơng đầy đủ b o hoà nguyên tố Với số nguyên i, môđun đối đồng điều địa phơng thứ i với giá cực đại Hmi (M ) M R-môđun Artin (xem [BS]) 1.2.3 Ví dụ [CN, Ví dụ 4.4] Tồn môđun Artin vành Noether địa phơng không b o hoà nguyên tố Chứng minh Gọi (R, m) miền Noether địa phơng chiều đợc xây dựng bới D Ferrand M Raynaud [FR] thoả m n tính chất tồn iđêan nguyên tố nhúng q Ass R với dim R/q = Khi Hm1 (R) môđun Artin ta có đẳng cấu Rmôđun Hm1 (R) = Hm1 (R) Theo [Sh1, Hệ 4.9]) ta suy q AttR Hm1 (R) Theo Bổ đề 1.1.2 ta suy q R AttR Hm1 (R) Chú ý Ass R = {p R : p Ass R} (xem [Mat, Định lí 12]) Vì ta có q R Ass R Do R miền nguyên nên Ass R = {0} Do = q R AttR (Hm1 (R)) Vì AnnR Hm1 (R) = p q R = (R)) pAttR (Hm Chọn A = Hm1 (R) Khi A Rmôđun Artin Lấy tuỳ ý iđêan nguyên tố p R cho p = p = m Ta đ chứng minh AnnR A = Do p AnnR A Lấy = x p Xét d y khớp x R R R/xR D y cảm sinh d y khớp dài môđun đối đồng điều địa phơng x Hm0 (R/xR) Hm1 (R) Hm1 (R) Suy Hm0 (R/xR) = :Hm1 (R) x = :A x Vì Hm0 (R/xR) Rmôđun có độ dài hữu hạn nên :A x có độ dài hữu hạn Do x p nên :A p :A x :A p có độ dài hữu hạn Vì AnnR :A p iđêan mnguyên sơ, điều chứng tỏ Ann(0 :A p) = p Vậy A không b o hoà nguyên tố Ta có Supp M = {p R : p Supp M } Vì M hữu hạn sinh nên Supp M = V (AnnR M ) Tơng tự, M R-môđun hữu hạn sinh nên Supp M = V (AnnR M) Do ta có V (AnnR M ) = {p R : p V (AnnR (M )} Hơn nữa, nh đ nhắc tiết trên, Rmôđun Artin A có cấu trúc tự nhiên Rmôđun Artin Vì thế, tự nhiên hỏi liệu đẳng thức V (AnnR A) = {p R : p V (AnnR A} xảy cho môđun Artin A Dới đẳng thức xảy A b o hoà nguyên tố 1.2.4 Mệnh đề Các điều kiện sau tơng đơng: (i) A b o hoà nguyên tố (ii) V (AnnR A) = {p R : p V (AnnR A)} Chứng minh (i)(ii) Cho p V (AnnR A) Khi tồn iđêan nguyên tố tối thiểu q chứa AnnR A cho p q Chú ý q AttR A Ta có AttR A = {p R : p AttR A} Vì q R AttR A Suy q R V (AnnR A) ta suy p R V (AnnR A) Do V (AnnR A) {p R : p V (AnnR A)} Ngợc lại, cho p V (AnnR A) Theo giả thiết (i), A b o hoà nguyên tố Vì AnnR (0 :A p) = p Rõ ràng iđêan nguyên tố chứa AnnR (0 :A p) phải chứa p, p iđêan nguyên tố bé chứa AnnR (0 :A p) Theo Bổ đề 1.1.1 ta suy p AttR (0 :A p) Lại AttR (0 :A p) = {p R : p AttR (0 :A p)} nên tồn iđêan nguyên tố p AttR (0 :A p) cho p R = p Vì p AttR (0 :A p) nên p AnnR (0 :A p) Vì p V (AnnR A) p R = p, tức V (Ann A) {p R : p V (AnnR A)} (ii)(i) Cho p V (Ann A) Theo giả thiết (ii), tồn iđêan nguyên tố p V (AnnR A) cho p R = p Vì môđun Artin A vành đầy đủ R b o hoà nguyên tố nên ta có AnnR (0 :A p) = p Lại pR p nên ta có p AnnR (0 :A p) = AnnR (0 :A pR) AnnR (0 :A p) R = p R = p Suy Ann(0 :A p) = p 1.3 Chiều Noether tính bão hòa nguyên tố Trong tiết xét mối quan hệ tính b o hòa nguyên tố môđun Artin với chiều Noether nó, đồng thời trình bày số tính chất hệ tham số cho môđun Artin đợc dùng chứng minh kết Chơng Nhắc lại khái niệm chiều Krull cho môđun Artin đợc giới thiệu R N Roberts [Ro] năm 1975, sau đợc D Kirby [K2] năm 1990 đổi tên thành chiều Noether để tránh nhầm lẫn với khái niệm chiều Krull đ quen biết cho môđun hữu hạn sinh Trong suốt luận văn này, dùng thuật ngữ chiều Noether Kirby [K2] 1.3.1 Định nghĩa Chiều Noether A, kí hiệu N-dimR A, đợc định nghĩa quy nạp nh sau: Khi A = 0, ta đặt N-dimR A = Cho d số nguyên không âm Ta đặt N-dimR A = d N-dimR A < d sai với d y tăng môđun A0 A1 A, tồn số tự nhiên n0 cho N-dimR (An /An+1 ) < d với n > n0 Từ định nghĩa chiều Noether ta thấy N-dimR A = A = (A) < Hơn nữa, A A A d y khớp Rmôđun Artin N-dimR A = max{N-dimR A, N-dimR A } R N Roberts [Ro] D Kirby [K,K1] đ nhiều tính chất đẹp môđun Artin tơng tự nh tính chất chiều Krull cho môđun hữu hạn sinh vành địa phơng, đặc biệt kết duới cho ta 03 điều kiện tơng đơng chiều Noether cho môđun Artin 10 1.3.2 Mệnh đề Nếu q iđêan cho (0 :A q) < có đa thức Q(n) với hệ số hữu tỷ cho R (0 :A qn+1 ) = Q(n) n N-dimR A = deg(R (0 :A qn+1 )) = inf{t : x1, , xt m : R (0 :A (x1 , , xt )R) < } Mệnh đề 1.3.2 cho phép ta định nghĩa khái niệm hệ tham số cho môđun Artin 1.3.3 Định nghĩa Một hệ (x1, , xd ) gồm d = N-dim A phần tử m đợc gọi hệ tham số A (0 :A (x1 , , xd )R) < Một hệ (x1 , , xi ) với i d, phần tử m đợc gọi phần hệ tham số A ta bổ sung thêm phần tử xi+1 , , xd m cho (x1 , , xd ) hệ tham số A Một phần tử x m đợc gọi phần tử tham số A bổ sung thêm N-dimR A phần tử m để đợc hệ tham số A Từ Mệnh đề 1.3.2 ta suy kết sau 1.3.4 Hệ Nếu d = N-dimR A > N-dimR (0 :A x) N-dimR A 1, x m đẳng thức xảy x phần tử tham số A Tơng tự, với i d ta có N-dimR (0 :A (x1 , , xi ) N-dimR A i, x1 , , xi m đẳng thức xảy x1 , , xi phần hệ tham số A Kí hiệu dimR A = dim(R/ AnnR A) Khi N-dimR A = dimR A = 0, A có độ dài khác hữu hạn, R/ AnnR A vành Artin Trờng hợp tổng quát ta có data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read ... Các toán điều kiện d y nguyên tố đ đợc quan tâm từ năm 1930 Bài toán xét tính catenary vành giao hoán Nhắc lại vành gọi catenary hai iđêan nguyên tố lồng tồn d y nguyên tố b o hòa d y nguyên tố. .. = AnnR (D(A)/pD(A)) = p với iđêan nguyên tố p AnnR A = AnnR D(A) Do môđun Artin vành địa phơng đầy đủ b o hoà nguyên tố Với số nguyên i, môđun đối đồng điều địa phơng thứ i với giá cực đại Hmi... Đại số Giao hoán nh vành định chuẩn, môđun Cohen-Macaulay tối đại, vành Rees, vành phân bậc liên kết, phơng pháp đồng điều, mở rộng vành siêu việt Phát triển lí thuyết vành catenary lí thuyết vành