Tổng quan luận án

Luận án tiến sĩ toán học "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 thực hiện bởi nghiên cứu sinh Nguyễn Thanh Sơn dưới sự hướng dẫn khoa học của GS.TS Trần Văn Tấn, 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).

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) bắt đầu từ công trình năm 1925 của Rolf Nevanlinna đối với hàm phân hình một biến phức, nghiên cứu mối quan hệ giữa hàm đặc trưng (đo mức độ lan tỏa của ảnh ánh xạ) và hàm đếm (đo số giao điểm của ảnh với các mục tiêu). Cốt lõi của lý thuyết gồm Định lí cơ bản thứ nhất (cho đánh giá chặn dưới hàm đặc trưng) và Định lí cơ bản thứ hai (cho đánh giá chặn trên hàm đặc trưng bởi tổng các hàm đếm). Trong khi Định lí cơ bản thứ nhất được hiểu rõ thông qua công thức Jensen, Định lí cơ bản thứ hai khó thiết lập hơn và trong phần lớn thế kỷ 20 chỉ giới hạn ở 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ối liên hệ sâu sắc giữa Lý thuyết Nevanlinna và Lý thuyết xấp xỉ Diophantine được Charles Osgood phát hiện năm 1981 và được Paul Vojta hệ thống hóa năm 1987 thành "từ điển Vojta", chỉ ra sự tương ứng trực tiếp giữa Định lí cơ bản thứ hai và Định lí không gian con Schmidt. Bước sang thế kỷ 21, nhiều công trình đã mở rộng hai định lý này cho mục tiêu là các siêu mặt cố định và di động. Tuy nhiên, vẫn còn hai khoảng trống nghiên cứu chính:

  1. Mở rộng Định lí cơ bản thứ hai và Định lí Picard cho lớp đườ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 mặt mục tiêu trên đa tạp xạ ảnh (thay vì chỉ cho siêu phẳng), kết hợp xác lập tiêu chuẩn nhận biết đường cong Brody và tính chuẩn tắc.
  2. Thiết lập Định lí không gian con Schmidt đối với họ siêu mặt di động giao đa tạp đại số xạ ảnh $V$ (thay vì chỉ trên không gian xạ ảnh $\mathbb{P}^n(k)$), giải quyết khó khăn khi vành tọa độ của đa tạp xạ ảnh tổng quát không có tính chất Cohen-Macaulay.

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ể:

  1. 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 và ứng dụng trong việc xây dựng tính Brody của đường cong nguyên.
  2. Thiết lập Định lí không gian con Schmidt ứng với họ siêu mặt di động giao đa tạp đại số xạ ảnh.

Đố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, đường cong Brody và bài toán về họ chuẩn tắc các ánh xạ chỉnh hình.
  • Phạm vi nghiên cứu: Lý thuyết xấp xỉ Diophantine trên trường số $k$ và Lý thuyết Nevanlinna cho đường cong nguyên trong không gian xạ ảnh phức $\mathbb{P}^n(\mathbb{C})$ cùng các đa tạp con đại số xạ ảnh $V$.

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

Luận án tổng thuật có hệ thống các công trình nền tảng và các kết quả phát triển trong hai nhánh lý thuyết:

Nhánh Lý thuyết Nevanlinna và Định lí cơ bản thứ hai

  • Nevanlinna (1925): Khởi xướng lý thuyết phân bố giá trị một biến phức.
  • A. Bloch (1926): Mở rộng cho đường cong chỉnh hình trong đa tạp Abel.
  • H. Cartan (1933): Thiết lập Định lí cơ bản thứ hai cho đường cong nguyên không suy biến tuyến tính trong $\mathbb{P}^n(\mathbb{C})$ giao với các siêu phẳng ở vị trí tổng quát.
  • H. Weyl (1938), L. Ahlfors (1941): Phát triển phương pháp tiếp cận hình học.
  • W. Stoll (1953, 1954): Mở rộng cho ánh xạ phân hình từ không gian parabolic vào đa tạp xạ ảnh.
  • E. I. Nochka (1983): Chứng minh giả thuyết Cartan đối với các siêu phẳng ở vị trí dưới tổng quát thông qua việc xây dựng hệ trọng số Nochka.
  • M. Ru (2004, 2009): Mở rộng Định lí Cartan sang trường hợp mục tiêu là các siêu mặt và siêu mặt di động.
  • G. Dethloff và Trần Văn Tấn (2006, 2007), G. Dethloff, Trần Văn Tấn và Đỗ Đức Thái (2008): Thiết lập Định lí cơ bản thứ hai kiểu Nochka cho siêu mặt và siêu mặt di động trên đa tạp xạ ảnh.
  • Lê Giang (2014), Chen-Ru-Yan (2012), Sĩ Đức Quang và Đỗ Phương An (2013), Sĩ Đức Quang (2019, 2021): Hoàn thiện các dạng định lý cơ bản thứ hai kiểu Nochka cho siêu mặt ở vị trí dưới tổng quát.
  • Trần Văn Tấn (2019, 2020): Thiết lập dạng mạnh của Định lí cơ bản thứ hai và Định lí Picard 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.

