Tổng quan luận án

Luận án tiến sĩ toán học 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 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, tại Trường Đại học Sư phạm Hà Nội (bảo vệ năm 2022). Luận án 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) được R. Nevanlinna khởi xướng từ năm 1925 đối với các hàm phân hình một biến phức. Cốt lõi của lí thuyết bao gồm Định lí cơ bản thứ nhất (chặn dưới cho hàm đặc trưng) và Định lí cơ bản thứ hai (chặn trên cho hàm đặc trưng qua tổng các hàm đếm giao điểm với mục tiêu). Trong khi Định lí cơ bản thứ nhất đạt được tương đối tự nhiên từ Công thức Jensen, việc thiết lập Định lí cơ bản thứ hai gặp nhiều thách thức và trong một thời gian dài chủ yếu chỉ giới hạn cho mục tiêu là các siêu phẳng trong không gian xạ ảnh phức $\mathbb{P}^n(\mathbb{C})$.

Mối liên hệ tương đồng sâu sắc giữa Lí thuyết Nevanlinna và Lí thuyết xấp xỉ Diophantine được Osgood phát hiện năm 1981 và được Vojta hệ thống hóa năm 1987 thành "từ điển Vojta". Theo đó, Định lí cơ bản thứ hai trong giải tích phức tương ứng với Định lí không gian con Schmidt trong lý thuyết số. Từ đầu thế kỷ 21, nhiều nghiên cứu đã mở rộng hai định lí này cho mục tiêu là các siêu mặt cố định hoặc di động. Gần đây, hướng tiếp cận thiết lập Định lí cơ bản thứ hai và Định lí kiểu 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 phẳng mục tiêu đã được khởi xướng. Tuy nhiên, việc mở rộng tiếp cận này sang trường hợp mục tiêu là các siêu mặt trên đa tạp đại số, cũng như việc thiết lập Định lí không gian con Schmidt cho siêu mặt di động giao đa tạp đại số xạ ảnh (nơi vành tọa độ thuần nhất nói chung không có cấu trúc Cohen-Macaulay như không gian xạ ảnh), vẫn là những khoảng trống lý thuyết quan trọng cần được giải quyết.

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ố xạ ảnh 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, từ đó ứng dụng thiết lập định lí kiểu Picard và tiêu chuẩn nhận biết đường cong Brody thông qua họ chuẩn tắc các ánh xạ chỉnh hình.
  2. Thiết lập Định lí không gian con Schmidt đối với họ siêu mặt di động giao với đa tạp đại số xạ ảnh trên trường số.

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

  • Đối tượng nghiên cứu: Định lí cơ bản thứ hai, Định lí không gian con Schmidt, đường cong Brody, họ chuẩn tắc các ánh xạ chỉnh hình, đạo hàm cầu và các hàm đặc trưng, hàm đếm, hàm Weil.
  • Phạm vi nghiên cứu: Lí thuyết xấp xỉ Diophantine trên trường số và Lí thuyết Nevanlinna cho đường cong nguyên trong không gian xạ ảnh phức $\mathbb{P}^n(\mathbb{C})$ và đa tạp đại số xạ ảnh $V \subset \mathbb{P}^n(\mathbb{C})$.

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

