Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Về định lý cơ bản thứ hai kiểu Cartan cho hàm đếm rút gọn và vấn đề duy nhất" do nghiên cứu sinh INTHAVICHIT Padaphet thực hiện tại Trường Đại học Sư phạm – Đại học Thái Nguyên, thuộc chuyên ngành Toán giải tích (mã số 9460102), dưới sự hướng dẫn khoa học của PGS.TS Hà Trần Phương và TS. Nguyễn Văn Thìn, bảo vệ năm 2023.

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

Lý thuyết phân bố giá trị cho đường cong chỉnh hình, hay còn gọi là lý thuyết Nevanlinna-Cartan, khởi đầu từ các công trình của H. Cartan năm 1933, là một bộ phận trọng yếu của giải tích phức với nhiều ứng dụng trong vấn đề duy nhất, tính suy biến của đường cong đại số, lý thuyết hệ động lực và phương trình vi phân phức. Trong lý thuyết này, Định lý cơ bản thứ hai thiết lập bất đẳng thức đánh giá hàm đặc trưng Nevanlinna-Cartan $T_f(r)$ qua các hàm đếm giao điểm của đường cong với các mục tiêu (siêu phẳng hoặc siêu mặt).

Các dạng định lý cơ bản thứ hai truyền thống chủ yếu sử dụng hàm đếm kể cả bội $N_f(r, H)$ hoặc hàm đếm bội cắt cụt $N_f^M(r, H)$. Năm 2014, J. Hinkkanen và Anderson đưa ra khái niệm hàm đếm rút gọn $\overline{N}_f(r, H)$ cho các hàm chỉnh hình trên mặt phẳng phức, cho thấy hàm đếm rút gọn nhỏ hơn hàm đếm bội cắt cụt của Cartan. Khoảng trống nghiên cứu mà tác giả luận án lựa chọn là:

  1. Mở rộng việc thiết lập định lý cơ bản thứ hai với hàm đếm rút gọn sang trường không Acsimet (như trường các số phức $p$-adic $\mathbb{C}_p$) cho họ siêu phẳng ở vị trí tổng quát và vị trí $N$-dưới tổng quát.
  2. Thiết lập định lý cơ bản thứ hai với hàm đếm bội cắt cụt cho đường cong chỉnh hình trên hình vành khuyên đối với mục tiêu là các siêu mặt ở vị trí tổng quát.
  3. Ứng dụng các định lý cơ bản thứ hai vừa xây dựng để giải quyết vấn đề xác định duy nhất cho các đường cong chỉnh hình trên hình vành khuyên chia sẻ các siêu mặt.

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

Mục tiêu của luận án được chia thành hai hướng chính:

  • Hướng thứ nhất: Xây dựng một số dạng định lý cơ bản thứ hai cho đường cong chỉnh hình trên trường không Acsimet $K$ hoặc mặt phẳng phức $\mathbb{C}$ với mục tiêu là các siêu phẳng ở vị trí tổng quát hoặc $N$-dưới tổng quát bằng cách sử dụng hàm đếm rút gọn.
  • Hướng thứ hai: Thiết lập định lý cơ bản thứ hai với hàm đếm bội cắt cụt và tìm các điều kiện đủ để hai đường cong chỉnh hình không suy biến đại số trên hình vành khuyên trùng nhau khi chúng chia sẻ các siêu mặt ở vị trí tổng quát.

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

  • Đối tượng nghiên cứu: Đường cong chỉnh hình $f: K \to P^n(K)$ trên trường đóng đại số không Acsimet $K$ đặc số 0, đầy đủ (tiêu biểu là $\mathbb{C}_p$), đường cong chỉnh hình $f: \mathbb{C} \to P^n(\mathbb{C})$, và đường cong chỉnh hình $f: \Delta \to P^n(\mathbb{C})$ xác định trên hình vành khuyên $\Delta = {z \in \mathbb{C} : 1/R_0 < |z| < R_0}$ ($R_0 > 1$).
  • Phạm vi nghiên cứu: Không gian xạ ảnh $n$ chiều $P^n(W)$ ($W$ là $\mathbb{C}$ hoặc $K$), các cấu hình siêu phẳng cố định ở vị trí tổng quát hoặc $N$-dưới tổng quát, và các họ siêu mặt đại số ở vị trí tổng quát.

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

