Tổng quan luận án

Luận án tiến sĩ toán học với tiêu đề "Chỉ số chính quy Castelnuovo-Mumford và tính level của một số lớp ideal đơn thức" do nghiên cứu sinh Phan Thị Thủy thực hiện dưới sự hướng dẫn khoa học của PGS. Nguyễn Công Minh tại Trường Đại học Sư phạm Hà Nội (năm 2021), thuộc chuyên ngành Đại số và lý thuyết số (mã số: 9 46 01 04). Đề tài tập trung giải quyết các mối liên hệ giữa cấu trúc dữ liệu tổ hợp của ideal đơn thức với các bất biến đại số phân bậc thu được từ giải tự do phân bậc tối tiểu.

Về tính cấp thiết, theo định lí syzygy của David Hilbert, vành thương $R/I$ của vành đa thức $R = K[x_1, \ldots, x_n]$ trên trường $K$ cho một ideal thuần nhất thực sự $I$ luôn sở hữu một giải tự do phân bậc tối tiểu độ dài hữu hạn. Tuy nhiên, cấu trúc tường minh của giải tự do này nhìn chung vẫn chưa được biết. Hướng nghiên cứu xác định các thông tin của giải tự do dựa trên cấu trúc tổ hợp của ideal đơn thức là trọng tâm của Đại số giao hoán tổ hợp. Hai bất biến và tính chất quan trọng được luận án tập trung khảo sát gồm:

  • Tính level: Do R. Stanley giới thiệu năm 1977 để nghiên cứu đặc điểm $h$-vectơ của vành Cohen-Macaulay. Vành $R/I$ được gọi là vành level nếu $R/I$ là vành Cohen-Macaulay và module tự do cuối cùng trong giải tự do phân bậc tối tiểu của $R/I$ được sinh bởi các phần tử có cùng một bậc. Tính level mạnh hơn tính Cohen-Macaulay nhưng yếu hơn tính Gorenstein. Dù các vấn đề về hàm Hilbert và số Betti của vành level đã thu hút nhiều nghiên cứu, việc đặc trưng tính level cho $R/I$ theo cấu trúc tổ hợp của $I$ vẫn còn rất ít kết quả.
  • Chỉ số chính quy Castelnuovo-Mumford: Xuất phát từ nghiên cứu hình học của G. Castelnuovo và được D. Mumford định nghĩa cho đa tạp xạ ảnh thông qua các module đối đồng điều địa phương. D. Eisenbud và S. Goto đã thiết lập mối liên hệ giữa chỉ số này với bậc sinh của các module syzygy trong giải tự do phân bậc tối tiểu. Chỉ số này vừa là chặn trên của bậc không triệt tiêu của các module đối đồng điều địa phương, vừa chặn trên các bậc sinh của các module syzygy. Việc tính toán chính xác giá trị của chỉ số này từ cấu trúc tổ hợp là bài toán mang tính thời sự cao.

Về khoảng trống nghiên cứu, các công trình trước đây đã làm rõ tính Cohen-Macaulay của các lũy thừa thường và lũy thừa hình thức của ideal Stanley-Reisner $I_\Delta$, nhưng tính level của các lũy thừa này với số mũ $t \ge 3$ và $t = 2$ chưa được đặc trưng trọn vẹn. Mặt khác, đối với lớp ideal đơn thức $C_n(\alpha, \beta)$ (xác định bởi giao các lũy thừa của các ideal nguyên tố sinh bởi $n-2$ biến với số mũ thuộc tập ${\alpha, \beta}$), các tác giả đi trước mới chỉ dừng lại ở việc đặc trưng tính Cohen-Macaulay, trong khi tính level, số Betti cuối cùng và công thức tường minh cho chỉ số chính quy Castelnuovo-Mumford vẫn chưa có lời giải.

Mục tiêu nghiên cứu của luận án là tính chỉ số chính quy Castelnuovo-Mumford và đặc trưng tính level của một số lớp ideal đơn thức theo cấu trúc dữ liệu tổ hợp của ideal.