Luận án điểm lại hệ thống các công trình nền tảng và các bước phát triển then chốt trong lịch sử nghiên cứu hai lý thuyết:

  • Giai đoạn mở rộng giải tích cổ điển: Sau công trình năm 1925 của Nevanlinna, A. Bloch (1926) nghiên cứu đườ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})$ với các siêu phẳng ở vị trí tổng quát; H. Weyl (1938) và L. Ahlfors (1941) phát triển cách tiếp cận hình học; W. Stoll (1953, 1954, 1991) mở rộng cho ánh xạ phân hình từ không gian parabolic vào đa tạp xạ ảnh và mục tiêu di động. E. I. Nochka (1983) đưa ra kỹ thuật trọng số Nochka, mở rộng định lý Cartan cho hệ siêu phẳng ở vị trí dưới tổng quát.
  • Giai đoạn phát hiện mối liên hệ số học - giải tích: C. F. Osgood (1981) chỉ ra mối liên hệ giữa giải tích phức và lý thuyết xấp xỉ Diophantine; P. Vojta (1987, 1997) hoàn thiện bảng đối chiếu (từ điển Vojta), đồng nhất Định lí cơ bản thứ hai với Định lí không gian con Schmidt (được W. M. Schmidt chứng minh năm 1975). Năm 1991, M. Ru và P. M. Wong thiết lập Định lí không gian con Schmidt tương ứng với định lý kiểu Nochka cho các điểm nguyên.
  • Giai đoạn phát triển cho mục tiêu siêu mặt: P. Corvaja - U. Zannier (2004) và J. H. Evertse - R. G. Ferretti (2002, 2008) thiết lập Định lí không gian con Schmidt cho siêu mặt. M. Ru (2004, 2009) mở rộng Định lí cơ bản thứ hai cho đường cong nguyên giao các siêu mặt trong $\mathbb{P}^n(\mathbb{C})$ và trong đa tạp xạ ảnh. G. Dethloff - Trần Văn Tấn (2011, 2020) mở rộng cho siêu mặt di động và đa tạp đại số. Các định lí kiểu Nochka cho siêu mặt tiếp tục được phát triển bởi G. Dethloff - Trần Văn Tấn - Đỗ Đức Thái (2011), Lê Giang (2015, 2016), Z. Chen - M. Ru - Q. Yan (2012, 2015), Sĩ Đức Quang - Đỗ Phương An (2017) và Sĩ Đức Quang (2019).
  • Các nghiên cứu gần đây về đạo hàm cầu và chuẩn tắc: Trần Văn Tấn (2017, 2020, 2021, 2022) thiết lập Đị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, gắn liền bài toán xác định duy nhất với tính chuẩn tắc của họ ánh xạ chỉnh hình.

Vị trí của luận án: Luận án kế thừa trực tiếp các kỹ thuật giải tích của Trần Văn Tấn, kỹ thuật biến đổi đại số của Sĩ Đức Quang, đồng thời mở rộng các kết quả của Lê Giang, Chen - Ru - Yan từ không gian xạ ảnh $\mathbb{P}^n$ sang đa tạp đại số xạ ảnh $V$, giải quyết bài toán mục tiêu siêu mặt dưới điều kiện đạo hàm cầu triệt tiêu và siêu mặt di động trên đa tạp đại số.

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

Cơ sở lý thuyết

  1. Lí thuyết Nevanlinna:
    • Hàm đếm giao điểm ngắt bội $N^{[k]}(r, D)$ và không ngắt bội $N(r, D)$ của divisor hoặc siêu mặt $D$.
    • Hàm đặc trưng $T_f(r)$ đo mức độ tăng trưởng của đường cong nguyên $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$.
    • Hàm xấp xỉ $m_f(r, D)$ và Định lí cơ bản thứ nhất: $T_f(r, D) = m_f(r, D) + N_f(r, D) + O(1)$.
    • Toán tử Wronski $W(f_0, \dots, f_n)$ và Bổ đề đạo hàm Logarit cho ánh xạ chỉnh hình.
  2. Hình học giải tích và vi phân phức: Metric Fubini-Study trên $\mathbb{P}^n(\mathbb{C})$, chuẩn đạo hàm cầu $f^#$, tiêu chuẩn họ chuẩn tắc theo nghĩa Montel/Brody, Bổ đề kiểu Zalcman trên đa tạp Hermite compact.
  3. Hình học đại số: Đa tạp xạ ảnh $V \subset \mathbb{P}^n(\mathbb{C})$, ideal thuần nhất $I(V) \subset \mathbb{C}[x_0, \dots, x_n]$, hàm Hilbert $H_V(m) = \dim_\mathbb{C} (\mathbb{C}[x_0, \dots, x_n]/I(V))_m$, trọng Hilbert $S_V(m, c)$, Định lí Hilbert-Serre về bậc và số chiều của đa tạp xạ ảnh.
  4. Lí thuyết xấp xỉ Diophantine:
    • Định giá Archimedes và không Archimedes trên trường số $k$, tập các lớp định giá $M_k$, chuẩn hóa định giá $|.|v$ và công thức tích $\prod{v \in M_k} |x|_v = 1$.
    • Độ cao Logarit $h(x)$ của điểm $x \in \mathbb{P}^M(k)$ và đa thức $h(Q)$.
    • Hàm Weil $\lambda_{Q, v}(x)$, hàm xấp xỉ $m_S(Q, x)$, hàm đếm $N_S(Q, x)$ ứng với tập hữu hạn các định giá $S \subset M_k$.

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

