Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Mối liên hệ đại số của các ánh xạ phân hình vào không gian xạ ảnh phức" do nghiên cứu sinh Lê Ngọc Quỳnh thực hiện tại Trường Đại học Sư phạm Hà Nội, dưới sự hướng dẫn khoa học của PGS. TSKH. Sĩ Đức Quang, thuộc chuyên ngành Hình học và Tôpô (Mã số: 62.05 / 62.46.01.05), hoàn thành năm 2016.

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

Lý thuyết phân bố giá trị Nevanlinna (Nevanlinna Theory), được khởi xướng từ năm 1926 đối với hàm phân hình một biến phức trên $\mathbb{C}$, đã được mở rộng mạnh mẽ sang lý thuyết ánh xạ phân hình nhiều biến phức từ $\mathbb{C}^n$ vào không gian xạ ảnh phức $\mathbb{P}^N(\mathbb{C})$. Trong các nghiên cứu hiện đại về tính duy nhất, tính hữu hạn và tính suy biến của các ánh xạ phân hình chia sẻ siêu phẳng (cố định hoặc di động), hầu hết các công trình đã công bố thường đòi hỏi số lượng siêu phẳng tham gia khá lớn (thường yêu cầu ít nhất từ $2N+2$ đến $2N+3$ hoặc $3N+2$ siêu phẳng) và kèm theo giả thiết nghiêm ngặt là các ánh xạ phải trùng nhau trên toàn bộ ảnh ngược.

Khoảng trống nghiên cứu then chốt mà luận án xác định bao gồm:

  1. Khi số lượng siêu phẳng (hoặc cặp hàm nhỏ) giảm xuống dưới các ngưỡng giới hạn đã biết, mối liên hệ đại số (sự phụ thuộc đại số, tính suy biến đại số hoặc sự phụ thuộc tựa phân tuyến tính) giữa các ánh xạ diễn ra như thế nào.
  2. Khả năng thiết lập các định lý dạng phân tuyến tính và phụ thuộc đại số khi giả thiết về ảnh ngược được nới lỏng: chỉ xét các không điểm có bội bị chặn (ngắt bội), không đòi hỏi trùng nhau trên toàn bộ các siêu phẳng, hoặc thay thế siêu phẳng cố định bằng họ các siêu phẳng di động chậm.

Mục tiêu nghiên cứu

Luận án tập trung giải quyết các mục tiêu cụ thể được xác định rõ:

  1. Nghiên cứu hàm phân hình trên mặt phẳng phức $\mathbb{C}$ và thiết lập các điều kiện đủ về sự phụ thuộc tựa phân tuyến tính (biến đổi tựa Möbius) của hai hàm phân hình có chung ảnh ngược đối với các cặp hàm nhỏ có bội bị ngắt (trường hợp $q \ge 6$ và trường hợp $q = 5$).
  2. Nghiên cứu sự phụ thuộc đại số của ba ánh xạ phân hình từ $\mathbb{C}^n$ vào $\mathbb{P}^N(\mathbb{C})$ trùng nhau trên ảnh ngược của họ siêu phẳng cố định với bội bị ngắt, đặc biệt khảo sát trường hợp số siêu phẳng $q < 2N+2$ và trường hợp tập đồng nhất được thu gọn chỉ trên một số ít siêu phẳng.
  3. Nghiên cứu tính suy biến đại số của cặp ánh xạ phân hình từ $\mathbb{C}^n$ vào $\mathbb{P}^N(\mathbb{C})$ có chung ảnh ngược đối với họ siêu phẳng di động chậm với bội giao bị ngắt, mở rộng kết quả của H. Fujimoto từ siêu phẳng cố định sang siêu phẳng di động mà không cần giả thiết hai ánh xạ trùng nhau trên ảnh ngược.
  4. Thiết lập các điều kiện định lượng cho sự phụ thuộc đại số và định lý duy nhất của một họ $\lambda$ ánh xạ phân hình từ $\mathbb{C}^n$ vào $\mathbb{P}^N(\mathbb{C})$ trùng nhau trên ảnh ngược của họ siêu phẳng di động không tính bội.

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

  • Đối tượng nghiên cứu: Các hàm phân hình trên mặt phẳng phức $\mathbb{C}$ và các ánh xạ phân hình nhiều biến phức từ $\mathbb{C}^n$ vào không gian xạ ảnh phức $\mathbb{P}^N(\mathbb{C})$; các divisor không điểm, cực điểm; phân thớ siêu phẳng; các hàm Nevanlinna (hàm đặc trưng, hàm đếm, hàm xấp xỉ); họ các siêu phẳng cố định và di động chậm trong $\mathbb{P}^N(\mathbb{C})^*$.
  • Phạm vi nghiên cứu: Lý thuyết phân bố giá trị phức (lý thuyết Nevanlinna đa biến), hình học giải tích phức và đại số giao, tập trung vào mối quan hệ đại số (tựa Möbius, triệt tiêu tích nêm $f_1 \wedge \dots \wedge f_\lambda \equiv 0$, và tính suy biến đại số của ánh xạ tích $f \times g$).

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

