Luận án: Đặc trưng Euler-Poincaré và ứng dụng vào nghiên cứu môđun Cohen-Macaulay suy rộng
Luận án DD: Dãy đặc trưng Euler-Poincaré, ứng dụng cấu trúc môđun Cohen-Macaulay mở rộng.
Đại số giao hoán
Luan An
Luận án
Số trang
102
Thời gian đọc
16 phút
Lượt xem
0
Lượt tải
0
Phí lưu trữ
40 Point
Tổng quan nhanh
- Chủ đề:
- Môđun Cohen-Macaulay suy rộng: Định nghĩa và Phát triển
- Số trang:
- 102 trang
- Chuyên ngành:
- Đại số giao hoán
- Tác giả:
- Luan An
Tóm tắt nội dung luận án
I.Môđun Cohen Macaulay suy rộng Định nghĩa và Phát triển
Tài liệu này khám phá các khái niệm cốt lõi trong Đại số giao hoán, tập trung vào môđun Cohen-Macaulay suy rộng và đặc trưng Euler-Poincaré. Nghiên cứu bắt đầu từ lịch sử phát triển của các khái niệm môđun cơ bản, mở rộng qua môđun Buchsbaum và đạt đến môđun Cohen-Macaulay suy rộng. Các nhà toán học như Serre, Auslander-Buchsbaum đã đặt nền móng, trong khi N. Trung, Stückrad, và Vogel phát triển mạnh mẽ lý thuyết môđun Cohen-Macaulay suy rộng. Đây là một lĩnh vực có nhiều ứng dụng trong Đại số giao hoán và Hình học đại số, cung cấp cái nhìn sâu sắc về cấu trúc môđun thông qua các hàm độ dài và bội. Việc hiểu rõ các đặc trưng này là chìa khóa để phân tích các tính chất phức tạp của vành và môđun.
1.1. Khái niệm Môđun Cohen Macaulay cơ bản
Đại số giao hoán nghiên cứu cấu trúc môđun. Đặc biệt, môđun Cohen-Macaulay là đối tượng quan trọng. Một môđun M được gọi là Cohen-Macaulay nếu độ dài của môđun thương l(M/xM) bằng bội của môđun e(x,M) với một hệ tham số x. Điều này đúng cho mọi hệ tham số của M. Môđun Cohen-Macaulay có nhiều ứng dụng. Nó là nền tảng cho nhiều lý thuyết đại số hiện đại. Nghiên cứu cấu trúc này là trọng tâm.
1.2. Mở rộng thành Môđun Buchsbaum và suy rộng
Khái niệm môđun Cohen-Macaulay được mở rộng. Môđun Buchsbaum được đưa ra bởi Stückrad và Vogel. Chúng là các môđun M thỏa mãn l(M/xM) = e(x,M) + I(M). I(M) là một hằng số. Môđun Cohen-Macaulay là Buchsbaum với I(M) = 0. Tiếp theo, N. Trung giới thiệu môđun Cohen-Macaulay suy rộng. Chúng thỏa mãn l(M/xM) <= e(x,M) + C với một hằng số C. Hằng số C nhỏ nhất được gọi là hằng số Buchsbaum. Môđun Cohen-Macaulay và Buchsbaum là trường hợp riêng của môđun Cohen-Macaulay suy rộng. Lý thuyết này phát triển nhanh chóng. Nó có ứng dụng rộng rãi trong Đại số giao hoán và Hình học đại số.
1.3. Lịch sử phát triển và ý nghĩa thực tiễn
Phương pháp nghiên cứu cấu trúc môđun qua hàm độ dài xuất hiện sớm. Từ thập niên 1950, Serre dùng phức Koszul để tính bội. Điều này liên hệ độ dài, bội với đồng điều Koszul. Các kết quả của Auslander-Buchsbaum củng cố nền tảng này. Sự phát triển của môđun Cohen-Macaulay suy rộng đánh dấu bước tiến lớn. Các nhà toán học như N. Trung, Stückrad, Vogel đóng góp quan trọng. Lý thuyết này cung cấp công cụ mạnh mẽ. Nó giúp hiểu rõ hơn cấu trúc phức tạp của các môđun. Nghiên cứu này tiếp tục mở ra nhiều hướng mới.
II.Đặc trưng Euler Poincaré bậc cao Tính toán và ý nghĩa
Phần này đào sâu vào đặc trưng Euler-Poincaré bậc cao, một công cụ then chốt để phân tích môđun trong Đại số giao hoán. Phức Koszul được sử dụng để tính bội, thiết lập mối liên hệ giữa hàm độ dài và đồng điều Koszul. Nghiên cứu xem xét hành vi đa thức của hàm độ dài l(M/x(n)M), đặc biệt đối với môđun Cohen-Macaulay suy rộng. Đối với các môđun tổng quát, câu hỏi về tính đa thức của hàm độ dài dẫn đến việc khám phá các điều kiện cần và đủ. Kết quả của N. Cường về up-dãy và điều kiện cho vành Gorenstein đã làm sáng tỏ khả năng đa thức hóa hàm độ dài, mang lại hiểu biết sâu sắc về cấu trúc môđun.
2.1. Phức Koszul và tính toán bội
Phức Koszul là công cụ quan trọng trong Đại số giao hoán. Nó được dùng để tính bội của một môđun. Điều này thiết lập mối liên hệ giữa hàm độ dài và các môđun đồng điều Koszul. Các đặc trưng Euler-Poincaré thường liên quan đến các phức này. Việc tính toán đặc trưng này cung cấp thông tin về cấu trúc môđun. Nó đặc biệt hữu ích khi nghiên cứu các môđun không phải Cohen-Macaulay.
2.2. Hành vi đa thức của hàm độ dài môđun
Đối với môđun Cohen-Macaulay suy rộng, hàm l(M/x(n)M) có dạng đa thức. Điều này đúng với n1, ..., nd đủ lớn. Sharp đặt câu hỏi về tính đa thức này cho các môđun tổng quát. Câu trả lời không phải lúc nào cũng khẳng định. Điều này dẫn đến nghiên cứu điều kiện cần và đủ. Mục tiêu là xác định khi nào hàm độ dài có tính chất đa thức.
2.3. Điều kiện tồn tại đa thức hóa
N. Cường đã đưa ra điều kiện cần và đủ cho tính đa thức. Khái niệm up-dãy được giới thiệu. Trong trường hợp tổng quát, hàm l(M/x(n)M) luôn bị chặn trên bởi một đa thức. Khi vành R là vành thương của một vòng Gorenstein, luôn tồn tại một hệ tham số x. Với hệ tham số này, l(M/x(n)M) là một đa thức. Đây là một kết quả quan trọng. Nó làm sâu sắc thêm hiểu biết về hàm độ dài.
III.Hệ tham số p chuẩn tắc Cơ sở cho cấu trúc môđun
Hệ tham số p-chuẩn tắc đóng vai trò thiết yếu trong việc phân tích cấu trúc môđun. Một hệ tham số được định nghĩa là p-chuẩn tắc nếu các phần tử của nó thỏa mãn một điều kiện cụ thể liên quan đến a(M/(xi+1, ..., xd)M). Sự tồn tại của các hệ tham số này đặc biệt khi vành R là vành thương của một vòng Gorenstein. Chúng làm cho đặc trưng Euler-Poincaré của môđun trở thành một đa thức, cung cấp nhiều tính chất tốt. Kawasaki đã sử dụng hệ tham số p-chuẩn tắc để giải quyết bài toán Macaulay hóa và giả thuyết Sharp, chứng minh vai trò then chốt của chúng trong việc hiểu phức đối ngẫu và cấu trúc của vành và môđun. Các nghiên cứu tiếp theo về hệ tham số p-chuẩn tắc mở rộng sang khái niệm dd-dãy, một khung lý thuyết tổng quát hơn.
3.1. Định nghĩa và tính chất của hệ tham số p chuẩn tắc
Một hệ tham số x = x1, ..., xd được gọi là p-chuẩn tắc. Điều này xảy ra khi xi thuộc a(M/(xi+1, ..., xd)M). Khi R là vành thương của một vòng Gorenstein, các hệ tham số như vậy tồn tại. Đặc trưng Euler-Poincaré của môđun có dạng đa thức. Công thức Σ(i=0 đến d) (-1)^i * l(Hi(K(x;R) ⊗ M)) là một đa thức. Nó có nhiều tính chất tốt.
3.2. Vai trò trong giả thuyết Sharp và Macaulay hóa
Hệ tham số p-chuẩn tắc là công cụ then chốt. Kawasaki đã sử dụng nó để giải bài toán Macaulay hóa một đa tạp đại số. Bài toán này do Faltings đặt ra. Việc này cung cấp câu trả lời khẳng định cho giả thuyết của Sharp. Giả thuyết Sharp liên quan đến điều kiện tồn tại phức đối ngẫu. Các kết quả này thúc đẩy nghiên cứu sâu hơn.
3.3. Ứng dụng trong nghiên cứu cấu trúc vòng
Nghiên cứu các tính chất của hệ tham số p-chuẩn tắc là quan trọng. Các ứng dụng của chúng được khám phá. Chúng giúp hiểu cấu trúc của vành và môđun. Hầu hết các tính chất tốt này xuất phát từ công thức đa thức đã đề cập. Nghiên cứu này mở rộng sang khái niệm dd-dãy. Đó là một khái niệm tổng quát hơn.
IV.dd Dãy Liên hệ Đồng điều địa phương và Mở rộng
Khái niệm dd-dãy là một phát triển mới, tổng quát hóa hệ tham số p-chuẩn tắc. Nó cung cấp một khung lý thuyết mạnh mẽ để nghiên cứu cấu trúc môđun trong Đại số giao hoán. dd-dãy có mối liên hệ chặt chẽ với đối đồng điều địa phương, một công cụ quan trọng để phân tích cấu trúc địa phương của môđun. Việc khám phá các đặc trưng cơ bản và tính chất của dd-dãy, đặc biệt thông qua phức Koszul, giúp làm sáng tỏ hành vi của các môđun và đặc trưng Euler-Poincaré bậc cao. Nghiên cứu này mở ra những hướng tiếp cận mới trong việc hiểu sâu hơn về cấu trúc đại số và mối quan hệ giữa các khái niệm khác nhau.
4.1. Khái niệm dd dãy và đặc trưng cơ bản
Khái niệm dd-dãy được định nghĩa trong luận án này. Nó là một mở rộng của hệ tham số p-chuẩn tắc. dd-dãy là một đối tượng nghiên cứu mới. Nó cung cấp khung lý thuyết tổng quát. Các tính chất cơ bản của dd-dãy được khám phá. Chúng bao gồm cách chúng tương tác với cấu trúc môđun. Sự hiểu biết về dd-dãy đóng góp vào Đại số giao hoán.
4.2. Mối liên hệ với đối đồng điều địa phương
dd-dãy có liên hệ chặt chẽ với đối đồng điều địa phương. Đối đồng điều địa phương là một công cụ mạnh mẽ. Nó nghiên cứu cấu trúc địa phương của môđun. Việc liên hệ dd-dãy với đối đồng điều địa phương mở ra nhiều hướng nghiên cứu. Nó giúp phân tích sâu hơn các đặc trưng của môđun. Điều này cung cấp cái nhìn mới về cấu trúc.
4.3. Các tính chất của dd dãy qua phức Koszul
Các tính chất của dd-dãy được nghiên cứu kỹ lưỡng. Phức Koszul đóng vai trò trung tâm. Nó giúp khám phá các đặc trưng Euler-Poincaré bậc cao. Việc phân tích dd-dãy thông qua phức Koszul mang lại kết quả quan trọng. Điều này làm rõ hơn cấu trúc và hành vi của các dãy này. Nó củng cố vai trò của dd-dãy trong lý thuyết môđun.
V.Môđun Cohen Macaulay dãy Đặc trưng và Ứng dụng
Môđun Cohen-Macaulay dãy đại diện cho một hướng mở rộng khác của lý thuyết Cohen-Macaulay, tập trung vào các tính chất dựa trên dãy của môđun. Khái niệm này cung cấp một cách tiếp cận mới để phân loại và hiểu các môđun có cấu trúc phức tạp. Trong nghiên cứu này, các lọc thỏa mãn điều kiện chiều được xem xét kỹ lưỡng, đặc biệt là mối liên hệ của chúng với chiều Krull của môđun. Việc này cung cấp các công cụ cần thiết để xác định các đặc trưng quan trọng. Cuối cùng, tài liệu đi sâu vào các đặc trưng cụ thể của cả môđun Cohen-Macaulay dãy và môđun Cohen-Macaulay suy rộng dãy, bao gồm độ sâu môđun và các chỉ số liên quan, góp phần làm phong phú thêm lý thuyết môđun tổng thể.
5.1. Định nghĩa môđun Cohen Macaulay dãy
Môđun Cohen-Macaulay dãy là một mở rộng khác. Nó đi theo hướng khác so với môđun Cohen-Macaulay suy rộng. Khái niệm này cung cấp một cách tiếp cận mới. Nó phân loại môđun dựa trên các tính chất dãy. Việc định nghĩa này mở rộng phạm vi nghiên cứu. Nó giúp hiểu các môđun có cấu trúc phức tạp hơn.
5.2. Lọc thỏa mãn điều kiện chiều
Trong nghiên cứu môđun Cohen-Macaulay dãy, lọc đóng vai trò quan trọng. Đặc biệt, các lọc thỏa mãn điều kiện chiều được xem xét. Các lọc này giúp phân tích cấu trúc môđun một cách có hệ thống. Chúng liên quan đến chiều Krull của môđun. Việc này cung cấp công cụ để xác định các đặc trưng quan trọng.
5.3. Đặc trưng của môđun Cohen Macaulay suy rộng dãy
Đặc trưng của môđun Cohen-Macaulay dãy và môđun Cohen-Macaulay suy rộng dãy được nghiên cứu. Các đặc trưng này bao gồm độ sâu môđun và các tính chất khác. Chúng giúp phân biệt và phân loại các môđun. Việc hiểu rõ các đặc trưng này là cần thiết. Nó đóng góp vào lý thuyết tổng thể về môđun.
VI.Ứng dụng Đặc trưng Euler Poincaré Hằng số IF M
Phần cuối cùng của tài liệu tập trung vào các ứng dụng quan trọng của đặc trưng Euler-Poincaré, đặc biệt là thông qua hằng số IF(M). Hằng số này là một chỉ số mạnh mẽ, cung cấp thông tin về mức độ sai lệch của một môđun so với tính chất Cohen-Macaulay. Nó là một phần không thể thiếu trong việc phân tích cấu trúc môđun. Bên cạnh đó, các đặc trưng tham số cũng được khám phá, làm sáng tỏ hành vi của môđun trong các vành, đặc biệt là vành không Gorenstein. Tất cả những khám phá này củng cố mối liên hệ sâu sắc giữa đặc trưng Euler-Poincaré và lý thuyết Cohen-Macaulay, mở rộng hiểu biết và cung cấp các công cụ mới để phân tích cấu trúc đại số phức tạp, góp phần vào sự phát triển liên tục của Đại số giao hoán.
6.1. Hằng số IF M và đặc trưng Euler Poincaré bậc cao
Hằng số IF(M) là một chỉ số quan trọng. Nó liên quan đến đặc trưng Euler-Poincaré bậc cao. Hằng số này cung cấp thông tin về sự sai lệch. Nó đo lường mức độ một môđun không phải Cohen-Macaulay. Việc nghiên cứu hằng số IF(M) giúp hiểu rõ hơn. Nó là một phần của phân tích cấu trúc môđun.
6.2. Đặc trưng tham số và ý nghĩa
Đặc trưng tham số được khám phá. Nó liên quan đến các hệ tham số của môđun. Các đặc trưng này cung cấp thông tin về hành vi của môđun. Chúng đặc biệt hữu ích trong các vành không Gorenstein. Việc hiểu đặc trưng tham số làm phong phú thêm. Nó bổ sung cho lý thuyết Đại số giao hoán.
6.3. Mối liên hệ với lý thuyết Cohen Macaulay
Các đặc trưng Euler-Poincaré và hằng số IF(M) có mối liên hệ sâu sắc. Chúng kết nối với lý thuyết Cohen-Macaulay. Mối liên hệ này giúp mở rộng hiểu biết về môđun. Nó cung cấp các công cụ mới để phân tích. Việc này củng cố tầm quan trọng của các khái niệm này. Nó góp phần vào sự phát triển của Đại số giao hoán.
Tải xuống file đầy đủ để xem toàn bộ nội dung
Tải đầy đủ (102 trang)Trích đoạn nội dung luận án
Tải xuống để đọc toàn bộMôc Lôc Më ®Çu. M«®un Cohen-Macaulay suy réng. KiÓu ®a thøc vµ hÖ tham sè p-chuÈn t¾c. §Æc trng Euler-PoincarÐ bËc cao.
dd-D·y vµ c¸c ®Æc trng Euler-PoincarÐ bËc cao 16 2. C¸c tÝnh chÊt c¬ b¶n cña dd-d·y. §Æc trng Euler-PoincarÐ bËc cao cña phøc Koszul. Liªn hÖ víi ®èi ®ång ®iÒu ®Þa ph¬ng.
M«®un Cohen-Macaulay d·y 45 3. Läc tháa m·n ®iÒu kiÖn chiÒu vµ hÖ tham sè tèt. M«®un Cohen-Macaulay d·y. §Æc trng cña m«®un Cohen-Macaulay d·y.
M«®un Cohen-Macaulay suy réng d·y 70 4. M«®un Cohen-Macaulay suy réng d·y. §Æc trng Euler-PoincarÐ bËc cao vµ h»ng sè IF (M ). §Æc trng tham sè.
93 Tµi liÖu tham kh¶o. 96 Më ®Çu Nghiªn cøu cÊu tróc cña m«®un th«ng qua nghiªn cøu c¸c tÝnh chÊt cña hµm ®é dµi cña m«®un modulo mét hÖ tham sè lµ ph¬ng ph¸p ®· xuÊt hiÖn tõ l©u trong §¹i sè giao ho¸n. Tõ nh÷ng n¨m 50 cña thÕ kû tríc, Serre ®· chØ ra cã thÓ dïng phøc Koszul ®Ó tÝnh béi cña mét m«®un ®èi víi mét hÖ tham sè, tõ ®ã ®a ra mèi liªn hÖ gi÷a hµm ®é dµi, sè béi víi ®é dµi cña c¸c m«®un ®ång ®iÒu Koszul. C¸c mèi liªn hÖ ®ã ®îc tiÕp tôc nghiªn cøu trong c¸c c«ng tr×nh cña Auslander-Buchsbaum vµ c¸c t¸c gi¶ kh¸c, dÉn ®Õn nh÷ng kÕt qu¶ mµ ngµy nay trë thµnh c¬ b¶n trong §¹i sè giao ho¸n.
§Ó ph¸t biÓu chÝnh x¸c, ta lu«n xÐt (R, m) lµ mét vµnh giao ho¸n, ®Þa ph¬ng, Noether víi i®ªan cùc ®¹i m M , lµ mét R -m«®un h÷u h¹n sinh cã chiÒu dim M = d. , x d ∈ m lµ mét hÖ tham sè cña M. Khi ®ã ta lu«n cã `(M/xM ) > e(x, M ) , trong ®ã `(?) lµ hµm ®é dµi, e(x, M ) lµ sè béi cña M ®èi víi hÖ tham sè x. Khi dÊu ®¼ng thøc x¶y ra, nghÜa lµ tån t¹i x sao cho `(M/xM ) = e(x, M ) M , ®îc gäi lµ m«®un Cohen-Macaulay.
Cã thÓ nãi m«®un Cohen-Macaulay lµ mét trong nh÷ng cÊu tróc m«®un ®îc nghiªn cøu kü vµ cã nhiÒu øng dông nhÊt trong §¹i sè giao ho¸n. NÕu M lµ Cohen- Macaulay ta còng cã `(M/xM ) = e(x, M ) víi mäi hÖ tham sè x cña M. Më réng ®Çu tiªn theo híng nµy cña líp m«®un Cohen-Macaulay lµ kh¸i niÖm m«®un Buchsbaum do St ü ckrad vµ Vogel ®a ra. §ã lµ c¸c m«®un M sao cho tån t¹i mét h»ng sè I(M ) tháa m·n `(M/xM ) = e(x, M ) + I(M ) víi mäi hÖ tham sè x.
Nh vËy m«®un Cohen-Macaulay lµ Buchsbaum víi I(M ) = 0. N¨m 1979, ba nhµ to¸n häc N. Trung xÐt c¸c m«®un M mµ tån t¹i h»ng sè C sao cho víi mäi hÖ tham sè x cña M `(M/xM ) 6 e(x, M ) + C ,. H»ng sè C nhá nhÊt ®îc ký hiÖu lµ I(M ) vµ cã tªn lµ h»ng sè Buchsbaum cña M.
C¸c m«®un nh vËy cã rÊt nhiÒu tÝnh chÊt t¬ng tù nh m«®un Cohen-Macaulay vµ ®îc gäi lµ c¸c m«®un 1 Cohen-Macaulay suy réng. Râ rµng m«®un Cohen-Macaulay vµ Buchsbaum lµ c¸c trêng hîp riªng cña m«®un Cohen-Macaulay suy réng. Lý thuyÕt m«®un Cohen-Macaulay suy réng ®îc ph¸t triÓn rÊt nhanh trong thËp kû 80 vµ nh÷ng n¨m ®Çu thËp kû 90 cña thÕ kû 20 bëi c¸c nhµ to¸n häc N. Trung, St ückrad, Vogel, L.
Hoa, Brodmann, Goto, Yamagishi, Takayama,. vµ cã nhiÒu øng dông trong §¹i sè giao ho¸n vµ H×nh häc ®¹i sè. NÕu M lµ Cohen-Macaulay suy réng th× `(M/x(n)M ) = n1. , n d ®ñ lín (®Ó ng¾n gän ta sÏ dïng ký hiÖu n1 ,.
, n d 0 ), nãi riªng, `(M/x(n)M ) lµ mét ®a thøc theo n1 ,. Khi M kh«ng ph¶i lµ mét m«®un Cohen-Macaulay suy réng, Sharp ®Æt c©u hái: hµm `(M/x(n)M ) cã d¹ng ®a thøc theo n1 ,. , n d 0 kh«ng? Kh«ng khã kh¨n l¾m cã thÓ t×m ®îc vÝ dô chØ ra c©u tr¶ lêi lµ phñ ®Þnh, dÉn ®Õn c©u hái tiÕp theo lµ víi ®iÒu kiÖn nµo th× hµm `(M/x(n)M ) cã d¹ng ®a thøc. Mét ®iÒu kiÖn cÇn vµ ®ñ ®îc N.
Cêng ®a ra trong [8] qua kh¸i niÖm up-d·y. H¬n n÷a, trong bµi b¸o [9] «ng còng chøng minh r»ng trong trêng hîp tæng qu¸t hµm `(M/x(n)M ) lu«n bÞ chÆn trªn bëi mét ®a thøc. Khi vµnh R lµ vµnh th¬ng cña mét vµnh Gorenstein, N. Cêng ®· chØ ra r»ng lu«n tån t¹i mét hÖ tham sè x cña M sao cho `(M/x(n)M ) lµ mét ®a thøc.
Cô thÓ h¬n, ký hiÖu a(M ) = a0 (M )a1 (M ). Khi R lµ vµnh th¬ng cña mét vµnh Gorenstein th× tõ mét kÕt qu¶ cña Schenzel, ta suy ra lu«n tån t¹i mét hÖ tham sè x = x1 ,. , x d tháa m·n tÝnh chÊt xi ∈ a(M/(xi+1 ,. Mét hÖ tham sè nh vËy ®îc t¸c gi¶ N.
Cêng gäi lµ mét hÖ tham sè p-chuÈn t¾c, h¬n n÷a khi ®ã d X `(M/x(n)M ) = n1 .,xd )M ), ? ( ) i=0 lµ mét ®a thøc víi mäi n1 ,. Kh¸i niÖm hÖ tham sè p-chuÈn t¾c sau ®ã ®· ®îc Kawasaki sö dông nh mét c«ng cô then chèt ®Ó gi¶i bµi to¸n 2 Macaulay hãa mét ®a t¹p ®¹i sè do Faltings ®Æt ra, tõ ®ã ®a ra c©u tr¶ lêi kh¼ng ®Þnh cho gi¶ thuyÕt cña Sharp vÒ ®iÒu kiÖn tån t¹i phøc ®èi ngÉu. C¸c kÕt qu¶ ®ã thóc ®Èy viÖc nghiªn cøu kü h¬n c¸c tÝnh chÊt cña c¸c hÖ tham sè p-chuÈn t¾c nµy còng nh øng dông trong nghiªn cøu cÊu tróc cña vµnh vµ m«®un. B¶n th©n c¸c hÖ tham sè p-chuÈn t¾c cã rÊt nhiÒu tÝnh chÊt tèt.
HÇu hÕt c¸c tÝnh chÊt nµy ®Òu do c¸c hÖ tham sè nµy tháa m·n c«ng thøc ( ? ) ë trªn. V× vËy trong luËn ¸n nµy, chóng t«i ®Æt vÊn ®Ò nghiªn cøu c¸c tÝnh chÊt cña c¸c hÖ tham sè tháa m·n ( ?) còng nh c¸c øng dông cña chóng. C¸c hÖ tham sè nh vËy lµ trêng hîp riªng cña kh¸i niÖm dd-d·y ®îc ®Þnh nghÜa trong luËn ¸n nµy. Mét më réng kh¸c cña m«®un Cohen-Macaulay theo híng hoµn toµn kh¸c lµ kh¸i niÖm m«®un Cohen-Macaulay d·y vµ Cohen-Macaulay suy réng d·y.
Ta gäi M lµ mét m«®un Cohen-Macaulay d·y (t¬ng øng, Cohen-Macaulay suy réng d·y) nÕu tån t¹i mét läc c¸c m«®un con cña M M0 ⊂ M1 ⊂. ⊂ Mt = M, sao cho `(M0 ) < ∞ dim M0 < dim M1 <. < dim Mt = d , vµ mçi Mi /Mi−1 lµ Cohen-Macaulay (t¬ng øng, Cohen-Macaulay suy réng) víi i = 1, 2,. C¸c läc nh vËy ®îc gäi lµ läc Cohen-Macaulay (t¬ng øng, läc Cohen-Macaulay suy réng).
Chó ý r»ng trong khi c¸c m«®un Cohen- Macaulay vµ Cohen-Macaulay suy réng lµ kh«ng trén lÉn, nghÜa lµ c¸c i®ªan nguyªn tè liªn kÕt cña m«®un tháa m·n dim R/p = dim M hoÆc dim R/p = 0 (trong trêng hîp m«®un Cohen-Macaulay suy réng), th× c¸c i®ªan nguyªn tè liªn kÕt cña c¸c m«®un Cohen-Macaulay d·y vµ Cohen- Macaulay suy réng d·y cã ®èi chiÒu kh¸ tïy ý, thay ®æi tõ 0 ®Õn dim M. §©y lµ mét ®iÓm kh¸c biÖt c¬ b¶n gi÷a c¸c líp m«®un nµy. CÊu tróc m«®un Cohen-Macaulay d·y xuÊt hiÖn tù nhiªn trong c¸c øng dông cña §¹i sè giao ho¸n vµo c¸c bµi to¸n tæ hîp vµ ®îc Stanley ®Þnh nghÜa ®Çu tiªn trªn c¸c m«®un ph©n bËc trong [38], trêng hîp m«®un trªn vµnh ®Þa ph¬ng ®îc 3 xÐt bëi N. HiÖn nay viÖc nghiªn cøu cÊu tróc m«®un nµy ®ang thu hót sù quan t©m cña nhiÒu nhµ to¸n häc, ®Æc biÖt lµ c¸c øng dông trong tæ hîp vµ lý thuyÕt ®å thÞ (xem [19], [20],.
Bªn c¹nh ®ã, viÖc nghiªn cøu cÊu tróc cña c¸c m«®un Cohen-Macaulay d·y tõ khÝa c¹nh §¹i sè giao ho¸n còng lµ mét vÊn ®Ò quan träng vµ thu hót c¸c nhµ to¸n häc. C¸c c«ng tr×nh tiªu biÓu theo híng nµy cã thÓ kÓ ®Õn [18], [28], [37], [38]. Mét trong nh÷ng kÕt qu¶ quan träng nhÊt lµ ®Æc trng tÝnh chÊt Cohen-Macaulay d·y qua tÝnh triÖt tiªu vµ tÝnh chÊt Cohen-Macaulay cña ®èi ngÉu Matlis cña c¸c m«®un ®èi ®ång ®iÒu ®Þa ph¬ng. Mét më réng kh¸c kh¸ tù nhiªn cña kh¸i niÖm Cohen-Macaulay d·y lµ Cohen-Macaulay suy réng d·y ®îc N.
Nhµn ®a ra trong bµi b¸o [18]. M«®un Cohen-Macaulay d·y vµ Cohen-Macaulay suy réng d·y lµ hai ®èi tîng tiÕp theo cña chóng t«i trong luËn ¸n nµy. Chóng t«i sÏ chØ ra r»ng ®èi víi m«®un Cohen-Macaulay d·y vµ Cohen-Macaulay suy réng d·y lu«n tån t¹i mét hÖ tham sè tháa m·n c«ng thøc ( ? ) ë trªn. Tõ ®ã chóng t«i øng dông ®Ó quay l¹i nghiªn cøu cÊu tróc cña c¸c m«®un nµy.
MÆc dï ®Þnh nghÜa cña m«®un Cohen-Macaulay d·y vµ Cohen-Macaulay suy réng d·y kh¸ gièng nhau, tuy nhiªn còng t¬ng tù nh ®èi víi c¸c m«®un Cohen-Macaulay vµ Cohen-Macaulay suy réng, c¸c kü thuËt lµm viÖc víi hai líp m«®un ë trªn lµ kh¸c nhau, mang ®Æc thï cña tõng líp m«®un. LuËn ¸n ®îc chia thµnh bèn ch¬ng. Ch¬ng 1 lµ ch¬ng chuÈn bÞ. Trong ch¬ng nµy chóng t«i nªu l¹i ng¾n gän mét sè kÕt qu¶ quen biÕt trong §¹i sè giao ho¸n ®Ó tiÖn cho viÖc tr×nh bµy c¸c kÕt qu¶ trong c¸c ch¬ng sau.
Cô thÓ lµ trong TiÕt 1, chóng t«i sÏ nªu l¹i kh¸i niÖm m«®un Cohen-Macaulay suy réng, c¸c kh¸i niÖm d-d·y, d-d·y m¹nh, hÖ tham sè chuÈn t¾c vµ mét sè kÕt qu¶ liªn quan, chñ yÕu tõ c¸c bµi b¸o [46], [43]. Trong TiÕt 2, chóng t«i nh¾c l¹i kh¸i niÖm kiÓu ®a thøc, hÖ tham sè p-chuÈn t¾c vµ mét sè tÝnh chÊt cña chóng ®îc tr×nh bµy trong [8], [9], [10], [30], [31]. Mét sè kÕt qu¶ vÒ ®Æc trng Euler-PoincarÐ bËc cao cña 4 phøc Koszul ®îc tr×nh bµy trong TiÕt 3. C¸c kÕt qu¶ cña luËn ¸n ®îc tr×nh bµy trong c¸c Ch¬ng 2, 3 vµ 4.
Trong Ch¬ng 2 chóng t«i giíi thiÖu kh¸i niÖm dd-d·y trªn mét m«®un. , ns > 0, sao cho víi mäi n i = 1, 2,. , xni i lµ d-d·y trªn M/(xi+1 i+1 ,. Mét trong nh÷ng kÕt qu¶ chÝnh cña Ch¬ng 2 lµ ®Æc trng tÝnh chÊt dd-d·y cña hÖ tham sè th«ng qua hµm ®é dµi vµ sè béi.
Cô thÓ chóng t«i cã ®Þnh lý (xem §Þnh lý 2. , xd lµ mét hÖ tham sè cña M. C¸c ®iÒu sau lµ t¬ng ®¬ng: (i) x lµ mét dd-d·y trªn M. , ad sao cho víi mäi n1 ,.
i=0 Mét hÖ qu¶ cña ®Þnh lý nµy lµ mäi hÖ tham sè p-chuÈn t¾c ®Òu lµ dd-d·y. Ngîc l¹i, tõ mét kÕt qu¶ cña N. Cêng th× mäi hÖ tham sè lµ dd-d·y víi sè mò ®ñ lín lu«n lµ mét hÖ tham sè p-chuÈn t¾c. Do ®ã sù tån t¹i cña hÖ tham sè lµ dd-d·y vµ hÖ tham sè p-chuÈn t¾c lµ t¬ng ®¬ng.
Víi mçi hÖ tham sè x = x1 , .
Nội dung được bảo vệ bản quyền — Tải xuống đầy đủ
Trích dẫn luận án này
Đặc trưng Euler-Poincaré và môđun Cohen-Macaulay suy rộng (n.d.) [Luận án tiến sĩ]. LuanAn.net. https://luanan.net/tai-lieu-khac/dac-trung-euler-poincare-mo-dun-cohen-macaulay-suy-rong
Câu hỏi thường gặp
Luận án "Đặc trưng Euler-Poincaré và môđun Cohen-Macaulay suy rộng" nghiên cứu về vấn đề gì?
Luận án DD: Dãy đặc trưng Euler-Poincaré, ứng dụng cấu trúc môđun Cohen-Macaulay mở rộng.
Luận án "Đặc trưng Euler-Poincaré và môđun Cohen-Macaulay suy rộng" thuộc chuyên ngành gì?
Luận án "Đặc trưng Euler-Poincaré và môđun Cohen-Macaulay suy rộng" thuộc chuyên ngành Đại số giao hoán. Danh mục: Tài liệu khác.
Luận án "Đặc trưng Euler-Poincaré và môđun Cohen-Macaulay suy rộng" có bao nhiêu trang?
Luận án "Đặc trưng Euler-Poincaré và môđun Cohen-Macaulay suy rộng" có 102 trang. Bạn có thể xem trước một phần tài liệu ngay trên trang web trước khi tải về.
Cách tải luận án "Đặc trưng Euler-Poincaré và môđun Cohen-Macaulay suy rộng" về máy như thế nào?
Để tải luận án về máy, bạn nhấn nút "Tải xuống ngay" trên trang này, sau đó hoàn tất thanh toán phí lưu trữ. File sẽ được tải xuống ngay sau khi thanh toán thành công. Hỗ trợ qua Zalo: 0559 297 239.