Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Về môđun Cohen-Macaulay suy rộng chính tắc và một số quỹ tích không Cohen-Macaulay trên vành Noether địa phương" được thực hiện bởi nghiên cứu sinh Lưu Phương Thảo dưới sự hướng dẫn khoa học của GS. Lê Thị Thanh Nhàn và TS. Trần Nguyên An, thuộc chuyên ngành Đại số và Lý thuyết số (mã số: 9 46 01 04) tại Đại học Thái Nguyên vào năm 2019.

Trong Đại số giao hoán và Hình học đại số, lớp môđun Cohen-Macaulay đóng vai trò trung tâm nhờ tính chất đối xứng và các liên hệ đại số - hình học chặt chẽ. Việc mở rộng lớp môđun Cohen-Macaulay theo các hướng khác nhau đã thu hút sự quan tâm nghiên cứu sâu rộng. Hướng thứ nhất dựa trên hiệu số giữa độ dài và số bội đối với hệ tham số, dẫn tới các khái niệm môđun Buchsbaum, môđun Cohen-Macaulay suy rộng và môđun Cohen-Macaulay theo chiều $> s$. Hướng thứ hai dựa trên cấu trúc của môđun chính tắc $K_M$, dẫn tới khái niệm môđun Cohen-Macaulay chính tắc (liên quan trực tiếp đến bài toán Macaulay hóa song hữu tỷ của miền nguyên Noether địa phương do P. Schenzel nghiên cứu) và môđun Cohen-Macaulay suy rộng chính tắc do N. T. K. Nga và L. T. T. Nhàn đề xuất năm 2013.

Khoảng trống nghiên cứu mà tác giả xác định bao gồm:

  • Cần một đặc trưng tham số hoàn chỉnh cho lớp môđun Cohen-Macaulay suy rộng chính tắc tương tự như đặc trưng của môđun Cohen-Macaulay suy rộng thông qua hệ tham số chuẩn tắc, bằng cách sử dụng công cụ độ dài thặng dư của môđun đối đồng điều địa phương Artin;
  • Cần làm rõ mối liên hệ định lượng giữa chiều của quỹ tích không Cohen-Macaulay của môđun chính tắc $\text{nCM}(K_M)$ và chiều của quỹ tích không Cohen-Macaulay của môđun $\text{nCM}(M)$;
  • Cần xác định quy luật biến đổi của tập iđêan nguyên tố gắn kết, chiều và số bội của môđun đối đồng điều địa phương Artin dưới tác động của chuyển phẳng địa phương có chiều thớ bất kỳ $r_P \ge 0$, từ đó thiết lập công thức tính chiều của quỹ tích không Cohen-Macaulay theo chiều $> s$.

Luận án xác định ba mục đích nghiên cứu cụ thể:

  1. Đặc trưng cấu trúc của lớp môđun Cohen-Macaulay suy rộng chính tắc khi vành cơ sở $R$ là thương của một vành Gorenstein địa phương.
  2. Làm rõ mối quan hệ giữa quỹ tích không Cohen-Macaulay của môđun chính tắc $\text{nCM}(K_M)$ và quỹ tích không Cohen-Macaulay của môđun $M$.
  3. Nghiên cứu tập iđêan nguyên tố gắn kết, chiều và số bội của môđun đối đồng điều địa phương Artin dưới tác động của chuyển phẳng địa phương $R_{\mathfrak{p}} \to \widehat{R}{\mathfrak{P}}$, từ đó thiết lập công thức tính chiều của quỹ tích không Cohen-Macaulay theo chiều $> s$ ($\text{nCM}{>s}(M)$).

Đối tượng nghiên cứu của luận án là vành giao hoán Noether địa phương $(R, \mathfrak{m})$, $R$-môđun hữu hạn sinh $M$ có chiều Krull $\dim M = d$, môđun chính tắc $K_M$, môđun khuyết $K_M^i$, các môđun đối đồng điều địa phương $H_{\mathfrak{m}}^i(M)$, và các tập quỹ tích không Cohen-Macaulay $\text{nCM}(M)$, $\text{nCM}(K_M)$, $\text{nCM}_{>s}(M)$ trong phổ nguyên tố $\text{Spec}(R)$. Phạm vi nghiên cứu giới hạn trong cấu trúc đại số trừu tượng trên các vành Noether địa phương là thương của vành Gorenstein địa phương hoặc thương của vành Cohen-Macaulay địa phương.

Tổng quan tài liệu và vị trí của luận án