Luận án sử dụng phương pháp suy diễn toán học thuần túy, kết hợp các kỹ thuật liên ngành:

  • Kỹ thuật sử dụng trọng số Nochka để xử lý hệ siêu mặt ở vị trí dưới tổng quát.
  • Kỹ thuật tính toán ma trận Wronskian kết hợp khai triển Laplace và công thức Euler cho đa thức thuần nhất nhằm đánh giá cấp triệt tiêu của hàm giải tích tại các không điểm có đạo hàm cầu triệt tiêu.
  • Phương pháp đại số giao hoán: xây dựng dãy lọc các ideal thuần nhất $L_I$, sử dụng tính chất vành Noether, mô-đun phân bậc và xấp xỉ đa thức Hilbert để vượt qua khó khăn khi vành tọa độ của đa tạp xạ ảnh tổng quát không là vành Cohen-Macaulay.
  • Kỹ thuật tập chỉ số nhất quán $\mathcal{A} \subset \Lambda$ và đại diện đặc biệt trên trường hàm thương $R_{\mathcal{A}, \mathcal{Q}}$ đối với các siêu mặt di động.

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

Chương Tên chương Nội dung trọng tâm
Chương 1 Tổng quan Tổng hợp lịch sử Lí thuyết Nevanlinna, từ điển Vojta, các dạng Định lí cơ bản thứ hai và Định lí không gian con Schmidt từ siêu phẳng đến siêu mặt.
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 Thiết lập định lí cơ bản thứ hai kiểu Nochka ngắt bội, định lí Picard, tiêu chuẩn đường cong Brody ($q > 3n\binom{n+d}{n}-n$) và định lí cơ bản thứ hai không ngắt bội trên đa tạp xạ ảnh.
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 lý thuyết tập chỉ số nhất quán, trường hệ số $R_{\mathcal{A}, \mathcal{Q}}$, dãy ideal $L_I$ và chứng minh Định lí Schmidt cho siêu mặt di động trên đa tạp đại số xạ ảnh $V$.

Chương 1: Tổng quan