Luận án kế thừa và phát triển từ hệ thống các công trình kinh điển và các kết quả nghiên cứu trong những năm gần đây:

Tác giả / Nhóm tác giả Năm công bố Kết quả tiêu biểu được điểm lại trong luận án
R. Nevanlinna 1926 Định lý 5 điểm (tính duy nhất) và Định lý 4 điểm (biến đổi phân tuyến tính Möbius) cho hàm phân hình trên $\mathbb{C}$.
G. G. Gundersen 1983 Hai hàm phân hình có chung ảnh ngược không tính bội đối với 6 cặp giá trị phân biệt thì liên hệ với nhau bởi một biến đổi Möbius.
P. C. Yang 1993 Đưa ra ví dụ phản chứng chỉ ra 5 cặp giá trị không đủ để suy ra biến đổi phân tuyến tính; phát triển kỹ thuật hàm phụ trợ đa thức.
S. Đ. Quang 2011 Hai hàm phân hình chung ảnh ngược đối với 7 cặp hàm nhỏ không kể bội từ bậc $k \ge 17$ trở đi thì là biến đổi tựa Möbius của nhau (dùng hàm Cartan).
H. Fujimoto 1975, 1998, 1999 Thiết lập định lý duy nhất cho hai ánh xạ với $3N+2$ siêu phẳng; tính hữu hạn (tối đa 2 ánh xạ) với $3N+1$ siêu phẳng ngắt bội bởi 2; tính suy biến đại số của ánh xạ tích $f \times g$ với $2N+2$ siêu phẳng cố định.
L. M. Smiley 1989 Mở rộng kết quả của Fujimoto cho trường hợp không kể bội nhưng đòi hỏi hai ánh xạ trùng nhau trên ảnh ngược của $3N+2$ siêu phẳng.
S. Đ. Quang 2006, 2012 Chứng minh kết quả Smiley vẫn đúng với $q \ge 3N+1$ ($N \ge 2$) bằng kỹ thuật phân hoạch siêu phẳng mới; định lý hữu hạn cho $q \ge 2N+2$.
H. Dethloff - T. V. Tấn 2009 Chứng minh với mọi $c \ge 0$, tồn tại $N(c)$ để kết quả Smiley đúng với $q \ge 3N+2-c$; định lý duy nhất cho $2N+3$ siêu phẳng ngắt bội bởi $N$.
Z. Chen - Z. Yan 2009 Định lý duy nhất cho họ ánh xạ chia sẻ $2N+3$ siêu phẳng ngắt bội cấp 1.
M. Ru; Đức - Thoan; Thoan - Đức - Quang 2001, 2010, 2013 Sự phụ thuộc đại số của họ đường cong chỉnh hình và ánh xạ phân hình trên ảnh ngược của siêu phẳng di động.

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

Luận án định vị trọng tâm vào các khía cạnh chưa có lời giải tối ưu:

  • Khắc phục hạn chế của kỹ thuật hàm phụ trợ Cartan trong bài toán cặp hàm nhỏ bằng cách xây dựng hệ hàm phụ trợ đa thức, từ đó giảm số cặp hàm nhỏ xuống $q \ge 6$ với cận bội ngắt tổng quát hơn nhiều, đồng thời giải quyết trường hợp $q=5$ cặp hàm nhỏ thông qua phương pháp bổ đề Borel.
  • Khảo sát sự phụ thuộc đại số của ba ánh xạ khi số siêu phẳng cố định giảm xuống dưới $2N+2$ ($q < 2N+2$) và khi tập đồng nhất bị thu hẹp chỉ còn $N+1$ siêu phẳng.
  • Mở rộng tính suy biến đại số của cặp ánh xạ từ siêu phẳng cố định sang họ siêu phẳng di động chậm mà không cần giả thiết ánh xạ trùng nhau trên ảnh ngược.
  • Nâng cao các cận định lượng về số siêu phẳng di động không tính bội đối với họ $\lambda$ ánh xạ phân hình thông qua việc tính đến bội chặn $k_j$ và hạng đại số trên trường các hàm phân hình nhỏ $\mathcal{R}_{{g_j}}$.

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 sử dụng