Tổng quan tài liệu trong luận án điểm lại các mốc phát triển chính của lý thuyết môđun Cohen-Macaulay và các lớp mở rộng:

  • Năm 1965, D. Buchsbaum đặt giả thuyết về tính bất biến của hiệu số $I(\underline{x}; M) = \ell_R(M/\underline{x}M) - e(\underline{x}; M)$.
  • Năm 1978, N. T. Cường, P. Schenzel và N. V. Trung nghiên cứu môđun Buchsbaum và đề xuất lớp môđun Cohen-Macaulay suy rộng thông qua điều kiện $\sup_{\underline{x}} I(\underline{x}; M) < \infty$.
  • Năm 1998, N. V. Trung mở rộng lớp môđun Cohen-Macaulay suy rộng thành lớp môđun Cohen-Macaulay theo chiều $> s$ ($s \ge -1$).
  • Năm 1982, P. Schenzel giới thiệu môđun chính tắc $K_M = \text{Ext}{R_0}^{n_0 - d}(M, R_0)$ và môđun khuyết $K_M^i = \text{Ext}{R_0}^{n_0 - i}(M, R_0)$, đồng thời chứng minh miền nguyên Noether địa phương $R$ có Macaulay hóa song hữu tỷ khi và chỉ khi $R$ là vành Cohen-Macaulay chính tắc.
  • Năm 1980, Y. Aoyama chứng minh rằng trên vành địa phương đầy đủ không Cohen-Macaulay, độ sâu của vành $\text{depth} R$ và độ sâu của môđun chính tắc $\text{depth} K_R$ không phụ thuộc vào nhau.
  • Năm 2004, N. T. Cường và L. T. T. Nhàn đưa ra khái niệm hệ tham số là $f$-dãy chặt để nghiên cứu tính hữu hạn của tập các iđêan nguyên tố gắn kết của đối đồng điều địa phương Artin.
  • Năm 2012, M. T. Dibaei và L. T. T. Nhàn đặc trưng môđun Cohen-Macaulay chính tắc thông qua tính triệt tiêu của độ dài thặng dư $Rl(H_{\mathfrak{m}}^2(M/(x_1,\dots,x_{d-3})M)) = 0$ đối với hệ tham số $f$-dãy chặt.
  • Năm 2013, N. T. K. Nga và L. T. T. Nhàn giới thiệu lớp môđun Cohen-Macaulay suy rộng chính tắc và chứng minh đặc trưng thông qua sự tồn tại chặn đều của độ dài thặng dư các môđun đối đồng điều địa phương cấp thấp đối với $f$-dãy chặt.
  • Các công trình nền tảng khác được điểm lại bao gồm lý thuyết biểu diễn thứ cấp của môđun Artin của I. Macdonald (1973), lý thuyết đối đồng điều địa phương của A. Grothendieck (1960s), điều kiện Serre $(S_k)$ của J. P. Serre (1955), tính đóng của quỹ tích không Cohen-Macaulay của R. Hartshorne, cùng các nghiên cứu chuyển phẳng của M. Brodmann, R. Y. Sharp, L. T. T. Nhàn và T. N. An.

Vị trí của luận án: Luận án giải quyết trực tiếp khoảng trống về đặc trưng tham số của môđun Cohen-Macaulay suy rộng chính tắc bằng việc đề xuất khái niệm "hệ tham số chính tắc" (thay thế cho hệ tham số chuẩn tắc); mở rộng kết quả của Y. Aoyama sang khía cạnh chiều của quỹ tích không Cohen-Macaulay $\text{nCM}(K_M)$ và $\text{nCM}(M)$; đồng thời tổng quát hóa các công thức về tập iđêan nguyên tố gắn kết, chiều và số bội của môđun đối đồng điều địa phương Artin qua chuyển phẳng địa phương từ trường hợp thớ chiều bằng $0$ sang trường hợp thớ chiều $r_P \ge 0$ tùy ý.

Cơ sở lý thuyết và phương pháp nghiên cứu

