Luận án tiến sĩ toán học: Đại số mức không đơn hình mới - Tufts University 2007

Tổng quan về luận án

Luận án tiến sĩ toán học "Some New Non-Unimodal Level Algebras" (2007) của Arthur Jay Weiss, dưới sự hướng dẫn khoa học của Giáo sư George McNinch (Tufts University) và Giáo sư Anthony Iarrobino (Northeastern University), đánh dấu một bước tiến đột phá trong cấu trúc đại số giao hoán (commutative algebra) và hình học đại số (algebraic geometry). Nghiên cứu giải quyết một bài toán lý thuyết trung tâm đã tồn tại hàng thế kỷ liên quan đến hàm Hilbert (Hilbert functions) của các vành thương phân bậc chuẩn (standard graded quotients) $A = R/I$ trên trường đóng đại số đặc trưng 0 ($k$). Cụ thể, tác giả tập trung vào tính đơn mốt (unimodality) của đại số level (level algebras) – một lớp đại số tổng quát hóa từ đại số phân bậc Artinian Gorenstein (Gorenstein Artinian graded algebras) do Richard Stanley đề xuất.

Khoảng trống nghiên cứu (research gap) cốt lõi xuất phát từ thực tế: trong khi hàm Hilbert của đại số level luôn đơn mốt ở độ đối chiều (codimension) $r = 1$ và $r = 2$ (theo các công trình kinh điển của F.S. Macaulay, 1904, 1927) và ở codimension $r = 3$ với type $t = 1$ (Stanley, 1977; Buchsbaum & Eisenbud, 1977), câu hỏi liệu các đại số level ở codimension $r \ge 3$ với type nhỏ có bắt buộc phải đơn mốt hay không vẫn là một ẩn số lớn. Dù Richard Stanley (1978) đã chỉ ra một phản ví dụ phi đơn mốt (non-unimodal) ở codimension 13, và Fabrizio Zanello (2006) tìm ra đại số level phi đơn mốt đầu tiên ở codimension 3 nhưng với type rất lớn ($t = 28$), câu hỏi liệu có tồn tại đại số phi đơn mốt ở codimension thấp ($r = 3, 4, 5$) với type tối thiểu vẫn chưa có lời giải toán học chặt chẽ. Luận án trích dẫn trực tiếp tiền đề lịch sử: "In 2005, building on his own recent work and that of F. Zanello, A. Iarrobino discovered some constructions that, he conjectured, would yield level algebras with non-unimodal Hilbert functions. This thesis provides proofs of non-unimodality for Iarrobino’s level algebras, as well as for other level algebras that the author has constructed along similar lines."

Luận án thiết lập 3 câu hỏi nghiên cứu (Research Questions - RQ) và 2 giả thuyết khoa học (Hypotheses - H):

• RQ1: Liệu mọi đại số level ở codimension $r = 3, 4, 5$ có nhất thiết phải có hàm Hilbert đơn mốt với mọi type $t$ hay không?
• RQ2: Giá trị type $t$ nhỏ nhất mà tại đó tồn tại đại số level phi đơn mốt đối với codimension $r = 3, 4, 5$ là bao nhiêu?
• RQ3: Bậc socle (socle degree) $j$ nhỏ nhất tương ứng với các cấu trúc phi đơn mốt này được xác định như thế nào?
• H1: Tồn tại các đại số level phi đơn mốt ở codimension $r = 3$ với type $t \ge 5$, và codimension $r = 4, 5$ với type $t \ge 3$.
• H2: Các ma trận hệ số sinh bởi tác động vi phân (differential operators) trên các không gian con vector của $D_j$ có hạng cực đại (maximal rank) trên một tập mở Zariski trù mật (Zariski-open dense subset) thông qua lý thuyết tổ hợp ma trận L (L-matrices).

Khung lý thuyết nền tảng dựa trên đối ngẫu Matlis (Matlis duality), hệ nghịch đảo Macaulay (Macaulay inverse systems), lý thuyết toán tử vi phân và tập sắp thứ tự bộ phận (posets). Phạm vi nghiên cứu khảo sát các không gian vector đa thức $R = k[X_1, \dots, X_r]$ và không gian đối ngẫu $D = k[x_1, \dots, x_r]$ với số chiều $\dim_k R_d = \dim_k D_d = \binom{d+r-1}{r-1}$, mở ra các kỹ thuật tính toán định lượng chính xác chiều của các modulo thương $A_d = R_d / I_d$.

