DOCSLIB.ORG

The Measurable Riemann Mapping Theorem

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Measurable Riemann Mapping Theorem CHAPTER 1 The Measurable Riemann Mapping Theorem 1.1. Conformal structures on Riemann surfaces Throughout, “smooth” will always mean C 1. All surfaces are assumed to be smooth, oriented and without boundary. All diffeomorphisms are assumed to be smooth and orientation-preserving. It will be convenient for our purposes to do local computations involving metrics in the complex-variable notation. Let X be a Riemann surface and z x iy be a holomorphic local coordinate on X. The pair .x; y/ can be thoughtD C of as local coordinates for the underlying smooth surface. In these coordinates, a smooth Riemannian metric has the local form E dx2 2F dx dy G dy2; C C where E; F; G are smooth functions of .x; y/ satisfying E > 0, G > 0 and EG F 2 > 0. The associated inner product on each tangent space is given by @ @ @ @ a b ; c d Eac F .ad bc/ Gbd @x C @y @x C @y D C C C Äc a b ; D d where the symmetric positive definite matrix ÄEF (1.1) D FG represents in the basis @ ; @ . In particular, the length of a tangent vector is f @x @y g given by @ @ p a b Ea2 2F ab Gb2: @x C @y D C C Define two local sections of the complexified cotangent bundle T X C by ˝ dz dx i dy WD C dz dx i dy: N WD 2 1 The Measurable Riemann Mapping Theorem These form a basis for each complexified cotangent space. The local sections @ 1 Â @ @ Ã i @z WD 2 @x @y @ 1 Â @ @ Ã i @z WD 2 @x C @y N of the complexified tangent bundle TX C will form the dual basis at each point. ˝ The inner product on TX extends canonically to a Hermitian product on TX C. @ @ ˝ The matrix of this Hermitian product in the basis @z ; @z is given by f N g (1.2) P P ; O D where 1 Ä1 i (1.3) P : D 2 1 i It follows from (1.1), (1.2) and (1.3) that 1 Ä E GE G 2iF C : O D 4 E G 2iF E G C C Let us introduce the quantities 1 (1.4) .E G pEG F 2/1=2 WD 2 C C 1 E G 2iF (1.5) .E G 2iF / C : WD 4 2 C D E G pEG F 2 C C Note that !1=2 E G 2pEG F 2 (1.6) > 0 and C < 1: j j D E G 2pEG F 2 C C A straightforward computation then shows that " # 1 1 2 2 2 C j j N : O D 2 2 1 2 C j j Since the Hermitian product on TX C is given by ˝ @ @ @ @ ÄC A B ;C D AB N ; @z C @z @z C @z D O D N N N it follows that 2 @ @ 1 2 2 2 2 Á (1.7) A B .1 /. A B / 2 AB 2 A B : @z C @z D 2 C j j j j C j j C N C N N N 1.1 Conformal structures on Riemann surfaces 3 @ @ Now a tangent vector A B TX C is real (i.e., belongs to TX) if and @z C @z 2 ˝ only if B A. This simply followsN from D N @ @ @ @ a b .a ib/ .a ib/ : @x C @y D C @z C @z N Thus, for real tangent vectors, the formula (1.7) reduces to @ @ A A A A : @z C N @z D j C Nj N The last expression suggests that if we are only concerned about lengths of real @ @ tangent vectors, the metric in the complex basis @z ; @z can be represented as f N g (1.8) .z/ dz .z/ dz ; D j C Nj with and defined by (1.4) and (1.5). Let us see how the quantities and associated with transform under a holomorphic change of coordinates z w on X: 7! .z/ dz .z/ dz .w/ dw .w/ dw j C Nj D j C N j .w.z// w0.z/ dz .w.z//w0.z/ dz D j ˇ C Nj ˇ ˇ w .z/ ˇ ˇ 0 ˇ .w.z// w0.z/ ˇdz .w.z// dzˇ ; D j j ˇ C w0.z/ Nˇ from which we obtain .z/ .w.z// w0.z/ D j j w .z/ .z/ .w.z// 0 D w0.z/ or simply .z/ dz .w/ dw j j D j j dz dw (1.9) .z/ N .w/ N : dz D dw dz It follows that .z/ dz and .z/ dzN are well-defined forms on X. Note that z .z/ is a well-definedj j function on X, even though z .z/ is not. 7! j j 7! dz DEFINITION 1.1. .z/ dzN is called the Beltrami form associated with the metric . We say Dis a conformal metric if its Beltrami form is identically zero, in which case .z/ dz is a positive multiple of the Euclidean metric in every local coordinate.D j j 4 1 The Measurable Riemann Mapping Theorem Conformal metrics exist on every Riemann surface. For example, the spherical 2 metric dz =.1 z / on C, the Euclidean metric dz on C, C and the tori j j C j j O j j C=ƒ, and the Poincare´ metric on hyperbolic Riemann surfaces are all conformal metrics. It is clear from (1.8) that two smooth metrics and O have the same Beltrami forms if and only if they belong to the same conformal class, which means =O is a smooth positive function X R. Each conformal class is also called a smooth conformal structure on!X. On the other hand, given a Beltrami dz form .z/ dzN on X, we can pair it with an arbitrary conformal metric .z/ dz Dto construct the metric .z/ dz .z/ dz with the Beltrami formj.j The canonical conformal structureD jof XCis the oneNj represented by any conformal metric .z/ dz on X. It corresponds to the zero Beltrami form 0 which vanishes identicallyj j in every local coordinate on X. COROLLARY 1.2. There is a one-to-one correspondence between smooth dz conformal structures on X and smooth Beltrami forms .z/ dzN which satisfy .z/ < 1 in every local coordinate z on X. D j j Here is a more geometric description for a Beltrami form as a field of concentric ellipses on the tangent bundle of X. Fix a local coordinate z dz D x iy .x; y/ near a point p X and let .z/ N in this coordinate. C Š 2 D dz Consider the family of “circles” E.p/ v TpX v const: which depends only on and not on the choiceD of f the2 representativeW k k D metric.g If v @ @ @ @ D a b .a ib/ .a ib/ , then the “circles” v const: in TpX @x C @y D C @z C @z k k D correspond to the loci .a ib/ .aN ib/ const: in the real .a; b/-plane. i j C C i=2 j D Setting re and .a ib/e , we obtain the loci rN const: in the -plane,WD which is justWD theC family of concentric ellipses withj C the minorj D axis along the real direction and the major axis along the imaginary direction, and with the ratio of the major to minor axis equal to .1 r/=.1 r/ (compare Fig. 1.1). Transferring this family back to the .a; b/-plane,C it follows that E.p/ is a family of concentric ellipses in TpX with 1 angle of elevation of the minor axis arg D 2 1 ratio of the major to minor axis C j j: D 1 j j Note that in this geometric description, the zero Beltrami form 0 corresponds to the field of round circles 2 a2 b2 const: in the .a; b/-plane. j j D C D 1.1 Conformal structures on Riemann surfaces 5 b E.p/ i=2 1=.1 r/ .a ib/e =2 D C a 1=.1 r/ C FIGURE 1.1. Geometric interpretation of a Beltrami form as a field of ellipses on the tangent bundle. To summarize, we have at least three ways of thinking about Beltrami forms on a Riemann surface X: (i) as a . 1; 1/-tensor on X obeying the transformation rule (1.9); (ii) as a conformal structure on X; (iii) as a field of concentric ellipses on the real tangent bundle TX. Now let X and Y be Riemann surfaces and f X Y be a diffeomorphism. W ! Given a Beltrami form on Y , the pull-back f is defined as the Beltrami form of the pull-back metric f , where is any metric with the Beltrami form . It is easy to see that the definition is independent of the choice of . The pull- back operator on Beltrami forms has all the functorial properties of the similar operator on metrics. For example, if f X Y and g Y Z are given W ! W ! diffeomorphisms and is a Beltrami form on Z, then .g f / f .g/, or in short .g f / f g . ı D ı D ı Let us derive a local formula for the pull-back operator. Express f X Y locally as w f .z/, where z and w are local coordinates on X and YW , and! let D 6 1 The Measurable Riemann Mapping Theorem .w/ dw .w/ dw be a metric on Y .
Load more