Luận án sử dụng các hệ thống khái niệm, lý thuyết và khung phân tích giải tích - đại số đồng điều sau:

  • Lý thuyết môđun Cohen-Macaulay và Cohen-Macaulay suy rộng: Dựa trên so sánh giữa độ sâu $\text{depth} M$ và chiều Krull $\dim M$, hàm Hilbert-Samuel $H_{\mathfrak{q}}(n) = \ell_R(M/\mathfrak{q}^{n+1}M)$, đa thức Hilbert-Samuel $P_{\mathfrak{q}}(n)$, số bội $e(\underline{x}; M)$, và bất biến $I(\underline{x}; M) = \ell_R(M/\underline{x}M) - e(\underline{x}; M)$.
  • Lý thuyết môđun Artin và biểu diễn thứ cấp: Khái niệm môđun thứ cấp, biểu diễn thứ cấp tối thiểu $A = A_1 + \dots + A_t$, tập các iđêan nguyên tố gắn kết $\text{Att}_R A$ của I. Macdonald, số bội và đa thức Hilbert-Samuel của môđun Artin.
  • Lý thuyết đối đồng điều địa phương và đối ngẫu Matlis: Hàm tử đối đồng điều địa phương $H_{\mathfrak{m}}^i(M)$, hàm tử đối ngẫu Matlis $D(-) = \text{Hom}R(-, E(R/\mathfrak{m}))$, Định lý Đối ngẫu địa phương $H{\mathfrak{m}}^i(M) \cong \text{Hom}_R(K_M^i, E(R/\mathfrak{m}))$.
  • Hệ tham số đặc biệt và độ dài thặng dư: Khái niệm dãy lọc chính quy của N. V. Trung, $f$-dãy chặt và $f$-dãy chặt hoán vị được của N. T. Cường và L. T. T. Nhàn, chỉ số dừng $s(A)$ và độ dài thặng dư $Rl(A) = \ell_R(A/\mathfrak{m}^s A)$ của R. Hamieh đối với môđun Artin $A$.
  • Điều kiện Serre $(S_k)$ và tính không trộn lẫn: Điều kiện $\text{depth} M_{\mathfrak{p}} \ge \min{k, \dim M_{\mathfrak{p}}}$ với mọi $\mathfrak{p} \in \text{Supp}_R M$.

Phương pháp nghiên cứu thực tế của luận án thuần túy là phương pháp suy luận logic toán học chuyên ngành:

  • Kỹ thuật phân tích đại số đồng điều thông qua các dãy khớp ngắn, dãy khớp dài đối đồng điều địa phương, hàm tử $\text{Ext}$ và $\text{Tor}$.
  • Kỹ thuật quy nạp theo chiều Krull $d = \dim M$.
  • Kỹ thuật sử dụng hệ tham số là $f$-dãy chặt hoán vị được để kiểm soát hành vi thặng dư của các môđun đối đồng điều Artin.
  • Phương pháp địa phương hóa, đầy đủ hóa $\mathfrak{m}$-adic và chuyển phẳng địa phương $\phi: R_{\mathfrak{p}} \to \widehat{R}{\mathfrak{P}}$, phân tích theo chiều thớ hình thức $r_P = \dim(\widehat{R}{\mathfrak{P}}/\mathfrak{p}\widehat{R}_{\mathfrak{P}})$.

Nguồn tư liệu sử dụng là các tài liệu học thuật gốc, hệ thống định lý và công thức từ các bài báo khoa học công bố trên các tạp chí toán học quốc tế chuyên ngành của các tác giả trường phái Đại số giao hoán, cùng kết quả được công bố trong ba công trình của tác giả luận án: bài báo [1] (đăng trên tạp chí quốc tế), bài báo [31] và bài báo [43].

Nội dung chính theo từng chương

Chương 1: Kiến thức chuẩn bị

Chương 1 hệ thống hóa các khái niệm và kết quả cơ sở phục vụ cho việc chứng minh các định lý trong các chương tiếp theo. Nội dung chương được chia thành 3 tiết:

  • Tiết 1.1: Môđun Cohen-Macaulay và Cohen-Macaulay suy rộng: Trình bày định nghĩa $\text{depth} M = \dim M$, các đặc trưng tương đương qua hệ tham số chính quy, hàm Hilbert-Samuel, số bội $e(\underline{x}; M)$ và tính triệt tiêu của các môđun đối đồng điều địa phương $H_{\mathfrak{m}}^i(M) = 0$ với mọi $i < d$. Trình bày đặc trưng của môđun Cohen-Macaulay suy rộng qua tính hữu hạn của độ dài $\ell_R(H_{\mathfrak{m}}^i(M)) < \infty$ với mọi $i < d$, qua cận trên $\sup I(x_1^{n_1},\dots,x_d^{n_d}; M) < \infty$, và qua sự tồn tại của hệ tham số chuẩn tắc thỏa mãn công thức: $$I(x_1,\dots,x_d; M) = \sum_{i=0}^{d-1} \binom{d-1}{i} \ell_R(H_{\mathfrak{m}}^i(M))$$
  • Tiết 1.2: Môđun Artin: Trình bày lý thuyết biểu diễn thứ cấp của I. Macdonald, tập các iđêan nguyên tố gắn kết $\text{Att}R A$, tính chất Artin của $H{\mathfrak{m}}^i(M)$ và $H_I^d(M)$, tính chất của $\text{Att}_R A$ qua chuyển phẳng địa phương có chiều thớ bằng $0$, mối liên hệ giữa $\text{Att}R A$ và $\text{Att}{\widehat{R}} A$, công thức chiều $\dim_R A = \dim(R/\text{Ann}_R A)$, đa thức Hilbert-Samuel và công thức số bội liên kết cho môđun Artin của M. Brodmann, R. Y. Sharp, L. T. T. Nhàn và N. T. Nga.
  • Tiết 1.3: Môđun chính tắc và môđun khuyết: Giới thiệu môđun khuyết thứ $i$ là $K_M^i = \text{Ext}_{R_0}^{n_0 - i}(M, R_0)$ và môđun chính tắc $K_M = K_M^d$ khi $R$ là thương của vành Gorenstein địa phương $(R_0, \mathfrak{m}0)$ chiều $n_0$. Nhắc lại Định lý Đối ngẫu địa phương $H{\mathfrak{m}}^i(M) \cong \text{Hom}_R(K_M^i, E(R/\mathfrak{m}))$, điều kiện Serre $(S_k)$, và mối quan hệ giữa môđun khuyết với các tính chất đẳng chiều và chiều của môđun khuyết: $\dim_R K_M^i \le i$ với mọi $i < d$ và $\dim_R K_M = d$.