Nhánh Lý thuyết xấp xỉ Diophantine và Định lí không gian con Schmidt

  • W. M. Schmidt (1972): Chứng minh Định lí không gian con cho các dạng tuyến tính độc lập.
  • C. Osgood (1981), P. Vojta (1987): Phát hiện và hệ thống hóa mối quan hệ tương đồng giữa hai lĩnh vực Giải tích phức và Lý thuyết số.
  • P. Corvaja và U. Zannier (2004), J. H. Evertse và R. G. Ferretti (2002, 2008): Thiết lập Định lí không gian con Schmidt cho các siêu mặt.
  • M. Ru và P. M. Wong (1991): Thiết lập Định lí không gian con Schmidt tương ứng với Định lí cơ bản thứ hai kiểu Nochka.
  • M. Ru và P. Vojta (1997): Thiết lập Định lí không gian con Schmidt cho họ siêu phẳng di động.
  • Lê Giang (2015), Chen-Ru-Yan (2015): Thiết lập Định lí không gian con Schmidt ứng với Định lí Dethloff - Trần Văn Tấn cho siêu mặt di động trong $\mathbb{P}^n(k)$.
  • Sĩ Đức Quang (2017, 2019): Mở rộng kết quả của Lê Giang, Chen-Ru-Yan sang trường hợp siêu mặt di động ở vị trí dưới tổng quát trong $\mathbb{P}^n(k)$.

Vị trí và khoảng trống luận án giải quyết

Luận án định vị nghiên cứu tại điểm giao thoa giữa hai lý thuyết:

  1. Đưa điều kiện đạo hàm cầu triệt tiêu từ lớp mục tiêu siêu phẳng (Trần Văn Tấn) lên lớp mục tiêu siêu mặt trên đa tạp đại số xạ ảnh $V$, thiết lập định lý Picard tương ứng và định ra một tiêu chuẩn hữu hiệu nhận biết đường cong Brody.
  2. Vượt qua giới hạn không gian xạ ảnh $\mathbb{P}^n(k)$ của Lê Giang, Chen-Ru-Yan và Sĩ Đức Quang để chứng minh Định lí không gian con Schmidt cho siêu mặt di động giao đa tạp đại số xạ ảnh $V$, giải quyết sự thiếu hụt cấu trúc Cohen-Macaulay của vành tọa độ đa tạp tổng quát.

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

Luận án là công trình nghiên cứu lý thuyết thuần túy thuộc toán học giải tích - hình học, sử dụng hệ thống khái niệm và công cụ chuyên sâu từ Giải tích phức, Hình học phức, Hình học đại số và Lý thuyết xấp xỉ Diophantine.

