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.

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

• M {displaystyle M} là Hausdorff và có một cơ sở đếm được.
• M {displaystyle M} đồng phôi địa phương với các tập mở của C n {displaystyle mathbb {C} ^{n}} với n {displaystyle n} cố định, tức là với mọi p ∈ M {displaystyle pin M} , tồn tại một lân cận mở U {displaystyle U} chứa p {displaystyle p} và một đồng phôi φ : U → V {displaystyle varphi :Uto V} với V ⊆ C n {displaystyle Vsubseteq mathbb {C} ^{n}} . Một cặp ( U , ϕ ) {displaystyle (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 {displaystyle M} được gọi là một át-lát của M {displaystyle M} .
• Các ánh xạ chuyển bản đồ ψ ∘ φ − 1 : φ ( U 1 ∩ U 2 ) → ψ ( U 1 ∩ U 2 ) {displaystyle 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 {displaystyle M} được gọi là át-lát tối đại của M {displaystyle M} ).

Một hàm số f : M → C {displaystyle f:Mto mathbb {C} } được gọi là một hàm chỉnh hình (hay giải tích) nếu f ∘ ϕ − 1 {displaystyle fcirc phi ^{-1}} là một hàm chỉnh hình với mọi bản đồ ϕ {displaystyle 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 ⊂ M {displaystyle Xsubset M} là một tập hợp con giải tích nếu:

• Với mọi p ∈ X {displaystyle pin X} , tồn tại một tập mở U {displaystyle U} chứa p {displaystyle p} các hàm chỉnh hình f 1 , … , f k : U → C {displaystyle f_{1},dots ,f_{k}:Uto mathbb {C} } sao cho X ∩ U = { z ∈ U ∣ f 1 ( z ) = ⋯ = f k ( z ) = 0 } = Z ( f 1 , … , f k ) {displaystyle Xcap U={zin Umid f_{1}(z)=cdots =f_{k}(z)=0}=Z(f_{1},dots ,f_{k})}

X {displaystyle 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).

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

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.

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.