We prove that if A is the basin of immediate attraction to a periodic attracting or parabolic point for a rational map f on the Riemann sphere, if $A$ is completely invariant (i.e. $f^{-1}(A)=A$), and if $μ$ is an arbitrary $f$-invariant measure with positive Lyapunov exponents on the boundary of $A$, then $μ$-almost every point $q$ in the boundary of $A$ is accessible along a curve from $A$. In fact we prove the accessability of every "good" $q$ i.e. such $q$ for which "small neighbourhoods arrive at large scale" under iteration of $f$. This generalizes Douady-Eremenko-Levin-Petersen theorem on the accessability of periodic sources.
We prove that for any holomorphic map, and any bounded orbit which does not accumulate to a singular set or to an attracting cycle, its lower Lyapunov exponent is non-negative. The same result holds for unbounded orbits, for maps with a bounded singular set. Furthermore, the orbit may accumulate to infinity or to a singular set, as long as it is slow enough.
For any polynomial map with a single critical point, we prove that its lower Lyapunov exponent at the critical value is negative if and only if the map has an attracting cycle. Similar statement holds for the exponential maps and some other complex dynamical systems. We prove further that for the unicritical polynomials with positive area Julia sets almost every point of the Julia set has zero Lyapunov exponent. Part of this statement generalizes as follows: every point with positive upper Lyapunov exponent in the Julia set of an arbitrary polynomial is not a Lebegue density point.
We introduce a notion of stability for equilibrium measures in holomorphic families of endomorphisms of CP(k) and prove that it is equivalent to the stability of repelling cycles and equivalent to the existence of some measurable holomorphic motion of Julia sets which we call equilibrium lamination. We characterize the corresponding bifurcations by the strict subharmonicity of the sum of Lyapunov exponents or the instability of critical dynamics and analyze how repelling cycles may bifurcate. Our methods deeply exploit the properties of Lyapunov exponents and are based on ergodic theory and on…
Let \Fc be a holomorphic foliation by Riemann surfaces defined on a compact complex projective surface X satisfying the following two conditions: (1) the singular points of \Fc are all hyperbolic; (2) \Fc is Brody hyperbolic. Then we establish cohomological formulas for the Lyapunov exponent and the Poincaré mass of an extremal positive \ddc-closed current tangent to \Fc. If, moreover, there is no nonzero positive closed current tangent to \Fc, then we show that the Lyapunov exponent χ(\Fc) of \Fc, which is, by definition, the Lyapunov exponent of the unique normalized positive \ddc-closed cur…
Generalizing results of Deroin-Dujardin, we introduce the notion of proximal stability for a holomorphic family $ (ρ_λ) $ of representations $ Γ\to \text{SL}(d, \mathbb{C}) $, where $ Γ$ is a finitely generated group, and show that it is equivalent to the pluriharmonicity of Lyapunov exponents of the family (defined using random walks).
We consider Lyapunov exponents for flat bundles over hyperbolic curves defined via parallel transport over the geodesic flow. We refine a lower bound obtained by Eskin, Kontsevich, Moeller and Zorich showing that the sum of the first k exponents is greater or equal than the sum of the degree of any rank k holomorphic subbundle of the flat bundle and the asymptotic degree of its equivariant developing map. We also show that this inequality is an equality if the base curve is compact. We moreover relate the asymptotic degree to the dynamical degree defined by Daniel and Deroin. We then use the p…
We study holomorphic families of polynomial-like maps depending on a parameter s. We prove that the partial sums of largest Lyapunov exponents are plurisubharmonic functions of s. We also study their continuity and introduce the bifurcation locus as the support of bifurcation currents.
If E is a flat bundle of rank r over a Kähler manifold X, we define the Lyapunov spectrum of E: a set of r numbers controlling the growth of flat sections of E, along Brownian trajectories. We show how to compute these numbers, by using harmonic measures on the foliated space P(E). Then, in the case where X is compact, we prove a general inequality relating the Lyapunov exponents and the degrees of holomorphic subbundles of E and we discuss the equality case.
Bifurcation loci in the moduli space of degree $d$ rational maps are shaped by the hypersurfaces defined by the existence of a cycle of period $n$ and multiplier 0 or $e^{iθ}$. Using potential-theoretic arguments, we establish two equidistribution properties for these hypersurfaces with respect to the bifurcation current. To this purpose we first establish approximation formulas for the Lyapunov function. In degree $d=2$, this allows us to build holomorphic motions and show that the bifurcation locus has a lamination structure in the regions where an attracting basin of fixed period exists.
One of the various versions of the classical Lyapunov-Poincaré center theorem states that a nondegenerate real analytic center type planar vector field singularity admits an analytic first integral. In a more proof of this result, R. Moussu establishes important connection between this result and the theory of singularities of holomorphic foliations (\cite{moussu}). In this paper we consider generalizations for two main frameworks: (i) planar real analytic vector fields with "many" periodic orbits near the singularity and (ii) germs of holomorphic foliations having a suitable singularity in di…
Consider the flat bundle on $\mathrm{CP}^1 - \{0,1,\infty \}$ corresponding to solutions of the hypergeometric differential equation $ \prod_{i=1}^h (\mathrm D - α_i) - z \prod_{j=1}^h (\mathrm D - β_j) = 0$ where $\mathrm D = z \frac {d}{dz}$. For $α_i$ and $β_j$ distinct real numbers, this bundle is known to underlie a complex polarized variation of Hodge structure. Setting the complete hyperbolic metric on $\mathrm{CP}^1 - \{0,1,\infty \}$, we associate $n$ Lyapunov exponents to this bundle. We compute the parabolic degrees of the holomorphic subbundles induced by the variation of Hodge str…
Consider a flat bundle over a complex curve. We prove a conjecture of Fei Yu that the sum of the top k Lyapunov exponents of the flat bundle is always greater or equal to the degree of any rank k holomorphic subbundle. We generalize the original context from Teichmueller curves to any local system over a curve with non-expanding cusp monodromies. As an application we obtain the large genus limits of individual Lyapunov exponents in hyperelliptic strata of Abelian differentials. Understanding the case of equality with the degrees of subbundle coming from the Hodge filtration seems challenging, …
We consider the case of hyperbolic basic sets $Λ$ of saddle type for holomorphic maps $f: \mathbb P^2\mathbb C \to \mathbb P^2\mathbb C$. We study equilibrium measures $μ_ϕ$ associated to a class of Hölder potentials $ϕ$ on $Λ$, and find the measures $μ_ϕ$ of iterates of arbitrary Bowen balls. Estimates for the pointwise dimension $δ_{μ_ϕ}$ of $μ_ϕ$ that involve Lyapunov exponents and a correction term are found, and also a formula for the Hausdorff dimension of $μ_ϕ$ in the case when the preimage counting function is constant on $Λ$. For terminal/minimal saddle sets we prove that an invariant…
For an algebraic family $(f_t)$ of regular quadratic polynomial endomorphisms of $\mathbb{C}^2$ parametrized by $\mathbb{D}^*$ and degenerating to a Hénon map at $t=0$, we study the continuous (and indeed harmonic) extendibility across $t=0$ of a potential of the bifurcation current on $\mathbb{D}^*$ with the explicit computation of the non-archimedean Lyapunov exponent associated to $(f_t)$. The individual Lyapunov exponents of $f_t$ are also investigated near $t=0$. Using $(f_t)$, we also see that any Hénon map is accumulated by the bifurcation locus in the space of quadratic holomorphic end…
We prove a substantial part of a conjecture of Kontsevich and Zorich on the Lyapunov exponents of the Teichmuller geodesic flow on the deviation of ergodic averages for generic conservative flows on higher genus surfaces. The result on the Teichmuller flow is formulated in terms of a (symplectic) cocycle on the real cohomology bundle over the moduli space of holomorphic differentials introduced by Kontsevich and Zorich. We prove that such a cocycle is non-uniformly hyperbolic, that is, all of its Lyapunov exponents are different from zero. In particular, the number of strictly positive exponen…
The study of the dynamics of an holomorphic map near a fixed point is a central topic in complex dynamical systems. In this paper we will consider the corresponding random setting: given a probability measure $ν$ with compact support on the space of germs of holomorphic maps fixing the origin, we study the compositions $f_n\circ\cdots\circ f_1$, where each $f_i$ is chosen independently with probability $ν$. As in the deterministic case, the stability of the family of the random iterates is mostly determined by the linear part of the germs in the support of the measure. A particularly interesti…
Let $f$ be an holomorphic endomorphism of $\mathbb{C}\mathbb{P}^k$. We construct by using coding techniques a class of ergodic measures as limits of non-uniform probability measures on preimages of points. We show that they have large metric entropy, close to $\log d^k$. We establish for them strong stochastic properties and prove the positivity of their Lyapunov exponents. Since they have large entropy, those measures are supported in the support of the maximal entropy measure of $f$. They in particular provide lower bounds for the Hausdorff dimension of the Julia set.
We investigate i.i.d. random complex dynamical systems generated by probability measures on finite unions of the loci of holomorphic families of rational maps on the Riemann sphere. We show that under certain conditions on the families, for a generic system, (especially, for a generic random polynomial dynamical system,) for all but countably many initial values $z$ in the Riemann sphere, for almost every sequence of maps $γ=(γ_{1},γ_{2},\ldots )$, the Lyapunov exponent of $γ$ at $z$ is negative. Also, we show that for a generic system, for every initial value $z$ in the Riemann sphere, the or…
Let $f$ be an endomorphism of $\mathbb{CP}^k$ and $ν$ be an $f$-invariant measure with positive Lyapunov exponents $(λ_1,\...,λ_k)$. We prove a lower bound for the pointwise dimension of $ν$ in terms of the degree of $f$, the exponents of $ν$ and the entropy of $ν$. In particular our result can be applied for the maximal entropy measure $μ$. When $k=2$, it implies that the Hausdorff dimension of $μ$ is estimated by $\dim_{\cal H} μ\geq {\log d \over λ_1} + {\log d \over λ_2}$, which is half of the conjectured formula. Our method for proving these results consists in studying the distribution o…