Hệ thống khái niệm và khung phân tích

  • Các hàm Nevanlinna:
    • Hàm đếm: $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$.
    • Hàm đặc trưng của $f = (f_0 : \dots : f_n)$: $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 xấp xỉ: $m_f(r, D) = \frac{1}{2\pi}\int_0^{2\pi} \log \frac{|f(re^{i\theta})|^{\deg Q} |Q|}{|Q(f(re^{i\theta}))|} d\theta$.
    • Định lí cơ bản thứ nhất: $T_f(r, D) = m_f(r, D) + N_f(r, D) = \deg D \cdot T_f(r) + O(1)$.
  • Toán tử Wronski và Bổ đề đạo hàm logarit: Dùng toán tử Wronski $W(f_0, \dots, f_n)$ để kiểm soát tính độc lập tuyến tính/đại số và ước lượng $\int_0^{2\pi} \log^+ \left| \frac{W(f)(re^{i\theta})}{\prod f_j(re^{i\theta})} \right| d\theta = o(T_f(r))$.
  • Metric Fubini-Study và Đạo hàm cầu:
    • Metric Fubini-Study trên $\mathbb{P}^n(\mathbb{C})$: $ds^2 = \frac{\langle d\zeta, d\zeta \rangle \langle \zeta, \zeta \rangle - |\langle \zeta, d\zeta \rangle|^2}{\langle \zeta, \zeta \rangle^2}$.
    • Đạo hàm cầu $f^#$: $(f^#)^2 = \frac{\sum_{0 \le i < j \le n} |f_i f'_j - f_j f'i|^2}{(\sum{i=0}^n |f_i|^2)^2}$.
    • Tính chất: $f^#(a) = 0 \iff (f_0(a) : \dots : f_n(a)) = (f'_0(a) : \dots : f'_n(a))$.
  • Đường cong Brody và Bổ đề kiểu Zalcman: Ánh xạ $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$ là đường cong Brody nếu $f^#$ bị chặn trên $\mathbb{C}$. Theo tiêu chuẩn Eremenko, $f$ là đường cong Brody khi và chỉ khi họ ${f(z+a) : a \in \mathbb{C}}$ là họ chuẩn tắc.
  • Lý thuyết định giá và độ cao trên trường số:
    • Tập các lớp định giá $M_k = M_k^0 \cup M_k^\infty$, chuẩn hóa $|x|v$ và công thức tích $\prod{v \in M_k} |x|_v = 1$ với mọi $x \in k \setminus {0}$.
    • Hàm độ cao logarit: $h(x) = \sum_{v \in M_k} \log |x|_v$.
    • Hàm Weil ứng với đa thức thuần nhất $Q$: $\lambda_{Q, v}(x) = \log \frac{|x|_v^{\deg Q} |Q|_v}{|Q(x)|_v}$.
    • Hàm xấp xỉ Diophantine: $m_S(Q, x) = \sum_{v \in S} \lambda_{Q, v}(x)$, hàm đếm $N_S(Q, x) = \sum_{v \notin S} \lambda_{Q, v}(x)$.
  • Đại số giao và đa tạp xạ ảnh: Hàm Hilbert $H_V(m) = \dim (C[x_0, \dots, x_n]_m / I(V)_m)$ và trọng Hilbert $S_V(m, c) = \max \sum a_i \cdot c$.

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

Luận án sử dụng phương pháp phân tích giải tích, đánh giá vi phân trên metric Hermitian, kết hợp phương pháp tổ hợp trọng số Nochka, đại số giao trên đa tạp xạ ảnh (ước lượng hàm Hilbert, trọng Hilbert) và lý thuyết trường định giá, đại số giao hữu hạn trên tập chỉ số nhất quán.

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

+---------------------------------------------------------------------------------------------------------+
|                                           CẤU TRÚC LUẬN ÁN                                              |
+---------------------------------------------------------------------------------------------------------+
| Chương 1: Tổng quan                                                                                     |
|   - Cơ sở lý thuyết Nevanlinna và Định lí cơ bản thứ hai                                                |
|   - Định lí không gian con Schmidt và từ điển Vojta                                                     |
+---------------------------------------------------------------------------------------------------------+
| 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   |
|   - Xây dựng hệ trọng số Nochka và bất đẳng thức vi phân                                                |
|   - Định lí cơ bản thứ hai kiểu Nochka cho siêu mặt (Định lí 2.4)                                       |
|   - Định lí kiểu Picard (Định lí 2.5) và Tiêu chuẩn nhận biết đường cong Brody (Định lí 2.8)            |
|   - Định lí cơ bản thứ hai dạng không ngắt bội trên đa tạp xạ ảnh (Định lí 2.10)                        |
+---------------------------------------------------------------------------------------------------------+
| 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             |
|   - Xây dựng đại số trường thương R_{A,Q} trên tập chỉ số nhất quán                                     |
|   - Định lí không gian con Schmidt cho siêu mặt di động ở vị trí tổng quát trên đa tạp V (Định lí 3.1)  |
|   - Mở rộng cho siêu mặt di động ở vị trí m-dưới tổng quát trên V (Bất đẳng thức 1.1)                   |
+---------------------------------------------------------------------------------------------------------+

