Tổng quan luận án

Luận án tiến sĩ toán học với tiêu đề "The Log Canonical Threshold and the Weighted Log Canonical Threshold" (Ngưỡng log canonical và ngưỡng log canonical có trọng số) được thực hiện bởi nghiên cứu sinh Trịnh Tùng (Trinh Tung) dưới sự hướng dẫn khoa học của GS. TSKH. Lê Mâu Hải (Prof. Le Mau Hai) tại Khoa Toán - Tin học, Trường Đại học Sư phạm Hà Nội (Hanoi National University of Education), hoàn thành vào tháng 8 năm 2024. Luận án thuộc chuyên ngành Giải tích toán học (Mathematical Analysis).

Tính cấp thiết và khoảng trống nghiên cứu

Trong lý thuyết đa thế (pluripotential theory) và hình học đại số phức, việc định lượng mức độ kỳ dị của hàm đa điều hòa dưới (plurisubharmonic - viết tắt là psh) tại các điểm cực $-\infty$ là một bài toán trung tâm. Hai công cụ giải tích và hình học quan trọng nhất để đo độ lớn kỳ dị là số Lelong $\nu_\phi(z)$ và ngưỡng log canonical $c_\phi(z)$ (hay số mũ kỳ dị phức - complex singularity exponent do J.-P. Demailly và J. Kollár đưa ra năm 2000).

Việc tính toán tường minh ngưỡng log canonical trực tiếp từ định nghĩa tích phân chuẩn tắc là bài toán khó, ngoại trừ trường hợp hàm chỉnh hình một biến. Đối với đa thức nhiều biến, giá trị $c_{\log |f|}(0)$ chỉ được biết là một số hữu tỉ trong khoảng $[0, 1]$ thông qua các phương pháp phân giải kỳ dị (resolution of singularities), nhưng không thể tính toán tường minh cho phần lớn các lớp hàm. Từ đó, nhu cầu thiết lập các nguyên lý so sánh gián tiếp, các kỹ thuật ước lượng tích phân tập mức của đa thức chuẩn bị Weierstrass, và việc mở rộng sang trường hợp có trọng số đối với độ đo Radon $\mu$ (weighted log canonical threshold - do Phạm Hoàng Hiệp đề xuất năm 2014) trở thành những vấn đề nghiên cứu thời sự.

Mục tiêu và các bài toán nghiên cứu chính

Luận án tập trung giải quyết ba bài toán nghiên cứu cốt lõi được đánh số cụ thể như sau:

  1. Bài toán 1 (Problem 1): Thiết lập nguyên lý so sánh cho ngưỡng log canonical có trọng số $c_{\mu, u}(x)$ và $c_{\mu, v}(x)$ giữa hai hàm đa điều hòa dưới $u, v$ thỏa mãn điều kiện $u \ge v$ hoặc các điều kiện về phương trình Monge-Ampère phức trên miền $\Omega \subset \mathbb{C}^n$ mà không cần phải tính toán trực tiếp giá trị của chúng.
  2. Bài toán 2 (Problem 2): Định lượng tập khả tích có trọng $C_\mu(f_1, \dots, f_m)$ của các hàm chỉnh hình thông qua đa thức Weierstrass; nghiên cứu giả thuyết điều kiện dây chuyền tăng (Ascending Chain Condition - ACC) cho ngưỡng log canonical có trọng số ở các chiều không gian khác nhau; khảo sát tính liên tục và tính nửa liên tục trên của ngưỡng log canonical có trọng số đối với dãy xấp xỉ Demailly.
  3. Bài toán 3 (Problem 3): Khảo sát cấu trúc hình học và thiết lập mối liên hệ định lượng giữa số Lelong, ngưỡng log canonical và chỉ số giao của thác triển con (subextension) và thác triển con cực đại (maximal subextension) của các hàm đa điều hòa dưới thuộc lớp $\mathcal{E}(\Omega)$ của Cegrell.

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

  • Đối tượng nghiên cứu: Hàm đa điều hòa dưới (psh), hàm chỉnh hình, đa thức Weierstrass, toán tử Monge-Ampère phức $(dd^c \cdot)^n$, số Lelong, ngưỡng log canonical không trọng và có trọng số, độ đo Radon không âm, và các lớp hàm giải tích phức của Cegrell ($\mathcal{E}_0(\Omega), \mathcal{F}(\Omega), \mathcal{E}(\Omega)$).
  • Phạm vi không gian: Không gian vector phức $\mathbb{C}^n$, các miền mở $\Omega \subset \mathbb{C}^n$, đặc biệt là các miền siêu lồi bị chặn (bounded hyperconvex domains) và các đa đĩa $\Delta^n(0, \delta)$.
  • Phạm vi thời gian: Luận án được thực hiện trong chương trình đào tạo tiến sĩ 3 năm (2021–2024), bảo vệ năm 2024.

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

