Tổng quan luận án

Nghiên cứu cấu trúc của các lớp môđun trên vành giao hoán địa phương thông qua các bất biến số học và hàm số phân bậc là một hướng tiếp cận trọng tâm trong Đại số giao hoán. Cho $(R, \mathfrak{m})$ là một vành giao hoán địa phương Noether với iđêan cực đại duy nhất $\mathfrak{m}$, và $M$ là một $R$-môđun hữu hạn sinh chiều $d$. Đối với một hệ tham số bất kỳ $\underline{x} = x_1, \dots, x_d$ của $M$, bất đẳng thức $\ell(M/\underline{x}M) \ge e(\underline{x}; M)$ luôn được thỏa mãn, trong đó $\ell(\cdot)$ biểu thị hàm độ dài và $e(\underline{x}; M)$ là số bội của $M$ đối với hệ tham số $\underline{x}$. Đẳng thức $\ell(M/\underline{x}M) = e(\underline{x}; M)$ xảy ra khi và chỉ khi $M$ là môđun Cohen-Macaulay.

Nhằm mở rộng lớp môđun Cohen-Macaulay, các lớp môđun suy rộng đã lần lượt được đề xuất:

  • Lớp môđun Buchsbaum (J. Stückrad và W. Vogel): tồn tại hằng số $C$ sao cho $\ell(M/\underline{x}M) = e(\underline{x}; M) + C$ với mọi hệ tham số $\underline{x}$.
  • Lớp môđun Cohen-Macaulay suy rộng (N. T. Cường, P. Schenzel, N. V. Trung): tồn tại hằng số $C$ sao cho $\ell(M/\underline{x}M) \le e(\underline{x}; M) + C$ với mọi hệ tham số $\underline{x}$, trong đó hằng số nhỏ nhất thỏa mãn điều kiện này là hằng số Buchsbaum $I(M) = \sum_{i=0}^{d-1} \binom{d-1}{i} \ell(H^i_{\mathfrak{m}}(M))$.
  • Lớp môđun Cohen-Macaulay dãy và Cohen-Macaulay suy rộng dãy (R. Stanley đưa ra cho trường hợp phân bậc; N. T. Cường và L. T. T. Nhàn mở rộng cho trường hợp địa phương): định nghĩa thông qua sự tồn tại của một lọc các môđun con $F: M = M_0 \supset M_1 \supset \dots \supset M_s$ thỏa mãn $\dim M_{i+1} < \dim M_i$, $\ell(M_s) < \infty$, và các nhân tử $M_i/M_{i+1}$ tương ứng là môđun Cohen-Macaulay hoặc Cohen-Macaulay suy rộng.

Bên cạnh việc sử dụng sai khác giữa độ dài và số bội, một hướng tiếp cận quan trọng khác là khảo sát các hệ số Hilbert $e_i(\mathfrak{q}; M)$ xuất hiện trong đa thức Hilbert-Samuel $P_{\mathfrak{q}}(n) = \sum_{i=0}^d (-1)^i e_i(\mathfrak{q}; M) \binom{n+d-i}{d-i}$ của môđun $M$ đối với một iđêan $\mathfrak{m}$-nguyên sơ $\mathfrak{q}$. Khi môđun con $U_M(0)$ (môđun con lớn nhất của $M$ có chiều nhỏ hơn $\dim M$) thỏa mãn $\dim U_M(0) \le 0$, cấu trúc môđun đã được đặc trưng đầy đủ qua hệ số Hilbert:

  • W. V. Vasconcelos chứng minh môđun không trộn lẫn (unmixed) $M$ là Cohen-Macaulay khi và chỉ khi $e_1(\mathfrak{q}; M) = 0$ đối với một (hoặc mọi) iđêan tham số $\mathfrak{q}$.
  • S. Goto và K. Ozeki chứng minh $M$ là Cohen-Macaulay suy rộng khi và chỉ khi tập các hệ số Hilbert $\Lambda_i(M) = {e_i(\mathfrak{q}; M)}$ là hữu hạn với mọi $i = 1, \dots, d$, khi $\mathfrak{q}$ chạy trên tập các iđêan tham số.

Khoảng trống nghiên cứu nảy sinh khi xét trường hợp $\dim U_M(0) > 0$. Khi đó, các hệ số Hilbert thông thường không còn đủ để phản ánh cấu trúc từng tầng chiều của môđun. N. T. Cường và H. L. Trường đã kết hợp hệ số Hilbert với bậc số học $\text{adeg}i(\mathfrak{q}; M)$ để đặc trưng môđun Cohen-Macaulay dãy qua điều kiện $(-1)^i e_i(\mathfrak{q}; M) = \text{adeg}{d-i}(\mathfrak{q}; M)$ với mọi $i = 0, \dots, d$, tương đương với việc đa thức hiệu chỉnh Hilbert-Samuel $P_{\mathfrak{q}, M}^{\text{ad}}(n)$ đồng nhất bằng $0$ trên tập các iđêan tham số tách biệt. Khoảng trống lý thuyết tiếp theo chính là câu hỏi: Liệu có thể đặc trưng lớp môđun Cohen-Macaulay suy rộng dãy thông qua các hệ số Hilbert hiệu chỉnh và tính hữu hạn của tập đa thức hiệu chỉnh khi $\dim U_M(0) > 0$ hay không?