Luận án vận dụng hệ thống giải tích phức hiện đại và lý thuyết Nevanlinna đa biến:

  1. Divisor và hàm số học:
    • Divisor $\nu = \sum_{i \in \Lambda} m_i z_i$ trên miền $U \subset \mathbb{C}$ (hoặc $\mathbb{C}^n$); divisor ngắt bội $\nu^{[M]}(z) = \min{M, \nu(z)}$; giá của divisor $\text{Supp}(\nu)$.
    • Divisor không điểm $\nu_f^0$, divisor cực điểm $\nu_f^\infty$ sinh bởi hàm/ánh xạ phân hình.
  2. Các hàm đặc trưng Nevanlinna trên $\mathbb{C}$ và $\mathbb{C}^n$:
    • Hàm đếm $N(r, \nu) = \int_1^r \frac{n(t, \nu)}{t} dt$, hàm đếm ngắt bội $N^{[M]}(r, \nu)$.
    • Hàm xấp xỉ $m(r, f) = \frac{1}{2\pi} \int_0^{2\pi} \log^+ |f(re^{i\theta})| d\theta$.
    • Hàm đặc trưng Nevanlinna $T(r, f) = m(r, f) + N(r, \nu_f^\infty)$.
    • Định lý cơ bản thứ hai của Nevanlinna cho hàm phân hình và dạng mở rộng của K. Yamanoi đối với các hàm mục tiêu nhỏ.
  3. Hình học giải tích trên không gian xạ ảnh $\mathbb{P}^N(\mathbb{C})$:
    • Phân thớ đường thẳng siêu phẳng $L(H) \cong H_0$ trên $\mathbb{P}^N(\mathbb{C})$ với hệ hàm chuyển $\phi_{ij}$.
    • Metric Hermitian trên $H_0$ và dạng Chern $\Omega = dd^c \log \left( \sum_{k} |\omega_k|^2 / |\omega_i|^2 \right)$, xác định dạng Fubini-Study trên $\mathbb{P}^N(\mathbb{C})$.
    • Các dạng vi phân chuẩn tắc trên $\mathbb{C}^n$: $v_{n-1} = (dd^c |z|^2)^{n-1}$, $\sigma_n = d^c \log |z|^2 \wedge (dd^c \log |z|^2)^{n-1}$.
  4. Các khái niệm đại số liên quan:
    • Biến đổi tựa Möbius (tựa phân tuyến tính): $f = \frac{\alpha_1 g + \alpha_2}{\alpha_3 g + \alpha_4}$ với $\alpha_i \in \mathcal{R}_g$ và $\alpha_1 \alpha_4 - \alpha_2 \alpha_3 \not\equiv 0$.
    • Sự suy biến đại số: Ánh xạ $f \times g: \mathbb{C}^n \to \mathbb{P}^N(\mathbb{C}) \times \mathbb{P}^N(\mathbb{C})$ có ảnh nằm trong một tập con đại số thực sự trên trường các hàm nhỏ $\mathcal{R}_{{a_i}}$.
    • Sự phụ thuộc đại số của $\lambda$ ánh xạ: Triệt tiêu tích nêm $f_1 \wedge \dots \wedge f_\lambda \equiv 0$ trên $\mathbb{C}^n$.

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

