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.
We consider the set of all 2-step recurrences (difference equations) that are given by linear fractional maps. These give birational maps of the plane. We determine the degree growth of these birational maps. We find the all the maps in this family that are periodic. This also leads to new surface automorphisms with positive entropy.
We prove the exponential decay of correlations for C^α-observables (0<α=<2) for generic birational maps of P^k à la Bedford-Diller. In the particular case of regular birational maps, we give a better estimate of the speed of the decay, getting results as sharp as Dinh's results for Hénon maps.
We compute the degree complexity of the family of birational maps considered in \cite{bedford-kim-tuyen-abarenkova-maillard} for all exceptional cases. Some interesting properties of the family are also given.
We study the degree growth of iterates of meromorphic selfmaps of compact Kahler surfaces. Using cohomology classes on the Riemann-Zariski space we show that the degrees grow similarly to those of mappings that are algebraically stable on some birational model.
We continue our study of the dynamics of meromorphic mappings with small topological degree on a compact Kähler surface $X$. Under general hypotheses we are able to construct a canonical invariant measure which is mixing, does not charge pluripolar sets and admits a natural geometric description. Our hypotheses are always satisfied when $X$ has Kodaira dimension zero, or when the mapping is induced by a polynomial endomorphism of $\mathbf{C}^2$. They are new even in the birational case. We also exhibit families of mappings where our assumptions are generically satisfied and show that if counte…
We give a detailed description of the dynamics of a family of birational mappings of the plane. The organizing theme of our analysis is that this family is essentially conjugate to the golden mean subshift.
We develop the study of some spaces of currents of bidegree (p,p). As an application we construct the equilibrium measure for a large class of birational maps of P^k as intersection of Green currents. We show that these currents are extremal and that the corresponding measure is mixing.
Let f be a dominating meromorphic self-map of large topological degree on a compact Kaehler manifold. We give a new construction of the equilibrium measure of f and prove that it is exponentially mixing. Then, we deduce the central limit theorem for Lipschitzian observables.
Let f be a dominant meromorphic self-map on a projective manifold X which preserves a meromorphic fibration pi: X --> Y of X over a projective manifold Y. We establish formulas relating the dynamical degrees of f, the dynamical degrees of f relative to the fibration and the dynamical degrees of the self-map g on Y induced by f. Applications are given.
Let f be a meromorphic self-map on a compact Kaehler manifold whose topological degree is strictly larger than the other dynamical degrees. We show that repelling periodic points are equidistributed with respect to the equilibrium measure of f. We also describe the exceptional set of points whose backward orbits are not equidistributed.
We classify invariant curves for birational surface maps that are expanding on cohomology. When the expansion is exponential, the arithmetic genus of an invariant curve is at most one. This implies severe constraints on both the type and number of irreducible components of the curve. In the case of an invariant curve with genus equal to one, we show that there is an associated invariant meromorphic two form.
When a birational surface map is expanding on cohomology there is a canonical way to associate positive closed currents to the map and its inverse. In this paper we use a version of Dirichlet energy to construct the wedge product of these two currents under a very weak additional condition on the map. We show that the resulting measure is invariant and mixing, and we establish that its Lyapunov exponents are finite and non-zero.
Let (F_n) be a sequence of (multivalued) meromorphic maps between compact Kaehler manifolds X1 and X2. We study the asymptotic distribution of preimages of points by F_n and the asymptotic distribution of fixed points for multivalued self-maps of a compact Riemann surface. Let (Z_n) be a sequence of holomorphic images of the projective space P^s in a projective manifold. We prove that the currents, defined by integration on Z_n, properly normalized, converge to weakly laminar currents. We also show that the Green currents, of suitable bidimensions, associated to a regular polynomial automorphi…
We consider the real dynamics of a two parameter family of plane birational maps, focusing especially on an open subset of parameter space on which the real and complex dynamics are in close agreement. On the complex side, we find a rational complex surface to which the maps extend in a well-defined fashion and then calculate the induced action on the Picard group of the surface. On the real side, we use the critical sets of the maps to produce a combinatorial model for the dynamics. By comparing the two points of view, we are able to code points in the real non-wandering set, describe the beh…
Let $f : X\to X$ be a dominating meromorphic map on a compact Kähler manifold $X$ of dimension $k$. We extend the notion of topological entropy $h^l_{\mathrm{top}}(f)$ for the action of $f$ on (local) analytic sets of dimension $0\leq l \leq k$. For an ergodic probability measure $ν$, we extend similarly the notion of measure-theoretic entropy $h_ν^l(f)$. Under mild hypothesis, we compute $h^l_{\mathrm{top}}(f)$ in term of the dynamical degrees of $f$. In the particular case of endomorphisms of $\mathbb{P}^2$ of degree $d$, we show that $h^1_{\mathrm{top}}(f)= \log d$ for a large class of maps…
We show that any dominant meromorphic self-map f of a compact Kaehler manifold X is an Artin-Mazur map. More precisely, if P_n(f) is the number of its isolated periodic points of period n (counted with multiplicity), then P_n(f) grows at most exponentially fast with respect to n and the exponential rate is at most equal to the algebraic entropy of f. Further estimates are given when X is a surface. Among the techniques introduced in this paper, the h-dimension of the density between two arbitrary positive closed currents on a compact Kaehler surface is obtained.
In this note, we give an elementary proof of the absence of invariant line fields on the conical Julia set of an analytic function of one variable. This proof applies not only to rational as well as transcendental meromorphic functions (where it was previously known), but even to the extremely general setting of Ahlfors islands maps as defined by Adam Epstein. In fact, we prove a more general result on the absence of invariant_differentials_, measurable with respect to a conformal measure that is supported on the (unbranched) conical Julia set. This includes the study of cohomological equation…
We consider the dynamics of a meromorphic map on a compact kahler surface whose topological degree is smaller than its first dynamical degree. The latter quantity is the exponential rate at which its iterates expand the cohomology class of a kahler form. Our goal in this article and its sequels is to carry out a conjectural program for constructing and analyzing a natural measure of maximal entropy for each such map. Here we take the first step, converting information about the linear action of the map on cohomology to invariant currents with special geometric structure. We also give some exam…
Let $X$ and $Y$ be compact Kähler manifolds, and let $f:X\rightarrow Y$ be a dominant meromorphic map. Base upon a regularization theorem of Dinh and Sibony for DSH currents, we define a pullback operator $f^{\sharp}$ for currents of bidegrees $(p,p)$ of finite order on $Y$ (and thus for {\it any} current, since $Y$ is compact). This operator has good properties as may be expected. Our definition and results are compatible to those of various previous works of Meo, Russakovskii and Shiffman, Alessandrini and Bassanelli, Dinh and Sibony, and can be readily extended to the case of meromorphic co…
We consider the dynamics of meromorphic maps of compact Kähler manifolds. In this work, our goal is to locate the non-nef locus of invariant classes and provide necessary and sufficient conditions for existence of Green currents in codimension one.
In this article we extract and study the zero entropy subfamilies of a certain family of birational maps of the plane. We find these zero entropy mappings and give the invariant fibrations associated to them.
We show that any birational selfmap of a complex projective surface that has dynamical degree greater than one and is defined over a number field automatically satisfies the Bedford-Diller energy condition after a suitable birational conjugacy. As a consequence, the complex dynamics of the map is well-behaved. We also show that there is a well-defined canonical height function.
We prove that for meromorphic maps with logarithmic tracts (e.g. entire or meromorphic maps with a finite number of poles from class $\mathcal B$), the Julia set contains a compact invariant hyperbolic Cantor set of Hausdorff dimension greater than 1. Hence, the hyperbolic dimension of the Julia set is greater than 1.
This work dynamically classifies a 9-parametric family of birational maps f : C2 -> C2. From the sequence of the degrees dn of the iterates of f, we find the dynamical degree delta(f) of f. We identify when dn grows periodically, linearly, quadratically or exponentially. The considered family includes the birational maps studied by Bedford and Kim in [4] as one of its subfamilies.
This paper is part of a program to understand the parameter spaces of dynamical systems generated by meromorphic functions with finitely many singular values. We give a full description of the parameter space for a specific family based on the exponential function that has precisely two finite asymptotic values and one attracting fixed point. It represents a step beyond the previous work in [GK] on degree 2 rational functions with analogous constraints: two critical values and an attracting fixed point. What is interesting and promising for pushing the general program even further, is that, de…
In this short note we would like to show how it is possible to use techniques introduced in the theory of local dynamics of holomorphic germs tangent to the identity to study global meromorphic self-maps of the complex projective space. In particular we shall show how a meromorphic self-map of a complex projective space induces a holomorphic foliation of the projective space in Riemann surfaces, whose singular points are exactly the fixed points and the indeterminacy points of the map; and we shall prove three index theorems, relating suitably defined local residues at the fixed and indetermin…
Let f be a dominant meromorphic self-map on a compact Kaehler manifold X which preserves a fibration given by a meromorphic map from X to a compact Kaehler manifold Y. We compute the dynamical degrees of f in term of its dynamical degrees relative to the fibration and the dynamical degrees of the map g on Y which is induced by f. We derive from this result new properties of some fibrations intrinsically associated to X when this manifold admits an interesting dynamical system.
This work deals with a special case of family of birational maps f : C2 -> C2 dynamically classified in [9]. In this work we study the zero entropy sub families of f. The sequence of degrees dn associated to the iterates of f is found to grow periodically, linearly, quadratically or exponentially. Explicit invariant fibrations for zero entropy families and all the integrable and periodic mappings inside the family f are given.
We prove that any planar birational integrable map, which preserves a fibration given by genus $0$ curves has a Lie symmetry and some associated invariant measures. The obtained results allow to study in a systematic way the global dynamics of these maps. Using this approach, the dynamics of several maps is described. In particular we are able to give, for particular examples, the explicit expression of the rotation number function, and the set of periods of the considered maps.
We classify birational maps of projective smooth surfaces whose non-critical periodic points are Zariski dense. In particular, we show that if the first dynamical degree is greater than one, then the periodic points are Zariski dense.
Bedford asked if there exists a birational self map $f$ of the complex projective plane such that for any automorphism $A$ of the complex projective plane $A\circ f$ is not conjugate to an automorphism. Blanc gave such a $f$ of degree $6$ and asked if there exists an example of smaller degree. In this article we give an example of degree $5$.
Continuing work begun in a previous paper, we study the real dynamics of a family of plane birational maps. This time we consider a parameter range where the real and complex dynamics are different. We show in particular that for one parameter value, the real dynamics are transient even though the map is not integrable.
We continue our study of the dynamics of mappings with small topological degree on (projective) complex surfaces. Previously, under mild hypotheses, we have constructed an ergodic ``equilibrium'' measure for each such mapping. Here we study the dynamical properties of this measure in detail: we give optimal bounds for its Lyapunov exponents, prove that it has maximal entropy, and show that it has product structure in the natural extension. Under a natural further assumption, we show that saddle points are equidistributed towards this measure. This generalize results that were known in the inve…
We consider two (densely defined) involutions on the space of $q\times q$ matrices; $I(x_{ij})$ is the matrix inverse of $(x_{ij})$, and $J(x_{ij})$ is the matrix whose $ij$th entry is the reciprocal $x_{ij}^{-1}$. Let $K=I\circ J$. The set ${\cal SC}_q$ of symmetric, cyclic matrices is invariant under $K$. In this paper, we determine the degrees of the iterates $K^n=K\circ...\circ K$ restricted to ${\cal SC}_q$.
We construct a space which is useful in order to study the entropy of meromorphic maps by using projective limits. We deduce a variational principle for meromorphic maps.
We investigate the existence and distribution of Herman rings of transcendental meromorphic functions which have at least one omitted value. If all the poles of such a function are multiple then it has no Herman ring. Herman rings of period one or two do not exist. Functions with a single pole or with at least two poles one of which is an omitted value have no Herman ring. Every doubly connected periodic Fatou component is a Herman ring.
We provide the existence of new degree growths in the context of polynomial automorphisms of $\mathbb{C}^k$: if $k$ is an integer $\geq 3$, then for any $\ell\leq \left[\frac{k-1}{2}\right]$ there exist polynomial automorphisms $f$ of $\mathbb{C}^k$ such that $\mathrm{deg}\, f^n\sim n^\ell$. We also give counter-examples in dimension $k\geq 3$ to some classical properties satisfied by polynomial automorphisms of $\mathbb{C}^2$. We provide the existence of new degree growths in the context of birational maps of $\mathbb{P}^k_\mathbb{C}$: assume $k\geq 3$; forall $0\leq\ell\leq k$ there exist bi…
The dynamics of the maps associated to $F_0$ and $dP_3$ quivers is studied in detail. We show that the corresponding reduced symplectic maps are conjugate to globally periodic maps by providing explicit conjugations. The dynamics in $\Rb^N_+$ of the original maps is obtained by lifting the dynamics of these globally periodic maps and the solution of the discrete dynamical systems generated by each map is given. A better understanding of the dynamics is achieved by considering first integrals. The relationship between the complete integrability of the globally periodic maps and the dynamics of …
Since the end of the XIXth century, we know that each birational map of the complex projective plane is the product of a finite number of quadratic birational maps of the projective plane; this motivates our work which essentially deals with these quadratic maps. We establish algebraic properties such as the classification of one parameter groups of quadratic birational maps or the smoothness of the set of quadratic birational maps in the set of rational maps. We prove that a finite number of generic quadratic birational maps generates a free group. We show that if f is a quadratic birational …
In this paper we consider the topological class, denoted by AV2, of universal covering maps from the plane to the sphere with two removed points. We prove that an element f in AV2 with finite post-singular set is combinatorially equivalent to a meromorphic transcendental map g with constant Schwarzian derivative if any only if f satisfies a Bounded Geometry condition.
In this paper we study the relation between the existence of a conformal measure on the Julia set $J(f)$ of a transcendental meromorphic map $f$ and the existence of zero of the topological pressure function $t \mapsto P(f, t)$ for the map $f$. In particular, we show that if $f$ is hyperbolic and there exists a $t$-conformal measure which is not totally supported on the set of escaping points, then $P(f, t) = 0$. On the other hand, for a wide class of maps $f$, including arbitrary maps with at most finitely many poles and finite set of singular values and hyperbolic maps with at most finitely …
Jonsson and Reschke showed that birational selfmaps on projective surface defined over a number field satisfy the energy condition of Bedford and Diller so their ergodic properties are very well understood. Under suitable hypotheses on the indeterminacy loci, we extend that result to birational maps $\mathbb{P}^k\dashrightarrow\mathbb{P}^k$, $k\geq2$, defined over a number field, showing that they satisfy a similar energy condition introduced by De Thélin and the second author. As a consequence, we can construct for such maps their Green measure and deduce several important ergodic consequence…
We consider a rational map f:S->S of a complex projective surface together with an invariant meromorphic two form. Under a mild topological assumption on the map, we show that the zeroes of the invariant form can be eliminated by birational change of coordinate. In this context, when the form has no zeroes, we investigate the notion of algebraic stability for f. We show in particular that algebraic stability is equivalent to a more tractable condition involving the behavior of f on the poles of the form. Finally, we illustrate our results in the particular case where S is the projective plane …
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…
We define two classes of topological infinite degree covering maps modeled on two families of transcendental holomorphic maps. The first, which we call exponential maps of type $(p,q)$, are branched covers and is modeled on transcendental entire maps of the form $P e^{Q}$, where $P$ and $Q$ are polynomials of degrees $p$ and $q$. The second is the class of universal covering maps from the plane to the sphere with two removed points modeled on transcendental meromorphic maps with two asymptotic values. The problem we address is to give a combinatorial characterization of the holomorphic maps co…
Let $ϕ:S^2 \to S^2$ be an orientation-preserving branched covering whose post-critical set has finite cardinality $n$. If $ϕ$ has a fully ramified periodic point $p_{\infty}$ and satisfies certain additional conditions, then, by work of Koch, $ϕ$ induces a meromorphic self-map $R_ϕ$ on the moduli space $\mathcal{M}_{0,n}$; $R_ϕ$ descends from Thurston's pullback map on Teichmüller space. Here, we relate the dynamics of $R_ϕ$ on $\mathcal{M}_{0,n}$ to the dynamics of $ϕ$ on $S^2$. Let $\ell$ be the length of the periodic cycle in which the fully ramified point $p_{\infty}$ lies; we show that $R…
The relevance of the algebraic entropy in the study of birational discrete time dynamical systems highlights the need to relate it to other characteristics of these systems. In this letter, two complementary proofs are given that the foliation of the space by invariant curves implies that the algebraic entropy is zero.
For $q\geq 3$, we let $\mathcal{S}_q$ denote the projectivization of the set of symmetric $q\times q$ matrices with coefficients in $\mathbb{C}$. We let $I(x)=(x_{i,j})^{-1}$ denote the matrix inversion, and we let $J(x)=(x_{i,j}^{-1})$ be the matrix whose entries are the reciprocals of the entries of $x$. We let $K|\mathcal{S}_q=I\circ J:\mathcal{S}_q\rightarrow \mathcal{S}_q$ denote the restriction of the composition $I\circ J$ to $\mathcal{S}_q$. This is a birational map whose properties have attracted some attention in statistical mechanics. In this paper we compute the degree complexity o…
We consider a system of birational functional equations (BFEs) (or finite-difference equations at w=m \in Z) for functions y(w) of the form: y(w+1)=F_n(y(w)), y(w):C \to C^N, n=deg(F_n(y)), F_n \in (\bf Bir}(C^N), where the map F_n is a given birational one of the group of all automorphisms of C^N \to C^N. The relation of the BFEs with ordinary differential equations is discussed. We present a general solution of the above BFEs for n=1,\forall N and of the ones with the map F_n birationally equivalent to F_1: F_n\equiv V\comp F_1\comp V^{-1}, \forall V \in (\bf Bir}(C^N).
We prove that every transcendental meromorphic map f with a disconnected Julia set has a weakly repelling fixed point. This implies that the Julia set of Newton's method for finding zeroes of an entire map is connected. Moreover, extending a result of Cowen for holomorphic self-maps of the disc, we show the existence of absorbing domains for holomorphic self-maps of hyperbolic regions whose iterates tend to a boundary point. In particular, the results imply that periodic Baker domains of Newton's method for entire maps are simply connected, which solves a well-known open question.
This article studies the sequence of iterative degrees of a birational map of the plane. This sequence is known either to be bounded or to have a linear, quadratic or exponential growth. The classification elements of infinite order with a bounded sequence of degrees is achieved, the case of elements of finite order being already known. The coefficients of the linear and quadratic growth are then described, and related to geometrical properties of the map. The dynamical number of base-points is also studied. Applications of our results are the description of embeddings of the Baumslag-Solitar …
We study the iterative behavior of the family of 3-step linear fractional recurrences and the family of birational maps they define. We determine all the possible periodicities within this family or, equivalently, the birational maps of finite order. This family also contains pseudo-automorphisms of infinite order. One such family consists of completely integrable maps, and another family consists of maps of positive entropy. Both of these families have invariant families of $K3$ surfaces.
