✨Hình học phức

Trong toán học, hình học phức là ngành nghiên cứu về các đa tạp phức, các đa tạp đại số phức và các hàm biến phức. Các phương pháp chủ đạo bao gồm hình học đại số cùng với các khía cạnh hình học của giải tích phức.

Định nghĩa

Một đa tạp phức là một không gian tô pô $M$ thỏa mãn:

• $M$ là Hausdorff và có một cơ sở đếm được.
• $M$ đồng phôi địa phương với các tập mở của $\backslash mathbb\{C\}^n$với $n$ cố định, tức là với mọi $p\backslash in\; M$, tồn tại một lân cận mở $U$ chứa $p$ và một đồng phôi $\backslash varphi:\; U\; \backslash to\; V$ với $V\backslash subseteq\; \backslash mathbb\{C\}^n$. Một cặp $(U,\backslash phi)$ như vậy được gọi là một **bản đồ**. Một tập hợp các bản đồ phủ $M$ được gọi là một **át-lát** của $M$.
• Các ánh xạ chuyển bản đồ $\backslash psi\; \backslash circ\; \backslash varphi^\{-1\}:\backslash varphi(U\_1\backslash cap\; U\_2)\; \backslash to\; \backslash psi(U\_1\backslash cap\; U\_2)$ là các hàm song chỉnh hình.
• (Tập hợp tất cả các bản đồ tương thích với cấu trúc phức của $M$ được gọi là át-lát tối đại của $M$).

Một hàm số $f:M\backslash to\backslash mathbb\{C\}$ được gọi là một hàm chỉnh hình (hay giải tích) nếu $f\backslash circ\backslash phi^\{-1\}$ là một hàm chỉnh hình với mọi bản đồ $\backslash phi$.

Ngoài các cấu trúc trơn như các đa tạp phức, hình học phức cũng xét các cấu trúc kì dị (suy biến) hơn.

Một tập hợp con giải tích của một đa tạp phức M là các không điểm cục bố của một họ các hàm giải tích trên M. Tức là, $X\backslash subset\; M$ là một tập hợp con giải tích nếu:

• Với mọi $p\backslash in\; X$, tồn tại một tập mở $U$ chứa $p$ các hàm chỉnh hình $f\_1,\; \backslash dots,\; f\_k:\; U\; \backslash to\; \backslash mathbb\{C\}$ sao cho $X\backslash cap\; U\; =\; \{z\backslash in\; U\; \backslash mid\; f\_1(z)\; =\; \backslash cdots\; =\; f\_k(z)\; =\; 0\}\; =\; Z(f\_1,\backslash dots,f\_k)$

Ví dụ

Một đa tạp phức một chiều là một mặt Riemann.

Phương pháp giải tích điều hòa

Một số kết quả sâu sắc trong hình học phức thu được với sự trợ giúp của giải tích điều hòa.

Định lý triệt tiêu

Các định lý triệt tiêu thể hiện sự triệt tiêu của một số nhóm đồng điều/đối đồng điều.

Nhiều định lý triệt tiêu trong hình học phức, với cả hai trường hợp đa tạp compact và không compact, được chứng minh bằng phương pháp Bochner.