Chương 1: Tổng quan

Chương 1 hệ thống hóa lịch sử phát triển của hai trụ cột lý thuyết:

  • Trình bày sự tiến triển của Định lí cơ bản thứ hai từ trường hợp siêu phẳng của Cartan (1933), Nochka (1983) đến trường hợp siêu mặt của Ru (2004), Dethloff-Trần Văn Tấn (2006, 2007) và Sĩ Đức Quang (2019, 2021).
  • Trình bày lịch sử Định lí không gian con Schmidt từ định lý cổ điển của Schmidt (1972), dạng Nochka của Ru-Wong (1991), siêu phẳng di động của Ru-Vojta (1997), siêu mặt di động của Lê Giang (2015), Chen-Ru-Yan (2015) và vị trí dưới tổng quát của Sĩ Đức Quang (2017, 2019).
  • Phân tích bảng tương ứng từ điển Vojta giữa Lý thuyết Nevanlinna và Lý thuyết xấp xỉ Diophantine:
Khái niệm trong Lý thuyết Nevanlinna Khái niệm tương ứng trong Lý thuyết Diophantine
Mặt phẳng phức $\mathbb{C}$ Trường số $k$ cùng tập định giá hữu hạn $S \subset M_k$
Đường cong nguyên $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$ Điểm $x \in \mathbb{P}^n(k)$ hoặc điểm di động $x(\alpha)$
Hàm đặc trưng $T_f(r)$ Hàm độ cao logarit $h(x)$
Hàm đếm $N_f(r, D)$ Hàm đếm ngoài tập $S$: $N_S(D, x)$
Hàm xấp xỉ $m_f(r, D)$ Hàm xấp xỉ trên tập $S$: $m_S(D, x) = \sum_{v \in S} \lambda_{D, v}(x)$
Định lí cơ bản thứ nhất Công thức tích: $d \cdot h(x) = m_S(Q, x) + N_S(Q, x) + O(1)$
Định lí cơ bản thứ hai Định lí không gian con Schmidt

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 2 trình bày các kết quả mới theo hướng giải tích phức và hình học phức, gồm 4 kết quả trọng tâm:

1. Định lí cơ bản thứ hai kiểu Nochka cho siêu mặt (Định lí 2.4)

Cho $V \subset \mathbb{P}^n(\mathbb{C})$ là đa tạp đại số có chiều $k \ge 1$, $D_1, \dots, D_q$ là các siêu mặt trong $\mathbb{P}^n(\mathbb{C})$ ở vị trí $N$-dưới tổng quát trên $V$ ($q \ge 2N - k + 1$). Gọi $d = \text{lcm}(\deg D_1, \dots, \deg D_q)$. Xét đường cong nguyên $f: \mathbb{C} \to V$ không suy biến đại số thỏa mãn $V \not\subset D_j$ và $f^# = 0$ trên $\bigcup_{j=1}^q f^{-1}(D_j)$. Khi đó: $$\left( q - \frac{2N - k + 1}{k + 1} H_V(d) \right) T_f(r) \le \sum_{j=1}^q \frac{H_V(d) - 1}{(k + 1)(H_V(d) - 1) \deg D_j} N^{[k]}_f(r, D_j) + o(T_f(r))$$

Ý tưởng chứng minh: Sử dụng hệ trọng số Nochka $\omega_j$ và hằng số $\Theta$ ứng với hệ các dạng đại số $Q_j = G_j^{d/\deg D_j}$. Khi $f^#(a) = 0$, biểu diễn tọa độ thỏa mãn $(f_0(a) : \dots : f_n(a)) = (f'_0(a) : \dots : f'_n(a))$, làm triệt tiêu hàng đầu của ma trận Wronski mở rộng. Áp dụng khai triển Laplace cho ma trận Wronski $W_1$ bậc $H_V(d)$ giúp làm tăng bậc triệt tiêu tại các không điểm lên ít nhất $H_V(d)$, từ đó thu được hệ số đánh giá tốt hơn cho hàm đếm ngắt bội.

2. Định lí Picard tương ứng (Định lí 2.5)