Luận án xác định các mục tiêu và nhiệm vụ nghiên cứu cụ thể như sau:

  1. Mục tiêu 1: Thiết lập chặn trên đều cho chỉ số chính quy Castelnuovo-Mumford $\text{reg}(G_{\mathfrak{q}}(M))$ của môđun phân bậc liên kết $G_{\mathfrak{q}}(M)$ đối với lớp các iđêan tham số tách biệt của môđun Cohen-Macaulay suy rộng dãy.
  2. Mục tiêu 2: Khảo sát hàm hiệu chỉnh Hilbert-Samuel $H_{\mathfrak{q}, M}^{\text{ad}}(n) = \ell(M/\mathfrak{q}^{n+1}M) - \sum_{i=0}^d \text{adeg}_i(\mathfrak{q}; M) \binom{n+i}{i}$, chứng minh tính không âm và tính tăng của hàm này khi $n$ đủ lớn, đồng thời tìm một mốc chặn $N$ độc lập với iđêan tham số tách biệt $\mathfrak{q}$.
  3. Mục tiêu 3: Chứng minh định lý đặc trưng cho môđun Cohen-Macaulay suy rộng dãy thông qua tính hữu hạn của tập các đa thức hiệu chỉnh Hilbert-Samuel $P_D(M) = {P_{\mathfrak{q}, M}^{\text{ad}}(n)}$.

Câu hỏi và giả thuyết nghiên cứu của luận án:

  1. Câu hỏi nghiên cứu 1: Với môđun Cohen-Macaulay suy rộng dãy $M$, chỉ số chính quy Castelnuovo-Mumford $\text{reg}(G_{\mathfrak{q}}(M))$ có bị chặn đều khi $\mathfrak{q}$ chạy trên tập các iđêan tham số tách biệt đối với một lọc Cohen-Macaulay suy rộng hay không?
  2. Câu hỏi nghiên cứu 2: Tồn tại hay không một số nguyên $N$ độc lập với việc chọn iđêan tham số tách biệt $\mathfrak{q}$ sao cho $H_{\mathfrak{q}, M}^{\text{ad}}(n) \ge 0$ với mọi $n \ge N$?
  3. Giả thuyết nghiên cứu: Giả sử $R$ là ảnh đồng cấu của một vành Cohen-Macaulay địa phương. Môđun $M$ là Cohen-Macaulay suy rộng dãy khi và chỉ khi tập $P_D(M)$ các đa thức hiệu chỉnh Hilbert-Samuel $P_{\mathfrak{q}, M}^{\text{ad}}(n)$ ứng với các iđêan tham số tách biệt là một tập hữu hạn.

Đối tượng và phạm vi nghiên cứu:

  • Đối tượng nghiên cứu: Vành giao hoán địa phương Noether $(R, \mathfrak{m})$, $R$-môđun hữu hạn sinh $M$ chiều $d$, môđun phân bậc liên kết $G_{\mathfrak{q}}(M)$, các hệ tham số tách biệt, lọc chiều $\mathcal{D}$, lọc Cohen-Macaulay suy rộng $\mathcal{F}$, hệ số Hilbert, bậc số học và hàm/đa thức hiệu chỉnh Hilbert-Samuel.
  • Phạm vi nghiên cứu: Thuộc lĩnh vực lý thuyết Đại số giao hoán thuần túy; các kết quả đặc trưng yêu cầu vành cơ sở $(R, \mathfrak{m})$ là ảnh đồng cấu của một vành địa phương Cohen-Macaulay.

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