Chương 2: Môđun Cohen-Macaulay suy rộng chính tắc

Chương 2 tập trung nghiên cứu cấu trúc của môđun Cohen-Macaulay suy rộng chính tắc (môđun $M$ sao cho $K_M$ là Cohen-Macaulay suy rộng), dựa trên phần 2 của bài báo [1].

  • Tiết 2.1: Hệ tham số chính tắc: Luận án giới thiệu khái niệm mới — hệ tham số chính tắc: Một hệ tham số $(x_1,\dots,x_d)$ của $M$ được gọi là hệ tham số chính tắc nếu thỏa mãn đẳng thức: $$Rl\left(H_{\mathfrak{m}}^2\left(M/(x_1,\dots,x_{d-3})M\right)\right) = Rl\left(H_{\mathfrak{m}}^2\left(M/(x_1^2,\dots,x_{d-3}^2)M\right)\right)$$ Nếu $(x_1,\dots,x_d)$ đồng thời là $f$-dãy chặt hoán vị được và là hệ tham số chính tắc thì được gọi là hệ tham số chính tắc hoán vị được. Tác giả chứng minh Mệnh đề 2.8: Mọi hệ tham số chuẩn tắc của $M$ đều là hệ tham số chính tắc của $M$. Ngược lại, tác giả chỉ ra bằng ví dụ rằng một hệ tham số chính tắc chưa chắc đã là hệ tham số chuẩn tắc (xét vành $R = k[[x_1,x_2,x_3,x_4]]$ và $M = R/(x_1) \cap (x_2,x_3)$ có $\dim M = 3$).
  • Tiết 2.2: Môđun Cohen-Macaulay suy rộng chính tắc: Tác giả thiết lập các bổ đề quan trọng về tính tăng của hàm độ dài thặng dư (Bổ đề 2.6, Bổ đề 2.7, Bổ đề 2.9) và chứng minh kết quả trung tâm của chương — Định lý 2.4:
Ký hiệu điều kiện Nội dung phát biểu tương đương trong Định lý 2.4
(a) $M$ là môđun Cohen-Macaulay suy rộng chính tắc.
(b) Tồn tại hằng số nguyên $c_M$ sao cho $Rl\left(H_{\mathfrak{m}}^2\left(M/(x_1,\dots,x_{d-3})M\right)\right) \le c_M$ với mọi $f$-dãy chặt $(x_1,\dots,x_d)$ của $M$.
(c) Tồn tại $f$-dãy chặt $(x_1,\dots,x_d)$ của $M$ sao cho $\sup_{n_1,\dots,n_{d-3} \in \mathbb{N}} Rl\left(H_{\mathfrak{m}}^2\left(M/(x_1^{n_1},\dots,x_{d-3}^{n_{d-3}})M\right)\right) < \infty$.
(d) Tồn tại một hệ tham số chính tắc hoán vị được của $M$.

Hơn nữa, nếu $(x_1,\dots,x_d)$ là hệ tham số chính tắc hoán vị được của $M$, luận án thiết lập công thức tính tường minh độ dài thặng dư: $$Rl\left(H_{\mathfrak{m}}^2\left(M/(x_1,\dots,x_{d-3})M\right)\right) = \sum_{i=0}^{d-3} \binom{d-3}{i} \ell_R\left(H_{\mathfrak{m}}^{i+2}(K_M)\right)$$

Chương 3: Quỹ tích không Cohen-Macaulay của môđun chính tắc