Cho $D_1, \dots, D_q$ là các siêu mặt ở vị trí tổng quát trong $\mathbb{P}^n(\mathbb{C})$ với $n \ge 2$, $d = \text{lcm}(\deg D_1, \dots, \deg D_q)$. Nếu tồn tại đường cong nguyên khác hằng $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$ thỏa mãn $f^#(z) = 0$ với mọi $z \in \bigcup_{j=1}^q f^{-1}(D_j)$, thì: $$q \le \frac{3^n \binom{n+d}{n} - n}{2}$$

3. Tiêu chuẩn nhận biết đường cong Brody (Định lí 2.8)

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 sao cho đạo hàm cầu $f^#$ bị chặn trên $\bigcup_{j=1}^q f^{-1}(D_j)$. Khi đó, nếu: $$q > \frac{3^n \binom{n+d}{n} - n}{2}$$ thì $f^#$ bị chặn trên toàn bộ $\mathbb{C}$, tức $f$ là một đường cong Brody.

Cơ chế chứng minh: Phản chứng bằng Bổ đề Zalcman. Nếu $f$ không là đường cong Brody thì họ tịnh tiến ${f(z+a)}$ không chuẩn tắc. Tồn tại dãy $g_k(\zeta) = f(a_k + z_k + \rho_k \zeta)$ hội tụ về đường cong nguyên khác hằng $g$. Do $f^#$ bị chặn trên tập tạo ảnh nên bằng Định lí Hurwitz suy ra $g^# = 0$ trên tập tạo ảnh $\bigcup g^{-1}(D_j)$. Khi $q > \frac{3^n \binom{n+d}{n}-n}{2}$, Định lí Picard $2.5$ dẫn tới mâu thuẫn là $g$ phải là hàm hằng.

4. Định lí cơ bản thứ hai dạng không ngắt bội (Định lí 2.10)

Cho $V \subset \mathbb{P}^n(\mathbb{C})$ là đa tạp xạ ảnh phức $k$ chiều, $Q_1, \dots, Q_q$ là các siêu mặt ở vị trí $N$-dưới tổng quát trên $V$, $q > (N - k + 1)(k + 1)$, $f$ là đường cong nguyên thỏa mãn ánh xạ tiếp xúc $f_{*, z} = 0$ trên $\bigcup_{j=1}^q f^{-1}(Q_j)$. Khi đó với mọi $\epsilon > 0$: $$\left( q - (N - k + 1)(k + 1) - \epsilon \right) T_f(r) \le \frac{M^2 - M - 1}{M^2 - M} \sum_{j=1}^q \frac{1}{d_j} N_f(r, Q_j)$$ với $M = k + d^k \deg V \left[ (2k + 1)(N - k + 1)^2 (k + 1)^2 d^{k-1} \deg V \epsilon^{-1} \right] + 1$.

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 giải quyết bài toán tương ứng trong Lý thuyết xấp xỉ Diophantine:

1. Xây dựng cấu trúc đại số trên tập chỉ số

  • Xét trường số $k$, tập định giá hữu hạn $S \subset M_k$ chứa tất cả định giá Archimedes.
  • Xét họ siêu mặt di động $Q = {Q_1, \dots, Q_q}$ đánh chỉ số trên tập vô hạn $\Lambda$, $Q_j(\alpha) = \sum_{I \in T_{d_j}} a_{j, I}(\alpha) x^I$.
  • Tồn tại tập con vô hạn $A \subset \Lambda$ nhất quán đối với họ $Q$. Trên $A$, xây dựng miền nguyên $R_A^0$ và trường các phân thức $R_{A, Q}$ chứa các đại diện đặc biệt của hệ số các siêu mặt di động.

2. Định lí không gian con Schmidt chính (Định lí 3.1)

Cho $V \subset \mathbb{P}^M(k)$ là một đa tạp đại số xạ ảnh chiều $n$. Cho $x: \Lambda \to V$ là một điểm di động $V$-không suy biến đại số đối với họ siêu mặt di động $Q = {Q_1, \dots, Q_q}$ ở vị trí tổng quát trên $V$. Giả sử $h(Q_j(\alpha)) = o(h(x(\alpha)))$ với mọi $j = 1, \dots, q$. Khi đó, với mỗi $\varepsilon > 0$, tồn tại tập con vô hạn $A \subset \Lambda$ sao cho: $$\sum_{v \in S} \sum_{j=1}^q \frac{1}{d_j} \lambda_{Q_j(\alpha), v}(x(\alpha)) \le (n + 1 + \varepsilon) h(x(\alpha)) \quad (\forall \alpha \in A)$$

