Sullivan's no wandering domains theorem

Sullivan's no wandering domains theorem
Name	Dennis Sullivan
Birth date	1941
Known for	Sullivan's no wandering domains theorem
Field	Mathematics
Awards	Fields Medal, Abel Prize

Sullivan's no wandering domains theorem Sullivan's no wandering domains theorem is a landmark result in complex dynamics establishing that rational maps on the Riemann sphere have no wandering Fatou components. The theorem resolved a long-standing conjecture and linked techniques from Teichmüller theory, hyperbolic geometry, quasiconformal mappings, and ergodic theory to the study of iteration of rational functions. It had immediate impact on subsequent work by researchers in holomorphic dynamics, geometric topology, low-dimensional topology, and complex analysis.

Statement of the theorem

Sullivan proved that for a non‑constant rational map on the Riemann sphere, every Fatou component is eventually periodic: there are no wandering domains. The statement connects the dynamics of iterates of a rational map to the classification of Fatou components as periodic, preperiodic, or wandering, and asserts the impossibility of the latter for rational maps. This resolved a conjecture posed in the literature on iteration of holomorphic maps and influenced related questions for transcendental entire maps and meromorphic functions studied by researchers influenced by Pierre Fatou, Gaston Julia, Mary Cartwright, and John Littlewood.

Historical context and motivation

The theorem emerged from decades of work in complex dynamics tracing back to the foundational papers of Gaston Julia and Pierre Fatou in the early 20th century. Interest revived in the 1950s–1970s through contributions by figures associated with Dynamical Systems revival such as Mitchell Feigenbaum, John Milnor, Adrien Douady, and Curt McMullen. A central motivating problem was the wandering domain conjecture for rational maps, debated at seminars in institutions like Princeton University, Harvard University, and Institute for Advanced Study. Sullivan announced the theorem in the 1980s, with proofs presented in talks at venues including International Congress of Mathematicians gatherings and at seminars led by figures like William Thurston and Michael Shub.

Key concepts and definitions

Fatou component: a maximal open set where iterates form a normal family; introduced by Pierre Fatou and studied with Gaston Julia; these components are classified into attracting basins, parabolic basins, Siegel disks, and Herman rings. Julia set: the complement in the Riemann sphere of the Fatou set; a compact, perfect set whose dynamics are chaotic, central to the work of Gaston Julia and Pierre Fatou. Rational map: a map given by a quotient of polynomials on the Riemann sphere; studied within complex analysis and algebraic geometry by mathematicians associated with Alexander Grothendieck and Bernard Riemann. Quasiconformal mapping: a homeomorphism with bounded dilatation; key tools developed by researchers like Ahlfors and Lars V. Ahlfors used by Sullivan. Teichmüller space: moduli of conformal structures on surfaces; foundational for the proof and associated to work of Oswald Teichmüller and Lipman Bers. Hyperbolic geometry: geometric framework exploited via ideas from William Thurston and Gromov to control deformation spaces in dynamics. Invariant laminations and measures: concepts connected to George D. Birkhoff and John von Neumann style ergodic theory techniques used in the argument.

Outline of Sullivan's proof

Sullivan combined quasiconformal deformation theory with rigidity results from Teichmüller theory and hyperbolic geometry to preclude wandering behavior. The proof constructs a family of quasiconformal deformations of a hypothetical wandering domain and uses compactness in Teichmüller space to obtain a contradiction via rigidity principles reminiscent of results by William Thurston on surface homeomorphisms. Sullivan applied measurable Riemann mapping theorem techniques attributed to Lars Ahlfors and Oswald Teichmüller, and used ergodic considerations similar to those in the work of Sinai and Kolmogorov to control invariant line fields. The argument invokes classification results on periodic Fatou components by analysts following Carleson and Gamelin and leverages structural theorems developed in seminars at Princeton University and Harvard University.

Consequences and applications

The theorem established rigidity phenomena in holomorphic dynamics, informing results by Curt McMullen, John Milnor, Adrien Douady, Jennifer Cabot, and others on parameter spaces like the Mandelbrot set studied by Benoit Mandelbrot. It influenced proofs of density of hyperbolicity conjectures explored by groups at University of Cambridge and University of Chicago, and guided work on renormalization influenced by Mitchell Feigenbaum and Michael Feigenbaum. The methods extended to constraints on invariant line fields, impacted classification programs for rational maps pursued by Mary Rees and Curtis T. McMullen, and motivated analogues for entire functions studied by Walter Rudin-adjacent schools. The theorem also found cross-disciplinary echoes in geometric group theory programs associated with Gromov and in deformation theory explored at Institute for Advanced Study.

Examples and non-examples

Examples illustrating the theorem include classical quadratic polynomials studied by Adrien Douady and John H. Hubbard where Fatou components are attracting basins, Siegel disks, or parabolic basins, and are never wandering. Non-examples appear outside the theorem's hypotheses: transcendental entire functions exhibit wandering domains in constructions by researchers such as Baker and Christopher J. Bishop, and certain meromorphic maps studied by groups at University of York and University of Warwick produce wandering components. Work by Walter Bergweiler and Graziano Gentili catalogs families of non-rational maps with wandering domains, illustrating the sharpness of Sullivan's restriction to rational maps.

Category:Complex dynamics