Luận án kế thừa và phát triển từ nhiều hệ thống công trình trong lý thuyết vành và môđun địa phương:

  • J. Stückrad và W. Vogel (1973–1986): Đặt nền móng cho lý thuyết môđun Buchsbaum, nghiên cứu cấu trúc môđun thông qua sai khác giữa độ dài và số bội đối với mọi hệ tham số.
  • N. T. Cường, P. Schenzel, N. V. Trung (1978, [43]): Mở rộng lý thuyết Buchsbaum sang lớp môđun Cohen-Macaulay suy rộng, chỉ ra tính hữu hạn sinh của các môđun đối đồng điều địa phương $H^i_{\mathfrak{m}}(M)$ với mọi $i < \dim M$ và thiết lập hằng số Buchsbaum $I(M)$.
  • R. Stanley (1979, [32]): Khởi xướng khái niệm môđun Cohen-Macaulay dãy trong đại số phân bậc phục vụ tổ hợp đại số.
  • N. T. Cường và L. T. T. Nhàn (1999, [12]), P. Schenzel (1998, [31]): Đưa ra lý thuyết môđun Cohen-Macaulay dãy và môđun Cohen-Macaulay suy rộng dãy trên vành địa phương thông qua cấu trúc lọc chiều $\mathcal{D}: M = D_0 \supset D_1 \supset \dots \supset D_t = H^0_{\mathfrak{m}}(M)$ và hệ tham số tách biệt.
  • N. T. Cường (2001, 2007, [6], [7]): Xây dựng khái niệm hệ tham số tốt và khảo sát hàm sai lệch $I_{\mathcal{D}, M}(\underline{x}) = \ell(M/\underline{x}M) - \sum_{i=0}^t e(x_1, \dots, x_{d_i}; D_i)$, đặc trưng lớp Cohen-Macaulay dãy khi $I_{\mathcal{D}, M}(\underline{x}) = 0$ và Cohen-Macaulay suy rộng dãy khi $I_{\mathcal{D}, M}(\underline{x}) \le C$.
  • W. V. Vasconcelos (2008, [14]): Đặc trưng môđun Cohen-Macaulay qua sự triệt tiêu của hệ số Hilbert bậc một $e_1(\mathfrak{q}; M) = 0$.
  • S. Goto và K. Ozeki (2011, [16]): Mở rộng kết quả của Vasconcelos để đặc trưng môđun Cohen-Macaulay suy rộng thông qua tính hữu hạn của tập hệ số Hilbert $\Lambda_i(M) = {e_i(\mathfrak{q}; M) \mid \mathfrak{q} \text{ là iđêan tham số}}$ với mọi $i=1, \dots, d$.
  • C. Trung (2001, [25]), N. V. Trung (1998, [41]): Thiết lập chặn đều cho chỉ số chính quy Castelnuovo-Mumford của môđun phân bậc liên kết $G_{\mathfrak{q}}(M)$ đối với mọi iđêan tham số $\mathfrak{q}$ của môđun Cohen-Macaulay suy rộng.
  • T. T. Tai (2007, [3]): Xây dựng ví dụ về vành Noether đầy đủ, đẳng chiều, chiều 3, Cohen-Macaulay suy rộng dãy nhưng có kiểu quan hệ không bị chặn đều, chứng minh rằng không thể tìm được chặn đều cho chỉ số chính quy trên toàn bộ tập tất cả các iđêan tham số tùy ý.
  • N. T. Cường và H. L. Trường (2012, [9]): Thiết lập mối quan hệ giữa hệ số Hilbert và bậc số học $\text{adeg}_i(\mathfrak{q}; M)$, đặc trưng môđun Cohen-Macaulay dãy thông qua sự triệt tiêu của tập đa thức hiệu chỉnh $P_D(M) = {0}$.

Vị trí của luận án: Luận án đóng vai trò giải quyết bài toán mở tiếp nối công trình của N. T. Cường - H. L. Trường [9] và S. Goto - K. Ozeki [16]. Bằng cách thu hẹp lớp iđêan tham số về lớp iđêan tham số tách biệt để vượt qua phản ví dụ của T. T. Tai [3], luận án đã mở rộng chặn đều chỉ số chính quy Castelnuovo-Mumford cho môđun Cohen-Macaulay suy rộng dãy, từ đó chứng minh tính hữu hạn của tập đa thức hiệu chỉnh Hilbert-Samuel $P_D(M)$ là điều kiện cần và đủ để đặc trưng môđun Cohen-Macaulay suy rộng dãy.

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