Chương 1 hệ thống hóa cơ sở lịch sử của bài toán phân bố giá trị và xấp xỉ Diophantine. Tác giả trình bày chi tiết:

  • Định lý Cartan (1933) cho đường cong nguyên $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$ không suy biến tuyến tính và họ $q$ siêu phẳng ở 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))$$
  • Định lý Nochka (1983) mở rộng cho trường hợp không suy biến đại số với các siêu phẳng ở vị trí dưới tổng quát bằng việc đưa vào trọng số Nochka $\omega_j$ và hằng số $\Theta$.
  • Định lý M. Ru (2004) mở rộng cho hệ siêu mặt $D_1, \dots, D_q$: $$(q - n - 1 - \varepsilon) T_f(r) \le \sum_{j=1}^q \frac{1}{\deg D_j} N(r, D_j) + o(T_f(r))$$
  • Các kết quả tương ứng trong xấp xỉ Diophantine theo từ điển Vojta: Định lý không gian con Schmidt cho siêu phẳng (Schmidt 1975, Ru-Wong 1991) và siêu mặt (Evertse-Ferretti, Corvaja-Zannier, Lê Giang, Chen-Ru-Yan, Sĩ Đức Quang).

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 gồm 3 tiểu mục chính với các kết quả cốt lõi:

  1. Chuẩn bị kiến thức: Thiết lập hệ thống hàm đặc trưng, hàm đếm ngắt bội, toán tử Wronski, Bổ đề đạo hàm logarit mở rộng và các tính chất của metric Fubini-Study cùng đạo hàm cầu: $$f^# = \frac{\left(\sum_{0 \le i < j \le n} |f_i' f_j - f_j' f_i|^2\right)^{1/2}}{|f_0|^2 + \dots + |f_n|^2}$$
  2. Định lí cơ bản thứ hai kiểu Nochka và Định lí Picard: Cho $V \subset \mathbb{P}^n(\mathbb{C})$ là đa tạp đại số số chiều $k \ge 1$, $D_1, \dots, D_q$ là các siêu mặt ở vị trí $N$-dưới tổng quát trên $V$, $d = \text{BCNN}(\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 đạo hàm cầu $f^#$ triệt tiêu trên $\bigcup_{j=1}^q f^{-1}(D_j)$. Tác giả chứng minh định lí cơ bản thứ hai ngắt bội kiểu Nochka: $$\left(q - \frac{(2N - k + 1) H_V(d)}{k + 1}\right) T_f(r) \le \sum_{j=1}^q \frac{1}{\deg D_j} \left(1 - \frac{1}{(k + 1)(H_V(d) - 1)}\right) N^{[H_V(d)-1]}(r, D_j) + o(T_f(r))$$ Từ đó, tác giả suy ra Định lí Picard: 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})$ ($n \ge 2$), $d = \text{BCNN}(\deg D_1, \dots, \deg D_q)$. Nếu $f: \mathbb{C} \to \mathbb{P}^n(\mathbb{C})$ là đường cong nguyên thỏa mãn $f^#(z) = 0$ với mọi $z \in \bigcup_{j=1}^q f^{-1}(D_j)$ và $q > 3n \binom{n+d}{n} - n$, thì $f$ phải là ánh xạ hằng.
  3. Tiêu chuẩn đường cong Brody: Kết hợp Định lí Picard với Bổ đề Zalcman cho ánh xạ chỉnh hình vào đa tạp compact Hermite, tác giả chứng minh: Nếu $f^#$ bị chặn trên tập tạo ảnh $\bigcup_{j=1}^q f^{-1}(D_j)$ của các siêu mặt ở vị trí tổng quát với số lượng $q > 3n \binom{n+d}{n} - n$, thì $f^#$ bị chặn trên toàn bộ mặt phẳng phức $\mathbb{C}$, tức $f$ là một đường cong Brody.
  4. Đị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à trọng Hilbert $S_V(u, c)$, tác giả thiết lập bất đẳng thức không ngắt bội: $$\left(q - (N - k + 1)(k + 1) - \epsilon\right) T_f(r) \le \frac{M - 2}{M - 1} \sum_{j=1}^q \frac{1}{d_j} N(r, Q_j) + o(T_f(r))$$ 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$. Đánh giá này cho hệ số bên vế trái tối ưu hơn, dù hàm đếm bên vế phải không được ngắt bội.

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 trọn vẹn bài toán mở rộng Định lí Schmidt cho siêu mặt di động trên đa tạp đại số xạ ảnh $V \subset \mathbb{P}^M(k)$ trên trường số $k$:

  1. Khái niệm và công cụ đại số:
    • Xây dựng tập chỉ số vô hạn $\Lambda$, họ siêu mặt di động $\mathcal{Q} = {Q_1, \dots, Q_q}$, tập chỉ số nhất quán $\mathcal{A} \subset \Lambda$, miền nguyên $R_{\mathcal{A}}^0$ và trường hàm $R_{\mathcal{A}, \mathcal{Q}}$.
    • Điểm di động $x: \Lambda \to V$ được gọi là $V$-không suy biến đại số nếu không bị chứa trong bất kỳ siêu mặt nào xác định trên $R_{\mathcal{A}, \mathcal{Q}}$ ngoài $I(V)$.
    • Điều kiện tăng trưởng chiều cao: $h(Q_j(\alpha)) = o(h(x(\alpha)))$ với mọi $j = 1, \dots, q$.
  2. Kỹ thuật dãy ideal $L_I$ và hàm Hilbert: Để vượt qua việc vành tọa độ thuần nhất của $V$ không là vành Cohen-Macaulay, tác giả định nghĩa họ ideal $L_I$ trong $R_{\mathcal{A}, \mathcal{Q}}[x_0, \dots, x_M]$. Nhờ tính chất Noether, tác giả chứng minh tập ${L_I : I \in \mathbb{N}^n}$ là hữu hạn. Sử dụng Định lý Hilbert-Serre, tác giả chứng minh số chiều $\dim_{R_{\mathcal{A}, \mathcal{Q}}} (R_{\mathcal{A}, \mathcal{Q}}[x_0, \dots, x_M]/L_I^N) = \deg V \cdot d^n$ với mọi đa chỉ số $I$ thuộc tập $\tau_N^0$.
  3. Kết quả chính (Định lí 3.1): Cho $k$ là trường số, $S \subset M_k$ chứa tất cả các định giá Archimedes, $V \subset \mathbb{P}^M(k)$ là đa tạp đại số xạ ảnh $n$ chiều, $\mathcal{Q} = {Q_1, \dots, Q_q}$ là họ siêu mặt di động ở vị trí tổng quát trên $V$, và $x: \Lambda \to V$ là điểm di động $V$-không suy biến đại số thỏa mãn $h(Q_j(\alpha)) = o(h(x(\alpha)))$. Khi đó với mọi $\varepsilon > 0$, tồn tại tập con vô hạn $\mathcal{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))$$ đúng với mọi $\alpha \in \mathcal{A}$.
  4. Mở rộng cho vị trí dưới tổng quát: Kết hợp kỹ thuật của luận án với kỹ thuật đánh giá của Sĩ Đức Quang, tác giả chỉ ra rằng khi họ $\mathcal{Q}$ ở vị trí $m$-dưới tổng quát trên $V$, bất đẳng thức trên được mở rộng thành: $$\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))$$

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