Các hướng nghiên cứu trước

Luận án điểm lại hệ thống các công trình nền tảng và bước phát triển của lý thuyết Nevanlinna-Cartan:

  • H. Cartan (1933): Thiết lập Định lý cơ bản thứ hai cho đường cong chỉnh hình không suy biến tuyến tính $f: \mathbb{C} \to P^n(\mathbb{C})$ và $q$ 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_f^n(r, H_j) + o(T_f(r))$$
  • E. I. Nochka (1983): Mở rộng định lý của Cartan cho họ siêu phẳng ở vị trí $N$-dưới tổng quát trên $\mathbb{C}$ thông qua việc đưa ra khái niệm trọng số Nochka và hằng số Nochka.
  • H. Tu (1995): Mở rộng định lý Cartan cho đường cong chỉnh hình trên trường không Acsimet $K$, thiết lập bất đẳng thức đánh giá hàm đặc trưng qua hàm đếm bội cắt cụt $N_f^n(r, H_j)$ cùng đại lượng số hạng dư dạng $-\frac{n(n+1)}{2}\log r + O(1)$.
  • H. Yang (2021): Mở rộng kết quả của H. Tu cho trường hợp họ siêu phẳng ở vị trí $N$-dưới tổng quát trên trường không Acsimet.
  • J. Hinkkanen, Anderson (2014): Nghiên cứu bội không điểm của các tổ hợp tuyến tính không tầm thường, đưa ra khái niệm hàm đếm rút gọn $\overline{N}_f(r, H)$ và chứng minh định lý cơ bản thứ hai với hàm đếm rút gọn trên mặt phẳng phức $\mathbb{C}$.
  • H. Fujimoto (1975, 1983, 1998): Mở rộng định lý 5 điểm của R. Nevanlinna, chứng minh sự tồn tại của tập xác định duy nhất kể cả bội (URSCM) gồm $3n+2$ siêu phẳng tổng quát cho ánh xạ phân hình không suy biến tuyến tính và $2n+3$ siêu phẳng cho ánh xạ không suy biến đại số.
  • L. Smiley (1989), S. J. Drouilhet, T. B. Tran, D. D. Thai, S. D. Quang, H. T. Phuong: Mở rộng các kết quả duy nhất cho các trường hợp $3n+1$ siêu phẳng, họ siêu phẳng di động và các siêu mặt đại số.
  • P. V. Minh (2019), H. Vilaisavanh (2021): Thiết lập các định lý duy nhất cho đường cong chỉnh hình trên hình vành khuyên $\Delta$ đối với siêu phẳng và siêu mặt thông qua phép nhúng Veronese.

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

