Tổng quan về luận án

Nghiên cứu hình học đại số hiện đại tập trung sâu sắc vào việc xác định và tính toán các bất biến topo - đại số của đa tạp xạ ảnh phức, đóng vai trò nền tảng trong bài toán phân loại đa tạp và giải quyết độ phức tạp tính toán trong tối ưu hóa đại số. Luận án tiến sĩ toán học với đề tài "Một số bất biến của đa tạp đại số" (Chuyên ngành: Đại số và lý thuyết số, Mã số: 9 46 01 04) do nghiên cứu sinh Nguyễn Thị Mai Vân thực hiện dưới sự hướng dẫn khoa học của PGS. Đặng Tuấn Hiệp và PGS. Lê Công Trình tại Trường Đại học Quy Nhơn (2024), đã tạo ra bước đột phá lý thuyết trong việc liên kết hình học giao, lý thuyết giao đẳng biến và tổ hợp các đa thức đối xứng.

Khoảng trống nghiên cứu (research gap) trọng tâm nằm ở việc khắc phục sự bế tắc tính toán khi xác định bậc và giống của đa tạp Fano trên giao đầy đủ, đặc trưng Euler của các phân thớ vectơ không phân tách được trên không gian xạ ảnh, và bậc đại số trong quy hoạch nửa xác định (Semidefinite Programming - SDP). Trong khi các phương pháp giải tích cổ điển hay kỹ thuật cơ sở Gröbner đối mặt với sự bùng nổ độ phức tạp lũy thừa khi số chiều và bậc tăng cao, các tiếp cận giao truyền thống của Fulton (1984) và kỹ thuật định thức của Nie, Ranestad, Sturmfels (2010) chưa cung cấp được một mô hình tổ hợp đóng đơn giản và tổng quát.

Luận án giải quyết 3 hệ thống câu hỏi và giả thuyết nghiên cứu chính:

  1. Hệ thống câu hỏi và giả thuyết 1 (Q1 & H1): Liệu bậc và giống của đa tạp Fano $F_k(X)$ của các không gian con tuyến tính $k$-chiều trên một giao đầy đủ xạ ảnh tổng quát loại $\mathbf{d} = (d_1, \dots, d_r) \subset \mathbb{P}^n$ có thể biểu diễn tường minh thông qua hệ số của một đơn thức cụ thể trong khai triển đa thức đối xứng thay vì tích phân các lớp đặc trưng phức tạp?
  2. Hệ thống câu hỏi và giả thuyết 2 (Q2 & H2): Có tồn tại công thức đóng tính đặc trưng Euler $\chi(\mathbb{P}^n, T_n)$ của phân thớ Tango $T_n$ hạng $n-1$ trên không gian xạ ảnh $\mathbb{P}^n$ thông qua sự kết hợp giữa định lý Hirzebruch-Riemann-Roch, đặc trưng Chern và lớp Todd?
  3. Hệ thống câu hỏi và giả thuyết 3 (Q3 & H3): Bậc đại số $\delta(m, n, r)$ của bài toán quy hoạch nửa xác định có thể được xác định bằng một đặc trưng tổ hợp dựa trên hệ số của đa thức đối xứng kép, qua đó tái chứng minh và mở rộng các kết quả hình học đại số đối ngẫu của Nie, Ranestad và Sturmfels (2010)?

Khung lý thuyết của công trình tích hợp chặt chẽ: Lý thuyết giao Fulton (Intersection Theory), Lý thuyết giao đẳng biến và kỹ thuật địa phương hóa Atiyah-Bott-Berline-Vergne, Lý thuyết phân thớ vectơ và phân thớ Tango, Phép tính Schubert trên đa tạp Grassmann $G(k, n)$, và Lý thuyết đa thức đối xứng (Schur, Jacobi-Trudi, đa thức đối xứng kép). Phạm vi nghiên cứu bao phủ các đa tạp xạ ảnh phức, đa tạp Grassmann $G(k+1, n+1)$, không gian xạ ảnh $\mathbb{P}^n$, và phổ ma trận đối xứng nửa xác định dương $\mathcal{S}_+^n$ thỏa mãn điều kiện biên bất đẳng thức Pataki: $$\binom{n-r+1}{2} \le m \le \binom{n+1}{2} - \binom{r+1}{2}$$

Literature Review và Positioning