Nhiệm vụ và câu hỏi nghiên cứu cụ thể bao gồm:

  1. Đặc trưng tính level của vành thương của lũy thừa thường $R/I_\Delta^t$ và lũy thừa hình thức $R/I_\Delta^{(t)}$ theo phức đơn hình $\Delta$ với số mũ $t \ge 3$.
  2. Khảo sát tính level của lũy thừa hình thức thứ hai $R/I_\Delta^{(2)}$ khi $\Delta$ là một phức matroid chiều 1 (đồ thị matroid), đồng thời xem xét ảnh hưởng của đặc số trường $K$ đến tính level.
  3. Đặc trưng tính level và xác định số Betti cuối cùng của vành thương $R/I$ với các ideal $I$ thuộc lớp $C_n(\alpha, \beta)$ theo cấu trúc đồ thị đơn liên kết $G$.
  4. Thiết lập các công thức giải tích tường minh cho các bất biến $a_1(R/I)$, $a_2(R/I)$ và chỉ số chính quy Castelnuovo-Mumford $\mathrm{reg}(R/I)$ của ideal trong lớp $C_n(\alpha, \beta)$, từ đó suy ra điều kiện cần và đủ để ideal có giải tự do tuyến tính.

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

  • Đối tượng nghiên cứu: Các $a_i$-bất biến, chỉ số chính quy Castelnuovo-Mumford, các số Betti, các số Betti phân bậc và tính level của hai lớp ideal đơn thức đặc biệt: (1) Các lũy thừa thường $I_\Delta^t$ và lũy thừa hình thức $I_\Delta^{(t)}$ của ideal Stanley-Reisner $I_\Delta$ liên kết với phức đơn hình $\Delta$; (2) Các ideal đơn thức $I$ thuộc lớp $C_n(\alpha, \beta)$ trong vành đa thức $R = K[x_1, \ldots, x_n]$.
  • Phạm vi nghiên cứu: Đặc trưng tính level của $R/I_\Delta^t$ và $R/I_\Delta^{(t)}$ theo $\Delta$ với số nguyên $t \ge 3$; khảo sát tính level của $R/I_\Delta^{(2)}$ khi $\Delta$ là phức matroid chiều 1; nghiên cứu tính level và chỉ số chính quy Castelnuovo-Mumford của ideal trong lớp $C_n(\alpha, \beta)$ theo cấu trúc của đồ thị đơn $G = {{i, j} \mid w_{i,j} = \alpha, 1 \le i < j \le n}$ với $n \ge 4$.

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 học thuật nền tảng:

  • Nghiên cứu về tính level và giải tự do: Khái niệm vành level được R. Stanley đưa ra năm 1977 [38]. Các bài toán mở về hàm Hilbert và các số Betti của vành level được phát triển qua các công trình của Boij [10], Harima [16], Roberts [37].
  • Nghiên cứu về chỉ số chính quy Castelnuovo-Mumford: Khởi xướng từ các nghiên cứu đường cong xạ ảnh của G. Castelnuovo, được D. Mumford thiết lập cho đa tạp xạ ảnh năm 1966 [31]. Mối liên hệ định lượng giữa chỉ số này và bậc phần tử sinh của các module syzygy trong giải tự do phân bậc tối tiểu được D. Eisenbud và S. Goto chứng minh năm 1984 [8]. Các kết quả tính chỉ số chính quy của ideal đơn thức theo cấu trúc tổ hợp được tiếp nối bởi Alilooee [1], Bao [3], Hà [18], Kummini [22], Minh - Trung [30].
  • Nghiên cứu về tính Cohen-Macaulay của các lũy thừa của ideal Stanley-Reisner:
    • R. Nori và B. Singh [6] chứng minh $R/I_\Delta^t$ là Cohen-Macaulay với mọi $t \ge 1$ khi và chỉ khi $I_\Delta$ được sinh bởi một dãy chính quy.
    • N. V. Trung và cộng sự [29] khẳng định $R/I_\Delta^{(t)}$ là Cohen-Macaulay với mọi $t \ge 1$ khi và chỉ khi $\Delta$ là một matroid.
    • N. V. Trung [41] làm mạnh các kết quả trên khi chứng minh $R/I_\Delta^t$ là Cohen-Macaulay với một số nguyên $t \ge 3$ khi và chỉ khi $I_\Delta$ sinh bởi một dãy chính quy; và $R/I_\Delta^{(t)}$ là Cohen-Macaulay với một số nguyên $t \ge 3$ khi và chỉ khi $\Delta$ là một matroid.
    • Với số mũ $t = 2$, khi $\Delta$ có chiều 1, nghiên cứu của Minh và cộng sự [28] đã chỉ ra $R/I_\Delta^2$ là Cohen-Macaulay khi và chỉ khi $\Delta$ là đoạn thẳng 2-đỉnh, đoạn thẳng 3-đỉnh, tam giác, tứ giác hoặc ngũ giác. Các công trình liên quan khác gồm [19], [34], [35], [42], [46].
    • Về tính Gorenstein, các công trình của Herzog [15], Trung [41], [42] và trao đổi khoa học từ N. T. C. Hợp cho thấy $R/I^t$ (với $I$ bất kỳ) hoặc $R/I^{(t)}$ (với $I$ không trộn lẫn) là Gorenstein với một $t \ge 2$ khi và chỉ khi $I$ là ideal chính.
  • Nghiên cứu về lớp ideal $C_n(\alpha, \beta)$: Lớp ideal này nhận được sự quan tâm qua các công trình [9], [11], [23], [36]. C. Nakamura (2013) [25] đã đặc trưng trọn vẹn tính Cohen-Macaulay của $R/I$ khi $w_{i,j}$ nhận hai giá trị nguyên dương $\alpha$ hoặc $\beta$.
  • Công cụ kỹ thuật tổ hợp và tô pô: Công thức Takayama (2005) [40] mở rộng công thức Hochster [20] mô tả cấu trúc phân bậc của các module đối đồng điều địa phương qua phức bậc $\Delta_a(I)$; phức đơn hình Koszul dưới $K_a(I)$ và định lý liên hệ với số Betti đa phân bậc của E. Miller và B. Sturmfels (2005) [24]; lý thuyết matroid của J. Oxley (1992) [32]; công thức Auslander - Buchsbaum [5]; thuật ngữ đồ thị học của R. Diestel [7].