Luận án vận dụng các lý thuyết, khái niệm và cấu trúc đại số giao hoán sau:

  1. Lọc chiều (Dimension filtration): Cho $M$ là $R$-môđun hữu hạn sinh chiều $d$. Lọc $\mathcal{D}: M = D_0 \supset D_1 \supset \dots \supset D_t = H^0_{\mathfrak{m}}(M)$ là lọc chiều nếu thỏa mãn $\dim D_{i-1} > \dim D_i$ và $D_i$ là môđun con lớn nhất của $D_{i-1}$ có chiều nhỏ hơn $\dim D_{i-1}$. Với phân tích nguyên sơ tối tiểu $0 = \bigcap_{\mathfrak{p} \in \text{Ass}(M)} N(\mathfrak{p})$, ta có $D_i = \bigcap_{\dim(R/\mathfrak{p}) \le d_{i-1}} N(\mathfrak{p})$.
  2. Hệ tham số tách biệt và hệ tham số tốt: Một hệ tham số $x_1, \dots, x_d$ được gọi là hệ tham số tách biệt đối với lọc $\mathcal{F}: M = M_0 \supset M_1 \supset \dots \supset M_s$ nếu $(x_{\dim M_{i+1}+1}, \dots, x_d) M_i = 0$ với mọi $i = 1, \dots, s-1$. Hệ tham số là tốt nếu $(x_{\dim M_{i+1}+1}, \dots, x_d) M \cap M_i = 0$.
  3. Bậc số học (Arithmetic degree): Cho iđêan $\mathfrak{m}$-nguyên sơ $I$, bậc số học thứ $i$ của $M$ đối với $I$ được xác định bởi: $$\text{adeg}i(I; M) = \sum{\mathfrak{p} \in \text{Ass}(M),, \dim(R/\mathfrak{p})=i} \text{mult}M(\mathfrak{p}) e_0(I; R/\mathfrak{p})$$ trong đó $\text{mult}M(\mathfrak{p}) = \ell{R{\mathfrak{p}}}(H^0_{\mathfrak{p}R_{\mathfrak{p}}}(M_{\mathfrak{p}}))$ là độ dài bội của $M$ tại $\mathfrak{p}$.
  4. Chỉ số chính quy Castelnuovo-Mumford: Cho vành phân bậc chuẩn $S = \bigoplus_{n \ge 0} S_n$ và $S$-môđun phân bậc $E$, chỉ số chính quy được định nghĩa bởi: $$\text{reg}(E) = \sup{n + i \mid [H^i_{S_+}(E)]n \ne 0,, i \ge 0}$$ và chỉ số chính quy hình học $g\text{-reg}(E) = \sup{n + i \mid [H^i{S_+}(E)]_n \ne 0,, i \ge 1}$.
  5. Hàm và đa thức hiệu chỉnh Hilbert-Samuel: Hàm hiệu chỉnh được định nghĩa bởi $H_{\mathfrak{q}, M}^{\text{ad}}(n) = \ell(M/\mathfrak{q}^{n+1}M) - \sum_{i=0}^d \text{adeg}i(\mathfrak{q}; M) \binom{n+i}{i}$. Với $n \gg 0$, hàm này trở thành đa thức: $$P{\mathfrak{q}, M}^{\text{ad}}(n) = \sum_{i=1}^d \left[ (-1)^i e_i(\mathfrak{q}; M) - \text{adeg}_{d-i}(\mathfrak{q}; M) \right] \binom{n+d-i}{d-i}$$

Phương pháp nghiên cứu:

  • Phương pháp lý thuyết giải tích và đại số đồng điều: Sử dụng đối đồng điều địa phương, các dãy khớp dài của đối đồng điều địa phương, kỹ thuật môđun phân bậc liên kết $G_{\mathfrak{q}}(M)$ và công thức Serre $h_E(n) - p_E(n) = \sum_{i=0}^k (-1)^i \ell([H^i_{S_+}(E)]_n)$.
  • Kỹ thuật lọc và quy nạp: Quy nạp theo chiều của môđun, độ dài của lọc chiều và độ dài của lọc Cohen-Macaulay suy rộng.
  • Kỹ thuật phần tử lọc chính quy và phần tử bề mặt: Sử dụng phần tử bề mặt (superficial element) để bảo toàn hệ số Hilbert qua phép chia thặng dư $e_i(\mathfrak{q}; M) = e_i(\mathfrak{q}; M/xM)$, kết hợp mở rộng phẳng trung thành $R[X]_{\mathfrak{m}R[X]}$ để đảm bảo trường thặng dư vô hạn.
  • Kỹ thuật lý thuyết dãy tham số: Sử dụng lý thuyết $d$-dãy và $dd$-dãy để kiểm soát cấu trúc linh tạo của các môđun đối đồng điều địa phương $H^j_{\mathfrak{m}}(M/D_{i+1})$.

Nguồn tư liệu sử dụng: Toàn bộ tư liệu nghiên cứu được trích xuất từ các công trình công bố của các chuyên gia trong lĩnh vực Đại số giao hoán ([4], [6], [7], [9], [12], [14], [16], [25], [31], [41], [43]) và ba công trình đã công bố của tác giả luận án ([10], [11], [26]).

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

Chương 1: Chuẩn bị

Chương 1 hệ thống hóa các định nghĩa, bổ đề và công cụ toán học nền tảng làm cơ sở cho toàn bộ các chứng minh trong luận án:

  • Trình bày định nghĩa lọc chiều $\mathcal{D}: M = D_0 \supset D_1 \supset \dots \supset D_t = H^0_{\mathfrak{m}}(M)$ và tính duy nhất của lọc chiều trên môđun hữu hạn sinh qua phân tích nguyên sơ tối tiểu.
  • Định nghĩa hệ tham số tách biệt và hệ tham số tốt đối với một lọc các môđun con $\mathcal{F}: M = M_0 \supset M_1 \supset \dots \supset M_s$. Bổ đề 1.1 chứng minh rằng nếu $x_1, \dots, x_d$ là hệ tham số tách biệt đối với $\mathcal{F}$ thì với mọi bộ số nguyên dương $n_1, \dots, n_d$ đủ lớn, $x_1^{n_1}, \dots, x_d^{n_d}$ trở thành một hệ tham số tốt của $M$ đối với $\mathcal{F}$.
  • Khảo sát môđun Cohen-Macaulay dãy: Bổ đề 1.5 chứng minh khi $M$ là môđun Cohen-Macaulay dãy thì khái niệm hệ tham số tốt và hệ tham số tách biệt hoàn toàn trùng nhau. Bổ đề 1.6 thiết lập tính chất giao lũy thừa iđêan $J^n M \cap D_i = J^n D_i$ với $J$ sinh bởi một phần hệ tham số tách biệt.
  • Trình bày chỉ số chính quy Castelnuovo-Mumford $\text{reg}(E)$, chỉ số chính quy hình học $g\text{-reg}(E)$, công thức Serre kết nối hàm Hilbert và đa thức Hilbert qua các đối đồng điều địa phương phân bậc, và kỹ thuật phần tử lọc chính quy trong vành phân bậc liên kết $G_I(M) = \bigoplus_{n \ge 0} I^n M / I^{n+1} M$.
  • Nhắc lại định nghĩa hệ số Hilbert $e_i(I; M)$, chỉ số Hilbert $\rho_I(M)$ (chỉ số nhỏ nhất để hàm Hilbert-Samuel trùng với đa thức Hilbert-Samuel), cùng các tính chất của phần tử bề mặt đối với iđêan tham số.