Luận án tự nêu ba nhóm đóng góp học thuật mới:

  1. Thiết lập Định lí cơ bản thứ hai kiểu Nochka có ngắt bội và không ngắt bội cho đường cong nguyên trong đa tạp đại số 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 mặt mục tiêu: Kết quả mở rộng thành công hướng nghiên cứu của Trần Văn Tấn từ mục tiêu siêu phẳng sang mục tiêu siêu mặt, đưa ra các chặn trên tường minh cho hàm đặc trưng qua hàm đếm ngắt bội tại $H_V(d) - 1$.
  2. Thiết lập Định lí Picard và tiêu chuẩn nhận biết đường cong Brody mới: Chứng minh rằng tính bị chặn toàn cục trên $\mathbb{C}$ của đạo hàm cầu $f^#$ được suy ra trực tiếp từ tính bị chặn của $f^#$ trên tập tạo ảnh $\bigcup_{j=1}^q f^{-1}(D_j)$, khi số lượng siêu mặt $q$ thỏa mãn điều kiện tường minh $q > 3n \binom{n+d}{n} - n$.
  3. Thiết lập Định lí không gian con Schmidt cho siêu mặt di động giao đa tạp đại số xạ ảnh trên trường số: Mở rộng kết quả của Lê Giang (2015) và Chen - Ru - Yan (2015) từ không gian xạ ảnh $\mathbb{P}^n$ sang đa tạp đại số xạ ảnh tổng quát $V$, giải quyết triệt để khó khăn giải tích - đại số do thiếu cấu trúc Cohen-Macaulay của vành tọa độ.