Khoảng trống luận án lựa chọn giải quyết: Mặc dù tính Cohen-Macaulay của lũy thừa ideal Stanley-Reisner đã được nghiên cứu kỹ lưỡng, tính level của $R/I_\Delta^t$ và $R/I_\Delta^{(t)}$ với $t \ge 3$ vẫn chưa từng được phân loại qua cấu trúc matroid. Đối với $t = 2$, bài toán tính level của $R/I_\Delta^{(2)}$ ngay trên lớp phức đơn hình chiều 1 vẫn hoàn toàn bỏ ngỏ. Bên cạnh đó, với lớp ideal $C_n(\alpha, \beta)$, chưa có nghiên cứu nào xác định điều kiện cần và đủ để $R/I$ là vành level, chưa tính được số Betti cuối cùng và chưa xây dựng được công thức giải tích cho chỉ số chính quy Castelnuovo-Mumford dựa vào các bất biến đồ thị.

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

Luận án vận hành trên khung lý thuyết của Đại số giao hoán, Đại số tổ hợp và Tô pô đại số:

  • Vành đa thức $R = K[x_1, \ldots, x_n]$ trên trường $K$ với ideal thuần nhất cực đại $\mathfrak{m} = (x_1, \ldots, x_n)$.
  • Giải tự do phân bậc tối tiểu của $R$-module $R/I$: $$0 \longrightarrow \bigoplus_{j=1}^{\beta_p(R/I)} R(-d_{p,j}) \longrightarrow \cdots \longrightarrow \bigoplus_{j=1}^{\beta_1(R/I)} R(-d_{1,j}) \longrightarrow R \longrightarrow R/I \longrightarrow 0$$ trong đó $p = \mathrm{pd}R(R/I)$ là chiều xạ ảnh. Các số $\beta_i(R/I)$ là số Betti, $\beta{i,j}(R/I)$ là số Betti phân bậc. Theo công thức Auslander-Buchsbaum, $R/I$ là vành Cohen-Macaulay khi và chỉ khi $p = n - \dim(R/I)$.
  • Vành level: Vành $R/I$ là level khi nó là Cohen-Macaulay và $d_{p,1} = d_{p,2} = \cdots = d_{p, \beta_p(R/I)}$. Khi $\beta_p(R/I) = 1$, vành level trở thành vành Gorenstein.
  • Bất biến đối đồng điều địa phương và chỉ số chính quy: Với mỗi số nguyên $i \ge 0$, $a_i(R/I) = \max{j \mid [H_\mathfrak{m}^i(R/I)]j \ne 0}$ nếu $H\mathfrak{m}^i(R/I) \ne 0$ (ngược lại bằng $-\infty$). Chỉ số chính quy Castelnuovo-Mumford xác định bởi: $$\mathrm{reg}(R/I) = \max{a_i(R/I) + i \mid 0 \le i \le \dim(R/I)} = \max{d_{i,j} - i \mid i = 1, \ldots, p; j = 1, \ldots, \beta_i(R/I)}$$
  • Cấu trúc phức đơn hình và matroid: Phức đơn hình $\Delta$ trên tập đỉnh $V \subseteq [n]$, tập các mặt cực đại $\mathcal{F}(\Delta)$, chiều $\dim \Delta$. Các cấu trúc con: link $\mathrm{lk}\Delta(F)$, sao $\mathrm{st}\Delta(F)$, phức ghép $\Delta_1 * \Delta_2$. Matroid $M$ xác định qua tập độc lập, tập cơ sở $\mathcal{B}(M)$, hạng $r(M)$ và tập circuit $\mathcal{C}(M)$. Phức matroid của $M$ là phức thuần túy chiều $r(M) - 1$.
  • Ideal Stanley-Reisner: $I_\Delta = (x_{i_1}\cdots x_{i_s} \mid {i_1, \ldots, i_s} \notin \Delta)$, có phân tích nguyên sơ $I_\Delta = \bigcap_{F \in \mathcal{F}(\Delta)} P_F$ với $P_F = (x_i \mid i \notin F)$. Lũy thừa hình thức thứ $t$ là $I_\Delta^{(t)} = \bigcap_{F \in \mathcal{F}(\Delta)} P_F^t$.
  • Lớp ideal $C_n(\alpha, \beta)$: Tập các ideal dạng $I = \bigcap_{1 \le i < j \le n} P_{i,j}^{w_{i,j}}$ với $P_{i,j} = (x_k \mid 1 \le k \le n, k \ne i, j)$, trọng số $w_{i,j} \in {\alpha, \beta}$ với $\alpha > \beta > 0$. Đồ thị đơn liên kết là $G = {{i, j} \mid w_{i,j} = \alpha}$.

