Luận án tiến sĩ về nhóm tự đẳng cấu và ứng dụng trong miền cn

Khám phá nghiên cứu về nhóm tự đẳng cấu trong toán học và ứng dụng quan trọng trong miền cn, mở rộng hiểu biết về lý thuyết nhóm và lĩnh vực liên quan.

• Tác giả: Nguyễn Thị Lan Hương
• Người hướng dẫn: PGS. TS Ninh Văn Thu
• Trường học: Đại học Quốc gia Hà Nội
• Chuyên ngành: Toán Giải tích
• Đề tài: Nhóm Tự Đẳng Cấu Của Một Số Lớp Miền Trong C
• Loại tài liệu: luận án tiến sĩ toán học
• Năm xuất bản: 2023
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI CẢM ƠN
• 1. CHƯƠNG 1: KIẾN THỨC CHUẨN BỊ
• 1.1. Hàm đa điều hòa dưới
• 1.2. Khái niệm miền giả lồi
• 1.3. Khái niệm kiểu theo nghĩa D'Angelo
• 1.4. Khái niệm dãy hàm chuẩn tắc và giới hạn của dãy miền
• 2. CHƯƠNG 2: NHÓM TỰ ĐẲNG CẤU CỦA MỘT SỐ MIỀN TRONG C^n
• 2.1. Một số khái niệm và bổ đề
• 2.2. Nhóm tự đẳng cấu của mô hình D_p và Q_p
• 2.3. Tự đẳng cấu của mô hình kiểu hữu hạn
• 2.4. Một số ví dụ minh họa cho kết quả chính
• 3. CHƯƠNG 3: DÁNG ĐIỆU BIÊN CỦA HÀM SQUEEZING
• 3.1. Dáng điệu biên của hàm squeezing gần điểm biên có đối hạng
• 3.2. Day scaling trong miền nhiều chiều
• 3.3. Một số bổ đề kỹ thuật
• 3.4. Hàm squeezing đối với miền lồi tuyến tính
• KẾT LUẬN VÀ KIẾN NGHỊ
• DANH MỤC CÔNG TRÌNH KHOA HỌC CỦA TÁC GIẢ LIÊN QUAN ĐẾN LUẬN ÁN
• DANH MỤC CÁC KÝ HIỆU

Tóm tắt

I. Giới thiệu về nhóm tự đẳng cấu

Nhóm tự đẳng cấu (nhóm tự đẳng cấu) là một trong những khái niệm cốt lõi trong toán học, đặc biệt trong lĩnh vực hình học phức. Nó liên quan đến các ánh xạ song chỉnh hình từ một miền vào chính nó, giúp xác định tính chất hình học của miền đó. Nhóm này được ký hiệu là Aut(Q) cho miền Q trong không gian phức C^n. Việc nghiên cứu nhóm tự đẳng cấu không chỉ giúp hiểu rõ hơn về cấu trúc của miền mà còn liên quan đến các ứng dụng thực tiễn trong khoa học, chẳng hạn như trong lý thuyết tương đối và vật lý lý thuyết. Theo định nghĩa, nhóm tự đẳng cấu của một miền được xác định bởi tất cả các ánh xạ song chỉnh hình từ miền đó vào chính nó. Điều này cho thấy rằng hình học của miền được xác định bởi cấu trúc của nhóm này. Như vậy, việc mô tả và tính toán nhóm tự đẳng cấu của các miền trong C^n là một nhiệm vụ quan trọng và cần thiết trong nghiên cứu toán học hiện đại.

1.1. Khái niệm và tính chất nhóm

Khái niệm về nhóm tự đẳng cấu bắt đầu từ việc xác định các ánh xạ song chỉnh hình, tức là các ánh xạ bảo toàn cấu trúc hình học của miền. Các tính chất của nhóm tự đẳng cấu như tính đóng, tính giao hoán và tính khả nghịch cũng được nghiên cứu kỹ lưỡng. Đặc biệt, sự tồn tại của các nhóm tự đẳng cấu không compact đã mở ra nhiều hướng nghiên cứu mới trong giải tích phức. Việc phân loại các loại nhóm tự đẳng cấu theo các tính chất hình học của miền cũng là một trong những vấn đề quan trọng trong lĩnh vực này. Để làm rõ hơn, nhóm tự đẳng cấu có thể được phân loại thành các loại như nhóm giao hoán và nhóm phi giao hoán, tùy thuộc vào cách thức mà các ánh xạ trong nhóm tương tác với nhau.

II. Ứng dụng của nhóm tự đẳng cấu trong miền cn

Nhóm tự đẳng cấu không chỉ là một khái niệm lý thuyết mà còn có nhiều ứng dụng thực tiễn trong miền cn. Một trong những ứng dụng nổi bật là trong việc xác định các tính chất hình học của miền, từ đó giúp xây dựng các mô hình chính xác hơn trong khoa học. Việc mô tả nhóm tự đẳng cấu của các miền phức có thể dẫn đến những hiểu biết mới về các tính chất hình học như độ cong, tính đồng phôi và các đặc điểm khác. Hơn nữa, trong lĩnh vực vật lý lý thuyết, nhóm tự đẳng cấu đóng vai trò quan trọng trong việc mô tả các đối tượng vật lý phức tạp, từ đó giúp giải thích các hiện tượng tự nhiên. Các nghiên cứu gần đây đã chỉ ra rằng nhóm tự đẳng cấu có thể ảnh hưởng đến các đặc tính của các hệ thống vật lý, chẳng hạn như sự chuyển pha và động lực học của các chất.

2.1. Mô hình hóa trong khoa học

Nhóm tự đẳng cấu cung cấp một công cụ mạnh mẽ để mô hình hóa các hiện tượng trong khoa học. Việc áp dụng các nhóm này vào các mô hình toán học cho phép các nhà khoa học dự đoán hành vi của các hệ thống phức tạp. Ví dụ, trong lĩnh vực vật lý, nhóm tự đẳng cấu có thể được sử dụng để mô tả các trạng thái của vật chất trong các điều kiện khác nhau, từ đó giúp hiểu rõ hơn về các hiện tượng như siêu dẫn hay sự hình thành của các cấu trúc trong vũ trụ. Hơn nữa, các ứng dụng của nhóm tự đẳng cấu còn mở rộng sang các lĩnh vực như sinh học và hóa học, nơi mà các mô hình phức tạp cần được phân tích và hiểu rõ hơn.

