Primitive Tuning Via Quasiconformal Surgery

Total Page:16

File Type:pdf, Size:1020Kb

Primitive Tuning Via Quasiconformal Surgery PRIMITIVE TUNING VIA QUASICONFORMAL SURGERY WEIXIAO SHEN AND YIMIN WANG Abstract. Using quasiconformal surgery, we prove that any primitive, postcritically-finite hy- perbolic polynomial can be tuned with an arbitrary generalized polynomial with non-escaping critical points, generalizing a result of Douady-Hubbard for quadratic polynomials to the case of higher degree polynomials. This solves affirmatively a conjecture by Inou and Kiwi on surjectivity of the renormalization operator on higher degree polynomials in one complex variable. 1. Introduction Quasiconformal surgery is a powerful technique in the theory of holomorphic dynamics of one variable. The process often consists of two steps. First, we construct a quasi-regular map with certain dynamical properties, by modifying part of a holomorphic dynamical system, or extending the definition of a partially defined holomorphic dynamical system. Then we prove existence of a rational map which is (essentially) conjugate to the quasi-regular mapping. Successful applications of this technique include Douady-Hubbard’s theory of polynomial-like mappings ([5]) and Shishikura’s sharp bounds on the number of Fatou cycles ([20]), among others. Tuning is an operator introduced by Douady-Hubbard [5] to prove existence of small copies in the Mandelbrot set. Recall that the Mandelbort set consists of all complex numbers c for which 2 2 Pc(z) = z + c has a connected Julia set. Let Pa(z) = z + a be a quadratic polynomial for which the critical point 0 has period p. Douady-Hubbard proved that there is a homeomorphism τ = τa, from M into itself with τa(0) = a and with the property that the p-th iterate of Pτ(c) has a quadratic-like restriction which is hybrid equivalent to Pc. Intuitively, the filled Julia set of Pτ(c) is obtained from that of Pa by replacing each bounded Fatou component of Pa with a copy of the filled Julia set of Pc. Douady-Hubbard’s argument involved detailed knowledge of the combinatorics of the Mandelbrot set and also continuity of the straightening map in the quadratic case, and thus breaks down for higher degree polynomials. In [9], Inou-Kiwi defined a natural analogy of the map χ = τ −1 for higher degree polynomials, which we will call the IK straightening map. Given a postcritically finite hyperbolic polynomial f0 of degree d ≥ 2, together with an internal angle system, they defined a map χ from a certain space R(f0) into a space C(T ) which consists of generalized polynomials over the reduced mapping scheme T = T (f0) of f0 with fiberwise connected Julia set. The map χ is injective and in general not continuous [8]. The map f ∈ R(f0) is the tuning of f0 with χ(f) in the sense of Douady and arXiv:2010.05199v1 [math.DS] 11 Oct 2020 Hubbard when the Julia set χ(f) is fiberwise locally connected. In the case that f0 is primitive, i.e. the bounded Fatou components have pairwise disjoint closures, the set R(f0) coincide with a combinatorially defined set C(f0) which is known to be compact. Inou-Kiwi’s argument is mostly combinatorial and they posed a conjecture that in the case that f0 is primitive, χ is surjective and with connected domain. The fact that χ is surjective means that f0 can be tuned by every g ∈C(T ). Date: October 13, 2020. 1 2 WEIXIAO SHEN AND YIMIN WANG In this paper, we shall prove the conjecture of Inou and Kiwi, using quasiconformal surgery technique. In particular, this shows that a primitive postcritically finite hyperbolic map f0 can be tuned by each g ∈C(T (f0)). Main Theorem. Let f0 be a postcritically finite hyperbolic polynomial that is primitive and fix an internal angle system for f0. Then the IK straightening map χ : C(f0) → C(T ) is bijective and C(f0) is connected. We shall recall the definition of Inou-Kiwi’s straightening map later. Let us just mention now d that if f0(z)= z + a for some a ∈ C then C(T ) is the set of all monic centered polynomials of degree d which have connected Julia sets. The main part of the proof is to show the surjectivity of the map χ. It is fairly easy to construct a quasi-regular map f which has a generalized polynomial-like restriction hybrid equivalent to a given generalized polynomial in C(T ), via qc surgery in a union of annuli domains around the critical Fatou domainse of f0. In order to show that there is a polynomial map with essentially the same dynamics as f, we run Thurston’s algorithm to f. We modify an argument of Rivera- Letelier [12] to show the convergence. In order to control distortion, we use a result of Kahn [13] on removability of certaine Julia sets. After surjectivity is proved,e we deduce connectivity of C(f0) from that of C(T ) which is a theorem of Branner-Hubbard [1] and Lavaurs [14]. In [3], qc surgery was successfully applied to construct intertwining tuning. Our case is more complicated since the surgery involves the non wandering set of the dynamics. The paper is organized as follows. In §2, we recall definition of generalized polynomial-like maps and the IK straightening map. In §3, we construct a specific Yoccoz puzzle for postcrit- ically finite hyperbolic primitive polynomials which is used to construct renormalizations. In §4, we prove a technical distortion lemma. In §5, we prove a convergence theorem for Thurston algorithm. The proof of the main theorem is given in §6 using qc surgery. Acknowledgment. We would like to thank the referee for carefully reading the paper and in particular, for pointing out an error in Section 3 of the first version. This work was supported by NSFC No. 11731003. 2. The IK straightening map We recall some basic notations and the definition of IK straightening maps. The multi-critical nature of the problem makes the definition a bit complicated. Let Polyd denote the set of all monic centered polynomials of degree d, i.e. polynomials of the d d−2 form z 7→ z + ad−2z + ··· + a0, with a0,a1, ··· ,ad−2 ∈ C. For each f ∈ Polyd, let K(f) and J(f) denote the filled Julia set and the Julia set respectively. Let P (f) denote the postcritical set of f: ∞ P (f)= {f n(c)}. ′ C n=1 f (c)=0[,c∈ [ Let Cd = {f ∈ Polyd : K(f) is connected}. 2.1. External Rays and Equipotential Curves. For f ∈ Polyd, the Green function is defined as 1 + n Gf (z) = lim log |f (z)|, n→∞ dn where log+ = max(log, 0). The Green function is continuous and subharmonic in C, satisfy- ing Gf (f(z)) = dGf (z). It is nonnegative, harmonic and takes positive values exactly in the PRIMITIVETUNINGVIAQUASICONFORMALSURGERY 3 attracting basin of ∞ n Bf (∞) := {z ∈ C | f (z) → ∞ as n → ∞} = C \ K(f). Assume f ∈Cd. Then there exists a unique conformal map φf : Bf (∞) →{z | |z| > 1} d such that φ(z)/z → 1 as z → ∞ and such that φf ◦ f(z) = (φf (z)) on Bf (∞). The external ray of angle t ∈ R/Z is defined as −1 i2πt Rf (t)= {φf (re ) | 1 <r< ∞}, and the equipotential curve of pontential l ∈ (0, ∞) as −1 l+i2πθ Ef (l)= {φf (e ) | 0 ≤ θ< 1}. −1 i2πt We say the external ray Rf (t) lands at some point z0 if limr→1 φf (re )= z0. It is known that for each t ∈ Q/Z, Rf (t) lands at some point. On the other hand, if z0 is a repelling or parabolic periodic point, then there exists at least one but at most finitely many external rays landing at z0. See for example [16]. The rational lamination of f, denoted by λ(f), is the equivalence relation on Q/Z so that θ1 ∼ θ2 if and only if Rf (θ1) and Rf (θ2) land at the same point. 2.2. Generalized polynomials over a scheme. Now let us consider a postcritically finite hyperbolic polynomial f0. Following Milnor [17], we define the reduced mapping scheme T (= T (f0)) = (|T |,σ,δ) of f0 as follows. Let |T | denote the collection of critical bounded Fatou components of f0. For r(v) each v ∈ |T |, let r(v) be the minimal positive integer such that f0 (v) is again a critical Fatou component. Define σ : |T | → |T | and δ : |T |→{2, 3, ···} by r(v) r(v) σ(v)= f0 (v) and δ(v) = deg(f0 |v) = deg(f0|v). Definition 2.1 (Generalized Polynomials). A generalized polynomial g over T is a map g : |T |× C → |T |× C such that g(v,z) = (σ(v),gv(z)) where gv(z) is a monic centered polynomial of degree δ(v). Denote by P (T ) the set of all generalized polynomials over the scheme T . Given g ∈ P (T ), the filled Julia set K(g) of g is the set of points in |T |× C whose forward orbits are precompact. The boundary ∂K(g) of the filled Julia set is called the Julia set J(g) of g. The filled Julia set K(g) is called fiberwise connected if K(g, v) := K(g) ∩ ({v}× C) is connected for each v ∈ |T |. Let C(T ) be the set of all the generalized polynomials with fiberwise connected filled Julia set over T . We shall need external rays and Green function for g ∈C(T ) which can be defined similarly as in the case of a single polynomial. Indeed, for each v ∈ |T | there exists a unique conformal ϕv,g : C \ K(g, v) → C \ D such that ϕv,g(z)/z → 1 as z → ∞ and these maps satisfy ϕσ(v),g(gv(z)) = δ(v) −1 2πit ϕv,g(z) .
Recommended publications
  • Quasiconformal Mappings, Complex Dynamics and Moduli Spaces
    Quasiconformal mappings, complex dynamics and moduli spaces Alexey Glutsyuk April 4, 2017 Lecture notes of a course at the HSE, Spring semester, 2017 Contents 1 Almost complex structures, integrability, quasiconformal mappings 2 1.1 Almost complex structures and quasiconformal mappings. Main theorems . 2 1.2 The Beltrami Equation. Dependence of the quasiconformal homeomorphism on parameter . 4 2 Complex dynamics 5 2.1 Normal families. Montel Theorem . 6 2.2 Rational dynamics: basic theory . 6 2.3 Local dynamics at neutral periodic points and periodic components of the Fatou set . 9 2.4 Critical orbits. Upper bound of the number of non-repelling periodic orbits . 12 2.5 Density of repelling periodic points in the Julia set . 15 2.6 Sullivan No Wandering Domain Theorem . 15 2.7 Hyperbolicity. Fatou Conjecture. The Mandelbrot set . 18 2.8 J-stability and structural stability: main theorems and conjecture . 21 2.9 Holomorphic motions . 22 2.10 Quasiconformality: different definitions. Proof of Lemma 2.78 . 24 2.11 Characterization and density of J-stability . 25 2.12 Characterization and density of structural stability . 27 2.13 Proof of Theorem 2.90 . 32 2.14 On structural stability in the class of quadratic polynomials and Quadratic Fatou Conjecture . 32 2.15 Structural stability, invariant line fields and Teichm¨ullerspaces: general case 34 3 Kleinian groups 37 The classical Poincar´e{Koebe Uniformization theorem states that each simply connected Riemann surface is conformally equivalent to either the Riemann sphere, or complex line C, or unit disk D1. The quasiconformal mapping theory created by M.A.Lavrentiev and C.
    [Show full text]
  • On the Combinatorics of External Rays in the Dynamics of the Complex Henon
    ON THE COMBINATORICS OF EXTERNAL RAYS IN THE DYNAMICS OF THE COMPLEX HENON MAP. A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy by Ricardo Antonio Oliva May 1998 c Ricardo Antonio Oliva 1998 ALL RIGHTS RESERVED Addendum. This is a slightly revised version of my doctoral thesis: some typing and spelling mistakes have been corrected and a few sentences have been re-worded for better legibility (particularly in section 4.3). Also, to create a nicer pdf document with hyperref, the title of section 3.3.2 has been made shorter. The original title was A model for a map with an attracting fixed point as well as a period-3 sink: the (3-1)-graph. ON THE COMBINATORICS OF EXTERNAL RAYS IN THE DYNAMICS OF THE COMPLEX HENON MAP. Ricardo Antonio Oliva , Ph.D. Cornell University 1998 We present combinatorial models that describe quotients of the solenoid arising from the dynamics of the complex H´enon map 2 2 2 fa,c : C → C , (x, y) → (x + c − ay, x). These models encode identifications of external rays for specific mappings in the H´enon family. We investigate the structure of a region of parameter space in R2 empirically, using computational tools we developed for this study. We give a combi- natorial description of bifurcations arising from changes in the set of identifications of external rays. Our techniques enable us to detect, predict, and locate bifurca- tion curves in parameter space. We describe a specific family of bifurcations in a region of real parameter space for which the mappings were expected to have sim- ple dynamics.
    [Show full text]
  • ONE HUNDRED YEARS of COMPLEX DYNAMICS the Subject of Complex Dynamics, That Is, the Behaviour of Orbits of Holomorphic Functions
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of Liverpool Repository ONE HUNDRED YEARS OF COMPLEX DYNAMICS MARY REES The subject of Complex Dynamics, that is, the behaviour of orbits of holomorphic functions, emerged in the papers produced, independently, by Fatou and Julia, almost 100 years ago. Although the subject of Dynami- cal Systems did not then have a name, the dynamical properties found for holomorphic systems, even in these early researches, were so striking, so unusually comprehensive, and yet so varied, that these systems still attract widespread fascination, 100 years later. The first distinctive feature of iter- ation of a single holomorphic map f is the partition of either the complex plane or the Riemann sphere into two sets which are totally invariant under f: the Julia set | closed, nonempty, perfect, with dynamics which might loosely be called chaotic | and its complement | open, possibly empty, but, if non-empty, then with dynamics which were completely classified by the two pioneering researchers, modulo a few simply stated open questions. Before the subject re-emerged into prominence in the 1980's, the Julia set was alternately called the Fatou set, but Paul Blanchard introduced the idea of calling its complement the Fatou set, and this was immediately universally accepted. Probably the main reason for the remarkable rise in interest in complex dynamics, about thirty-five years ago, was the parallel with the subject of Kleinian groups, and hence with the whole subject of hyperbolic geome- try. A Kleinian group acting on the Riemann sphere is a dynamical system, with the sphere splitting into two disjoint invariant subsets, with the limit set and its complement, the domain of discontinuity, having exactly similar properties to the Julia and Fatou sets.
    [Show full text]
  • Early Days in Complex Dynamics: a History of Complex Dynamics in One Variable During 1906–1942, by Daniel S
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 50, Number 3, July 2013, Pages 503–511 S 0273-0979(2013)01408-3 Article electronically published on April 17, 2013 Early days in complex dynamics: a history of complex dynamics in one variable during 1906–1942, by Daniel S. Alexander, Felice Iavernaro, and Alessandro Rosa, History of Mathematics, 38, American Mathematical Society, Providence, RI, London Mathematical Society, London, 2012, xviii+454 pp., ISBN 978-0- 8218-4464-9, US $99.00 Some time ago, on my way to a special lecture at the Fields Institute, I overheard a couple of graduate students whispering in the corridor: - Are you coming to Shishikura’s talk? -Who’sthat? - The guy who proved that the boundary of the Mandelbrot set has Hausdorff dimension two. - Sweet! That was not the topic of the talk (in fact, HD(∂M) = 2 had been proven 15 years earlier), so it was telling that they even knew what the notions were in the statement. To me, this conversation is symbolic of how much the language of complex dynamics has permeated mathematical culture since the early 1980s, when it was preposterous to think of doing serious research on the properties of quadratic polynomials.1 Back then much of the subject’s popularity had to do with the pretty pictures. A few lines of computer code were enough to start exploring an endless variety of fractal shapes, and ever since then, Julia sets have decorated calculus books, art galleries, and cereal boxes. But there was serious research to be done, and complex dynamics is today a vital branch of dynamical systems that has developed deep connections to differential equations, geometric group theory, harmonic analysis, algebraic number theory, and many other subjects.
    [Show full text]
  • Complex Dynamics and Renormalization
    Complex Dynamics and Renormalization by Curtis T. McMullen Contents 1 Introduction 1 1.1 Complexdynamics .................... 1 1.2 Centralconjectures. 3 1.3 Summaryofcontents. 6 2 Background in conformal geometry 9 2.1 Themodulusofanannulus . 10 2.2 Thehyperbolicmetric . 11 2.3 Metric aspects of annuli . 13 2.4 Univalentmaps ...................... 15 2.5 Normalfamilies.. .. .. .. .. .. .. 17 2.6 Quasiconformalmaps . 18 2.7 Measurablesets.. .. .. .. .. .. .. 19 2.8 Absoluteareazero . 20 2.9 Thecollartheorem . 22 2.10 The complex shortest interval argument . 27 2.11 Controlling holomorphic contraction . 30 3 Dynamics of rational maps 35 3.1 TheJuliaandFatousets. 36 3.2 Expansion......................... 38 3.3 Ergodicity......................... 42 3.4 Hyperbolicity ....................... 44 3.5 Invariant line fields and complex tori . 47 4 Holomorphic motions and the Mandelbrot set 53 4.1 Stability of rational maps . 53 4.2 TheMandelbrotset .. .. .. .. .. .. 59 i 5 Compactness in holomorphic dynamics 65 5.1 Convergence of Riemann mappings . 66 5.2 Propermaps ....................... 67 5.3 Polynomial-like maps . 71 5.4 Intersecting polynomial-like maps . 74 5.5 Polynomial-like maps inside proper maps . 75 5.6 Univalent line fields . 78 6 Polynomials and external rays 83 6.1 Accessibility........................ 83 6.2 Polynomials........................ 87 6.3 Eventual surjectivity . 89 6.4 Laminations........................ 91 7 Renormalization 97 7.1 Quadraticpolynomials . 97 7.2 Small Julia sets meeting at periodic points . 102 7.3 Simple renormalization . 109 7.4 Examples .........................113 8 Puzzles and infinite renormalization 121 8.1 Infinite renormalization . 121 8.2 The Yoccoz jigsaw puzzle . 123 8.3 Infinite simple renormalization . 126 8.4 Measure and local connectivity . 128 8.5 Laminations and tableaux .
    [Show full text]
  • Mating the Basilica with a Siegel Disk
    CONFORMAL GEOMETRY AND DYNAMICS An Electronic Journal of the American Mathematical Society Volume 19, Pages 258–297 (November 19, 2015) http://dx.doi.org/10.1090/ecgd/284 MATING THE BASILICA WITH A SIEGEL DISK JONGUK YANG Abstract. Let fS be a quadratic polynomial with a fixed Siegel disc of bounded type. Using an adaptation of complex a priori bounds for critical circle maps, we prove that fS is conformally mateable with the basilica poly- 2 nomial fB(z):=z − 1. 1. The definition of mating The simplest non-linear examples of holomorphic dynamical systems are given by quadratic polynomials in C. By a linear change of coordinates, any quadratic polynomial can be uniquely normalized as 2 fc(z):=z + c for some c ∈ C. This is referred to as the quadratic family. The critical points for fc are ∞ and 0. Observe that ∞ is a superattracting fixed ∞ ∞ point for fc.LetAc be the attracting basin of . It follows from the maximum ∞ ∞ modulus principle that Ac is a connected set. The complement of Ac is called the filled Julia set Kc. The boundary of Kc is equal to the Julia set Jc. The non-escape locus in the parameter space for fc (referred to as the Mandel- brot set)isdefinedasacompactsubsetofC: M { ∈ C | ∈ ∞} := c 0 / Ac , which is known to be connected (see [DH]). It is not difficult to prove that Jc is ∞ ∈M connected (and therefore, Ac is simply connected) if and only if c .Infact, if c/∈M,thenJc = Kc is a Cantor set, and the dynamics of fc restricted to Jc is conjugate to the dyadic shift map (see [M2]).
    [Show full text]
  • Early Days in Complex Dynamics: a History of Complex Dynamics in One Variable During 1906–1942, by Daniel S
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 50, Number 3, July 2013, Pages 503–511 S 0273-0979(2013)01408-3 Article electronically published on April 17, 2013 Early days in complex dynamics: a history of complex dynamics in one variable during 1906–1942, by Daniel S. Alexander, Felice Iavernaro, and Alessandro Rosa, History of Mathematics, 38, American Mathematical Society, Providence, RI, London Mathematical Society, London, 2012, xviii+454 pp., ISBN 978-0- 8218-4464-9, US $99.00 Some time ago, on my way to a special lecture at the Fields Institute, I overheard a couple of graduate students whispering in the corridor: - Are you coming to Shishikura’s talk? -Who’sthat? - The guy who proved that the boundary of the Mandelbrot set has Hausdorff dimension two. - Sweet! That was not the topic of the talk (in fact, HD(∂M) = 2 had been proven 15 years earlier), so it was telling that they even knew what the notions were in the statement. To me, this conversation is symbolic of how much the language of complex dynamics has permeated mathematical culture since the early 1980s, when it was preposterous to think of doing serious research on the properties of quadratic polynomials.1 Back then much of the subject’s popularity had to do with the pretty pictures. A few lines of computer code were enough to start exploring an endless variety of fractal shapes, and ever since then, Julia sets have decorated calculus books, art galleries, and cereal boxes. But there was serious research to be done, and complex dynamics is today a vital branch of dynamical systems that has developed deep connections to differential equations, geometric group theory, harmonic analysis, algebraic number theory, and many other subjects.
    [Show full text]
  • Complex Analysis of Holomorphism Over Functions, Sets and Mappings
    IOSR Journal of Mathematics (IOSR-JM) e-ISSN: 2278-5728, p-ISSN: 2319-765X. Volume 14, Issue 1 Ver. I (Jan. - Feb. 2018), PP 22-26 www.iosrjournals.org Complex Analysis of Holomorphism over Functions, Sets and Mappings. 1Ahmed Amer Mohammed Fawze, 2*S.Balavidhya 1Department of Mathematics, Acharya Institute of Graduate Studies, Bangalore, Karnataka, India *2Assistant Professor, Department of Mathematics, Gopalan College of Engineering and Management, Bangalore, Karnataka, India Corresponding author: S.Balavidhya Abstract: An analysis of complex functions and mapping that are holomorphic in nature are studied and discussed in this paper through Riemann surfaces, which involves Riemann Mapping theorem and Caratheodory’s theorem. Furthermore Montel’s theorem, Runge’s theorem and Mergelyan’s theorem over the holomorphic nature is studied with its basic properties and developed in this paper. To enhance the reliability over the nature of holomorphism the metrics of Riemann surface and conformal maps of plane to disk is analyzed and studied in this paper. Keywords: Holomorphic functions, Conformal mapping, Riemann mappings, Riemann surface and Holomorphic open sets. --------------------------------------------------------------------------------------------------------------------------------------- Date of Submission: 27-12-2017 Date of acceptance: 16-01-2018 ----------------------------------------------------------------------------------------------------------------------------- ---------- I. Inroduction Mathematical analysis that investigates
    [Show full text]
  • Complex Analytical Dynamics on the Riemann Sphere
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 11, Number 1, July 1984 COMPLEX ANALYTIC DYNAMICS ON THE RIEMANN SPHERE BY PAUL BLANCHARD Table of Contents 1. Background and notation 2. The dynamical dichotomy of Fatou and Julia 3. Periodic points 4. The consequences of Montel's Theorem 5. The Julia set is the closure of the set of repelling periodic points 6. Classical results concerning the Fatou set 7. Sullivan's classification of the Fatou set 8. A condition for expansion on the Julia set 9. The dynamics of polynomials 10. The Mandelbrot set and the work of Douady and Hubbard 11. The measurable Riemann mapping theorem and analytic dynamics 12. Bibliographic notes List of notation References Holomorphic, noninvertible dynamical systems of the Riemann sphere are surprisingly intricate and beautiful. Often the indecomposable, completely invariant sets are fractals (à la Mandelbrot [Ml]) because, in fact, they are quasi-self-similar (see Sullivan [S3] and (8.5)). Sometimes they are nowhere differentiable Jordan curves whose Hausdorff dimension is greater than one (Sullivan [S4] and Ruelle [R]). Yet these sets are determined by a single analytic fynction zn+1 = R(zn) of a single complex variable. The study of this subject began during the First World War. Both P. Fatou and G. Julia independently published a number of Compte Rendu notes, and then both wrote long memoires—Julia [J] in 1918 and Fatou [F1-F3] in 1919 and 1920. At that time, they had at their disposal a new theorem of Montel (see (4.1)) which gave a sufficient condition for the normality of a family of meromorphic functions.
    [Show full text]
  • Dynamics of Complex Unicritical Polynomials
    Dynamics of complex unicritical polynomials A Dissertation Presented by Davoud Cheraghi to The Graduate School in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in Mathematics Stony Brook University August 2009 Stony Brook University The Graduate School Davoud Cheraghi We, the dissertation committee for the above candidate for the Doctor of Philosophy degree, hereby recommend acceptance of this dissertation. Mikhail M. Lyubich Professor of Mathematics, Stony Brook University Dissertation Advisor John Milnor Distinguished Professor of Mathematics, Stony Brook University Chairperson of Defense Dennis Sullivan Distinguished Professor of Mathematics, Stony Brook University Inside Member Saeed Zakeri Assitant Professor of Mathematics, City University of New York Outside Member This dissertation is accepted by the Graduate School. Lawrence Martin Dean of the Graduate School ii Abstract of the Dissertation Dynamics of complex unicritical polynomials by Davoud Cheraghi Doctor of Philosophy in Mathematics Stony Brook University 2009 In this dissertation we study two relatively independent problems in one dimensional complex dynamics. One on the parameter space of unicritical polynomials and the other one on measurable dynamics of certain quadratic polynomials with positive area Julia sets. It has been conjectured that combinatorially equivalent non-hyperbolic uni- critical polynomials are conformally conjugate. The conjecture has been al- ready established for finitely renormalizable unicritical polynomials. In the first part of this work we prove that a type of compactness, called a priori bounds, on the renormalization levels of a unicritical polynomial, under a cer- tain combinatorial condition, implies this conjecture. It has been recently shown that there are quadratic polynomials with pos- itive area Julia set.
    [Show full text]
  • Complex Analysis
    Complex Analysis Michael Brilleslyper, United States Air Force Academy (Chair) Julia Barnes, Western Carolina University Matthias Beck, San Francisco University Stephanie Edwards, Hope College Complex analysis is one of the most beautiful as well as useful branches of mathematics. --Murray R. Spiegel. Introduction: Complex analysis is indeed a beautiful and useful branch of mathematics. It is one of the classical subjects with most of the main results extending back into the nineteenth century and earlier. Yet, the subject is far from dormant. It is a launching point for many areas of research and it continues to find new areas of applicability, from pure mathematics to applied physics. Many of the giants of mathematics have contributed to the development of complex analysis. Names such as Euler, Cauchy, Gauss, Riemann, and Weierstrass are common occurrences among its list of important results. Technology has opened additional avenues of study using complex analysis, from fractals to color-enhanced methods for visualization. Complex analysis is an important component of the mathematical landscape, unifying many topics from the standard undergraduate curriculum. It can serve as an effective capstone course for the mathematics major and as a stepping stone to independent research or to the pursuit of higher mathematics in graduate school. In preparing this report, it quickly became apparent that providing guidelines for an undergraduate course in complex analysis would be an exercise in compromise. The subject, its range of applications, and the multitude of additional resources that can be employed is vast. The content of a particular course and the pedagogical methods used depend on many factors: the background of the students, the technological resources that are available, the textbook chosen, the interests of the students, the role of the course within the program of study, and the whims of the instructor, to name just a few.
    [Show full text]
  • Real Laminations and the Topological Dynamics of Complex Polynomials
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector ARTICLE IN PRESS Advances in Mathematics 184 (2004) 207–267 http://www.elsevier.com/locate/aim Real laminations and the topological dynamics of complex polynomials Jan Kiwi1 Facultad de Matema´ticas, Pontificia Universidad Cato´lica, Casilla 306, Correo 22, Santiago, Chile Received 25 March 2002; accepted 28 March 2003 Communicated by R.D. Mauldin Abstract We characterize the laminations associated to complex polynomials with connected Julia sets and without irrationally neutral cycles. r 2003 Elsevier Science (USA). All rights reserved. MSC: 37F20 Keywords: Julia sets; Laminations 1. Introduction The main purpose of this paper is to study the topological dynamics of polynomials f : C-C with connected Julia sets and without irrationally neutral cycles. Inspired by the work of Levin [18] and by classical results in one real- dimensional dynamics (e.g. see [5]), we consider the dynamical system obtained after collapsing the wandering connected sets contained in the Julia set Jð f Þ of such a polynomial f : The main result of this paper is to give a complete description of the dynamical systems which arise from this collapsing procedure. To be more precise we fix a degree dX2 monic polynomial f : C-C with connected Julia set Jð f Þ and without irrationally neutral cycles. We consider the topological space Xf which is the quotient of Jð f Þ by the equivalence relation (see Remark 5.4) that identifies two distinct points if and only if they lie in a wandering E-mail address: [email protected].
    [Show full text]