Bảng đối chiếu kết quả của luận án với các công trình đi trước

Hướng nghiên cứu Kết quả đã có trước luận án Kết quả đạt được trong luận án
Đạo hàm cầu triệt tiêu trên tạo ảnh mục tiêu Thiết lập cho mục tiêu là các siêu phẳng trong $\mathbb{P}^n(\mathbb{C})$ (Trần Văn Tấn, 2017, 2020). Mở rộng cho mục tiêu là các siêu mặt ở vị trí dưới tổng quát trên đa tạp đại số xạ ảnh $V$ (Định lí 2.4, Định lí 2.9).
Tiêu chuẩn đường cong Brody Tiêu chuẩn họ chuẩn tắc theo bổ đề Zalcman cho hàm phân hình và đường cong nguyên tránh siêu phẳng. Tiêu chuẩn Brody khi đạo hàm cầu bị chặn trên tập tạo ảnh của $q > 3n\binom{n+d}{n}-n$ siêu mặt ở vị trí tổng quát (Định lí 2.8).
Định lí Schmidt cho siêu mặt di động Thiết lập cho siêu mặt di động trong không gian xạ ảnh $\mathbb{P}^n(k)$ (Lê Giang 2015, Chen-Ru-Yan 2015). Thiết lập cho siêu mặt di động giao đa tạp đại số xạ ảnh $V \subset \mathbb{P}^M(k)$ tổng quát (Định lí 3.1).

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

Văn bản luận án nêu rõ các hạn chế hiện tại và hai kiến nghị cho hướng nghiên cứu tiếp theo:

  1. Cải tiến đánh giá cho đường cong nguyên giao siêu mặt di động: Các kết quả Định lí cơ bản thứ hai hiện nay đối với đường cong nguyên khác hằng giao các siêu mặt di động vẫn còn hạn chế (chưa ngắt được bội của hàm đếm hoặc cận trên của tổng các số khuyết còn lớn). Tác giả kiến nghị nghiên cứu cải tiến các đánh giá này để đạt được chặn bội tốt hơn.
  2. Nghiên cứu mối liên hệ với Hình học vi phân qua ánh xạ Gauss: Khảo sát khả năng chuyển giao tiêu chuẩn đường cong Brody đã thiết lập trong luận án thông qua ánh xạ Gauss sang bài toán tìm điều kiện bị chặn cho độ cong Gauss của các siêu mặt cực tiểu trong không gian Euclid $\mathbb{R}^m$ (theo định hướng nghiên cứu của Fujimoto 1993).

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, học viên cao học và giảng viên ngành Toán học: Đặc biệt 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 đại số và Lý thuyết số (Lý thuyết xấp xỉ Diophantine).
  • Các phần có giá trị tham khảo cao:
    • Mục 2.2 và 2.3: Cung cấp kỹ thuật chi tiết về việc kết hợp toán tử Wronski, khai triển Laplace và công thức Euler để đánh giá bậc triệt tiêu tại các không điểm có đạo hàm cầu triệt tiêu.
    • Mục 3.1 và 3.2: Cung cấp khung đại số hoàn chỉnh về tập chỉ số nhất quán $\mathcal{A}$, trường hàm $R_{\mathcal{A}, \mathcal{Q}}$, và phương pháp xây dựng hệ cơ sở thông qua dãy ideal $L_I$ trên đa tạp xạ ảnh không Cohen-Macaulay.

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

1. Ý nghĩa của điều kiện "đạo hàm cầu triệt tiêu trên tập tạo ảnh của mục tiêu" là gì?

Điều kiện $f^#(z) = 0$ với mọi $z \in f^{-1}(D_j)$ nghĩa là tại mọi điểm $z$ mà ảnh $f(z)$ chạm vào siêu mặt mục tiêu $D_j$, vận tốc biến thiên theo metric Fubini-Study của đường cong nguyên $f$ bằng 0. Về mặt đại số, điều này tương đương với việc tỷ số giữa các thành phần tọa độ thuần nhất và đạo hàm của chúng trùng nhau tại $z$, tức $(f_0'(z) : \dots : f_n'(z)) = (f_0(z) : \dots : f_n(z))$. Tính chất này làm tăng cấp triệt tiêu của toán tử Wronskian tại các giao điểm, giúp cải thiện hệ số chặn trong Định lí cơ bản thứ hai.