III. Kết luận và kiến nghị

Nghiên cứu về nhóm tự đẳng cấu trong toán học và ứng dụng của nó trong miền cn đã mở ra nhiều hướng đi mới cho các nghiên cứu tiếp theo. Việc hiểu rõ hơn về nhóm tự đẳng cấu không chỉ giúp nâng cao kiến thức lý thuyết mà còn có thể dẫn đến những ứng dụng thực tiễn trong nhiều lĩnh vực khác nhau. Các nhà nghiên cứu nên tiếp tục khai thác các khía cạnh chưa được khám phá của nhóm tự đẳng cấu, đặc biệt là trong các miền phức tạp hơn và trong các ứng dụng thực tiễn. Đặc biệt, việc áp dụng các phương pháp mới từ giải tích phức và hình học phức có thể giúp phát hiện ra những kết quả mới và thú vị trong nghiên cứu nhóm tự đẳng cấu.

3.1. Hướng nghiên cứu tương lai

Để tiếp tục phát triển lĩnh vực này, các nghiên cứu trong tương lai nên tập trung vào việc phân loại và mô tả các nhóm tự đẳng cấu của các miền phức hơn nữa. Cụ thể, việc nghiên cứu các miền không compact và các miền giả lồi có thể mở ra nhiều cơ hội mới cho các ứng dụng trong khoa học. Ngoài ra, việc kết hợp giữa lý thuyết nhóm và các phương pháp số có thể mang lại những hiểu biết mới về các tính chất hình học của miền và nhóm tự đẳng cấu.

Nội dung chính

Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Thị Lan Hương tập trung vào việc nghiên cứu hình học của các miền trong không gian phức nhiều chiều $\mathbb{C}^n$ thông qua hai công cụ cơ bản: cấu trúc của nhóm tự đẳng cấu và dáng điệu tiệm cận biên của hàm squeezing.

Trong Giải tích phức nhiều biến, mối liên hệ giữa nhóm tự đẳng cấu $\text{Aut}(\Omega)$ (tập hợp tất cả các ánh xạ song chỉnh hình từ miền $\Omega$ vào chính nó) và hình học của miền $\Omega$ là một trong những chủ đề trọng tâm. Cấu trúc đại số và tôpô của nhóm $\text{Aut}(\Omega)$ phản ánh trực tiếp các tính chất giải tích và hình học của miền. Mặc dù cấu trúc nhóm tự đẳng cấu của các miền cơ bản như đĩa đơn vị trong $\mathbb{C}$, hình cầu đơn vị $\mathbb{B}^n$ hay đa đĩa $\Delta^n$ trong $\mathbb{C}^n$ ($n \ge 2$) đã được xác định rõ ràng, việc tính toán hoặc mô tả tường minh nhóm tự đẳng cấu cho các lớp miền tổng quát hơn vẫn là bài toán phức tạp và mới chỉ giải quyết được trên một số mô hình cụ thể. Bên cạnh đó, việc khảo sát các đại lượng bất biến song chỉnh hình như hàm squeezing $s_\Omega(z)$ gần biên của các miền giả lồi kiểu hữu hạn đóng vai trò quan trọng trong việc phân loại miền và kiểm tra tính giả lồi chặt tại các điểm biên.

Mục tiêu nghiên cứu của luận án được cụ thể hóa thành hai bài toán khoa học:

1. Bài toán 1: Mô tả tường minh cấu trúc nhóm tự đẳng cấu của các lớp miền mô hình đa kiểu hữu hạn (theo nghĩa D. Catlin) trong $\mathbb{C}^n$, cụ thể là các mô hình $M_P$, $D_P$ và $Q_P$.
2. Bài toán 2: Nghiên cứu dáng điệu biên của hàm squeezing trên các lớp miền giả lồi kiểu hữu hạn trong $\mathbb{C}^n$, đặc biệt là xác định mối liên hệ giữa giới hạn biên của hàm squeezing với tính giả lồi chặt của biên tại các điểm có đối hạng của dạng Levi bằng 1, các điểm biên lồi tuyến tính và ước lượng hàm squeezing trên miền ellipsoid tổng quát.

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

