I. Toàn cảnh lý thuyết tính duy nhất của các ánh xạ phân hình
Lý thuyết phân bố giá trị, nền tảng cho việc nghiên cứu tính duy nhất và tính hữu hạn của các ánh xạ phân hình, được khởi xướng bởi nhà toán học R. Nevanlinna vào những năm 1920. Lý thuyết này tập trung vào việc thiết lập các mối quan hệ định lượng giữa hàm đặc trưng và hàm đếm các giá trị mà một hàm phân hình nhận được. Cốt lõi của lý thuyết là Định lí Cơ bản thứ nhất và Định lí Cơ bản thứ hai, vốn mô tả mối liên hệ giữa tốc độ tăng của hàm và tần suất nó nhận các giá trị khác nhau trong không gian xạ ảnh phức. Các định lí này đã mở ra một hướng nghiên cứu sâu rộng về các bài toán duy nhất, chẳng hạn như định lí 5 điểm nổi tiếng của Nevanlinna, khẳng định rằng hai hàm phân hình nhận cùng 5 giá trị phân biệt thì phải trùng nhau. Kể từ đó, lý thuyết này đã được mở rộng mạnh mẽ bởi các nhà toán học như H. Cartan, L. Ahlfors, và W. Shiffman, không chỉ cho hàm một biến mà còn cho ánh xạ phân hình từ không gian phức nhiều chiều Cm vào không gian xạ ảnh phức Pn(C). Các công trình hiện đại tiếp tục phát triển lý thuyết này bằng cách áp dụng các công cụ mới như định thức Wronski, định thức Casorati, và các bổ đề về đạo hàm logarit hay q-dịch chuyển để giải quyết các bài toán phức tạp hơn, đặc biệt là với các ánh xạ có bậc tăng trưởng đặc biệt như siêu bậc nhỏ hơn 1 hoặc ánh xạ bậc 0.
1.1. Nền tảng từ lý thuyết phân bố giá trị Nevanlinna
Lý thuyết phân bố giá trị của R. Nevanlinna [23, 31] là công cụ trung tâm để nghiên cứu các tính chất của hàm phân hình. Lý thuyết này định lượng cách một hàm phân hình phân bố các giá trị của nó. Hai công cụ chính là hàm đặc trưng Nevanlinna T(r, f), đo lường độ tăng trưởng tổng thể của hàm f, và hàm đếm N(r, a), đo lường số lần hàm f nhận giá trị 'a'. Định lí Cơ bản thứ nhất cho thấy sự cân bằng giữa hàm đặc trưng và tổng của hàm đếm và hàm xấp xỉ. Quan trọng hơn, Định lí Cơ bản thứ hai cung cấp một bất đẳng thức sâu sắc, liên kết T(r, f) với tổng các hàm đếm cho một tập hợp hữu hạn các giá trị, trừ đi một số hạng sai số nhỏ. Đây chính là chìa khóa để chứng minh các định lí về tính duy nhất.
1.2. Mở rộng lý thuyết cho ánh xạ phân hình nhiều biến phức
Việc mở rộng lý thuyết Nevanlinna cho ánh xạ phân hình từ Cm vào Pn(C) là một bước tiến quan trọng. Các nhà toán học như H. Cartan và L. Ahlfors đã phát triển các phương pháp hình học để giải quyết vấn đề này. Sau đó, W. Shiffman [47] đã tổng quát hóa các kết quả cho trường hợp ánh xạ từ đa tạp parabolic vào không gian xạ ảnh. Trong bối cảnh này, các giá trị riêng lẻ được thay thế bằng các siêu phẳng trong Pn(C). Các định lí duy nhất và hữu hạn thường liên quan đến việc các ánh xạ 'chia sẻ' một số lượng siêu phẳng nhất định, nghĩa là chúng có cùng ảnh ngược khi giao với các siêu phẳng đó. Các kỹ thuật như bổ đề Đạo hàm logarit và định thức Wronski là công cụ tiêu chuẩn để thiết lập các phiên bản nhiều chiều của Định lí Cơ bản thứ hai.
II. Thách thức nghiên cứu tính duy nhất cho ánh xạ phân hình
Mặc dù lý thuyết Nevanlinna cổ điển rất mạnh mẽ, nó vẫn đối mặt với nhiều thách thức khi áp dụng vào các lớp hàm và ánh xạ hiện đại. Một trong những thách thức lớn nhất là nghiên cứu các hàm dịch chuyển f(z+c) hoặc toán tử q-dịch chuyển f(qz). Các công cụ truyền thống như bổ đề Đạo hàm logarit không còn hiệu quả trong những trường hợp này. Điều này thúc đẩy sự phát triển của các công cụ thay thế như bổ đề q-dịch chuyển và định thức Casorati, được đề xuất bởi T. Korhonen [22, 6]. Một vấn đề khác là nỗ lực giảm số lượng giá trị hoặc siêu phẳng chia sẻ cần thiết để kết luận về tính duy nhất. Định lí 5 điểm của Nevanlinna là tối ưu, nhưng trong không gian nhiều chiều, câu hỏi về số lượng siêu phẳng tối thiểu (ví dụ, nhỏ hơn 2n+2) vẫn còn bỏ ngỏ. Thêm vào đó, việc nghiên cứu các ánh xạ chia sẻ siêu phẳng ở vị trí dưới tổng quát hoặc chia sẻ các siêu mặt (thay vì siêu phẳng) đặt ra những khó khăn kỹ thuật đáng kể. Những thách thức này đòi hỏi phải xây dựng các phiên bản mới của Định lí Cơ bản thứ hai và phát triển các kỹ thuật chứng minh sáng tạo.
2.1. Vấn đề với hàm dịch chuyển và toán tử q dịch chuyển
Khi xét các hàm dịch chuyển như f(z+c) hoặc f(qz), mối quan hệ giữa hàm gốc và hàm dịch chuyển của nó không thể được nắm bắt một cách hiệu quả bởi các đạo hàm thông thường. Do đó, bổ đề Đạo hàm logarit không áp dụng được. Để khắc phục, các nhà nghiên cứu đã phát triển các bổ đề tương tự, gọi là bổ đề c-dịch chuyển hoặc q-dịch chuyển. Những bổ đề này cung cấp các ước lượng cho hàm xấp xỉ của tỉ số f(z+c)/f(z), đóng vai trò tương tự như đạo hàm logarit. Việc sử dụng các bổ đề này cùng với định thức Casorati (thay cho định thức Wronski) cho phép xây dựng một lý thuyết phân bố giá trị cho các toán tử dịch chuyển, từ đó nghiên cứu các bài toán duy nhất liên quan.
2.2. Bài toán giảm số lượng siêu phẳng chia sẻ cần thiết
Trong lý thuyết phân bố giá trị, một mục tiêu quan trọng là tìm ra số lượng tối thiểu các đối tượng (giá trị, siêu phẳng) mà hai ánh xạ cần chia sẻ để đảm bảo chúng trùng nhau hoặc có mối liên hệ đại số. Các kết quả của Fujimoto và Z. Quang [14] đã cải thiện số lượng siêu phẳng cần thiết. Tuy nhiên, việc giảm số lượng này xuống dưới ngưỡng 2n+2 trong Pn(C) là một bài toán rất khó. Nghiên cứu này thường đòi hỏi các điều kiện bổ sung, chẳng hạn như xét các không điểm có bội bị ngắt (truncated multiplicity) hoặc giả định các ánh xạ thuộc một lớp đặc biệt. Luận án này tập trung vào việc nghiên cứu tính phụ thuộc đại số và tính hữu hạn khi số siêu phẳng chia sẻ là 2n+1, một con số nhỏ hơn các kết quả cổ điển.
III. Phương pháp nghiên cứu tính duy nhất cho siêu bậc nhỏ hơn 1
Để giải quyết bài toán duy nhất cho các hàm phân hình có siêu bậc nhỏ hơn 1 (γ(f) < 1) chia sẻ giá trị với hàm dịch chuyển f(z+c), một phương pháp hiệu quả là kết hợp bổ đề c-dịch chuyển với các kỹ thuật từ lý thuyết Nevanlinna. Thay vì so sánh trực tiếp f(z) và f(z+c), nghiên cứu tập trung vào việc xây dựng các hàm phụ trợ. Ví dụ, hàm h = g(z+c)/g(z) với g là một biến đổi Mobius của f. Việc phân tích các không điểm và cực điểm của h cho phép suy ra các mối quan hệ quan trọng. Luận án đã chứng minh rằng nếu một hàm phân hình có siêu bậc nhỏ hơn 1 chia sẻ một phần hai giá trị CM (đếm cả bội) và một giá trị với bội bị ngắt (E≤k) với hàm dịch chuyển của nó, thì dưới một điều kiện về số khuyết rút gọn Θ(a, f), hàm đó phải tuần hoàn (f(z) = f(z+c)). Điều kiện về số khuyết, chẳng hạn như Θ(a, f) > 2/(k+1), đóng vai trò quyết định trong việc loại bỏ các trường hợp ngoại lệ. Phương pháp này cho thấy sự kết hợp giữa lý thuyết tăng trưởng (siêu bậc) và lý thuyết phân bố giá trị (số khuyết) là rất hiệu quả.
3.1. Kỹ thuật chia sẻ một phần giá trị và bội bị ngắt
Khái niệm chia sẻ một phần giá trị (ví dụ E(a, f) ⊆ E(a, g)) yếu hơn so với chia sẻ IM (cùng tập không điểm) hoặc CM (cùng không điểm và cùng bội). Tương tự, chia sẻ giá trị với bội bị ngắt (E≤k(a, f)) chỉ xem xét các không điểm có bội không vượt quá k. Việc nghiên cứu các bài toán duy nhất dưới những điều kiện yếu hơn này làm cho kết quả trở nên mạnh mẽ và tổng quát hơn. Phản ví dụ của Wu [29] chỉ ra rằng việc chuyển từ chia sẻ hoàn toàn sang chia sẻ với bội bị ngắt không phải là tầm thường và thường đòi hỏi các điều kiện bổ sung về số khuyết rút gọn Θ(a, f). Điều kiện này đảm bảo rằng hàm f không quá tập trung vào một số giá trị nhất định, cho phép các bất đẳng thức trong Định lí Cơ bản thứ hai trở nên đủ chặt.
3.2. Ứng dụng chứng minh tính tuần hoàn của hàm phân hình
Một hệ quả trực tiếp và quan trọng của các định lí duy nhất cho hàm dịch chuyển là việc thiết lập các điều kiện để một hàm phân hình là tuần hoàn. Nếu có thể chứng minh f(z) = f(z+c) với một hằng số c ≠ 0, thì f là một hàm tuần hoàn. Luận án đã áp dụng các kết quả chính để đưa ra các định lí về tính tuần hoàn. Ví dụ, nếu hai hàm f và g, trong đó f tuần hoàn chu kỳ c, chia sẻ một số giá trị nhất định (ví dụ, hai giá trị CM và một giá trị với bội ngắt khi k ≥ 2), thì hàm g cũng phải là một hàm tuần hoàn. Kết quả này có ý nghĩa trong việc nhận dạng các cấu trúc tuần hoàn dựa trên lý thuyết phân bố giá trị, một vấn đề có nhiều ứng dụng trong các lĩnh vực khác của toán học.
IV. Giải pháp cho tính duy nhất của ánh xạ phân hình bậc 0
Đối với các ánh xạ phân hình bậc 0 từ Cm vào Pn(C), việc nghiên cứu tính duy nhất khi giao với các siêu mặt ở vị trí dưới tổng quát đòi hỏi một cách tiếp cận tinh vi hơn. Luận án đã thành công trong việc thiết lập một Định lí Cơ bản thứ hai q-dịch chuyển cho lớp ánh xạ này. Phương pháp cốt lõi là sử dụng định thức q-Casorati thay cho định thức Wronski và áp dụng bổ đề q-dịch chuyển để xử lý toán tử f(qz). Một điểm mới quan trọng là việc xử lý các siêu mặt ở vị trí N-dưới tổng quát, một điều kiện yếu hơn so với vị trí tổng quát. Kết quả chính cho thấy một bất đẳng thức liên hệ hàm đặc trưng T(r, f) với tổng các hàm đếm N(r, Qj) tương ứng với các siêu mặt Qj, với một số hạng trừ liên quan đến định thức Casorati. Định lí này không chỉ là một kết quả lý thuyết quan trọng mà còn là công cụ nền tảng để chứng minh các định lí duy nhất kiểu Picard. Chẳng hạn, một hệ quả cho thấy nếu một ánh xạ bậc 0 bất biến qua đủ nhiều siêu mặt (dưới toán tử q-dịch chuyển), thì nó phải suy biến đại số.
4.1. Xây dựng Định lí Cơ bản thứ hai cho q dịch chuyển
Để chứng minh định lí, luận án sử dụng một kỹ thuật dựa trên phép nhúng Veronese bậc d, biến các siêu mặt bậc d trong Pn(C) thành các siêu phẳng trong một không gian xạ ảnh có số chiều lớn hơn. Sau đó, một hàm phụ trợ được xây dựng dựa trên các định thức q-Casorati của các hàm tọa độ sau khi nhúng. Bằng cách áp dụng bổ đề q-dịch chuyển và các ước lượng tinh vi từ hình học đại số, một bất đẳng thức cơ bản được thiết lập. Bất đẳng thức này, được gọi là Định lí Cơ bản thứ hai q-dịch chuyển, là một sự tổng quát hóa đáng kể của các kết quả trước đó, vì nó áp dụng cho các ánh xạ bậc 0, giao với siêu mặt ở vị trí dưới tổng quát.
4.2. Định lí duy nhất kiểu Picard cho siêu mặt
Từ Định lí Cơ bản thứ hai q-dịch chuyển, luận án suy ra các định lí duy nhất mạnh mẽ. Một kết quả tiêu biểu theo phong cách định lí Picard khẳng định rằng không tồn tại một ánh xạ phân hình bậc 0, không suy biến đại số, mà lại bất biến (dưới toán tử τq(z) = qz) qua một số lượng đủ lớn các siêu mặt ở vị trí dưới tổng quát. Cụ thể, nếu số siêu mặt p đủ lớn (p ≥ M + 2N − n + 1), thì ảnh của ánh xạ phải nằm trong một không gian con tuyến tính thực sự. Đặc biệt, nếu các thành phần của vector q có module khác 1, ánh xạ đó phải là hằng. Đây là một sự mở rộng trực tiếp của định lí Picard cổ điển, vốn chỉ xét các giá trị bị bỏ qua.
V. Kết quả về tính phụ thuộc đại số và tính hữu hạn
Một trong những đóng góp quan trọng của luận án là việc nghiên cứu tính phụ thuộc đại số và tính hữu hạn của họ các ánh xạ phân hình chia sẻ 2n+1 siêu phẳng ở vị trí tổng quát. Đây là một sự cải tiến so với các kết quả trước đây vốn thường yêu cầu 2n+2 hoặc nhiều hơn. Phương pháp chính là sử dụng kỹ thuật 'sắp xếp lại hàm đếm' của Đ. Quang [45] và xây dựng một hàm bổ trợ mới. Luận án đã chứng minh rằng nếu ba ánh xạ phân hình f1, f2, f3 cùng thuộc một lớp F(f, {Hj, kj}) và tổng các nghịch đảo của bội ngắt (1/(ki+1)) đủ nhỏ, thì chúng phải phụ thuộc đại số (f1 ∧ f2 ∧ f3 ≡ 0). Định lí này có ý nghĩa quan trọng vì nó làm giảm số lượng siêu phẳng cần thiết để có được một mối liên hệ cấu trúc mạnh mẽ giữa các ánh xạ. Dựa trên kết quả về sự phụ thuộc đại số, luận án tiếp tục chứng minh một định lí về tính hữu hạn: Lớp các ánh xạ phân hình không suy biến tuyến tính chia sẻ 2n+1 siêu phẳng với bội bị ngắt ở mức n là một tập hữu hạn. Kết quả này góp phần làm sâu sắc thêm hiểu biết về độ cứng nhắc của các ánh xạ phân hình trong không gian xạ ảnh phức.
5.1. Chứng minh sự phụ thuộc đại số với 2n 1 siêu phẳng
Điểm đột phá trong chứng minh là việc sắp xếp các siêu phẳng thành các nhóm phù hợp và áp dụng một phiên bản tinh chỉnh của Định lí Cơ bản thứ hai. Bằng cách xây dựng một hàm bổ trợ phức tạp và sử dụng các kỹ thuật ước lượng hàm đếm, luận án chỉ ra rằng nếu ba ánh xạ không phụ thuộc đại số, thì hàm đặc trưng của chúng sẽ bị chặn bởi một đại lượng bậc thấp hơn, dẫn đến mâu thuẫn. Điều kiện về tổng nghịch đảo của các bội ngắt, cụ thể là Σ(1/(ki+1)) < (n-4)/(2n(2n+1)), là rất quan trọng và cho thấy sự đánh đổi giữa số lượng siêu phẳng và độ sâu của việc chia sẻ (thể hiện qua bội). Kết quả này cải tiến các công trình của S. Quang [39] và H. Quỳnh [42] bằng cách giảm số siêu phẳng mà không cần các giả định đặc biệt về vị trí của chúng.
5.2. Hệ quả về tính hữu hạn của họ các ánh xạ phân hình
Định lí về sự phụ thuộc đại số là bước đệm để chứng minh tính hữu hạn. Ý tưởng là giả sử tồn tại một dãy vô hạn các ánh xạ phân hình trong lớp đang xét. Khi đó, có thể trích ra một dãy con hội tụ. Sử dụng kết quả về sự phụ thuộc đại số cho ba ánh xạ bất kỳ trong dãy và các lập luận về tính compact, luận án chỉ ra rằng điều này sẽ dẫn đến mâu thuẫn với giả thiết về tính không suy biến tuyến tính của các ánh xạ. Do đó, lớp các ánh xạ này phải là hữu hạn. Đây là một kết quả mạnh, khẳng định rằng các điều kiện chia sẻ 2n+1 siêu phẳng là đủ để 'ghim' các ánh xạ lại, không cho phép chúng biến đổi một cách tự do vô hạn.
VI. Kết luận và triển vọng cho lý thuyết ánh xạ phân hình
Luận án đã đóng góp nhiều kết quả mới và sâu sắc vào lý thuyết phân bố giá trị của các ánh xạ phân hình. Các định lí về tính duy nhất cho lớp hàm có siêu bậc nhỏ hơn 1 và lớp ánh xạ bậc 0 đã mở rộng đáng kể phạm vi ứng dụng của lý thuyết Nevanlinna cho các toán tử dịch chuyển. Việc thiết lập thành công Định lí Cơ bản thứ hai q-dịch chuyển cho các siêu mặt ở vị trí dưới tổng quát là một bước tiến kỹ thuật quan trọng. Hơn nữa, các kết quả về tính phụ thuộc đại số và tính hữu hạn với 2n+1 siêu phẳng đã cải tiến các kết quả cổ điển, cho thấy có thể giảm bớt các điều kiện ràng buộc mà vẫn thu được các kết luận cấu trúc mạnh mẽ. Các phương pháp và kỹ thuật được phát triển trong luận án, như việc sử dụng định thức Casorati kết hợp với các hàm phụ trợ mới, hứa hẹn sẽ là công cụ hữu ích cho các nghiên cứu trong tương lai. Hướng nghiên cứu tiếp theo có thể bao gồm việc xem xét các ánh xạ vào các đa tạp xạ ảnh tổng quát hơn, hoặc nghiên cứu các bài toán tương tự trong bối cảnh hình học p-adic hoặc số học Diophantine.
6.1. Tổng kết những đóng góp chính của nghiên cứu
Nghiên cứu này đã thành công trong ba lĩnh vực chính: (1) Thiết lập các định lí duy nhất mới cho hàm phân hình siêu bậc nhỏ hơn 1 chia sẻ giá trị với hàm dịch chuyển, làm rõ vai trò của số khuyết rút gọn. (2) Xây dựng một Định lí Cơ bản thứ hai q-dịch chuyển cho ánh xạ bậc 0 giao với siêu mặt ở vị trí dưới tổng quát, từ đó suy ra các định lí kiểu Picard. (3) Chứng minh tính phụ thuộc đại số và tính hữu hạn cho họ ánh xạ chia sẻ 2n+1 siêu phẳng, giảm số lượng siêu phẳng yêu cầu so với các kết quả trước đây. Những kết quả này làm phong phú thêm lý thuyết phân bố giá trị và cung cấp các công cụ mạnh mẽ cho các nhà nghiên cứu trong lĩnh vực.
6.2. Hướng nghiên cứu tiềm năng trong tương lai
Các kết quả của luận án mở ra nhiều hướng đi mới. Một hướng là tổng quát hóa các định lí cho các ánh xạ vào các đa tạp con xạ ảnh, thay vì toàn bộ không gian Pn(C). Một hướng khác là nghiên cứu các bài toán tương tự cho các toán tử chênh lệch bậc cao hơn. Ngoài ra, mối liên hệ giữa lý thuyết phân bố giá trị của ánh xạ phân hình và lý thuyết xấp xỉ Diophantine (ví dụ, định lí dưới không gian của Schmidt) là một lĩnh vực đầy hứa hẹn. Việc áp dụng các kỹ thuật từ luận án này để giải quyết các giả thuyết mở trong các lĩnh vực liên quan sẽ là một mục tiêu nghiên cứu quan trọng trong tương lai.
