Luận án tiến sĩ về dáng điệu tiệm cận và bất biến của lũy thừa các iđêan phủ

Luận án tiến sĩ phân tích dáng điệu tiệm cận của một số bất biến của lũy thừa các iđêan phủ, xây dựng cơ sở lý luận, kiểm chứng thực nghiệm, đóng góp tri thức mới cho ngành.

• Tác giả: Nguyễn Thu Hằng
• Người hướng dẫn: TS. Trần Nam Trung
• Trường học: Viện Toán học
• Chuyên ngành: Đại số và Lý thuyết số
• Đề tài: Dáng Điệu Tiệm Cận Của Một Số Bất Biến Của Lũy Thừa Các Iđêan Phủ
• Loại tài liệu: luận án tiến sĩ
• Năm xuất bản: 2019
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI CẢM ƠN
• BẢNG CÁC KÝ HIỆU
• DANH SÁCH HÌNH VẼ
• MỞ ĐẦU
• 1. CHƯƠNG 1: KIẾN THỨC CHUẨN BỊ
• 1.1. Độ sâu và chỉ số chính quy. Siêu đồ thị cân bằng và siêu đồ thị unimodular. Một số cách mô tả iđêan đơn thức không chứa bình phương
• 1.2. Iđêan Stanley-Reisner. Iđêan phủ của siêu đồ thị. Công thức Takayama. Tập lồi đa diện và bài toán quy hoạch tuyến tính. Phức bậc và đa diện lồi
• 2. CHƯƠNG 2: TÍNH ỔN ĐỊNH CỦA HÀM ĐỘ SÂU
• 2.1. Tính giảm của hàm độ sâu và chặn trên chỉ số ổn định
• 2.2. Dáng điệu của hàm độ sâu của iđêan phủ liên kết với siêu đồ thị cân bằng
• 2.3. Dáng điệu hàm độ sâu của iđêan phủ liên kết với đồ thị hai phần
• 3. CHƯƠNG 3: TÍNH ỔN ĐỊNH CỦA CHỈ SỐ CHÍNH QUY
• 3.1. Chỉ số chính quy của lũy thừa các iđêan đơn thức không chứa bình phương
• 3.2. Dáng điệu tiệm cận của các bất biến ai (R/J(H)s) và chỉ số chính quy reg J(H)s
• KẾT LUẬN
• TÀI LIỆU THAM KHẢO
• BẢNG THUẬT NGỮ

Tóm tắt

I. Giới thiệu về bất biến và lũy thừa

Nghiên cứu về bất biến trong Đại số giao hoán, đặc biệt là độ sâu và chỉ số chính quy Castelnuovo-Mumford, là một lĩnh vực quan trọng. Luận án này tập trung vào việc phân tích tính ổn định của hai bất biến này khi áp dụng cho lũy thừa của iđêan phủ liên kết với các siêu đồ thị. Đặc biệt, các siêu đồ thị unimodular và cân bằng được xem xét kỹ lưỡng. Kết quả cho thấy rằng khi lũy thừa đủ lớn, độ sâu và chỉ số chính quy có những tính chất ổn định rõ rệt. Điều này không chỉ có ý nghĩa lý thuyết mà còn có ứng dụng thực tiễn trong việc giải quyết các bài toán trong Đại số và Hình học Đại số.

1.1. Tính chất của lũy thừa

Lũy thừa của iđêan phủ có những tính chất đặc biệt. Cụ thể, độ sâu của lũy thừa này có thể được chứng minh là một hàm giảm khi số mũ đủ lớn. Điều này có nghĩa là độ sâu không tăng lên khi lũy thừa được tăng cường. Hơn nữa, các kết quả từ M. Brodmann cho thấy rằng độ sâu của các iđêan thuần nhất cũng có tính ổn định tương tự. Những phát hiện này mở ra hướng nghiên cứu mới cho các nhà toán học trong việc tìm hiểu sâu hơn về mối quan hệ giữa các bất biến trong Đại số.

II. Dáng điệu tiệm cận của bất biến

Nghiên cứu về dáng điệu tiệm cận của các bất biến như chỉ số chính quy Castelnuovo-Mumford là một phần quan trọng trong luận án. Khi xem xét lũy thừa của iđêan đơn thức không chứa bình phương, các kết quả cho thấy rằng chỉ số chính quy có thể được mô tả bằng một hàm tuyến tính khi số mũ đủ lớn. Điều này có ý nghĩa quan trọng trong việc hiểu rõ hơn về cấu trúc đại số của các môđun phân bậc. Việc xác định các hệ số trong hàm tuyến tính này cũng là một thách thức lớn trong nghiên cứu.

2.1. Ứng dụng thực tiễn

Các kết quả về dáng điệu tiệm cận không chỉ có giá trị lý thuyết mà còn có ứng dụng thực tiễn trong nhiều lĩnh vực khác nhau. Chẳng hạn, trong việc tối ưu hóa các mô hình toán học, các bất biến này có thể giúp xác định các điều kiện cần thiết để đạt được các giải pháp tối ưu. Hơn nữa, việc hiểu rõ về tính ổn định của các bất biến cũng có thể hỗ trợ trong việc phát triển các thuật toán hiệu quả hơn trong các bài toán tối ưu hóa phức tạp.

III. Kết luận và hướng nghiên cứu tiếp theo