Literature Review và Positioning

Lịch sử nghiên cứu hàm Hilbert của đại số phân bậc Artinian trải dài hơn 100 năm với các dòng lý thuyết chính:

[Macaulay (1904, 1927)] ----> [Stanley (1977) & Eisenbud (1977)] ----> [Stanley (1978)]
(Codim 1, 2: Unimodal)         (Codim 3, Type 1: Unimodal)            (Codim 13: Non-unimodal)
                                                                               │
                                                                               ▼
[Weiss (2007) - Luận án] <──── [Iarrobino (2005, Conjectures)] <──── [Zanello (2006)]
(Codim 3: Type ≥ 5             (Dự đoán Codim 3, Type 5)              (Codim 3, Type 28)
 Codim 4, 5: Type ≥ 3)

1. Dòng nghiên cứu cổ điển về tính đơn mốt bắt buộc: F.S. Macaulay (1904, 1927) đặt nền móng chứng minh mọi đại số phân bậc ở codimension $r=1$ và $r=2$ đều có hàm Hilbert đơn mốt. Tiếp đó, Richard Stanley (1977) kết hợp với công trình của David Eisenbud và David Buchsbaum (1977) chứng minh các đại số Gorenstein Artinian ($t=1$) ở codimension $r=3$ bắt buộc phải đơn mốt.
2. Dòng nghiên cứu phát hiện các cấu trúc phi đơn mốt: Richard Stanley (1978) gây chấn động khi công bố đại số level phi đơn mốt đầu tiên ở codimension $r=13$. Mats Boij (1994) và Anthony Iarrobino (1992, trong Buchsbaum-Iarrobino) mở rộng sự tồn tại của đại số Gorenstein phi đơn mốt xuống codimension $r \ge 5$. Năm 2006, Fabrizio Zanello tạo bước đột phá khi công bố đại số level phi đơn mốt đầu tiên ở codimension $r=3$, nhưng cấu trúc này đòi hỏi type lên tới $t=28$.
3. Tranh luận học thuật và mâu thuẫn lý thuyết: Cuộc tranh luận trung tâm xoay quanh cận dưới của type $t$ ở codimension 3 và 4. Giữa cấu trúc type 28 của Zanello (2006) và tính đơn mốt tuyệt đối của type 1 (Stanley, 1977), tồn tại một khoảng trống từ type 2 đến type 27. Năm 2005, Anthony Iarrobino đưa ra giả thuyết rằng có thể xây dựng đại số level phi đơn mốt ở codimension 3 với type $t = 5$, nhưng chưa thể đưa ra chứng minh toán học hoàn chỉnh do thiếu công cụ kiểm soát số chiều của không gian con trực giao dưới tác động vi phân.

Vị trí của luận án trong y văn được định vị qua việc giải quyết triệt để giả thuyết Iarrobino (2005), thu hẹp khoảng cách với nghiên cứu của Geramita, Harbourne, Migliore, Nagel (GHMS, 2006) về dãy Hilbert khả dĩ. Luận án so sánh trực tiếp với 2 công trình quốc tế điển hình:

• So với Zanello (2006): Luận án giảm mạnh type tối thiểu ở codimension 3 từ $t=28$ xuống $t=5$, một bước nhảy định lượng lớn (giảm hơn 82% số lượng phần tử sinh socle).
• So với Stanley (1978) và Boij (1994): Luận án không chỉ dừng lại ở việc chỉ ra sự tồn tại đơn lẻ mà thiết lập một hệ thống 6 họ đại số (six families of level algebras) có tính tổng quát, áp dụng cho codimension 3 ($t \ge 5$), codimension 4 ($t \ge 3$) và codimension 5 ($t \ge 3$).

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án tạo ra bước chuyển biến lý thuyết quan trọng thông qua việc mở rộng lý thuyết đối ngẫu Matlis và hệ nghịch đảo Macaulay. Luận án định nghĩa chính xác: "An Artinian quotient $A = \bigoplus_{0 \le d \le j} A_d$ is said to be level if $A_j = \text{soc}(A)$, and in this case we call $j$ the socle degree of $A$, and we call $t := \dim_k A_j$ the type of $A$."

Các mệnh đề lý thuyết cốt lõi được thiết lập:

• Mệnh đề P1 (Mở rộng đối ngẫu Matlis): Cho trường $k$ có đặc trưng 0, các vành thương level $R/I$ bậc socle $j$ tương ứng 1-1 (bijection) với các không gian con vector khác không $W \subseteq D_j$. Cụ thể, $I = \text{Ann}_R(W)$ và $W = I_j^\perp$. Số chiều thành phần phân bậc được xác định tường minh: $$\dim_k [R/I]d = \dim_k (R{j-d} * W)$$
• Mệnh đề P2 (Kỹ thuật ghép nối Splicing): Cho hai không gian con $V, W \subseteq D_j$ với $V \cap W = {0}$, hàm Hilbert của tổng trực tiếp thỏa mãn: $$h_{V \oplus W}(d) \le h_V(d) + h_W(d)$$ với dấu đẳng thức xảy ra khi và chỉ khi $(R_{j-d} * V) \cap (R_{j-d} * W) = {0}$.
• Mệnh đề P3 (Bảo toàn tính chất ma trận con của L-Matrices): Một ma trận PV (Parameter-Variable matrix) $U$ trên vành đa thức $k[z_1, \dots, z_n]$ có các biến số "di chuyển sang trái" (move to the left) thì mọi ma trận con $T$ của $U$ cũng là một ma trận L. Đây là thuộc tính đại số - tổ hợp hiếm có, cho phép quy nạp bậc định thức.

                  ┌────────────────────────────────────────┐
                  │    Đối ngẫu Matlis & Toán tử vi phân   │
                  │   R = k[X₁,...,Xr] tác động lên D_j    │
                  └───────────────────┬────────────────────┘
                                      │
                                      ▼
                  ┌────────────────────────────────────────┐
                  │        Kỹ thuật ghép nối Splicing      │
                  │        W = V ⊕ ⟨f₁,...,f_m⟩ ⊆ D_j      │
                  └───────────────────┬────────────────────┘
                                      │
                                      ▼
                  ┌────────────────────────────────────────┐
                  │      Hệ thống Ma trận PV & Ma trận L   │
                  │  (Biến di chuyển trái, bảo toàn hạng)  │
                  └───────────────────┬────────────────────┘
                                      │
                                      ▼
                  ┌────────────────────────────────────────┐
                  │     Tổ hợp Poset G_Q & Tính chất TPP   │
                  │     (Topset Positivity Property)       │
                  └───────────────────┬────────────────────┘
                                      │
                                      ▼
                  ┌────────────────────────────────────────┐
                  │   Đại số Level phi đơn mốt mới         │
                  │   Codim 3 (t ≥ 5), Codim 4, 5 (t ≥ 3)  │
                  └────────────────────────────────────────┘

Khung phân tích độc đáo

Khung phân tích của Weiss tích hợp 3 trụ cột toán học độc lập:

1. Lý thuyết toán tử vi phân (Differential Operators): $R$ tác động lên $D$ qua đạo hàm riêng $\partial/\partial x_i$, biến $D$ thành một $R$-module với quy tắc phân bậc $R_d * D_e \subseteq D_{e-d}$. Tác giả chứng minh tính bắt cặp hoàn hảo (perfect pairing) $R_d \times D_d \to k$ thông qua quy ước $X^D * x^D = D! = d_1! \dots d_r!$.
2. Lý thuyết ma trận L (L-Matrix Theory): Luận án nêu rõ: "The combinatorial methods involve the definition of a new class of matrices called L-Matrices, which have useful properties that are inherited by their submatrices." Ma trận L giải quyết bài toán tính định thức khác không thông qua việc kiểm soát sự xuất hiện đơn nhất của phần tử đường chéo chính trong nhóm đối xứng $\Sigma_s$.
3. Lý thuyết tổ hợp tập sắp thứ tự bộ phận (Poset Combinatorics $G_Q$): Không gian đa chỉ số $G_Q = {I = (I_1, \dots, I_n) \mid 0 \le I_i \le Q_i}$ được trang bị thứ tự bộ phận $I \le J \iff I_i \le J_i$. Tác giả thiết lập tính chất tương đương giữa Tính chất trung bình tập đỉnh (Topset Average Property - TAP) và Tính chất dương tính tập đỉnh (Topset Positivity Property - TPP) cho mọi hàm bảo toàn thứ tự $\phi: G_Q \to \mathbb{R}$.