Nghiên cứu về số giao trên đa tạp Grassmann khởi nguồn từ thế kỷ 19 qua các công trình kinh điển của Hermann Grassmann và Hermann Schubert. Đến những năm 1980, William Fulton (1984) đã hệ thống hóa lý thuyết giao trên vành Chow $A(X)$, thiết lập nền tảng tính toán các lớp đặc trưng Chern $c_k(E)$ và Segre $s_k(E)$. Song song đó, trường phái topo đại số và hình học vi phân với Michael Atiyah, Raoul Bott (1984) cùng Nicole Berline, Michèle Vergne (1982) đã phát triển công thức địa phương hóa đẳng biến: $$\int_X \alpha = \sum_{p \in X^T} \frac{\alpha|_p}{e_p}$$ cho phép chuyển đổi tích phân trên đa tạp trơn compact trang bị tác động xuyến $T = (\mathbb{C}^*)^g$ thành tổng hữu hạn trên các điểm cố định $X^T$.

Trong nhánh nghiên cứu đa tạp Fano của các không gian con tuyến tính, các công trình mốc của Altman-Kleiman (1977), Barth-Van de Ven (1979), Debarre-Manivel (1998), Markushevich (1996), và Đặng Tuấn Hiệp (2011, 2018) đã chứng minh cấu trúc đa tạp con trơn của $F_k(X) \subset G(k+1, n+1)$ thông qua phép nhúng Plücker và biểu diễn bậc của $F_k(X)$ dưới dạng số giao của các lớp Chern trên phân thớ con phổ dụng $S^*$. Tuy nhiên, công thức của Debarre-Manivel vẫn chứa các phép tính đại số đồ sộ khi mở rộng từ siêu mặt đơn lẻ sang giao đầy đủ tổng quát.

Về bài toán phân thớ vectơ không phân tách được trên $\mathbb{P}^n$, Robin Hartshorne (1974, 1977) đã đưa ra phỏng đoán nổi tiếng về tính phân tách của các phân thớ vectơ hạng thấp trên không gian xạ ảnh chiều cao ($n \ge 7$). Đến năm 1976, Hiroshi Tango đã tạo nên bước ngoặt khi xây dựng thành công phân thớ vectơ không phân tách được $T_n$ hạng $n-1$ trên $\mathbb{P}^n$. Mặc dù vậy, việc tính toán cụ thể các bất biến topo như đặc trưng Euler $\chi(\mathbb{P}^n, T_n)$ vẫn chưa có công thức tổng quát tường minh theo chiều $n$.

Trong lĩnh vực tối ưu hóa lồi đại số, Jiawang Nie, Kristian Ranestad và Bernd Sturmfels (2010) đã khai sinh khái niệm bậc đại số của quy hoạch nửa xác định $\delta(m, n, r)$, chứng minh đại lượng này tương đương với bậc của đa tạp đối ngẫu thông qua số Euler và bậc của đa tạp định thức. Sau đó, Hans-Christian Graf von Bothmer và Kristian Ranestad (2009) diễn giải $\delta(m, n, r)$ thành số giao của lớp Segre của lũy thừa đối xứng thứ hai $s_k(\text{Sym}^2 S^*)$ trên $G(r, n)$. Đến năm 2021, Đặng Tuấn Hiệp áp dụng địa phương hóa đẳng biến để đưa $\delta(m, n, r)$ về dạng tổng hàm phân thức đối xứng.

Luận án của Nguyễn Thị Mai Vân định vị chính xác tại điểm giao thoa giữa các trường phái trên: tận dụng biến thể đa thức nội suy và đồng nhất thức đa thức đối xứng bậc bị chặn của Đặng Tuấn Hiệp (2018) để chuyển đổi toàn bộ các số giao hình học phức tạp trên $G(k, n)$ thành các hệ số đơn thức cụ thể trong đại số tổ hợp, đồng thời cung cấp chứng minh độc lập lấy cảm hứng từ nhận xét của Don Zagier.

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

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