Luận án đã đạt được những kết quả quan trọng về tính ổn định của độ sâu và chỉ số chính quy của lũy thừa các iđêan phủ. Những phát hiện này không chỉ làm sáng tỏ các vấn đề lý thuyết mà còn mở ra nhiều hướng nghiên cứu mới. Các nhà nghiên cứu có thể tiếp tục khai thác các bất biến này trong các bối cảnh khác nhau, từ Đại số giao hoán đến Hình học Đại số. Hơn nữa, việc áp dụng các kết quả này vào các bài toán thực tiễn sẽ là một thách thức thú vị cho các nhà toán học trong tương lai.

3.1. Hướng nghiên cứu tương lai

Hướng nghiên cứu tiếp theo có thể tập trung vào việc mở rộng các kết quả hiện tại sang các lớp iđêan khác, cũng như nghiên cứu sâu hơn về mối quan hệ giữa các bất biến trong các bối cảnh khác nhau. Việc áp dụng các phương pháp mới trong nghiên cứu các bất biến này cũng sẽ là một lĩnh vực đầy hứa hẹn cho các nhà toán học trong tương lai.

Nội dung chính

Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Thu Hằng có tiêu đề "Dáng điệu tiệm cận của một số bất biến của lũy thừa các iđêan phủ", được thực hiện tại Viện Toán học thuộc Viện Hàn lâm Khoa học và Công nghệ Việt Nam dưới sự hướng dẫn khoa học của TS. Trần Nam Trung và GS. Lê Thị Thanh Nhàn, bảo vệ năm 2019 thuộc chuyên ngành Đại số và Lý thuyết số (mã số 9 46 01 04).

Về tính cấp thiết và khoảng trống nghiên cứu, trong đại số giao hoán, nghiên cứu tính ổn định của các bất biến liên kết với lũy thừa iđêan là một chủ đề lâu đời, bắt nguồn từ kết quả kinh điển của Hilbert và Samuel [47] vào thập niên 50 của thế kỷ 20 về tính đa thức của hàm độ dài $\ell(R/\mathfrak{m}^s)$ khi số mũ $s$ đủ lớn. Đến năm 1979, M. Brodmann [9, 10] chứng minh tập các iđêan nguyên tố liên kết $\text{Ass}(R/I^s)$ và dãy độ sâu ${\text{depth}(R/I^s)}{s \in \mathbb{N}}$ sẽ ổn định thành hằng số khi số mũ $s$ đủ lớn, đồng thời xác lập bất đẳng thức $\lim{s \to \infty} \text{depth}(R/I^s) \le \dim R - \ell(I)$, với $\ell(I)$ là độ trải giải tích của iđêan $I$. Tuy nhiên, khi số mũ $s$ nhỏ hơn chỉ số ổn định độ sâu $\text{dstab}(I)$, dáng điệu của hàm độ sâu rất phức tạp. T. Hibi [31] từng đưa ra giả thuyết rằng nếu $I$ là iđêan đơn thức không chứa bình phương thì hàm độ sâu là hàm giảm. Dù vậy, T. Škrekovski [44] vào năm 2014 đã đưa ra phản ví dụ với một đồ thị 12 đỉnh có hàm độ sâu không giảm. Hơn nữa, T.N. Trung [26] chỉ ra rằng với iđêan đơn thức bất kỳ, hàm độ sâu có thể là một hàm số học hội tụ tùy ý. Đối với chỉ số ổn định độ sâu, giả thuyết của J. Qureshi [35] cho rằng $\text{dstab}(I) \le \ell(I)$ mới chỉ được kiểm chứng trên một số lớp iđêan hẹp. Mặt khác, đối với chỉ số chính quy Castelnuovo-Mumford $\text{reg}(I^s)$, dù D. Eisenbud, B. Ulrich [18] và V. Kodiyalam [46] (1999) đã chứng minh tồn tại các số nguyên không âm $d, e, s_0$ sao cho $\text{reg}(I^s) = ds + e$ với mọi $s \ge s_0$, việc xác định chính xác hằng số $e$, chặn trên cho vị trí ổn định $s_0$, cũng như dáng điệu tiệm cận của các bất biến thành phần $a_i(R/I^s)$ vẫn là những bài toán mở phức tạp do tồn tại các trường hợp giới hạn vô tỷ theo phản ví dụ của S. Cutkosky [17].

Luận án tập trung giải quyết các bài toán và câu hỏi nghiên cứu cụ thể sau đây (được đánh số theo văn bản):

1. Vấn đề 1: Dáng điệu của hàm độ sâu $s \mapsto \text{depth } R/I^s$ sẽ như thế nào khi $s < \text{dstab}(I)$? Cụ thể, hàm độ sâu của iđêan phủ $J(H)$ liên kết với lớp siêu đồ thị cân bằng có tính giảm hay không?
2. Vấn đề 2: Xác định chặn trên cho chỉ số ổn định độ sâu $\text{dstab}(I)$ khi $I = J(H)$ là iđêan phủ của siêu đồ thị cân bằng, siêu đồ thị unimodular và đồ thị hai phần.
3. Bài toán về chỉ số chính quy: Khảo sát dáng điệu tiệm cận của các bất biến $a_i(R/J(H)^s)$ và $\text{reg } J(H)^s$ khi $H$ là siêu đồ thị unimodular; xác định xem $a_i(R/J(H)^s)$ có tiệm cận đến hàm tuyến tính hay không, đồng thời tìm chặn trên cho hằng số $e$ và vị trí ổn định $s_0$.