3. Mở rộng cho vị trí dưới tổng quát

Khi họ siêu mặt di động $Q$ ở vị trí $m$-dưới tổng quát trên $V$ (ngoài một tập hữu hạn chỉ số, bất kỳ $m+1$ siêu mặt nào trong họ đều có giao bằng rỗng trên $V$), kết hợp kỹ thuật của luận án với kỹ thuật đánh giá của Sĩ Đức Quang thu được bất đẳng thức: $$\sum_{v \in S} \sum_{j=1}^q \frac{1}{d_j} \lambda_{Q_j(\alpha), v}(x(\alpha)) \le \left( (m - n + 1)(n + 1) + \varepsilon \right) h(x(\alpha)) \quad (\forall \alpha \in A)$$

Điểm then chốt về phương pháp: Luận án không dựa vào tính chất Cohen-Macaulay của vành tọa độ (vốn chỉ đúng trên toàn bộ không gian xạ ảnh $\mathbb{P}^n$), mà sử dụng xấp xỉ bậc cao thông qua hàm Hilbert $H_V(u)$ và trọng Hilbert $S_V(u, c)$ kết hợp tính toán trên trường hàm $R_{A, Q}$.

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

  1. Mở rộng Định lí cơ bản thứ hai có đạo hàm cầu triệt tiêu cho siêu mặt: Thiết lập thành công dạng định lý cơ bản thứ hai kiểu Nochka và dạng không ngắt bội cho đường cong nguyên trong đa tạp đại số xạ ảnh $V$ có đạo hàm cầu triệt tiêu trên tập tạo ảnh của các siêu mặt mục tiêu ở vị trí dưới tổng quát.
  2. Thiết lập Định lí Picard và Tiêu chuẩn Brody mới: Đưa ra chặn trên tường minh cho số lượng siêu mặt mục tiêu trong Định lí Picard ($q \le \frac{3^n \binom{n+d}{n} - n}{2}$) và chứng minh một tiêu chuẩn mới xác định đường cong Brody khi đạ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.
  3. Thiết lập Định lí không gian con Schmidt cho siêu mặt di động trên đa tạp xạ ảnh: Mở rộng thành công Định lí không gian con Schmidt từ không gian xạ ảnh $\mathbb{P}^n(k)$ sang đa tạp đại số xạ ảnh $V$ tổng quát đối với mục tiêu là các siêu mặt di động ở vị trí tổng quát và $m$-dưới tổng quát.

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

  • Về mức chặn ngắt bội trong Định lí cơ bản thứ hai: Ở Định lí 2.10, vế phải chưa ngắt được bội của hàm đếm. Dù có thể áp dụng kỹ thuật ngắt bội truyền thống nhưng mức chặn bội nhận được sẽ rất lớn và phụ thuộc vào bậc của đa tạp, gây khó khăn cho việc tìm kiếm ứng dụng tiếp theo.
  • Về đánh giá chặn trong vị trí dưới tổng quát: Hệ số đánh giá $((m - n + 1)(n + 1) + \varepsilon)$ đối với siêu mặt di động ở vị trí $m$-dưới tổng quát trên đa tạp $V$ (công thức 1.1) vẫn còn khoảng cách so với các đánh giá dạng Nochka hay Eremenko-Sodin.
  • Hướng phát triển: Tác giả định hướng tiếp tục nghiên cứu cải tiến các đánh giá chặn trong Định lí không gian con Schmidt và Định lí cơ bản thứ hai trên đa tạp đại số xạ ảnh để đạt được mức chặn tối ưu hơn.

Giá trị tham khảo

  • Đối tượng thụ hưởng: Giảng viên, nghiên cứu sinh, học viên cao học chuyên ngành Hình học và Tôpô, Giải tích phức, Hình học đại số và Lý thuyết số (Lý thuyết Diophantine).
  • Phần giá trị chuyên sâu:
    • Chương 2: Cung cấp phương pháp kỹ thuật xử lý đạo hàm cầu triệt tiêu kết hợp khai triển Laplace trên toán tử Wronski và kỹ thuật sử dụng bổ đề Zalcman chứng minh tính Brody.
    • Chương 3: Cung cấp phương pháp xây dựng trường phân thức $R_{A, Q}$ và kỹ thuật áp dụng trọng Hilbert để giải bài toán xấp xỉ Diophantine trên đa tạp đại số xạ ảnh không thuần nhất.

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