Chương 3 nghiên cứu tập quỹ tích $\text{nCM}(M) = {\mathfrak{p} \in \text{Spec}(R) \mid M_{\mathfrak{p}} \text{ không là Cohen-Macaulay}}$, quỹ tích $\text{nCM}(K_M)$, và mối quan hệ định lượng giữa chiều của hai tập này, dựa trên phần 1 của bài báo [1].

  • Tiết 3.1: Một số tính chất qua chuyển phẳng: Trình bày tính chất đóng của $\text{nCM}(M)$ trong tôpô Zariski khi $R$ là thương của vành Gorenstein địa phương hoặc vành Cohen-Macaulay địa phương. Chứng minh công thức chiều dưới tác động của đồng cấu phẳng địa phương $f: (R, \mathfrak{m}) \to (S, \mathfrak{n})$ có thớ $S/\mathfrak{m}S$ là Cohen-Macaulay chiều $t$: $$\max_{i < d+t} \dim_S H_{\mathfrak{n}}^i(M \otimes_R S) = \dim(S/\mathfrak{m}S) + \max_{i < d} \dim_R H_{\mathfrak{m}}^i(M)$$ Và nếu $M, M \otimes_R S$ đẳng chiều thì: $$\dim \text{nCM}(M \otimes_R S) = \dim(S/\mathfrak{m}S) + \dim \text{nCM}(M)$$
  • Tiết 3.2: Quỹ tích không Cohen-Macaulay của môđun chính tắc: Luận án chỉ ra quan hệ bao hàm tổng quát $\text{nCM}(K_M) \subseteq \text{nCM}(M)$ (suy ra $\dim \text{nCM}(K_M) \le \dim \text{nCM}(M)$). Kết quả chính của chương chứng minh rằng, ngoại trừ quan hệ bao hàm trên, hai quỹ tích này hầu như độc lập với nhau theo định lý: Cho các số nguyên $n, s, r$ thỏa mãn $-1 \le s \le n - 3$ và $s \le r \le n - 2$. Khi đó luôn tồn tại một vành Noether địa phương đầy đủ $(R, \mathfrak{m})$ sao cho $R$ là không trộn lẫn và: $$\dim R = n, \quad \dim \text{nCM}(R) = r, \quad \dim \text{nCM}(K_R) = s$$

Chương 4: Đối đồng điều địa phương Artin qua chuyển phẳng và quỹ tích không Cohen-Macaulay theo chiều $> s$