Luận án sử dụng các phương pháp thuần túy giải tích - đại số trong lý thuyết hàm phức:

  • Phương pháp hàm phụ trợ đa thức: Thay thế các hàm phụ trợ Cartan bậc một bằng đa thức hai biến $F(f, g)$ có hệ số trong trường hàm nhỏ để đánh giá hàm đếm chặt chẽ hơn.
  • Phương pháp giải tích kiểu bổ đề Borel: Sử dụng hệ phương trình phụ thuộc tuyến tính của các tỉ số hàm để triệt tiêu các thành phần không điểm chung khi số cặp hàm nhỏ rút xuống giới hạn $q=5$.
  • Kỹ thuật sắp thứ tự hàm đếm và đếm bội độc lập: Xử lý việc ngắt bội riêng biệt cho từng siêu phẳng $H_j$ với các mức ngắt $k_j$ khác nhau.
  • Phương pháp đồng hóa trường nghiệm và hàm hữu tỉ: Phân tích cấu trúc đại số trên trường con nhỏ nhất $\mathcal{R}_{{a_i}}$ chứa các siêu phẳng di động chậm.

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

Chương 1: Tổng quan

Chương này hệ thống hóa lịch sử phát triển của lý thuyết phân bố giá trị từ định lý cổ điển của Nevanlinna (1926) cho đến các bài toán hiện đại về chia sẻ giá trị, chia sẻ siêu phẳng đối với hàm và ánh xạ phân hình nhiều biến. Tác giả phân tích chi tiết bốn nhánh bài toán cốt lõi tương ứng với bốn chương nghiên cứu tiếp theo của luận án, nêu bật các hạn chế kỹ thuật của các công trình tiền nhiệm (như việc sử dụng hàm phụ trợ Cartan chưa tối ưu, việc áp đặt điều kiện quá chặt $q \ge 2N+2$, sự phụ thuộc vào giả thiết đồng nhất trên ảnh ngược, và việc chưa tối ưu hóa bậc ngắt bội đối với siêu phẳng di động).

Chương 2: Sự phụ thuộc tựa phân tuyến tính của hai hàm phân hình có chung ảnh ngược đối với các cặp hàm nhỏ

Chương 2 trình bày lý thuyết Nevanlinna cho hàm phân hình trên $\mathbb{C}$ và chứng minh hai định lý cơ bản về sự phụ thuộc tựa Möbius của hai hàm $f, g$.

  • Các bổ đề kỹ thuật quan trọng:
    • Bổ đề 2.3: Đánh giá hàm đặc trưng của hàm phụ trợ đa thức $F(f, g)$ qua hàm đếm không điểm.
    • Bổ đề 2.4: Bất đẳng thức liên hệ hàm đếm không điểm ngắt bội cấp 1 với cấp $k$: $N^{[1]}(r, \nu_f^0) \ge \frac{k+1}{k} N^{[1]}(r, \nu_{f, \le k}^0) - \frac{1}{k} T(r, f)$.
    • Bổ đề 2.6: Nếu $f$ không là biến đổi tựa Möbius của $g$, thì $T(r, f) = 2T(r, g) + o(T(r, f))$ hoặc $T(r, g) = 2T(r, f) + o(T(r, f))$, hoặc cả hai hàm đặc trưng thỏa mãn bất đẳng thức chặn tổng quát.
  • Định lý 2.8 (Trường hợp $q = 5$ cặp hàm nhỏ): Giả sử $f, g$ chia sẻ 5 cặp hàm nhỏ ${(a_i, b_i)}{i=1}^5$, trong đó 1 cặp ngắt bội cấp 1 ($k_5 \ge 2$) và 4 cặp ngắt bội cấp 2 ($1 \le i \le 4$). Nếu các số nguyên dương $k_i$ thỏa mãn: $$\sum{i=1}^5 \frac{1}{k_i} + \frac{240}{k_0} + \frac{3}{k_5} < \frac{843}{361} \quad (k_0 = \max_{1 \le i \le 5} k_i)$$ thì $f$ là biến đổi tựa Möbius của $g$.
    • Hệ quả 2.9: Khi $k_1 = \dots = k_5 = k$, nếu $k \ge 241$ thì $f$ là biến đổi tựa phân tuyến tính của $g$. Kỹ thuật chứng minh định lý này sử dụng phương pháp triệt tiêu tổ hợp tuyến tính dựa trên ý tưởng bổ đề Borel.

Chương 3: Sự phụ thuộc đại số của ba ánh xạ phân hình trùng nhau trên ảnh ngược của họ siêu phẳng cố định với bội bị ngắt