Chương 2: Chặn đều chỉ số chính quy cho môđun Cohen-Macaulay suy rộng dãy

Chương 2 tập trung giải quyết Vấn đề 1, mở rộng kết quả của C. Trung [25] và N. V. Trung [41] từ lớp môđun Cohen-Macaulay suy rộng sang lớp môđun Cohen-Macaulay suy rộng dãy:

  • Tiết 2.1 khảo sát các tính chất đại số của môđun Cohen-Macaulay suy rộng dãy. Định nghĩa bất biến $I(\mathcal{F}, M) = \sum_{i=0}^{t-1} I(M_i/M_{i+1}) + \ell(M_t)$.
  • Bổ đề 2.7 và Định lý 2.8 chứng minh rằng nếu $M$ là môđun Cohen-Macaulay suy rộng dãy với lọc Cohen-Macaulay suy rộng $\mathcal{F}$, và $J$ là iđêan sinh bởi một phần hệ tham số tách biệt của $M$ đối với $\mathcal{F}$, thì môđun thương $M/J^n M$ tiếp tục là một môđun Cohen-Macaulay suy rộng dãy với mọi số nguyên dương $n$.
  • Thiết lập các ước lượng độ dài quan trọng: Bổ đề 2.14 chứng minh với $J = (x_2, \dots, x_d)$ và $\mathfrak{q} = (x_1, \dots, x_d)$ là iđêan tham số tách biệt, ta có bất đẳng thức: $$\ell\left( \frac{\mathfrak{q}^{n+m}M : x_1^m}{\mathfrak{q}^n M} \right) \le \ell\left( \frac{J^{n+1}M : x_1^m}{J^{n+1}M} \right) \le \binom{n+d-2}{d-2} I(\mathcal{F}, M)$$
  • Tiết 2.2 đưa ra lời giải hoàn chỉnh cho Vấn đề 1. Định lý 2.6 chứng minh: Cho $M$ là môđun Cohen-Macaulay suy rộng dãy và $\mathcal{F}$ là một lọc Cohen-Macaulay suy rộng của $M$. Khi đó tồn tại một hằng số $C_{\mathcal{F}}$ sao cho: $$\text{reg}(G_{\mathfrak{q}}(M)) \le C_{\mathcal{F}}$$ với mọi iđêan tham số tách biệt $\mathfrak{q}$ của $M$ đối với lọc $\mathcal{F}$. Do chỉ số Hilbert thỏa mãn $\rho_{\mathfrak{q}}(M) \le \text{reg}(G_{\mathfrak{q}}(M))$, kết quả này thiết lập chặn trên đều cho chỉ số Hilbert $\rho_{\mathfrak{q}}(M) \le C_{\mathcal{F}}$.

Chương 3: Về một hiệu chỉnh của hàm Hilbert-Samuel

Chương 3 tập trung phân tích hàm hiệu chỉnh Hilbert-Samuel $H_{\mathfrak{q}, M}^{\text{ad}}(n)$ và giải quyết Vấn đề 2:

  • Tiết 3.1 xét tập hợp $\mathcal{F}(M)$ gồm tất cả các lọc $\mathcal{F}: M = M_0 \supset M_1 \supset \dots \supset M_t$ có cùng độ dài $t$ với lọc chiều $\mathcal{D}$ và thỏa mãn $\ell(D_i/M_i) < \infty$ với mọi $i = 0, \dots, t$. Thiết lập mối quan hệ giữa các lọc này và bậc số học $\text{adeg}_i(\mathfrak{q}; M)$.
  • Tiết 3.2 khảo sát tính không âm tổng quát của hàm hiệu chỉnh: Định lý 3.3 chứng minh rằng nếu $R$ là ảnh đồng cấu của một vành địa phương Cohen-Macaulay, $\mathcal{F} \in \mathcal{F}(M)$ và $\mathfrak{q}$ là một iđêan tham số tách biệt đối với $\mathcal{F}$, thì tồn tại số nguyên $n_0 = n_0(\mathfrak{q})$ sao cho hàm $H_{\mathfrak{q}, M}^{\text{ad}}(n)$ là một hàm tăng và thỏa mãn $H_{\mathfrak{q}, M}^{\text{ad}}(n) \ge 0$ với mọi $n \ge n_0$.
  • Tiết 3.3 giải quyết triệt để Vấn đề 2 bằng cách kết hợp với kết quả chặn đều chỉ số chính quy ở Chương 2. Định lý 3.6 chứng minh: Cho $M$ là môđun Cohen-Macaulay suy rộng dãy và $\mathcal{F}$ là một lọc Cohen-Macaulay suy rộng của $M$. Khi đó, tồn tại một hằng số $N$ chỉ phụ thuộc vào $\mathcal{F}$ và $M$ (hoàn toàn độc lập với iđêan $\mathfrak{q}$) sao cho: $$H_{\mathfrak{q}, M}^{\text{ad}}(n) \ge 0$$ với mọi iđêan tham số tách biệt $\mathfrak{q}$ của $M$ đối với lọc $\mathcal{F}$ và với mọi số nguyên $n \ge N$.

