08. Conformal Mapping 1. Conformal (Angle-Preserving) Maps

Total Page:16

File Type:pdf, Size:1020Kb

08. Conformal Mapping 1. Conformal (Angle-Preserving) Maps (December 1, 2020) 08. Conformal mapping Paul Garrett [email protected] http:=/www.math.umn.edu/egarrett/ [This document is http:=/www.math.umn.edu/egarrett/m/complex/notes 2020-21/08 conformal mapping.pdf] 1. Conformal (angle-preserving) maps 2. Lines and circles and linear fractional transformations 3. Elementary examples 0 4. f (zo) = 0 implies local non-injectivity 5. Automorphisms of the disk and of H 6. Schwarz' lemma 7. Riemann Mapping Theorem 1. Conformal (angle-preserving) maps A complex-valued function f on a non-empty open U ⊂ C is conformal if it preserves angles, in the sense that, for any two smooth parametrized curves γ :[a; b] ! C, δ :[c; d] ! C with γ(a) = zo = δ(c), the angle between γ0(a) and δ0(c) is equal to the angle between (f ◦ γ)0(a) and (f ◦ δ)0(c). The function f is orientation-preserving if the directed angle is preserved. Explicitly, for non-zero z; w 2 C, w z directed angle from z to w = θ 2 , such that = eiθ R jwj jzj That is, w . z eiθ = jwj jzj 0 [1.1] Claim: A holomorphic function f is conformal and orientation-preserving at points zo where f (zo) 6= 0. Proof: This is a direct computation, using the chain rule, noting that f 0 is the complex derivative of f, 0 while γ is the real derivative. With γ(a) = zo = δ(c), 0 0 0 0 0 0 0 0 0 0 (f ◦ γ) (a) = f (γ(a)) · γ (a) = f (zo) · γ (a)(f ◦ δ) (c) = f (δ(a)) · δ (a) = f (zo) · δ (a) so 0 0 0 0 0 0 0 0 (f ◦ γ) (a) . (f ◦ δ) (a) f (zo) γ (a) . f (zo) δ (a) γ (a) . δ (a) 0 0 = 0 0 0 0 = 0 0 j(f ◦ γ) (a)j j(f ◦ δ) (a)j jf (zo) γ (a)j jf (zo) δ (a)j jγ (a)j jδ (a)j showing that directed angles are preserved. === [1.2] Remark: Holomorphic f on U with non-vanishing derivative maps the mutually orthogonal families of lines Re(z) = x = const and Im(z) = y = const to mutually orthogonal curves. 2 For example, letting f(z) = z on the upper half-plane, the lines x ! x + iyo become parabolas 2 2 2 2 x ! x − 2ixyo − yo opening horizontally, and the lines y ! xo + iy become parabolas y ! −y + 2xoy + xo opening vertically. p Letting f(z) = z on C − [0; +1) amounts to looking at inverse images in the previous example, giving mutually orthogonal lines Re(z2) = const and Im(z2) = const, namely, hyperbolas x2 − y2 = const and hyperbolas xy = const. 1 Paul Garrett: 08. Conformal mapping (December 1, 2020) 2. Lines and circles and linear fractional transformations [2.1] Theorem: The collection of lines and circles in C [ f1g is stabilized by linear fractional transformations, and is acted upon transitively by them. a b Proof: Clearly affine maps (z) = (az + b)=d, with ad 6= 0, which are combinations of translations, 0 d rotations, and dilations, preserve lines and circles. Given this, a group-theoretic result greatly simplifies things: [2.2] Claim: (Bruhat decomposition) Let P be the upper-triangular matrices in GL2(C), and the Weyl 0 1 element w = . Then o 1 0 GL2(C) = P t P woP (disjoint union) a b Proof: A group element g = is in P if c = 0, so consider c 6= 0. Then c d a b 1 − d 0 1 ∗ ∗ c = 2 P c d 0 1 1 0 0 ∗ That is, for g 62 P , gP wo \ P 6= φ. That is, gP \ P wo 6= φ, so gP \ P woP 6= φ, and g 2 P woP . === Invoking the Bruhat decomposition, since g 2 P preserves lines and circles, it suffices to prove that the Weyl element wo preserves lines and circles. The real and imaginary parts of wo(z) = 1=z are easily observed: 1 z = z jzj2 so x y Re(1=z) = Im(1=z) = − jzj2 jzj2 2 It is convenient that wo gives the identity map, so the images and inverse images of sets under wo are the same things. Given a line ax + by = c with real a; b; c, the image of the line is x y a − b = c jzj2 jzj2 or ax − by = cx2 + cy2 giving the circle a b a 2 b 2 (x − )2 + (y + )2 = + c c c c The image of a circle jz − zoj = r is 1 − z = r z o or j1 − zo · zj = r · jzj or 2 2 2 2 1 − 2 Re(zo · z) + jzoj · jzj = r · jzj In the special case that jzoj = r, this is a line. Otherwise, it is a circle. 2 Paul Garrett: 08. Conformal mapping (December 1, 2020) Three points on a circle determine the circle completely. A line in C can be viewed determined by two points on it in C, and inevitably passing through 1. The group of linear fractional transformation actions is triply transitive in the sense that it can map any triple of distinct points to any other, so is transitive on circles-and-lines. === a b [2.3] Remark: Beware: except for affine maps (z) = (az + b)=d, with ad 6= 0, linear fractional 0 d transformations do not respect centers of circles. 3. Elementary examples A sector is an open set of the form fz = reiθ : r > 0; a < θ < b; with jb − aj < 2πg Two sectors of the special form fz = reiθ : r > 0; 0 < θ < b; with b < 2πg fz = reiθ : r > 0; 0 < θ < b0; with b0 < 2πg can be mapped holomorphically to each other by a power map 0 0 b b ·log z z −! z b = e b with a continuous logarithm defined on the first sector by iπ Z z=e dw log z = iπ + 1 w integrating along a straight line segment. In polar coordinates, this is simply 0 0 iθ b iθ b re −! r b e b Exhibiting the map as a holomorphic map shows that it preserves angles. Sectors with edges elsewhere than the positive real axis can be rotated, by map z ! µ · z with jµj = 1, to put either edge on the positive real axis. Thus, the problem of mapping one sector to another reduces to that simpler case, by pre-composing and post-composing with rotations: fz = reiθ : r > 0; a < θ < b; with jb − aj < 2πg can be mapped to another sector fz = reiθ : r > 0; a0 < θ < b0; with jb0 − a0j < 2πg by b0−a0 b0−a0 z z b−a 0 z b−a z −! −! −! eia · eia eia eia Again, there is an unambiguous choice of continuous αth power on such a sector, by zα = eα·log z 3 Paul Garrett: 08. Conformal mapping (December 1, 2020) where log z is defined on C with any ray freiθo : r > 0g removed, with this ray not lying in the given sector. Again, such a logarithm can be defined by i(θ +π) Z z=e o dw log z = i(θo + π) + 1 w i integrating along a straight line segment from 1 to z=e (θo +π). That is, all sectors are conformally equivalent. In other words, while z ! zα with real α 6= 0 is conformal at every point other than z = 0, it alters angles at 0 by multiplying angles by α. A bigon is an open subset of CP1 bounded by two arcs, by which we for present purposes we mean either straight line segments, possibly infinite in one or both directions, and/or arcs of circles with angle measure < 2π. 1 The non-degenerate cases are specified by two vertices z1; z2 2 PC , and two distinct circles-or-lines passing through both z1; z2. This configuration cuts PC into four connected components, each of which is a bigon. In the degenerate case that the two points are identical, CP1 is cut into only three connected components. [3.1] Claim: All bigons in the non-degenerate case are conformally equivalent, and are conformally equivalent to the upper half-plane. Proof: Given vertices z1 6= z2, map z1 ! 0 and z2 ! 1 by a linear fractional transformation. Since linear fractional transformations preserve lines and circles, the boundary of the image consists of two straight lines from 0 to 1, so the image is a sector. Rotate the sector until is is of the form freiθ : r > 0; 0 < θ < b; with b < 2πg, and the apply a power map to obtain the upper half-plane H. Thus, any non-degenerate bigon is conformally equivalent to the upper half-plane, so they are equivalent to each other. === [3.2] Claim: All degenerate bigons are conformally equivalent, and are conformally equivalent to the strip 0 < Re(z) < 1. Proof: Map the single vertex to 1. The two bounded arcs, mapped to arcs passing through 1, must become straight lines with no other intersections, thus, parallel. Translate, rotate and dilate to obtain the lines Re(z) = 0 and Re(z) = 1. === [3.3] Remark: An open disk can be considered as a non-degenerate bigon in many ways, as can a half-plane. The Cayley map z + i z −! iz + 1 maps i ! 1, −i ! 0, and 1 ! 1, so maps the unit circle to the real line, because linear fractional transformations preserve circles-and-lines. Thus, it maps the connected components of the complement of the circle to the connected components of the complement of the real line: since 0 ! i, the interior of the circle is mapped to the upper half-plane.
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 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]
  • 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.
    [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]
  • 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]
  • THE RIEMANN MAPPING THEOREM Contents 1. Introduction 1 2
    THE RIEMANN MAPPING THEOREM ALEXANDER WAUGH Abstract. This paper aims to provide all necessary details to give the standard mod- ern proof of the Riemann Mapping Theorem utilizing normal families of functions. From this point the paper will provide a brief introduction to Riemann Surfaces and conclude with stating the generalization of Riemann Mapping Theorem to Riemann Surfaces: The Uniformization Theorem. Contents 1. Introduction 1 2. Preliminaries 2 3. Outline of Riemann Mapping Theorem 4 4. Hurwitz's Theorem 5 5. Montel's Theorem 6 6. The Riemann Mapping Theorem 7 7. Riemann Surfaces and The Uniformization Theorem 8 References 11 1. Introduction The Riemann Mapping theorem is one of the most useful theorems in elementary complex analysis. From a planar topology viewpoint we know that there exists simply connected domains with complicated boundaries. For such domains there are no obvious homeomor- phisms between them. However the Riemann mapping theorem states that such simply connected domains are not only homeomorphic but also biholomorphic. The paper by J.L. Walsh \History of the Riemann Mapping Theorem"[6] presents an outline of how proofs of the Riemann Mapping theorem have evolved over time. A very important theorem in Complex Analysis, Riemann's mapping theorem was first stated, with an incor- rect proof, by Bernhard Riemann in his inaugural dissertation in 1851. Since the publication of this \proof" various objections have been made which all in all lead to this proof being labeled as incorrect. While Riemann's proof is incorrect it did provide the general guidelines, via the Dirichlet Principle and Green's function, which would prove vital in future proofs.
    [Show full text]
  • A Concise Course in Complex Analysis and Riemann Surfaces Wilhelm Schlag
    A concise course in complex analysis and Riemann surfaces Wilhelm Schlag Contents Preface v Chapter 1. From i to z: the basics of complex analysis 1 1. The field of complex numbers 1 2. Differentiability and conformality 3 3. M¨obius transforms 7 4. Integration 12 5. Harmonic functions 19 6. The winding number 21 7. Problems 24 Chapter 2. From z to the Riemann mapping theorem: some finer points of basic complex analysis 27 1. The winding number version of Cauchy’s theorem 27 2. Isolated singularities and residues 29 3. Analytic continuation 33 4. Convergence and normal families 36 5. The Mittag-Leffler and Weierstrass theorems 37 6. The Riemann mapping theorem 41 7. Runge’s theorem 44 8. Problems 46 Chapter 3. Harmonic functions on D 51 1. The Poisson kernel 51 2. Hardy classes of harmonic functions 53 3. Almost everywhere convergence to the boundary data 55 4. Problems 58 Chapter 4. Riemann surfaces: definitions, examples, basic properties 63 1. The basic definitions 63 2. Examples 64 3. Functions on Riemann surfaces 67 4. Degree and genus 69 5. Riemann surfaces as quotients 70 6. Elliptic functions 73 7. Problems 77 Chapter 5. Analytic continuation, covering surfaces, and algebraic functions 79 1. Analytic continuation 79 2. The unramified Riemann surface of an analytic germ 83 iii iv CONTENTS 3. The ramified Riemann surface of an analytic germ 85 4. Algebraic germs and functions 88 5. Problems 100 Chapter 6. Differential forms on Riemann surfaces 103 1. Holomorphic and meromorphic differentials 103 2. Integrating differentials and residues 105 3.
    [Show full text]
  • Complex Analysis on Riemann Surfaces Contents 1
    Complex Analysis on Riemann Surfaces Math 213b | Harvard University C. McMullen Contents 1 Introduction . 1 2 Maps between Riemann surfaces . 14 3 Sheaves and analytic continuation . 28 4 Algebraic functions . 35 5 Holomorphic and harmonic forms . 45 6 Cohomology of sheaves . 61 7 Cohomology on a Riemann surface . 72 8 Riemann-Roch . 77 9 The Mittag–Leffler problems . 84 10 Serre duality . 88 11 Maps to projective space . 92 12 The canonical map . 101 13 Line bundles . 110 14 Curves and their Jacobians . 119 15 Hyperbolic geometry . 137 16 Uniformization . 147 A Appendix: Problems . 149 1 Introduction Scope of relations to other fields. 1. Topology: genus, manifolds. Algebraic topology, intersection form on 1 R H (X; Z), α ^ β. 3 2. 3-manifolds. (a) Knot theory of singularities. (b) Isometries of H and 3 3 Aut Cb. (c) Deformations of M and @M . 3. 4-manifolds. (M; !) studied by introducing J and then pseudo-holomorphic curves. 1 4. Differential geometry: every Riemann surface carries a conformal met- ric of constant curvature. Einstein metrics, uniformization in higher dimensions. String theory. 5. Complex geometry: Sheaf theory; several complex variables; Hodge theory. 6. Algebraic geometry: compact Riemann surfaces are the same as alge- braic curves. Intrinsic point of view: x2 +y2 = 1, x = 1, y2 = x2(x+1) are all `the same' curve. Moduli of curves. π1(Mg) is the mapping class group. 7. Arithmetic geometry: Genus g ≥ 2 implies X(Q) is finite. Other extreme: solutions of polynomials; C is an algebraically closed field. 8. Lie groups and homogeneous spaces. We can write X = H=Γ, and ∼ g M1 = H= SL2(Z).
    [Show full text]
  • Riemann Mapping Theorem
    Riemann Mapping Theorem Juan Kim 2020 Abstract The purpose of this report is to reproduce the proof of Riemann Mapping Theorem. We assume the readers are familiar with the basic results in real and complex analysis upto and including the Residue Theorem. Following the approach of Riesz and Fejer, we define F to be a family of holomorphic injective functions, uniformly bounded by 1 on a given domain. After showing that F is not empty by constructing a function in F, we will use Montel's theorem to show that there is a sequence in F that converges locally uniformly to some holomorphic injective function in f : U ! B1(0) where at z0 0 such that fn(z0) = 0 for all n, jfn(z0)j ≤ jf (z0)j. We then use Hurwitz's theorem to show injectivity of f and proof by contradiction to show that such f is surjective to the unit disk. Contents 1 Notations 2 2 Basic Results 3 2.1 General Cauchy Theorem . 3 2.2 Properties of Mobius Transformations . 4 2.3 Sequences of Functions . 4 3 Montel's Theorem 6 4 Hurwitz's Theorem 8 5 Proof of the Riemann Mapping Theorem 11 6 Bibliography 16 1 1 Notations Here we list some of notation that will be used throughout this report. If A is a set, A will denote the closure of A. The unit disk is denoted by B1(0) = fz 2 C : jzj < 1g. If f : U ! C is a function and A ⊂ U a set, then f(A) will denote image set of f.
    [Show full text]
  • The Riemann Mapping Theorem
    THE RIEMANN MAPPING THEOREM SARAH MCCONNELL Abstract. We will develop some of the basic concepts of complex function theory and prove a number of useful results concerning holomorphic functions. We will focus on derivatives, zeros, and sequences of holomorphic functions. This will lead to a brief discussion of the significance of biholomorphic mappings and allow us to prove the Riemann mapping theorem. Contents 1. Introduction 1 2. Holomorphic Functions 2 2.1. The Cauchy Integral Theorem and the Cauchy Estimates 2 2.2. Zeros of Holomorphic Functions 4 3. Sequences of Holomorphic Functions 6 4. Biholomorphic Mappings 8 5. The Riemann Mapping Theorem 8 Acknowledgments 10 References 10 1. Introduction Holomorphic functions are central to complex function theory, much as real differentiable functions are one of the main subjects of calculus. We call a function biholomorphic if it is a holomorphic bijection. Spaces between which biholomorphisms exist are called biholomorphically equivalent. The idea of biholomorphic equivalence is significant in complex analysis because it allows us to substitute nice spaces for more compli- cated ones. For example, suppose that U and V are open subsets of C. If f : U −! V is a biholomorphic map, then any function g : V −! C is holomorphic if and only if g ◦ f : U −! C is holomorphic. Basically, in complex function theory, biholomorphically equivalent spaces are essentially identical. The Riemann mapping theorem is a major result in the study of complex functions because it states conditions which are sufficient for biholomorphic equivalence. Biholomorphic mappings between spaces are often difficult to construct. The theorem is useful because it guarantees the existence of such a function between certain kinds of spaces, making the construction of biholomorphic functions unnecessary.
    [Show full text]