Luận án mở rộng và hoàn thiện ba trục lý thuyết toán học nền tảng:

  1. Lý thuyết giao trên đa tạp Grassmann: Chuyển đổi phép tính chu trình Schubert $\sigma_a = \det(\sigma_{a_i + j - i})$ và tích phân Chern-Segre trên $G(k, n)$ thành phép trích xuất hệ số đơn thức trong vành đa thức đối xứng $\mathbb{Z}[x_1, \dots, x_r]$, vượt qua rào cản tính toán hình thức truyền thống.
  2. Lý thuyết phân thớ vectơ xạ ảnh: Hoàn thiện bức tranh bất biến topo của phân thớ Tango $T_n$ trên $\mathbb{P}^n$, xác lập tường minh biểu thức giải tích của đặc trưng Chern $\text{ch}(T_n)$ và lớp Todd $\text{td}(T\mathbb{P}^n)$, dẫn tới công thức tổng quát cho $\chi(\mathbb{P}^n, T_n)$.
  3. Độ phức tạp đại số trong tối ưu hóa lồi: Đơn giản hóa cấu trúc bậc đại số quy hoạch nửa xác định $\delta(m, n, r)$ của Nie-Ranestad-Sturmfels, đưa bài toán hình học đối ngẫu phức tạp về bài toán tổ hợp giải tích trên đa thức đối xứng kép.

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

Khung phân tích của luận án tích hợp ma trận 4 trụ cột phương pháp:

  • Trụ cột 1: Nguyên lý chẻ (Splitting Principle) phân tích phân thớ $S^* = L_0 \oplus L_1 \oplus \dots \oplus L_k$ thành tổng các phân thớ đường thẳng với các nghiệm Chern $\alpha_0, \dots, \alpha_k$, từ đó chuyển đổi các lớp Chern của lũy thừa đối xứng $\text{Sym}^d S^$ và tích tenxơ $\bigotimes S^$ thành các đa thức đối xứng sơ cấp $e_k$ và đa thức Schur $s_\lambda$.
  • Trụ cột 2: Kỹ thuật địa phương hóa Atiyah-Bott-Berline-Vergne trên đa tạp Grassmann $G(k, n)$ với tác động xuyến $T = (\mathbb{C}^*)^n$, chuyển đổi tích phân đối đồng điều đẳng biến trên các điểm cố định cô lập $L_I$ thành các hàm hữu tỉ phân thức.
  • Trụ cột 3: Đồng nhất thức đa thức đối xứng kép (Double Symmetric Polynomial Identities) liên kết trực tiếp giá trị của số giao với hệ số của đơn thức $x_1^{n-1} x_2^{n-2} \dots x_r^{n-r}$ trong tích các nhân tử Vandermonde.
  • Trụ cột 4: Định lý Hirzebruch-Riemann-Roch: $$\chi(X, E) = \int_X \text{ch}(E) \cdot \text{td}(TX)$$ được triển khai trực tiếp trên vành Chow $A(\mathbb{P}^n) \cong \mathbb{Z}[h]/(h^{n+1})$.

Điều kiện biên (boundary conditions) được kiểm soát nghiêm ngặt: Đa tạp xạ ảnh $X$ là giao đầy đủ trơn tổng quát; các bộ tham số $(m, n, r)$ của bài toán SDP tuân thủ bất đẳng thức Pataki nhằm đảm bảo tính định nghĩa tốt của nghiệm tối ưu duy nhất.

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

Thiết kế nghiên cứu

Nghiên cứu theo đuổi trường phái toán học hình thức chính xác (Mathematical Formalism and Constructivism). Phương pháp luận là sự phối hợp đa tầng (Multi-level Analytical Design):

  • Tầng vĩ mô: Thiết lập mô hình hình học đại số mô tả không gian nghiệm và đa tạp tham số ($G(k, n)$, $\mathbb{P}^n$, $F_k(X)$).
  • Tầng trung mô: Chuyển đổi mô hình hình học sang ngôn ngữ topo đại số và lý thuyết giao (Vành Chow $A(X)$, lớp Chern, lớp Segre, chu trình Schubert).
  • Tầng vi mô: Thiết lập các đồng nhất thức tổ hợp đại số, rút gọn biểu thức giải tích thông qua đa thức Schur, hệ thức Jacobi-Trudi và định thức Vandermonde: $$\Delta(x) = \prod_{1 \le i < j \le r} (x_i - x_j)$$

Quy trình nghiên cứu và độ chuẩn xác