Luận án của INTHAVICHIT Padaphet tiếp nối trực tiếp các công trình của H. Tu, H. Yang và J. Hinkkanen:

  • Đưa khái niệm hàm đếm rút gọn sang giải tích không Acsimet, chứng minh định lý cơ bản thứ hai kiểu Cartan (vị trí tổng quát) và kiểu Cartan-Nochka (vị trí $N$-dưới tổng quát) trên trường $K$. Do $\overline{N}_f(r, H) \le N_f^n(r, H)$, các bất đẳng thức thu được chặt hơn các kết quả trước đây của H. Tu và H. Yang.
  • Mở rộng bài toán xác định duy nhất cho đường cong chỉnh hình trên hình vành khuyên $\Delta$ sang trường hợp mục tiêu là các siêu mặt bậc tùy ý ở vị trí tổng quát, cải biên theo kiểu Chen-Yan và kiểu Fujimoto.

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 cốt lõi

  1. Trường không Acsimet: Trường $K$ đóng đại số, có đặc số 0, đầy đủ đối với chuẩn sinh bởi giá trị tuyệt đối không Acsimet thỏa mãn bất đẳng thức tam giác mạnh $|a+b| \le \max{|a|, |b|}$. Ví dụ điển hình là trường số phức $p$-adic $\mathbb{C}_p$ (bao đóng đại số được làm đầy của $\mathbb{Q}_p$).
  2. Đường cong chỉnh hình và các hàm Nevanlinna-Cartan:
    • Cho $f = (f_0 : \dots : f_n): W \to P^n(W)$ là biểu diễn tối giản.
    • Hàm đặc trưng: $T_f(r) = \log |f|r = \log \max{0\le i\le n} |f_i|_r$.
    • Hàm xấp xỉ kết hợp với siêu phẳng $H = {L=0}$: $m_f(r, H) = \log \frac{|f|_r}{|L(f)|_r}$.
    • Định lý cơ bản thứ nhất: $m_f(r, L) + N_f(r, L) = T_f(r) + O(1)$.
  3. Cấu trúc bội không điểm và hàm đếm rút gọn:
    • Tập $\mathcal{L}(f_0, \dots, f_n)$ gồm tất cả các tổ hợp tuyến tính không tầm thường của $f_0, \dots, f_n$.
    • Tại mỗi $z_0 \in W$, dãy các bội không điểm có thể có lập thành dãy tăng nghiêm ngặt: $0 = d_0(z_0) < d_1(z_0) < \dots < d_n(z_0)$.
    • Nếu $\text{ord}_{L(f)}(z_0) = d_j(z_0)$, tác giả định nghĩa bội rút gọn $\nu(H, z_0) = j$ và bội dư $\varepsilon(H, z_0) = d_j(z_0) - j$.
    • Hàm đếm rút gọn: $$\overline{N}_f(r, H) = \int_0^r \frac{\nu_f(t, H) - \nu_f(0, H)}{t} dt + \nu_f(0, H)\log r$$
    • Định thức Wronskian $W(f_0, \dots, f_n)$ và hàm phụ trợ $H = \frac{L_1(f)\dots L_q(f)}{W(f_0,\dots,f_n)}$ cho liên hệ: $$\sum_{j=1}^q \varepsilon(H_j, z_0) \le \text{ord}_W(z_0)$$
    • Hàm đếm bội dư tại các không điểm: $$U_f(r, \mathcal{H}) = \int_0^r \frac{V_f(t, \mathcal{H}) - V_f(0, \mathcal{H})}{t} dt - V_f(0, \mathcal{H})\log r, \quad V_f(r, \mathcal{H}) = \sum_{|z|\le r} \left(\text{ord}W(z) - \sum{j=1}^q \varepsilon(H_j, z)\right)$$
  4. Trọng số Nochka: Cho họ siêu phẳng $\mathcal{H} = {H_1, \dots, H_q}$ ở vị trí $N$-dưới tổng quát trong $P^n(W)$ ($q > 2N - n + 1$). Tồn tại các số hữu tỉ $w(j) \in (0, 1]$ và hằng số Nochka $w^* = \max w(j)$ thỏa mãn:
    • $\sum_{j=1}^q w(j) = w^*(q - 2N + n - 1) + n + 1$;
    • $\frac{n+1}{2N-n+1} \le w^* \le \frac{n}{N}$;
    • Với mọi $R \subset {1, \dots, q}$ có $0 < |R| \le N+1$, $\sum_{j\in R} w(j) \le \text{rank}{H_j}_{j\in R}$.

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

Luận án sử dụng các phương pháp toán học thuần túy của giải tích phức và giải tích $p$-adic:

  • Kỹ thuật giải tích Nevanlinna-Cartan: đánh giá định thức Wronskian, công thức Jensen không Acsimet, biến đổi hàm xấp xỉ và hàm đặc trưng.
  • Phương pháp đại số tuyến tính và hình học đại số: kỹ thuật ma trận, không gian con sinh bởi các dạng tuyến tính, phép triệt tiêu hàm xạ ảnh, phép nhúng Veronese để chuyển siêu mặt bậc $d$ về siêu phẳng.
  • Kỹ thuật giải tích trên hình vành khuyên: sử dụng biến đổi Fourier-Borel hoặc kỹ thuật vi phân logarit tương thích với miền $\Delta = {z \in \mathbb{C} : 1/R_0 < |z| < R_0}$.

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

