Cornerstones
Series Editors Charles L. Epstein, University of Pennsylvania, Philadelphia, PA, USA Steven G. Krantz, Washington University, St. Louis, MO, USA
Advisory Board Anthony W. Knapp, Emeritus, State University of New York at Stony Brook, Stony Brook, NY, USA
For further volumes: www.springer.com/series/7161 Terrence Napier Mohan Ramachandran
An Introduction to Riemann Surfaces Terrence Napier Mohan Ramachandran Department of Mathematics Department of Mathematics Lehigh University SUNY at Buffalo Bethlehem, PA 18015 Buffalo, NY 14260 USA USA [email protected] [email protected]
ISBN 978-0-8176-4692-9 e-ISBN 978-0-8176-4693-6 DOI 10.1007/978-0-8176-4693-6 Springer New York Dordrecht Heidelberg London
Library of Congress Control Number: 2011936871
Mathematics Subject Classification (2010): 14H55, 30Fxx, 32-01
© Springer Science+Business Media, LLC 2011 All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science+Business Media, LLC, 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights.
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.birkhauser-science.com) To Raghavan Narasimhan
Preface
A Riemann surface X is a connected 1-dimensional complex manifold, that is, a connected Hausdorff space that is locally homeomorphic to open subsets of C with complex analytic coordinate transformations (this also makes X a real 2-dimensional smooth manifold). Although a connected second countable real 1-dimensional smooth manifold is simply a line or a circle (up to diffeomorphism), the real 2-dimensional character of Riemann surfaces makes for a much more in- teresting topological characterization and a still more interesting complex analytic characterization. A noncompact (i.e., an open) Riemann surface satisfies analogues of the classical theorems of complex analysis, for example the Mittag-Leffler theorem, the Weier- strass theorem, and the Runge approximation theorem (this development began only in the 1940s with the work of, for example, Behnke and Stein). On the other hand, by the maximum principle, a compact Riemann surface admits only constant holo- morphic functions. However, compact Riemann surfaces do admit a great many meromorphic functions. This property leads to powerful theorems, in particular, the crucial RiemannÐRoch theorem. The theory of Riemann surfaces occupies a unique position in modern mathe- matics, lying at the intersection of analysis, algebra, geometry, and topology. Most earlier books on this subject have tended to focus on its algebraic-geometric and number-theoretic aspects, rather than its analytic aspects. This book takes the point of view that Riemann surface theory lies at the root of much of modern analysis, and it exploits this happy circumstance by using it as a way to introduce some funda- mental ideas of analysis, as well as to illustrate some of the interactions of analysis with geometry and topology. The analytic methods applied in this book to the study of one complex variable are also useful in the study of several complex variables. Moreover, they contain the essence of techniques used generally in the study of partial differential equations and in the application of analytic tools to problems in geometry. Thus a careful reader will be rewarded not only with a good command of the classical theory of Riemann surfaces, but also with an introduction to these im- portant modern techniques. While much of the book is intended for students at the second-year graduate level, Chaps. 1 and 2 and Sect. 5.2 (along with the required
vii viii Preface background material) could serve as the basis for the complex analysis component of a year-long first-year graduate-level course on real and complex analysis. A suc- cessful student in such a course would be well prepared for further study in analysis and geometry. The analytic approach in this book is based on the solution of the inhomoge- neous CauchyÐRiemann equation with L2 estimates (or the L2 ∂¯-method) in a holo- morphic line bundle with positive curvature. This powerful technique from several complex variables (see, for example, AndreottiÐVesentini [AnV], Hörmander [Hö], Skoda [Sk1], [Sk2], [Sk3], [Sk4], [Sk5], and Demailly [De1]) takes an especially nice form on a Riemann surface. Moreover, the 1-variable version serves as a gen- tle introduction to, and demonstration of, this important technique. For example, one may sometimes, with care, check signs in the formulas for higher dimensions by considering the dimension-one case. On the other hand, the higher-dimensional analogues of the main theorems considered in this book do require additional hy- potheses. Two central features of this book are a simple construction of a strictly subhar- monic exhaustion function (which is a modified version of the construction in [De2]) and a simple construction of a positive-curvature Hermitian metric in the holomor- phic line bundle associated to a nontrivial effective divisor. The simplicity of these constructions and the power of the L2 ∂¯-method make this approach to Riemann surfaces very efficient. The recent book of Varolin [V]alsousesL2 methods. How- ever, although there is some overlap in the choice of topics, the proofs themselves are quite different. For a different treatment of this material that uses the solution of the inhomogeneous CauchyÐRiemann equation, but not L2 methods, the reader may refer to, for example, [GueNs]. This book also contains (in Chaps. 5 and 6) proofs of some fundamental facts concerning the holomorphic, smooth, and topological structure of a Riemann sur- face, such as the Koebe uniformization theorem, the biholomorphic classification of Riemann surfaces, the embedding theorems, the integrability of almost complex structures, Schönflies’ theorem (and the Jordan curve theorem), and the existence of a smooth structure on a second countable surface. The approach in this book to the above facts differs from the usual approaches (see, for example, [Wey], [Sp], or [AhS]) in that it mostly relies on the L2 ∂¯-method (in place of harmonic functions and forms) and on explicit holomorphic attachment of disks and annuli (in place of triangulations). The above facts, along with the facts concerning compact Riemann surfaces considered in Chap. 4, constitute some of the background required for the study of Teichmüller theory (as considered in, for example, [Hu]). Riemann first introduced Riemann surfaces partly as a way of understanding multiple-valued holomorphic functions (see, for example, [Wey]or[Sp]), and Rie- mann surface theory has since grown into a vast area of study. Weyl’s book [Wey] was the first book on the subject, and some elements of the point of view in [Wey] (and in the similar book [Sp]) are present in this book. For different approaches to the study of open Riemann surfaces, the reader may refer to, for example, [AhS]or [For]. For further study of compact Riemann surfaces (the main focus of most books on Riemann surfaces), the reader may refer to, for example, [FarK], [For], or [Ns4]. Preface ix
Much of the background material required for study of this book is provided in detail in Part III (Chaps. 7Ð11). It is strongly recommended that, rather than first studying all of Part III, the reader instead focus on Parts I and II, and consult the ap- propriate sections in Part III only as needed (tables providing the interdependence of the sections appear after table of contents). In fact, the background material has been placed in the last part of the book instead of the first in order to make such con- sultation more convenient. The main prerequisite for the book is some knowledge of point-set topology (as in, for example, [Mu]) and elementary measure theory (as in, for example, Chap. 1 of [Rud1]), although parts of these subjects are reviewed in Sects. 7.1 and 9.1. On the other hand, smooth manifolds (as in Chap. 9 and in, for example, [Mat], [Ns3], and [Wa]) and Hilbert spaces (as in Chap. 7 and in, for example, [Fol] and [Rud1]) are essential objects in this book, so it would be to the reader’s advantage to have had some previous experience with these objects. It may surprise the reader to learn that previous experience with complex analysis in the plane (as in, for example, [Ns5]), while helpful, is not necessary. In fact, as indi- cated earlier, Chaps. 1 and 2 and Sect. 5.2 (along with the required background material and the corresponding exercises) together actually provide the material for a fairly complete course on complex analysis on domains in the plane along with the analogous study of complex analysis on Riemann surfaces (other suggested course outlines appear after the tables listing the interdependence of the sections). Exercises are included for most of the sections, and some of the theory is devel- oped in the exercises.
Acknowledgements The authors would first like to especially thank Raghavan Narasimhan for his comments on the first draft of this book, and for all he has taught them. Next, for their helpful comments and corrections, the authors would like to thank Charles Epstein and Dror Varolin, as well as the following students: Breeanne Baker, Qiang Chen, Tom Concannon, Patty Garmirian, Spyro Roubos, Kathleen Ryan, Brittany Shelton, Jin Yi, and Yingying Zhang. On the other hand, any mistakes or incoherent statements in the book are entirely the fault of the au- thors. Finally, the authors would like to thank their families and friends for their patience during the preparation of this book.
Bethlehem, PA, USA T. Napier Buffalo, NY, USA M. Ramachandran
Contents
Interdependence of Sections ...... xv Suggested Course Outlines ...... xvii
Part I Analysis on Riemann Surfaces 1 Complex Analysis in C ...... 3 1.1 Holomorphic Functions ...... 3 1.2 Local Solutions of the CauchyÐRiemann Equation ...... 6 1.3PowerSeriesRepresentation...... 12 1.4 Complex Differentiability ...... 16 1.5 The Holomorphic Inverse Function Theorem in C ...... 18 1.6 Examples of Holomorphic Functions ...... 21 2 Riemann Surfaces and the L2 ∂¯-Method for Scalar-Valued Forms .. 25 2.1DefinitionsandExamples...... 26 2.2 Holomorphic Functions and Mappings ...... 30 2.3 Holomorphic Attachment ...... 35 2.4 Holomorphic Tangent Bundle ...... 38 2.5DifferentialFormsonaRiemannSurface...... 45 2.6 L2 Scalar-Valued Differential Forms on a Riemann Surface .... 53 2.7 The Distributional ∂¯ Operator on Scalar-Valued Forms ...... 60 2.8 Curvature and the Fundamental Estimate for Scalar-Valued Forms . 63 2.9 The L2 ∂¯-Method for Scalar-Valued Forms of Type (1, 0) ..... 65 2.10 Existence of Meromorphic 1-Forms and Meromorphic Functions . 67 2.11 Radó’s Theorem on Second Countability ...... 71 2.12 The L2 ∂¯-Method for Scalar-Valued Forms of Type (0, 0) ..... 73 2.13 Topological Hulls and Chains to Infinity ...... 77 2.14 Construction of a Subharmonic Exhaustion Function ...... 82 2.15 The Mittag-Leffler Theorem ...... 88 2.16 The Runge Approximation Theorem ...... 91
xi xii Contents
3TheL2 ∂¯-Method in a Holomorphic Line Bundle ...... 101 3.1 Holomorphic Line Bundles ...... 101 3.2 Sheaves Associated to a Holomorphic Line Bundle ...... 115 3.3Divisors...... 119 3.4 The ∂¯ Operator and Dolbeault Cohomology ...... 124 3.5 Hermitian Holomorphic Line Bundles ...... 128 3.6 L2 Forms with Values in a Hermitian Holomorphic Line Bundle . . 131 3.7 The Connection and Curvature in a Line Bundle ...... 134 3.8 The Distributional ∂¯ Operator in a Holomorphic Line Bundle . . . 139 3.9 The L2 ∂¯-Method for Line-Bundle-Valued Forms of Type (1, 0) . . 140 3.10 The L2 ∂¯-Method for Line-Bundle-Valued Forms of Type (0, 0) . . 142 3.11PositiveCurvatureonanOpenRiemannSurface...... 146 3.12 The Weierstrass Theorem ...... 151
Part II Further Topics 4 Compact Riemann Surfaces ...... 157 4.1 Existence of Holomorphic Sections on a Compact Riemann Surface 157 4.2 Positive Curvature on a Compact Riemann Surface ...... 160 4.3 Equivalence of Positive Curvature and Positive Degree ...... 162 4.4 A Finiteness Theorem ...... 164 4.5 The RiemannÐRoch Formula ...... 165 4.6 Statement of the Serre Duality Theorem ...... 167 4.7 Statement of the ∂¯-Hodge Decomposition Theorem ...... 177 4.8 Proof of Serre Duality and ∂¯-Hodge Decomposition ...... 181 4.9 Hodge Decomposition for Scalar-Valued Forms ...... 185 5 Uniformization and Embedding of Riemann Surfaces ...... 191 5.1 Holomorphic Covering Spaces ...... 192 5.2 The Riemann Mapping Theorem in the Plane ...... 204 5.3 Holomorphic Attachment of Caps ...... 207 5.4 Exhaustion by Domains with Circular Boundary Components . . . 209 5.5 Koebe Uniformization ...... 211 5.6 Automorphisms and Quotients of C ...... 216 5.7 Aut (P1) and Uniqueness of the Quotient ...... 218 5.8AutomorphismsoftheDisk...... 220 5.9 Classification of Riemann Surfaces as Quotient Spaces ...... 224 5.10SmoothJordanCurvesandHomology...... 228 5.11 Separating Smooth Jordan Curves ...... 236 5.12 Holomorphic Attachment and Removal of Tubes ...... 241 5.13 Tubes in a Compact Riemann Surface ...... 249 5.14 Tubes in an Arbitrary Riemann Surface ...... 254 5.15 Nonseparating Smooth Jordan Curves ...... 264 5.16 Canonical Homology Bases in a Compact Riemann Surface ....267 5.17 Complements of Connected Closed Subsets of P1 ...... 275 5.18 Embedding of an Open Riemann Surface into C3 ...... 279 Contents xiii
5.19 Embedding of a Compact Riemann Surface into Pn ...... 290 5.20 Finite Holomorphic Branched Coverings ...... 294 5.21 Abel’s Theorem ...... 302 5.22 The AbelÐJacobi Embedding ...... 306 6 Holomorphic Structures on Topological Surfaces ...... 311 6.1 Almost Complex Structures on Smooth Surfaces ...... 311 6.2 Construction of a Special Local Coordinate ...... 320 6.3RegularityofSolutionsonanAlmostComplexSurface...... 322 6.4 The Distributional ∂¯, Connection, and Curvature ...... 326 6.5 L2 SolutionsonanAlmostComplexSurface...... 328 6.6 Proof of Integrability ...... 329 6.7 Statement of Schönflies’ Theorem ...... 332 6.8 Harmonic Functions and the Dirichlet Problem ...... 338 6.9 Proof of Schönflies’ Theorem ...... 350 6.10 Orientable Topological Surfaces ...... 356 6.11 Smooth Structures on Second Countable Topological Surfaces . . . 364
Part III Background Material 7 Background Material on Analysis in Rn and Hilbert Space Theory . 375 7.1MeasuresandIntegration...... 375 7.2 Differentiation and Integration in Rn ...... 382 7.3 C∞ Approximation...... 390 7.4DifferentialOperatorsandFormalAdjoints...... 392 7.5 Hilbert Spaces ...... 397 7.6 Weak Sequential Compactness ...... 403 8 Background Material on Linear Algebra ...... 407 8.1 Linear Maps, Linear Functionals, and Complexifications ...... 407 8.2 Exterior Products ...... 409 8.3 Tensor Products ...... 412 9 Background Material on Manifolds ...... 415 9.1 Topological Spaces ...... 415 9.2 The Definition of a Manifold ...... 419 9.3 The Topology of Manifolds ...... 423 9.4 The Tangent and Cotangent Bundles ...... 428 9.5 Differential Forms on Smooth Curves and Surfaces ...... 437 9.6 Measurability in a Smooth Manifold ...... 447 9.7 Lebesgue Integration on Curves and Surfaces ...... 449 9.8 Linear Differential Operators on Manifolds ...... 462 9.9 C∞ Embeddings ...... 465 9.10 Classification of Second Countable 1-Dimensional Manifolds . . . 469 9.11 Riemannian Metrics ...... 475 xiv Contents
10 Background Material on Fundamental Groups, Covering Spaces, and (Co)homology ...... 477 10.1 The Fundamental Group ...... 477 10.2 Elementary Properties of Covering Spaces ...... 483 10.3TheUniversalCovering...... 489 10.4DeckTransformations...... 492 10.5 Line Integrals on C∞ Surfaces ...... 498 10.6 Homology and Cohomology of Second Countable C∞ Surfaces . . 503 10.7 Homology and Cohomology of Second Countable C0 Surfaces . . 511 11 Background Material on Sobolev Spaces and Regularity ...... 531 11.1 Sobolev Spaces ...... 532 11.2 Uniform Convergence of Derivatives ...... 534 11.3TheStrongFriedrichsLemma...... 535 11.4 The Sobolev Lemma ...... 541 11.5 Proof of the Regularity Theorem ...... 542 References ...... 545 Notation Index ...... 549 Subject Index ...... 553 Interdependence of Sections
The main prerequisites for each section appear in the tables below. If, for Sect. x, facts proved in Sect. y are needed only for a nonessential result, or only one or two small facts from Sect. y are needed, then Sect. y is omitted from the list of required sections for Sect. x. If Sect. x requires Sect. y and Sect. y requires Sect. z, then, in most cases, Sect. z is omitted from the list of required sections for Sect. x (for example, Sect. 2.3 requires Sects. 2.1 and 2.2, which in turn require Chap. 1 and Sect. 9.1). Italicized section numbers correspond to Part III sections, that is, sections containing background material.
Part I Require(s) Part II Require(s) 1.1Ð1.6 7.1Ð7.4 4.1 3.10 2.1Ð2.2 Chap. 1, 9.1 4.2 2.14 (2.11 is not required), 2.3 2.1, 2.2 4.1 2.4 2.1, 2.2, 8.1, 9.2, 9.4 4.3 4.2 2.5 2.4, 8.2, 9.5Ð9.7 4.4Ð4.9 4.2 2.6 2.5, 7.5 5.1Ð5.5 10.1Ð10.5, 2.3, 2.16 2.7 2.5, 9.8 5.6Ð5.9 5.5 2.8, 2.9 2.6, 2.7 5.10, 5.11 9.9, 10.1Ð10.6 2.10 2.9 or 3.9 5.12Ð5.14 5.5, 5.10, 5.11 2.11 2.10 5.15 5.10, 5.11, 10.7 2.12 2.10 5.16 5.13, 5.15 (Chap. 4 for 2.13 9.1Ð9.3 Corollary 5.16.4) 2.14 2.8, 2.11, 2.13 5.17 5.2Ð5.4, 5.15 2.15 2.12, 2.14 5.18 5.17 2.16 2.12, 2.14 5.19 Chap. 4 3.1Ð3.10 8.3, 2.5, 2.7, 2.8 5.20 5.1 3.11, 3.12 2.14, 3.10 5.21Ð5.22 Chap. 4, 5.20, 10.6, 10.7 6.1Ð6.6 2.9, 9.11, Chap. 11, 7.6 6.7Ð6.9 5.15, 5.17, 9.10 6.10 5.10, 5.11, 10.1Ð10.7 6.11 6.7Ð6.10
xv
Suggested Course Outlines
A typical one-semester course would begin with careful study of Sects. 1.1 and 1.2, a quick reading of Sects. 1.3Ð1.6, careful study of Sects. 2.1 and 2.2, some (pos- sibly brief) consideration of Sect. 2.3, and careful study of Sects. 2.4 and 2.5.The following are some of the natural directions in which the course could then proceed: • Holomorphic and meromorphic functions on an open Riemann surface: Sec- tions 2.6Ð2.16 and, possibly, 5.2. • Holomorphic line bundles on an open Riemann surface: Sections 2.7, 2.8, 3.1Ð3.10, 2.11, 2.13, 2.14, 3.11, and 3.12. • Uniformization: Sections 2.6Ð2.14, 2.16, and 5.1Ð5.9. • Compact Riemann surfaces: Sections 2.7, 2.8, 3.1Ð3.10, 2.13, 2.14 (here, one needs the results of Sect. 2.14 only for an open subset of a compact Riemann sur- face, which is automatically second countable, so Radó’s theorem from Sect. 2.11 is not required for this case), 4.1Ð4.9, and 5.19. • Integrability of almost complex structures on a surface: Sections 2.6Ð2.9 and 6.1Ð6.6.
Suggested Topics for Further Study Beyond a one-semester course, the reader may wish to consider, for example: • The characterization of a Riemann surface in terms of holomorphic attachment of tubes: Sections 5.10Ð5.14. • Further topics concerning compact Riemann surfaces: Sections 5.10Ð5.13, 5.15, 5.16, 5.19Ð5.22. • The embedding theorem for an open Riemann surface: Sections 5.17 and 5.18. • The existence of smooth structures on second countable topological surfaces: Sections 5.17 and 6.7Ð6.11.
xvii
Part I Analysis on Riemann Surfaces
Chapter 1 Complex Analysis in C
In this chapter, following Hörmander [Hö], we consider elementary definitions and facts concerning complex analysis in C from the point of view of local solutions of the inhomogeneous Cauchy–Riemann equation ∂u/∂z¯ = v.Theglobal solution of the analogous inhomogeneous Cauchy–Riemann equation on a Riemann surface (see Chaps. 2 and 3) will allow us to obtain analogues of some of the central theo- rems of complex analysis in the plane (for example, the Riemann mapping theorem, the Mittag-Leffler theorem, and the Weierstrass theorem) for open Riemann sur- faces, as well as some of the central theorems of the theory of compact Riemann surfaces (for example, the Riemann–Roch theorem). A reader who is familiar with complex analysis in the plane may wish to read Sects. 1.1 and 1.2 carefully, but only skim Sects. 1.3–1.6.
1.1 Holomorphic Functions
√ 2 Identifying the complex plane C with R under√(x, y) → z = x + iy = x + −1y for (x, y) ∈ R2 (we will sometimes denote i by −1), we may define the first-order constant-coefficient linear differential operators ∂ 1 ∂ ∂ ∂ 1 ∂ ∂ ≡ − i and ≡ + i . ∂z 2 ∂x ∂y ∂z¯ 2 ∂x ∂y
The operators ∂/∂z and ∂/∂z¯ obey the standard sum, product, and quotient rules. Moreover, if γ : (a, b) → C is a (real) differentiable function on an interval (a, b) and u is a C1 function on a neighborhood of the image, then
d ∂u dγ ∂u dγ u(γ (t)) = (γ (t)) + (γ (t)) . dt ∂z dt ∂z¯ dt
T. Napier, M. Ramachandran, An Introduction to Riemann Surfaces, Cornerstones, 3 DOI 10.1007/978-0-8176-4693-6_1, © Springer Science+Business Media, LLC 2011 4 1 Complex Analysis in C
Observe that if f is a C1 function on an open set in C, and u = Re f and v = Im f , then
∂f ∂u ∂v ∂u ∂v = 0 ⇐⇒ = and =− . ∂z¯ ∂x ∂y ∂y ∂x
We refer to the above as the homogeneous Cauchy–Riemann equation(s).Weuse a similar notation if elements of C are represented by other names (for example, ζ = s + it).
Definition 1.1.1 Let be an open subset of C. A function f ∈ C1() is called holomorphic (or analytic or complex analytic)on if ∂f /∂ z¯ ≡ 0on. We denote the set of all holomorphic functions on by O(), and for each function f ∈ O(), we define d ∂f ∂f ∂f f = [f(z)]≡ = =−i . dz ∂z ∂x ∂y We also say that f is a primitive for the function f . A holomorphic function on C is also called an entire function.
The proof of the following is left to the reader (see Exercise 1.1.1):
Theorem 1.1.2 Any sum, product, quotient, or composition of holomorphic func- tions is holomorphic on its domain. Moreover, if f and g are holomorphic functions, then
(f + g) = f + g ,(fg) = f g + fg , f g − fg (f/g) = , and (f ◦ g) = (f ◦ g) · g . g2
Consequently, every rational function of z is holomorphic on its domain, and for every n ∈ Z, d(zn)/dz = nzn−1.
An important tool in this book (and in the general study of analysis on manifolds) is the machinery of differential forms. The required definitions and facts appear in Chap. 9. For now, we take an informal approach to differential forms on open subsets of C, which will suffice for this chapter. We have the real differentials dx and dy on the complex plane C (identified with R2) and the complex differentials
dz = dx + idy and dz¯ = dx − idy.
Any complex 1-form α may be written
α = Pdx+ Qdy= adz+ bdz,¯ 1.1 Holomorphic Functions 5
= 1 − for some (unique) pair of complex-valued functions P and Q and for a 2 (P = 1 + iQ) and b 2 (P iQ).Ifα is continuous (i.e., if the coefficients P and Q are continuous) on a neighborhood of the image of a C1 path γ = (u + iv):[r, s]→C, with u = Re γ and v = Im γ , then s du dv α = P(γ(t)) + Q(γ (t)) dt γ r dt dt s dγ dγ = a(γ(t)) + b(γ (t)) dt. r dt dt The exterior product of dx and dy is denoted by dx ∧ dy =−dy ∧ dx (and dx ∧ dx = dy ∧ dy = 0). Any complex 2-form β may be written
β = fdx∧ dy = f · (i/2)dz∧ dz,¯ for some (unique) function f .Iff is integrable on a Lebesgue measurable set E ⊂ C, then i fdλ= fdx∧ dy = f · dz∧ dz,¯ E E E 2 where λ denotes Lebesgue measure (see Sect. 7.1). If f is a C1 function on an open set in C, then the differential (or exterior deriva- tive)off satisfies ∂f ∂f ∂f ∂f df = dx + dy = dz+ dz¯ = ∂f + ∂f,¯ ∂x ∂y ∂z ∂z¯ where ∂f ∂f ∂f ≡ dz and ∂f¯ ≡ dz.¯ ∂z ∂z¯ In particular, f is holomorphic if and only if ∂f¯ = 0 (equivalently, df = hdz for some function h). If α = Pdx+ Qdy is a 1-form of class C1 (i.e., the coefficients P and Q are of class C1), then the exterior derivative of α is given by ∂Q ∂P dα = dP ∧ dx + dQ∧ dy = − dx ∧ dy. ∂x ∂y
= + ¯ = 1 − = 1 + Equivalently, for α adz bdz (with a 2 (P iQ) and b 2 (P iQ)), ∂b ∂a dα = da ∧ dz+ db ∧ dz¯ = − dz∧ dz¯ = ∂α + ∂α,¯ ∂z ∂z¯ where ∂b ∂a ∂α = (∂b) ∧ dz¯ = dz∧ dz¯ and ∂α¯ = (∂a)¯ ∧ dz =− dz∧ dz.¯ ∂z ∂z¯ 6 1 Complex Analysis in C
According to Stokes’ theorem, if C is a smooth domain and α is a C1 1-form on a neighborhood of , then α = dα, ∂ where the left-hand side is given by the sum of the integrals of α over the finitely many boundary curves of , each parametrized so that lies to the left (i.e., each boundary curve is positively oriented relative to ).
Exercises for Sect. 1.1 1.1.1. Prove Theorem 1.1.2.
1.2 Local Solutions of the CauchyÐRiemann Equation
For 0 (z0; R) ≡{z ∈ C ||z − z0| (z0; r, R) ≡{z ∈ C | r<|z − z0| Lemma 1.2.1 Let be a smooth relatively compact domain in C, and let f be a C1 function on a neighborhood of . (a) Cauchy integral formula. For each point z ∈ , we have 1 f(ζ) ∂f /∂ ζ¯ f(z)= dζ + dζ ∧ dζ¯ . 2πi ∂ ζ − z ζ − z (b) Cauchy’s theorem. We have + ∂f ∧ ¯ = f(ζ)dζ ¯ dζ dζ 0. ∂ ∂ζ Remarks 1. In particular, for f holomorphic on a neighborhood of , we get (the more standard versions) 1 f(ζ) f(z)= dζ ∀ z ∈ and f(ζ)dζ = 0. 2πi ∂ ζ − z ∂ 2. The formula in part (a) is also called the Cauchy–Pompeiu integral formula or the ∂¯-Cauchy integral formula. 1.2 Local Solutions of the Cauchy–Riemann Equation 7 Proof of Lemma 1.2.1 Observe that the function ζ → (ζ − z)−1 is locally integrable in C, so the integrals in (a) are defined. For z ∈ and 0