Chương 4 nghiên cứu sự thay đổi của các bất biến đối đồng điều địa phương Artin và quỹ tích không Cohen-Macaulay theo chiều $> s$ qua chuyển phẳng địa phương $\phi: R_{\mathfrak{p}} \to \widehat{R}_{\mathfrak{P}}$ với $\mathfrak{P} \in \text{Spec}(\widehat{R})$ và $\mathfrak{p} = \mathfrak{P} \cap R$, dựa trên các bài báo [31] và [43].

  • Tiết 4.1: Iđêan nguyên tố gắn kết của môđun đối đồng điều địa phương qua chuyển phẳng: Luận án thiết lập Định lý 4.3 đối với vành $R$ là thương của vành Cohen-Macaulay địa phương và thớ có chiều $r_P = \dim(\widehat{R}{\mathfrak{P}}/\mathfrak{p}\widehat{R}{\mathfrak{P}}) \ge 0$:
    1. $\text{Att}{R{\mathfrak{p}}} H_{\mathfrak{p}R_{\mathfrak{p}}}^i(M_{\mathfrak{p}}) = {Q\widehat{R}{\mathfrak{P}} \cap R{\mathfrak{p}} \mid Q\widehat{R}{\mathfrak{P}} \in \text{Att}{\widehat{R}{\mathfrak{P}}} H{\mathfrak{P}\widehat{R}{\mathfrak{P}}}^{i+r_P}(\widehat{M}{\mathfrak{P}})}$
    2. $\text{Att}{\widehat{R}{\mathfrak{P}}} H_{\mathfrak{P}\widehat{R}{\mathfrak{P}}}^{i+r_P}(\widehat{M}{\mathfrak{P}}) = \bigcup_{\mathfrak{q}R_{\mathfrak{p}} \in \text{Att}{R{\mathfrak{p}}} H_{\mathfrak{p}R_{\mathfrak{p}}}^i(M_{\mathfrak{p}})} \text{Ass}{\widehat{R}{\mathfrak{P}}}(\widehat{R}{\mathfrak{P}}/\mathfrak{q}\widehat{R}{\mathfrak{P}})$
    3. Với mọi $Q \in \text{Spec}(\widehat{R})$ thỏa mãn $Q \subseteq \mathfrak{P}$ và $\mathfrak{q} = Q \cap R$, thì $Q\widehat{R}{\mathfrak{P}} \in \text{Att}{\widehat{R}{\mathfrak{P}}} H{\mathfrak{P}\widehat{R}{\mathfrak{P}}}^{i+r_P}(\widehat{M}{\mathfrak{P}}) \iff \mathfrak{q}R_{\mathfrak{p}} \in \text{Att}{R{\mathfrak{p}}} H_{\mathfrak{p}R_{\mathfrak{p}}}^i(M_{\mathfrak{p}})$ và $Q \in \text{min}\text{Var}(\mathfrak{q}\widehat{R})$.
  • Tiết 4.2: Chiều và bội qua chuyển phẳng: Thiết lập Định lý 4.4 cho công thức tính chiều của môđun đối đồng điều địa phương Artin: $$\dim_{\widehat{R}{\mathfrak{P}}} H{\mathfrak{P}\widehat{R}{\mathfrak{P}}}^{i+r_P}(\widehat{M}{\mathfrak{P}}) = \dim_{R_{\mathfrak{p}}} H_{\mathfrak{p}R_{\mathfrak{p}}}^i(M_{\mathfrak{p}}) + r_P$$ Đồng thời, áp dụng công thức số bội liên kết của Brodmann - Sharp để đưa ra công thức tính số bội tương ứng.
  • Tiết 4.3: Quỹ tích không Cohen-Macaulay theo chiều $> s$ qua chuyển phẳng: Áp dụng các kết quả trên để nghiên cứu sự bảo toàn tính chất Cohen-Macaulay và Cohen-Macaulay theo chiều $> s$. Tác giả chứng minh Định lý 4.6:
    • $M_{\mathfrak{p}}$ là Cohen-Macaulay $\iff \widehat{M}_{\mathfrak{P}}$ là Cohen-Macaulay.
    • $M_{\mathfrak{p}}$ là Cohen-Macaulay theo chiều $> s \iff \widehat{M}{\mathfrak{P}}$ là Cohen-Macaulay theo chiều $> s + r_P$. Và thiết lập Định lý 4.7 đưa ra công thức tính chiều của quỹ tích $\text{nCM}{>s}(M)$ qua chuyển phẳng.

Kết quả và những đóng góp mới

Luận án đã đạt được các kết quả khoa học cụ thể sau đây:

  1. Về môđun Cohen-Macaulay suy rộng chính tắc:
    • Đưa ra khái niệm hệ tham số chính tắc và hệ tham số chính tắc hoán vị được; làm rõ mối quan hệ bao hàm thực sự giữa hệ tham số chuẩn tắc và hệ tham số chính tắc.
    • Thiết lập đặc trưng tương đương hoàn chỉnh cho lớp môđun Cohen-Macaulay suy rộng chính tắc (Định lý 2.4) qua bốn điều kiện: tính Cohen-Macaulay suy rộng của $K_M$, sự tồn tại chặn đều của độ dài thặng dư đối với mọi $f$-dãy chặt, sự tồn tại chặn đều theo lũy thừa của một $f$-dãy chặt, và sự tồn tại của một hệ tham số chính tắc hoán vị được.
    • Cung cấp công thức tính chính xác độ dài thặng dư $Rl(H_{\mathfrak{m}}^2(M/(x_1,\dots,x_{d-3})M))$ thông qua tổng các độ dài của môđun đối đồng điều địa phương của môđun chính tắc $K_M$.
  2. Về mối quan hệ giữa các quỹ tích không Cohen-Macaulay:
    • Chứng minh rằng ngoài quan hệ bao hàm tự nhiên $\text{nCM}(K_M) \subseteq \text{nCM}(M)$, chiều của hai quỹ tích $\text{nCM}(K_R)$ và $\text{nCM}(R)$ là hoàn toàn độc lập với nhau trên vành Noether địa phương đầy đủ, không trộn lẫn ứng với mọi bộ ba số nguyên $(n, s, r)$ thỏa mãn $-1 \le s \le n - 3$ và $s \le r \le n - 2$.
  3. Về đối đồng điều địa phương Artin và quỹ tích không Cohen-Macaulay theo chiều $> s$:
    • Xác định tường minh mối liên hệ giữa các tập iđêan nguyên tố gắn kết $\text{Att}{R{\mathfrak{p}}} H_{\mathfrak{p}R_{\mathfrak{p}}}^i(M_{\mathfrak{p}})$ và $\text{Att}{\widehat{R}{\mathfrak{P}}} H_{\mathfrak{P}\widehat{R}{\mathfrak{P}}}^{i+r_P}(\widehat{M}{\mathfrak{P}})$ khi chiều thớ hình thức $r_P \ge 0$ tùy ý.
    • Thiết lập công thức biến đổi chiều $\dim_{\widehat{R}{\mathfrak{P}}} H{\mathfrak{P}\widehat{R}{\mathfrak{P}}}^{i+r_P}(\widehat{M}{\mathfrak{P}}) = \dim_{R_{\mathfrak{p}}} H_{\mathfrak{p}R_{\mathfrak{p}}}^i(M_{\mathfrak{p}}) + r_P$ và công thức tính số bội liên kết.
    • Chứng minh tiêu chuẩn tương đương cho tính Cohen-Macaulay theo chiều $> s$ và công thức xác định chiều của quỹ tích $\text{nCM}_{>s}(M)$ qua đồng cấu phẳng địa phương.