Chương 1: Định lý cơ bản thứ hai với hàm đếm rút gọn cho đường cong chỉnh hình trên trường không Acsimet

Chương 1 thiết lập các bổ đề giải tích cơ sở trên trường không Acsimet $K$ và chứng minh Định lý cơ bản thứ hai kiểu Cartan với hàm đếm rút gọn cho họ siêu phẳng ở vị trí tổng quát.

Các bổ đề quan trọng:

  • Bổ đề 1.4 (Dãy bội đặc trưng): Tại mọi điểm $z_0 \in K$, các bội không điểm có thể có của các hàm thuộc $\mathcal{L}(f_0, \dots, f_n)$ tạo thành dãy $0 = d_0(z_0) < d_1(z_0) < \dots < d_n(z_0)$.
  • Bổ đề 1.5: Liên hệ giữa bậc không điểm của định thức Wronskian $W(f_0, \dots, f_n)$ và dãy bội đặc trưng: $$\text{ord}W(z_0) = \sum{j=0}^n (d_j(z_0) - j)$$
  • Bổ đề 1.6: Với họ $\mathcal{H}$ gồm $q$ siêu phẳng ở vị trí $N$-dưới tổng quát, tổng các bội dư thỏa mãn: $$\sum_{j=1}^q \varepsilon(H_j, z_0) \le \text{ord}_W(z_0)$$
  • Bổ đề 1.8 (Chặn dưới chuẩn của dạng tuyến tính): Tồn tại hoán vị ${m_1, \dots, m_q}$ của ${1, \dots, q}$ và hằng số $A > 0$ chỉ phụ thuộc các hệ số của $L_j$ sao cho: $$|f_j|r \le A |L{m_t}(f)|_r, \quad \forall j \in {0, \dots, n}, , 1 \le t \le q - n$$

Định lý chính (Định lý 1.7 / Định lý 1):

Cho $f: K \to P^n(K)$ là đường cong chỉnh hình không suy biến tuyến tính và $\mathcal{H} = {H_1, \dots, H_q}$ là họ $q > n + 1$ siêu phẳng ở vị trí tổng quát trong $P^n(K)$. Khi đó: $$(q - n - 1)T_f(r) \le \sum_{j=1}^q \overline{N}_f(r, H_j) - U_f(r, \mathcal{H}) - N(r, \mathcal{H}) - \frac{n(n+1)}{2}\log r + O(1)$$ khi $r \to \infty$ nằm ngoài một tập có độ đo tuyến tính hữu hạn.

Vì $\nu(H, z_0) \le \min{d_j, n}$, ta luôn có $\overline{N}_f(r, H) \le N_f^n(r, H)$. Do đó, bất đẳng thức trên cải tiến trực tiếp định lý của H. Tu (1995).

Chương 2: Một số dạng định lý cơ bản thứ hai cho đường cong chỉnh hình

Chương này gồm hai phân mục nghiên cứu chính: mở rộng định lý trên trường không Acsimet cho vị trí $N$-dưới tổng quát và thiết lập định lý trên hình vành khuyên với mục tiêu là các siêu mặt.

1. Định lý kiểu Cartan-Nochka trên trường không Acsimet

Tác giả kết hợp hàm đếm rút gọn với kỹ thuật trọng số Nochka $w(j) = a_j / b_j$ ($a_j, b_j \in \mathbb{N}$, $M = \text{lcm}(b_1, \dots, b_q)$). Xây dựng hàm giải tích phụ trợ: $$\Phi = \frac{\prod_{j=1}^q (L_j(f))^{M w(j)}}{W_f^M}$$

  • Mệnh đề 2.3: Tổng bội dư với trọng số Nochka thỏa mãn: $$\sum_{j=1}^q w(j)\varepsilon(H_j, z_0) \le \text{ord}_{W_f}(z_0)$$

  • Mệnh đề 2.6: Tồn tại hoán vị ${m_1, \dots, m_q}$ và hằng số $B > 0$ sao cho: $$|f|r \le B |L{m_t}(f)|_r, \quad \forall 1 \le t \le q - N$$

  • Định lý chính (Định lý 2.4 / Định lý 2): Cho $f: K \to P^n(K)$ không suy biến tuyến tính và $\mathcal{H} = {H_1, \dots, H_q}$ là họ $q > 2N - n + 1$ siêu phẳng ở vị trí $N$-dưới tổng quát trong $P^n(K)$. Khi đó: $$(q - 2N + n - 1)T_f(r) \le \sum_{j=1}^q \overline{N}_f^N(r, H_j) - U_f^N(r, \mathcal{H}) - \frac{1}{M} N(r, \Phi) - \frac{n(N+1)n}{2}\log r + O(1)$$ ngoại trừ một tập $r$ có độ đo tuyến tính hữu hạn. Kết quả này mở rộng và cải tiến bất đẳng thức của H. Yang (2021).