Phương pháp nghiên cứu thực tế:

  • Phương pháp định tính thuần túy trong toán học lý thuyết: Suy luận logic, chứng minh định lí và thiết lập công thức thông qua cấu trúc đại số và đại số tổ hợp.
  • Phức đơn hình Koszul dưới: Với $a \in \mathbb{N}^n$, $K_a(I) = {F \subseteq \mathrm{supp}(a) \mid x^{a - e_{\mathrm{supp}(a)}} x^F \notin I}$. Định lý Miller - Sturmfels được sử dụng làm công cụ chủ yếu để tính các số Betti phân bậc: $$\beta_{i,a}(R/I) = \dim_K \widetilde{H}_{|\mathrm{supp}(a)| - i - 1}(K_a(I); K)$$
  • Công thức Takayama: Dùng phức bậc $\Delta_a(I) = {F \subseteq [n] \setminus G_a \mid x^a \notin I R_{F \cup G_a}}$ để tính cấu trúc phân bậc của module đối đồng điều địa phương: $$\dim_K [H_\mathfrak{m}^i(R/I)]a = \dim_K \widetilde{H}{i - |G_a| - 1}(\Delta_a(I); K) \quad (\text{với } G_a \in \Delta(I))$$
  • Kỹ thuật đồng điều rút gọn: Sử dụng dãy khớp dài Mayer-Vietoris, tính chất acyclic của nón, và đồng điều của phức matroid ghép để kiểm tra sự triệt tiêu hay không triệt tiêu của các nhóm đồng điều.
  • Công cụ phần mềm hỗ trợ tính toán: Phần mềm Macaulay2 được sử dụng để tính toán các ví dụ cụ thể về giải tự do phân bậc tối tiểu, tìm kiếm phản ví dụ và kiểm chứng tính level của các cấu trúc đồ thị phức tạp.