1. Điều kiện đạo hàm cầu triệt tiêu $f^#(z) = 0$ trên tập tạo ảnh có ý nghĩa gì về mặt giải tích và đại số?

Về mặt giải tích vi phân theo metric Fubini-Study, $f^#(a) = 0$ đồng nghĩa với việc hai vector tọa độ thuần nhất và đạo hàm cấp một tỷ lệ với nhau: $(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, điều này làm cho hàng thứ hai trong ma trận Wronski phụ thuộc tuyến tính vào hàng thứ nhất tại điểm $a$, từ đó làm tăng bậc triệt tiêu của định thức Wronski tại các không điểm lên ít nhất $H_V(d)$, cho phép giảm đáng kể hệ số của hàm đếm ngắt bội ở vế phải Định lí cơ bản thứ hai.

2. Mức chặn số lượng siêu mặt $q$ trong Tiêu chuẩn Brody ở Chương 2 được xác định như thế nào?

Mức chặn $q > \frac{3^n \binom{n+d}{n} - n}{2}$ (với $n \ge 2$ và $d = \text{lcm}(\deg D_1, \dots, \deg D_q)$) được rút ra trực tiếp từ Định lí Picard 2.5 thông qua phương pháp phản chứng bằng Bổ đề Zalcman. Nếu $f^#$ không bị chặn trên toàn $\mathbb{C}$, sẽ tồn tại một đường cong nguyên giới hạn khác hằng $g$ có đạo hàm cầu triệt tiêu trên tập tạo ảnh của $q$ siêu mặt, điều này mâu thuẫn với Định lí Picard khi số lượng siêu mặt vượt quá ngưỡng trên.

3. Khó khăn bản chất khi chuyển Định lí không gian con Schmidt từ không gian xạ ảnh $\mathbb{P}^n(k)$ sang đa tạp xạ ảnh $V$ là gì?

Trên toàn bộ không gian xạ ảnh $\mathbb{P}^n(k)$, vành tọa độ thuần nhất là vành đa thức thuần nhất có cấu trúc Cohen-Macaulay, cho phép phân tích trực tiếp cơ sở tuyến tính và ước lượng chiều dễ dàng. Trên đa tạp đại số xạ ảnh $V$ tổng quát, vành tọa độ nói chung không có cấu trúc Cohen-Macaulay. Tác giả đã vượt qua khó khăn này bằng cách sử dụng các hàm Hilbert $H_V(m)$ và trọng Hilbert $S_V(m, c)$ để kiểm soát số chiều và bậc đại số.

4. Tập chỉ số nhất quán $A \subset \Lambda$ đóng vai trò gì trong Chương 3?

Họ siêu mặt di động $Q$ có các hệ số thay đổi phụ thuộc vào chỉ số $\alpha \in \Lambda$. Tập con vô hạn nhất quán $A$ đảm bảo rằng mọi đa thức thuần nhất của hệ số hoặc triệt tiêu trên toàn bộ $A$ hoặc chỉ triệt tiêu tại hữu hạn điểm. Nhờ tính chất này, tập các tỷ số hệ số tạo thành một miền nguyên và sinh ra trường các phân thức $R_{A, Q}$, cho phép thực hiện các phép biến đổi đại số tương đương như trên một trường số cố định.

Kết luận

Luận án của NCS Nguyễn Thanh Sơn là công trình nghiên cứu chuyên sâu thuộc chuyên ngành Hình học và Tôpô, giải quyết thành công hai bài toán mở trên giao điểm của Lý thuyết Nevanlinna và Lý thuyết xấp xỉ Diophantine. Luận án đã thiết lập dạng Định lí cơ bản thứ hai và Định lí Picard 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 mặt, xây dựng một tiêu chuẩn nhận biết đường cong Brody mới trong $\mathbb{P}^n(\mathbb{C})$. Đồng thời, công trình chứng minh thành công Định lí không gian con Schmidt cho họ siêu mặt di động giao đa tạp đại số xạ ảnh tổng quát $V$. Toàn bộ kết quả lý thuyết trong luận án đã được công bố trên các tạp chí toán học chuyên ngành trong nước và quốc tế.