Luận án đề xuất việc ứng dụng các kết quả này vào việc nghiên cứu cấu trúc phân bậc của các vành địa phương, mở rộng lý thuyết độ dài thặng dư cho các môđun đối đồng điều địa phương có giá không cực đại, và nghiên cứu tính chất hình học của kỳ dị không Cohen-Macaulay trong Hình học đại số.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế và phạm vi áp dụng của các kết quả trong luận án được xác định rõ qua các giả thiết toán học bắt buộc:

  • Các kết quả ở Chương 2 và Chương 3 yêu cầu vành cơ sở $R$ phải là ảnh đồng cấu (thương) của một vành Gorenstein địa phương để đảm bảo sự tồn tại và tính hữu hạn sinh của môđun chính tắc $K_M$ cũng như tính đóng của quỹ tích $\text{nCM}(M)$.
  • Các kết quả ở Chương 4 giới hạn trong lớp các vành là thương của vành Cohen-Macaulay địa phương (tương đương với điều kiện vành catenary phổ dụng và có các thớ hình thức Cohen-Macaulay).
  • Các đánh giá và công thức độ dài thặng dư chủ yếu áp dụng cho môđun đối đồng điều địa phương với giá tại iđêan cực đại $\mathfrak{m}$.

Từ các phạm vi này, các hướng nghiên cứu tiếp theo có thể phát triển bao gồm:

  • Nghiên cứu đặc trưng của môđun Cohen-Macaulay suy rộng chính tắc trên các vành Noether địa phương tổng quát không nhất thiết là thương của vành Gorenstein.
  • Nghiên cứu tập iđêan nguyên tố gắn kết và độ dài thặng dư của môđun đối đồng điều địa phương $H_I^i(M)$ với giá $I$ là một iđêan bất kỳ không nguyên sơ với $\mathfrak{m}$.
  • Khảo sát cấu trúc hình học chi tiết của quỹ tích $\text{nCM}_{>s}(M)$ khi $s \ge 0$ trong trường hợp quỹ tích này không đóng theo tôpô Zariski.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo trong lĩnh vực Đại số giao hoán và Đại số đồng điều:

  • Đối với nghiên cứu sinh và học viên cao học chuyên ngành Đại số và Lý thuyết số: Luận án cung cấp hệ thống kỹ thuật phân tích đại số đồng điều hoàn chỉnh, đặc biệt là phương pháp xử lý hệ tham số $f$-dãy chặt kết hợp với độ dài thặng dư và môđun Artin.
  • Đối với giảng viên và các nhà nghiên cứu Đại số giao hoán: Chương 2 cung cấp một công cụ mô tả cấu trúc môđun thông qua hệ tham số chính tắc; Chương 3 cung cấp phương pháp xây dựng các ví dụ giải tích về vành địa phương có bất biến chiều quỹ tích tùy ý; Chương 4 cung cấp hệ thống công thức chuẩn tắc về chuyển phẳng cho đối đồng điều địa phương Artin.
  • Phần đáng tham khảo nhất: Kỹ thuật chứng minh Định lý 2.4 ở Chương 2 (sử dụng quy nạp kết hợp bổ đề triệt tiêu và tính chất tăng của độ dài thặng dư) và hệ thống định lý chuyển phẳng (Định lý 4.3, 4.4, 4.6) ở Chương 4.

Câu hỏi thường gặp

1. Môđun Cohen-Macaulay suy rộng chính tắc là gì và có mối liên hệ như thế nào với môđun Cohen-Macaulay suy rộng?
Trả lời: Cho $(R, \mathfrak{m})$ là thương của vành Gorenstein địa phương. $M$ được gọi là môđun Cohen-Macaulay suy rộng chính tắc nếu môđun chính tắc $K_M$ của nó là môđun Cohen-Macaulay suy rộng (tức $\ell_R(H_{\mathfrak{m}}^i(K_M)) < \infty$ với mọi $i < d$). Mọi môđun Cohen-Macaulay suy rộng đều là môđun Cohen-Macaulay suy rộng chính tắc; mọi môđun có chiều $\dim M \le 3$ và mọi môđun Cohen-Macaulay chính tắc đều là Cohen-Macaulay suy rộng chính tắc.