Chương này thiết lập cơ sở hình học phân thớ siêu phẳng $H_0$, metric Fubini-Study và các hàm Nevanlinna đa biến trên $\mathbb{C}^n$, từ đó khảo sát bài toán ba ánh xạ phân hình không suy biến tuyến tính $f_1, f_2, f_3: \mathbb{C}^n \to \mathbb{P}^N(\mathbb{C})$.

  • Định lý 3.1: Cho họ $q$ siêu phẳng ${H_i}{i=1}^q$ ở vị trí tổng quát trong $\mathbb{P}^N(\mathbb{C})$ thỏa mãn điều kiện giao chiều $\dim(\text{Zero}(f_1, H_i) \cap \text{Zero}(f_1, H_j)) \le n - 2$. Giả sử ba ánh xạ có cùng ảnh ngược ngắt bội cấp $N$: $$\min{\nu{(f_1, H_i)}^0, N} = \min{\nu_{(f_2, H_i)}^0, N} = \min{\nu_{(f_3, H_i)}^0, N}$$ và $f_1 = f_2 = f_3$ trên $\bigcup_{i=1}^q \text{Zero}(f_1, H_i)$. Nếu số lượng siêu phẳng thỏa mãn: $$q > \frac{2N + 5 + \sqrt{28N^2 + 20N + 1}}{4}$$ thì hoặc tồn tại $\left[ \frac{q}{2} \right] + 1$ siêu phẳng có tính chất đặc biệt, hoặc ba ánh xạ phụ thuộc đại số, tức là: $$f_1 \wedge f_2 \wedge f_3 \equiv 0 \quad \text{trên } \mathbb{C}^n.$$

  • Định lý 3.3 (Thu gọn tập đồng nhất): Giả sử $f_1$ không suy biến tuyến tính trên trường $\mathcal{R}{f_1}$, ba ánh xạ chia sẻ $q - N - 1$ siêu phẳng ngắt bội cấp $N$, nhưng điều kiện đồng nhất $f_1 = f_2 = f_3$ chỉ cần thỏa mãn trên ảnh ngược của $N+1$ siêu phẳng cuối cùng: $\bigcup{i=q-N}^q \text{Zero}(f_u, H_i)$. Khi đó, nếu: $$q > \frac{3}{2}N^2 + \frac{7}{2}N + 1$$ thì ba ánh xạ phụ thuộc đại số ($f_1 \wedge f_2 \wedge f_3 \equiv 0$).

Chương 4: Tính suy biến đại số của cặp ánh xạ phân hình có chung ảnh ngược đối với họ siêu phẳng di động với bội bị ngắt

Chương này mở rộng bài toán của H. Fujimoto từ siêu phẳng cố định sang họ các siêu phẳng di động chậm $a_1, \dots, a_{2N+2}: \mathbb{C}^n \to \mathbb{P}^N(\mathbb{C})^*$ ở vị trí tổng quát, thỏa mãn $| T(r, a_i) = o(T(r, f))$ khi $r \to \infty$.

  • Định lý 4.1: Cho $f, g: \mathbb{C}^n \to \mathbb{P}^N(\mathbb{C})$ là hai ánh xạ phân hình. Khi đó tồn tại một số nguyên dương $l_0$ (chỉ phụ thuộc vào cấu trúc không gian và số siêu phẳng, không phụ thuộc vào bản thân từng ánh xạ $f, g$) sao cho nếu: $$\min{\nu_{(f, a_i)}^0, l_0} = \min{\nu_{(g, a_i)}^0, l_0} \quad (1 \le i \le 2N+2)$$ thì ánh xạ tích $f \times g: \mathbb{C}^n \to \mathbb{P}^N(\mathbb{C}) \times \mathbb{P}^N(\mathbb{C})$ là suy biến đại số trên trường $\mathcal{R}{{a_i}{i=1}^{2N+2}}$.

Điểm quan trọng của Định lý 4.1 là tác giả đã loại bỏ hoàn toàn giả thiết $f = g$ trên ảnh ngược của các siêu phẳng di động—một giả thiết vốn rất khó kiểm tra trong các công trình của M. Tu, Đỗ Đức Thái - Sĩ Đức Quang, hay H. Dethloff - Trần Văn Tấn.

Chương 5: Sự phụ thuộc đại số của các ánh xạ phân hình trùng nhau trên ảnh ngược của họ siêu phẳng di động không tính bội