Quy trình suy diễn logic tuân thủ các bước nghiệm ngặt:

  1. Xác định phân thớ vectơ liên kết trên đa tạp Grassmann (phân thớ con phổ dụng $S$, phân thớ thương $Q$, phân thớ đối ngẫu $S^*$).
  2. Ứng dụng dãy khớp Euler: $$0 \longrightarrow \mathcal{O}{\mathbb{P}^n}(-1) \longrightarrow \mathcal{O}{\mathbb{P}^n}^{\oplus(n+1)} \longrightarrow T\mathbb{P}^n(-1) \longrightarrow 0$$ để xác định phân thớ tiếp xúc $TG \cong S^* \otimes Q$.
  3. Triển khai quan hệ Plücker và công thức Giambelli: $$\sigma_a = \det(\sigma_{a_i + j - i})_{1 \le i, j \le k}$$
  4. Thực hiện phép nội suy đa thức trên lưới điểm và khai triển đơn thức.
  5. Kiểm chứng tính hợp lệ (Internal Validity) bằng cách so khớp kết quả ở các chiều thấp với các công thức giải tích cổ điển đã biết (như số đường thẳng trên mặt bậc ba trong $\mathbb{P}^3$ bằng 27, số giao điểm trên $\mathbb{P}^2$).

Công cụ và kỹ thuật tính toán

Nghiên cứu sử dụng các công cụ đại số máy tính (Computer Algebra Systems) chuyên dụng như Macaulay2, Singular và phần mềm tính toán hình thức Maple/Mathematica nhằm kiểm chứng tính chính xác của các hệ số đa thức đối xứng bậc cao, đảm bảo độ tin cậy tuyệt đối của các kết quả lý thuyết.

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

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

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

  1. Đặc trưng tổ hợp cho bậc của đa tạp Fano trên giao đầy đủ: Luận án đã chứng minh bậc của đa tạp Fano $F_k(X)$ của các không gian con tuyến tính $k$-chiều trên một giao đầy đủ tổng quát $X \subset \mathbb{P}^n$ loại $\mathbf{d} = (d_1, \dots, d_r)$ bằng chính hệ số của đơn thức xác định trong khai triển đa thức đối xứng thuần nhất. Kết quả này tổng quát hóa toàn diện định lý Debarre-Manivel (1998) và mở rộng trực tiếp định lý của Đặng Tuấn Hiệp (2018).

  2. Công thức liên hệ Giống - Bậc của đường cong Fano ($dim F_k(X) = 1$): Khi số chiều của đa tạp Fano bằng 1, luận án thiết lập công thức đại số đóng liên hệ trực tiếp giữa giống $g(F_k(X))$ và bậc $\deg(F_k(X))$: $$g(F_k(X)) = 1 + \frac{1}{2} \deg(F_k(X)) \cdot \Phi(n, k, \mathbf{d})$$ trong đó $\Phi(n, k, \mathbf{d})$ là đại lượng phụ thuộc tường minh vào chiều không gian và bậc của các siêu mặt định nghĩa, giải quyết trọn vẹn bài toán topo đường cong Fano.

  3. Công thức tường minh đặc trưng Euler của phân thớ Tango: Bằng việc tính toán chi tiết lớp Chern toàn phần $c(T_n)$, đặc trưng Chern $\text{ch}(T_n)$ và lớp Todd $\text{td}(T\mathbb{P}^n)$, luận án đưa ra công thức đóng xác định đặc trưng Euler $\chi(\mathbb{P}^n, T_n)$ của phân thớ Tango $n-1$ hạng trên $\mathbb{P}^n$, tạo tiền đề phân loại các phân thớ không phân tách được trên đa tạp xạ ảnh.

  4. Đặc trưng tổ hợp của bậc đại số trong Quy hoạch nửa xác định $\delta(m, n, r)$: Luận án chỉ ra rằng bậc đại số $\delta(m, n, r)$ trong SDP chính là hệ số của đơn thức $x_1^{n-1} x_2^{n-2} \dots x_r^{n-r}$ trong khai triển đa thức đối xứng kép: $$\mathcal{P}{m, n, r}(x, y) = \prod{1 \le i < j \le r} (x_i - x_j) \cdot \mathcal{Q}(x, y)$$ Đặc trưng mới này cho phép tính toán trực tiếp $\delta(m, n, r)$ mà không cần tính bậc của đa tạp đối ngẫu hay đa tạp định thức như phương pháp của Nie-Ranestad-Sturmfels (2010).

  5. Tái chứng minh và hệ thức Don Zagier cho đa thức đối xứng: Luận án cung cấp một chứng minh độc lập, ngắn gọn và tường minh cho các kết quả của Nie-Ranestad-Sturmfels và Đặng Tuấn Hiệp dựa trên gợi ý cấu trúc đại số từ nhà toán học Don Zagier, đồng thời phát hiện thêm nhiều đẳng thức mới liên hệ giữa đa thức Schur $s_\lambda$, đa thức đối xứng sơ cấp $e_k$ và đa thức đối xứng thuần nhất đầy đủ $h_k$.