Nguồn tư liệu: Văn bản luận án sử dụng 48 tài liệu tham khảo chuyên khảo và bài báo khoa học chuẩn mực quốc tế thuộc lĩnh vực Đại số giao hoán, Tô pô đại số và Lý thuyết matroid.

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 định nghĩa, định lí và công cụ bổ trợ được dùng xuyên suốt luận án:

  • Trình bày định nghĩa chỉ số chính quy Castelnuovo-Mumford và Định lí 1.4 của Eisenbud - Goto kết nối chỉ số chính quy với bậc sinh tối tiểu của các module syzygy.
  • Trình bày định nghĩa vành level theo Stanley (1977) và phân tích tính chất: vành level là vành Cohen-Macaulay có module tự do cuối cùng sinh bởi các phần tử cùng bậc; vành level kiểu 1 chính là vành Gorenstein. Đưa ra Ví dụ 1.7 minh họa: vành thương của $S = K[x_1, x_2, x_3, x_4, x_5]$ cho ideal $I = (x_1 x_3, x_2 x_4, x_2 x_5, x_4 x_5)$ có giải tự do phân bậc tối tiểu: $$0 \to S(-5)^2 \to S(-3)^2 \oplus S(-4)^3 \to S(-2)^4 \to S \to S/I \to 0$$ Đây là một vành level nhưng không phải là vành Gorenstein vì số Betti cuối cùng bằng 2.
  • Hệ thống hóa các khái niệm phức đơn hình thuần túy, phức nón, link, sao và phức ghép $\Delta_1 * \Delta_2$.
  • Trình bày lý thuyết phức dây chuyền rút gọn và nhóm đồng điều rút gọn $\widetilde{H}_i(\Delta; K)$. Nêu rõ các bổ đề: phức nón luôn acyclic; $\dim_K \widetilde{H}_0(\Delta; K)$ bằng số thành phần liên thông trừ 1; với phức 1 chiều thì $\widetilde{H}_1(\Delta; K) \ne 0$ khi và chỉ khi phức chứa chu trình.
  • Trình bày công thức Takayama (Bổ đề 1.16) thông qua phức bậc $\Delta_a(I)$ và phức Koszul dưới $K_a(I)$ cùng Định lí 1.18 của Miller - Sturmfels.
  • Nhắc lại lý thuyết matroid $M$, tập độc lập, cơ sở, circuit và các bổ đề về tính chất đồng điều của phức matroid: nếu $\Delta$ là phức matroid không phải là nón thì $\widetilde{H}_{\dim \Delta}(\Delta; K) \ne 0$; link của một mặt khác rỗng trong phức matroid không là nón cũng là phức matroid không là nón.
  • Trình bày ideal Stanley-Reisner $I_\Delta$, phân tích nguyên sơ, lũy thừa thường $I_\Delta^t$ và lũy thừa hình thức $I_\Delta^{(t)}$.