2. Định lý cơ bản thứ hai trên hình vành khuyên

Xét đường cong chỉnh hình $f: \Delta \to P^n(\mathbb{C})$ trên hình vành khuyên $\Delta = {z \in \mathbb{C} : 1/R_0 < |z| < R_0}$ và các siêu mặt $D_1, \dots, D_q$ bậc tương ứng $d_j$ ở vị trí tổng quát. Đặt $d = \text{lcm}(d_1, \dots, d_q)$ và $M = \binom{n+d}{n} - 1$.

  • Định lý 3 (trong phần tổng quan luận án): Với $q > M + 1$ và $1 < r < R_0$: $$(q - M - 1)T_f(r) \le \sum_{j=1}^q \frac{1}{d_j} N_f^M(r, D_j) + O_f(r)$$ trong đó $O_f(r)$ là đại lượng dư thỏa mãn $O_f(r) = o(T_f(r))$ đối với các đường cong chỉnh hình tăng trưởng nhanh thích hợp.

Chương 3: Định lý duy nhất cho đường cong chỉnh hình trên hình vành khuyên

Chương 3 sử dụng Định lý 3 đã chứng minh ở Chương 2 để thiết lập các điều kiện đại số cho bài toán xác định duy nhất của hai đường cong chỉnh hình $f, g: \Delta \to P^n(\mathbb{C})$ không suy biến đại số thỏa mãn $O_f(r) = o(T_f(r))$ và $O_g(r) = o(T_g(r))$. Ký hiệu $E_f(D_j) = {z \in \Delta : (D_j, f)(z) = 0 \text{ không kể bội}}$ và $E_f(\mathcal{D}) = \bigcup_{j=1}^q E_f(D_j)$.

1. Định lý duy nhất kiểu Chen-Yan (Định lý 4 / Định lý 3.x)

Giả sử:

  • a) $E_f(D_i) \cap E_f(D_j) = \emptyset$ với mọi $i \ne j$;
  • b) $E_f(D_j) = E_g(D_j)$ với mọi $j = 1, \dots, q$;
  • c) $\liminf_{r \to R_0} \frac{\sum_{j=1}^q N_f^1(r, D_j)}{\sum_{j=1}^q N_g^M(r, D_j)} > \frac{1}{M + 1}$.

Nếu số lượng siêu mặt thỏa mãn $q > 2M + 3$, thì tồn tại tập con $S \subset {1, \dots, q}$ có lực lượng $#S \ge M + 1$ sao cho: $$\frac{(f, D_k)^{d/d_k}}{(f, D_l)^{d/d_l}} \equiv \frac{(g, D_k)^{d/d_k}}{(g, D_l)^{d/d_l}}, \quad \forall k \ne l \in S$$ Đặc biệt, khi các $D_j$ là các siêu phẳng ($d_j = 1$), ta có $M = n$, và hệ thức trên kéo theo $f \equiv g$. Đây là sự mở rộng kết quả duy nhất của H. Chen và Q. Yan trên $\mathbb{C}$ sang miền vành khuyên $\Delta$ cho mục tiêu siêu mặt.

2. Định lý duy nhất kiểu Fujimoto (Định lý 5 và Định lý 6)

