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 $\mathbb {C} ^{n}$với $n$ cố định, tức là với mọi $p\in M$, tồn tại một lân cận mở $U$ chứa $p$ và một đồng phôi $\varphi :U\to V$ với $V\subseteq \mathbb {C} ^{n}$. Một cặp $(U,\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 đồ $\psi \circ \varphi ^{-1}:\varphi (U_{1}\cap U_{2})\to \psi (U_{1}\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\to \mathbb {C}$ được gọi là một hàm chỉnh hình (hay giải tích) nếu $f\circ \phi ^{-1}$ là một hàm chỉnh hình với mọi bản đồ $\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\subset M$ là một tập hợp con giải tích nếu:

• Với mọi $p\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},\dots ,f_{k}:U\to \mathbb {C}$ sao cho $X\cap U=\{z\in U\mid f_{1}(z)=\cdots =f_{k}(z)=0\}=Z(f_{1},\dots ,f_{k})$

$X$ được gọi là không gian giải tích nếu nó là một không gian tô pô bất khả quy (với tô pô Zariski).

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.