Chương 2. Tính level của các lũy thừa của ideal Stanley-Reisner

Chương 2 trình bày các kết quả đã công bố trong bài báo [26], tập trung vào việc đặc trưng tính level của các lũy thừa của ideal Stanley-Reisner:

  • Mục 2.1 khảo sát các nhóm đồng điều rút gọn không triệt tiêu. Bổ đề 2.1 chứng minh rằng với $\Delta$ là phức matroid chiều $d - 1 \ge 0$ và $C \in \mathcal{C}(\Delta)$ bất kỳ thì $\widetilde{H}{d-1}(\bigcup{i \in C} \mathrm{st}\Delta(C \setminus {i}); K) \ne 0$. Định lí 2.2 mở rộng cho trường hợp tồn tại hai circuit giao nhau: nếu chọn $C, C'$ phân biệt có $|C \cap C'|$ lớn nhất thì nhóm đồng điều rút gọn thứ $d-1$ của phức $\bigcup{U \subseteq (C \cup C'), |U|=2} \mathrm{st}_\Delta((C \cup C') \setminus U)$ không triệt tiêu.
  • Mục 2.2 thiết lập điều kiện cho trường hợp số mũ $t \ge 3$. Mệnh đề 2.3 chứng minh nếu $R/I_\Delta^{(t)}$ là level với một $t \ge 2$ thì mọi circuit của $\Delta$ phải có cùng số phần tử. Định lí 2.4 (kết quả trung tâm của chương) khẳng định với phức đơn hình $\Delta$ chiều $d - 1 \ge 0$, năm mệnh đề sau là tương đương:
    1. $R/I_\Delta^t$ là vành level với mọi $t \ge 1$.
    2. $R/I_\Delta^t$ là vành level với một $t \ge 3$ nào đó.
    3. $R/I_\Delta^{(t)}$ là vành level với mọi $t \ge 1$.
    4. $R/I_\Delta^{(t)}$ là vành level với một $t \ge 3$ nào đó.
    5. $\Delta$ là một phức matroid mà các circuit của nó có cùng số phần tử và đôi một rời nhau. Hệ quả 2.5 suy ra tiêu chuẩn vành Gorenstein: $R/I_\Delta^t$ hoặc $R/I_\Delta^{(t)}$ là vành Gorenstein với một $t \ge 3$ khi và chỉ khi $\Delta$ là phức matroid có duy nhất một circuit.
  • Mục 2.3 nghiên cứu số mũ $t = 2$ khi $\Delta$ là đồ thị matroid trên $[n]$ ($n \ge 4$). Bổ đề 2.8 chứng minh nếu $\Delta$ không chứa tam giác thì $\Delta$ là đồ thị hai phần đầy đủ $K_{|X|, |Y|}$. Mệnh đề 2.9 và 2.10 chứng minh nếu $\Delta$ là đồ thị đầy đủ hoặc đồ thị hai phần đầy đủ thì $R/I_\Delta^{(2)}$ là vành level. Mệnh đề 2.11 chứng minh chiều ngược lại. Từ đó, Định lí 2.12 kết luận: $R/I_\Delta^{(2)}$ là vành level khi và chỉ khi $\Delta$ là đồ thị đầy đủ hoặc đồ thị hai phần đầy đủ.
  • Tác giả đưa ra các ví dụ tính toán trên phần mềm Macaulay2 chứng minh sự phức tạp khi $\Delta$ không là matroid: đồ thị ngũ giác $C_5$ (Hình 2.1) có $R/I_\Delta^{(2)}$ là level với giải tự do: $$0 \to R(-6)^{10} \to R(-5)^{24} \to R(-4)^{15} \to R \to R/I_\Delta^{(2)} \to 0$$ Đồ thị Petersen (Hình 2.2) có $R/I_\Delta^{(2)}$ là level nhưng $R/I_\Delta^2$ không là level; ví dụ tam giác phân của không gian xạ ảnh thực $\mathbb{P}^2$ (Hình 2.3) chứng minh tính level phụ thuộc vào đặc số: khi $\mathrm{char}(K) = 0$, $R/I_\Delta$ là level, nhưng khi $\mathrm{char}(K) = 2$, $R/I_\Delta$ không Cohen-Macaulay nên không thể là level.