Chương này nghiên cứu họ gồm $\lambda$ ánh xạ phân hình $f_1, \dots, f_\lambda: \mathbb{C}^n \to \mathbb{P}^N(\mathbb{C})$ và họ $q$ siêu phẳng di động chậm $g_0, \dots, g_{q-1}$ ở vị trí tổng quát.

  • Định lý 5.3: Thiết lập bất đẳng thức định lượng giữa số siêu phẳng $q$, các bậc ngắt bội $k_j$ ($0 \le j \le q-1$), tham số phân tích bất khả quy $d$, số lượng ánh xạ $\lambda$ và bậc phụ thuộc $l$ ($2 \le l \le \lambda$). Khi cho $k_j = +\infty$, định lý bao hàm kết quả của Đức - Thoan ($q > \frac{d\lambda N(N+2)}{\lambda - l + 1}$); và khi $d=1$, bao hàm kết quả của Thoan - Đức - Quang.
  • Định lý 5.5 (Đánh giá theo hạng đại số): Khi giả thiết thêm điều kiện về hạng trên trường hàm nhỏ $\text{rank}{\mathcal{R}{{g_j}}} f_1 = \dots = \text{rank}{\mathcal{R}{{g_j}}} f_\lambda = m + 1$, điều kiện của $q$ được làm mịn thành: $$q > \frac{\lambda(N+2)(2m - N + 1)}{\lambda - l + 1}.$$ Vì hàm số đạt cực đại tại $m=N$, kết quả này cho một chặn chặt chẽ hơn khi $m < N$.
  • Hệ quả về tính duy nhất: Khi xét $\lambda = l = 2$ và $k_0 = \dots = k_{q-1} = +\infty$, nếu $q > N(N+2)$ thì hai ánh xạ phân hình thỏa mãn các điều kiện chia sẻ siêu phẳng di động không tính bội sẽ trùng nhau ($f_1 \equiv f_2$), cải tiến các định lý duy nhất trước đó của Z. Chen và Z. Yan.

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

Luận án đã đạt được các kết quả lý thuyết mới sau:

  1. Về bài toán cặp hàm nhỏ đối với hàm phân hình trên $\mathbb{C}$:

    • Mở rộng định lý về sự phụ thuộc tựa Möbius cho $q \ge 6$ cặp hàm nhỏ với cận ngắt bội tổng quát $\sum \frac{1}{k_i} + \frac{5}{k_0} < \frac{2q-10}{q-2}$, cải tiến kết quả của S. Đ. Quang (vốn yêu cầu 7 cặp và $k \ge 17$).
    • Thiết lập định lý đầu tiên cho trường hợp $q = 5$ cặp hàm nhỏ với bội ngắt hữu hạn ($k \ge 241$).

  2. Về sự phụ thuộc đại số với họ siêu phẳng cố định:

    • Chứng minh định lý về sự phụ thuộc đại số ($f_1 \wedge f_2 \wedge f_3 \equiv 0$) của ba ánh xạ phân hình vào $\mathbb{P}^N(\mathbb{C})$ khi số siêu phẳng $q$ nhỏ hơn ngưỡng duy nhất truyền thống ($q < 2N+2$).
    • Chứng minh sự phụ thuộc đại số trong trường hợp tập đồng nhất bị thu hẹp đáng kể (chỉ yêu cầu ba ánh xạ trùng nhau trên ảnh ngược của $N+1$ siêu phẳng thay vì trên toàn bộ $q$ siêu phẳng).

  3. Về tính suy biến đại số với họ siêu phẳng di động:

    • Mở rộng trọn vẹn định lý suy biến đại số của H. Fujimoto từ siêu phẳng cố định sang họ $2N+2$ siêu phẳng di động chậm ngắt bội, loại bỏ hoàn toàn yêu cầu hai ánh xạ phải bằng nhau trên ảnh ngược.

  4. Về sự phụ thuộc đại số và tính duy nhất của họ ánh xạ với siêu phẳng di động:

    • Thiết lập các định lý phụ thuộc đại số cho họ $\lambda$ ánh xạ phân hình với bội ngắt tùy ý $k_j$ và theo hạng đại số $m$, tổng quát hóa và nâng cao các kết quả của M. Ru, Đức - Thoan, Thoan - Đức - Quang.
    • Rút ra định lý duy nhất mới cho hai ánh xạ phân hình đối với siêu phẳng di động không tính bội khi $q > N(N+2)$.

Danh mục công trình khoa học của tác giả liên quan trực tiếp đến luận án

