ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM NGUYỄN THỊ LUẬN TẬP IĐÊAN NGUYÊN TỐ GẮN KẾT CỦA MÔĐUN ĐỐI ĐỒNG ĐIỀU ĐỊA PHƯƠNG QUA ĐỊA PHƯƠNG HÓA VÀ ĐẦY ĐỦ HÓA LUẬN VĂN THẠC SỸ TOÁN HỌC THÁI NGUYÊN 2016 Ta[.]
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM NGUYỄN THỊ LUẬN TẬP IĐÊAN NGUYÊN TỐ GẮN KẾT CỦA MÔĐUN ĐỐI ĐỒNG ĐIỀU ĐỊA PHƯƠNG QUA ĐỊA PHƯƠNG HÓA VÀ ĐẦY ĐỦ HĨA LUẬN VĂN THẠC SỸ TỐN HỌC THÁI NGUYÊN - 2016 Tai ngay!!! Ban co the xoa dong chu nay!!! ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM NGUYỄN THỊ LUẬN TẬP IĐÊAN NGUYÊN TỐ GẮN KẾT CỦA MÔĐUN ĐỐI ĐỒNG ĐIỀU ĐỊA PHƯƠNG QUA ĐỊA PHƯƠNG HÓA VÀ ĐẦY ĐỦ HÓA Chuyên ngành: Đại số lý thuyết số Mã số: 604 601 04 LUẬN VĂN THẠC SỸ TOÁN HỌC Người hướng dẫn khoa học: GS TS LÊ THỊ THANH NHÀN THÁI NGUYÊN - 2016 LỜI CAM ĐOAN Tôi xin cam đoan kết nghiên cứu luận văn trung thực không trùng lặp với đề tài khác Tôi xin cam đoan tài liệu trích dẫn luận văn rõ nguồn gốc Thái Nguyên,ngày 15 tháng 04 năm 2016 Học viên NGUYỄN THỊ LUẬN i LỜI CẢM ƠN Luận văn hoàn thành bảo hướng dẫn tận tình GS TS Lê Thị Thanh Nhàn Cô dành nhiều thời gian hướng dẫn giải đáp thắc mắc suốt q trình làm luận văn Tơi xin bày tỏ lịng biết ơn sâu sắc đến Tơi xin gửi tới thầy Viện Tốn học Hà Nội, Khoa Toán, Khoa Sau đại học Trường Đại học Sư phạm-Đại học Thái Nguyên lời cảm ơn sâu sắc cơng lao dạy dỗ suốt q trình học tập trường Tơi xin cảm ơn gia đình, bạn bè người thân quan tâm, tạo điều kiện, động viên, cổ vũ để tơi hồn thành nhiệm vụ Thái Nguyên,ngày 15 tháng 04 năm 2016 Học viên NGUYỄN THỊ LUẬN ii Mục lục Lời cam đoan i Lời cảm ơn ii Mở đầu 1 Kiến thức chuẩn bị 1.1 Tập iđêan nguyên tố liên kết qua địa phương hóa đầy đủ hóa 1.2 Tiêu chuẩn Artin cho môđun 1.3 Biểu diễn thứ cấp tập iđêan nguyên tố gắn kết môđun Artin 1.4 Môđun đối đồng điều địa phương 11 Tập iđêan nguyên tố gắn kết môđun đối đồng điều địa phương qua địa phương hóa đầy đủ hóa 16 2.1 Hệ tham số 16 2.2 Các lớp vành đặc biệt 18 2.3 Các bổ đề liên quan 21 2.4 Tập iđêan nguyên tố gắn kết môđun đối đồng điều địa phương qua địa phương hóa đầy đủ hóa 28 Kết luận 35 Tài liệu tham khảo 36 iii Mở đầu Cho (R, m) vành giao hoán địa phương Noether, M R-môđun hữu hạn sinh với dim M = d A R-môđun Artin Với p ∈ Spec R ta biết AssRp (Mp ) = {qRp | q ∈ AssR M, q ⊆ p} Với A R-môđun Artin, tập iđêan nguyên tố gắn kết A, kí hiệu AttR A, định nghĩa I G Macdonald [Mac] có vai trị quan trọng tương tự vai trò tập iđêan nguyên tố liên kết M Ta biết môđun đối đồng điều địa phương Hmi (M ) Artin với i ≥ Do câu hỏi tự nhiên đặt liệu mối quan hệ tương tự tập i−dim(R/p) AttRp HpRp (Mp ) AttR Hmi (M ) có khơng, tức công thức i−dim(R/p) AttRp HpRp (Mp ) = {qRp | q ∈ AttR Hmi (M ), q ⊆ p} (1) có với p ∈ Spec(R) khơng? Trong [S], R.Y Sharp chứng minh R vành thương vành Gorenstein địa phương nguyên lý chuyển dịch qua địa phương hóa (1) Tuy nhiên nguyên lý không trường hợp tổng quát (xem [BS, Ví dụ 11.3.14]) b M c vành R b-môđun đầy đủ R M theo Kí hiệu R c: tơpơ m-adic, ta có mối quan hệ sau tập AssR M AssRb M [ c c b pR) b AssR M = {P ∩ R | P ∈ AssRb M } AssRb M = AssRb (R/ p∈AssR M Vậy câu hỏi với R-môđun Artin A mối quan hệ tương tự tập AttR A AttRb A có khơng? Với R-mơđun Artin A ta biết AttR A = {P ∩R | P ∈ AttRb A} (xem [BS]) Tuy nhiên mối quan hệ tương tự công thức thứ hai không A = Hmi (M ) Tức quan hệ AttRb Hmi (M ) [ = b pR) b AttRb (R/ (2) i (M ) p∈AttR Hm nhìn chung khơng xảy Chú ý R vành thương vành Gorenstein địa phương cơng thức (2) với mơđun đối đồng điều địa phương Hmi (M ) (xem [CN]) Cuối năm 2014, báo "Attached primes of local cohomology modules under localization and completion" đăng tạp chí Đại số, L T Nhàn P H Quý chứng minh chuyển dịch qua địa phương hóa (1) chuyển dịch qua đầy đủ hóa (2) hai điều kiện tương đương với tính chất R vành catenary phổ dụng tất thớ hình thức R Cohen-Macaulay Mục tiêu luận văn chứng minh lại kết L T Nhàn P H Quý: Định lý Các điều kiện sau tương đương: (i) R catenary phổ dụng thớ hình thức Cohen-Macaulay; i−dim(R/p) (ii) AttRp HpRp (Mp ) = {qRp | q ∈ AttR Hmi (M ), q ⊆ p} với R-môđun M hữu hạn sinh, số nguyên i ≥ p ∈ Spec R; S b pR) b với R-môđun M hữu (iii) AttRb Hmi (M ) = AttRb (R/ i (M ) p∈AttR Hm hạn sinh số nguyên i ≥ Luận văn gồm chương Phần đầu Chương nhắc lại công thức chuyển dịch tập iđêan nguyên tố liên kết qua địa phương hóa qua đầy đủ hóa Phần trình bày số vấn đề tiêu chuẩn Artin Melkersson [Mel], tập iđêan nguyên tố gắn kết môđun đối đồng điều địa phương Chương chương luận văn, trình bày hệ tham số, lớp vành đặc biệt, số bổ đề liên quan chứng minh Định lý Chương Kiến thức chuẩn bị Trong suốt luận văn này, ta giả thiết (R, m) vành giao hoán địa phương Noether Cho M R-môđun hữu hạn sinh với dim M = d Cho A R-môđun Artin L R-môđun (không thiết hữu hạn sinh b M c đầy đủ R M theo tơpơ hay Artin) Kí hiệu R m-adic Ta kí hiệu I iđêan tùy ý R Var(I) tập iđêan nguyên tố R chứa I 1.1 Tập iđêan nguyên tố liên kết qua địa phương hóa đầy đủ hóa Trong tiết ta nhắc lại công thức chuyển dịch tập iđêan nguyên tố liên kết R-môđun hữu hạn sinh M qua địa phương hóa qua đầy đủ hóa Các kết tiết tham khảo từ [Mat] [S] Định nghĩa 1.1.1 Một iđêan nguyên tố p R gọi iđêan nguyên tố liên kết M tồn phần tử x ∈ M cho AnnR (x) = p Tập iđêan nguyên tố liên kết M kí hiệu AssR (M ) Sau số tính chất tập iđêan nguyên tố liên kết Tính chất 1.1.2 (i) Cho p ∈ Spec(R) Khi p ∈ AssR (M ) M chứa môđun đẳng cấu với R/p (ii) Cho p phần tử tối đại tập iđêan có dạng AnnR (x) 6= x ∈ M Khi p ∈ AssR (M ) Vì thế, M 6= AssR (M ) 6= ∅ (iii) Đặt ZD(M ) = {a ∈ R | tồn m 6= 0, m ∈ M cho am = 0} Khi tập ZD(M ) ước khơng M hợp iđêan ngun tố liên kết M (iv) Cho → M → M → M 00 → dãy khớp R-mơđun Khi AssR M ⊆ AssR M ⊆ AssR M ∪ AssR M 00 (v) AssR (M ) ⊆ SuppR (M ) phần tử tối tiểu SuppR (M ) thuộc AssR (M ) (vi) Nếu M R-môđun hữu hạn sinh AssR (M ) tập hữu hạn Hơn AssR (M ) ⊆ Var(AnnR M ) Vì Rad(AnnR M ) giao iđêan nguyên tố liên kết M (vii) Với S tập đóng nhân R AssS −1 R (S −1 M ) = {S −1 q | q ∈ AssR M, q ∩ S = ∅} Cho p ∈ Spec(R), suy S = R\p tập đóng nhân Ta kí hiệu Rp := S −1 R Mp := S −1 M Khi ta có tính chất chuyển dịch tập iđêan nguyên tố liên kết qua địa phương hóa sau Mệnh đề 1.1.3 AssRp (Mp ) = {qRp | q ∈ AssR M, q ⊆ p} Kết tính chất chuyển dịch tập iđêan nguyên tố liên kết qua đầy đủ hóa Nhắc lại rằng, dãy (xn ) ⊂ R gọi dãy Côsi theo tôpô m-adic với k ∈ N cho trước, tồn n0 ∈ N cho xn − xm ∈ mk , với m, n ≥ n0 Dãy (xn ) ⊂ R gọi dãy không với k ∈ N cho trước tồn n0 ∈ N cho xn ∈ mk ,với n ≥ n0 Ta trang bị quan hệ tương đương tập dãy Côsi sau : Hai dãy Côsi (xn ), (yn ) gọi tương đương dãy (xn − yn ) dãy khơng Kí b tập lớp tương đương dãy Cơsi Chú ý tổng hiệu R tích hai dãy Côsi dãy Côsi, quy tắc cộng (xn ) + (yn ) = (xn + yn ) quy tắc nhân (xn )(yn ) = (xn yn ) không phụ thuộc vào cách chọn đại b diện lớp tương đương Vì phép toán R b làm thành vành Noether địa phương với iđêan tối với phép toán R b Vành R b vừa xây dựng gọi vành đầy đủ theo đại mR tôpô m-adic R Bằng cách tương tự ta có khái niệm mơđun đầy đủ theo b Nhưng ý tôpô m-adic cho R-môđun L tùy ý kí hiệu L b ∈ Spec(R) với p ∈ Spec(R) chưa có pR Mệnh đề 1.1.4 Các phát biểu sau c= (i) AssRb M S p∈AssR M b pR) b AssRb (R/ c} (ii) AssR M = {P ∩ R | P ∈ AssRb M b đồng cấu tự nhiên R b phẳng Chứng minh (i) Vì f : R → R R nên theo [Mat, Định lý 23.2(ii)] ta có b = AssRb (M ⊗ R) [ b pR) b AssRb (R/ p∈AssR M b∼ c nên khẳng định (i) chứng minh Hơn M ⊗ R =M b → Spec(R) ánh xạ cảm sinh f , tức (ii) Gọi f a : Spec(R) b Vì f ánh xạ phẳng f a (P) = f −1 (P) := P ∩ R với P ∈ Spec(R) hoàn toàn nên theo [Mat, Định lý 7.3(i)], f a toàn ánh Áp dụng [Mat, Định lý 23.2](ii) ta có L T Nhàn P H Quý Các kiến thức tiết trích từ tài liệu [CN], [CQ] [NQ] Công cụ chủ yếu để chứng minh định lý [CN] khái niệm giả giá thứ i M giới thiệu M Brodmann R Y Sharp Khái niệm định nghĩa sau Định nghĩa 2.3.1 Cho i ≥ số nguyên Giả giá thứ i M , kí hiệu PsuppiR (M ), cho công thức i−dim(R/p) PsuppiR (M ) = {p ∈ Spec(R) | HpRp (Mp ) 6= 0} Sau số tính chất tập giả giá Chú ý rằng, tập T Spec(R) gọi tập đóng phép đặc biệt hóa với hai iđêan nguyên tố p q R thỏa mãn p ⊆ q p ∈ T ta ln có q ∈ T Bổ đề 2.3.2 Các khẳng định sau với số nguyên i ≥ 0: (i) Nếu R catenary PsuppiR (M ) đóng phép đặc biệt hóa; (ii) Giả sử vành R catenary phổ dụng thớ hình thức Cohenb iđêan tối tiểu pR b Khi Macaulay Cho p ∈ Spec(R) P ∈ Spec(R) p phần tử tối tiểu PsuppiR (M ) P phần tử tối c); tiểu PsuppiRb (M (iii) Nếu R catenary phổ dụng thớ hình thức Cohen-Macaulay PsuppiR (M ) = Var(AnnR Hmi (M )) Bồ đề sau số nội dung báo L T Nhàn T Đ M Châu [CN, Định lý 1.1] Bổ đề 2.3.3 Các mệnh đề sau tương đương: (i) R catenary phổ dụng thớ hình thức Cohen-Macaulay; 22 (ii) AttRb Hmi (M ) = S i (M ) p∈AttR Hm b pR) b , với R-môđun AssRb (R/ hữu hạn sinh M số nguyên i ≥ 0; (iii) dim(R/ AnnR Hmi (M )) = N-dimR Hmi (M ), với R-môđun hữu hạn sinh M số nguyên i ≥ S Chứng minh (i) → (ii) Giả sử P ∈ i (M ) p∈AttR Hm b pR) b Khi AssRb (R/ b p0 R) b Theo Bổ đề 1.1.4(ii), tồn p0 ∈ AttR Hmi (M ) cho P ∈ AssRb (R/ ta có P ∩ R = p0 Lấy p1 ∈ AttR (Hmi (M )) cho p1 ⊆ p0 Khi b Suy tồn P1 ∈ Ass b (R/ b p1 R) b cho P1 ⊆ P Hơn P ⊇ p1 R R S b pR) b p1 ∈ AttR H i (M ) Như vậy, ta có P1 ∈ AssRb (R/ m i (M ) p∈AttR Hm S tính chất tối tiểu P tập i (M ) p∈AttR Hm b pR) b nên P1 = P AssRb (R/ b p0 R) b p0 ∈ Vì p0 = P ∩ R = P1 ∩ R = p1 Suy P ∈ AssRb (R/ AttR Hmi (M ) Theo Bổ đề 1.3.2(ii) ta có p0 ∈ Var(AnnR Hmi (M )) Vì vành R catenary phổ dụng thớ hình thức Cohen-Macaulay nên theo Bổ đề 2.3.2(iii) ta có p0 ∈ PsuppiR (M ) Mặt khác P ∈ b p0 R) b nên suy P ∈ Psuppi (M c) theo Bổ đề 2.3.2(ii) AssRb (R/ b R giả thiết (i) Vì P ∈ Var(AnnRb Hmi (M )) theo Bổ đề 2.3.2(iii) Do P ∈ AttRb (Hmi (M )) theo Bổ đề 1.3.2(ii) Suy [ b pR) b AttRb (Hmi (M )) ⊇ AssRb (R/ i (M ) p∈AttR Hm Ngược lại, lấy P ∈ AttRb (Hmi (M )) Đặt p0 = P ∩ R Khi theo Bổ đề 1.3.4 ta có p0 ∈ AttR Hmi (M ) Lấy p1 ∈ AttR Hmi (M ) cho p1 ⊆ p0 b phẳng hoàn toàn nên thỏa mãn Định lý Vì đồng cấu tự nhiên R → R xuống (xem [Mel, Định lý 9.5]), nghĩa tồn iđêan nguyên tố P1 ⊆ P b cho P2 ⊆ P1 Rõ để P1 ∩ R = p1 Suy tồn P2 ∈ Var(p1 R) ràng P2 ∩ R = p1 theo Bổ đề 1.1.4(ii) Vì p1 ∈ AttR Hmi (M ) nên theo Bổ đề 1.3.2(ii) ta có p1 ∈ Var(AnnR Hmi (M )) Do từ giả thiết (i) 23 b nên Bổ đề 2.3.2(iii) suy p1 ∈ PsuppiR (M ) Vì P2 ∈ Var(p1 R) c) Do áp dụng giả thiết (i) Bổ đề 2.3.2(ii) ta có P2 ∈ PsuppiRb (M P2 ∈ Var(AnnRb Hmi (M )) theo Bổ đề 2.3.2(iii) Bổ đề 1.3.2(ii) ta suy P2 ∈ AttRb Hmi (M ) Vì P ∈ AttRb (Hmi (M )) P2 ⊆ P nên ta b p1 R) b , p1 ∈ AttR H i (M ) nên có P2 = P Do P ∈ AssRb (R/ m S b pR) b Giả sử Q phần tử tối tiểu tập AssRb (R/ ta có P ∈ i (M ) p∈AttR Hm S i (M ) p∈AttR Hm b pR) b , cho Q ⊆ P Chú ý rằng, theo chứng minh AssRb (R/ ta có [ AttRb (Hmi (M )) ⊇ b pR) b AssRb (R/ i (M ) p∈AttR Hm Do Q ∈ AttRb (Hmi (M )) Suy P = Q tính chất tối tiểu P S b pR) b Do ta AssRb (R/ AttRb (Hmi (M )) Vì P ∈ i (M ) p∈AttR Hm có AttRb (Hmi (M )) [ = b pR) b AssRb (R/ i (M ) p∈AttR Hm (ii) ⇒ (iii) Cho i ≥ Đặt t = N-dimR Hmi (M ) Theo [CN, Nhận b Ann b H i (M )) Khi tồn xét 2.3, Hệ 4.8] suy t = dim(R/ R m b P) = t Đặt b chứa Ann b H i (M ) cho dim(R/ iđêan nguyên tố P R R m p = P ∩ R Rõ ràng p ⊇ AnnRb Hmi (M ) ∩ R ⊇ AnnR Hmi (M ) Do b P) ≤ dim(R/p) ≤ dim(R/ AnnR H i (M )) t = dim(R/ m Đặt k = dim(R/ AnnR Hmi (M )) Theo Bổ đề 1.3.2(ii) tồn iđêan nguyên tố p0 ∈ AttR (Hmi (M )) để dim(R/p0 ) = k Lấy iđêan nguyên tố P ∈ b p0 R) b cho dim(R/ b P) = dim(R/p0 ) = k Khi ta có AssRb (R/ S b pR) b P ∩R = p0 Gọi P1 phần tử tối tiểu P∈ AssRb (R/ i p∈AttR Hm (M ) S b pR) b cho P1 ⊆ P Suy P1 ∈ Ass b (R/ b p1 R) b tập AssRb (R/ R i (M ) p∈AttR Hm với p1 thuộc AttR Hmi (M ) Vì p0 = P ∩ R ⊇ P1 ∩ R = p1 Do 24 tính chất tối tiểu p0 tập AttR (Hmi (M )) nên p1 = p0 Suy b p0 R) b Vì P ∈ Ass b (R/ b p0 R) b P P1 phần tử tập AssRb (R/ R S b pR) b Từ giả P1 ⊆ P nên P = P1 Vậy P ∈ AssRb (R/ i (M ) p∈AttR Hm thiết (ii) suy P ∈ AttRb (Hmi (M )) Do theo Bổ đề 1.3.2(ii) ta có b P) ≤ dim(R/ b Ann b H i (M )) Suy k ≤ t Vậy dim(R/ R m dim(R/ AnnR Hmi (M )) = N-dimR Hmi (M ) (iii) ⇒ (i) Theo M Hochster C Huneke, phần tử x ∈ R gọi triệt tiêu đối đồng điều địa phương M x 6= p với p ∈ AssR M xHmi (M ) = với i ≤ dim M − Để chứng minh (i), ta cần R/p có phần tử triệt tiêu đối đồng điều địa phương với p ∈ Spec(R) Cho p ∈ Spec(R) đặt s = dim(R/p) Kí hiệu Q = AnnR Hmi (R/p) với i = 0, 1, , s − đặt a = s−1 i=0 Theo giả b Ann b H i (R/p)) thiết (iii), với số nguyên i, ta có dim(R/ai ) = dim(R/ R m b phẳng nên theo Định lý chuyển sở phẳng Vì đồng cấu tự nhiên R → R b pR) b Do theo b-đẳng cấu H i (R/p) ∼ [BS, Định lý 4.3.2] ta có R = Hmi Rb (R/ m Bổ đề 1.3.2(ii) suy b Ann b H i (R/ b pR)) b dim(R/ai ) = dim(R/ b R mR b P) | P ∈ Att b H i (R/ b pR)} b = max{dim(R/ b R mR b đầy đủ nên R b ảnh đồng cấu vành Gorenstein địa phương Do Vì R b pR) b ta có dim(R/ b P) ≤ i Vậy dim(R/ai ) ≤ i với P ∈ AttRb Hmi Rb (R/ với số nguyên i Từ suy dim(R/a) ≤ s a * p Vì tồn phần tử x ∈ a/p Suy xHmi (R/p) = với i < s, nghĩa R/p có phần tử triệt tiêu đối đồng điều địa phương Do R vành catenary phổ dụng thớ hình thức Cohen-Macaulay Một bước quan trọng để chứng minh kết luận văn với số nguyên dương i < d iđêan nguyên tố gắn kết p ∈ 25 AttR Hmi (M ) ta nhận R-môđun hữu hạn sinh N thích hợp cho p ∈ AssR (N ) (xem Bổ đề 2.4.2) Sử dụng tính chất chẻ môđun đối đồng điều địa phương chứng minh N T Cường P H Quý [CQ, Hệ 3.5] ta chứng minh tính chất Cho T tập Spec R số tự nhiên i ≥ 0, đặt (T )i = {p ∈ T | dim(R/p) = i} Trước tiên ta có ý Chú ý 2.3.4 Cho N R-mơđun hữu hạn sinh có chiều t > 0, ta có tập (N ) = AnnR (Hmi (N )) với i = 0, , t a(N ) = a0 (N ) at−1 (N ) Chú ý a(N ) ⊆ t \\ AnnR (0 :N/(x1 , ,xi−1 )N xi ), x i=1 x = {x1 , , xt } chạy tập tất hệ tham số N Ta có kết tính chẻ môđun đối đồng điều địa phương chứng minh N T Cường P H Quý (xem [CQ, Hệ 3.5]) sau Bổ đề 2.3.5 Đặt M = M/UM (0), UM (0) mơđun lớn M có chiều nhỏ d Với kí hiệu Chú ý 2.3.4, giả sử x ∈ a(M )3 phần tử tham số M Với i < d − ta có Hmi (M/xM ) ∼ = Hmi (M ) ⊕ Hmi+1 (M ) Cuối ta trình bày Bổ đề mối quan hệ tập AttR A AttS (A ⊗R S) R → S đồng cấu phẳng hai vành địa phương L T Nhàn P H Quý chứng minh [NQ, Bổ đề 2.3] Bổ đề 2.3.6 Cho A R-môđun Artin, (S, n) vành địa phương Noether ϕ : R → S đồng cấu phẳng hai vành địa phương (R, m) (S, n) 26 Giả sử dim(S/mS) = Khi A ⊗R S S -môđun Artin AttR A = {ϕ−1 (P) | P ∈ AttS (A ⊗R S)} Chứng minh Đầu tiên ta sử dụng tiêu chuẩn Artin Melkersson (Định lý 1.2.6) để chứng minh A ⊗R S S -mơđun Artin Vì S phẳng R R/m có biểu diễn hữu hạn nên theo [Mat, Định lý 7.11] ta có: HomS (S/mS; A⊗R S) ∼ = HomR (R/m; A)⊗R S = HomS (R/m⊗R S; A⊗R S) ∼ Vì A R-mơđun Artin, HomR (R/m; A) R-mơđun có độ dài hữu hạn Vì HomR (R/m; A) R-môđun hữu hạn sinh Vậy HomR (R/m; A) ⊗R S S -môđun hữu hạn sinh bị triệt tiêu mS Bởi dim(S/mS) = 0, kéo theo HomR (R/m; A) ⊗R S S -mơđun có độ dài hữu hạn Vì A m-xoắn nên A ⊗R S m-xoắn Suy A ⊗R S S -môđun Artin Cho A = A1 + A2 + + An biểu diễn thứ cấp tối tiểu A, Ai pi -thứ cấp với i = 1, , n Vậy AttR A = {p1 , , pn } Coi S phẳng thực R-đại số, R xem vành S Ai ⊗R S coi môđun A ⊗R S với i = 1, , n Vì A ⊗R S = (A1 ⊗R S) + + (An ⊗R S) Với i = 1, , n, chọn biểu diễn thứ cấp tối tiểu S -môđun Ai ⊗R S Ai ⊗R S = Bi1 + + Biki , P với Bij Pij -thứ cấp Vậy A ⊗R S = ni=1 (Bi1 + + Biki ) biểu diễn thứ cấp A ⊗R S Bằng cách bỏ thành phần thừa đánh số lại thành phần lại, ta giả thiết tồn số nguyên Pn ti ≤ ki với i = 1, , n cho A ⊗R S = i=0 (Bi1 + + Biti ) biểu diễn thứ cấp A ⊗R S mà khơng có thành phần thừa Vì Ai khơng thừa biểu diễn thứ cấp A = A1 + A2 + + At , S phẳng hoàn toàn R nên ti ≥ với i = 1, , n Bây cho i ∈ {1, , n}, x ∈ pi nên tồn m ∈ N cho xm Ai = Suy xm (Ai ⊗R S) = xm Bij = với j = 1, , ti Do 27 x ∈ Pij ∩ R với j = 1, , ti Cho x ∈ R/pi Khi xm Ai = Ai nên xm (Ai ⊗R S) = Ai ⊗R S , với m ∈ N Nếu x ∈ Pij , với j ∈ {1, , ti } tồn m0 ∈ N cho xm0 Bij = Do xm0 (Ai ⊗R S) 6= Ai ⊗R S , điều mâu thuẫn Vậy x ∈ / Pij , với j = 1, , ti Kéo theo pi = Pij ∩ R với j = 1, , ti , Vậy Pij đôi phân biệt P A ⊗R S = ni=0 (Bi1 + + Biti ) biểu diễn thứ cấp tối tiểu A ⊗R S Vì vậyAttS (A ⊗R S) = {Pij | i = 1, , n; j = 1, , ti } Hay AttR A = {P ∩ R | P ∈ AttS (A ⊗R S)} 2.4 Tập iđêan nguyên tố gắn kết môđun đối đồng điều địa phương qua địa phương hóa đầy đủ hóa Tiết dành để chứng minh định lý luận văn điều kiện cần đủ vành sở để công thức chuyển tập iđêan nguyên tố gắn kết mơđun đối đồng điều địa phương qua địa phương hóa đầy đủ hóa Nội dung tiết trình bày dựa theo báo [NQ] Trước tiên sử dụng Bổ đề 2.3.5, ta có tính chất sau, tính chất dùng để chứng minh Bổ đề 2.4.2 Bổ đề 2.4.1 Với kí hiệu Chú ý 2.3.4, giả thiết x ∈ a(M )3 phần tử tham số M Khi ta có d−1 [ i=0 AttR (Hmi (M )) ⊆ d−2 [ AttR (Hmi (M/xM )) ∪ (AssR M )d−1 i=0 Chứng minh Với UM (0) môđun lớn M có chiều nhỏ d Đặt M = M/UM (0) Đầu tiên ta chứng minh AttR (Hmd−1 (M )) = (AssR M )d−1 ∪ AttR (Hmd−1 (M )) 28 Thật vậy, từ dãy khớp → UM (0) → M → M → cảm sinh dãy khớp f Hmd−1 (UM (0)) → Hmd−1 (M ) → Hmd−1 (M ) → Nếu dim UM (0) < d−1 AttR (Hmd−1 (UM (0))) = ∅ = (AssR M )d−1 , theo Bổ đề 1.3.2(i) Vậy đẳng thức Giờ ta xét dim(UM (0)) = d − AttR (Hmd−1 (UM (0))) = (AssR UM (0))d−1 = (AssR M )d−1 , theo [BS, 7.3.2] Từ Bổ đề 1.3.2(iii) ta có: AttR (Hmd−1 (M )) ⊆ AttR (Hmd−1 (UM (0)))/ Ker f ) ∪ AttR (Hmd−1 (M )) ⊆ AttR (Hmd−1 (UM (0))) ∪ AttR (Hmd−1 (M )) = (AssR M )d−1 ∪ AttR (Hmd−1 (M )) Mặt khác, ta có (AssR M )d−1 ⊆ AttR (Hmd−1 (M )) (xem [BS, 11.3.9]) dãy khớp nên AttR (Hmd−1 (M )) ⊆ AttR (Hmd−1 (M )) Suy AttR (Hmd−1 (M )) ⊇ (AssR (M ))d−1 ∪ AttR (Hmd−1 (M )) Vậy đẳng thức chứng minh Giờ sử dụng Bổ đề 2.3.5 ta có d−2 [ i=0 AttR (Hmi (M/xM )) = d−2 [ (AttR (Hmi (M )) ∪ AttR (Hmi+1 (M ))) i=0 Chú ý Hm0 (M ) = Suy AttR (Hm0 (M )) = ∅ Vì từ đẳng thức ta có: d−2 [ AttR (Hmi (M/xM )) ∪ (AssR M )d−1 i=0 d−2 [ (AttR (Hmi (M )) ∪ AttR (Hmi+1 (M ))) ∪ (AssR M )d−1 = = = i=0 d−2 [ (AttR Hmi (M ) ∪ AttR Hmi (M )) ∪ ((AssR M )d−1 ∪ AttR Hmd−1 (M )) i=0 d−1 [ (AttR (Hmi (M )) ∪ AttR (Hmi (M ))) i=0 29 Rõ ràng d−1 [ AttR (Hmi (M )) ⊆ i=0 d−2 [ AttR (Hmi (M/xM )) ∪ (AssR M )d−1 i=0 Kết bổ đề xem chìa khóa để chứng minh kết tiết Bổ đề 2.4.2 Cho x1 , , xd hệ tham số M Với giả thiết Chú ý 2.3.4, xi ∈ a(M/(x1 , , xi−1 )M )3 với i = 1, , d d−1 [ AttR (Hmi (M )) i=0 ⊆ d−1 [ (AssR (M/(x1 , , xi )M ))d−i−1 i=0 Chứng minh Ta chứng minh quy nạp theo d Với d = vế trái AttR (Hm0 (M )), vế phải (AssR (M ))0 Vậy bổ đề với d = Với d > Giả thiết kết với d − Đặt M1 = M/x1 M Áp dụng Bổ đề 2.4.1 giả thiết quy nạp ta được: d−1 [ AttR (Hmi (M )) ⊆ i=0 ⊆ = = d−2 [ AttR (Hmi (M1 )) ∪ (AssR M )d−1 i=0 d−2 [ (AssR (M1 /(x2 , , xi+1 )M1 ))d−i−2 ∪ (AssR M )d−1 i=0 d−1 [ i=1 d−1 [ (AssR (M/(x1 , , xi )M ))d−i−1 ∪ (AssR M )d−1 (AssR (M/(x1 , , xi )M ))d−i−1 i=0 Sau Nguyên lí dịch chuyển mơđun đối đồng điều địa phương qua địa phương hóa R.Y Shap chứng minh [S, Định lý 3.7] 30 Bổ đề 2.4.3 Giả sử R vành thương vành Gorenstein địa phương Khi với iđêan ngun tố p R số ngun i ≥ ta có i−dim(R/p) AttRp (HpRp (Mp )) = {qRp | q ∈ AttR (Hmi (M )), q ⊆ p} Nhìn chung Nguyên lí dịch chuyển mơđun đối đồng điều địa phương qua địa phương hóa khơng trường hợp tổng quát, (xem [BS, Ví dụ 11.3.14]) Với R vành địa phương ta có quan hệ bao hàm gọi Nguyên lí dịch chuyển yếu qua địa phương hóa, [BS, 11.3.8] Bổ đề 2.4.4 Với iđêan nguyên tố p R số ngun i ≥ ta có i−dim(R/p) AttRp (HpRp (Mp )) ⊆ {qRp | q ∈ AttR (Hmi (M )), q ⊆ p} Bây Định lý luận văn Định lý 2.4.5 Ta có điều kiện sau tương đương: (i) R catenary phổ dụng thớ hình thức Cohen-Macaulay; i−dim(R/p) (ii) AttRp (HpRp (Mp )) = {qRp | q ∈ AttR (Hmi (M )), q ⊆ p} với R-môđun M hữu hạn sinh, p ∈ Spec R số nguyên i ≥ 0; (iii) AttRb (Hmi (M )) = S i (M ) p∈AttR Hm b pR) b , với R-môđun hữu AssRb (R/ hạn sinh M số nguyên i ≥ Chứng minh Ta sử dụng kí hiệu Chú ý 2.3.4 Cho số nguyên i ≥ Đầu tiên ta chứng minh tồn hệ tham số x1 , , xd M thỏa mãn xk ∈ a(M/(x1 , , xk−1 )M )3 , với k = 1, , d, AttRb (Hmi (M )) ⊆ [ i (M )) p∈AttR (Hm 31 b pR) b AssRb (R/ c)d , Thật vậy, lấy P ∈ AttRb (Hmi (M )) Nếu i = d ta có P ∈ (AssRb M xem [BS, Định lý 7.3.2] Chú ý (AssR M )d = AttR (Hmd (M )) Do theo [Mat, 23.2] ta có P∈ [ b pR) b = AssRb (R/ p∈(AssR M )d [ b pR) b AssRb (R/ d (M )) p∈AttR (Hm Vậy kết trường hợp i = d Cho i < d Với k = 1, , d, dễ thấy b ⊆ a(M c/(x1 , , xk−1 )M c) a(M/(x1 , , xk−1 )M )R b P) = t P ∈ (Att b H i (M ))t Vì i < d nên theo Bổ đề Đặt dim(R/ R m c/(x1 , , xd−t−1 )M c))t Đặt p0 = P ∩ R Khi 2.4.2 ta có P ∈ (AssRb (M p0 ∈ AttR Hmi (M ) theo Bổ đề 1.3.4 p0 ∈ AssR (M/(x1 , , xd−t−1 )M ) Vì ta có [ c/(x1 , , xd−t−1 )M c) = P ∈ AssRb (M b pR) b Ass(R/ p∈AssR (M/(x1 , ,xd−t−1 )M ) b p0 R) b P ∈ Do P ∈ Ass(R/ S i (M )) p∈AttR (Hm b pR) b Vậy tính AssRb (R/ chất đầu chứng minh Giờ ta chứng minh (i) ⇒ (ii) Cho số nguyên i ≥ p iđêan nguyên tố R Từ kết Bổ đề 2.4.4, để chứng minh (ii) ta phải q ∈ AttR (Hmi (M )) cho q ⊆ p qRp ∈ i−dim(R/p) AttRp HpRp (Mp ) Thật vậy, theo Bổ đề 1.3.4 tồn iđêan nguyên tố Q ∈ AttRb (Hmi (M )) cho Q ∩ R = q Vì R vành catenary phổ dụng tất thớ hình thức Cohen-Macaulay, ta có dim(R/at (M )) ≤ t với t = 0, , d−1, (xem [CNN, Hệ 4.2(i)]) Vì dim(R/a(M )) < d Do tồn phần tử x1 ∈ a(M )3 phần tử tham số M Bằng cách tương tự, ta chọn hệ tham số M {x1 , , xd } thỏa mãn xk ∈ a(M/(x1 , , xk−1 )M )3 , với k = 1, , d Nên từ chứng minh 32 b qR) b Vì R catenary phổ dụng tất ta có Q ∈ AssRb (R/ thớ hình thức Cohen-Macaulay nên vành R/q khơng trộn lẫn Vì c)) nên b Q) = dim(R/q) Vì Q ∈ Att b (H i (M )) = Att b (H i (M dim(R/ m b R R mR b Q) bQ ∈ Att b (H i−dim(R/ cQ )) theo Bổ đề 2.4.3 Chú ý ánh xạ tự QR (M b RQ QRQ bQ phẳng hồn tồn có dim(R b Q /q R bQ ) = Hơn nữa, từ nhiên Rq → R Định lý chuyển sở phẳng (xem [BS, 4.3.2]) ta có i−dim(R/q) HqRq b Q) i−dim(R/ bQ ∼ cQ ) (Mq ) ⊗ R (M = HQRb i−dim(R/q) Vậy qRq ∈ Att(HqRq Q (Mq )) Bổ đề 2.3.6 Theo giả thiết (i) có R catenary nên i − dim(R/q) = (i − dim(R/p)) − dim(Rp /qRp ) i−dim(R/p) Vì từ (Rp )qRp ∼ (Mp )) theo nguyên = Rq , suy qRp ∈ AttRp (HpRp lý dịch chuyển yếu qua địa phương hóa (Bổ đề 2.4.4) b pR) b Đầu tiên (ii) ⇒ (iii) Cho p ∈ AttR (Hmi (M )) P ∈ Ass(R/ b P) = dim(R/p) Thật vậy, giả sử dim(R/ b P) < ta chứng minh dim(R/ b P) Theo [BS, 11.3.3] ta thấy dim(R/p), đặt k = dim(R/ b pR)) b = Att b (H k (R/p)) P ∈ AttRb (Hmk Rb (R/ m R b pR) b nên p = P ∩ R ∈ AttR (H k (R/p)) theo Bổ đề Bởi P ∈ Ass(R/ m k−dim(R/p) 1.3.4 Vì từ giả thiết (ii) ta có pRp ∈ AttRp (HpRp k−dim(R/p) Tuy nhiên, dim(R/p) > k AttRp (HpRp (Rp /pRp )) (Rp /pRp )) = ∅, điều b P) = dim(R/p) Tiếp theo, từ chứng minh mâu thuẫn Vậy dim(R/ bP /pR bP ) = Vì p ∈ AttR (H i (M )) nên từ giả thiết (ii) suy ta có dim(R m i−dim(R/p) pRp ∈ AttRp (HpRp bP (Mp )) Chú ý ánh xạ tự nhiên Rq → R b P) i−dim(R/p) i−dim(R/ bP ∼ cP ) Vì phẳng hoàn toàn HpRp (Mp ) ⊗ R (M = HPRb P bP ∈ PR b P) i−dim(R/ cP )) AttRbP (HPRb (M P theo Bổ đề 2.3.6 Theo nguyên lý dịch c)), chuyển yếu qua địa phương hóa (Bổ đề 2.4.4) có P ∈ AttRb (Hmi Rb (M 33 P ∈ AttRb (Hmi (M )) Suy AttRb (Hmi (M )) ⊇ [ b pR) b AssRb (R/ i (M )) p∈AttR (Hm Giờ ta chứng minh bao hàm ngược lại cách sử dụng tính chất chứng minh đầu Với số nguyên i ∈ {0, , d − 1} cho Hmi (M ) 6= Suy tồn iđêan nguyên tố p ∈ AttR (Hmi (M )) cho dim(R/p) = i−dim(R/p) dim(R/ai (M )) theo Mệnh đề 1.3.2 Vậy pRp ∈ AttRp (HpRp i−dim(R/p) theo giả thiết (ii) Suy AttRp (HpRp i−dim(R/p) 1.3.2(i) suy HpRp (Mp )) (Mp )) 6= ∅ Theo Mệnh đề (Mp ) 6= Vì ta có i ≥ dim(R/p) Suy dim(R/ai (M )) ≤ i Vậy dim(R/a(M )) ≤ d Do tồn phần tử x1 ∈ a(M )3 phần tử tham số M Kết tương tự tồn hệ tham số {x1 , , xd } M cho xk ∈ a(M/(x1 , , xk−1 )M )3 , với k = 1, , d Từ chứng minh ta có AttRb (Hmi (M )) ⊆ [ b pR) b AssRb (R/ i (M )) p∈AttR (Hm (iii) ⇒ (i) Được chứng minh Bổ đề 2.3.3 (ii) ⇒ (i) 34 Kết luận Trong luận văn này, chúng tơi trình bày lại chi tiết kết báo L T Nhàn P H Quý [NQ], Attached primes of local cohomology modules under localization and completion, Journal of Algebra, (2014) Luận văn thu số kết sau: Hệ thống lại số vấn đề tập iđêan nguyên tố liên kết môđun Artin mơđun đối đồng điều địa phương có liên quan đến nội dung luận văn Trình bày khái niệm số tính chất hệ tham số hai lớp vành đặc biệt liên quan đến luận văn vành Gorenstein vành catenary Tiếp hai bổ đề cần thiết để chứng minh định lý luận văn hai định lý [CN] [CQ] Và cuối chứng minh lại định lý [NQ] Định lý 2.4.5 Các điều kiện sau tương đương: (i) R catenary phổ dụng thớ hình thức Cohen-Macaulay; i−dim(R/p) (ii) AttRp HpRp (Mp ) = {qRp | q ∈ AttR Hmi (M ), q ⊆ p} với R-môđun M hữu hạn sinh, p ∈ Spec R số nguyên i ≥ 0; S b R) b với R-môđun M (iii) AttRb Hmi (M ) = AttRb (R/p i (M ) p∈AttR Hm hữu hạn sinh số nguyên i ≥ 35 Tài liệu tham khảo [BS] M Brodmann and R Y Sharp (1998), Local cohomology: An algebraic introduction with geometry applications, Camb Univ Press [CN] T D M Chau, L T Nhan (2014), Attached primes of local cohomology modules and structure of Noertherian local rings, J Algebra, 403, 459-459 [CNN] N T Cuong, L T Nhan, N T K Nga (2010), On pscudo supports and non Cohen Macaulay locus of a finitely generated module, J Algebra, 323, 3029-3038 [CQ] N T Cuong, P H Quy, On the splitting of local cohomology and structure of finitely generated modules in local rings, Preprint [Mac] I G Macdonald (1973), Secondary representation of modules over a commutative ring, Symposia Mathematica, 11, 23-43 [Mat] H Matsumura (1986), Commutative ring theory, Camb Univ Press [Mel] L Melkersson (1995), Some applications of a criterion for Artinianess of a modules, J Pure Appl Algebra, 101, 291-303 [NQ] L T Nhan and P H Quy (2014), Attached primes of local cohomology modules under localization and completion, J Algebra, 420, 475 -485 [S] R Y Sharp (1975), Some results on the vanishing of local cohomology modules, Proc London Math Soc., 30, 177-195 36