2. Số lượng siêu mặt mục tiêu cần thiết để $f$ trở thành đường cong Brody là bao nhiêu?

Theo Định lí 2.8 của luận án, nếu họ các siêu mặt $D_1, \dots, D_q$ ở vị trí tổng quát trong $\mathbb{P}^n(\mathbb{C})$ ($n \ge 2$), $d = \text{BCNN}(\deg D_1, \dots, \deg D_q)$ và đạo hàm cầu $f^#$ bị chặn trên tập tạo ảnh $\bigcup_{j=1}^q f^{-1}(D_j)$, thì $f$ là đường cong Brody (nghĩa là $f^#$ bị chặn trên toàn bộ $\mathbb{C}$) khi số lượng siêu mặt thỏa mãn: $$q > 3n \binom{n+d}{n} - n$$

3. Điểm khác biệt mấu chốt khi chứng minh Định lí Schmidt trên đa tạp xạ ảnh tổng quát so với không gian xạ ảnh là gì?

Khi làm việc trên không gian xạ ảnh $\mathbb{P}^n(k)$, vành tọa độ thuần nhất là vành đa thức $k[x_0, \dots, x_n]$, vốn là vành Cohen-Macaulay có cấu trúc đại số chính quy. Đối với đa tạp xạ ảnh tổng quát $V \subset \mathbb{P}^M(k)$, vành tọa độ $k[x_0, \dots, x_M]/I(V)$ nói chung không có tính chất Cohen-Macaulay. Tác giả đã giải quyết trở ngại này bằng cách xây dựng dãy lọc các ideal thuần nhất $L_I$, chứng minh tính hữu hạn của tập các ideal này nhờ tính chất Noether và khai thác định lý Hilbert-Serre để tính toán chính xác số chiều không gian vector các đa thức thuần nhất bậc cao.

4. Luận án đã công bố được bao nhiêu công trình khoa học?

Các kết quả chính trong luận án được rút ra từ 03 bài báo khoa học đã công bố trên các tạp chí chuyên ngành trong nước và quốc tế:

  1. N. T. Son, N. V. Thin (2018), Schmidt’s subspace theorem for moving hypersurface targets, Journal of Number Theory.
  2. N. T. Son, T. V. Truong (2020), A second main theorem for entire curves in a projective variety whose derivatives vanish on inverse image of hypersurface targets, HNUE Journal of Science: Natural Sciences, 65, 31–40.
  3. N. T. Son, T. V. Tan (2022), A property of the spherical derivative of an entire curve in complex projective space, Complex Analysis and its Synergies.

Kết luận

Luận án tiến sĩ của NCS Nguyễn Thanh Sơn đã giải quyết trọn vẹn hai bài toán lớn trong giao thoa giữa Hình học giải tích phức và Lý thuyết xấp xỉ Diophantine: thiết lập Định lí cơ bản thứ hai cho đường cong nguyên có đạo hàm cầu triệt tiêu trên tập tạo ảnh của siêu mặt và thiết lập Định lí không gian con Schmidt cho siêu mặt di động trên đa tạp đại số xạ ảnh. Bằng việc kết hợp các công cụ của Giải tích phức, Hình học đại số và Đại số giao hoán, luận án đã đưa ra các chặn tường minh cho bài toán Picard, tiêu chuẩn nhận biết đường cong Brody và mở rộng thành công Định lý Schmidt sang các cấu trúc không Cohen-Macaulay. Các kết quả đạt được đã làm phong phú thêm hệ thống tri thức của Lí thuyết Nevanlinna và Lý thuyết số học xạ ảnh hiện đại.