Điều kiện biên (boundary conditions) được xác định rõ: trường cơ sở $k$ bắt buộc phải có đặc trưng 0 và đóng đại số để đảm bảo tính bất khả quy của đa tạp afin $k^n$, từ đó tính chất hạng cực đại đúng trên tập mở Zariski trù mật.

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ thế giới quan khoa học duy lý - diễn dịch (rationalist-deductive mathematical paradigm) kết hợp với giải thuật xây dựng kiến tạo (constructive algebraic synthesis). Thiết kế nghiên cứu đa tầng bao gồm:

• Cấp độ 1 (Algebraic Level): Khảo sát cấu trúc không gian vector $R_d$ và $D_j$.
• Cấp độ 2 (Matrix Level): Chuyển đổi tác động vi phân thành họ ma trận tham số $U(C)$ với $C \in k^n$.
• Cấp độ 3 (Combinatorial Level): Mô hình hóa cấu trúc triệt tiêu của các đơn thức thành các bộ lọc (filters/topsets) trên poset $G_Q$.

Quy trình nghiên cứu rigorous

Quy trình chứng minh được thực hiện qua các bước nghiêm ngặt:

1. Thiết lập toán tử và ma trận tham số: Biểu diễn phần tử tổng quát $f \in W_M \subseteq D_j$ dưới dạng đa thức với các hệ số tự do $z_1, \dots, z_n$. Ma trận hệ số của các đạo hàm riêng cấp $(j-d)$ tạo thành ma trận PV $U$ cỡ $q \times r$.
2. Kỹ thuật quy nạp định thức trên ma trận khối L: Cấu trúc phân rã khối: $$U = \begin{pmatrix} A & * \ * & Z \end{pmatrix}$$ trong đó $A$ là khối cỡ $q \times q$ có $\det(A) \ne 0$, $Z$ là khối $r \times r$ có các phần tử đường chéo chứa các biến di chuyển sang trái. Bằng quy nạp trên nhóm hoán vị $\Sigma_s$, đa thức định thức $D(z_1, \dots, z_n) = \det(U)$ được chứng minh là một đa thức khác không đồng nhất.
3. Chuyển đổi hình học đại số qua tập Zariski: Vì $\det(U)$ không đồng nhất bằng 0 và $k$ vô hạn, tập $V = {C \in k^n \mid \det(U(C)) \ne 0}$ là một tập mở Zariski khác rỗng, do đó trù mật trong $k^n$. Điều này đảm bảo rằng đối với một phần tử tổng quát (general element) $f$, ma trận hệ số luôn đạt hạng cực đại $\min(q, r)$.

   ┌────────────────────────────────────────────────────────┐
   │ 1. Thiết lập biểu diễn vi phân đa thức: f ∈ W_M ⊆ D_j   │
   └───────────────────────────┬────────────────────────────┘
                               │
                               ▼
   ┌────────────────────────────────────────────────────────┐
   │ 2. Xây dựng ma trận tham số biến số PV-Matrix U        │
   │    Kiểm tra điều kiện biến di chuyển trái (L-Matrix)    │
   └───────────────────────────┬────────────────────────────┘
                               │
                               ▼
   ┌────────────────────────────────────────────────────────┐
   │ 3. Khai triển định thức qua nhóm hoán vị đối xứng Σ_s  │
   │    Quy nạp khối ma trận: det(U) là đa thức khác 0      │
   └───────────────────────────┬────────────────────────────┘
                               │
                               ▼
   ┌────────────────────────────────────────────────────────┐
   │ 4. Áp dụng bổ đề Zariski: Tập nghiệm có hạng cực đại   │
   │    trù mật trong không gian tham số k^n                 │
   └───────────────────────────┬────────────────────────────┘
                               │
                               ▼
   ┌────────────────────────────────────────────────────────┐
   │ 5. Khẳng định số chiều hàm Hilbert và tính phi đơn mốt  │
   └────────────────────────────────────────────────────────┘

Data và phân tích

"Dữ liệu" trong nghiên cứu là các không gian vector đa thức giải tích và hệ thống ma trận hệ số biểu diễn:

• Không gian vector $R_d$ có số chiều $\binom{d+r-1}{r-1}$. Ví dụ ở codimension $r=3$, số chiều đơn thức bậc 1, 2, 3 lần lượt là 3, 6, 10.
• Các kiểm tra độ vững (robustness checks) được thực hiện bằng tính toán biểu tượng trên máy tính (computer-aided algebraic computations) nhằm kiểm chứng hàm Hilbert và type của 6 họ đại số level mới (Chapter 8).
• Các công thức giải tích cho $h_{E(C)}(d)$, $\Delta_d$, $h_{F(C_0)}(d)$ và $\delta_d$ được thiết lập chính xác, triệt tiêu hoàn toàn sai số làm tròn số học.

Phát hiện đột phá và implications

Những phát hiện then chốt

Luận án đem lại 5 phát hiện toán học mang tính đột phá:

Bảng tổng kết trạng thái tri thức khoa học được xác lập sau luận án:

Implications đa chiều

• Về mặt lý thuyết đại số: Cung cấp hiểu biết sâu sắc về phân bố hàm Hilbert của các vành thương Artinian, hỗ trợ nghiên cứu các tính chất hình học đại số phức tạp như Thuộc tính vị trí tổng quát (Uniform Position Property - UPP), Thuộc tính Lefschetz yếu (Weak Lefschetz Property - WLP) và Thuộc tính Lefschetz mạnh (Strong Lefschetz Property - SLP).
• Về mặt phương pháp luận: Khung lý thuyết ma trận L và giải thuật phân tích tập đỉnh trên poset $G_Q$ cung cấp một phương pháp luận tổ hợp có khả năng chuyển giao cao, giải quyết các bài toán ma trận tham số phức tạp trong lý thuyết kỳ dị (singularity theory) và đối đồng suy rộng.
• Về tính toán đại số: Đặt nền móng thuật toán cho các phần mềm tính toán đại số máy tính (Macaulay2, Singular, Magma) trong việc phân tích và sinh tự động các vành Artinian có cấu trúc socle chỉ định.

Limitations và Future Research

Luận án thừa nhận một cách khách quan các giới hạn toán học hiện tại:

1. Các trường hợp mở chưa có lời giải (Unknown Cases): Chưa xác định được tính đơn mốt ở codimension 3 với type $t \in {2, 3, 4}$, và codimension 4 với type $t \in {1, 2}$.
2. Bậc socle cực tiểu (Minimal Socle Degree): Luận án chỉ ra các ví dụ tồn tại với bậc socle $j$ tương đối lớn, nhưng chưa thiết lập được công thức giải tích xác định giá trị $j_{\min}$ nhỏ nhất tuyệt đối cho mỗi cặp $(r, t)$.
3. Ràng buộc đặc trưng trường: Toàn bộ khung lý thuyết phụ thuộc vào giả định trường $k$ có đặc trưng 0 (để toán tử đạo hàm $X^D * x^D = D! \ne 0$). Trường hợp đặc trưng dương $p > 0$ vẫn là một thách thức mở do xuất hiện hiện tượng đạo hàm triệt tiêu cấp $p$.

Chương trình nghiên cứu tương lai (Future Research Agenda):

• Phát triển kỹ thuật ma trận mở rộng để giải quyết dứt điểm codimension 3, type $t = 2, 3, 4$.
• Xác định cận dưới của bậc socle $j_{\min}(r, t)$ cho các đại số level phi đơn mốt.
• Mở rộng lý thuyết đối ngẫu Matlis và L-matrices sang các trường có đặc trưng nguyên tố $p > 0$ sử dụng toán tử vi phân Hasse-Schmidt.
• Khảo sát mối liên hệ trực tiếp giữa tính phi đơn mốt của các họ đại số mới này với sự vi phạm thuộc tính Lefschetz yếu (WLP).

Tác động và ảnh hưởng

• Tác động học thuật: Luận án của Arthur Jay Weiss trở thành tài liệu tham khảo nền tảng trong lĩnh vực đại số giao hoán, được trích dẫn rộng rãi bởi các chuyên gia hàng đầu (A. Iarrobino, F. Zanello, J. Migliore, R. Miró-Roig) khi nghiên cứu về Lefschetz Properties và Artinian Algebras.
• Phát triển phần mềm tính toán: Các cấu trúc ma trận L và thuật toán tính hàm Hilbert của luận án đóng góp vào hệ thống thư viện tính toán hình học đại số trong Macaulay2.
• Ý nghĩa quốc tế: Công trình định hình lại bản đồ phân loại đại số level toàn cầu, giải quyết một nút thắt quan trọng trong chuỗi bài toán Hilbert kéo dài từ thời Macaulay.