Implications đa chiều

  • Về mặt lý thuyết: Cung cấp công cụ tổ hợp chuẩn mực thay thế cho các tích phân Chern-Segre phức tạp, đóng góp vào chương trình nghiên cứu hình học đại số đếm (Enumerative Algebraic Geometry).
  • Về mặt phương pháp luận: Mở ra quy trình tính toán số giao thông qua đại số đối xứng máy tính (Symbolic Computation), áp dụng hiệu quả cho các bài toán phân loại đa tạp đại số.
  • Về mặt ứng dụng thực tiễn: Cung cấp chặn trên chính xác cho số nghiệm phức và độ phức tạp tính toán của bài toán tối ưu hóa quy hoạch nửa xác định trong lý thuyết điều khiển, xử lý tín hiệu và thị giác máy tính.

Limitations và Future Research

Nghiên cứu xác lập rõ các giới hạn biên khoa học:

  1. Các kết quả về đa tạp Fano chỉ áp dụng trên trường số phức $\mathbb{C}$ và giả định giao đầy đủ là tổng quát (smooth and general), chưa mở rộng cho các đa tạp kỳ dị (singular varieties) hoặc trường có đặc trưng dương $p > 0$.
  2. Phân thớ Tango mới được khảo sát trên không gian xạ ảnh chuẩn $\mathbb{P}^n$, chưa bao phủ trên các đa tạp Grassmann tổng quát hoặc đa tạp cờ (Flag varieties).
  3. Bậc đại số SDP $\delta(m, n, r)$ bị giới hạn trong phạm vi ma trận nửa xác định thỏa mãn bất đẳng thức Pataki dạng tổng quát.

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

  • Mở rộng đặc trưng tổ hợp để tính toán các bất biến Chern cấp cao hơn của đa tạp Fano trên các đa tạp Toric và đa tạp Calabi-Yau.
  • Nghiên cứu tính phân tách và đặc trưng Euler của các phân thớ vectơ không phân tách được trên đa tạp cờ đầy đủ và đa tạp Grassmann dạng $G(k, n)$.
  • Ứng dụng đặc trưng đa thức đối xứng kép vào bài toán quy hoạch đa thức tổng quát (Polynomial Optimization) và hình học đại số thực (Real Algebraic Geometry).
  • Phát triển thư viện thuật toán mã nguồn mở trên hệ thống phần mềm Macaulay2 phục vụ tính toán tự động các bất biến $\deg(F_k(X))$ và $\delta(m, n, r)$.

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

Luận án khẳng định vị thế học thuật vững chắc:

  • Tác động học thuật: Kết quả được công bố trên các tạp chí toán học chuyên ngành quốc tế uy tín, tạo nguồn trích dẫn quan trọng cho các nhà nghiên cứu hình học đại số và lý thuyết tối ưu hóa toàn cầu.
  • Đột phá công nghệ & R&D: Cung cấp nền tảng toán học giải tích chính xác giúp các kỹ sư tối ưu hóa đánh giá chính xác độ phức tạp của các bộ giải SDP (SDP solvers như SeDuMi, SDPT3, MOSEK) trong thiết kế hệ thống điều khiển tự động và mật mã học lượng tử.
  • Ý nghĩa khoa học liên ngành: Cầu nối liên kết ba nhánh khoa học độc lập: Hình học đại số giải tích, Đại số tổ hợp và Tối ưu hóa phi tuyến.

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

  • Nghiên cứu sinh tiến sĩ & Thạc sĩ Toán học: Tiếp cận khung lý thuyết giao đẳng biến và phương pháp xử lý đa thức đối xứng tiên tiến.
  • Các nhà toán học lý thuyết: Sử dụng các công thức đóng về đa tạp Fano và phân thớ Tango để nghiên cứu bài toán phân loại đa tạp xạ ảnh phức.
  • Chuyên gia Tối ưu hóa và Khoa học máy tính: Khai thác đặc trưng bậc đại số $\delta(m, n, r)$ để phát triển các thuật toán tối ưu lồi chính xác với thời gian thực thi tối ưu.
  • Giảng viên đại học: Sử dụng làm tài liệu chuyên khảo cao học cho các chuyên đề Hình học đại số, Lý thuyết giao và Đại số máy tính.

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ì và đã mở rộng lý thuyết nào? Trả lời: Đóng góp độc đáo nhất là việc thiết lập đặc trưng tổ hợp cho bậc của đa tạp Fano trên giao đầy đủ tổng quát và bậc đại số $\delta(m, n, r)$ trong SDP thông qua hệ số đơn thức của đa thức đối xứng. Công trình này mở rộng trực tiếp Lý thuyết giao của William Fulton (1984), tổng quát hóa định lý Debarre-Manivel (1998) và định lý Nie-Ranestad-Sturmfels (2010).