Chương 3. Tính level của ideal đơn thức trong lớp Cn (α, β)

Chương 3 dựa trên bài báo [44], giải quyết tính level của lớp ideal $C_n(\alpha, \beta)$ có chiều Krull bằng 2 với $n \ge 4$:

  • Mục 3.1 xác định các bậc $a \in \mathbb{N}^n$ làm cho số Betti phân bậc thứ $n - 2$ không triệt tiêu dựa vào cấu trúc đồ thị $G$:
    • Bổ đề 3.1: Nếu $\mathrm{girth}(G) = 3$ thì $\beta_{n-2, 3\alpha+n-3}(R/I) \ne 0$.
    • Bổ đề 3.2: Nếu $G$ chứa cặp cạnh có một đỉnh chung không nằm trong 3-chu trình thì $\beta_{n-2, 2\alpha+\beta+n-3}(R/I) \ne 0$.
    • Bổ đề 3.3: Nếu $G$ chứa một 4-chu trình cảm sinh thì $\beta_{n-2, 2\alpha+n-2}(R/I) \ne 0$.
    • Bổ đề 3.5: Nếu $G$ chứa một cặp cạnh không liên thông thì $\beta_{n-2, 2\alpha+n-3}(R/I) \ne 0$ (khi $\alpha > 2\beta$) và $\beta_{n-2, \alpha+2\beta+n-3}(R/I) \ne 0$ (khi $\alpha \le 2\beta$ và $\alpha \ne 2$).
  • Mục 3.2 chứng minh Định lí 3.10 cho trường hợp $(\alpha, \beta) = (2, 1)$: $R/I$ là vành level khi và chỉ khi thỏa mãn một trong hai điều kiện:
    1. $n \ge 4$ và $G$ là một đồ thị hai phần đầy đủ với $V(G) = [n]$.
    2. $n = 4$ và $G$ là một cặp cạnh rời nhau.
  • Mục 3.3 khảo sát trường hợp $(\alpha, \beta) \ne (2, 1)$ với giả thiết $G \ne \emptyset$ và $G$ không là đồ thị đầy đủ. Định lí 3.18 chỉ ra rằng $R/I$ là vành level khi và chỉ khi $n = 4$, $\beta = 1$ và $G$ là đồ thị hai phần đầy đủ $K_{2,2}$. Định lí 3.19 tính toán cụ thể số Betti cuối cùng của $R/I$ trong từng trường hợp vành đạt tính level.

Chương 4. Chỉ số chính quy Castelnuovo-Mumford của ideal đơn thức trong lớp Cn (α, β)