Lịch sử nghiên cứu và các công trình nền tảng

Lý thuyết hàm đa điều hòa dưới được khởi xướng độc lập vào năm 1942 bởi P. Lelong (Pháp) và K. Oka (Nhật Bản). K. Oka dùng hàm psh để định nghĩa tập giả lồi và giải quyết bài toán Levi cùng phương trình $\bar{\partial}$. P. Lelong đặt nền móng nghiên cứu cấu trúc dòng dương đóng và đưa ra khái niệm số Lelong $\nu_\phi(a)$ để đo độ kỳ dị. Năm 1974, Y.-T. Siu chứng minh tính chất giải tích của tập mức trên $\Lambda(\phi, \alpha) = {z \in \Omega : \nu_\phi(z) \ge \alpha}$. Các nghiên cứu mở rộng số Lelong và kỳ dị dòng giải tích được tiếp tục bởi H. Skoda (1972) và C. O. Kiselman (1979).

Giai đoạn 1976–1982, E. Bedford và B. A. Taylor xây dựng toán tử Monge-Ampère phức $(dd^c \cdot)^n$ trên lớp hàm psh bị chặn địa phương, đặt nền tảng cho lý thuyết đa thế hiện đại. Cấu trúc của toán tử này trên các lớp hàm psh không bị chặn tiếp tục được U. Cegrell phát triển (1998, 2004) qua các lớp $\mathcal{E}_0(\Omega), \mathcal{F}(\Omega), \mathcal{F}^a(\Omega), \mathcal{E}(\Omega)$, cùng các đóng góp của S. Kołodziej (1998), Z. Błocki, và V. Guedj - A. Zeriahi (2007).

Khái niệm ngưỡng log canonical dưới góc độ giải tích phức được J.-P. Demailly và J. Kollár chuẩn hóa năm 2000 qua tính khả tích $L^1$ địa phương của hàm $\exp(-2c\phi)$. Xoay quanh khái niệm này, "Giả thuyết mở" (Openness conjecture) và "Giả thuyết mở mạnh" (Strong openness conjecture) của Demailly-Kollár đã thu hút nhiều nhà toán học:

  • C. Favre và M. Jonsson (2005) chứng minh giả thuyết mở trong trường hợp 2 chiều ($\mathbb{C}^2$).
  • M. Jonsson và M. Mustață (2012) đề xuất hướng tiếp cận đại số.
  • B. Berndtsson (2013) chứng minh trọn vẹn giả thuyết mở cho số chiều bất kỳ bằng phương pháp giải tích.
  • Q. A. Guan và X. Y. Zhou (2015) đưa ra cách tiếp cận sử dụng định lý thác triển $L^2$ và bổ đề chọn đường cong cho phương trình $\bar{\partial}$.
  • Phạm Hoàng Hiệp (2014) đưa ra khái niệm ngưỡng log canonical có trọng số $c_{\mu, \phi}(z_0)$ với độ đo $\mu$, áp dụng định lý Ohsawa-Takegoshi để chứng minh giả thuyết mở mạnh và tính liên tục của ngưỡng log canonical có trọng số đối với độ đo $\mu = |z|^{2t} dV_{2n}$.