2. Khái niệm hệ tham số chính tắc được định nghĩa như thế nào và có trùng với hệ tham số chuẩn tắc không?
Trả lời: Hệ tham số $(x_1,\dots,x_d)$ của $M$ được gọi là hệ tham số chính tắc nếu $Rl(H_{\mathfrak{m}}^2(M/(x_1,\dots,x_{d-3})M)) = Rl(H_{\mathfrak{m}}^2(M/(x_1^2,\dots,x_{d-3}^2)M))$. Mọi hệ tham số chuẩn tắc đều là hệ tham số chính tắc, nhưng chiều ngược lại không đúng (luận án đưa ra phản ví dụ với $R = k[[x_1,x_2,x_3,x_4]]$ và $M = R/(x_1) \cap (x_2,x_3)$ có $\dim M = 3$).

3. Chiều của quỹ tích không Cohen-Macaulay $\text{nCM}(M)$ và $\text{nCM}(K_M)$ có quan hệ như thế nào?
Trả lời: Luôn tồn tại quan hệ bao hàm $\text{nCM}(K_M) \subseteq \text{nCM}(M)$, do đó $\dim \text{nCM}(K_M) \le \dim \text{nCM}(M)$. Tuy nhiên, ngoài quan hệ này, hai chiều trên hầu như độc lập: Với mọi bộ ba số nguyên $(n, s, r)$ thỏa mãn $-1 \le s \le n - 3$ và $s \le r \le n - 2$, luôn tồn tại vành Noether địa phương đầy đủ không trộn lẫn $R$ sao cho $\dim R = n$, $\dim \text{nCM}(R) = r$ và $\dim \text{nCM}(K_R) = s$.

4. Dưới chuyển phẳng địa phương $\phi: R_{\mathfrak{p}} \to \widehat{R}_{\mathfrak{P}}$, chiều của môđun đối đồng điều địa phương Artin thay đổi như thế nào?
Trả lời: Theo Định lý 4.4 của luận án, nếu $R$ là thương của vành Cohen-Macaulay địa phương, $\mathfrak{P} \in \text{Spec}(\widehat{R})$, $\mathfrak{p} = \mathfrak{P} \cap R$ và $r_P = \dim(\widehat{R}{\mathfrak{P}}/\mathfrak{p}\widehat{R}{\mathfrak{P}})$, thì với mọi $i \ge 0$ ta có công thức: $$\dim_{\widehat{R}{\mathfrak{P}}} H{\mathfrak{P}\widehat{R}{\mathfrak{P}}}^{i+r_P}(\widehat{M}{\mathfrak{P}}) = \dim_{R_{\mathfrak{p}}} H_{\mathfrak{p}R_{\mathfrak{p}}}^i(M_{\mathfrak{p}}) + r_P$$

5. Điều kiện để tính chất Cohen-Macaulay theo chiều $> s$ được bảo toàn qua chuyển phẳng địa phương là gì?
Trả lời: Theo Định lý 4.6 của luận án, dưới các điều kiện chuyển phẳng địa phương nêu trên với chiều thớ $r_P$, môđun $M_{\mathfrak{p}}$ là Cohen-Macaulay theo chiều $> s$ khi và chỉ khi môđun $\widehat{M}_{\mathfrak{P}}$ là Cohen-Macaulay theo chiều $> s + r_P$.

Kết luận

Luận án của tác giả Lưu Phương Thảo đã giải quyết trọn vẹn ba bài toán trọng tâm trong lý thuyết môđun trên vành Noether địa phương. Công trình đã thiết lập đặc trưng tham số hoàn chỉnh cho lớp môđun Cohen-Macaulay suy rộng chính tắc qua khái niệm hệ tham số chính tắc hoán vị được, chứng minh tính độc lập về chiều giữa quỹ tích không Cohen-Macaulay của vành và của môđun chính tắc, đồng thời xây dựng hệ thống công thức xác định tập gắn kết, chiều và số bội của đối đồng điều địa phương Artin qua chuyển phẳng tổng quát. Các kết quả này đóng góp trực tiếp vào sự phát triển của Đại số giao hoán và cung cấp cơ sở lý thuyết chuẩn xác cho các nghiên cứu tiếp theo về cấu trúc môđun và hình học đại số.