Recommended publications
  • The Riemann Mapping Theorem Christopher J. Bishop
    The Riemann Mapping Theorem Christopher J. Bishop C.J. Bishop, Mathematics Department, SUNY at Stony Brook, Stony Brook, NY 11794-3651 E-mail address: [email protected] 1991 Mathematics Subject Classification. Primary: 30C35, Secondary: 30C85, 30C62 Key words and phrases. numerical conformal mappings, Schwarz-Christoffel formula, hyperbolic 3-manifolds, Sullivan’s theorem, convex hulls, quasiconformal mappings, quasisymmetric mappings, medial axis, CRDT algorithm The author is partially supported by NSF Grant DMS 04-05578. Abstract. These are informal notes based on lectures I am giving in MAT 626 (Topics in Complex Analysis: the Riemann mapping theorem) during Fall 2008 at Stony Brook. We will start with brief introduction to conformal mapping focusing on the Schwarz-Christoffel formula and how to compute the unknown parameters. In later chapters we will fill in some of the details of results and proofs in geometric function theory and survey various numerical methods for computing conformal maps, including a method of my own using ideas from hyperbolic and computational geometry. Contents Chapter 1. Introduction to conformal mapping 1 1. Conformal and holomorphic maps 1 2. M¨obius transformations 16 3. The Schwarz-Christoffel Formula 20 4. Crowding 27 5. Power series of Schwarz-Christoffel maps 29 6. Harmonic measure and Brownian motion 39 7. The quasiconformal distance between polygons 48 8. Schwarz-Christoffel iterations and Davis’s method 56 Chapter 2. The Riemann mapping theorem 67 1. The hyperbolic metric 67 2. Schwarz’s lemma 69 3. The Poisson integral formula 71 4. A proof of Riemann’s theorem 73 5. Koebe’s method 74 6.
    [Show full text]
  • The Universal Covering Space of the Twice Punctured Complex Plane
    The Universal Covering Space of the Twice Punctured Complex Plane Gustav Jonzon U.U.D.M. Project Report 2007:12 Examensarbete i matematik, 20 poäng Handledare och examinator: Karl-Heinz Fieseler Mars 2007 Department of Mathematics Uppsala University Abstract In this paper we present the basics of holomorphic covering maps be- tween Riemann surfaces and we discuss and study the structure of the holo- morphic covering map given by the modular function λ onto the base space C r f0; 1g from its universal covering space H, where the plane regions C r f0; 1g and H are considered as Riemann surfaces. We develop the basics of Riemann surface theory, tie it together with complex analysis and topo- logical covering space theory as well as the study of transformation groups on H and elliptic functions. We then utilize these tools in our analysis of the universal covering map λ : H ! C r f0; 1g. Preface First and foremost, I would like to express my gratitude to the supervisor of this paper, Karl-Heinz Fieseler, for suggesting the project and for his kind help along the way. I would also like to thank Sandra for helping me out when I got stuck with TEX and Daja for mathematical feedback. Contents 1 Introduction and Background 1 2 Preliminaries 2 2.1 A Quick Review of Topological Covering Spaces . 2 2.1.1 Covering Maps and Their Basic Properties . 2 2.2 An Introduction to Riemann Surfaces . 6 2.2.1 The Basic Definitions . 6 2.2.2 Elementary Properties of Holomorphic Mappings Between Riemann Surfaces .
    [Show full text]
  • THE IMPACT of RIEMANN's MAPPING THEOREM in the World
    THE IMPACT OF RIEMANN'S MAPPING THEOREM GRANT OWEN In the world of mathematics, scholars and academics have long sought to understand the work of Bernhard Riemann. Born in a humble Ger- man home, Riemann became one of the great mathematical minds of the 19th century. Evidence of his genius is reflected in the greater mathematical community by their naming 72 different mathematical terms after him. His contributions range from mathematical topics such as trigonometric series, birational geometry of algebraic curves, and differential equations to fields in physics and philosophy [3]. One of his contributions to mathematics, the Riemann Mapping Theorem, is among his most famous and widely studied theorems. This theorem played a role in the advancement of several other topics, including Rie- mann surfaces, topology, and geometry. As a result of its widespread application, it is worth studying not only the theorem itself, but how Riemann derived it and its impact on the work of mathematicians since its publication in 1851 [3]. Before we begin to discover how he derived his famous mapping the- orem, it is important to understand how Riemann's upbringing and education prepared him to make such a contribution in the world of mathematics. Prior to enrolling in university, Riemann was educated at home by his father and a tutor before enrolling in high school. While in school, Riemann did well in all subjects, which strengthened his knowl- edge of philosophy later in life, but was exceptional in mathematics. He enrolled at the University of G¨ottingen,where he learned from some of the best mathematicians in the world at that time.
    [Show full text]
  • Moduli Spaces of Riemann Surfaces
    MODULI SPACES OF RIEMANN SURFACES ALEX WRIGHT Contents 1. Different ways to build and deform Riemann surfaces 2 2. Teichm¨uller space and moduli space 4 3. The Deligne-Mumford compactification of moduli space 11 4. Jacobians, Hodge structures, and the period mapping 13 5. Quasiconformal maps 16 6. The Teichm¨ullermetric 18 7. Extremal length 24 8. Nielsen-Thurston classification of mapping classes 26 9. Teichm¨uller space is a bounded domain 29 10. The Weil-Petersson K¨ahlerstructure 40 11. Kobayashi hyperbolicity 46 12. Geometric Shafarevich and Mordell 48 References 57 These are course notes for a one quarter long second year graduate class at Stanford University taught in Winter 2017. All of the material presented is classical. For the softer aspects of Teichm¨ullertheory, our reference was the book of Farb-Margalit [FM12], and for Teichm¨ullertheory as a whole our comprehensive ref- erence was the book of Hubbard [Hub06]. We also used Gardiner and Lakic's book [GL00] and McMullen's course notes [McM] as supple- mental references. For period mappings our reference was the book [CMSP03]. For Geometric Shafarevich our reference was McMullen's survey [McM00]. The author thanks Steve Kerckhoff, Scott Wolpert, and especially Jeremy Kahn for many helpful conversations. These are rough notes, hastily compiled, and may contain errors. Corrections are especially welcome, since these notes will be re-used in the future. 2 WRIGHT 1. Different ways to build and deform Riemann surfaces 1.1. Uniformization. A Riemann surface is a topological space with an atlas of charts to the complex plane C whose translation functions are biholomorphisms.
    [Show full text]
  • The Riemann Mapping Theorem
    University of Toronto – MAT334H1-F – LEC0101 Complex Variables 18 – The Riemann mapping theorem Jean-Baptiste Campesato December 2nd, 2020 and December 4th, 2020 Theorem 1 (The Riemann mapping theorem). Let 푈 ⊊ ℂ be a simply connected open subset which is not ℂ. −1 Then there exists a biholomorphism 푓 ∶ 푈 → 퐷1(0) (i.e. 푓 is holomorphic, bijective and 푓 is holomorphic). We say that 푈 and 퐷1(0) are conformally equivalent. Remark 2. Note that if 푓 ∶ 푈 → 푉 is bijective and holomorphic then 푓 −1 is holomorphic too. Indeed, we proved that if 푓 is injective and holomorphic then 푓 ′ never vanishes (Nov 30). Then we can conclude using the inverse function theorem. Note that this remark is false for ℝ-differentiability: define 푓 ∶ ℝ → ℝ by 푓(푥) = 푥3 then 푓 ′(0) = 0 and 푓 −1(푥) = √3 푥 is not differentiable at 0. Remark 3. The theorem is false if 푈 = ℂ. Indeed, by Liouville’s theorem, if 푓 ∶ ℂ → 퐷1(0) is holomorphic then it is constant (as a bounded entire function), so it can’t be bijective. The Riemann mapping theorem states that up to biholomorphic transformations, the unit disk is a model for open simply connected sets which are not ℂ. Otherwise stated, up to a biholomorphic transformation, there are only two open simply connected sets: 퐷1(0) and ℂ. Formally: Corollary 4. Let 푈, 푉 ⊊ ℂ be two simply connected open subsets, none of which is ℂ. Then there exists a biholomorphism 푓 ∶ 푈 → 푉 (i.e. 푓 is holomorphic, bijective and 푓 −1 is holomorphic).
    [Show full text]
  • Math 311: Complex Analysis — Automorphism Groups Lecture
    MATH 311: COMPLEX ANALYSIS | AUTOMORPHISM GROUPS LECTURE 1. Introduction Rather than study individual examples of conformal mappings one at a time, we now want to study families of conformal mappings. Ensembles of conformal mappings naturally carry group structures. 2. Automorphisms of the Plane The automorphism group of the complex plane is Aut(C) = fanalytic bijections f : C −! Cg: Any automorphism of the plane must be conformal, for if f 0(z) = 0 for some z then f takes the value f(z) with multiplicity n > 1, and so by the Local Mapping Theorem it is n-to-1 near z, impossible since f is an automorphism. By a problem on the midterm, we know the form of such automorphisms: they are f(z) = az + b; a; b 2 C; a 6= 0: This description of such functions one at a time loses track of the group structure. If f(z) = az + b and g(z) = a0z + b0 then (f ◦ g)(z) = aa0z + (ab0 + b); f −1(z) = a−1z − a−1b: But these formulas are not very illuminating. For a better picture of the automor- phism group, represent each automorphism by a 2-by-2 complex matrix, a b (1) f(z) = ax + b ! : 0 1 Then the matrix calculations a b a0 b0 aa0 ab0 + b = ; 0 1 0 1 0 1 −1 a b a−1 −a−1b = 0 1 0 1 naturally encode the formulas for composing and inverting automorphisms of the plane. With this in mind, define the parabolic group of 2-by-2 complex matrices, a b P = : a; b 2 ; a 6= 0 : 0 1 C Then the correspondence (1) is a natural group isomorphism, Aut(C) =∼ P: 1 2 MATH 311: COMPLEX ANALYSIS | AUTOMORPHISM GROUPS LECTURE Two subgroups of the parabolic subgroup are its Levi component a 0 M = : a 2 ; a 6= 0 ; 0 1 C describing the dilations f(z) = ax, and its unipotent radical 1 b N = : b 2 ; 0 1 C describing the translations f(z) = z + b.
    [Show full text]
  • BIHOLOMORPHIC TRANSFORMATIONS 1. Introduction This Is a Short Overview for the Beginners
    BIHOLOMORPHIC TRANSFORMATIONS BUMA FRIDMAN AND DAOWEI MA 1. Introduction This is a short overview for the beginners (graduate students and advanced undergrad- uates) on some aspects of biholomorphic maps. A mathematical theory identifies objects that are \similar in every detail" from the point of view of the corresponding theory. For instance, in algebra we use the notion of isomorphism of algebraic objects (groups, rings, vector spaces, etc.), while in topology homeomorphic topological spaces are considered similar in every detail. The idea is to classify the objects under consideration. In complex analysis the corresponding notion is the biholomorphism of the main objects in the theory: complex manifolds. Two complex manifolds M1;M2 are biholomorphic if there is a bijective holomorphic map F : M1 ! M2. Like in those other theories one wants to find the biholomorphic classification of complex manifolds. This attempt is certainly an important motivation to study biholomorphic transformations. The classification problem appears to be a very difficult problem, and only partial results (though very important and highly interesting) are known. The Riemann Mapping Theorem states that any two proper simply connected domains in the complex plane are conformally equivalent. This is an exception. The general case is: for any n ≥ 1 in Cn any two \randomly" picked domains are not biholomorphic. We will mention three examples to support this viewpoint. We also are pointing out that in case n = 1 the classification problem is well researched and mostly understood. For n ≥ 2 it is way more complicated, and by now the pursuit of it has produced many very interesting and deep results and also created useful tools for SCV.
    [Show full text]
  • Complex Analysis Course Notes
    NOTES FOR MATH 520: COMPLEX ANALYSIS KO HONDA 1. Complex numbers 1.1. Definition of C. As a set, C = R2 = (x; y) x; y R . In other words, elements of C are pairs of real numbers. f j 2 g C as a field: C can be made into a field, by introducing addition and multiplication as follows: (1) (Addition) (a; b) + (c; d) = (a + c; b + d). (2) (Multiplication) (a; b) (c; d) = (ac bd; ad + bc). · − C is an Abelian (commutative) group under +: (1) (Associativity) ((a; b) + (c; d)) + (e; f) = (a; b) + ((c; d) + (e; f)). (2) (Identity) (0; 0) satisfies (0; 0) + (a; b) = (a; b) + (0; 0) = (a; b). (3) (Inverse) Given (a; b), ( a; b) satisfies (a; b) + ( a; b) = ( a; b) + (a; b). (4) (Commutativity) (a; b) +− (c;−d) = (c; d) + (a; b). − − − − C (0; 0) is also an Abelian group under multiplication. It is easy to verify the properties − f g 1 a b above. Note that (1; 0) is the identity and (a; b)− = ( a2+b2 ; a2−+b2 ). (Distributivity) If z ; z ; z C, then z (z + z ) = (z z ) + (z z ). 1 2 3 2 1 2 3 1 2 1 3 Also, we require that (1; 0) = (0; 0), i.e., the additive identity is not the same as the multi- plicative identity. 6 1.2. Basic properties of C. From now on, we will denote an element of C by z = x + iy (the standard notation) instead of (x; y). Hence (a + ib) + (c + id) = (a + c) + i(b + d) and (a + ib)(c + id) = (ac bd) + i(ad + bc).
    [Show full text]
  • Riemann's Mapping Theorem
    4. Del Riemann’s mapping theorem version 0:21 | Tuesday, October 25, 2016 6:47:46 PM very preliminary version| more under way. One dares say that the Riemann mapping theorem is one of more famous theorem in the whole science of mathematics. Together with its generalization to Riemann surfaces, the so called Uniformisation Theorem, it is with out doubt the corner-stone of function theory. The theorem classifies all simply connected Riemann-surfaces uo to biholomopisms; and list is astonishingly short. There are just three: The unit disk D, the complex plane C and the Riemann sphere C^! Riemann announced the mapping theorem in his inaugural dissertation1 which he defended in G¨ottingenin . His version a was weaker than full version of today, in that he seems only to treat domains bounded by piecewise differentiable Jordan curves. His proof was not waterproof either, lacking arguments for why the Dirichlet problem has solutions. The fault was later repaired by several people, so his method is sound (of course!). In the modern version there is no further restrictions on the domain than being simply connected. William Fogg Osgood was the first to give a complete proof of the theorem in that form (in ), but improvements of the proof continued to come during the first quarter of the th century. We present Carath´eodory's version of the proof by Lip´otFej´erand Frigyes Riesz, like Reinholdt Remmert does in his book [?], and we shall closely follow the presentation there. This chapter starts with the legendary lemma of Schwarz' and a study of the biho- lomorphic automorphisms of the unit disk.
    [Show full text]
  • Arxiv:Math/0202156V1
    RIEMANN SURFACES AND 3-REGULAR GRAPHS Research Thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Mathematics Dan Mangoubi arXiv:math/0202156v1 [math.DG] 17 Feb 2002 Submitted to the Senate of The Technion - Israel Institute of Technology Tevet, 5761 Haifa January 2001 This research thesis was done under the supervision of Professor Robert Brooks in the Department of Mathematics. I would like to thank Professor Brooks for lighting my way, caring and loving. The thesis is dedicated to my parents, sister and brother. Cette th`ese est ´egalement dedi´ee `ames grand-m`eres bien aim´ees Ir`ene et Sarah. The generous financial help of the Forchheimer Foundation Fellowship is gratefully acknowledged. Contents Abstract 1 List of Symbols 2 Introduction 3 Outlineofthethesis .......................... 3 Acknowledgements ........................... 4 1 Riemann Surfaces and 3-regular Graphs 5 1.1 IdealTriangles .......................... 5 1.2 SomenotionsinGraphTheory . 6 1.3 Triangulations and 3-regular Graphs . 8 1.4 Constructing a Riemann Surface out of a 3-regular Graph. 8 1.5 A slightly more general construction . 9 1.6 The Genus of SC (Γ) ....................... 10 1.7 Automorphisms .......................... 10 1.7.1 ExtensionofAutomorphisms . 12 1.8 ConformalCompactification . 12 1.9 Examples ............................. 13 1.10BelyiSurfaces ........................... 27 2 Geometric Relations between SO(Γ) and SC (Γ). 30 2.1 Introduction............................ 30 2.2 LargeCusps............................ 30 2.3 Controlling SC (Γ)......................... 31 2.4 The Complete Hyperbolic Punctured Disk . 32 2.5 The Curvature of Metrics on D∗ ................. 34 2.6 AKeyLemma........................... 36 2.7 ProofofTheorem2.3.1...................... 38 2.8 A Discussion of Theorem 2.3.1 .
    [Show full text]
  • Introduction to Holomorphic Dynamics: Very Brief Notes
    Introduction to Holomorphic Dynamics: Very Brief Notes Saeed Zakeri Last modified: 5-8-2003 Lecture 1. (1) A Riemann surface X is a connected complex manifold of dimension 1. This means that X is a connected Hausdorff space, locally homeomorphic to R2, which is equipped with a complex structure f(Ui; zi)g. Here each Ui is an open subset of X, S =» the union Ui is X, each local coordinate zi : Ui ¡! D is a homeomorphism, and ¡1 whenever Ui \ Uj 6= ; the change of coordinate zjzi : zi(Ui \ Uj) ! zj(Ui \ Uj) is holomorphic. In the above definition we have not assumed that X has a countable basis for its topology. But this is in fact true and follows from the existence of a complex structure (Rado’s Theorem). (2) A map f : X ! Y between Riemann surfaces is holomorphic if w ± f ± z¡1 is a holomorphic map for each pair of local coordinates z on X and w on Y for which this composition makes sense. We often denote this composition by w = f(z).A holomorphic map f is called a biholomorphism or conformal isomorphism if it is a homeomorphism, in which case f ¡1 is automatically holomorphic. (3) Examples of Riemann surfaces: The complex plane C, the unit disk D, the Riemann b sphere C, complex tori T¿ = C=(Z © ¿Z) with Im(¿) > 0, open connected subsets of Riemann surfaces such as the complement of a Cantor set in C. (4) The Uniformization Theorem: Every simply connected Riemann surface is confor- mally isomorphic to Cb, C, or D.
    [Show full text]
  • Tasty Bits of Several Complex Variables
    Tasty Bits of Several Complex Variables A whirlwind tour of the subject Jiríˇ Lebl October 11, 2018 (version 2.4) . 2 Typeset in LATEX. Copyright c 2014–2018 Jiríˇ Lebl License: This work is dual licensed under the Creative Commons Attribution-Noncommercial-Share Alike 4.0 International License and the Creative Commons Attribution-Share Alike 4.0 International License. To view a copy of these licenses, visit https://creativecommons.org/licenses/ by-nc-sa/4.0/ or https://creativecommons.org/licenses/by-sa/4.0/ or send a letter to Creative Commons PO Box 1866, Mountain View, CA 94042, USA. You can use, print, duplicate, share this book as much as you want. You can base your own notes on it and reuse parts if you keep the license the same. You can assume the license is either the CC-BY-NC-SA or CC-BY-SA, whichever is compatible with what you wish to do, your derivative works must use at least one of the licenses. Acknowledgements: I would like to thank Debraj Chakrabarti, Anirban Dawn, Alekzander Malcom, John Treuer, Jianou Zhang, Liz Vivas, Trevor Fancher, and students in my classes for pointing out typos/errors and helpful suggestions. During the writing of this book, the author was in part supported by NSF grant DMS-1362337. More information: See https://www.jirka.org/scv/ for more information (including contact information). The LATEX source for the book is available for possible modification and customization at github: https://github.com/jirilebl/scv . Contents Introduction 5 0.1 Motivation, single variable, and Cauchy’s formula ..................5 1 Holomorphic functions in several variables 11 1.1 Onto several variables ................................
    [Show full text]