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 Thanh Sơn, với đề tài "Về một dạng Định lí cơ bản thứ hai cho đường cong nguyên và Định lí không gian con Schmidt đối với siêu mặt di động", được bảo vệ năm 2022 tại Trường Đại học Sư phạm Hà Nội, thuộc chuyên ngành Hình học và Tôpô (mã số: 9.05), dưới sự hướng dẫn khoa học của GS.TS Trần Văn Tấn.
| Hạng mục thông tin |
Nội dung chi tiết |
| Tác giả |
Nguyễn Thanh Sơn |
| Người hướng dẫn khoa học |
GS.TS Trần Văn Tấn |
| Cơ sở đào tạo |
Trường Đại học Sư phạm Hà Nội |
| Năm bảo vệ |
2022 |
| Chuyên ngành |
Hình học và Tôpô (Mã số: 9.05) |
| Hướng tiếp cận |
Nghiên cứu lý thuyết thuần túy (Toán học lý thuyết: Giải tích phức, Hình học phức, Hình học đại số, Lý thuyết xấp xỉ Diophantine) |
Tính cấp thiết và khoảng trống nghiên cứu
Lý thuyết phân bố giá trị (Lý thuyết Nevanlinna) do Rolf Nevanlinna khởi xướng năm 1925 nghiên cứu mối tương quan giữa hàm đặc trưng (đo mức độ lan tỏa ảnh của ánh xạ) và hàm đếm giao điểm của ảnh ánh xạ với mục tiêu. Trong cấu trúc hai định lý nền tảng của lý thuyết này:
- Định lý cơ bản thứ nhất cho một đánh giá chặn dưới của hàm đặc trưng thông qua hàm đếm; bản chất là một hệ quả trực tiếp của công thức Jensen và đã được hiểu tương đối hoàn chỉnh.
- Định lý cơ bản thứ hai thiết lập đánh giá chặn trên của hàm đặc trưng bằng tổng các hàm đếm ứng với các mục tiêu cho trước. Định lý này phức tạp hơn đáng kể và trước thập niên 1980 chủ yếu mới được thiết lập đối với các mục tiêu là siêu phẳng trong không gian xạ ảnh phức $\mathbb{P}^n(\mathbb{C})$.
Mặt khác, từ phát hiện của Osgood (1981) và bảng "từ điển Vojta" do Paul Vojta thiết lập năm 1987, giới toán học đã chứng minh mối quan hệ song song sâu sắc giữa Lý thuyết Nevanlinna và Lý thuyết xấp xỉ Diophantine trong Lý thuyết số: Định lý cơ bản thứ hai trong giải tích tương ứng với Định lý không gian con Schmidt trong số học.
Khoảng trống nghiên cứu được tác giả xác định gồm hai trọng tâm:
- Đối với Lý thuyết Nevanlinna: Gần đây Trần Văn Tấn (2018, 2019) đã thiết lập dạng mạnh của Định lý cơ bản thứ hai và Định lý Picard cho lớp đường cong nguyên trong không gian xạ ảnh có đạo hàm cầu triệt tiêu trên tập tạo ảnh của các siêu phẳng mục tiêu. Vấn đề đặt ra là mở rộng kết quả và phương pháp này sang trường hợp mục tiêu là các siêu mặt.
- Đối với Lý thuyết xấp xỉ Diophantine: Các Định lý không gian con Schmidt cho họ siêu mặt di động ở vị trí tổng quát và dưới tổng quát đã được thiết lập trên không gian xạ ảnh $\mathbb{P}^n(k)$. Tuy nhiên, bài toán tương ứng trên một đa tạp đại số xạ ảnh tổng quát $V$ (tương ứng với kết quả giải tích của Dethloff - Trần Văn Tấn năm 2008) vẫn chưa được giải quyết đầy đủ, do trên đa tạp xạ ảnh tổng quát vành tọa độ nói chung không thỏa mãn tính chất Cohen-Macaulay như trong không gian xạ ảnh.
Mục tiêu nghiên cứu
Luận án xác định hai mục tiêu nghiên cứu cụ thể:
- Thiết lập Định lý cơ bản thứ hai cho đường cong nguyên trong đa tạp đại số có đạo hàm cầu triệt tiêu trên tập tạo ảnh của mục tiêu là các siêu mặt và ứng dụng vào việc xây dựng tiêu chuẩn tính Brody cho đường cong nguyên.
- Thiết lập Định lý không gian con Schmidt ứng với họ siêu mặt di động giao với đa tạp đại số xạ ảnh trên một trường số.
Đối tượng và phạm vi nghiên cứu
- Đối tượng nghiên cứu: Định lý không gian con Schmidt, Định lý cơ bản thứ hai kiểu Nochka, đường cong Brody và bài toán chuẩn tắc của họ các ánh xạ chỉnh hình.
- Phạm vi nghiên cứu: Các cấu trúc toán học thuộc khuôn khổ Lý thuyết xấp xỉ Diophantine và Lý thuyết Nevanlinna dành cho đường cong nguyên trong không gian xạ ảnh phức $\mathbb{P}^n(\mathbb{C})$ và trên đa tạp đại số xạ ảnh $V$.
Tổng quan tài liệu và vị trí của luận án
Tổng quan lịch sử trong luận án ghi nhận tiến trình phát triển từ giải tích phức sang lý thuyết số qua các công trình nền tảng:
- R. Nevanlinna (1925) thiết lập lý thuyết phân bố giá trị cho hàm phân hình một biến phức trên $\mathbb{C}$.
- A. Bloch (1926), H. Cartan (1933), H. Weyl (1943), L. Ahlfors (1941) và W. Stoll (1953, 1954) mở rộng lý thuyết sang trường hợp nhiều biến, đường cong chỉnh hình trên đa tạp Abel và không gian xạ ảnh phức. Cartan mở rộng Định lý cơ bản thứ hai cho đường cong nguyên không suy biến tuyến tính giao với hệ siêu phẳng ở vị trí tổng quát.
- C. F. Osgood (1981) và P. Vojta (1987) đặt nền móng cho mối giao thoa giữa Lý thuyết Nevanlinna và Lý thuyết xấp xỉ Diophantine, thiết lập bảng đối chiếu giữa các khái niệm giải tích và số học.
| Khái niệm trong Lý thuyết Nevanlinna |
Khái niệm tương ứng trong Lý thuyết xấp xỉ Diophantine |
| Đường cong nguyên / Ánh xạ phân hình $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$ |
Điểm hữu tỉ / Điểm di động $x \in \mathbb{P}^n(k)$ |
| Hàm đặc trưng Nevanlinna $T_f(r)$ |
Hàm độ cao Logarit $h(x)$ |
| Hàm đếm giao điểm $N(r, D)$ |
Hàm đếm số học $N_S(D, x)$ |
| Hàm xấp xỉ $m_f(r, D)$ |
Hàm xấp xỉ $m_S(D, x) = \sum_{v \in S} \lambda_{D, v}(x)$ |
| Công thức Jensen / Định lý cơ bản thứ nhất |
Công thức tích Artin / Định lý cơ bản thứ nhất Diophantine |
| Định lý cơ bản thứ hai (Cartan, Nochka) |
Định lý không gian con Schmidt |
Giai đoạn từ đầu thế kỷ 21, các nghiên cứu tập trung mở rộng mục tiêu từ siêu phẳng sang siêu mặt:
- P. Corvaja - U. Zannier (2004), J.-H. Evertse - R. G. Ferretti (2002, 2008) thiết lập Định lý không gian con Schmidt cho mục tiêu là các siêu mặt.
- Min Ru (2004) đưa ra Định lý cơ bản thứ hai cho siêu mặt trong không gian xạ ảnh. Tiếp sau đó, G. Dethloff - Trần Văn Tấn (2006, 2008) và Min Ru (2009) mở rộng cho các mục tiêu di động và đường cong nguyên trên đa tạp xạ ảnh.
- E. I. Nochka (1983) đưa ra kỹ thuật trọng số cho hệ siêu phẳng ở vị trí dưới tổng quát; các dạng Định lý cơ bản thứ hai kiểu Nochka cho siêu mặt được phát triển bởi G. Dethloff - Trần Văn Tấn - Đỗ Đức Thái (2008), Chen - Ru - Yan (2015), Lê Giang (2017), Sĩ Đức Quang - Đỗ Phương An (2013) và Sĩ Đức Quang (2019).
- Lê Giang (2015) và Chen - Ru - Yan (2015) thiết lập Định lý không gian con Schmidt cho siêu mặt di động trong $\mathbb{P}^n(k)$; Sĩ Đức Quang (2019) mở rộng sang vị trí dưới tổng quát.
- Trần Văn Tấn (2018, 2019) nghiên cứu Định lý cơ bản thứ hai và tính chuẩn tắc cho đường cong nguyên có đạo hàm cầu triệt tiêu trên tập tạo ảnh của các siêu phẳng mục tiêu.
Vị trí của luận án: Luận án giải quyết hai điểm nút kỹ thuật: mở rộng trường hợp siêu phẳng của Trần Văn Tấn sang siêu mặt trên đa tạp xạ ảnh $V$, và mở rộng Định lý không gian con Schmidt đối với siêu mặt di động của Lê Giang, Chen - Ru - Yan từ không gian xạ ảnh $\mathbb{P}^n(k)$ sang đa tạp đại số xạ ảnh $V$ bằng cách xử lý việc thiếu tính chất Cohen-Macaulay của vành tọa độ.
Cơ sở lý thuyết và phương pháp nghiên cứu
Khung phân tích và các khái niệm lý thuyết cốt lõi
-
Lý thuyết Nevanlinna trên $\mathbb{P}^n(\mathbb{C})$:
- Biểu diễn rút gọn: Ánh xạ chỉnh hình $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$ biểu diễn qua $f = (f_0 : \dots : f_n)$, với $f_i$ là các hàm nguyên không có không điểm chung. Chuẩn $|f| = (|f_0|^2 + \dots + |f_n|^2)^{1/2}$ hoặc $|f| = \max_{0 \le i \le n} |f_i|$.
- Hàm đặc trưng:
$$T_f(r) = \frac{1}{2\pi} \int_0^{2\pi} \log |f(re^{i\theta})| d\theta - \frac{1}{2\pi} \int_0^{2\pi} \log |f(e^{i\theta})| d\theta$$
- Hàm đếm: Đối với ước tử divisor $\nu$, $N(r, \nu) = \int_1^r \frac{n(t, \nu)}{t} dt$. Hàm đếm ngắt bội cấp $k$: $N^{[k]}(r, \nu) = \int_1^r \frac{n^{[k]}(t, \nu)}{t} dt$ với $n^{[k]}(t, \nu) = \sum_{|z| \le t} \min{\nu(z), k}$.
- Hàm xấp xỉ:
$$m_f(r, D) = \frac{1}{2\pi} \int_0^{2\pi} \log \frac{|f(re^{i\theta})|^d \cdot |Q|}{|Q(f(re^{i\theta}))|} d\theta$$
- Định lý cơ bản thứ nhất: $m_f(r, D) + N(r, D) = d \cdot T_f(r) + O(1)$, dẫn tới $N(r, D) \le d \cdot T_f(r) + O(1)$.
-
Toán tử Wronski và Đạo hàm cầu:
- Toán tử Wronski: $W(g_0, \dots, g_n) = \det (g_j^{(i)})_{0 \le i, j \le n}$. Ánh xạ $f$ suy biến tuyến tính khi và chỉ khi $W(f) = 0$.
- Bổ đề đạo hàm logarit mở rộng: Với $H_0, \dots, H_n$ là các siêu phẳng ở vị trí tổng quát, $m\left(r, \frac{W(f)}{H_0(f)\cdots H_n(f)}\right) = o(T_f(r))$.
- Đạo hàm cầu $f^#$: Được xác định dựa trên metric Fubini-Study trên $\mathbb{P}^n(\mathbb{C})$:
$$(f^#)^2 = \frac{\sum_{0 \le i < j \le n} |f_i f'_j - f'_i f_j|^2}{(|f_0|^2 + \dots + |f_n|^2)^2}$$
- Đường cong Brody: Đường cong nguyên $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$ thỏa mãn $\sup_{z \in \mathbb{C}} f^#(z) < +\infty$. Theo tiêu chuẩn Eremenko, $f$ là đường cong Brody khi và chỉ khi họ tịnh tiến $\mathcal{F} = {f(z+a) : a \in \mathbb{C}}$ là họ chuẩn tắc.
-
Hình học đại số và Hàm Hilbert:
- Đa tạp xạ ảnh $V \subset \mathbb{P}^n(\mathbb{C})$ có chiều $\dim V = k$, xác định bởi ideal nguyên tố $I(V)$ trong vành đa thức $\mathbb{C}[z_0, \dots, z_n]$.
- Không gian vector các đa thức thuần nhất bậc $m$ trên $V$ là $(\mathbb{C}[z_0, \dots, z_n] / I(V))_m$.
- Hàm Hilbert: $H_V(m) = \dim_{\mathbb{C}} (\mathbb{C}[z_0, \dots, z_n] / I(V))_m$.
- Trọng Hilbert thứ $m$ của $V$ ứng với bộ $\mathbf{c} = (c_0, \dots, c_n)$: $S_V(m, \mathbf{c}) = \max \sum a_j \cdot \mathbf{c}$.
-
Lý thuyết xấp xỉ Diophantine trên trường số $k$:
- Tập các lớp định giá không tầm thường $M_k = M_k^\infty \cup M_k^0$ (gồm các định giá Archimedes và không Archimedes). Định giá chuẩn hóa $|x|_v = |x|_v^{d_v/d}$ với $d = [k : \mathbb{Q}]$.
- Công thức tích Artin: $\prod_{v \in M_k} |x|_v = 1$ với mọi $x \in k \setminus {0}$.
- Độ cao Logarit của điểm $x = [x_0 : \dots : x_M] \in \mathbb{P}^M(k)$: $h(x) = \sum_{v \in M_k} \log |x|_v$, trong đó $|x|v = \max{0 \le i \le M} |x_i|_v$.
- Hàm Weil đối với siêu mặt $Q$: $\lambda_{Q, v}(x) = \log \frac{|x|_v^{\deg Q} |Q|_v}{|Q(x)|_v}$.
Phương pháp nghiên cứu
Nghiên cứu sử dụng phương pháp diễn dịch toán học thuần túy:
- Kỹ thuật xây dựng trọng số Nochka gắn với hệ vector và hệ siêu mặt để xử lý các siêu mặt ở vị trí dưới tổng quát.
- Khai triển định thức Laplace của toán tử Wronski kết hợp bổ đề đạo hàm logarit và công thức Euler cho đa thức thuần nhất nhằm đánh giá bậc triệt tiêu tại các không điểm.
- Sử dụng Bổ đề Zalcman mở rộng để chuyển đổi bài toán họ không chuẩn tắc sang sự tồn tại của đường cong nguyên khác hằng, từ đó dẫn đến mâu thuẫn nhờ Định lý Picard.
- Kỹ thuật lọc và nhúng đa tạp đại số nhằm khắc phục tính chất không Cohen-Macaulay của vành tọa độ đa tạp xạ ảnh trong trường số.
Nội dung chính theo từng chương
Chương 1: Tổng quan
Chương 1 hệ thống hóa lịch sử nghiên cứu từ năm 1925 đến năm 2022 về Lý thuyết Nevanlinna, Lý thuyết xấp xỉ Diophantine và mối liên hệ tương hỗ thông qua từ điển Vojta.
- Phân tích chi tiết Định lý cơ bản thứ hai của Cartan (1933) cho hệ siêu phẳng $H_1, \dots, H_q$ ở vị trí tổng quát:
$$(q - n - 1) T_f(r) \le \sum_{j=1}^q N^{[n]}(r, H_j) + o(T_f(r))$$
- Trình bày định lý mở rộng của Nochka (1983) cho hệ siêu phẳng ở vị trí dưới tổng quát, và kết quả của Min Ru (2004) mở rộng Định lý Cartan cho các siêu mặt $D_1, \dots, D_q$ ở vị trí tổng quát:
$$(q - n - 1 - \epsilon) T_f(r) \le \sum_{j=1}^q \frac{1}{\deg D_j} N(r, D_j) + o(T_f(r))$$
- Trình bày Định lý không gian con Schmidt cổ điển và dạng mở rộng của Ru - Vojta (1991) cho siêu phẳng di động: với điểm di động $x: A \to \mathbb{P}^M(k)$ không suy biến tuyến tính, ngoài tập hữu hạn chỉ số, thỏa mãn:
$$\sum_{v \in S} \max_{K} \sum_{j \in K} \lambda_{H_j(a), v}(x(a)) \le (M + 1 + \epsilon) h(x(a))$$
- Khảo sát các công trình mở rộng trên siêu mặt di động của Lê Giang (2015), Chen - Ru - Yan (2015) và Sĩ Đức Quang (2019), định hình hướng nghiên cứu tiếp theo của luận án.
Chương 2: Định lí cơ bản thứ hai đối với đường cong nguyên có đạo hàm cầu triệt tiêu trên tập tạo ảnh của một mục tiêu
Chương này bao gồm 3 tiểu mục chính, trình bày các kết quả mới được công bố trong hai công trình của tác giả:
1. Định lý cơ bản thứ hai kiểu Nochka và Định lý Picard
Tác giả thiết lập Định lý cơ bản thứ hai cho đường cong nguyên $f: \mathbb{C} \to V \subset \mathbb{P}^n(\mathbb{C})$ ($\dim V = k \ge 1$) không suy biến đại số, giao với $q$ siêu mặt $D_1, \dots, D_q$ ở vị trí $N$-dưới tổng quát trên $V$ (tức giao của $N+1$ siêu mặt bất kỳ với $V$ bằng rỗng). Đặt $d = \operatorname{lcm}(\deg D_j)$. Giả thiết quan trọng là đạo hàm cầu triệt tiêu trên tập tạo ảnh: $f^# = 0$ trên $\bigcup_{j=1}^q f^{-1}(D_j)$.
- Bất đẳng thức Định lý 2.4 thu được:
$$\left( \frac{q}{2(N - k + 1) H_V(d)} - 1 \right) T_f(r) \le \sum_{j=1}^q \frac{1}{\deg D_j} N^{[\ell]}(r, D_j) + o(T_f(r))$$
trong đó $\ell = \infty$ nếu $H_V(d) = 2$, và $\ell = H_V(d) - 1$ nếu $H_V(d) \ge 3$.
- Phương pháp chứng minh dựa trên việc quy các siêu mặt về cùng bậc $d$, xét không gian đa thức $V_d = (\mathbb{C}[z_0, \dots, z_n] / I(V))_d$, áp dụng hệ trọng số Nochka $\omega_j$ ứng với hệ vector ${Q_j}$, xây dựng toán tử Wronski $W$ từ cơ sở của $V_d$, và sử dụng tính chất triệt tiêu $f^#(a) = 0 \Rightarrow (f_0'(a) : \dots : f_n'(a)) = (f_0(a) : \dots : f_n(a))$ để chứng minh cấp bội của $W$ tại $a$ triệt tiêu bậc cao thông qua khai triển ma trận Laplace.
Từ Định lý 2.4, tác giả suy ra Định lý Picard (Định lý 2.5): Giả sử $D_1, \dots, D_q$ là các siêu mặt ở vị trí tổng quát trong $\mathbb{P}^n(\mathbb{C})$ ($n \ge 2$), $d = \operatorname{lcm}(\deg D_j)$. Nếu tồn tại đường cong nguyên khác hằng $f$ thỏa mãn với mỗi $j \in {1, \dots, q}$, $f^# = 0$ trên $f^{-1}(D_j)$, thì số lượng siêu mặt bị chặn trên bởi:
$$q \le 3n \binom{n+d}{n} - 7n$$
2. Tiêu chuẩn Brody cho đường cong nguyên
Kết hợp Định lý Picard 2.5 với Bổ đề Zalcman cho ánh xạ vào đa tạp phức Hermite compact (A. Eremenko), tác giả thiết lập Định lý 2.6:
- Cho $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$ ($n \ge 2$) và các siêu mặt $D_1, \dots, D_q$ ở vị trí tổng quát. Nếu $f^#$ bị chặn trên tập tạo ảnh $\bigcup_{j=1}^q f^{-1}(D_j)$ và:
$$q > 3n \binom{n+d}{n} - 7n$$
thì đạo hàm cầu $f^#$ bị chặn trên toàn bộ mặt phẳng phức $\mathbb{C}$, nghĩa là $f$ là một đường cong Brody.
3. Định lý cơ bản thứ hai không ngắt bội trên đa tạp xạ ảnh
Sử dụng kỹ thuật thay thế siêu mặt của Sĩ Đức Quang và ánh xạ đa thức $\Phi: V \to \mathbb{P}^{n_0(k+1)-1}(\mathbb{C})$, tác giả thiết lập dạng Định lý cơ bản thứ hai không ngắt bội (Định lý 2.8) cho đường cong nguyên đại số $f$ có tiếp xúc $f_{*, z} = 0$ tại mọi $z \in \bigcup_{j=1}^q f^{-1}(Q_j)$:
$$\left( q - \frac{(N - k + 1)(k + 1) M}{M^2 - M - 1} - \epsilon \right) T_f(r) \le \sum_{j=1}^q \frac{1}{\deg Q_j} N(r, Q_j)$$
với hằng số $M = k + d^k \deg V \left( \left[ (2k+1)(N-k+1)^2(k+1)^2 d^{k-1} \deg V \epsilon^{-1} \right] + 1 \right)^k$.
Chương 3: Định lí không gian con Schmidt đối với siêu mặt di động giao đa tạp đại số xạ ảnh
Chương 3 trình bày kết quả về hướng nghiên cứu thứ hai, mở rộng Định lý không gian con Schmidt cho siêu mặt di động trên đa tạp xạ ảnh $V$:
- Cho trường số $k$, tập hữu hạn định giá $S \subset M_k$ chứa tất cả các định giá Archimedes.
- Xét họ siêu mặt di động $\mathcal{Q} = {Q_1, \dots, Q_q}$ đánh chỉ số trên tập vô hạn $A$, các siêu mặt ở vị trí tổng quát trên đa tạp xạ ảnh $V \subset \mathbb{P}^M(k)$ ($\dim V = n$).
- Cho điểm di động $x: A \to V$ thỏa mãn tính chất $V$-không suy biến đại số đối với $\mathcal{Q}$ và độ cao của siêu mặt triệt tiêu tiệm cận so với độ cao của điểm: $h(Q_j(a)) = o(h(x(a)))$.
Tác giả chứng minh rằng với mọi $\epsilon > 0$, tồn tại tập con vô hạn chỉ số $A' \subset A$ sao cho:
$$\sum_{v \in S} \max_{K} \sum_{j \in K} \frac{1}{\deg Q_j} \lambda_{Q_j(a), v}(x(a)) \le (n + 1 + \epsilon) h(x(a))$$
đúng với mọi $a \in A'$, trong đó max lấy trên các tập con $K \subset {1, \dots, q}$ có lực lượng $n + 1$ sao cho các siêu mặt ${Q_j(a)}_{j \in K}$ có giao rỗng trên $V$.
- Khi $V = \mathbb{P}^n(k)$, kết quả này trùng với định lý của Lê Giang (2015) và Chen - Ru - Yan (2015).
- Kết hợp kỹ thuật ước lượng của Sĩ Đức Quang, tác giả mở rộng đánh giá sang trường hợp họ siêu mặt $\mathcal{Q}$ ở vị trí $m$-dưới tổng quát trên $V$:
$$\sum_{v \in S} \max_{K} \sum_{j \in K} \frac{1}{\deg Q_j} \lambda_{Q_j(a), v}(x(a)) \le \big( (n - m + 1)(m + 1) + \epsilon \big) h(x(a))$$
- Khác biệt kỹ thuật cơ bản được phân tích rõ: trong trường hợp đa tạp xạ ảnh tổng quát $V$, vành tọa độ không còn là vành Cohen-Macaulay, đòi hỏi việc đánh giá trọng Hilbert và sử dụng cơ sở lọc Hilbert chuyên biệt thay vì các hệ tọa độ thuần nhất chuẩn thông thường trên $\mathbb{P}^M(k)$.
Kết quả và những đóng góp mới
Luận án đã đóng góp các kết quả toán học cụ thể sau:
- Thiết lập Định lý cơ bản thứ hai kiểu Nochka cho siêu mặt trên đa tạp xạ ảnh với điều kiện đạo hàm cầu triệt tiêu: Mở rộng thành công kết quả của Trần Văn Tấn từ hệ siêu phẳng sang hệ siêu mặt ở vị trí $N$-dưới tổng quát, thu được chặn hàm đặc trưng gắn liền với hàm Hilbert $H_V(d)$ và hàm đếm ngắt bội ở cấp $H_V(d) - 1$.
- Thiết lập Định lý kiểu Picard định lượng: Đưa ra chặn trên tường minh cho số lượng siêu mặt mục tiêu $q \le 3n \binom{n+d}{n} - 7n$ đối với đường cong nguyên khác hằng có đạo hàm cầu triệt tiêu trên tập tạo ảnh.
- Thiết lập tiêu chuẩn nhận biết đường cong Brody mới: Chứng minh tính chất đạo hàm cầu chỉ cần bị chặn trên tập tạo ảnh của hệ siêu mặt mục tiêu đủ lớn ($q > 3n \binom{n+d}{n} - 7n$) là đủ để suy ra đường cong nguyên $f$ là đường cong Brody (đạo hàm cầu bị chặn trên toàn bộ $\mathbb{C}$).
- Mở rộng Định lý không gian con Schmidt cho siêu mặt di động trên đa tạp xạ ảnh: Mở rộng định lý từ không gian xạ ảnh $\mathbb{P}^n(k)$ sang đa tạp xạ ảnh tổng quát $V$, giải quyết bài toán đặt ra tương ứng với Định lý cơ bản thứ hai của Dethloff - Trần Văn Tấn (2008), đồng thời đưa ra chặn cho trường hợp vị trí $m$-dưới tổng quát.
Hạn chế và hướng nghiên cứu tiếp
Dựa trên các phân tích trong văn bản luận án:
- Đối với Định lý 2.8 (dạng không ngắt bội): Đánh giá vế trái được tối ưu hóa tốt hơn, nhưng các hàm đếm ở vế phải chưa được ngắt bội. Việc áp dụng các kỹ thuật ngắt bội hiện thời dẫn tới mức chặn bội phụ thuộc lớn vào bậc của đa tạp xạ ảnh, làm giảm khả năng ứng dụng thực tế của định lý.
- Đối với Định lý không gian con Schmidt ở vị trí $m$-dưới tổng quát: Bất đẳng thức chặn với hệ số $((n - m + 1)(m + 1) + \epsilon)$ vẫn chưa phải là đánh giá tối ưu. Tác giả chỉ ra rằng dựa trên các kết quả cổ điển của Nochka và Eremenko - Sodin, đánh giá này hứa hẹn có thể được cải tiến đáng kể trong các công trình tương lai.
- Hướng nghiên cứu tiếp theo được văn bản gợi mở là tiếp tục cải tiến hệ số chặn trong Định lý không gian con Schmidt dưới tổng quát và tìm kiếm kỹ thuật làm giảm cấp ngắt bội cho dạng định lý cơ bản thứ hai không ngắt bội trên đa tạp xạ ảnh.
Giá trị tham khảo
Luận án là tài liệu tham khảo chuyên khảo dành cho:
- Nghiên cứu sinh và học viên cao học thuộc các chuyên ngành Hình học và Tôpô, Giải tích phức, Hình học vi phân và Lý thuyết số (đặc biệt là hướng xấp xỉ Diophantine).
- Giảng viên và nhà nghiên cứu:
- Cung cấp phương pháp chi tiết về kỹ thuật sử dụng trọng số Nochka cho hệ đa thức thuần nhất bậc cao trên đa tạp xạ ảnh.
- Cung cấp kỹ thuật ứng dụng Bổ đề Zalcman kết hợp với Định lý Picard để nghiên cứu bài toán họ chuẩn tắc và đường cong Brody.
- Cung cấp khung phân tích từ điển Vojta, đặc biệt là kỹ thuật xử lý vành tọa độ của đa tạp xạ ảnh không thỏa mãn điều kiện Cohen-Macaulay khi giải bài toán không gian con Schmidt.
Câu hỏi thường gặp
1. Từ điển Vojta thiết lập sự tương đồng giữa những khái niệm nào trong luận án?
Từ điển Vojta thiết lập sự tương đồng một-đối-một giữa các khái niệm giải tích phức và số học: ánh xạ chỉnh hình $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$ tương ứng với điểm di động $x(a) \in \mathbb{P}^n(k)$; hàm đặc trưng Nevanlinna $T_f(r)$ tương ứng với hàm độ cao logarit $h(x)$; hàm đếm $N(r, D)$ tương ứng với hàm đếm số học $N_S(D, x)$; công thức Jensen tương ứng với công thức tích Artin; và Định lý cơ bản thứ hai trong giải tích tương ứng trực tiếp với Định lý không gian con Schmidt trong Lý thuyết xấp xỉ Diophantine.
2. Giả thiết đạo hàm cầu triệt tiêu $f^# = 0$ trên tập tạo ảnh đóng vai trò kỹ thuật gì trong chứng minh?
Điều kiện đạo hàm cầu triệt tiêu $f^#(a) = 0$ tại các điểm tạo ảnh $a \in \bigcup_{j=1}^q f^{-1}(D_j)$ dẫn đến hệ thức tỷ lệ giữa đạo hàm và hàm tọa độ: $(f_0'(a) : \dots : f_n'(a)) = (f_0(a) : \dots : f_n(a))$. Khi kết hợp với công thức Euler cho đa thức thuần nhất, các đạo hàm riêng triệt tiêu theo bậc nhất định, làm cho toán tử Wronski xây dựng từ cơ sở đa thức có bậc không điểm triệt tiêu cao tại $a$, từ đó làm xuất hiện mức ngắt bội $H_V(d) - 1$ và tạo ra chặn hệ số mong muốn trong Định lý 2.4.
3. Khó khăn kỹ thuật lớn nhất khi chuyển từ không gian xạ ảnh $\mathbb{P}^n(k)$ sang đa tạp xạ ảnh $V$ trong Chương 3 là gì?
Điểm khác biệt căn bản nằm ở tính chất đại số giao hoán: đối với không gian xạ ảnh $\mathbb{P}^n(k)$, vành tọa độ thuần nhất là vành đa thức chuẩn và có cấu trúc Cohen-Macaulay. Tuy nhiên, đối với một đa tạp đại số xạ ảnh tổng quát $V \subset \mathbb{P}^M(k)$, vành tọa độ $k[z_0, \dots, z_M]/I(V)$ nói chung không phải là vành Cohen-Macaulay. Do đó, tác giả phải sử dụng kỹ thuật hàm Hilbert $H_V(m)$ và trọng Hilbert $S_V(m, \mathbf{c})$ để xây dựng các cơ sở lọc thích hợp thay thế.
4. Bội chung nhỏ nhất $d$ của bậc các siêu mặt chi phối cấu trúc các định lý như thế nào?
Số nguyên $d = \operatorname{lcm}(\deg D_1, \dots, \deg D_q)$ được dùng để đồng bậc hóa các siêu mặt mục tiêu bằng cách đặt $Q_j = Q_j^{* d / \deg D_j}$. Bậc $d$ quyết định trực tiếp số chiều không gian đa thức thông qua hàm Hilbert $H_V(d)$, xác định cấp ma trận toán tử Wronski, cấp ngắt bội $\ell = H_V(d) - 1$, và xuất hiện trong hệ số tổ hợp chặn của Định lý Picard và tiêu chuẩn Brody thông qua biểu thức $\binom{n+d}{n}$.
5. Tiêu chuẩn Brody đạt được trong luận án có ý nghĩa gì đối với lý thuyết họ chuẩn tắc?
Theo nguyên lý Bloch và tiêu chuẩn Eremenko, một đường cong nguyên $f$ là đường cong Brody (đạo hàm cầu $f^#$ bị chặn trên $\mathbb{C}$) khi và chỉ khi họ các phép tịnh tiến ${f(z+a) : a \in \mathbb{C}}$ tạo thành một họ chuẩn tắc. Tiêu chuẩn Brody của luận án (Định lý 2.6) cho phép suy ra tính bị chặn toàn cục trên toàn bộ mặt phẳng phức của $f^#$ chỉ từ giả thiết đạo hàm cầu bị chặn cục bộ trên tập giao điểm ngược với một hệ đủ nhiều các siêu mặt mục tiêu ở vị trí tổng quát.
Kết luận
Luận án tiến sĩ của Nguyễn Thanh Sơn đã giải quyết hai bài toán lý thuyết mở rộng thuộc giao điểm giữa Lý thuyết Nevanlinna và Lý thuyết xấp xỉ Diophantine. Tác giả đã thiết lập thành công Định lý cơ bản thứ hai kiểu Nochka cùng định lý kiểu Picard và tiêu chuẩn Brody cho đường cong nguyên có đạo hàm cầu triệt tiêu trên tập tạo ảnh của hệ siêu mặt. Đồng thời, luận án đã mở rộng Định lý không gian con Schmidt cho hệ siêu mặt di động giao đa tạp đại số xạ ảnh, vượt qua rào cản kỹ thuật về tính không Cohen-Macaulay của vành tọa độ đa tạp tổng quát. Các kết quả đạt được đã làm phong phú thêm kho tàng tri thức giải tích phức và hình học Diophantine hiện đại.