Các kết quả chính trong luận án được công bố trong 04 công trình khoa học chuyên ngành:

  1. International Journal of Mathematics (bài báo công bố kết quả Chương 2).
  2. Kodai Mathematical Journal (bài báo công bố kết quả Chương 3).
  3. Complex Variables and Elliptic Equations (bài báo công bố kết quả Chương 4).
  4. Bài báo công bố kết quả Chương 5 (gửi đăng tại thời điểm hoàn thành luận án).

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

Hạn chế được tác giả chỉ ra

  • Đối với trường hợp 5 cặp hàm nhỏ (Chương 2), ngưỡng ngắt bội $k \ge 241$ thu được bằng kỹ thuật bổ đề Borel tuy là kết quả tốt nhất đạt được bằng phương pháp này, nhưng tác giả nhận định vẫn chưa phải là hằng số tối ưu tuyệt đối. Trong trường hợp các cặp hàm suy biến thành các hàm trùng nhau ($a_i = b_i$), kết quả của tác giả khác đã đạt tới mức ngắt bội nhỏ hơn ($k_1=k_2=3, k_3=k_4=k_5=2$).

Hướng nghiên cứu tiếp

  • Tìm kiếm các kỹ thuật tiếp cận mới (ngoài phương pháp bổ đề Borel hiện tại) để giảm chặn dưới của cấp ngắt bội $k$ trong bài toán 5 cặp hàm nhỏ về mức tối ưu hơn.
  • Tiếp tục nghiên cứu giảm số lượng siêu phẳng di động $q$ trong bài toán phụ thuộc đại số của $\lambda$ ánh xạ phân hình và mở rộng từ không gian xạ ảnh $\mathbb{P}^N(\mathbb{C})$ sang các đa tạp xạ ảnh phức tổng quát hoặc đa tạp Grassmann.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo giá trị cho:

  • Nghiên cứu sinh và học viên cao học thuộc chuyên ngành Hình học và Tôpô, Giải tích phức, Hình học giải tích phức muốn tiếp cận kỹ thuật giải quyết bài toán chia sẻ giá trị và phân bố giá trị Nevanlinna đa biến.
  • Giảng viên và các nhà nghiên cứu toán học nghiên cứu về lý thuyết Nevanlinna, đường cong chỉnh hình, bài toán suy biến đại số và tính duy nhất của ánh xạ phân hình vào các đa tạp xạ ảnh.
  • Các phần đáng tham khảo đặc biệt:
    • Hệ thống bổ đề đánh giá hàm đặc trưng qua hàm phụ trợ đa thức ở Mục 2.2.
    • Kỹ thuật phân tích phân thớ siêu phẳng và biểu diễn tích nêm véctơ ở Mục 3.1 và 3.2.
    • Phương pháp khử đại số và kỹ thuật xử lý trường hàm nhỏ $\mathcal{R}_{{a_i}}$ trong bài toán siêu phẳng di động ở Chương 4 và Chương 5.

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

1. Phép biến đổi tựa Möbius (tựa phân tuyến tính) trong luận án được định nghĩa như thế nào?

Hàm phân hình $f$ trên $\mathbb{C}$ được gọi là một biến đổi tựa Möbius (hay biến đổi tựa phân tuyến tính) của hàm phân hình $g$ nếu tồn tại 4 hàm phân hình nhỏ $\alpha_1, \alpha_2, \alpha_3, \alpha_4 \in \mathcal{R}_g$ thỏa mãn điều kiện không suy biến $\alpha_1 \alpha_4 - \alpha_2 \alpha_3 \not\equiv 0$ sao cho: $$f = \frac{\alpha_1 g + \alpha_2}{\alpha_3 g + \alpha_4}.$$ Nếu tất cả các hàm $\alpha_i$ ($1 \le i \le 4$) đều là hằng số phức thì $f$ là biến đổi Möbius (phân tuyến tính) thông thường của $g$.

2. Sự khác biệt căn bản giữa kỹ thuật của luận án và kỹ thuật của Sĩ Đức Quang (2011) trong bài toán cặp hàm nhỏ là gì?