Đặt $\delta_{\mathcal{D}} = \min{d_1, \dots, d_q} / d$ và hằng số $B(\mathcal{D}) = \binom{n+d}{n} - 1$.

  • Định lý 5: Cho $f, g: \Delta \to P^n(\mathbb{C})$ không suy biến đại số và $\mathcal{D} = {D_1, \dots, D_q}$ gồm: $$q > n + 1 + \frac{2n B(\mathcal{D})}{\delta_{\mathcal{D}}}$$ siêu mặt ở vị trí tổng quát thỏa mãn $f(z) = g(z)$ với mọi $z \in E_f(\mathcal{D}) \cup E_g(\mathcal{D})$. Khi đó $f \equiv g$.
  • Định lý 6: Nếu bổ sung thêm điều kiện phân tách không điểm $E_f(D_i) \cap E_f(D_j) = \emptyset$ và $E_g(D_i) \cap E_g(D_j) = \emptyset$ ($\forall i \ne j$), thì số lượng siêu mặt cần thiết giảm xuống: $$q > n + 1 + \frac{2 B(\mathcal{D})}{\delta_{\mathcal{D}}}$$ thì $f \equiv g$.

Bảng tổng hợp các kết quả chính của luận án

Định lý Miền xác định & Không gian Cấu hình mục tiêu Dạng hàm đếm sử dụng Kết quả / Bất đẳng thức chính Tình trạng công bố
Định lý 1 (ĐL 1.7) $f: K \to P^n(K)$ (không Acsimet) $q > n+1$ siêu phẳng, vị trí tổng quát Hàm đếm rút gọn $\overline{N}_f(r, H_j)$ $(q-n-1)T_f(r) \le \sum_{j=1}^q \overline{N}_f(r, H_j) - U_f(r, \mathcal{H}) - N(r, \mathcal{H}) - \frac{n(n+1)}{2}\log r + O(1)$ Bài báo [2]
Định lý 2 (ĐL 2.4) $f: K \to P^n(K)$ (không Acsimet) $q > 2N-n+1$ siêu phẳng, $N$-dưới tổng quát Hàm đếm rút gọn với trọng số Nochka $\overline{N}_f^N(r, H_j)$ $(q-2N+n-1)T_f(r) \le \sum_{j=1}^q \overline{N}_f^N(r, H_j) - U_f^N(r, \mathcal{H}) - \frac{1}{M}N(r, \Phi) - \frac{n(N+1)n}{2}\log r + O(1)$ Bản thảo [1]
Định lý 3 $f: \Delta \to P^n(\mathbb{C})$ (hình vành khuyên) $q > M+1$ siêu mặt $D_j$ bậc $d_j$, vị trí tổng quát Hàm đếm bội cắt cụt $N_f^M(r, D_j)$ ($M = \binom{n+d}{n}-1$) $(q-M-1)T_f(r) \le \sum_{j=1}^q \frac{1}{d_j}N_f^M(r, D_j) + O_f(r)$ Bài báo [3]
Định lý 4 $f, g: \Delta \to P^n(\mathbb{C})$ $q > 2M+3$ siêu mặt, vị trí tổng quát Chia sẻ không kể bội $E_f(D_j) = E_g(D_j)$ Tồn tại $#S \ge M+1$: $\frac{(f, D_k)^{d/d_k}}{(f, D_l)^{d/d_l}} \equiv \frac{(g, D_k)^{d/d_k}}{(g, D_l)^{d/d_l}}$ ($\forall k \ne l \in S$). Suy ra $f \equiv g$ khi $d_j=1$ Bài báo [3]
Định lý 5 $f, g: \Delta \to P^n(\mathbb{C})$ $q > n+1+\frac{2n B(\mathcal{D})}{\delta_{\mathcal{D}}}$ siêu mặt Trùng nhau trên ảnh ngược $f(z)=g(z)$ trên $E_f(\mathcal{D})\cup E_g(\mathcal{D})$ $f \equiv g$ Bài báo [4]
Định lý 6 $f, g: \Delta \to P^n(\mathbb{C})$ $q > n+1+\frac{2 B(\mathcal{D})}{\delta_{\mathcal{D}}}$ siêu mặt có ảnh ngược rời nhau Trùng nhau trên ảnh ngược $f(z)=g(z)$ trên $E_f(\mathcal{D})\cup E_g(\mathcal{D})$ $f \equiv g$ Bài báo [4]

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

  1. Đóng góp về lý thuyết cơ bản thứ hai trên trường không Acsimet:
    • Xây dựng thành công kỹ thuật ước lượng định thức Wronskian và dãy bội đặc trưng của tổ hợp tuyến tính các hàm giải tích trên trường không Acsimet $K$.
    • Chứng minh dạng định lý cơ bản thứ hai kiểu Cartan (cho vị trí tổng quát) và kiểu Cartan-Nochka (cho vị trí $N$-dưới tổng quát) với hàm đếm rút gọn. Bất đẳng thức thu được có chặn trên nhỏ hơn so với các kết quả cổ điển dùng hàm đếm cắt cụt của H. Tu (1995) và H. Yang (2021).
  2. Đóng góp về bài toán duy nhất trên hình vành khuyên:
    • Thiết lập định lý cơ bản thứ hai với hàm đếm bội cắt cụt cho đường cong chỉnh hình trên hình vành khuyên $\Delta \subset \mathbb{C}$ đối với họ siêu mặt đại số bậc tùy ý ở vị trí tổng quát.
    • Đưa ra các tiêu chuẩn tường minh về số lượng siêu mặt cần thiết để xác định duy nhất hai đường cong chỉnh hình không suy biến đại số trên hình vành khuyên chia sẻ các tập nghịch ảnh, mở rộng các định lý kiểu Chen-Yan và kiểu Fujimoto từ mặt phẳng phức sang miền vành khuyên.

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

  • Hạn chế:
    • Các kết quả trên trường không Acsimet $K$ mới chỉ thực hiện cho các mục tiêu là siêu phẳng cố định; chưa mở rộng cho các siêu phẳng di động hoặc các siêu mặt đại số bậc cao.
    • Bất đẳng thức định lý cơ bản thứ hai cho siêu mặt trên hình vành khuyên (Định lý 3) sử dụng hàm đếm bội cắt cụt với chỉ số cắt cụt phụ thuộc vào số chiều xạ ảnh của phép nhúng Veronese $M = \binom{n+d}{n}-1$, là số khá lớn khi bậc $d$ tăng.
  • Hướng nghiên cứu tiếp:
    • Nghiên cứu định lý cơ bản thứ hai với hàm đếm rút gọn cho đường cong chỉnh hình trên trường không Acsimet đối với mục tiêu là các siêu mặt hoặc các mục tiêu di động.
    • Tối ưu hóa chỉ số cắt cụt $M$ và chặn dưới số lượng siêu mặt trong các bài toán duy nhất trên hình vành khuyên.