Chương 4: Hệ số Hilbert và môđun Cohen-Macaulay suy rộng dãy

Chương 4 hoàn thành chứng minh Định lý chính của luận án:

  • Tiết 4.1 xác lập công thức đa thức hiệu chỉnh Hilbert-Samuel $P_{\mathfrak{q}, M}^{\text{ad}}(n)$ và ký hiệu $P_{\mathcal{F}}(M)$ là tập tất cả các đa thức $P_{\mathfrak{q}, M}^{\text{ad}}(n)$ khi $\mathfrak{q}$ chạy trên tập các iđêan tham số tách biệt đối với lọc $\mathcal{F}$.
  • Tiết 4.2 chứng minh điều kiện cần: Cho $M$ là môđun Cohen-Macaulay suy rộng dãy và $\mathcal{F}$ là một lọc Cohen-Macaulay suy rộng của $M$. Định lý 4.4 chứng minh tập các đa thức $P_{\mathcal{F}}(M)$ là hữu hạn. Chứng minh dựa trên việc đánh giá tập $\vee_i(M) = {(-1)^i e_i(\mathfrak{q}; M) - \text{adeg}{d-i}(\mathfrak{q}; M)}$; bằng quy nạp ta có $\vee_i(M)$ hữu hạn với $i < d$, và đối với $\vee_d(M)$, việc áp dụng chọn $n = C \ge \max{N, C{\mathcal{F}}}$ cùng bất đẳng thức $H_{\mathfrak{q}}^{\text{ad}}(n) \le g(n)$ (Bổ đề 4.2) suy ra: $$\left| (-1)^d e_d(\mathfrak{q}; M) - \text{adeg}0(\mathfrak{q}; M) \right| \le g(C) + \sum{i=1}^{d-1} C_i \binom{C+d-i}{d-i}$$ kéo theo $\vee_d(M)$ hữu hạn, và do đó $P_D(M)$ hữu hạn.
  • Tiết 4.3 chứng minh điều kiện đủ: Xây dựng tập vô hạn các hệ tham số tách biệt $S(\underline{x}; M)$ chứa các $d$-dãy và $dd$-dãy. Bổ đề 4.5 và Mệnh đề 4.6 chứng minh rằng nếu tập $\wedge_{\underline{x}}(M) = \bigcup_{\underline{y} \in S(\underline{x}; M)} \wedge(\underline{y}; M)$ hữu hạn thì $\mathfrak{m}^{\ell} H^j_{\mathfrak{m}}(M/D_{i+1}) = 0$ với mọi $j = 1, \dots, d_i - 1$, $d_i \ge 2$ và $i = 0, \dots, t-1$. Từ tiêu chuẩn đặc trưng của N. T. Cường [7], suy ra $M$ là môđun Cohen-Macaulay suy rộng dãy.
  • Định lý 4.7 tổng hợp tiêu chuẩn đặc trưng tương đương hoàn chỉnh:
    1. $M$ là một môđun Cohen-Macaulay suy rộng dãy.
    2. Với mọi $\mathcal{F} \in \mathcal{F}(M)$, tập các đa thức $P_{\mathcal{F}}(M)$ là hữu hạn.
    3. Tồn tại $\mathcal{F} \in \mathcal{F}(M)$ sao cho tập các đa thức $P_{\mathcal{F}}(M)$ là hữu hạn.
    4. Tập các đa thức $P_D(M)$ đối với lọc chiều $\mathcal{D}$ là hữu hạn.

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:

