A Differential Form Approach to the Genus of Open Riemann Surfaces 3
Total Page:16
File Type:pdf, Size:1020Kb
A DIFFERENTIAL FORM APPROACH TO THE GENUS OF OPEN RIEMANN SURFACES FRANCO VARGAS PALLETE, JESUS´ ZAPATA SAMANEZ Abstract. We will show that any open Riemann surface M of finite genus is biholomorphic to an open set of a compact Riemann surface. Moreover, we will introduce a quotient space of forms in M that determines if M has finite genus and also the minimal genus where M can be holomorphically embedded. 1. Introduction Even when de Rham cohomology of an open surface is infinite in dimension 1 (and hence a bit complicated), there is a sufficient and necessary condition in the language of differential 1-forms for the problem of embedding the surface into the Riemann sphere (Koebe’s Gen- eralized Uniformization Theorem). In this article we generalize this sufficient and necessary condition for surfaces with non-zero genus in terms of the dimension of certain quotient space of 1-forms. This is also in general a necessary condition for the problem of embedding a open n-manifold into a compact n-manifold. The article is organized as follows. In Section 2 we set some classical notation and facts about differential forms, and we also define a quotient space using either closed differential forms that are either exact outside a compact set or with compact support. We observe that these spaces are canonically isomorphic. In Section 3 we study ck, the dimension of our quotient space of k-forms. We show that ck is a topological invariant, is non-decreasing under inclusion and additive under connected sum (except for k = 0, n where n is the dimension of the total space). In Section 4 we study the relationship between c1(X) and the genus of a surface X, namely that c1(X) is twice the genus. We also prove that for any given Riemann surface structure on X there is a holomorphic embedding into some compact Riemann surface of the same genus. We finalize with some comments and applications. arXiv:1903.06131v1 [math.CV] 14 Mar 2019 Acknowledgements The authors would like to thank the Institute for Advanced Study for hosting them while completing this article. 2. Background Given a differentiable manifold M let us define the many space of k-forms that will appear through the article. Denote by Ωk(M) the space of real-valued skew-symmetric differential k-forms of M, where we define the exterior derivative operator d : Ωk(M) → Ωk+1(M) that Vargas Pallete was partially funded by the Proyecto de Apoyo a la Iniciaci´on Cient´ıfica (PAIN) from the Pontificia Universidad Cat´olica del Per´u(PUCP) and by the Scholarship for the IMCA Project of the Brazil- Per´uCovenant, and is also supported by the Minerva Research Foundation. Zapata Samanez is supported by the Departamento Acad´emico de Ciencias of the Pontificia Universidad Cat´olica del Per´u(PUCP). 1 2 FRANCO VARGAS PALLETE, JESUS´ ZAPATA SAMANEZ satisfies d ◦ d = 0. Hence we can define the spaces of closed and exact k-forms Zk(M) = d d Ker(Ωk(M) → Ωk+1(M)), Bk(M) = Im(Ωk−1(M) → Ωk(M)) where Bk(M) ⊆ Zk(M). k Definition 2.1. Denote by Z (M) the space of k-closed form of M such that are exact outside a compact set. That is k k k−1 Z (M)= {λ ∈ Z (M) | ∃K ⊆ M compact, ν ∈ Ω (M \ K), dν = λ|M\K} k Note that we have the inclusion Bk(M) ⊆Z (M), so we can define as well k k k k Definition 2.2. H (M)=Z (M)/B (M), ck(M) = dimRH (M) k We can obtain a quotient real vector space canonically isomorphic to H (M) by taking k k differentials with compact support. Let us denote then by Ωc (M) ⊂ Ω (M) the space of differential k-forms of M with compact support. We have the following commutative diagram k i k Ωc (M) Ω (M) (1) d d k+1 i k+1 Ωc (M) Ω (M) k where d is again the exterior derivative and the horizontal maps are the inclusions Ωc (M) ⊂ Ωk(M). In case that M is compact these inclusions are identities. We can then define the k k d k+1 closed forms with compact support Zc (M) = Ker(Ωc (M) → Ωc (M)) and the exact forms k k−1 d k with compact support Bc (M) = Im(Ωc (M) → Ωc (M)). If we were going to take the k k quotient Zc (M)/Bc (M) we will rescue the de Rham cohomology with compact support. Instead, we will look at the space of forms with compact support that are exact. k Definition 2.3. Denote by Bc (M) the space of forms with compact support that are the k exterior derivative of a form that does not need to have compact support. That is, Bc (M)= −1 k k k i (B (M)) = B (M) ∩ Ωc (M) Given the commutativity of Diagram 1 and that d◦d ≡ 0, we have the following inclusions k k Bc (M) B (M) (2) k k k Bc (M) Zc (M) Z (M) k k which in particular allows us to define the quotient Zc (M)/Bc (M). Let us see that this quotient is canonically isomorphic to the quotient in Definition 2.2 via the inclusion map k k .(Zc (M) ֒→Z (M A DIFFERENTIAL FORM APPROACH TO THE GENUS OF OPEN RIEMANN SURFACES 3 ∼ k k k k = → (Lemma 2.1. The inclusion map Zc (M) ֒→Z (M) induces an isomorphism Zc (M)/Bc (M k Z (M)/Bk(M). k k Proof. Notice first that the preimage of B (M) under the inclusion map is Bc (M), so the k k k k quotient map Zc (M)/Bc (M) → Z (M)/B (M) is well defined and injective. To show k surjectivity, take any form ω ∈ Z (M). Since ω is exact outside a compact set, by using a k−1 k bump function we can write ω = dα + ω0, where α ∈ Ω (M) and ω0 ∈ Zc (M). But this exactly says that the image of [ω0] is [ω]. k Under this natural isomorphism we will represent the vector spaceH (M) as a quotient of the space of forms more appropriate to our goals. Forms with compact support are convenient for their relation with the restriction and extension maps of forms, that we describe now. Differentiable forms have the natural map restriction(r) for U ⊂ M a open set that makes the following diagram commute Ωk(M)r Ωk(U) (3) d d Ωk+1(M)r Ωk+1(U) Likewise, compactly supported forms have the natural map extension(e) which is injective at all ranks and makes the following diagram commute k e k Ωc (U) Ωc (M) (4) d d k+1 e k+1 Ωc (U) Ωc (M) Given Diagrams 3 and 4 we know that restriction and extension preserve closed and exact forms. We can describe the interaction between restriction and extension in the following com- mutative diagram k e k Ωc (U) Ωc (M) (5) i i Ωk(U)r Ωk(M) Zk(M) R We can quickly compare the dimension ck with the Betti numbers bk = dim Bk(M) . Lemma 2.2. For any differentiable manifold M and non-negative integer k, ck(M) ≤ bk(M). Moreover, if M is compact, then ck(M)= bk(M). 4 FRANCO VARGAS PALLETE, JESUS´ ZAPATA SAMANEZ k Z (M) Zk(M) Proof. The inequality follows from the injective map Bk(M) ֒→ Bk(M) induced by the inclusion k Bk(M) ⊆Z (M) ⊆ Zk(M), where the last inclusion is an equality if M is compact. Forms behave well with respect to pullbacks of smooth functions. Since at times we will be dealing with forms with compact support, we will restrict ourselves to proper function between manifold. Let them f : M → N be a smooth proper function, the pullback of f is the natural map of chains f ∗ that makes the following diagrams commute. ∗ ∗ k f k k f k Ω (N) Ω (M) Ωc (N) Ωc (M) (6) d d d d ∗ ∗ k+1 f k+1 k+1 f k+1 Ω (N) Ω (M) Ωc (N) Ωc (M) k ∗ Z (N) which in particular concludes that f can be defined in cohomology as map from Bk(N) to Zk(M) Bk(M) . Moreover, if f,g : M → N are homotopic, we know that there is a algebraic homotopy between f ∗ and g∗ given by a linear map P : Ωk+1(N) → Ωk(M) that commutes with the inclusion of (1) and satisfies (7) f ∗(ω) − g∗(ω)= P (dω)+ dP (ω) k k k ∗ ∗ Z (N) Z (M) for all ω ∈ Ω (M). In particular the maps f ,g : Bk(N) → Bk(M) are equal. The analogue statement is true if we switch to de Rham cohomology with compact support. For the topological and geometric significance of the ck invariants (particularly c1) we will focus on Riemann surfaces. We will adopt the notation of Σg,n for the surface with genus g and n boundary components. A connected Riemann surface X is said to be planar or schlichtartig if every closed 1- form on X with compact support is exact. Under our notation this is the same as c1(X) vanishing, for which we have the Generalized Uniformization Theorem of Koebe (see for instance [Sim89]). Theorem 2.1 (Generalized Uniformization Theorem). Every planar Riemann surface is biholomorphic (i.e. conformally equivalent) to an open subset of the Riemann sphere C.