Giá trị tham khảo

  • Đối tượng thụ hưởng:
    • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Toán giải tích, Hình học giải tích phức và Lý thuyết số $p$-adic.
    • Các nhà nghiên cứu quan tâm đến sự tương giao giữa giải tích phức (lý thuyết Nevanlinna), giải tích $p$-adic và hình học Diophantus.
  • Các nội dung có giá trị tham khảo cao:
    • Kỹ thuật xây dựng hàm đếm rút gọn, phân tích bội đặc trưng và xử lý định thức Wronskian trong Chương 1.
    • Phương pháp kết hợp trọng số Nochka với giải tích không Acsimet trong Chương 2 (Mục 2.1).
    • Phương pháp thiết lập các tập xác định duy nhất cho các miền không đơn liên (hình vành khuyên) trong Chương 3.

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

1. Hàm đếm rút gọn $\overline{N}_f(r, H)$ có ưu thế gì so với hàm đếm bội cắt cụt $N_f^n(r, H)$ của H. Cartan?

Hàm đếm rút gọn $\overline{N}_f(r, H)$ được xây dựng dựa trên bội rút gọn $\nu(H, z_0) = j$, trong đó $j$ là chỉ số xuất hiện trong dãy bội đặc trưng $0 = d_0 < d_1 < \dots < d_n$ của không gian tổ hợp tuyến tính các hàm thành phần. Do $\nu(H, z_0) \le \min{d_j, n}$, ta luôn có bất đẳng thức $\nu_f(r, H) \le n_f^n(r, H)$, dẫn đến $\overline{N}_f(r, H) \le N_f^n(r, H)$. Vì vậy, đánh giá trong Định lý cơ bản thứ hai với hàm đếm rút gọn cho chặn trên chặt hơn so với dùng hàm đếm cắt cụt của Cartan.