STT Tên kết quả / Định lý Nội dung toán học cốt lõi Ý nghĩa lý luận
1 Tính ổn định của thương $M/J^n M$ (Định lý 2.8) Nếu $M$ là Cohen-Macaulay suy rộng dãy và $J$ sinh bởi một phần hệ tham số tách biệt đối với lọc $\mathcal{F}$, thì $M/J^n M$ là Cohen-Macaulay suy rộng dãy với mọi $n \ge 1$. Mở rộng tính chất đóng dưới phép lấy thương theo lũy thừa iđêan tham số.
2 Chặn đều chỉ số chính quy Castelnuovo-Mumford (Định lý 2.6) Tồn tại hằng số $C_{\mathcal{F}}$ sao cho $\text{reg}(G_{\mathfrak{q}}(M)) \le C_{\mathcal{F}}$ với mọi iđêan tham số tách biệt $\mathfrak{q}$ đối với lọc Cohen-Macaulay suy rộng $\mathcal{F}$. Mở rộng kết quả của C. Trung [25] và N. V. Trung [41] cho lớp Cohen-Macaulay suy rộng dãy; giải quyết Vấn đề 1.
3 Tính không âm đều của hàm hiệu chỉnh (Định lý 3.6) Tồn tại hằng số $N$ độc lập với $\mathfrak{q}$ sao cho $H_{\mathfrak{q}, M}^{\text{ad}}(n) \ge 0$ với mọi $n \ge N$ và mọi iđêan tham số tách biệt $\mathfrak{q}$ đối với $\mathcal{F}$. Khẳng định tính không âm tiệm cận đều của hàm hiệu chỉnh Hilbert-Samuel; giải quyết Vấn đề 2.
4 Định lý đặc trưng chính (Định lý 4.7) Giả sử $R$ là ảnh đồng cấu của một vành Cohen-Macaulay địa phương. $M$ là Cohen-Macaulay suy rộng dãy $\Leftrightarrow$ tập đa thức hiệu chỉnh $P_D(M)$ là hữu hạn. Mở rộng đặc trưng của Vasconcelos [14], Goto-Ozeki [16] và Cường-Trường [9] cho trường hợp $\dim U_M(0) > 0$.

Các công trình khoa học đã công bố liên quan trực tiếp đến luận án:

  1. N. T. Cuong and N. T. Long (2013), "Uniform bound for the Castelnuovo-Mumford regularity of sequentially generalized Cohen-Macaulay modules", Communications in Algebra, Vol. 41, No. 11, pp. 4087–4098. [10]
  2. N. T. Cuong and N. T. Long (2017), "On the adjusted Hilbert-Samuel function of sequentially generalized Cohen-Macaulay modules", Algebra Colloquium, Vol. 24, No. 1, pp. 115–124. [11]
  3. N. T. Long (2016), "Characterization of sequentially generalized Cohen-Macaulay modules via adjusted Hilbert-Samuel polynomials", Journal of Pure and Applied Algebra, Vol. 220, No. 12, pp. 3762–3772. [26]

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

Hạn chế của nghiên cứu:

  • Điều kiện về vành cơ sở: Trong các định lý đặc trưng (Định lý 3.3, Định lý 4.3, Định lý 4.7), vành địa phương Noether $(R, \mathfrak{m})$ bắt buộc phải là ảnh đồng cấu của một vành địa phương Cohen-Macaulay nhằm bảo đảm sự tồn tại của hệ tham số tách biệt và tính hữu hạn sinh của các đối đồng điều địa phương theo lý thuyết đối ngẫu.
  • Phạm vi chặn đều của chỉ số chính quy: Luận án chỉ thiết lập được chặn đều cho chỉ số chính quy Castelnuovo-Mumford $\text{reg}(G_{\mathfrak{q}}(M))$ trên tập các iđêan tham số tách biệt đối với lọc Cohen-Macaulay suy rộng $\mathcal{F}$. Theo phản ví dụ của T. T. Tai [3], tính chất chặn đều này không thể mở rộng ra toàn bộ tập tất cả các iđêan tham số tùy ý của môđun.

Hướng nghiên cứu tiếp:

  • Khảo sát khả năng loại bỏ hoặc làm yếu giả thiết vành $R$ là ảnh đồng cấu của một vành Cohen-Macaulay địa phương trong định lý đặc trưng thông qua các kỹ thuật đại số đồng điều tổng quát hơn.
  • Nghiên cứu mối quan hệ giữa hàm hiệu chỉnh Hilbert-Samuel và các cấu trúc lọc phân bậc khác (như lọc đối đồng điều địa phương, lọc vi phân) trên các lớp môđun suy rộng không đẳng chiều.

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à Hình học đại số:

  • Đối tượng sử dụng:
    • Giảng viên, nghiên cứu viên chuyên ngành Đại số và Lý thuyết số, Đại số giao hoán.
    • Nghiên cứu sinh và học viên cao học nghiên cứu về lý thuyết môđun trên vành địa phương, chỉ số chính quy Castelnuovo-Mumford và bội số học.
  • Giá trị tham khảo cụ thể theo từng phần:
    • Chương 1 và Chương 2 cung cấp kỹ thuật thao tác trên lọc chiều, hệ tham số tách biệt và phương pháp đánh giá chỉ số chính quy Castelnuovo-Mumford đối với môđun phân bậc liên kết.
    • Chương 3 và Chương 4 cung cấp khung lý thuyết về hàm và đa thức hiệu chỉnh Hilbert-Samuel kết hợp với bậc số học, cùng phương pháp sử dụng $d$-dãy và $dd$-dãy để triệt tiêu các đối đồng điều địa phương.

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