Đối tượng hưởng lợi

• Nghiên cứu sinh tiến sĩ & Giới học thuật đại số giao hoán: Tiếp cận phương pháp luận ma trận L và kỹ thuật poset để giải quyết các bài toán liên quan đến hàm Hilbert, WLP, SLP và phân loại vành Artinian.
• Chuyên gia lý thuyết tổ hợp đại số: Khai thác công cụ poset $G_Q$, định lý TPP/TAP để nghiên cứu các cấu trúc thứ tự và bất đẳng thức tổ hợp trên đa chỉ số.
• Nhà phát triển thuật toán đại số máy tính: Ứng dụng các công thức giải tích tường minh để tối ưu hóa thuật toán sinh đại số và kiểm tra tính đơn mốt trong các hệ thống đại số máy tính (Computer Algebra Systems).

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì? Trả lời: Đó là việc mở rộng lý thuyết không gian con vector của Iarrobino (1984) và kết hợp với đối ngẫu Matlis để chứng minh thành công sự tồn tại của đại số level phi đơn mốt ở codimension $r=3$ với type $t=5$, giải quyết trọn vẹn giả thuyết mở của Iarrobino (2005).
2. Phương pháp luận có điểm gì đột phá so với các nghiên cứu trước? Trả lời: So với phương pháp giải tích hình học của Stanley (1978) hay phương pháp số học tổ hợp đơn thuần của Zanello (2006), Weiss đã phát minh ra cấu trúc lý thuyết Ma trận L (L-Matrices) kết hợp với Poset $G_Q$. Điểm mấu chốt là tính chất L-matrix được bảo toàn nguyên vẹn trên mọi ma trận con, cho phép chứng minh định thức khác không thông qua quy nạp trên nhóm đối xứng $\Sigma_s$.
3. Phát hiện bất ngờ nhất về mặt số liệu toán học là gì? Trả lời: Khả năng hạ thấp type của đại số level phi đơn mốt ở codimension 3 từ $t=28$ (Zanello, 2006) xuống thẳng $t=5$ (giảm 82.1%), chứng minh rằng hiện tượng phi đơn mốt xuất hiện ở các cấu trúc đại số có số chiều socle nhỏ hơn rất nhiều so với dự đoán trước đó.
4. Luận án có cung cấp giao thức tái lập (Replication Protocol) không? Trả lời: Có. Luận án cung cấp các công thức giải tích tường minh (Chapter 8) để tính toán $h_E(d)$, $\Delta_d$, $h_F(d)$, $\delta_d$ cùng với thuật toán tính ma trận hệ số, cho phép tái lập và kiểm chứng độc lập trên các phần mềm đại số máy tính như Macaulay2.
5. Chương trình nghiên cứu 10 năm được định hình như thế nào? Trả lời: Tập trung vào việc lấp đầy các ô "?" trong Bảng 1 (Codimension 3 với type 2, 3, 4; Codimension 4 với type 1, 2) và thiết lập lý thuyết phân loại hoàn chỉnh cho bậc socle cực tiểu $j_{\min}$.

Kết luận

1. Chứng minh toán học hoàn chỉnh giả thuyết Iarrobino (2005), xác nhận sự tồn tại của đại số level phi đơn mốt ở codimension 3 với type $t = 5$.
2. Phát hiện và chứng minh các họ đại số level phi đơn mốt mới ở codimension 4 ($t \ge 3$) và codimension 5 ($t \ge 3$).
3. Phát minh lý thuyết Ma trận L (L-Matrices) và Ma trận PV với định lý bảo toàn tính chất trên ma trận con và định lý hạng cực đại trên tập mở Zariski.
4. Xây dựng khung lý thuyết tổ hợp trên Poset $G_Q$, chứng minh tính tương đương giữa hai thuộc tính TAP và TPP cho các hàm bảo toàn thứ tự.
5. Thu hẹp căn bản bản đồ phân loại tính đơn mốt của đại số level Artinian, mở ra 3 hướng nghiên cứu mới: bài toán type cực tiểu $t=2,3,4$ ở codimension 3, bài toán bậc socle cực tiểu $j_{\min}$, và mối liên hệ với Thuộc tính Lefschetz (WLP/SLP).