• Đối tượng nghiên cứu: Các miền trong không gian phức $\mathbb{C}^n$ ($n \ge 2$), bao gồm mô hình đa kiểu hữu hạn $M_P = {z \in \mathbb{C}^n : \text{Re}(z_n) + P(z') < 0}$, các miền liên đới $D_P = {(z', z_n) \in \mathbb{C}^n : |z_n|^2 + P(z') < 1}$, $Q_P = {(z', z_n) \in \mathbb{C}^n : \text{Re}(z_n) + P(z') < 0}$, cùng các miền bị chặn có biên trơn giả lồi kiểu D'Angelo hữu hạn, miền lồi tuyến tính và miền ellipsoid tổng quát.
• Phạm vi nghiên cứu: Đề tài được thực hiện trong khuôn khổ chuyên ngành Toán Giải tích (Mã số: 94 60 101.02) tại Trường Đại học Khoa học Tự nhiên - Đại học Quốc gia Hà Nội, hoàn thành và bảo vệ vào tháng 12 năm 2023.

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

Lịch sử nghiên cứu nhóm tự đẳng cấu bắt đầu từ định lý kinh điển của Poincaré chỉ ra rằng hình cầu đơn vị $\mathbb{B}^n$ và đa đĩa $\Delta^n$ trong $\mathbb{C}^n$ ($n \ge 2$) không song chỉnh hình với nhau dù chúng đồng phôi, xuất phát từ sự khác biệt về cấu trúc nhóm tự đẳng cấu. Tiếp đó, Thullen đã mô tả nhóm tự đẳng cấu của miền ellipsoid $D = {(u, z) \in \mathbb{C}^2 : |u|^2 + |z|^{2p} < 1}$ với $1 \le p \ne 2$. H. Cartan cùng các nhà toán học sau đó đã mở rộng kết quả sang các lớp miền Thullen tổng quát trong $\mathbb{C}^n$.

Đối với các mô hình đa thức thuần nhất, tác giả Ninh Văn Thu (2012) [40] đã mô tả nhóm tự đẳng cấu của mô hình $M_H = {(w, z) \in \mathbb{C}^2 : |w|^2 + H(z) < 1}$, trong đó $H(z)$ là đa thức thực thuần nhất theo trọng điều hòa dưới bậc $2m$ ($m > 1$) không chứa hạng tử điều hòa. Khi chuyển sang miền giả lồi kiểu hữu hạn với nhóm tự đẳng cấu không compact, E. Bedford, B.P. [50], và Wong-Rosay đã chứng minh định lý đặc trưng: mọi miền giả lồi chặt bị chặn trong $\mathbb{C}^n$ có nhóm tự đẳng cấu không compact đều song chỉnh hình với hình cầu đơn vị $\mathbb{B}^n$. Trường hợp miền lồi kiểu hữu hạn trong lân cận điểm tụ quỹ đạo cũng được Bedford chứng minh là song chỉnh hình với mô hình $M_P$.

Về lý thuyết các bất biến song chỉnh hình, các độ đo và metric bất biến như Carathéodory, Kobayashi, Bergman, metric Royden-Kobayashi $K_\Omega$, cùng với hàm Fridman và hàm squeezing $s_\Omega$ nhận được sự quan tâm rộng rãi (Deng et al. [11], [12], [13], [28], [36], [42], [46]). A. Zimmer [56, 57] đã thiết lập các kết quả quan trọng về dáng điệu biên của hàm squeezing trên miền lồi bị chặn với biên trơn lớp $C^\infty$. Bài toán đặt ra trong nghiên cứu của Fornaess et al. [17] là liệu điều kiện $\lim_{j \to \infty} s_\Omega(p_j) = 1$ khi $p_j \to p \in \partial\Omega$ có suy ra biên $\partial\Omega$ giả lồi chặt tại $p$ hay không.

Hướng nghiên cứu	Tác giả tiêu biểu được trích dẫn	Kết quả nền tảng ghi nhận trong luận án
Tự đẳng cấu miền phức cơ bản	Poincaré, Thullen, H. Cartan	Phân biệt cấu trúc song chỉnh hình của $\mathbb{B}^n$ và $\Delta^n$; mô tả $\text{Aut}$ của miền Thullen trong $\mathbb{C}^2$ và $\mathbb{C}^n$.
Đặc trưng miền với nhóm $\text{Aut}$ không compact	Wong, Rosay, Efimov, Bedford, Rong	Miền giả lồi chặt bị chặn có nhóm $\text{Aut}$ không compact song chỉnh hình với $\mathbb{B}^n$; miền lồi kiểu hữu hạn liên hệ với mô hình $M_P$.
Nhóm tự đẳng cấu mô hình trong $\mathbb{C}^2$	Ninh Văn Thu (2012) [40]	Mô tả đầy đủ $\text{Aut}(M_H)$ trong $\mathbb{C}^2$ với $H$ là đa thức thực thuần nhất theo trọng không chứa hạng tử điều hòa.
Hàm squeezing và tính giả lồi	Deng et al. [11, 12, 13, 28], Fornaess [17], Zimmer [56, 57]	Định nghĩa hàm squeezing; chứng minh $s_\Omega(p) \to 1$ khi $p$ tiến tới điểm biên giả lồi chặt; đặt bài toán đảo cho miền giả lồi tổng quát.
Kỹ thuật giải tích và giải tích hình học	Pinchuk, Sukhov [51], Herbort [23], D. Catlin [8], D'Angelo [27]	Kỹ thuật scaling Pinchuk; định lý thác triển trơn/chỉnh hình của ánh xạ CR; khái niệm kiểu D'Angelo và đa kiểu Catlin.

Khoảng trống học thuật mà luận án lựa chọn giải quyết gồm:

• Mở rộng bài toán xác định nhóm tự đẳng cấu từ mô hình thuần nhất trong $\mathbb{C}^2$ sang các mô hình đa kiểu hữu hạn $M_P$ trong không gian nhiều chiều $\mathbb{C}^n$ ($n \ge 2$) với đa thức trọng $P(z')$ tổng quát thỏa mãn $P(z') > 0$ với mọi $z' \ne 0$.
• Giải quyết bài toán đảo về dáng điệu biên của hàm squeezing cho các lớp miền giả lồi kiểu D'Angelo hữu hạn có đối hạng Levi bằng 1 và miền lồi tuyến tính, đồng thời đưa ra các đánh giá định lượng cho hàm squeezing trên miền ellipsoid tổng quát.

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

Luận án sử dụng các hệ thống lý thuyết, khái niệm và phương pháp chuyên biệt của Giải tích phức nhiều biến và Hình học vi phân phức.

Cơ sở lý thuyết và hệ thống khái niệm

• Hàm điều hòa dưới và đa điều hòa dưới: Tập hợp các hàm điều hòa dưới $\text{SH}(\Omega)$ trên miền $\Omega \subset \mathbb{C}$ và tập các hàm đa điều hòa dưới $\text{PSH}(\Omega)$ trên $\Omega \subset \mathbb{C}^n$. Một hàm $u \in C^2(\Omega)$ là đa điều hòa dưới khi và chỉ khi ma trận Hessian phức $[\frac{\partial^2 u}{\partial z_j \partial \bar{z}_k}]$ là nửa xác định dương trên $\Omega$.
• Miền giả lồi và dạng Levi: Miền $\Omega \subset \mathbb{C}^n$ có biên trơn lớp $C^2$ với hàm xác định biên $\rho$ thỏa mãn $\nabla\rho \ne 0$ trên $\partial\Omega \cap U$. Miền $\Omega$ là giả lồi (tương ứng giả lồi chặt) tại điểm biên $p$ nếu dạng Levi $\mathcal{L}\rho(p, w) = \sum{j,k=1}^n \frac{\partial^2 \rho}{\partial z_j \partial \bar{z}_k}(p) w_j \bar{w}_k \ge 0$ (tương ứng $> 0$) với mọi vector tiếp xúc phức khác không $w \in T_p^\mathbb{C}(\partial\Omega) \setminus {0}$.
• Kiểu D'Angelo và đa kiểu Catlin: Kiểu D'Angelo $\tau(\partial\Omega, p) = \sup_\gamma \frac{\nu(\rho \circ \gamma)}{\nu(\gamma)}$, lấy supremum trên tất cả các đường cong chỉnh hình khác hằng $\gamma: (\mathbb{C}, 0) \to (\mathbb{C}^n, p)$, trong đó $\nu(\cdot)$ là cấp triệt tiêu tại 0. Đa kiểu Catlin $\mathcal{M}(z)$ là trọng nhỏ nhất theo thứ tự từ điển trong tập hợp các $n$-chỉ số trọng phân biệt $\Lambda^n$.
• Miền WB (Weighted-Bumped): Mô hình $M_P = {z \in \mathbb{C}^n : \text{Re}(z_n) + P(z') < 0}$ được gọi là miền WB nếu $P$ là đa thức thực thuần nhất theo trọng và $M_P$ giả lồi chặt tại mọi điểm biên bên ngoài tập ${\partial M_P \cap ({0} \times i\mathbb{R})}$.
• Hàm Squeezing: Với miền $\Omega \subset \mathbb{C}^n$ và điểm $p \in \Omega$, đối với phép nhúng chỉnh hình $f: \Omega \to \mathbb{B}^n$ thỏa mãn $f(p) = 0$, bán kính squeezing được xác định bởi $s_{\Omega, f}(p) = \sup{r > 0 : B(0, r) \subset f(\Omega)}$. Hàm squeezing của $\Omega$ tại $p$ là $s_\Omega(p) = \sup_f {s_{\Omega, f}(p)}$.
• Miền lồi tuyến tính: Miền $\Omega \subset \mathbb{C}^n$ có biên $\partial\Omega$ là lồi tuyến tính tại điểm $\xi_0 \in \partial\Omega$ nếu tồn tại lân cận $U$ của $\xi_0$ sao cho với mọi $z \in \partial\Omega \cap U$, ta có $(z + T_z^\mathbb{C}(\partial\Omega)) \cap (\Omega \cap U) = \emptyset$.

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

• Phương pháp giải tích và đại số hình thức: Khai triển chuỗi Taylor của các ánh xạ chỉnh hình và hàm xác định biên; sử dụng đồng nhất thức kiểu Euler mở rộng cho đa thức thuần nhất theo trọng; phân tích hệ phương phân vi phân đạo hàm riêng để đồng nhất các hệ số giải tích.
• Phương pháp Scaling Pinchuk: Biến đổi tọa độ dãn tỉ lệ (scaling sequence) nhằm chuyển bài toán khảo sát dáng điệu biên phức tạp về việc nghiên cứu miền giới hạn trong không gian đa chiều, áp dụng đối với miền có đối hạng Levi bằng 1 và miền lồi tuyến tính.
• Kỹ thuật thác triển chỉnh hình ánh xạ CR: Áp dụng các định lý của Sukhov [51] và Herbort [23] để thác triển trơn và thác triển chỉnh hình các tự đẳng cấu qua biên giải tích thực của miền mô hình kiểu hữu hạn.
• Phương pháp hội tụ miền và nhân Carathéodory: Sử dụng tính chất của dãy hàm chuẩn tắc, tính chất miền taut và sự hội tụ của dãy tập mở tới nhân Carathéodory để kiểm soát giới hạn của hàm squeezing.

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

Chương 1. Kiến thức chuẩn bị

Chương 1 hệ thống hóa toàn bộ các công cụ nền tảng cho các chứng minh giải tích ở các chương sau:

• Hàm đa điều hòa dưới: Trình bày các định lý về phép hợp thành với hàm lồi tăng, giới hạn của dãy giảm, chuỗi hàm đa điều hòa dưới hội tụ, và mối liên hệ với toán tử Laplace trong phân bố. Khẳng định tính chất: nếu $u \in \text{PSH}(\Omega)$ và $f: \Omega' \to \Omega$ là ánh xạ chỉnh hình thì $u \circ f \in \text{PSH}(\Omega')$.
• Khái niệm miền giả lồi: Thiết lập công thức hàm xác định biên $\rho(z) = \text{Re}(w) - \varphi(z, \bar{z}, \text{Im}(w))$, ma trận Hessian phức, và định nghĩa dạng Levi. Minh họa tính giả lồi trên miền Thullen tổng quát và tính giả lồi chặt của hình cầu đơn vị $\mathbb{B}^n$. Phân tích cấu trúc ma trận Levi cỡ $(n-1) \times (n-1)$ và định nghĩa hạng, đối hạng của dạng Levi. Minh họa ví dụ miền $D = {(z_1, z_2, w) \in \mathbb{C}^3 : \text{Re}(w) + |z_1|^4 + |z_2|^2 < 0}$ có hạng Levi bằng 2 khi $z_1 \ne 0$ và bằng 1 tại gốc tọa độ $(0,0,0)$.
• Điểm tụ quỹ đạo và định lý Wong-Rosay: Khái niệm điểm tụ quỹ đạo $p \in \partial\Omega$ thông qua dãy ${f_j} \subset \text{Aut}(\Omega)$ sao cho $f_j(q) \to p$. Khảo sát miền Thullen $E_{1,2} = {(z_1, z_2) \in \mathbb{C}^2 : |z_1|^2 + |z_2|^4 < 1}$, chỉ ra điểm biên $(0, -1)$ là điểm tụ quỹ đạo và là điểm giả lồi yếu.
• Kiểu D'Angelo và đa kiểu Catlin: Định nghĩa cấp triệt tiêu $\nu(\rho \circ \gamma)$, cách tính kiểu D'Angelo $\tau(\partial\Omega, p)$. Minh họa siêu mặt $M = {z \in \mathbb{C}^2 : |z_1|^2 + |z_2|^{2m} - 1 = 0}$ có kiểu tại điểm $(e^{i\theta}, 0)$ bằng $2m$, trong khi các điểm biên khác đều có kiểu bằng 2 (giả lồi chặt). Ngược lại, xét siêu mặt $M_{1,\infty}$ với $P(z_2) = 2e^{-1/|z_2|}$ có kiểu D'Angelo bằng $+\infty$. Trình bày định nghĩa tập trọng phân biệt $\Lambda^n$ và đa kiểu Catlin $\mathcal{M}(z)$.
• Dãy hàm chuẩn tắc và giới hạn miền: Định nghĩa họ ánh xạ phân kỳ compact, tính chất miền taut, hàm peak đa điều hòa dưới địa phương, khái niệm hội tụ miền $\lim \Omega_j = \Omega_0$ và nhân Carathéodory.

Chương 2. Nhóm tự đẳng cấu của một số miền trong $\mathbb{C}^n$

Chương 2 giải quyết trọn vẹn Bài toán 1 về việc mô tả nhóm tự đẳng cấu của các mô hình đa kiểu hữu hạn trong $\mathbb{C}^n$.

Cho $z = (z_1, \dots, z_{n-1}, z_n) \in \mathbb{C}^n$, ký hiệu $z' = (z_1, \dots, z_{n-1})$. Gán trọng số $\frac{1}{2m_1}, \dots, \frac{1}{2m_{n-1}}$ cho các biến $z_1, \dots, z_{n-1}$. Với đa chỉ số $K = (k_1, \dots, k_{n-1})$, trọng của $K$ là $\text{wt}(K) = \sum_{j=1}^{n-1} \frac{k_j}{2m_j}$. Xét đa thức $P(z')$ thuần nhất theo trọng, giá trị thực, đa điều hòa dưới và không chứa hạng tử đa điều hòa: $$P(z') = \sum_{\text{wt}(K)=\text{wt}(L)=1/2} a_{KL} z'^K \bar{z}'^L, \quad a_{KL} = \bar{a}_{LK}$$

Nội dung chương triển khai qua các bước:

• Các bổ đề cơ sở:
  • Chứng minh Đồng nhất thức Euler dạng trọng: $2\text{Re}\sum_{j=1}^{n-1} \frac{z_j}{2m_j}\frac{\partial P}{\partial z_j}(z') = P(z')$.
  • Chứng minh tính duy nhất: nếu ${P=0}$ không chứa tập giải tích không tầm thường qua gốc tọa độ và $\sum_{j=1}^{n-1} \alpha_j \frac{z_j}{2m_j}\frac{\partial P}{\partial z_j}(z') = P(z')$ thì $\alpha_1 = \dots = \alpha_{n-1} = 1$.
  • Khẳng định điều kiện $2\text{Re}\sum_{k=1}^{n-1} \frac{i z_k}{2m_k}\frac{\partial P}{\partial z_k}(z') = 0$ khi và chỉ khi $P$ có dạng thuần nhất chéo.
  • Thiết lập tính chất thác triển chỉnh hình của các tự đẳng cấu giữa các miền WB thông qua hàm peak tại vô cùng của Herbort [23] và kết quả của Sukhov [51].
• Cấu trúc nhóm tự đẳng cấu của miền $D_P$ và $Q_P$:
  • Xét $D_P = {(z', z_n) \in \mathbb{C}^n : |z_n|^2 + P(z') < 1}$. Miền $D_P$ bị chặn khi và chỉ khi $P(z') > 0$ với mọi $z' \in \mathbb{C}^{n-1} \setminus {0}$. Khi đó $\text{Aut}(D_P)$ không compact và chứa nhóm con ${\phi_{a,\theta} : a \in \Delta, \theta \in \mathbb{R}}$ với: $$\phi_{a,\theta}(z', z_n) = \left(\frac{(1-|a|^2)^{1/2m_1} e^{i\theta_1} z_1}{(1-\bar{a}z_n)^{1/m_1}}, \dots, \frac{(1-|a|^2)^{1/2m_{n-1}} e^{i\theta_{n-1}} z_{n-1}}{(1-\bar{a}z_n)^{1/m_{n-1}}}, e^{i\theta}\frac{z_n - a}{1-\bar{a}z_n}\right)$$
  • Ký hiệu $G_P$ là tập các biến đổi dạng $(z', z_n) \mapsto (Az', z_n)$ với ma trận khối đường chéo $A$ thỏa mãn $P(Az') = P(z')$.
  • Định lý 2.1 (Kết quả chính 1): Nếu $P$ là đa thức thực đa điều hòa dưới thuần nhất theo trọng trên $\mathbb{C}^{n-1}$ thỏa mãn $P(z') > 0$ với mọi $z' \ne 0$, thì $\text{Aut}(D_P)$ được sinh bởi $G_P$ và ${\phi_{a,\theta} : a \in \Delta, \theta \in \mathbb{R}}$.
  • Thông qua phép song chỉnh hình giữa $D_P$ và $Q_P$: $(z', z_n) \mapsto \left(\frac{2^{1/2m_1} z_1}{(z_n+1)^{1/m_1}}, \dots, \frac{z_n-1}{z_n+1}\right)$, chứng minh $\text{Aut}(Q_P)$ được sinh bởi các phép tịnh tiến $T_t(z) = (z', z_n + it)$, nhóm $G_P$ và họ phép biến đổi $f_{a,\beta}$: $$f_{a,\beta}(z', z_n) = \left(\frac{a^{1/2m_1} z_1}{(1+i\beta z_n)^{1/m_1}}, \dots, \frac{a^{1/2m_{n-1}} z_{n-1}}{(1+i\beta z_n)^{1/m_{n-1}}}, \frac{a z_n}{1+i\beta z_n}\right), \quad a > 0, \beta \in \mathbb{R}$$
• Tự đẳng cấu của mô hình tổng quát $M_P$:
  • Mô hình $M_P$ được gọi là tổng quát nếu không song chỉnh hình với mô hình tròn xoay hay mô hình ống nào.
  • Định lý 2.2 (Kết quả chính 2): Cho $M_P$ là mô hình tổng quát, không song chỉnh hình với $Q_P$, thỏa mãn $P(z') > 0$ với mọi $z' \ne 0$. Nếu $M_P$ là miền WB thì $\text{Aut}(M_P)$ được sinh bởi ${T_t, S_\lambda : t \in \mathbb{R}, \lambda > 0} \cup G_P$, trong đó $S_\lambda(z', z_n) = (\lambda^{1/2m_1} z_1, \dots, \lambda^{1/2m_{n-1}} z_{n-1}, \lambda z_n)$.
• Các ví dụ minh họa:
  • Ellipsoid $E_m \subset \mathbb{C}^2$ ($m \ge 2$): tính toán tường minh nhóm $\text{Aut}(E_m)$.
  • Miền $\Omega \subset \mathbb{C}^3$ với $P(z_1, z_2) = |z_1|^4 + |z_2|^4 + |z_1|^2 |z_2|^2$: xác định ma trận nhóm $G_P$ gắn với các phép quay pha và hoán vị biến.
  • Miền Kohn-Nirenberg $\Omega_{KN} = {(z, w) \in \mathbb{C}^2 : \text{Re}(w) + |z|^8 + \frac{15}{7}|z|^2 \text{Re}(z^6) < 0}$: chứng minh $\text{Aut}(\Omega_{KN}) = {(z, w) \mapsto (\lambda^{1/8} e^{ik\pi/3} z, \lambda w + it) : k \in {0,\dots,5}, \lambda > 0, t \in \mathbb{R}}$.
  • Ellipsoid $E \subset \mathbb{C}^3$: $E = {(z_1, z_2, z_3) \in \mathbb{C}^3 : |z_1|^2 + |z_2|^4 + |z_3|^6 < 1}$.

Chương 3. Dáng điệu biên của hàm squeezing

Chương 3 trình bày các đóng góp đối với Bài toán 2 liên quan đến tiệm cận biên của hàm squeezing $s_\Omega(z)$.

Các nội dung và định lý chính bao gồm:

• Định lý 3.1 (Điểm biên có đối hạng Levi $\le 1$): Cho $\Omega$ là miền bị chặn trong $\mathbb{C}^n$ với biên trơn, giả lồi. Giả sử $\xi_0 \in \partial\Omega$ là điểm biên có kiểu D'Angelo hữu hạn sao cho dạng Levi có đối hạng nhiều nhất là 1 tại $\xi_0$, và tồn tại dãy ${\varphi_j} \subset \text{Aut}(\Omega)$ sao cho $p_j = \varphi_j(a) \to \xi_0$ khi $j \to \infty$ với một điểm $a \in \Omega$ cố định. Khi đó, nếu $\lim_{j \to \infty} s_\Omega(p_j) = 1$ thì biên $\partial\Omega$ là giả lồi chặt tại $\xi_0$.
• Định lý 3.11 (Miền lồi tuyến tính): Cho $\Omega$ là miền bị chặn trong $\mathbb{C}^n$ với biên trơn, giả lồi. Giả sử $\xi_0 \in \partial\Omega$ là điểm biên có kiểu D'Angelo hữu hạn sao cho $\partial\Omega$ là lồi tuyến tính tại $\xi_0$, và tồn tại dãy ${\varphi_j} \subset \text{Aut}(\Omega)$ sao cho $p_j = \varphi_j(a) \to \xi_0$ khi $j \to \infty$ ($a \in \Omega$). Khi đó, nếu $\lim_{j \to \infty} s_\Omega(p_j) = 1$ thì biên $\partial\Omega$ bắt buộc phải giả lồi chặt tại $\xi_0$.
• Ước lượng hàm squeezing trên Ellipsoid tổng quát:
  • Xét các miền con $D_s^r$ và $D_P^r$ định nghĩa bởi $D_s^r := {z \in \mathbb{C}^n : |z_n - b| + s P(z') < s^r}$ và $D_P^r := {z \in \mathbb{C}^n : |z_n - 0| + P(z') < r}$.
  • Định lý ước lượng dưới: Cho $\Omega$ là miền con của $D_P$ sao cho $D_P^s \subset \Omega \subset D_P$ với $s \in (0, 1)$. Khi đó với mọi $r \in (0, 1)$, tồn tại hằng số $\gamma_0 > 0$ phụ thuộc vào $r$ sao cho $s_\Omega(z) \ge \gamma_0$ với mọi $z \in D_P^r \cap \Delta$.
  • Định lý hội tụ $\Lambda$-tiếp xúc: Cho ${\Omega_j}$ là dãy miền con của $D_P$ sao cho $\Omega_j \cap U = D_P \cap U$ với lân cận cố định $U$ của điểm $(0', 1) \in \mathbb{C}^n$. Nếu ${p_j} \subset D_P \cap U$ là dãy điểm hội tụ $\Lambda$-tiếp xúc tới $(0', 1)$ thì $\lim_{j \to \infty} s_{\Omega_j}(p_j) = 1$.

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

Luận án đã đạt được các kết quả khoa học mới trong lĩnh vực Giải tích phức nhiều biến:

1. Mô tả tường minh nhóm tự đẳng cấu của các lớp miền mô hình trong $\mathbb{C}^n$:
   • Xác định cấu trúc nhóm tự đẳng cấu $\text{Aut}(D_P)$ và $\text{Aut}(Q_P)$ thông qua nhóm con $G_P$ và các phép biến đổi hữu tỉ dạng hyperbolic/tịnh tiến.
   • Thiết lập định lý phân loại khẳng định rằng đối với mô hình tổng quát kiểu hữu hạn $M_P$ (miền WB) không song chỉnh hình với $Q_P$ và có đa thức $P$ dương ngoài gốc tọa độ, nhóm $\text{Aut}(M_P)$ chỉ bao gồm các phép tịnh tiến dọc trục ảo, phép dãn tỉ lệ và các phép biến đổi đại số thuộc $G_P$.
2. Khẳng định tính giả lồi chặt của biên qua giới hạn hàm squeezing:
   • Chứng minh trọn vẹn khẳng định: nếu một miền giả lồi bị chặn có điểm biên tích lũy quỹ đạo kiểu D'Angelo hữu hạn với đối hạng Levi không quá 1 hoặc là điểm lồi tuyến tính, và nếu hàm squeezing tiến tới 1 dọc theo quỹ đạo đó, thì điểm biên đó nhất thiết phải là điểm giả lồi chặt.
3. Thiết lập đánh giá định lượng cho hàm squeezing:
   • Đưa ra chặn dưới dương đồng đều cho hàm squeezing trên các lớp miền con của ellipsoid tổng quát $D_P$.
   • Chứng minh sự hội tụ tiến tới 1 của hàm squeezing đối với các dãy điểm hội tụ $\Lambda$-tiếp xúc tới biên.

STT	Kết quả / Định lý chính	Nội dung cốt lõi	Ý nghĩa khoa học
1	Định lý 2.1	$\text{Aut}(D_P) = \langle G_P, {\phi_{a,\theta} : a \in \Delta, \theta \in \mathbb{R}} \rangle$	Mô tả tường minh nhóm tự đẳng cấu của mô hình bị chặn $D_P \subset \mathbb{C}^n$.
2	Định lý 2.2	$\text{Aut}(M_P) = \langle {T_t, S_\lambda : t \in \mathbb{R}, \lambda > 0} \cup G_P \rangle$	Xác định nhóm tự đẳng cấu của mô hình kiểu hữu hạn tổng quát $M_P$ (miền WB).
3	Định lý 3.1	$\lim s_\Omega(p_j) = 1 \implies \partial\Omega$ giả lồi chặt tại $\xi_0$ (đối hạng Levi $\le 1$)	Trả lời bài toán Fornaess-Zimmer cho lớp điểm biên có đối hạng Levi bằng 1.
4	Định lý 3.11	$\lim s_\Omega(p_j) = 1 \implies \partial\Omega$ giả lồi chặt tại $\xi_0$ (biên lồi tuyến tính)	Mở rộng định lý đặc trưng giả lồi chặt từ miền lồi sang miền lồi tuyến tính.
5	Ước lượng Ellipsoid	$s_\Omega(z) \ge \gamma_0 > 0$ và $\lim s_{\Omega_j}(p_j) = 1$ ($\Lambda$-tiếp xúc)	Đánh giá định lượng tính squeezing đều và tiệm cận biên trên miền tựa ellipsoid.

Các kết quả của luận án đã được công bố trong 02 bài báo khoa học trên các tạp chí quốc tế thuộc danh mục ISI/Scopus:

• Journal of Geometric Analysis (nhóm ISI-Q1).
• Bulletin of the Korean Mathematical Society (nhóm ISI-Q3).
• 01 bản thảo công bố trước trên hệ thống lưu trữ khoa học arXiv.

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

Căn cứ theo nội dung được tác giả trình bày tại Chương 2 và phần kết luận của luận án:

• Hạn chế kỹ thuật: Việc mô tả nhóm tự đẳng cấu của mô hình $M_P$ trong luận án đòi hỏi giả thiết hàm đa thức thuần nhất theo trọng $P(z')$ phải thỏa mãn điều kiện dương hoàn toàn bên ngoài gốc tọa độ, tức $P(z') > 0$ với mọi $z' \in \mathbb{C}^{n-1} \setminus {0}$. Trong các trường hợp tổng quát hơn khi tập ${P = 0}$ chứa các điểm khác không hoặc khi $P$ đổi dấu, việc xác định nhóm $\text{Aut}(M_P)$ gặp phải các rào cản kỹ thuật phức tạp và hiện vẫn là bài toán mở.
• Hướng nghiên cứu tiếp:
  1. Tiếp tục nghiên cứu kỹ thuật xử lý để mô tả nhóm tự đẳng cấu của mô hình $M_P$ khi bỏ qua giả thiết $P(z') > 0$ trên $\mathbb{C}^{n-1} \setminus {0}$.
  2. Mở rộng bài toán xác định dáng điệu biên của hàm squeezing trên các lớp miền giả lồi có đối hạng Levi lớn hơn hoặc bằng 2 mà không cần điều kiện lồi tuyến tính.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị nghiên cứu và đào tạo:

• Đối tượng thụ hưởng: Nghiên cứu sinh, học viên cao học và các giảng viên, nhà nghiên cứu thuộc chuyên ngành Toán Giải tích, Giải tích phức nhiều biến và Hình học vi phân phức.
• Giá trị nội dung:
  • Cung cấp phương pháp hoàn chỉnh trong việc kết hợp giữa khai triển giải tích chuỗi Taylor, đồng nhất thức trọng Euler và lý thuyết CR để tính nhóm tự đẳng cấu của các miền phức nhiều chiều.
  • Cung cấp quy trình áp dụng kỹ thuật scaling Pinchuk kết hợp với ước lượng hàm squeezing để nghiên cứu hình học tiệm cận biên của miền phức.

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

1. Mô hình $M_P$ trong luận án được định nghĩa như thế nào và có vai trò gì trong Hình học phức? Mô hình $M_P$ được xác định bởi tập hợp $M_P = {z = (z', z_n) \in \mathbb{C}^n : \text{Re}(z_n) + P(z') < 0}$, trong đó $P(z')$ là đa thức giá trị thực, đa điều hòa dưới, thuần nhất theo hệ trọng số $\text{wt}(z_j) = \frac{1}{2m_j}$ ($j=1, \dots, n-1$) và không chứa hạng tử đa điều hòa. Mô hình này đóng vai trò mẫu chuẩn (canonical model) xuất hiện trong các bài toán đặc trưng hình học cho các miền lồi hoặc giả lồi kiểu hữu hạn có nhóm tự đẳng cấu không compact theo các công trình của Bedford, Catlin và Pinchuk.

2. Điều kiện để miền $D_P = {(z', z_n) \in \mathbb{C}^n : |z_n|^2 + P(z') < 1}$ bị chặn trong $\mathbb{C}^n$ là gì? Theo Bổ đề 2.1 của luận án, miền $D_P$ bị chặn trong $\mathbb{C}^n$ khi và chỉ khi đa thức thuần nhất theo trọng $P(z')$ nhận giá trị dương thực sự với mọi điểm khác không, tức là $P(z') > 0$ với mọi $z' \in \mathbb{C}^{n-1} \setminus {0}$.

3. Khái niệm miền WB (Weighted-Bumped) được định nghĩa như thế nào? Một mô hình $M_P \subset \mathbb{C}^n$ được gọi là miền WB nếu $P$ là đa thức thực thuần nhất theo trọng trên $\mathbb{C}^{n-1}$ và siêu mặt biên $\partial M_P$ là giả lồi chặt tại mọi điểm biên nằm ngoài tập $\partial M_P \cap ({0} \times i\mathbb{R})$. Miền WB luôn có kiểu hữu hạn theo nghĩa D'Angelo và tồn tại hàm peak chỉnh hình tại vô cùng.

4. Dáng điệu biên của hàm squeezing liên hệ như thế nào với tính giả lồi chặt của biên theo kết quả của luận án? Theo Định lý 3.1 và Định lý 3.11, nếu $\Omega \subset \mathbb{C}^n$ là miền giả lồi bị chặn có biên trơn lớp $C^2$ và $\xi_0 \in \partial\Omega$ là điểm biên có kiểu D'Angelo hữu hạn thỏa mãn một trong hai điều kiện: (i) dạng Levi tại $\xi_0$ có đối hạng không quá 1, hoặc (ii) biên $\partial\Omega$ là lồi tuyến tính tại $\xi_0$; đồng thời tồn tại dãy tự đẳng cấu ${\varphi_j} \subset \text{Aut}(\Omega)$ đẩy một điểm trong miền về $\xi_0$ sao cho $\lim_{j \to \infty} s_\Omega(\varphi_j(a)) = 1$, thì biên $\partial\Omega$ bắt buộc phải là giả lồi chặt tại $\xi_0$.

5. Luận án đã công bố kết quả trên những tạp chí nào? Các kết quả chính của luận án đã được xuất bản trên 02 tạp chí toán học quốc tế: Journal of Geometric Analysis (thuộc nhóm ISI-Q1) và Bulletin of the Korean Mathematical Society (thuộc nhóm ISI-Q3), cùng một bản thảo được lưu trữ công khai trên hệ thống arXiv.

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Thị Lan Hương đã giải quyết thành công hai bài toán quan trọng trong Giải tích phức nhiều biến: mô tả tường minh cấu trúc nhóm tự đẳng cấu của các lớp miền mô hình đa kiểu hữu hạn tổng quát trong $\mathbb{C}^n$ và xác lập mối liên hệ định lý giữa dáng điệu tiệm cận biên của hàm squeezing với tính giả lồi chặt tại các điểm biên có đối hạng Levi không quá 1 hoặc lồi tuyến tính. Bằng việc kết hợp chặt chẽ các kỹ thuật giải tích điều hòa, phương pháp scaling Pinchuk và giải tích hình học phức, công trình đã hoàn thiện bức tranh phân loại giải tích cho các miền mô hình $D_P$, $Q_P$, $M_P$ và đóng góp các đánh giá định lượng quan trọng cho lý thuyết hàm squeezing trên miền ellipsoid tổng quát. Toàn bộ các kết quả cốt lõi của luận án đều có tính mới và đã được thẩm định thông qua các công bố trên các tạp chí quốc tế uy tín chuyên ngành Toán học.

Trích đoạn nội dung tài liệu

CHƯƠNG 1 KIÊN THỨC CHUẨN BỊ Trong chương này, chúng tôi trình bày về một số kiến thức cốt lõi liên quan đến các vấn đề nghiên cứu như: hàm điều hòa dưới, đa điều hòa dưới, miền giả lồi, kiểu theo nghĩa D'Angelo, đa kiểu Catlin, hàm peak đa điều hòa dưới và sự hội tụ của dãy miền.1 Ham đa điều hòa dưới Định nghĩa 1. Cho Q CC là một miền. 1 Tap hợp các ham điều hòa dưới không đồng nhất bằng —oo được ky hiệu la SH(Q). Cho Q CC là một miền.

Khi đó, ta có i) Nếu u : Q + [—oo,+o©) là điều hòa dudi trên QD va x : I > R là ham lôi, tăng trên khoảng I chứa u(Q) thi x ou là hàm điều hòa dưới trên Q. ii) Cho (Uj) sen là một day giảm của các ham điều hòa dưới trong Q. Khi đó, ham u := lim \, u; là điều hòa dưới trên Q. tii) Cho (Uj) sen là một day các ham điều hòa dưới trên Q va bị chặn trên địa phương trong ©, (€j) jen là một day số thực đương sao cho È) ej < co.

Khi jen đó, ham u := S2 cu; là điều hòa dưới trong Q. i) Cố dinha € C và c> 0. Khi đó, ham z 4 clog |z — a| là điều hòa dưới trên C và điều hòa trên C\{ø}. Tổng quát hon, giả sử © là một miền trong C và f : O > C là hàm chỉnh hình với ƒ # 0 trên Q.

Khi đó, log|f| là hàm điều hòa dưới trên ©. Hơn nữa, với a > 0, hàm |f|* là điều hòa dưới trên ©. ii) Cho (4;),- là một day số phức bị chặn và (c;),„p là một day số thực dương sao cho 3) e; < oo. Khi đó, ham jen zh u(z) := » log |z — a,| jen là điều hòa dưới trên C.

Cho Q là một miền trong C. Khi đó, ta có i) Một ham u : Q —> C trơn lớp C? là hàm điều hòa dưới nếu va chỉ nếu Au > 0 trên, Q. it) Mot ham u : Q + C thuộc USC(Q) AN LH}loc (Q) la điều hòa dudi nếu va chỉ nếu Au > 0 theo nghĩa phân bố. Tiếp theo, ta đưa ra định nghĩa và một số tính chất của ham da điều hòa dưới.

Cho 2 là miễn trong C". Một ham u:Q — [-00,+00) là đa điều hòa dưới nếu nó là ham nửa liên tục trên va uới mọi đường thang phúc A C C", ta có Ul,qg là ham điều hòa dưới trên An 9. Tập hợp những ham da điều hòa dưới không đồng nhất bằng —oo trên Q được ký hiệu là PSH(Q). Tính chất cuối cùng trong định nghĩa trên có thể viết lại thành công thức như sau: với mọi a € ©,£ € C” với |£| = 1 và r < 0 sao cho B(a,r) C ©, ta có 27 u(a) —< „Í 27 u(atre’€) dO.

0 16 Mệnh đề dưới đây được suy ra trực tiếp từ các tính chất của hàm điều hòa dưới. Cho Q là một miền trong C”. Khi đó, i) Nếu u: 9 — [-00, +00) là ham đa điều hòa dưới trong Q va x là một ham giá trị thực, loi, tăng trên một khoảng chúa ảnh u(Q) của u thà xou là đa điều hòa dưới trên ©. tt) Cho (w;),-w là mot dãy giảm của các hàm da điều hòa dưới trên Q.

Khi đó, u := lim u; là hàm đa điều hòa dưới trên Q. jroo Tương tự như đối với hàm điều hòa dưới, một ham œ trơn lớp C?