1. Môđun Cohen-Macaulay suy rộng dãy trong vành địa phương được định nghĩa như thế nào?

Một lọc hữu hạn các môđun con $F: M = M_0 \supset M_1 \supset \dots \supset M_s$ của $M$ được gọi là lọc Cohen-Macaulay suy rộng nếu $\dim M_i > \dim M_{i+1}$, $\ell(M_s) < \infty$ và các môđun thương $M_i/M_{i+1}$ là môđun Cohen-Macaulay suy rộng với mọi $i = 0, \dots, s-1$. Môđun $M$ được gọi là Cohen-Macaulay suy rộng dãy nếu $M$ tồn tại một lọc Cohen-Macaulay suy rộng.

2. Thế nào là một hệ tham số tách biệt của môđun đối với một lọc?

Cho lọc các môđun con $\mathcal{F}: M = M_0 \supset M_1 \supset \dots \supset M_s$. Hệ tham số $x_1, \dots, x_d$ của $M$ được gọi là hệ tham số tách biệt đối với lọc $\mathcal{F}$ nếu thỏa mãn điều kiện $(x_{\dim M_{i+1}+1}, \dots, x_d) M_i = 0$ với mọi $i = 1, \dots, s-1$. Khi $\mathcal{F}$ là lọc chiều $\mathcal{D}$, hệ tham số đó được gọi đơn giản là hệ tham số tách biệt của $M$.

3. Hàm hiệu chỉnh Hilbert-Samuel và đa thức hiệu chỉnh Hilbert-Samuel được xác định bởi biểu thức nào?

Hàm hiệu chỉnh Hilbert-Samuel của $M$ đối với iđêan tham số $\mathfrak{q}$ là: $$H_{\mathfrak{q}, M}^{\text{ad}}(n) = \ell(M/\mathfrak{q}^{n+1}M) - \sum_{i=0}^d \text{adeg}i(\mathfrak{q}; M) \binom{n+i}{i}$$ Khi $n \gg 0$, hàm này trở thành đa thức hiệu chỉnh Hilbert-Samuel: $$P{\mathfrak{q}, M}^{\text{ad}}(n) = \sum_{i=1}^d \left[ (-1)^i e_i(\mathfrak{q}; M) - \text{adeg}_{d-i}(\mathfrak{q}; M) \right] \binom{n+d-i}{d-i}$$

4. Vì sao chỉ số chính quy Castelnuovo-Mumford chỉ được xét chặn đều trên tập các iđêan tham số tách biệt?

Vì T. T. Tai [3, Example 2.10] đã xây dựng một ví dụ về vành Noether địa phương đầy đủ, đẳng chiều, chiều 3, là Cohen-Macaulay suy rộng dãy nhưng có kiểu quan hệ không bị chặn đều trên tập tất cả các iđêan tham số. Do đó, chỉ số chính quy Castelnuovo-Mumford $\text{reg}(G_{\mathfrak{q}}(M))$ không thể bị chặn đều trên toàn bộ tập các iđêan tham số tùy ý, mà bắt buộc phải giới hạn trên lớp các iđêan tham số tách biệt.

5. Nội dung kết quả đặc trưng chính của luận án là gì?

Giả sử $R$ là ảnh đồng cấu của một vành Cohen-Macaulay địa phương. Môđun $M$ là Cohen-Macaulay suy rộng dãy khi và chỉ khi tập $P_D(M)$ gồm tất cả các đa thức hiệu chỉnh Hilbert-Samuel $P_{\mathfrak{q}, M}^{\text{ad}}(n)$, với $\mathfrak{q}$ chạy trên tập các iđêan tham số tách biệt của $M$, là một tập hữu hạn (hoặc tương đương, tập $P_{\mathcal{F}}(M)$ là hữu hạn với mọi hoặc tồn tại một lọc $\mathcal{F} \in \mathcal{F}(M)$).

Kết luận

Luận án đã giải quyết bài toán đặc trưng môđun Cohen-Macaulay suy rộng dãy thông qua các hệ số Hilbert hiệu chỉnh và bậc số học trên vành địa phương Noether khi $\dim U_M(0) > 0$. Tác giả đã thiết lập thành công chặn trên đều cho chỉ số chính quy Castelnuovo-Mumford của môđun phân bậc liên kết và chứng minh tính không âm tiệm cận đều của hàm hiệu chỉnh Hilbert-Samuel trên lớp các iđêan tham số tách biệt. Kết quả trung tâm khẳng định tính hữu hạn của tập đa thức hiệu chỉnh Hilbert-Samuel là điều kiện cần và đủ để đặc trưng môđun Cohen-Macaulay suy rộng dãy, hoàn thiện một chuỗi các mở rộng lý thuyết từ lớp môđun Cohen-Macaulay, Cohen-Macaulay suy rộng đến môđun Cohen-Macaulay dãy trong Đại số giao hoán.