We suggest a way to associate to a rational map of the Riemann sphere a three dimensional object called a hyperbolic orbifold 3-lamination. The relation of this object to the map is analogous to the relation of a hyperbolic 3-manifold to a Kleinian group. In order to construct the 3-lamination we analyze the natural extension of a rational map and the complex affine structure on the canonical 2-dimensional leaf space contained in it. In this paper the construction is carried out in full for post-critically finite maps. We show that the corresponding laminations have a compact convex core. As a first application we give a three-dimensional proof of Thurston's rigidity for post-critically finite mappings, via the "lamination extension" of the proofs of the Mostow and Marden rigidity and isomorphism theorems for hyperbolic 3-manifolds. An Ahlfors-type argument for zero measure of the Julia set is applied along the way. This approach also provides a new point of view on the Lattes deformable examples.
In these introductory notes we give the basics of the theory of holomorphic foliations and laminations. The emphasis is on the theory of harmonic currents and unique ergodicity for laminations transversally Lipschitz in CP^2 and for generic holomorphic foliations in CP^2.
In this paper, we construct various examples of holomorphic laminations, with leaves of dimension 1, and we also study some of their dynamical properties. In particular we study existence and uniqueness of positive closed currents. We construct minimal laminations with infinitely many mutually singular closed currents and no non-closed harmonic current. We also consider embeddings to projective space.
Marden and Strebel established the Heights Theorem for integrable holomorphic quadratic differentials on parabolic Riemann surfaces. We extends the validity of the Heights Theorem to all surfaces whose fundamental group is of the first kind. In fact, we establish a more general result: the {\it horizontal} map which assigns to each integrable holomorphic quadratic differential a measured lamination obtained by straightening the horizontal trajectories of the quadratic differential is injective for an arbitrary Riemann surface with a conformal hyperbolic metric. This was established by Strebel …
We study partially hyperbolic sets of C1-diffeomorphisms. For these sets there are defined the strong stable and strong unstable laminations. A lamination is called dynamically minimal when the orbit of each leaf intersects the set densely. We prove that partially hyperbolic sets having a dynamically minimal lamination have empty interior. We also study the Lebesgue measure and the spectral decomposition of these sets. These results can be ap- plied to C1-generic/robustly transitive attractors with one-dimensional center bundle.
This essay summarizes the state of the art on some aspects of the dynamics of polynomial diffeomorphsms in complex dimension two, and it presents a number of open questions.
This report discusses recent results as well as new perspectives in the ergodic theory for Riemann surface laminations, with an emphasis on singular holomorphic foliations by curves. The central notions of these developments are leafwise Poincaré metric, directed positive harmonic currents, multiplicative cocycles and Lyapunov exponents. We deal with various ergodic theorems for such laminations: Random and Operator Ergodic Theorems, (Geometric) Birkhoff Ergodic Theorems, Oseledec Multiplicative Ergodic Theorem and Unique Ergodicity Theorems. Applications of these theorems are also given. In p…
Using an aperiodic and repetitive subtree of the Cayley graph of the free Abelian group with two generators, described by Kenyon, Ghys has constructed an example of minimal Riemann surface lamination having both Euclidean and hyperbolic leaves. We prove that the transverse dynamics of this lamination is represented (in a measurable way) by a 2-adic odometer. In fact, we can describe its topological transverse dynamics, and prove that the Ghys-Kenyon lamination is affable.
We show that for every $ε>0$, there exists a compact lamination by $ε$-holomorphic surfaces in the complex projective plane, minimal, and that carries hyperbolic holonomy. We call $ε$-holomorphic a real 2-dimensional surface $Σ$ in ${\bf C}P^2$ such that the angle between $TΣ$ and $iTΣ$ is uniformly bounded by $ε$. When $ε$ is sufficiently small, such surfaces are in particular symplectic.
We study the dynamics of the geodesic and horocycle flows of the unit tangent bundle $(\hat M, T^1\mathcal{F})$ of a compact minimal lamination $(M,\mathcal F)$ by negatively curved surfaces. We give conditions under which the action of the affine group generated by the joint action of these flows is minimal, and examples where this action is not minimal. In the first case, we prove that if $\mathcal F$ has a leaf which is not simply connected, the horocyle flow is topologically transitive.
In 1985 D.Sullivan had introduced a dictionary between two domains of complex dynamics: iterations of rational functions on the Riemann sphere and Kleinian groups. The latters are discrete subgroups of the group of conformal automorphisms of the Riemann sphere. This dictionary motivated many remarkable results in both domains, starting from the famous Sullivan's no wandering domain theorem in the theory of iterations of rational functions. One of the principal objects used in the study of Kleinian groups is the hyperbolic 3- manifold associated to a Kleinian group, which is the quotient of its…
We define the (dynamical) core of a topological polynomial (and the associated lamination). This notion extends that of the core of a unimodal interval map. Two explicit descriptions of the core are given: one related to periodic objects and one related to critical objects. We describe all laminations associated with quadratic and cubic topological polynomials with a simple core (in the quadratic case, these correspond precisely to points on the Main Cardioid of the Mandelbrot set).
Given a locally maximal compact invariant hyperbolic set $Λ$ for a $C^1$ flow or diffeomorphism on a Riemann manifold with $C^1$ unstable laminations, we construct an invariant continuous bundle of tangent vectors to local unstable manifolds that locally approximates $Λ$ in a certain way.
We consider the action of a pseudo-Anosov mapping class on $\mathcal{PML}(S)$. This action has north-south dynamics and so, under iteration, laminations converge exponentially to the stable lamination. We study the rate of this convergence and give examples of families of pseudo-Anosov mapping classes where the rate goes to one, decaying exponentially with the word length. Furthermore we prove that this behaviour is the worst possible.
Fibered holomorphic dynamics are skew-product transformations over an irrational rotation, whose fibers are holomorphic functions. In this paper we study such a dynamics on a neighborhood of an invariant curve. We obtain some results analogous to the results in the non fibered case.
This is an expository plus research paper which mainly exposes preliminary connection and contrast between classical complex dynamics and semigroup dynamics of holomorphic functions. Classically, we expose some existing results of rational and transcendental dynamics and we see how far these results generalized to holomorphic semigroup dynamics as well as we also see what new phenomena occur.
We use semigroup theory to describe the group of automorphisms of some semigroups of interest in holomorphic dynamical systems. We show, with some examples, that representation theory of semigroups is related to usual constructions in holomorphic dynamics. The main tool for our discussion is a theorem due to Schreier. We extend this theorem, and our results in semigroups, to the setting of correspondences and holomorphic correspondences.
In this paper, we prove that escaping set of transcendental semigroup is S-forward invariant. We also prove that if holomorphic semigroup is abelian, then Fatou set, Julia set and escaping set are S-completely invariant. We see certain cases and conditions that the holomorphic semigroup dynamics exhibits same dynamical behavior just like the classical complex dynamics. Frequently, we also examine certain amount of connection and contrast between classical complex dynamics and holomorphic semigroup dynamics.
For a class of one-dimensional holomorphic maps f of the Riemann sphere we prove that for a wide class of potentials h the topological pressure is entirely determined by the values of h on the repelling periodic points of f. This is a version of a classical result of Bowen for hyperbolic diffeomorphisms in the holomorphic non-uniformly hyperbolic setting.
The purpose of this paper is to initiate a theory concerning the dynamics of asymptotically holomorphic polynomial-like maps. Our maps arise naturally as deep renormalizations of asymptotically holomorphic extensions of $C^r$ ($r>3$) unimodal maps that are infinitely renormalizable of bounded type. Here we prove a version of the Fatou-Julia-Sullivan theorem and a topological straightening theorem in this setting. In particular, these maps do not have wandering domains and their Julia sets are locally connected.
We consider complex dynamics of a critically finite holomorphic map from P^k to P^k, which has symmetries associated with the symmetric group S_{k+2} acting on P^k, for each k \ge 1. The Fatou set of each map of this family consists of attractive basins of superattracting points. Each map of this family satisfies Axiom A.
In this work, we study the dynamical properties of Krystyna Kuperberg's aperiodic flows on $3$-manifolds. We introduce the notion of a ``zippered lamination'', and with suitable generic hypotheses, show that the unique minimal set for such a flow is an invariant zippered lamination. We obtain a precise description of the topology and dynamical properties of the minimal set, including the presence of non-zero entropy-type invariants and chaotic behavior. Moreover, we show that the minimal set does not have stable shape, yet satisfies the Mittag-Leffler condition for homology groups.
We investigate to what extent Fatou set, Julia set and escaping set of transcendental semigroup is respectively equal to the Fatou set, Julia set and escaping set of its subsemigroup. We define partial fundamental set and fundamental set of transcendental semigroup and on the basis of this set, we prove that Fatou set and escaping set of transcendental semigroup $ S $ are non-empty.
In this paper we study the dynamics of a holomorphic vector field near a singular point in dimension two using asymptotic expansion techniques. We consider a holomorphic vector field admitting first integrals in small sectors with nonzero asymptotic expansion. Under some natural hypotheses we prove the existence of a holomorphic first integral.
Given a rational map $R$, we consider the complement of the postcritical set $S_R$. In this paper we discuss the existence of invariant Beltrami differentials supported on a $R$ invariant subset $A$ of $S_R$. Under some geometrical restrictions, either on the hyperbolic geometry of $A$ or on the asymptotic behavior of infinitesimal geodesics of the Teichmüller space of $S_R$, we show the absence of invariant Beltrami differentials supported on $A$. In particular, we show that if $A$ has finite hyperbolic area, then $A$ can not support invariant Beltrami differentials except in the case where $…
Gambaudo and Pécou introduced the ``linking property'' to study the dynamics of germs of planar homeomorphims and provide a new proof of Naishul theorem in their paper "A topological invariant for volume preserving diffeomorphisms" (Ergodic Theory Dynam. Systems 15 (1995), no. 3, 535--541). In this paper we prove that the negation of Gambaudo-Pécou property characterises the topological dynamics of holomorphic parabolic germs. As a consequence, a rotation set for germs of surface homeomorphisms around a fixed point can be defined, and it will turn out to be non trivial except for countably man…
We introduce the study of the local dynamics around a parabolic indifferent invariant curve for fibred holomorphic maps. As in the classical non-fibred case, we show that petals are the main ingredient. Nevertheless, one expects the properties of the base rotation number should play an important role in the arrangement of the petals. We exhibit examples where the existence and the number of petals depend not just on the complex coordinate of the map, but on the base rotation number. Furthermore, under additional hypothesis on the arithmetics and smoothness of the map, we present a theorem that…
In this paper, we study the action on C^n of any group G of holomorphic diffeomorphisms (automorphisms) of C^n fixing 0. Suppose that there is x in C^n, having an orbit which generates C^n and also E(x)=C^n, where E(x) is the vector space generated by L_{G}={D_{0}fx, f in G }. We give an important condition so that an orbit G(x) is isomorphic (by linear map) to the orbit L_{G}(x)of the linear group L_{G}. More if G is abelian, we prove the existence of a G-invariant open set U, dense in C^n, in which every orbit O is relatively minimal (i.e. the closure of O in U is a closed non empty, G-invar…
We study the dynamics of compositions of a sequence of holomorphic mappings in projective space. We define ergodicity and mixing for non-autonomous dynamical systems, and we construct totally invariant measures for which our sequence satisfies these properties.
We give a brief survey on local holomorphic dynamics in higher dimensions. The main novelty of this note is that we will organize the material by the "level" of local invariants rather than the type of maps.
In this note we review a selection of contemporary research themes in holomorphic dynamics. The main topics that will be discussed are: geometric (laminar and woven) currents and their applications, bifurcation theory in one and several variables, and the problem of wandering Fatou components.
We prove that the stable manifold of every point in a compact hyperbolic invariant set of a holomorphic automorphism of a complex manifold is biholomorphic to a complex vector space, provided that a bunching condition, which is weaker than the classical bunching condition for linearizability, holds.
In this survey we provide detailed proofs for the results by Hakim regarding the dynamics of germs of biholomorphisms tangent to the identity of order $k+1\ge 2$ and fixing the origin.
In [M3], Milnor found Tricorn-like sets in the parameter space of real cubic polynomials. We give a rigorous definition of these Tricorn-like sets as suitable renormalization loci, and show that the dynamically natural straightening map from such a Tricorn-like set to the original Tricorn is discontinuous. We also prove some rigidity theorems for polynomial parabolic germs, which state that one can recover unicritical holomorphic and anti-holomorphic polynomials from their parabolic germs.
In the field of holomorphic dynamics in one complex variable, hedgehog is the local invariant set arising about a Cremer point and endowed with a very complicate shape as well as relating to very weak numerical conditions. We give a solution to the open problem of its digital visualization, featuring either a time saving approach and a far-reaching insight.
This is a survey on local dynamics of holomorphic maps in one and several complex variables, discussing in particular normal forms and the structure of local stable sets in the non-hyperbolic case, and including several proofs and a vast bibliography. It updates and enlarge the previous survey arXiv:math/0310089v1.
We describe a canonical procedure for associating to any (germ of) holomorphic self-map f of C^n fixing the origin such that df_O is invertible and non-diagonalizable an n-dimensional complex manifold M, a holomorphic map p from M to C^n, a point e in M and a (germ of) holomorphic self-map F of M so that: p restricted to the complement of p^{-1}(O) is a biholomorphism between this complement and C^n minus the origin; p semiconjugates f and F; and e is a fixed point of F such that dF_e is diagonalizable. Furthermore, we use this construction to describe the local dynamics of such an f nearby th…
Contents: 1. Quasiconformal Surgery and Deformations: Ben Bielefeld, Questions in quasiconformal surgery; Curt McMullen, Rational maps and Teichmüller space; John Milnor, Thurston's algorithm without critical finiteness; Mary Rees, A possible approach to a complex renormalization problem. 2. Geometry of Julia Sets: Lennart Carleson, Geometry of Julia sets; John Milnor, Problems on local connectivity. 3. Measurable Dynamics: Mikhail Lyubich, Measure and Dimension of Julia Sets; Feliks Przytycki, On invariant measures for iterations of holomorphic maps. 4. Iterates of Entire Functions: Robert De…
We establish a formula for the sum of the Lyapounov exponents of an holomorphic endomorphism of ${\bf P}^k$. For an holomorphic family of such endomorphisms we define the {\em bifurcation current} as $dd^cL$ and show that it vanishes when the repulsive cycles move holomorphically. We then prove a formula which relates this current with the interaction between the Green current and the current of integration on the critical set. In the 1-dimensional case (i.e. for ${\bf P}^1$) we find a geometrical description of the support of this current and its powers. Finally we introduce the {\em bifurcat…
We study the dynamics of holomorphic correspondences $f$ on a compact Riemann surface $X$ in the case, so far not well understood, where $f$ and $f^{-1}$ have the same topological degree. Under a mild and necessary condition that we call non weak modularity, $f$ admits two canonical probability measures $μ^+$ and $μ^-$ which are invariant by $f^*$ and $f_*$ respectively. If the critical values of $f$ (resp. $f^{-1}$) are not periodic, the backward (resp. forward) orbit of any point $a \in X$ equidistributes towards $μ^+$ (resp. $μ^-$), uniformly in $a$ and exponentially fast.
This is a survey on the local structure about a fixed point of discrete finite-dimensional holomorphic dynamical systems, discussing in particular the existence of local topological conjugacies to normal forms, and the structure of local stable sets in the non-hyperbolic case. The author hopes to keep the survey up to date, and thus it would be grateful to anybody pointing out missing (or mistaken) results and references, and/or suggesting topics to be included or expanded in it.
This paper studies recurrence phenomena in iterative holomorphic dynamics of certain multi-valued maps. In particular, we prove an analogue of the Poincaré recurrence theorem for meromorphic correspondences with respect to certain dynamically interesting measures associated with them. Meromorphic correspondences present a significant measure-theoretic obstacle: the image of a Borel set under a meromorphic correspondence need not be Borel. We manage this issue using the Measurable Projection Theorem, which is an aspect of descriptive set theory. We also prove a result concerning invariance prop…
Perez-Marco proved the existence of non-trivial totally invariant connected compacts called hedgehogs near the fixed point of a nonlinearizable germ of holomorphic diffeomorphism. We show that if two nonlinearisable holomorphic germs with a common indifferent fixed point have a common hedgehog then they must commute. This allows us to establish a correspondence between hedgehogs and nonlinearizable maximal abelian subgroups of Diff$(\bf C,0)$. We also show that two nonlinearizable germs are conjugate if and only if their rotation numbers are equal and a hedgehog of one can be mapped conformall…
We establish a Poincaré-Dulac theorem for sequences (G_n)_n of holomorphic contractions whose differentials d_0 G_n split regularly. The resonant relations determining the normal forms hold on the moduli of the exponential rates of contraction. Our results are actually stated in the framework of bundle maps. Such sequences of holomorphic contractions appear naturally as iterated inverse branches of endomorphisms of CP(k). In this context, our normalization result allows to precisely estimate the distortions of ellipsoids along typical orbits. As an application, we show how the Lyapunov exponen…
