Các modun đối đồng điều địa phương

Chia sẻ: ĐInh ĐInh | Ngày: | Loại File: PDF | Số trang:5

Thêm vào BST

Báo xấu

18
lượt xem 1
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Mục tiêu chính của bài báo này là nghiên cứu một số tính chất của các modun đối đồng điều địa phương. Trong đó, ta đặc biệt chú ý đến tính triệt tiêu của các đối đồng điều địa phương cấp cao trong một số trường hợp cụ thể.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Các modun đối đồng điều địa phương

Kỷ yếu Hội nghị sinh viên NCKH CÁC MODUN ĐỐI ĐỒNG ĐIỀU ĐỊA PHƯƠNG Võ Ngọc Thiệu (SV năm 4, Khoa Toán - Tin học) GVHD: TS Trần Tuấn Nam 1. Lời nói đầu Mục tiêu chính của bài báo này là nghiên cứu một số tính chất của các modun đối đồng điều địa phương. Trong đó, ta đặc biệt chú ý đến tính triệt tiêu của các đối đồng điều địa phương cấp cao trong một số trường hợp cụ thể. Nội dung chính của bài viết này gồm 2 phần. Trong phần 1, ta sẽ định nghĩa các hàm tử đối đồng điều địa phương, và tìm cách liên hệ chúng với các hàm tử quen thuộc khác. Đầu tiên, ta sẽ định nghĩa hàm tử I- xoắn, rồi xem các hàm tử đối đồng điều địa phương như là các hàm tử dẫn xuất của hàm tử I-xoắn vừa định nghĩa. Sau đó, ta sẽ sử dụng một công cụ khá mạnh của đại số đồng điều, là dãy nối các hàm tử, để tìm cách liên hệ các hàm tử này với các hàm tử quen thuộc trong đại số giao hoán và đại số đồng điều. Cụ thể, ta sẽ có đẳng cấu sau ( giữa các R-modun H Ii ( M ) ≅ lim Ext Ri R n ; M . n∈ * I ) Trong phần 2, ta sẽ chỉ ra tính triệt tiêu của các hàm tử đối đồng điều địa phương cấp cao khi idean I là hữu hạn sinh. Để làm được điều này, ta sẽ định nghĩa hàm tử I- biến đổi, và xây dựng dãy Mayer-Vietoris của các R-modun. Sau đó, dựa vào các tính chất của hàm tử I-biến đổi, và dãy Mayer-Vietoris, ta sẽ chỉ ra được rằng các đối đồng điều địa phương cấp lớn hơn n đều triệt tiêu khi idean I sinh bởi n phần tử. Định lý này là định lý quan trọng nhất của bài viết. 2. Các hàm tử đối đồng điều địa phương Mục đích chính của phần này là định nghĩa các hàm tử đối đồng điều địa phương, như là các hàm tử dẫn xuất của hàm tử xoắn. Sau đó, ta sẽ sử dụng dãy nối các hàm tử để đưa ra các tính chất khá mạnh cho các hàm tử đối đồng điều địa phương. Trong đó, ta để ý đến sự đẳng cấu của hai R-modun n∈ * ( H Ii ( M ) ≅ lim Ext Ri R In ;M ) Hay mạnh hơn, có một tương đương tự nhiên giữa hai hàm tử: n∈ * ( H Ii ( • ) ≅ lim Ext Ri R In ;• ) Bài 2.1. Hàm tử xoắn - Cho R là vành Noether không suy biến, I là một iđêan của R, M là một R- môđun. Γ I ( M ) := ∪ ( 0 :M I n ) n ≥1 210
Năm học 2010 – 2011 → N là một R-đồng cấu. f ( Γ I ( M ) ) ⊂ Γ I ( N ) - Cho f : M ⎯⎯ Γ I ( f ) : Γ I ( M ) ⎯⎯ → ΓI ( N ) m Γ I ( f )( m ) := f ( m ) - Như vậy, ΓI là một hàm tử R-tuyến tính, hiệp biến từ phạm trù C(R) các R- môđun vào chính nó. Ta còn chỉ ra được Γ I là hàm tử khớp trái. Ta gọi ΓI là hàm tử I- xoắn. Bài 2.2. Các modun đối đồng điều địa phương 2.2.1. Định nghĩa (Các hàm tử đối đồng điều địa phương) Với mỗi i ∈ , hàm tử dẫn xuất phải thứ i của hàm tử ΓI , kí hiệu H Ii , được gọi là hàm tử đối đồng điều địa phương thứ i ứng với iđêan I. Với mỗi R-môđun M, ta gọi H Ii ( M ) là môđun đối đồng điều địa phương thứ i của M ứng với iđêan I. Ta có một số tính chất cơ bản sau đây mà được suy ra dễ dàng từ định nghĩa. 2.2.3. Mệnh đề: Cho J là một idean khác của R mà I = J . Khi đó, H Ii = H Ji . 2.2.4. Mệnh đề: Nếu M là R-modun nội xạ thì H Ii ( M ) = 0 ∀i ≥ 1 2.2.5. Mệnh đề: Với mọi nhóm Abel G (xem như một -modun) và với mọi số nguyên a. Bài 2.3. Dãy nối các hàm tử 2.3.1. Định nghĩa Cho R’ cũng là một vành giao hoán. Một dãy (T i )i∈ các hàm tử hiệp biến từ C(R) vào C(R’) được gọi là một dãy nối (tương ứng, nối mạnh) nếu các điều kiện sau đây được thỏa mãn đồng thời: (i) Với mọi dãy khớp ngắn 0 ⎯⎯ → L ⎯⎯f → M ⎯⎯ g → N ⎯⎯→ 0 các R-modun và R-đồng cấu, tồn tại một R’-đồng cấu nối cảm sinh T ( N ) ⎯⎯ i → T i +1 ( L ) ∀i ∈ làm cho dãy các R’-đồng cấu sau là nửa khớp (tương ứng, khớp): ( ) ( ) → T 0 ( L ) ⎯⎯⎯ → T 0 ( M ) ⎯⎯⎯ → T 0 ( N ) ⎯⎯ → T 1 ( L ) ⎯⎯ T0 f T0 g 0 ⎯⎯ → .... ( ) ( ) → T i ( L ) ⎯⎯⎯ → T i ( M ) ⎯⎯⎯ → T i ( N ) ⎯⎯ → T i +1 ( L ) ⎯⎯ Ti f Ti g ... ⎯⎯ → ... (ii) Với mọi biểu đồ giao hoán các R-modun và R-đồng cấu 0 ⎯⎯ → L ⎯⎯ f → M ⎯⎯g → N ⎯⎯ → 0 ↓ ↓ ↓ f' g' 0 ⎯⎯ → L ' ⎯⎯→ M ' ⎯⎯ → N ' ⎯⎯ → 0 211
Kỷ yếu Hội nghị sinh viên NCKH với các dòng là khớp, tồn tại một phép biến đổi dây chuyền cảm sinh giữa hai dãy nửa khớp (tương ứng khớp) sau: ( ) ( ) T 0 ( L) T 0 (M ) T0 (N ) T1 ( L) T0 f T0 g 0 ⎯⎯ → ⎯⎯⎯ → ⎯⎯⎯ → ⎯⎯ → ⎯⎯ → ... ↓ ↓ ↓ ↓ ( ) ( ) → T 0 ( L ') → T 0 ( M ') → T 0 ( N ') → T 1 ( L ') T0 f ' T0 g' 0 ⎯⎯ ⎯⎯⎯ ⎯⎯⎯ ⎯⎯ ⎯⎯ → ... ( ) ( ) T i ( L) T i (M ) Ti (N ) T i +1 ( L ) Ti f Ti g ... ⎯⎯ → ⎯⎯⎯ → ⎯⎯⎯ → ⎯⎯ → ⎯⎯ → ... ↓ ↓ ↓ ↓ ( ) ( ) → T i ( L ') → T i ( M ') → T i ( N ') → T i +1 ( L ' ) i i f' T g' ... ⎯⎯ ⎯⎯⎯ ⎯⎯⎯ ⎯⎯ ⎯⎯ → ... T 2.3.2. Nhận xét Rõ ràng dãy ( ℜiT )i∈ là một dãy nối mạnh. Cụ thể, ta có hàm tử HomR và các hàm tử mở rộng ExtRi (i ∈ *) lập thành một dãy nối mạnh. 2.3.3. Định nghĩa Cho R’ cũng là một vành giao hoán. Cho (T i )i∈ và (U i )i∈ là hai dãy nối các hàm tử hiệp biến từ C(R) vào C(R’). Ta gọi một đồng cấu Ψ : (T i )i∈ ⎯⎯ → (U i ) i∈ là một dãy các phép biến đổi tự nhiên ψ i : T i ⎯⎯ →U i giữa các hàm tử từ C(R) vào C(R’) mà chúng thỏa mãn các tính chất sau: Với mọi dãy khớp ngắn 0 ⎯⎯ → L ⎯⎯ f → M ⎯⎯ g → N ⎯⎯ → 0 các R-modun và các R- đồng cấu, tồn tại biểu đồ giao hoán cảm sinh Ti (N ) ⎯⎯ → T i +1 ( L ) ↓ ↓ U i ( N ') ⎯⎯ → U i +1 ( L ') Đồng cấu Ψ : (T i )i∈ ⎯⎯ → (U i ) được gọi là một đẳng cấu (giữa các dãy nối) i∈ nếu các phép biến đổi tự nhiên ψ i : T i ⎯⎯ →U i là các phép tương đương tự nhiên. Bằng một số kỹ thuật, chúng ta chỉ ra được rằng, tồn tại duy nhất một đẳng cấu giữa các dãy nối mạnh ( H ( i)) i I i∈ ( ≅ lim ExtRi R n∈ * ( In ;i )) i∈ (1) 3. Dãy mayer-Vietoris Trong phần này, ta sẽ chứng minh các đối đồng điều địa phương cấp lớn hơn n sẽ bị triệt tiêu khi idean I sinh bởi n phần tử. Để làm được như vậy, ta cần đến dãy Mayer- 212
Năm học 2010 – 2011 Vietoris trong bài 3.3. Bài 3.1 và 3.2 sẽ là bước chuẩn bị cho các kết quả quan trọng trong bài 3.3. Bài 3.1. Hàm tử I-biến đổi 3.1.1. Định nghĩa Ta định nghĩa hàm tử DI ( i ) = lim HomR ( I n ;i ) và gọi là hàm tử I-biến đổi. n∈ * Chú ý: - Rõ ràng DI là hàm tử hiệp biến R-tuyến tính và khớp phải. - Có một đẳng cấu tự nhiên giữa các hàm tử: DaR ( i ) ⎯⎯ ≅ → ( i )a . Trong đó, ( i )a là hàm tử địa phương hóa với tập nhân đóng là S = {1; a ; a 2 ;...; a n ;...} . Trong bài này, ta chú ý đến kết quả quan trọng sau về tính triệt tiêu của các đối đồng điều địa phương khi I là idean chính. 3.1.2. Định lý: ℜ i DaR = 0 ∀i ∈ * . Từ đó suy ra H aR i =0 ∀i > 1 . Bài 3.2. So sánh hệ thống các idean 3.2.1. Định nghĩa Cho ( Λ; ≤ ) là một tập sắp thứ tự thuận khác rỗng và cho B = ( Iα )α∈Λ là học các idean của R được đánh chỉ số trong Λ . Khi đó, Ta gọi B là họ ngược các idean của R nếu với mọi (α ; β ) ∈ Λ × Λ mà α ≥ β thì Iα ⊂ I β . Ta gọi B là một hệ thống ngược các idean nếu nó là một họ ngược các idean và thỏa mãn thêm điều kiện với mọi α ; β ∈Λ , tồn tại δ ∈ Λ để I δ ⊂ Iα I β . Bằng cách khảo sát một số tính chất của hệ thống các idean, ta thu được hai đẳng cấu tự nhiên sau giữa hai dãy nối mạnh: ( lim Ext ( R I + J ;i)) n∈ * i R n n i∈ ≅ ⎯⎯ → ( H Ii + J ( i ) ) i∈ . ⎜ ⎝n∈ * 0 R( ⎛ lim Ext R I ∩ n J ;i ) ⎞⎟ n ⎠ i∈ ≅ ⎯⎯ → ( H Ii ∩ J ( i ) ) i∈ Bài 3.3. Dãy mayer-vietoris 3.2.3. Định lý – Định nghĩa: Với mọi R-modun M, tồn tại một dãy khớp sau, gọi là dãy Mayer- Vietoris của M ứng với I và J → H I0+ J ( M ) ⎯⎯ 0 ⎯⎯ → H I0 ( M ) ⊕ H J0 ( M ) ⎯⎯ → H I0∩ J ( M ) ⎯⎯ → H I1+ J ( M ) ⎯⎯ → ... → H Ii + J ( M ) ⎯⎯ ... ⎯⎯ → H Ii ( M ) ⊕ H Ji ( M ) ⎯⎯ → H Ii ∩ J ( M ) ⎯⎯ → H Ii ++1J ( M ) ⎯⎯ → ... 213
Kỷ yếu Hội nghị sinh viên NCKH sao cho với mọi R-đồng cấu f : M ⎯⎯ → N , ta có phép biến đổi dây chuyền cảm sinh giữa hai dãy khớp → H I0+ J ( M ) ⎯⎯ 0 ⎯⎯ → H I0 ( M ) ⊕ H J0 ( M ) ⎯⎯ → H I0∩ J ( M ) ⎯⎯ → H I1+ J ( M ) ⎯⎯ → ... ↓ ↓ ↓ ↓ 0 ⎯⎯ → H 0 I +J (N) ⎯⎯ → H ( N ) ⊕ H J0 ( N ) 0 I ⎯⎯ → H 0 I ∩J (N) ⎯⎯ → H 1 I +J (N) ⎯⎯ → ... → H Ii + J ( M ) ⎯⎯ ... ⎯⎯ → H Ii ( M ) ⊕ H Ji ( M ) ⎯⎯ → H Ii ∩ J ( M ) ⎯⎯ → H Ii ++1J ( M ) ⎯⎯ → ... ↓ ↓ ↓ ↓ → H Ii + J ( N ) ... ⎯⎯ ⎯⎯ → H Ii ( N ) ⊕ H Ji ( N ) → H Ii ∩ J ( N ) ⎯⎯ → H Ii ++1J ( N ) ⎯⎯ ⎯⎯ → ... Một áp dụng quan trọng của định lý này là để chứng minh định lý sau: 3.2.4. Định lý: Giả sử rằng I sinh bởi n phần tử. Khi đó, với mọi R-modun M, ta đều có H Ii ( M ) = 0 ∀i > n . TÀI LIỆU THAM KHẢO 1. M.F. Atiyah, I.G. Macdonald (1965), Introduction to CommutativeAlgebra, Addison – Wesley Publishing Company. 2. M. Brodmann and R. Y. Sharp (1998), Local cohomology: an algebraic introduction with geometric applications, Cambridge Studies in Advanced Mathematics60, Cambridge University Press. 3. Hideyuki Matsumura (2002), Commutative ring theory, Cambridge University Press. 4. D. G. Northcott (1973), A first course of homological algebra, Cambridge University Press. 5. J. J. Rotman (1979), An introduction to homological algebra, Academic Press, Orlando. 214