Trong công trình năm 2011, Sĩ Đức Quang sử dụng hệ hàm phụ trợ kiểu Cartan để đánh giá hàm đếm và hàm đặc trưng, dẫn đến việc phải cần tới 7 cặp hàm nhỏ và cấp ngắt bội lớn ($k \ge 17$). Luận án của Lê Ngọc Quỳnh đã phát triển kỹ thuật hàm phụ trợ là các đa thức hai biến $F(f, g)$ theo $f$ và $g$ (với hệ số trong trường hàm nhỏ), cho phép thiết lập các bất đẳng thức đánh giá hàm đếm chặt chẽ hơn, từ đó giảm số cặp hàm xuống $q \ge 6$ với điều kiện ngắt bội tổng quát $k > \frac{5}{q-5}$.

3. Khái niệm ba ánh xạ phân hình phụ thuộc đại số trong Chương 3 được biểu diễn toán học như thế nào?

Cho ba ánh xạ phân hình không suy biến tuyến tính $f_1, f_2, f_3: \mathbb{C}^n \to \mathbb{P}^N(\mathbb{C})$ với các biểu diễn rút gọn tương ứng là $\tilde{f}i = (f{i0} : \dots : f_{iN})$ ($1 \le i \le 3$). Ba ánh xạ này được gọi là phụ thuộc đại số nếu tích nêm của chúng đồng nhất triệt tiêu: $$f_1 \wedge f_2 \wedge f_3 \equiv 0 \quad \text{trên } \mathbb{C}^n,$$ nghĩa là $\tilde{f}_1(z) \wedge \tilde{f}_2(z) \wedge \tilde{f}_3(z) = 0$ trong không gian $\bigwedge^3 \mathbb{C}^{N+1}$ với mọi $z \in \mathbb{C}^n$.

4. Điều kiện "siêu phẳng di động chậm" đối với ánh xạ phân hình $f$ có ý nghĩa gì?

Một ánh xạ phân hình $a: \mathbb{C}^n \to \mathbb{P}^N(\mathbb{C})^*$ được gọi là một siêu phẳng di động trong $\mathbb{P}^N(\mathbb{C})$. Siêu phẳng này được gọi là di động chậm tương ứng với ánh xạ phân hình $f$ nếu hàm đặc trưng Nevanlinna của nó thỏa mãn: $$| , T(r, a) = o(T(r, f)) \quad \text{khi } r \to \infty$$ (nghĩa là hàm đặc trưng của mục tiêu $a$ tăng trưởng chậm hơn rất nhiều so với hàm đặc trưng của ánh xạ $f$ ngoài một tập con Borel có độ đo hữu hạn).

5. Tại sao kết quả của Định lý 4.1 trong luận án lại được xem là bước cải tiến so với các công trình trước đó về siêu phẳng di động?

Trong các công trình trước đó của M. Tu, Đỗ Đức Thái - Sĩ Đức Quang, hay H. Dethloff - Trần Văn Tấn, khi nghiên cứu tính suy biến của ánh xạ phân hình với siêu phẳng di động, các tác giả đều phải áp đặt giả thiết $f(z) = g(z)$ trên tập ảnh ngược $\bigcup \text{Zero}(f, a_i)$. Đây là một điều kiện đồng nhất rất mạnh và rất khó kiểm tra trong thực tế. Định lý 4.1 của luận án đã chứng minh tính suy biến đại số của $f \times g$ chỉ từ điều kiện chia sẻ ảnh ngược ngắt bội cấp $l_0$ mà không cần bất kỳ giả thiết nào về việc $f$ và $g$ trùng nhau trên ảnh ngược.

Kết luận

Luận án tiến sĩ của Lê Ngọc Quỳnh là một công trình nghiên cứu chuyên sâu và hệ thống trong lĩnh vực giải tích phức và hình học giải tích phức, tập trung vào bài toán quan hệ đại số của các hàm và ánh xạ phân hình thông qua lý thuyết phân bố giá trị Nevanlinna. Bằng việc cải tiến phương pháp hàm phụ trợ đa thức, vận dụng kỹ thuật bổ đề Borel và đại số hóa trên trường các hàm nhỏ, tác giả đã giải quyết thành công nhiều bài toán về sự phụ thuộc tựa phân tuyến tính, sự phụ thuộc đại số và tính suy biến đại số trong các trường hợp số siêu phẳng giảm dưới ngưỡng cổ điển hoặc sử dụng họ siêu phẳng di động. Toàn bộ các kết quả chính của luận án đã được công bố trên các tạp chí toán học quốc tế chuyên ngành uy tín, khẳng định tính chính xác khoa học và đóng góp học thuật thực chất của công trình.