Visualizing the Riemann Mapping

Total Page:16

File Type:pdf, Size:1020Kb

Visualizing the Riemann Mapping VISUALIZING THE RIEMANN MAPPING A Thesis Presented to the Faculty of California State Polytechnic University, Pomona In Partial Fulfillment Of the Requirements for the Degree Master of Science In Mathematics By Vrej Mikaelian 2014 SIGNATURE PAGE THESIS: VISUALIZING THE RIEMANN MAPPING AUTHOR: Vrej Mikaelian DATE SUBMITTED: Spring 2014 Department of Mathematics and Statistics Dr. John Arlo Caine Thesis Committee Chair Mathematics & Statistics Dr. Mitsuo Kobayashi Mathematics & Statistics Dr. John Rock Mathematics & Statistics ii ACKNOWLEDGMENTS I would like to express my sincere gratitude to my advisor Dr. John Arlo Caine for his enthusiasm, immense knowledge, and support in completing this work. I could not have imagined having a better advisor and mentor for my thesis. I would also like to thank the rest of my thesis committee: Dr. Kobayahsi and Dr. Rock, for giving me the knowledge and skills to complete my graduate coursework. I am also grateful to my professors: Dr. Michael Green, Dr. Patricia Hale, Dr. Amber Rosin, and Dr. Robin Todd Wilson for their help to improve while working as a Graduate Teaching Associate and support in finding a full time job a year before completing my graduate coursework. I also want to thank my beautiful wife, Katya. She supported me, helped me to generate nice pictures, loved me, and brought up to the world a beautiful little baby daughter for me during my graduate school years. Lastly, and most importantly, I wish to thank my grandmother who raised me, and my grandfather who taught me and planted in me the idea to pursue graduate studies in mathematics during my childhood years. To their memory I dedicate this thesis. - Vrej Mikaelian iii ABSTRACT The Riemann Mapping Theorem states that any proper simply connected open subset of the complex plane is conformally equivalent to the unit disk. This is an amazing result from complex analysis first proved by Riemann in his 1851 PhD thesis. Since then, several other mathematicians have introduced different, or more compact, versions of the proof of the theorem. This project concerns a visual approach to the proof of the Riemann Mapping Theorem via transformations of circle packings. In chapter 1 we explain the connection between transformations of circle packings and conformal maps. In chapter 2 we illustrate the proof of the theorem due to Riesz. In 1985 Thurston proposed a scheme for constructing the Riemann map as a limit of transformations of circle packings. We explain Thurston’s conjecture and the proof by Rodin-Sullivan in chapter 3. iv List of Figures 1.1 A Riemann mapping. .......................... 2 1.2 A sequence of finite Riemann mappings under fpzq “ z3 : ...... 8 z´i 1.3 A sequence of finite Riemann mappings under fpzq “ z`i : ..... 9 2.1 A classical conformal mapping. .................... 12 3.1 Circle packings of Ω and D. ...................... 21 3.2 Two circle packings and their carriers. 22 3.3 Angle distortions under f: ....................... 28 3.4 n circles surround the unit disk. .................... 29 3.5 Eight unequal vs. equal size circles surround the unit disk. 30 3.6 An n-cycle surrounding the unit disk. 31 v Contents Signature Page ................................. ii Acknowledgements .............................. iii Abstract ..................................... iv List of Figures ................................. v 1 Introduction ................................. 1 1.1 The Riemann Mapping Theorem ................... 1 1.1.1 The Geometry of Conformal Maps. 2 1.2 Thurston’s idea and the method of circle packings . 7 1.3 The Rodin-Sullivan Theorem ...................... 10 2 The Riemann Mapping Theorem .................... 11 2.1 The Proof of Uniqueness ........................ 12 2.2 The Proof of Existence ......................... 13 2.2.1 Reduction to the case Ω Ă D .................. 13 2.2.2 Existence of f :Ω Ď D Ñ D .................. 15 2.2.3 f :Ω Ñ D is surjective ..................... 17 3 Thurston’s Conjecture and Rodin-Sullivan’s Theorem ...... 20 vi 3.1 Convergence of Domain and Range Carriers. 24 3.2 The Convergence of the Functions fE as e Ñ 0: ............ 28 Bibiliography .................................. 34 vii Chapter 1 Introduction 1.1 The Riemann Mapping Theorem The study of mapping properties of holomorphic functions has been of interest to many mathematicians interested in complex analytic function theory. Let D “ tz P C : |z ´ 0| ă 1u be the unit disk. Given an open proper subset Ω of the complex plane C; what conditions on Ω guarantee the existence of a holomorphic bijective function f :Ω Ñ D with f ´1 : D Ñ Ω being holomorphic as well? Finding a solution to this problem would allow mathematicians to transfer questions about analytic functions on Ω; which may have very little geometric structure, to D which has more useful properties. In his PhD thesis in 1851, Bernhard Riemann solved this problem. Theorem 1.1.1. The Riemann Mapping Theorem For any simply connected proper open subset Ω of C; there exists a holomorphic bijection F of Ω onto D the unit disk with a holomorphic inverse. Furthermore, if 1 z0 P Ω; then there exists a unique such F with F pz0q “ 0 and F pz0q ¡ 0: (Figure 1 1.1 illustrates the theorem). Figure 1.1: A Riemann mapping. Riemann proved his theorem using the Dirichlet principle with an assumption that the boundary of Ω is piecewise smooth. For many years there were contro­ versies about this proof until later when David Hilbert was able to prove that the Dirichlet principle is valid under the hypotheses that Riemann was working with. In 1912, Constantin Caratheodory introduced a new proof of the theorem using Riemann surfaces. Later in 1922, Leopold Fejer and Frigyes Riesz published an even shorter version of the proof using Montel’s theorem whereas in Riemann’s proof the desired mapping was obtained as the solution of an extremal problem. This proof is given in Chapter 2. 1.1.1 The Geometry of Conformal Maps. In this subsection we will define conformal mappings and visualize their geometric structure. Then we will show the beautiful connection between conformal bijections and bijective holomorphic functions with nonzero complex derivative. Lastly, we will restate the Riemann Mapping Theorem using the theory of conformal maps. We define a conformal map as a map that preserves angles and orientation at 2 each point of its domain. Here are two examples to get the idea. Example 1.1.2. Let Ω “ tz P C : Repzq ¡ 0u and define a mapping f :Ω Ñ C i π iargpzq i π to be fpzq “ e 4 z with z “ |z|e : Then |fpzq| “ |e 4 ||z| “ |z| and argpfpzqq “ π π π π i 4 i 4 iargp z q ip4 `argp z qq argp e zq “ arg p|z|e e q “ argp|z|e q “ 4 `argpzq : This shows that f π is a rigid rotation about the origin by 4 : The map f preserves angles and orientation which means that it is an example of a conformal map. Example 1.1.3. Let Ω “ tz P C : Repzq ¡ 0u: Define f :Ω Ñ C to be the complex conjugate function defined by fpzq “ z: Then f is the reflection across the real axis. Thus, f is not a conformal map since it preserves angles but reverses the orientation. Let us now take a look at what it means for a map to preserve orientation. Let f “ u ` vi where u :Ω Ñ R and v :Ω Ñ R; so that f :Ω Ñ C determines 2 fR :Ω Ñ R by fRpx; yq “ pupx; yq; vpx; yqq: Definition 1.1.4. A map f preserves orientation at px0; y0q if and only if DfRpx0; y0q has positive determinant. i π 1 x´y x`y Example 1.1.5. Let f z e 4 z ? 1 i x yi ? i ? u vi: p q “ “ 2 p ` qp ` q “ p 2 q ` p 2 q “ ` x´y x`y So f x; y ? ; ? which implies that, Rp q “ pp 2 q p 2 qq u u ?1 ? 1 x y 2´ 2 detpDfRpx0; y0qq “ det “ det “ 1 ¡ 0: v v ??1 1 x y 2 2 ˚ ‹ ˚ ‹ ˝ ‚ ˝ ‚ This shows that f preserves orientation at each point as our intuition suggests. Example 1.1.6. Let fpzq “ z “ x ´ yi: So fRpx; yq “ px; ´yq which implies that, 1 0 det Df x ; y det 1 0: p Rp 0 0qq “ ¨ ˛ “ ´ ă 0 ´1 ˚ ‹ ˝ ‚ 3 Example 1.1.7. Let fp zq “ z2 ` z “ x2 ´ y2 ` x ` p2xy ´ yqi “ upx; yq ` vpx; yqi: 2 2 So fRpx; yq “ px ´ y ` x; 2xy ´ yq which implies that, ux uy 2x ` 1 ´2y det Df x ; y det det 4y2 4x2 1: p Rp 0 0qq “ ¨ ˛ “ ¨ ˛ “ ´ ´ ` vx vy 2y 2x ´ 1 ˚ ‹ ˚ ‹ ˝ ‚ ˝ ‚ 2 2 1 2 So, detpDfp x0 ; y 0qq ¡ 0 if and only if x ` y ă p2 q : This shows that f preserves 1 orientation for all values inside the circle of radius 2 centered at 0 and does not preserve orientation on and outside that circle. Now, to show what it means to preserve angles, we will measure angles between curves by computing angles between the tangent vectors. Meanwhile, we will apply the derivative Dfpx0; y0q to see what fR does to the tangent vectors at px0; y0q: a11 a12 Definition 1.1.8. A two-by-two matrix A “ ¨ ˛ preserves angles if and a21 a22 ˚ ‹ only if there exists p ¡ 0 such that AT A “ pI: ˝ ‚ This is because A preserves angles (as a linear transformation on R2) if it pre­ ~x~¨y T serves dot products up to a scalar p (because we have cos θ “ ? ? ). AA “ pI ~x¨~x ~y¨~y x1 2 2 means that A~x ¨ A~y “ p~x ¨ ~y for all ~x; ~y P R with ~x “ ¨ ˛ P R : This is x2 ˚ ‹ true if and only if pA~xqT pA~yq “ p~xT ~y if and only if ~xT pAA˝T q~y‚ “ p~x T ~y if and only if AT A “ pI which means that if θ1 is the angle between A~x and A~y then A~x¨A~y p~x¨~y p~x¨~y ~x¨~y cospθ1 q “ ? ? “ ? ? “ ?? ““ cospθq: A~x¨A~x A~y¨A~y ~x¨~x p~y¨~y pk~xk pk~yk k~xkk~yk Definition 1.1.9.
Recommended publications
  • Projective Coordinates and Compactification in Elliptic, Parabolic and Hyperbolic 2-D Geometry
    PROJECTIVE COORDINATES AND COMPACTIFICATION IN ELLIPTIC, PARABOLIC AND HYPERBOLIC 2-D GEOMETRY Debapriya Biswas Department of Mathematics, Indian Institute of Technology-Kharagpur, Kharagpur-721302, India. e-mail: d [email protected] Abstract. A result that the upper half plane is not preserved in the hyperbolic case, has implications in physics, geometry and analysis. We discuss in details the introduction of projective coordinates for the EPH cases. We also introduce appropriate compactification for all the three EPH cases, which results in a sphere in the elliptic case, a cylinder in the parabolic case and a crosscap in the hyperbolic case. Key words. EPH Cases, Projective Coordinates, Compactification, M¨obius transformation, Clifford algebra, Lie group. 2010(AMS) Mathematics Subject Classification: Primary 30G35, Secondary 22E46. 1. Introduction Geometry is an essential branch of Mathematics. It deals with the proper- ties of figures in a plane or in space [7]. Perhaps, the most influencial book of all time, is ‘Euclids Elements’, written in around 3000 BC [14]. Since Euclid, geometry usually meant the geometry of Euclidean space of two-dimensions (2-D, Plane geometry) and three-dimensions (3-D, Solid geometry). A close scrutiny of the basis for the traditional Euclidean geometry, had revealed the independence of the parallel axiom from the others and consequently, non- Euclidean geometry was born and in projective geometry, new “points” (i.e., points at infinity and points with complex number coordinates) were intro- duced [1, 3, 9, 26]. In the eighteenth century, under the influence of Steiner, Von Staudt, Chasles and others, projective geometry became one of the chief subjects of mathematical research [7].
    [Show full text]
  • Hyperbolic Geometry
    Hyperbolic Geometry David Gu Yau Mathematics Science Center Tsinghua University Computer Science Department Stony Brook University [email protected] September 12, 2020 David Gu (Stony Brook University) Computational Conformal Geometry September 12, 2020 1 / 65 Uniformization Figure: Closed surface uniformization. David Gu (Stony Brook University) Computational Conformal Geometry September 12, 2020 2 / 65 Hyperbolic Structure Fundamental Group Suppose (S; g) is a closed high genus surface g > 1. The fundamental group is π1(S; q), represented as −1 −1 −1 −1 π1(S; q) = a1; b1; a2; b2; ; ag ; bg a1b1a b ag bg a b : h ··· j 1 1 ··· g g i Universal Covering Space universal covering space of S is S~, the projection map is p : S~ S.A ! deck transformation is an automorphism of S~, ' : S~ S~, p ' = '. All the deck transformations form the Deck transformation! group◦ DeckS~. ' Deck(S~), choose a pointq ~ S~, andγ ~ S~ connectsq ~ and '(~q). The 2 2 ⊂ projection γ = p(~γ) is a loop on S, then we obtain an isomorphism: Deck(S~) π1(S; q);' [γ] ! 7! David Gu (Stony Brook University) Computational Conformal Geometry September 12, 2020 3 / 65 Hyperbolic Structure Uniformization The uniformization metric is ¯g = e2ug, such that the K¯ 1 everywhere. ≡ − 2 Then (S~; ¯g) can be isometrically embedded on the hyperbolic plane H . The On the hyperbolic plane, all the Deck transformations are isometric transformations, Deck(S~) becomes the so-called Fuchsian group, −1 −1 −1 −1 Fuchs(S) = α1; β1; α2; β2; ; αg ; βg α1β1α β αg βg α β : h ··· j 1 1 ··· g g i The Fuchsian group generators are global conformal invariants, and form the coordinates in Teichm¨ullerspace.
    [Show full text]
  • 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]
  • Elliot Glazer Topological Manifolds
    Manifolds and complex structure Elliot Glazer Topological Manifolds • An n-dimensional manifold M is a space that is locally Euclidean, i.e. near any point p of M, we can define points of M by n real coordinates • Curves are 1-dimensional manifolds (1-manifolds) • Surfaces are 2-manifolds • A chart (U, f) is an open subset U of M and a homeomorphism f from U to some open subset of R • An atlas is a set of charts that cover M Some important 2-manifolds A very important 2-manifold Smooth manifolds • We want manifolds to have more than just topological structure • There should be compatibility between intersecting charts • For intersecting charts (U, f), (V, g), we define a natural transition map from one set of coordinates to the other • A manifold is C^k if it has an atlas consisting of charts with C^k transition maps • Of particular importance are smooth maps • Whitney embedding theorem: smooth m-manifolds can be smoothly embedded into R^{2m} Complex manifolds • An n-dimensional complex manifold is a space such that, near any point p, each point can be defined by n complex coordinates, and the transition maps are holomorphic (complex structure) • A manifold with n complex dimensions is also a real manifold with 2n dimensions, but with a complex structure • Complex 1-manifolds are called Riemann surfaces (surfaces because they have 2 real dimensions) • Holoorphi futios are rigid sie they are defied y accumulating sets • Whitney embedding theorem does not extend to complex manifolds Classifying Riemann surfaces • 3 basic Riemann surfaces • The complex plane • The unit disk (distinct from plane by Liouville theorem) • Riemann sphere (aka the extended complex plane), uses two charts • Uniformization theorem: simply connected Riemann surfaces are conformally equivalent to one of these three .
    [Show full text]
  • The Classical Groups and Domains 1. the Disk, Upper Half-Plane, SL 2(R
    (June 8, 2018) The Classical Groups and Domains Paul Garrett [email protected] http:=/www.math.umn.edu/egarrett/ The complex unit disk D = fz 2 C : jzj < 1g has four families of generalizations to bounded open subsets in Cn with groups acting transitively upon them. Such domains, defined more precisely below, are bounded symmetric domains. First, we recall some standard facts about the unit disk, the upper half-plane, the ambient complex projective line, and corresponding groups acting by linear fractional (M¨obius)transformations. Happily, many of the higher- dimensional bounded symmetric domains behave in a manner that is a simple extension of this simplest case. 1. The disk, upper half-plane, SL2(R), and U(1; 1) 2. Classical groups over C and over R 3. The four families of self-adjoint cones 4. The four families of classical domains 5. Harish-Chandra's and Borel's realization of domains 1. The disk, upper half-plane, SL2(R), and U(1; 1) The group a b GL ( ) = f : a; b; c; d 2 ; ad − bc 6= 0g 2 C c d C acts on the extended complex plane C [ 1 by linear fractional transformations a b az + b (z) = c d cz + d with the traditional natural convention about arithmetic with 1. But we can be more precise, in a form helpful for higher-dimensional cases: introduce homogeneous coordinates for the complex projective line P1, by defining P1 to be a set of cosets u 1 = f : not both u; v are 0g= × = 2 − f0g = × P v C C C where C× acts by scalar multiplication.
    [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 Chazy XII Equation and Schwarz Triangle Functions
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 13 (2017), 095, 24 pages The Chazy XII Equation and Schwarz Triangle Functions Oksana BIHUN and Sarbarish CHAKRAVARTY Department of Mathematics, University of Colorado, Colorado Springs, CO 80918, USA E-mail: [email protected], [email protected] Received June 21, 2017, in final form December 12, 2017; Published online December 25, 2017 https://doi.org/10.3842/SIGMA.2017.095 Abstract. Dubrovin [Lecture Notes in Math., Vol. 1620, Springer, Berlin, 1996, 120{348] showed that the Chazy XII equation y000 − 2yy00 + 3y02 = K(6y0 − y2)2, K 2 C, is equivalent to a projective-invariant equation for an affine connection on a one-dimensional complex manifold with projective structure. By exploiting this geometric connection it is shown that the Chazy XII solution, for certain values of K, can be expressed as y = a1w1 +a2w2 +a3w3 where wi solve the generalized Darboux{Halphen system. This relationship holds only for certain values of the coefficients (a1; a2; a3) and the Darboux{Halphen parameters (α; β; γ), which are enumerated in Table2. Consequently, the Chazy XII solution y(z) is parametrized by a particular class of Schwarz triangle functions S(α; β; γ; z) which are used to represent the solutions wi of the Darboux{Halphen system. The paper only considers the case where α + β +γ < 1. The associated triangle functions are related among themselves via rational maps that are derived from the classical algebraic transformations of hypergeometric functions. The Chazy XII equation is also shown to be equivalent to a Ramanujan-type differential system for a triple (P;^ Q;^ R^).
    [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 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]