Về nguyên lý so sánh cho ngưỡng log canonical, Phạm Hoàng Hiệp (2011) và Lê Mâu Hải - Nguyễn Xuân Hồng - Nguyễn Văn Hưng (2014) đã thiết lập các kết quả ban đầu cho trường hợp không trọng dựa trên tính giải được của phương trình Monge-Ampère phức mang tập đa cực của P. Åhag, U. Cegrell, R. Czyż và H. H. Phạm (2009). Về giả thuyết ACC, T. de Fernex và M. Mustață (2009) đã chứng minh tính ổn định cho ngưỡng log canonical không trọng trong chiều $n=2$.

Khoảng trống nghiên cứu luận án lựa chọn giải quyết

Luận án của Trịnh Tùng giải quyết trực tiếp các vấn đề còn mở:

  1. Mở rộng nguyên lý so sánh ngưỡng log canonical sang trường hợp có trọng số tổng quát $\mu = |z|^{2t} dV_{2n}$ ($t \ge 0$) và $\mu = |z|^{2(k-n)} dV_{2n}$ ($1 \le k \le n$).
  2. Thiết lập kỹ thuật ước lượng tường minh tích phân phân thức nghiệm của các đa thức Weierstrass nhiều biến; kiểm tra tính đúng đắn của giả thuyết ACC đối với ngưỡng log canonical có trọng số (xác định ranh giới số chiều và sự tồn tại phản ví dụ).
  3. Đánh giá mối quan hệ giữa các đại lượng đo kỳ dị (số Lelong, ngưỡng log canonical) và chỉ số giao của toán tử Monge-Ampère phức đối với thác triển con cực đại trong lớp hàm $\mathcal{E}(\Omega)$.

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

Cơ sở lý thuyết và các khái niệm chính

  • Hàm đa điều hòa dưới (psh): Hàm $\phi: \Omega \to [-\infty, +\infty)$ nửa liên tục trên, điều hòa dưới trên mọi lát cắt phức một chiều. Ký hiệu $PSH(\Omega)$ là tập hàm psh trên $\Omega$, $PSH^-(\Omega)$ là tập các hàm psh âm.
  • Toán tử Monge-Ampère phức: Toán tử vi phân phi tuyến $(dd^c u)^n = ddc u \wedge \dots \wedge ddc u$ ($n$ lần) với $d = \partial + \bar{\partial}$ và $d^c = \frac{\partial - \bar{\partial}}{4i}$.
  • Số Lelong: Đại lượng đo độ kỳ dị $\nu_u(z_0) = \lim_{r \to 0} \frac{\sup_{|z-z_0| \le r} u(z)}{\log r}$.
  • Ngưỡng log canonical và ngưỡng log canonical có trọng số: $$c_\phi(z_0) = \sup \left{c > 0 : e^{-2c\phi} \in L^1_{loc}(z_0, dV_{2n})\right}$$ $$c_{\mu, \phi}(z_0) = \sup \left{c > 0 : \exists \delta > 0, \int_{\Delta^n(z_0, \delta)} e^{-2c\phi} d\mu < +\infty\right}$$
  • Tập khả tích có trọng (Integrable set): Với các hàm chỉnh hình $f_1, \dots, f_m$, tập $C_\mu(f_1, \dots, f_m) \subset \mathbb{R}^m$ gồm các bộ $(c_1, \dots, c_m)$ sao cho tích phân $\int_{\Delta^n(0, \delta)} \frac{d\mu}{\prod_{j=1}^m |f_j|^{2c_j}} < +\infty$.
  • Định lý thác triển $L^2$ Ohsawa-Takegoshi: Công cụ thác triển các hàm chỉnh hình từ siêu mặt phức sang lân cận với đánh giá chuẩn $L^2$ có trọng số.
  • Lớp hàm Cegrell: Các lớp hàm psh không bị chặn trên miền siêu lồi bị chặn: $\mathcal{E}_0(\Omega) \subset \mathcal{F}(\Omega) \subset \mathcal{E}(\Omega)$, trong đó $\mathcal{F}^a(\Omega)$ là lớp con gồm các hàm $u \in \mathcal{F}(\Omega)$ mà $(dd^c u)^n$ triệt tiêu trên mọi tập đa cực.
  • Định lý chuẩn bị Weierstrass: Biểu diễn địa phương hàm chỉnh hình $f(z) = h(z) \cdot g(z)$, với $g(0) \neq 0$ và $h(z)$ là đa thức Weierstrass dạng $z_n^m + c_1(z')z_n^{m-1} + \dots + c_m(z')$.

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