2. Sự khác biệt căn bản trong việc xử lý định lý cơ bản thứ hai trên trường không Acsimet so với trường số phức là gì?

Trên trường không Acsimet $K$ (như $\mathbb{C}_p$), giá trị tuyệt đối thỏa mãn bất đẳng thức tam giác mạnh $|a+b| \le \max{|a|, |b|}$. Khi đó, hàm đặc trưng được tính qua $\log |f|r = \log \max{0\le i\le n} |f_i|_r$ mà không cần lấy tích phân trên đường tròn như trường phức. Bù lại, việc triệt tiêu số hạng dư đòi hỏi kỹ thuật giải tích $p$-adic trên chuỗi lũy thừa và công thức Jensen không Acsimet tương ứng, tạo ra số hạng dư tường minh dạng $-\frac{n(n+1)}{2}\log r + O(1)$.

3. Vị trí $N$-dưới tổng quát của một họ siêu phẳng được định nghĩa như thế nào trong luận án?

Họ siêu phẳng $\mathcal{H} = {H_1, \dots, H_q}$ trong $P^n(W)$ ($q \ge N+1$) được gọi là ở vị trí $N$-dưới tổng quát nếu với mọi tập con gồm $N+1$ chỉ số ${i_0, i_1, \dots, i_N} \subset {1, \dots, q}$, giao của các siêu phẳng tương ứng là rỗng: $${x \in P^n(W) : L_{i_0}(x) = L_{i_1}(x) = \dots = L_{i_N}(x) = 0} = \emptyset$$ Khi $N = n$, vị trí $N$-dưới tổng quát trở thành vị trí tổng quát thông thường.

4. Kết quả duy nhất kiểu Chen-Yan (Định lý 4) trên hình vành khuyên khẳng định điều gì?

Định lý 4 chỉ ra rằng nếu hai đường cong chỉnh hình không suy biến đại số $f, g: \Delta \to P^n(\mathbb{C})$ chia sẻ $q > 2M+3$ siêu mặt ở vị trí tổng quát (với $M = \binom{n+d}{n}-1$) thỏa mãn điều kiện phân tách không điểm và điều kiện tăng trưởng $\liminf$, thì các tỷ số dạng đại số $\frac{(f, D_k)^{d/d_k}}{(f, D_l)^{d/d_l}}$ và $\frac{(g, D_k)^{d/d_k}}{(g, D_l)^{d/d_l}}$ đồng nhất bằng nhau trên một tập chỉ số con $#S \ge M+1$. Khi các mục tiêu là siêu phẳng ($d_j=1$), ta suy ra trực tiếp $f \equiv g$.

Kết luận

Luận án tiến sĩ của INTHAVICHIT Padaphet đã giải quyết trọn vẹn hai mục tiêu nghiên cứu chính trong lý thuyết phân bố giá trị Nevanlinna-Cartan: thiết lập các định lý cơ bản thứ hai với hàm đếm rút gọn trên trường không Acsimet cho các cấu hình siêu phẳng tổng quát và $N$-dưới tổng quát, đồng thời xây dựng định lý cơ bản thứ hai và các tiêu chuẩn xác định duy nhất cho đường cong chỉnh hình trên hình vành khuyên đối với mục tiêu siêu mặt. Các kết quả của luận án là những đóng góp mới cho chuyên ngành Giải tích toán học, mở rộng các định lý cổ điển của H. Cartan, H. Tu, E. I. Nochka, H. Fujimoto và J. Hinkkanen. Công trình đã được công bố trên các tạp chí chuyên ngành và báo cáo tại các hội nghị toán học quốc tế.