2. Đột phá phương pháp luận so với các nghiên cứu tiền nhiệm quốc tế? Trả lời: So với phương pháp tính số Euler và bậc đa tạp đối ngẫu của Nie, Ranestad & Sturmfels (2010) và phương pháp tích phân đẳng biến của Đặng Tuấn Hiệp (2021), luận án đã thay thế hoàn toàn các phép tính tích phân giải tích phức tạp bằng phép trích xuất đại số thuần túy trên vành đa thức đối xứng thông qua kỹ thuật nội suy bậc bị chặn và định thức Jacobi-Trudi.

3. Phát hiện bất ngờ nhất có minh chứng toán học cụ thể là gì? Trả lời: Bậc đại số của bài toán tối ưu hóa liên tục phức tạp như SDP lại có thể được biểu diễn chính xác tuyệt đối qua hệ số của đơn thức $x_1^{n-1} x_2^{n-2} \dots x_r^{n-r}$ trong một đa thức đối xứng kép, loại bỏ hoàn toàn sự phụ thuộc vào các biểu diễn ma trận định thức phức tạp.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) không? Trả lời: Có. Toàn bộ các bước chứng minh toán học đều dựa trên hệ tiên đề chặt chẽ, các công thức được tường minh hóa từ Định lý Hirzebruch-Riemann-Roch, công thức Schubert, hệ thức Jacobi-Trudi, và có thể lập trình kiểm chứng tự động 100% bằng ngôn ngữ lập trình hình thức trên phần mềm Macaulay2 hoặc Maple.

5. Chương trình nghiên cứu 10 năm tiếp theo được định hình như thế nào? Trả lời: Phát triển lý thuyết giao tổ hợp trên đa tạp Toric kỳ dị, xây dựng các bất biến topo cho phân thớ vectơ ổn định (stable vector bundles) trên đa tạp Fano 4-chiều, và giải quyết bài toán độ phức tạp đại số của quy hoạch nửa xác định lồi phi đối xứng (Non-symmetric Conic Optimization).

Kết luận

Luận án tiến sĩ của Nguyễn Thị Mai Vân đã xác lập 5 đóng góp học thuật cốt lõi:

  1. Thiết lập công thức tổ hợp tường minh tính bậc của đa tạp Fano $F_k(X)$ trên giao đầy đủ tổng quát trong $\mathbb{P}^n$.
  2. Khám phá và chứng minh định lý liên hệ Giống - Bậc cho đường cong Fano 1-chiều.
  3. Xác định biểu thức giải tích đóng cho đặc trưng Euler $\chi(\mathbb{P}^n, T_n)$ của phân thớ Tango hạng $n-1$.
  4. Đưa ra đặc trưng đại số mới cho bậc đại số $\delta(m, n, r)$ trong quy hoạch nửa xác định thông qua đa thức đối xứng kép.
  5. Thiết lập hệ thống đẳng thức mới cho các lớp đa thức đối xứng cơ bản và cung cấp chứng minh độc lập theo hướng Don Zagier.

Công trình tạo ra bước chuyển đổi phương pháp luận (Paradigm Advancement) mạnh mẽ: biến các bài toán giao hình học trừu tượng thành các thuật toán tổ hợp đại số có khả năng tính toán tường minh, mở ra 3 nhánh nghiên cứu giàu tiềm năng trong Hình học đại số đếm, Lý thuyết phân thớ xạ ảnh và Tối ưu hóa đại số thực nghiệm. Kết quả nghiên cứu khẳng định sự hội nhập sâu sắc và đóng góp học thuật thực chất của toán học Việt Nam vào dòng chảy nghiên cứu toán học đỉnh cao trên trường quốc tế.