Luận án sử dụng phương pháp nghiên cứu toán học giải tích thuần túy:

  • Kỹ thuật ước lượng giải tích thực và phức: Sử dụng bất đẳng thức Hölder, bất đẳng thức giá trị trung bình dưới (sub-mean value inequality), và biểu diễn tích phân thông qua hàm phân phối của tập mức: $$\int_{\Delta^n(0, \delta)} \frac{d\mu}{|f|^{2c}} = 2c \int_0^1 \mu({|f| < r}) r^{-2c-1} dr + \mu(\Delta^n(0, \delta))$$
  • Đại số hóa khoảng cách nghiệm đa thức: Biểu diễn các đại lượng khoảng cách giữa các nghiệm $\Phi_{j,k}$ và tổng môđun nghiệm $\Psi_k(f)$ thông qua các đa thức sơ cấp đối xứng của các hệ số $c_j(z')$.
  • Phương pháp không gian Hilbert và xấp xỉ Demailly: Sử dụng không gian hàm chỉnh hình bình phương khả tích $\mathcal{H}{m\phi}(\Omega)$ với trọng $e^{-2m\phi}$ và hệ cơ sở trực giao ${g{m,k}}$ để xây dựng dãy hàm giải tích xấp xỉ $\psi_m = \frac{1}{2m} \log \sum |g_{m,k}|^2$.
  • Định lý khai triển Puiseux: Phân tích cấu trúc nghiệm của đa thức chỉnh hình hai biến thành các nhánh đại số giải tích.

Nguồn tư liệu nghiên cứu

Nội dung luận án được phát triển dựa trên 3 công trình khoa học đã công bố của chính tác giả:

  1. Trịnh Tùng (2023), International Journal of Mathematics (bài báo cơ sở của Chương 1).
  2. Trịnh Tùng (2021), The Journal of Geometric Analysis, tập 31, trang 3783–3819 (bài báo cơ sở của Chương 2).
  3. Trịnh Tùng (2024), Acta Mathematica Vietnamica (bài báo cơ sở của Chương 3).

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

Bảng tổng hợp cấu trúc các chương và bài báo gốc tương ứng:

Chương Tên chương trong văn bản Bài báo xuất bản gốc Vấn đề giải quyết
Chương 1 Comparison principle for the weighted log canonical thresholds International Journal of Mathematics [73] Bài toán 1 (Problem 1)
Chương 2 Estimates of level sets of holomorphic functions and applications to the weighted log canonical thresholds The Journal of Geometric Analysis [40] Bài toán 2 (Problem 2)
Chương 3 Relation between the Lelong number, log canonical thresholds, and intersection numbers of subextension and maximal subextensions in Cegrell’s class $\mathcal{E}(\Omega)$ Acta Mathematica Vietnamica [41] Bài toán 3 (Problem 3)

Chapter 1: Comparison principle for the weighted log canonical thresholds

Chương này thiết lập nguyên lý so sánh cho ngưỡng log canonical có trọng số giữa hai hàm đa điều hòa dưới $u, v \in PSH^-(\Omega)$.

Các định lý và kết quả trọng tâm

  • Định lý 1.1 (Theorem 1.1): Cho $\Omega \subset \mathbb{C}^n$ là một miền chứa gốc tọa độ $0$, $u, v \in PSH^-(\Omega)$ thỏa mãn điều kiện tích phân Monge-Ampère phức: $$\int_{{0}} (dd^c \max(u, v, \phi))^n = \int_{{0}} (dd^c \max(u, \phi))^n$$ đúng với mọi hàm $\phi \in PSH^-(\Omega) \cap L^\infty_{loc}(\Omega \setminus {0})$. Giả sử $\mu = |z|^{2t} dV_{2n}$ với $t \ge 0$ là độ đo Radon trên $\Omega$. Khi đó, ta có bất đẳng thức: $$c_{\mu, u}(0) \ge c_{\mu, v}(0)$$

  • Định lý 1.2 (Theorem 1.2): Cho $\Omega \subset \mathbb{C}^n$, $0 \in \Omega$ và $u, v \in PSH^-(\Omega)$. Cho ${\Omega_j}{j \ge 1}$ là dãy giảm các miền trơn thỏa mãn $\Omega \Subset \dots \Subset \Omega_2 \Subset \Omega_1$ và $\bigcap{j=1}^\infty \Omega_j = {0}$. Giả sử $\mu = |z|^{2(k-n)} dV_{2n}$ với $1 \le k \le n$. Nếu $u \ge v$ trên biên $\partial \Omega_j$ với mọi $j \ge 1$, thì: $$c_{\mu, u}(0) \ge c_{\mu, v}(0)$$

  • Định lý 1.3 (Theorem 1.3 - Tính dưới cộng tính có trọng): Với $B$ là hình cầu đơn vị trong $\mathbb{C}^n$, $\phi, \psi \in PSH(B)$, và $m$ là số nguyên dương: $$c_m(\max(\phi, \psi)) \le c_m(\phi) + c_m(\psi)$$ trong đó $c_m(\phi) = c_{|z|^{2m} dV_{2n}}(\phi)$. Chứng minh sử dụng định lý thác triển Ohsawa-Takegoshi cho hàm $z_j^m$ trên siêu mặt $H = {(z, w) \in B_r \times B_r : z = w}$.

  • Hệ quả 1.1 (Corollary 1.1): Mở rộng đánh giá cho trường hợp trọng số $t$: $$c_t(\max(\phi, \psi)) \le c_t(\phi) + c_m(\psi) + \sqrt{\frac{m-t}{t+n}} c_t(\phi) c_m(\psi)$$

  • Bổ đề then chốt 1.4 (Lemma 1.4): Cho $\Omega \subset \mathbb{C}^n$, $0 \in \Omega$, $u, v, \varphi \in PSH^-(\Omega)$ sao cho $u \ge v \ge u + \varphi$ trên $\Omega$. Nếu $c_{\mu, \varphi}(0) = +\infty$ thì $c_{\mu, u}(0) = c_{\mu, v}(0) = c_{\mu, u+\varphi}(0)$.

Chapter 2: Estimates of level sets of holomorphic functions and applications to the weighted log canonical thresholds

Chương này nghiên cứu chi tiết việc tính toán và ước lượng tích phân của phân thức các đa thức Weierstrass trên lân cận gốc tọa độ: $$\int_{\Delta^n(0, \delta)} \frac{\prod_{j=1}^{m_0} |h_j|^{2d_j}}{\prod_{j=1}^m |f_j|^{2c_j}} dV_{2n}$$

Tính chất cơ bản của ngưỡng log canonical có trọng số

  • Đánh giá chặn qua tích phân Hölder: Cho $f$ là hàm phức và $h$ bị chặn địa phương, ta có $c(f) \le c_{|h|^2 dV_{2n}}(f) \le \frac{c(h)+1}{c(h)} c(f)$.
  • Bất đẳng thức tổ hợp tuyến tính: Với các hàm phức $f_1, \dots, f_p$ và độ đo Radon $\mu \ge 0$: $$c_\mu(\alpha_1 f_1 + \dots + \alpha_p f_p) \le c_\mu\left(\max_{1 \le j \le p} |f_j|\right)$$ Dấu đẳng thức xảy ra đối với hầu hết các bộ số $(\alpha_1, \dots, \alpha_p) \in \mathbb{C}^p$ (ngoại trừ một tập có độ đo Lebesgue bằng 0) khi $c_\mu(\max |f_j|) \le 1$.
  • Tính lồi: Tập khả tích có trọng $C_\mu(f_1, \dots, f_m)$ là một tập lồi trong $\mathbb{R}^m$.

Ước lượng tập mức trong trường hợp một biến

  • Định lý 2.1 (Theorem 2.1): Đặt tập mức $E(a, c, r) = {z \in \mathbb{C} : |z - a_1|^{c_1} \dots |z - a_m|^{c_m} < r}$. Tồn tại các hằng số $0 < \alpha < 1 < \beta$ (chỉ phụ thuộc vào $m$ và vector $c$) sao cho: $$\bigcup_{j=1}^m \Delta(a_j, \alpha t_j) \subset E(a, c, r) \subset \bigcup_{j=1}^m \Delta(a_j, \beta t_j)$$ với $t_j = \min_{{i_1, \dots, i_k}} \left(\frac{r}{\prod_{p=1}^k |a_j - a_{i_p}|^{c_{i_p}}}\right)^{\frac{1}{\sum c_{i'_p}}}$.

  • Ước lượng tích phân đa thức qua nghiệm: Cho $f(z) = \prod_{j=1}^m (z - a_j)$ và các đa thức $h_k(z)$, tích phân $\int_{\Delta(0, \delta)} \frac{\prod |h_k|^{2c_k}}{|f|^{2c}} dV_2$ được biểu diễn tiệm cận tương đương ($\approx$) qua giá trị đạo hàm cấp cao $h_p^{(j_p)}(a_j)$ và các đại lượng khoảng cách $\Phi_{j,k} = \max_{1 \le i_1 < \dots < i_k \le m} |a_j - a_{i_1}| \dots |a_j - a_{i_k}|$.

Đại số hóa nghiệm qua đa thức đối xứng

Luận án chứng minh các đại lượng $\Psi_k(f) = \max |a_{i_1}| \dots |a_{i_k}|$ và $\Phi_{j,k}(f)$ tương đương tiệm cận với lũy thừa bậc phân số của các đa thức đại số phụ thuộc trực tiếp vào các hệ số $c_1, \dots, c_m$ của đa thức chuẩn tắc $f(z) = z^m + c_1 z^{m-1} + \dots + c_m$.

Kết quả về giả thuyết ACC và phản ví dụ

  • Định lý 2.6 (Theorem 2.6 - Trường hợp 2 chiều): Cho dãy các hàm chỉnh hình ${f_{kj}}{j \ge 1}$ ($1 \le k \le m$) xác định trên lân cận điểm $0 \in \mathbb{C}^2$ thỏa mãn $\sup{j \ge 1} \text{ord}0 f{kj} < +\infty$. Khi đó tồn tại dãy con các chỉ số $j_1 < j_2 < \dots$ sao cho: $$C(f_{1 j_1}, \dots, f_{m j_1}) \subset C(f_{1 j_2}, \dots, f_{m j_2}) \subset \dots$$ Kết quả này mạnh hơn giả thuyết ACC trong không gian 2 chiều $\mathbb{C}^2$.

  • Phản ví dụ 2.1 (Example 2.1 - Bác bỏ ACC cho trường hợp có trọng số trong chiều $n \ge 2$): Xét hàm trọng $h(z) = z_n$ và đa thức: $$f(z) = (z_n - z_1^\beta)(z_n - z_1^\beta - z_1^\alpha), \quad \alpha, \beta \in \mathbb{N}, \alpha > \beta$$ Tính toán trực tiếp cho kết quả: $$c_{|h|^2 dV_{2n}}(f) = \frac{1}{2} + \frac{1+\beta}{2\alpha}$$ Khi cố định $\alpha$ và cho $\beta$ tăng nghiêm ngặt, dãy ngưỡng log canonical có trọng số tăng ngặt và không dừng. Điều này chứng minh giả thuyết ACC không đúng cho ngưỡng log canonical có trọng số trong chiều $n \ge 2$.

Tính liên tục dưới phép xấp xỉ Demailly

  • Định lý 2.7 (Theorem 2.7): Cho $\phi \in PSH(\Omega)$, $\psi_m = \frac{1}{2m} \log \sum |g_{m,k}|^2$ là dãy giải tích xấp xỉ Demailly. Nếu độ đo có trọng $\mu = h dV_{2n}$ với $0 < h \in L^\beta(\Omega)$, $\beta > 1$, thì: $$c_{h dV_{2n}, \phi}(0) = \lim_{m \to \infty} c_{h dV_{2n}, \psi_m}(0)$$

Chapter 3: Relation between the Lelong number, log canonical thresholds, and intersection numbers of subextension and maximal subextensions in Cegrell’s class E(Ω)

Chương này khảo sát các tính chất hình học và giải tích của thác triển con và thác triển con cực đại:

  • Thác triển con (Subextension): Cho $\Omega \subset \tilde{\Omega} \subset \mathbb{C}^n$ và $u \in PSH(\Omega)$. Hàm $\phi \in PSH(\tilde{\Omega})$ được gọi là thác triển con của $u$ nếu $\phi \le u$ trên $\Omega$.
  • Thác triển con cực đại (Maximal subextension): Hàm $\tilde{u} = \sup {\phi \in PSH(\tilde{\Omega}) : \phi \le u \text{ trên } \Omega}$.

Luận án thiết lập mối quan hệ định lượng giữa số Lelong $\nu_{\tilde{u}}(z)$, ngưỡng log canonical $c_{\tilde{u}}(z)$ và các chỉ số giao $e_j(\tilde{u})$ của toán tử Monge-Ampère phức trên lớp hàm $\mathcal{E}(\Omega)$ của Cegrell, hoàn thiện bức tranh về hành vi của các kỳ dị giải tích qua phép thác triển.

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

  1. Thiết lập nguyên lý so sánh có trọng số: Chứng minh thành công nguyên lý so sánh cho ngưỡng log canonical có trọng số đối với các lớp độ đo Radon dạng $\mu = |z|^{2t} dV_{2n}$ và $\mu = |z|^{2(k-n)} dV_{2n}$ thông qua toán tử Monge-Ampère phức và định lý thác triển Ohsawa-Takegoshi.
  2. Xây dựng kỹ thuật ước lượng tích phân tập mức của đa thức Weierstrass: Đưa ra công thức tiệm cận tường minh cho tích phân phân thức các đa thức nhiều biến thông qua khoảng cách nghiệm và đa thức đối xứng của hệ số.
  3. Giải quyết câu hỏi về giả thuyết ACC có trọng số: Chứng minh tính chất ổn định mạnh hơn ACC cho các tập khả tích trong không gian hai chiều $\mathbb{C}^2$; đồng thời xây dựng phản ví dụ khẳng định giả thuyết ACC không thỏa mãn cho ngưỡng log canonical có trọng số trong số chiều $n \ge 2$.
  4. Chứng minh tính liên tục dưới phép xấp xỉ Demailly: Mở rộng định lý Demailly-Kollár sang trường hợp có trọng số, chứng minh rằng $c_{h dV_{2n}, \phi}(0) = \lim_{m \to \infty} c_{h dV_{2n}, \psi_m}(0)$ khi hàm trọng $h \in L^\beta(\Omega)$ ($\beta > 1$).
  5. Đặc trưng hóa kỳ dị của thác triển con cực đại: Xác lập các bất đẳng thức liên hệ giữa số Lelong, ngưỡng log canonical và chỉ số giao Monge-Ampère trong lớp $\mathcal{E}(\Omega)$ của Cegrell.

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

  • Hạn chế: Các công thức tính toán tường minh tích phân và tập khả tích chủ yếu đạt được đối với lớp đa thức chuẩn bị Weierstrass và không gian số chiều thấp ($n=1, 2$). Đối với số chiều cao $n \ge 3$ với các hàm giải tích có cấu trúc kỳ dị không cô lập phức tạp, việc tính toán chính xác vẫn gặp nhiều rào cản kỹ thuật.
  • Hướng nghiên cứu tiếp được đề xuất:
    • Khảo sát các điều kiện hình học bổ sung đối với độ đo Radon $\mu$ để khôi phục tính dừng của giả thuyết ACC trong trường hợp nhiều biến.
    • Mở rộng nguyên lý so sánh cho các lớp độ đo kỳ dị tổng quát hơn trên đa tạp phức compact hoặc đa tạp Kähler.

Giá trị tham khảo

  • Đối tượng tham khảo: Nghiên cứu sinh, học viên cao học, giảng viên và các nhà nghiên cứu thuộc chuyên ngành Giải tích toán học, Hình học đại số phức, và Lý thuyết đa thế.
  • Các nội dung có giá trị sử dụng cao:
    • Kỹ thuật ước lượng tập mức và giải tích nghiệm đa thức một biến tại Mục 2.3 và 2.4.
    • Phương pháp ứng dụng định lý thác triển Ohsawa-Takegoshi vào bài toán so sánh kỳ dị tại Chương 1.
    • Phản ví dụ mẫu tại Ví dụ 2.1 làm tài liệu tham khảo cho việc nghiên cứu điều kiện dây chuyền tăng (ACC).

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

1. Ngưỡng log canonical có trọng số $c_{\mu, \phi}(z_0)$ được định nghĩa như thế nào?

Ngưỡng log canonical của hàm psh $\phi$ tại điểm $z_0$ đối với độ đo Radon $\mu$ được định nghĩa bởi: $$c_{\mu, \phi}(z_0) = \sup \left{c > 0 : e^{-2c\phi} \in L^1_{loc}(z_0, \mu)\right} = \sup \left{c > 0 : \exists \delta > 0, \int_{\Delta^n(z_0, \delta)} e^{-2c\phi} d\mu < +\infty\right}$$ Khi $\mu = dV_{2n}$ (độ đo Lebesgue chuẩn), đại lượng này trùng với ngưỡng log canonical cổ điển $c_\phi(z_0)$.

2. Nguyên lý so sánh trong Chương 1 yêu cầu điều kiện gì đối với toán tử Monge-Ampère?

Định lý 1.1 yêu cầu hai hàm $u, v \in PSH^-(\Omega)$ thỏa mãn điều kiện triệt tiêu sai phân của toán tử Monge-Ampère phức tại điểm ${0}$: $$\int_{{0}} (dd^c \max(u, v, \phi))^n = \int_{{0}} (dd^c \max(u, \phi))^n$$ đúng với mọi hàm thử $\phi \in PSH^-(\Omega) \cap L^\infty_{loc}(\Omega \setminus {0})$. Khi đó, đối với trọng số $\mu = |z|^{2t} dV_{2n}$ ($t \ge 0$), ta suy ra được $c_{\mu, u}(0) \ge c_{\mu, v}(0)$.

3. Vì sao giả thuyết ACC không đúng cho ngưỡng log canonical có trọng số ở chiều $n \ge 2$?

Tác giả đã chỉ ra phản ví dụ cụ thể tại Mục 2.5 với hàm trọng $h(z) = z_n$ và đa thức $f(z) = (z_n - z_1^\beta)(z_n - z_1^\beta - z_1^\alpha)$ ($\alpha > \beta$). Giá trị ngưỡng log canonical có trọng số tính được là $c_{|h|^2 dV_{2n}}(f) = \frac{1}{2} + \frac{1+\beta}{2\alpha}$. Khi giữ nguyên $\alpha$ và tăng dần $\beta$, dãy giá trị này tăng nghiêm ngặt và không dừng lại ở bất kỳ bước hữu hạn nào, vi phạm điều kiện dây chuyền tăng.

4. Định lý xấp xỉ Demailly được chứng minh liên tục với điều kiện nào của hàm trọng?

Định lý 2.7 khẳng định tính liên tục $c_{h dV_{2n}, \phi}(0) = \lim_{m \to \infty} c_{h dV_{2n}, \psi_m}(0)$ (với $\psi_m$ là dãy hàm thế xấp xỉ xây dựng từ cơ sở trực giao của không gian Hilbert $\mathcal{H}{m\phi}(\Omega)$) khi độ đo trọng số có dạng $\mu = h dV{2n}$ với hàm mật độ $h$ thỏa mãn $0 < h \in L^\beta(\Omega)$ với số mũ $\beta > 1$.

Kết luận

Luận án tiến sĩ của Trịnh Tùng đã nghiên cứu toàn diện các tính chất giải tích và hình học của ngưỡng log canonical và ngưỡng log canonical có trọng số trong lý thuyết đa thế. Công trình đã mở rộng thành công nguyên lý so sánh cho các độ đo có trọng, phát triển hệ thống ước lượng giải tích cho đa thức Weierstrass, làm sáng tỏ phạm vi hiệu lực của giả thuyết ACC qua việc xây dựng phản ví dụ trong không gian nhiều chiều, và mở rộng định lý liên tục Demailly. Các kết quả đạt được tạo tiền đề quan trọng cho các nghiên cứu tiếp theo về cấu trúc kỳ dị giải tích phức và hình học giải tích đa thế.