Đối tượng nghiên cứu của luận án là lớp iđêan phủ $J(H)$ liên kết với siêu đồ thị đơn $H = (V, E)$ (cụ thể là hai lớp siêu đồ thị cân bằng và siêu đồ thị unimodular, cùng trường hợp riêng là đồ thị hai phần) trong vành đa thức $R = k[x_1, \dots, x_n]$ trên trường $k$. Phạm vi nghiên cứu tập trung vào dáng điệu tiệm cận của hai bất biến đại số giao hoán gồm độ sâu $\text{depth } R/J(H)^s$ và chỉ số chính quy Castelnuovo-Mumford $\text{reg } J(H)^s$ (cùng các bất biến đối đồng điều địa phương $a_i(R/J(H)^s)$) khi số mũ lũy thừa $s$ tăng tiến.

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 được xây dựng từ các mốc phát triển chính của lý thuyết ổn định tiệm cận trong đại số giao hoán và đại số tổ hợp:

• Nghiên cứu về hàm độ dài và độ sâu: Công trình của Hilbert - Samuel [47] đặt nền móng cho các hàm số học của lũy thừa iđêan. Các bài báo năm 1979 của M. Brodmann [9, 10] chứng minh tính ổn định của tập iđêan nguyên tố liên kết $\text{Ass}(R/I^s)$ và tính dừng của dãy độ sâu ${\text{depth } R/I^s}_{s \in \mathbb{N}}$. J. Herzog và N.V. Trung [33] chứng minh bất đẳng thức giới hạn của Brodmann trở thành đẳng thức khi vành phân bậc liên kết là Cohen-Macaulay.
• Giả thuyết về tính giảm của độ sâu và các phản ví dụ: Giả thuyết của T. Hibi [31] về tính giảm của hàm độ sâu đối với iđêan đơn thức không chứa bình phương được kiểm chứng trên lớp iđêan có thương tuyến tính. Phản ví dụ năm 2014 của T. Škrekovski [44] chứng minh sự tồn tại của iđêan phủ $J(H_4)$ từ đồ thị 12 đỉnh có $\text{depth } R/J(H_4)^3 = 0 < 4 = \text{depth } R/J(H_4)^4$. Nghiên cứu của T.N. Trung [26] khẳng định hàm độ sâu của iđêan đơn thức có thể hội tụ theo bất kỳ hàm số học nào. Một số lớp iđêan có hàm độ sâu giảm sau đó được khảo sát bởi C.A. Francisco, H.T. Hà, A. Van Tuyl [14] (đối với đồ thị hai phần), J. Martinez-Bernal, Y. Pitones, C. Villarreal [39], cùng các tác giả trong [27, 37, 51].
• Giả thuyết về chỉ số ổn định độ sâu: J. Qureshi [35] năm 2005 đề xuất giả thuyết $\text{dstab}(I) \le \ell(I)$, đã được xác nhận cho iđêan Veronese không chứa bình phương [31], iđêan polymatroidal [35], và iđêan cạnh của đồ thị bởi Villarreal [58].
• Nghiên cứu về chỉ số chính quy Castelnuovo-Mumford: Kết quả độc lập của D. Eisenbud, B. Ulrich [18] và V. Kodiyalam [46] năm 1999 khẳng định tính tuyến tính $\text{reg}(I^s) = ds + e$ khi $s \ge s_0$. S. Cutkosky [17] chỉ ra ví dụ $\lim_{s \to \infty} \text{reg}(I^s)/s$ là số vô tỷ khiến $a_i(R/I^s)$ không tuyến tính. L. Trung [41] năm 2010 chứng minh $a_i(R/I^s)$ là hàm tựa tuyến tính với iđêan đơn thức không chứa bình phương. Các chặn trên cho $s_0$ được nghiên cứu cho iđêan cạnh đồ thị rừng và unicyclic bởi Alilooee, Beyarslan, Hà [3, 7, 45], hay iđêan $\mathfrak{m}$-nguyên sơ bởi Bruns, Conca [6, 13].

Khoảng trống nghiên cứu mà luận án lựa chọn giải quyết là: thứ nhất, mở rộng kết quả về tính giảm của hàm độ sâu từ phạm vi đồ thị hai phần sang lớp siêu đồ thị cân bằng và siêu đồ thị unimodular; thứ hai, thiết lập chặn trên hữu hạn, tường minh cho chỉ số ổn định độ sâu $\text{dstab}(J(H))$; thứ ba, chứng minh tính tiệm cận tuyến tính thực sự của các bất biến $a_i(R/J(H)^s)$ và chỉ số chính quy $\text{reg } J(H)^s$ đối với iđêan phủ của siêu đồ thị unimodular, đồng thời xác định cụ thể các chặn trên cho hệ số tự do $e$ và vị trí bắt đầu ổn định $s_0$.

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ông cụ đại số giao hoán kết hợp hình học tổ hợp sau:

• Khung lý thuyết đại số giao hoán: Xét vành đa thức $R = k[x_1, \dots, x_n]$ trên trường $k$, phân bậc chuẩn, với iđêan cực đại $\mathfrak{m} = (x_1, \dots, x_n)$. Các công cụ cốt lõi gồm hàm tử xoắn $\Gamma_\mathfrak{m}(M)$, môđun đối đồng điều địa phương $H_\mathfrak{m}^i(M)$, độ sâu $\text{depth } M = \min{i \mid H_\mathfrak{m}^i(M) \ne 0}$, bất biến $a_i(M) = \max{t \mid H_\mathfrak{m}^i(M)t \ne 0}$, và chỉ số chính quy Castelnuovo-Mumford $\text{reg}(M) = \max{a_i(M) + i \mid i \ge 0}$ hoặc thông qua giải tự do tối tiểu $\text{reg}(M) = \max{j - i \mid \beta{i,j}(M) \ne 0}$. Vành Rees $R(I) = \bigoplus_{n \ge 1} I^n$, độ trải giải tích $\ell(I) = \dim R(I)/\mathfrak{m}R(I)$, lũy thừa thông thường $I^m$ và lũy thừa hình thức $I^{(m)}$.
• Khung lý thuyết tổ hợp và siêu đồ thị: Siêu đồ thị đơn $H = (V, E)$ với tập đỉnh $V = {1, \dots, n}$ và tập cạnh $E = {E_1, \dots, E_m}$. Ma trận liên thuộc $A(H) = (a_j^i){m \times n}$ với $a_j^i = 1$ nếu $i \in E_j$ và $0$ nếu ngược lại. Siêu đồ thị cân bằng là siêu đồ thị mà mọi chu trình lẻ đều chứa một cạnh có ít nhất ba đỉnh của chu trình; tương đương với việc ma trận liên thuộc không chứa ma trận con dạng chu trình lẻ $B_k$ (tổng hàng và cột bằng 2). Siêu đồ thị unimodular là siêu đồ thị có ma trận liên thuộc $A(H)$ là ma trận unimodular hoàn toàn (mọi ma trận vuông con có định thức bằng $-1, 0$ hoặc $1$). Iđêan phủ $J(H) = \bigcap{E \in E} (x_i \mid i \in E) = (\prod_{i \in \tau} x_i \mid \tau \text{ là phủ đỉnh tối tiểu})$. Iđêan cạnh $I(H) = (\prod_{i \in E} x_i \mid E \in E)$. Đối ngẫu Alexander $I^* = \mathfrak{m}{a_1} \cap \dots \cap \mathfrak{m}{a_r}$. Phức đơn hình Stanley-Reisner $\Delta(I)$, phức sao $\text{st}_\Delta F$, phức acyclic.
• Khung lý thuyết hình học lồi và quy hoạch tuyến tính: Không gian Euclid $\mathbb{R}^n$, bao afin, tập lồi đa diện xác định bởi hệ bất phương trình $Ax \le b$, đa diện lồi, siêu phẳng tựa, mặt cực đại, đỉnh nguyên; bài toán quy hoạch tuyến tính $\max{cx \mid Ax \le b}$ và định lý đối ngẫu $\max{cx \mid Ax \le b} = \min{yb \mid y \ge 0, yA = c}$ theo A. Schrijver [53] và G.L. Nemhauser, L.A. Wolsey [42].

Về phương pháp nghiên cứu thực tế, luận án sử dụng phương pháp suy diễn toán học thuần túy, kết hợp giữa đại số giao hoán, lý thuyết đồ thị và hình học đa diện lồi thông qua các bước kỹ thuật then chốt:

1. Sử dụng công thức Takayama [54] (được mở rộng từ công thức Hochster [43] và mô tả lại bởi Lê Tuấn Hoa [23]): $$\dim_k H_\mathfrak{m}^i(R/I)\alpha = \dim_k \widetilde{H}{i - |CS_\alpha| - 1}(\Delta_\alpha(I); k)$$ trong đó $CS_\alpha = {i \mid \alpha_i < 0}$ là đối giá của $\alpha$, và $\Delta_\alpha(I)$ là phức bậc của $I$ ứng với $\alpha$. Công thức này cho phép chuyển đổi việc tính toán môđun đối đồng điều địa phương sang khảo sát tính triệt tiêu của đồng điều đơn hình rút gọn của phức bậc.
2. Thiết lập tính không xoắn của iđêan phủ: Đối với siêu đồ thị cân bằng và unimodular, $J(H)$ là iđêan Menger không xoắn, do đó $J(H)^m = J(H)^{(m)}$ với mọi $m \ge 1$ (theo J. Herzog, T. Hibi, X. Zheng [34] và Y. Gu, T.N. Trung [24]). Khi đó phức bậc có dạng: $$\Delta_\alpha(J(H)^m) = \left\langle V \setminus E ;\middle|; E \in E, \sum_{i \in E} \alpha_i \le m - 1 \right\rangle$$
3. Chuyển đổi phức bậc sang hệ bất phương trình tuyến tính trong $\mathbb{R}^n$ để định nghĩa các tập lồi đa diện $C_t, P_t$ và bao đóng $\overline{C}_t = t\overline{C}_1$.
4. Khai thác tính nguyên của đỉnh đa diện: Luận án chứng minh mọi đỉnh của $\overline{C}_1$ đều là đỉnh nguyên thuộc ${0, 1}^n$ nhờ tính chất cân bằng và unimodular của ma trận liên thuộc.
5. Vận dụng định lý đối ngẫu của quy hoạch tuyến tính và phân tích vector afin để thiết lập sự tồn tại của các điểm nguyên trong $P_t$ và $P_{t+1}$, chứng minh tính không acyclic của phức bậc tương ứng.

