No Arabic abstract
Let T be a finite subset of the complex unit circle S^1, and define f: S^1 -> S^1 by f(z) = z^d. Let CH(T) denote the convex hull of T. If card(T) = N > 2, then CH(T) defines a polygon with N sides. The N-gon CH(T) is called a emph{wandering N-gon} if for every two non-negative integers i eq j, CH(f^i(T)) and CH(f^j(T)) are disjoint N-gons. A non-degenerate chord of S^1 is said to be emph{critical} if its two endpoints have the same image under f. Then for a critical chord, it is natural to define its (forward) orbit by the forward iterates of the endpoints. Similarly, call a critical chord emph{recurrent} if one of its endpoints is recurrent under f. The main result of our study is that a wandering N-gon has at least N-1 recurrent critical chords in its limit set (defined in a natural way) having pairwise disjoint, infinite orbits. Using this result, we are able to strengthen results of Blokh, Kiwi and Levin about wandering polygons of laminations. We also discuss some applications to the dynamics of polynomials. In particular, our study implies that if v is a wandering non-precritical vertex of a locally connected polynomial Julia set, then there exists at least ord(v)-1 recurrent critical points with pairwise disjoint orbits, all having the same omega-limit set as v. Thus, we likewise strengthen results about wandering vertices of polynomial Julia sets.
We show that there exist polynomial endomorphisms of C^2, possessing a wandering Fatou component. These mappings are polynomial skew-products, and can be chosen to extend holomorphically of P^2(C). We also find real examples with wandering domains in R^2. The proof is based on parabolic implosion techniques, and is based on an original idea of M. Lyubich.
There exist uniquely ergodic affine interval exchange transformations of [0,1] with flips having wandering intervals and such that the support of the invariant measure is a Cantor set.
The moduli space $mathcal{M}_d$ of degree $dgeq2$ rational maps can naturally be endowed with a measure $mu_mathrm{bif}$ detecting maximal bifurcations, called the bifurcation measure. We prove that the support of the bifurcation measure $mu_mathrm{bif}$ has positive Lebesgue measure. To do so, we establish a general sufficient condition for the conjugacy class of a rational map to belong to the support of $mu_mathrm{bif}$ and we exhibit a large set of Collet-Eckmann rational maps which satisfy this condition. As a consequence, we get a set of Collet-Eckmann rational maps of positive Lebesgue measure which are approximated by hyperbolic rational maps.
We establish the Geometric Dynamical Northcott Property for polarized endomorphisms of a projective normal variety over a function field $mathbf{K}$ of characteristic zero. This extends previous results of Benedetto, Baker and DeMarco in dimension $1$, and of Chatzidakis-Hrushovski in higher dimension. Our proof uses complex dynamics arguments and does not rely on the previous one. We first show that when $mathbf{K}$ is the field of rational functions of a smooth complex projective variety, the canonical height of a subvariety is the mass of the appropriate bifurcation current and that a marked point is stable if and only if its canonical height is zero. We then establish the Geometric Dynamical Northcott Property using a similarity argument. Moving from points to subvarieties, we propose, for polarized endomorphisms, a dynamical version of the Geometric Bogomolov Conjecture, recently proved by Cantat, Gao, Habegger and Xie. We establish several cases of this conjecture notably non-isotrivial polynomial skew-product with an isotrivial first coordinate.
We study the dynamics of meromorphic maps for a compact Kaehler manifold X. More precisely, we give a simple criterion that allows us to produce a measure of maximal entropy. We can apply this result to bound the Lyapunov exponents. Then, we study the particular case of a family of generic birational maps of P^k for which we construct the Green currents and the equilibrium measure. We use for that the theory of super-potentials. We show that the measure is mixing and gives no mass to pluripolar sets. Using the criterion we get that the measure is of maximal entropy. It implies finally that the measure is hyperbolic.