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ô  thỏa mãn:

  là Hausdorff và có một cơ sở đếm được.
  đồng phôi địa phương với các tập mở của với  cố định, tức là với mọi , tồn tại một lân cận mở  chứa  và một đồng phôi  với . Một cặp  như vậy được gọi là một bản đồ. Một tập hợp các bản đồ phủ  được gọi là một át-lát của .
 Các ánh xạ chuyển bản đồ  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  được gọi là át-lát tối đại của ).

Một hàm số  được gọi là một hàm chỉnh hình (hay giải tích) nếu  là một hàm chỉnh hình với mọi bản đồ .

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à,  là một tập hợp con giải tích nếu:

 Với mọi , tồn tại một tập mở  chứa  các hàm chỉnh hình  sao cho 

 đượ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.

Tham khảo

Hình học phức