Nguồn tư liệu và dữ liệu của luận án là các đối tượng toán học trừu tượng (vành đa thức, họ siêu đồ thị, phức đơn hình, hệ ma trận liên thuộc và các đa diện lồi tương ứng), được xử lý bằng các công cụ chứng minh giải tích và đại số tổ hợp, không sử dụng dữ liệu thực nghiệm hay khảo sát thống kê.

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

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

Chương 1 gồm 6 tiểu mục, hệ thống hóa các kiến thức nền tảng và chứng minh các bổ đề hình học lồi quan trọng phục vụ cho các chương tiếp theo:

• Mục 1.1: Nhắc lại các định nghĩa và tính chất cơ bản về môđun đối đồng điều địa phương $H_\mathfrak{m}^i(M)$, phần tử chính quy, dãy chính quy cực đại, độ sâu $\text{depth } M = \min{i \mid H_\mathfrak{m}^i(M) \ne 0}$, bất biến $a_i(M)$ và chỉ số chính quy Castelnuovo-Mumford $\text{reg}(M)$.
• Mục 1.2: Định nghĩa siêu đồ thị đơn $H = (V, E)$, ma trận liên thuộc $A(H)$, siêu đồ thị cân bằng và siêu đồ thị unimodular. Chứng minh Mệnh đề 1.12 khẳng định mọi siêu đồ thị unimodular đều là siêu đồ thị cân bằng, đồng thời dẫn ra Ví dụ 1.13 về siêu đồ thị cân bằng 10 đỉnh có $\det(A(H)) = 2$ để khẳng định chiều ngược lại không đúng.
• Mục 1.3: Trình bày ba cách mô tả iđêan đơn thức không chứa bình phương gồm iđêan Stanley-Reisner $I_\Delta$, iđêan phủ $J(H)$ và iđêan cạnh $I(H)$, cùng phép biến đổi đối ngẫu Alexander $I^*$.
• Mục 1.4: Trình bày đồng điều rút gọn của phức đơn hình $\widetilde{H}i(\Delta; k)$ và công thức Takayama (Định lý 1.27) liên kết thành phần phân bậc $H\mathfrak{m}^i(R/I)\alpha$ với đồng điều của phức bậc $\Delta\alpha(I)$. Phân tích tính không xoắn của iđêan phủ siêu đồ thị cân bằng $J(H)^m = J(H)^{(m)}$ (Bổ đề 1.31).
• Mục 1.5: Giới thiệu tập afin, nửa không gian đóng, tập lồi đa diện, đa diện lồi và định lý đối ngẫu quy hoạch tuyến tính (Định lý 1.37) theo Schrijver [53].
• Mục 1.6: Khảo sát hình học của phức bậc và đa diện lồi. Với hệ bất phương trình xác định tập $C_t$ và $P_t$, luận án chứng minh ba kết quả kỹ thuật cốt lõi:
  • Bổ đề 1.40: Bao đóng $\overline{C}_1$ là đa diện lồi và có chiều đầy đủ $\dim \overline{C}_1 = n$.
  • Bổ đề 1.42 và Hệ quả 1.43: Nếu $H$ là siêu đồ thị cân bằng (hoặc unimodular) thì mọi đỉnh của $\overline{C}_1$ đều là các đỉnh nguyên không âm (thuộc ${0, 1}^n$).
  • Bổ đề 1.46: Với số nguyên $t \ge 1$, nếu $P_t \cap \mathbb{N}^n \ne \emptyset$ thì $P_{t+1} \cap \mathbb{N}^n \ne \emptyset$ và $P_n \cap \mathbb{N}^n \ne \emptyset$.

Chương 2: Tính ổn định của hàm độ sâu

Chương 2 gồm 3 tiểu mục, tập trung giải quyết trọn vẹn Vấn đề 1 và Vấn đề 2 cho lớp siêu đồ thị cân bằng, siêu đồ thị unimodular và đồ thị hai phần:

• Mục 2.1: Phân tích tổng quan về hàm độ sâu $\text{depth } R/I^s$, giới hạn Brodmann $\lim_{s \to \infty} \text{depth } R/I^s \le n - \ell(I)$, khái niệm chỉ số ổn định $\text{dstab}(I)$, nhắc lại phản ví dụ Škrekovski [44] (Hình 2.1 với đồ thị $H_4$ có $\text{depth } R/J(H_4)^3 = 0 < 4 = \text{depth } R/J(H_4)^4$), và giới thiệu giả thuyết Qureshi [35].
• Mục 2.2: Nghiên cứu dáng điệu hàm độ sâu của iđêan phủ liên kết với siêu đồ thị cân bằng. Luận án thiết lập kết quả trung tâm:
  • Định lý 2.2: Cho $H$ là siêu đồ thị cân bằng. Khi đó hàm độ sâu của iđêan phủ $J(H)$ là hàm giảm, tức là $\text{depth } R/J(H)^t \ge \text{depth } R/J(H)^{t+1}$ với mọi $t \ge 1$.
  • Kỹ thuật chứng minh: Đặt $d = \text{depth } R/J(H)^t$, tồn tại $\alpha \in \mathbb{Z}^n$ sao cho $H_\mathfrak{m}^d(R/J(H)^t)\alpha \ne 0$, dẫn đến $\Delta\alpha(J(H)^t)$ không acyclic. Bằng việc thu hẹp về vành con $S = k[x_1, \dots, x_p]$ ứng với $V \setminus CS_\alpha$, ta thu được vector nguyên $\alpha^* \in P_t \cap \mathbb{N}^p$. Áp dụng Bổ đề 1.46, tồn tại $\beta \in P_{t+1} \cap \mathbb{N}^p$ sao cho $\Delta_\beta(J(H_0)^{t+1}) = \Delta_{\alpha^*}(J(H_0)^t)$. Xây dựng vector $\beta' \in \mathbb{Z}^n$ có $CS_{\beta'} = CS_\alpha$, suy ra $\dim_k H_\mathfrak{m}^d(R/J(H)^{t+1}){\beta'} = \dim_k H\mathfrak{m}^d(R/J(H)^t)_\alpha \ne 0$, dẫn đến $\text{depth } R/J(H)^{t+1} \le d$.
  • Hệ quả 2.5: Do mọi siêu đồ thị unimodular đều là cân bằng, hàm độ sâu $\text{depth } R/J(H)^s$ của siêu đồ thị unimodular cũng là hàm giảm.
  • Định lý 2.3: Cho $H$ là siêu đồ thị cân bằng trên tập đỉnh có lực lượng $n$. Khi đó $\text{depth } R/J(H)^t = n - \ell(J(H))$ với mọi $t \ge n$. Đặc biệt, chỉ số ổn định độ sâu thỏa mãn $\text{dstab}(J(H)) \le n$.
• Mục 2.3: Nghiên cứu trường hợp đồ thị hai phần $G$. Do đồ thị hai phần là trường hợp riêng của siêu đồ thị cân bằng khi mọi cạnh có lực lượng bằng 2, luận án thu lại kết quả về tính giảm của hàm độ sâu và chứng minh được chặn trên tốt hơn: $\text{dstab}(J(G)) \le \ell(J(G))$, xác nhận tính đúng đắn của giả thuyết J. Qureshi đối với iđêan phủ của đồ thị hai phần.

Chương 3: Tính ổn định của chỉ số chính quy

Chương 3 gồm 2 tiểu mục, giải quyết bài toán tiệm cận tuyến tính của các bất biến đối đồng điều địa phương và chỉ số chính quy Castelnuovo-Mumford:

• Mục 3.1: Tổng quan bài toán chỉ số chính quy của lũy thừa iđêan đơn thức không chứa bình phương, thảo luận kết quả của Kodiyalam [46] và Trung [18] về dạng tuyến tính $ds + e$, phân tích hiện tượng giới hạn vô tỷ của Cutkosky [17] và tính tựa tuyến tính của L. Trung [41].
• Mục 3.2: Chứng minh dáng điệu tiệm cận của bất biến $a_i(R/J(H)^s)$ và chỉ số chính quy $\text{reg } J(H)^s$ khi $H$ là siêu đồ thị unimodular:
  • Định lý 3.10: Với $J(H)$ là iđêan phủ của siêu đồ thị unimodular $H$, bất biến $a_i(R/J(H)^s)$ có tính chất tiệm cận tuyến tính khi số mũ $s$ đủ lớn.
  • Định lý 3.11: Tồn tại số nguyên $e$ sao cho $\text{reg } J(H)^s = d(J(H))s + e$ với mọi số mũ $s \ge r n^2 + 1$, trong đó $d(J(H))$ là bậc cực đại của các phần tử trong tập sinh tối tiểu của $J(H)$, $r$ là hạng của siêu đồ thị $H$, và hệ số tự do $e$ thỏa mãn chặn trên: $$e \le \dim R/J(H) - d(J(H)) + 1$$

Bảng dưới đây tổng hợp các kết quả chính được thiết lập trong luận án theo từng chương và đối tượng nghiên cứu:

Chương	Đối tượng nghiên cứu	Bất biến khảo sát	Kết quả toán học chính	Vị trí định lý
Chương 1	Siêu đồ thị cân bằng và unimodular	Đa diện lồi $\overline{C}_1$ và tập $P_t$	$\dim \overline{C}_1 = n$; mọi đỉnh của $\overline{C}1$ là đỉnh nguyên không âm ${0, 1}^n$; nếu $P_t \cap \mathbb{N}^n \ne \emptyset$ thì $P{t+1} \cap \mathbb{N}^n \ne \emptyset$ và $P_n \cap \mathbb{N}^n \ne \emptyset$	Bổ đề 1.40, Bổ đề 1.42, Hệ quả 1.43, Bổ đề 1.46
Chương 2	Siêu đồ thị cân bằng	Độ sâu $\text{depth } R/J(H)^s$	Hàm độ sâu là hàm giảm ($\text{depth } R/J(H)^t \ge \text{depth } R/J(H)^{t+1}, \forall t \ge 1$)	Định lý 2.2
Chương 2	Siêu đồ thị cân bằng	Chỉ số ổn định độ sâu $\text{dstab}$	$\text{depth } R/J(H)^t = n - \ell(J(H))$ với mọi $t \ge n$; $\text{dstab}(J(H)) \le n$	Định lý 2.3
Chương 2	Siêu đồ thị unimodular	Độ sâu $\text{depth } R/J(H)^s$	Hàm độ sâu là hàm giảm; $\text{dstab}(J(H)) \le n$	Hệ quả 2.5
Chương 2	Đồ thị hai phần $G$	Chỉ số ổn định độ sâu $\text{dstab}$	Khẳng định giả thuyết Qureshi: $\text{dstab}(J(G)) \le \ell(J(G))$	Định lý 2.7 (Mục 2.3)
Chương 3	Siêu đồ thị unimodular	Bất biến $a_i(R/J(H)^s)$	$a_i(R/J(H)^s)$ tiệm cận tuyến tính khi $s$ đủ lớn	Định lý 3.10
Chương 3	Siêu đồ thị unimodular	Chỉ số chính quy $\text{reg } J(H)^s$	$\text{reg } J(H)^s = d(J(H))s + e$ với mọi $s \ge r n^2 + 1$; $e \le \dim R/J(H) - d(J(H)) + 1$	Định lý 3.11

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

Luận án đã đạt được các đóng góp mới về mặt lý luận trong chuyên ngành Đại số và Lý thuyết số:

1. Xác lập tính giảm của hàm độ sâu: Chứng minh dãy ${\text{depth } R/J(H)^s}_{s \in \mathbb{N}}$ là dãy giảm đối với mọi siêu đồ thị cân bằng và siêu đồ thị unimodular. Kết quả này mở rộng phạm vi của lớp đồ thị hai phần đã biết trước đó sang lớp siêu đồ thị tổng quát hơn, bổ sung một lớp iđêan đơn thức không chứa bình phương quan trọng có hàm độ sâu đơn điệu.
2. Tìm chặn trên cho chỉ số ổn định độ sâu: Chứng minh chỉ số ổn định độ sâu của iđêan phủ liên kết với siêu đồ thị cân bằng bị chặn trên bởi số biến của vành đa thức, tức $\text{dstab}(J(H)) \le n$, đồng thời hàm độ sâu đạt giá trị ổn định $n - \ell(J(H))$ khi số mũ $t \ge n$. Đối với lớp đồ thị hai phần, luận án chứng minh thành công bất đẳng thức $\text{dstab}(J(G)) \le \ell(J(G))$, đóng góp một lời giải khẳng định cho giả thuyết của J. Qureshi [35].
3. Xác lập tính tiệm cận tuyến tính của bất biến $a_i$: Chứng minh bất biến $a_i(R/J(H)^s)$ tiệm cận tuyến tính khi số mũ $s$ đủ lớn đối với iđêan phủ của siêu đồ thị unimodular, giải quyết câu hỏi về dáng điệu tiệm cận của bất biến này trên một lớp iđêan cụ thể.
4. Xác định tường minh hàm tiệm cận của chỉ số chính quy: Luận án chứng minh công thức tiệm cận tuyến tính $\text{reg } J(H)^s = d(J(H))s + e$ đối với siêu đồ thị unimodular, đồng thời đưa ra các chặn trên cụ thể cho hệ số tự do $e \le \dim R/J(H) - d(J(H)) + 1$ và vị trí bắt đầu ổn định tuyến tính $s_0 \le r n^2 + 1$.

Về mặt giải pháp học thuật, luận án đã xây dựng phương pháp tiếp cận hiệu quả thông qua việc kết hợp công thức Takayama với lý thuyết đa diện lồi có đỉnh nguyên và bài toán quy hoạch tuyến tính, tạo tiền đề kỹ thuật để xử lý các bất biến đại số giao hoán phức tạp bằng các công cụ tổ hợp hình học lồi.

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

Hạn chế trong phạm vi nghiên cứu của luận án:

• Phạm vi đối tượng: Các kết quả về tính giảm của hàm độ sâu và tính tiệm cận tuyến tính phụ thuộc bản chất vào tính nguyên của các đỉnh của đa diện lồi $\overline{C}_1$, do đó chỉ áp dụng được cho siêu đồ thị cân bằng và siêu đồ thị unimodular.
• Về chặn chỉ số ổn định độ sâu: Đối với siêu đồ thị cân bằng tổng quát, luận án mới chỉ chặn được $\text{dstab}(J(H)) \le n$, chưa đạt tới chặn $\ell(J(H))$ theo kỳ vọng của giả thuyết Qureshi như trường hợp đồ thị hai phần.
• Về chỉ số chính quy: Kết quả về tính tiệm cận tuyến tính của $a_i(R/J(H)^s)$ và $\text{reg } J(H)^s$ mới được thiết lập trên lớp siêu đồ thị unimodular, chưa mở rộng được cho toàn bộ lớp siêu đồ thị cân bằng.

Hướng nghiên cứu tiếp được đề xuất:

• Tiếp tục tìm kiếm kỹ thuật để thu hẹp chặn trên của chỉ số ổn định độ sâu cho siêu đồ thị cân bằng nhằm kiểm chứng giả thuyết $\text{dstab}(J(H)) \le \ell(J(H))$.
• Khảo sát tính tiệm cận tuyến tính của các bất biến $a_i$ và chỉ số chính quy Castelnuovo-Mumford cho iđêan phủ của lớp siêu đồ thị cân bằng tổng quát.
• Nghiên cứu làm mịn chặn trên cho vị trí ổn định $s_0$ của chỉ số chính quy đối với các lớp đồ thị và siêu đồ thị đặc biệt.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo hữu ích cho các đối tượng nghiên cứu học thuật:

• Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Đại số và Lý thuyết số, Hình học đại số và Đại số tổ hợp: Luận án cung cấp hệ thống chứng minh chi tiết, chặt chẽ về mối liên hệ giữa iđêan đơn thức không chứa bình phương, phức đơn hình và siêu đồ thị.
• Các phần có giá trị tham khảo cao:
  • Mục 1.4 và Mục 1.6 của Chương 1: Rất hữu ích cho người đọc muốn nắm bắt phương pháp ứng dụng công thức Takayama và kỹ thuật chuyển đổi từ phức bậc sang hệ bất phương trình đa diện lồi.
  • Kỹ thuật quy hoạch tuyến tính và phân tích đỉnh nguyên ở Chương 2: Có giá trị phương pháp luận mẫu mực cho việc chứng minh tính đơn điệu của các bất biến đại số.
  • Các định lý ở Chương 3: Cung cấp kỹ thuật tính toán tường minh chặn trên cho chỉ số chính quy Castelnuovo-Mumford và các hệ số tiệm cận.

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

1. Tại sao hàm độ sâu của iđêan đơn thức không chứa bình phương nói chung không phải luôn là hàm giảm? Hàm độ sâu của iđêan đơn thức không chứa bình phương nói chung không có tính giảm vì năm 2014, T. Škrekovski [44] đã đưa ra phản ví dụ với đồ thị 12 đỉnh $H_4$ mà iđêan phủ của nó có $\text{depth } R/J(H_4)^3 = 0$ trong khi $\text{depth } R/J(H_4)^4 = 4$. Hơn nữa, T.N. Trung [26] đã chứng minh hàm độ sâu của iđêan đơn thức có thể hội tụ theo bất kỳ hàm số học nào.

2. Quan hệ giữa siêu đồ thị cân bằng và siêu đồ thị unimodular được luận án chỉ ra như thế nào? Theo Mệnh đề 1.12, mọi siêu đồ thị unimodular đều là siêu đồ thị cân bằng. Ngược lại, có những siêu đồ thị cân bằng nhưng không unimodular, được luận án minh họa qua Ví dụ 1.13 với siêu đồ thị 10 đỉnh có ma trận liên thuộc thỏa mãn định thức bằng 2 (không thuộc tập ${-1, 0, 1}$).

3. Công thức Takayama đóng vai trò gì trong việc chứng minh tính giảm của hàm độ sâu? Công thức Takayama cho phép tính chiều của không gian véctơ thành phần phân bậc của môđun đối đồng điều địa phương thông qua đồng điều rút gọn của phức bậc: $\dim_k H_\mathfrak{m}^i(R/I)\alpha = \dim_k \widetilde{H}{i - |CS_\alpha| - 1}(\Delta_\alpha(I); k)$. Từ đó, bài toán xác định tính triệt tiêu của đối đồng điều địa phương để tìm độ sâu được chuyển về bài toán tổ hợp khảo sát tính acyclic của phức bậc.

4. Chặn trên cho chỉ số ổn định độ sâu $\text{dstab}(J(H))$ của siêu đồ thị cân bằng được chứng minh bằng bao nhiêu? Theo Định lý 2.3, với $H$ là siêu đồ thị cân bằng trên tập đỉnh gồm $n$ phần tử, chỉ số ổn định độ sâu thỏa mãn $\text{dstab}(J(H)) \le n$. Khi số mũ $t \ge n$, hàm độ sâu đạt giá trị hằng số cố định bằng $n - \ell(J(H))$. Đối với trường hợp riêng là đồ thị hai phần $G$, luận án chứng minh chặn trên đạt được là $\text{dstab}(J(G)) \le \ell(J(G))$.

5. Dạng tiệm cận tuyến tính của chỉ số chính quy $\text{reg } J(H)^s$ đối với siêu đồ thị unimodular có các tham số cụ thể nào? Theo Định lý 3.11, với siêu đồ thị unimodular $H$, chỉ số chính quy có dạng $\text{reg } J(H)^s = d(J(H))s + e$ với mọi số mũ $s \ge r n^2 + 1$, trong đó $d(J(H))$ là bậc cực đại của các đơn thức sinh tối tiểu của $J(H)$, $r$ là hạng của siêu đồ thị $H$, và hệ số tự do thỏa mãn bất đẳng thức $e \le \dim R/J(H) - d(J(H)) + 1$.

Kết luận

Luận án tiến sĩ của Nguyễn Thu Hằng đã giải quyết trọn vẹn bài toán về tính giảm của hàm độ sâu đối với iđêan phủ liên kết với lớp siêu đồ thị cân bằng và siêu đồ thị unimodular, đồng thời xác lập chặn trên $\text{dstab}(J(H)) \le n$ và xác nhận giả thuyết Qureshi trên đồ thị hai phần. Công trình cũng chứng minh thành công tính tiệm cận tuyến tính của các bất biến đối đồng điều địa phương $a_i(R/J(H)^s)$ và chỉ số chính quy $\text{reg } J(H)^s = d(J(H))s + e$ với các chặn trên tường minh cho hệ số $e$ và vị trí ổn định $s_0$ trên siêu đồ thị unimodular. Bằng việc kết hợp công thức Takayama với lý thuyết đỉnh nguyên của đa diện lồi và quy hoạch tuyến tính, luận án đã đóng góp những kết quả lý luận và phương pháp nghiên cứu có giá trị khoa học cho chuyên ngành Đại số và Lý thuyết số.