Chương 4 dựa trên bài báo [27], giải quyết bài toán chỉ số chính quy của lớp $C_n(\alpha, \beta)$ qua 3 mục:

  • Mục 4.1 xác định giá trị của $a_1(R/I)$ bằng cách vận dụng công thức Takayama trên phức bậc $\Delta_a(I)$ và phân loại cấu trúc đồ thị $G$ (các Định lí 4.1 đến 4.8).
  • Mục 4.2 tính giá trị $a_2(R/I)$ (Định lí 4.11) và kết hợp với $a_1(R/I)$ để thiết lập công thức tường minh cho chỉ số chính quy Castelnuovo-Mumford $\mathrm{reg}(R/I)$ (Định lí 4.12): $$\mathrm{reg}(R/I) = \begin{cases} 3\alpha - 1 & \text{nếu } \mathrm{girth}(G) = 3; \ 2\alpha + \beta - 1 & \text{nếu } \mathrm{girth}(G) \ne 3 \text{ và } G \text{ chứa ít nhất một đỉnh có bậc} > 1; \ \alpha + 2\beta - 1 & \text{nếu } G \text{ gồm } t \ (t \ge 2) \text{ cạnh đôi một rời nhau và } \alpha \le 2\beta, \text{ hoặc } G \text{ có duy nhất một cạnh}; \ 2\alpha - 1 & \text{nếu } G \text{ gồm } t \ (t \ge 2) \text{ cạnh đôi một rời nhau và } \alpha > 2\beta. \end{cases}$$
  • Mục 4.3 thiết lập điều kiện để ideal $I \in C_n(\alpha, \beta)$ có giải tự do tuyến tính (Định lí 4.14) thông qua việc đối sánh các bậc sinh trong giải tự do phân bậc tối tiểu.

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

Luận án đạt được các kết quả mới có ý nghĩa khoa học trong lĩnh vực Đại số giao hoán tổ hợp:

  1. Thiết lập mối liên hệ tương đương giữa tính level của lũy thừa thường và lũy thừa hình thức với số mũ $t \ge 3$ của ideal Stanley-Reisner: Chứng minh rằng khác với tính Cohen-Macaulay, tính level của $R/I_\Delta^t$ và $R/I_\Delta^{(t)}$ với $t \ge 3$ là hoàn toàn tương đương và đồng nhất với điều kiện $\Delta$ là một phức matroid có các circuit cùng số phần tử và đôi một rời nhau.
  2. Phân loại trọn vẹn tính level của lũy thừa hình thức thứ hai $R/I_\Delta^{(2)}$ khi $\Delta$ là một đồ thị matroid: khẳng định điều kiện cần và đủ là $\Delta$ phải là đồ thị đầy đủ hoặc đồ thị hai phần đầy đủ.
  3. Đặc trưng đầy đủ tính level cho lớp ideal đơn thức $C_n(\alpha, \beta)$ chiều 2 thông qua cấu trúc đồ thị đơn $G$, đồng thời xác định giá trị số Betti cuối cùng khi vành đạt tính level.
  4. Xây dựng công thức giải tích đóng cho các bất biến $a_1(R/I)$, $a_2(R/I)$ và chỉ số chính quy Castelnuovo-Mumford $\mathrm{reg}(R/I)$ cho lớp ideal $C_n(\alpha, \beta)$ dựa vào các tham số đồ thị ($\mathrm{girth}(G)$, bậc của đỉnh, số lượng cạnh rời nhau).
  5. Xác định điều kiện cần và đủ để ideal thuộc lớp $C_n(\alpha, \beta)$ có giải tự do phân bậc tuyến tính.
Lớp ideal / Vành Điều kiện cần và đủ để đạt tính level Kết quả trong luận án
$R/I_\Delta^t$ hoặc $R/I_\Delta^{(t)}$ ($t \ge 3$) $\Delta$ là phức matroid có các circuit cùng số phần tử và đôi một rời nhau Định lí 2.4
$R/I_\Delta^{(2)}$ ($\Delta$ là đồ thị matroid, $n \ge 2$) $\Delta$ là đồ thị đầy đủ hoặc đồ thị hai phần đầy đủ Định lí 2.12
$R/I$ với $I \in C_n(2, 1)$ ($n \ge 4$) $G$ là đồ thị hai phần đầy đủ trên $[n]$, hoặc $n = 4$ và $G$ là cặp cạnh rời nhau Định lí 3.10
$R/I$ với $I \in C_n(\alpha, \beta)$ ($(\alpha, \beta) \ne (2, 1)$, $G \ne \emptyset, K_n$) $n = 4$, $\beta = 1$ và $G$ là đồ thị hai phần đầy đủ $K_{2,2}$ Định lí 3.18

Về mặt giải pháp học thuật, tác