Showing 1–43 of 43 results for author: Dujardin, R

Holomorphically conjugate polynomial automorphisms of C^2 are polynomially conjugate

Authors: Serge Cantat, Romain Dujardin

Abstract: We confirm a conjecture of Friedland and Milnor: if two polynomial automorphisms f and g in Aut(C^2) with dynamical degree >1 are conjugate by some holomorphic diffeomorphism φof C^2, then φis a polynomial automorphism; thus, f and g are conjugate inside Aut(C^2). We also discuss a number of variations on this result. We confirm a conjecture of Friedland and Milnor: if two polynomial automorphisms f and g in Aut(C^2) with dynamical degree >1 are conjugate by some holomorphic diffeomorphism φof C^2, then φis a polynomial automorphism; thus, f and g are conjugate inside Aut(C^2). We also discuss a number of variations on this result. △ Less

Submitted 28 March, 2024; originally announced March 2024.

On the dynamical Manin-Mumford conjecture for plane polynomial maps

Authors: Romain Dujardin, Charles Favre, Matteo Ruggiero

Abstract: We prove the dynamical Manin-Mumford conjecture for regular polynomial maps of A^2 and irreducible curves avoiding super-attracting orbits at infinity, over any field of characteristic 0. We prove the dynamical Manin-Mumford conjecture for regular polynomial maps of A^2 and irreducible curves avoiding super-attracting orbits at infinity, over any field of characteristic 0. △ Less

Submitted 27 December, 2023; v1 submitted 22 December, 2023; originally announced December 2023.

Hénon maps: a list of open problems

Authors: Pierre Berger, Eric Bedford, Fabrizio Bianchi, Xavier Buff, Sylvain Crovisier, Tien-Cuong Dinh, Romain Dujardin, Charles Favre, Tanya Firsova, Patrick Ingram, Yutaka Ishii, Liviana Palmisano, Enrique Pujals, Jasmin Raissy, Sonja Štimac, Gabriel Vigny

Abstract: We propose a set of questions on the dynamics of Hénon maps from the real, complex, algebraic and arithmetic points of view. We propose a set of questions on the dynamics of Hénon maps from the real, complex, algebraic and arithmetic points of view. △ Less

Submitted 6 December, 2023; originally announced December 2023.

Comments: 34 pages, 4 figures

Dynamics of automorphism groups of projective surfaces: classification, examples and outlook

Authors: Serge Cantat, Romain Dujardin

Abstract: We first present an overview of our previous work on the dynamics of subgroups of automorphism groups of compact complex surfaces, together with a selection of open problems and new classification results. Then, we study two families of examples in depth: the first one comes from folding plane pentagons, and the second one is a family of groups introduced by Jérémy Blanc, which exhibits interestin… ▽ More We first present an overview of our previous work on the dynamics of subgroups of automorphism groups of compact complex surfaces, together with a selection of open problems and new classification results. Then, we study two families of examples in depth: the first one comes from folding plane pentagons, and the second one is a family of groups introduced by Jérémy Blanc, which exhibits interesting new dynamical features. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Structure of hyperbolic polynomial automorphisms of C^2 with disconnected Julia sets

Authors: Romain Dujardin, Mikhail Lyubich

Abstract: For a hyperbolic polynomial automorphism of C^2 with a disconnected Julia set, and under a mild dissipativity condition, we give a topological description of the components of the Julia set. Namely, there are finitely many "quasi-solenoids" that govern the asymptotic behavior of the orbits of all non-trivial components. This can be viewed as a refined Spectral Decomposition for a hyperbolic map, a… ▽ More For a hyperbolic polynomial automorphism of C^2 with a disconnected Julia set, and under a mild dissipativity condition, we give a topological description of the components of the Julia set. Namely, there are finitely many "quasi-solenoids" that govern the asymptotic behavior of the orbits of all non-trivial components. This can be viewed as a refined Spectral Decomposition for a hyperbolic map, as well as a two-dimensional version of the (generalized) Branner-Hubbard theory in one-dimensional polynomial dynamics. An important geometric ingredient of the theory is a John-like property of the Julia set in the unstable leaves. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Degenerate homoclinic bifurcations in complex dimension 2

Authors: Romain Dujardin

Abstract: Unfolding homoclinic tangencies is the main source of bifurcations in 2-dimensional (real or complex) dynamics. When studying this phenomenon, it is common to assume that tangencies are quadratic and unfold with positive speed. Adapting to the complex setting an argument of Takens, we show that any 1-parameter family of 2-dimensional holomorphic diffeomorphisms unfolding an arbitrary non-persisten… ▽ More Unfolding homoclinic tangencies is the main source of bifurcations in 2-dimensional (real or complex) dynamics. When studying this phenomenon, it is common to assume that tangencies are quadratic and unfold with positive speed. Adapting to the complex setting an argument of Takens, we show that any 1-parameter family of 2-dimensional holomorphic diffeomorphisms unfolding an arbitrary non-persistent homoclinic tangency contains such quadratic tangencies. Combining this with recent results of Avila-Lyubich-Zhang and former results in collaboration with Lyubich, this yields the abundance of robust homoclinic tangencies in the bifurcation locus for complex Hénon maps. We also study bifurcations induced by families with persistent tangencies, which provide another approach to the complex Newhouse phenomenon. △ Less

Submitted 19 June, 2023; v1 submitted 13 June, 2023; originally announced June 2023.

Comments: References updated

Hyperbolicity for large automorphism groups of projective surfaces

Authors: Serge Cantat, Romain Dujardin

Abstract: We study the hyperbolicity properties of the action of a non-elementary automorphism group on a compact complex surface, with an emphasis on K3 and Enriques surfaces. A first result is that when such a group contains parabolic elements, Zariski diffuse invariant measures automatically have non-zero Lyapunov exponents. In combination with our previous work, this leads to simple criteria for a unifo… ▽ More We study the hyperbolicity properties of the action of a non-elementary automorphism group on a compact complex surface, with an emphasis on K3 and Enriques surfaces. A first result is that when such a group contains parabolic elements, Zariski diffuse invariant measures automatically have non-zero Lyapunov exponents. In combination with our previous work, this leads to simple criteria for a uniform expansion property on the whole surface, for groups with and without parabolic elements. This, in turn, has strong consequences on the dynamics: description of orbit closures, equidistribution, ergodicity properties, etc. Along the way, we provide a reference discussion on uniform expansion of non-linear discrete group actions on compact (real) manifolds and the construction of Margulis functions under optimal moment conditions. △ Less

Submitted 2 October, 2023; v1 submitted 4 November, 2022; originally announced November 2022.

When do two rational functions have locally biholomorphic Julia sets?

Authors: Romain Dujardin, Charles Favre, Thomas Gauthier

Abstract: In this article we address the following question, whose interest was recently renewed by problems arising in arithmetic dynamics: under which conditions does there exist a local biholomorphism between the Julia sets of two given one-dimensional rational maps? In particular we find criteria ensuring that such a local isomorphism is induced by an algebraic correspondence. This extends and unifies c… ▽ More In this article we address the following question, whose interest was recently renewed by problems arising in arithmetic dynamics: under which conditions does there exist a local biholomorphism between the Julia sets of two given one-dimensional rational maps? In particular we find criteria ensuring that such a local isomorphism is induced by an algebraic correspondence. This extends and unifies classical results due to Baker, Beardon, Eremenko, Levin, Przytycki and others. The proof involves entire curves and positive currents. △ Less

Submitted 11 January, 2022; originally announced January 2022.

Invariant measures for large automorphism groups of projective surfaces

Authors: Serge Cantat, Romain Dujardin

Abstract: We classify invariant probability measures for non-elementary groups of automorphisms, on any compact Kähler surface X, under the assumption that the group contains a so-called "parabolic automorphism". We also prove that except in certain rigid situations known as Kummer examples, there are only finitely many invariant, ergodic, probability measures with a Zariski dense support. If X is a K3 or E… ▽ More We classify invariant probability measures for non-elementary groups of automorphisms, on any compact Kähler surface X, under the assumption that the group contains a so-called "parabolic automorphism". We also prove that except in certain rigid situations known as Kummer examples, there are only finitely many invariant, ergodic, probability measures with a Zariski dense support. If X is a K3 or Enriques surface, and the group does not preserve any algebraic subset, this leads to a complete description of orbit closures. △ Less

Submitted 9 February, 2022; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: Substantially revised version. Now includes a discussion on orbit closures (Theorem E). Precision added in section 8

Geometric methods in holomorphic dynamics

Authors: Romain Dujardin

Abstract: 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. 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. △ Less

Submitted 26 September, 2021; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: To appear in the proceedings of the ICM 2022

Finite orbits for large groups of automorphisms of projective surfaces

Authors: Serge Cantat, Romain Dujardin

Abstract: We study finite orbits for non-elementary groups of automorphisms of compact projective surfaces. In particular we prove that if the surface and the group are defined over a number field k and the group contains parabolic elements, then the set of finite orbits is not Zariski dense, except in certain very rigid situations, known as Kummer examples. Related results are also established when k=C. An… ▽ More We study finite orbits for non-elementary groups of automorphisms of compact projective surfaces. In particular we prove that if the surface and the group are defined over a number field k and the group contains parabolic elements, then the set of finite orbits is not Zariski dense, except in certain very rigid situations, known as Kummer examples. Related results are also established when k=C. An application is given to the description of "canonical vector heights" associated to such automorphism groups. △ Less

Submitted 3 December, 2020; originally announced December 2020.

Random dynamics on real and complex projective surfaces

Authors: Serge Cantat, Romain Dujardin

Abstract: We initiate the study of random iteration of automorphisms of real and complex projective surfaces, or more generally compact K{ä}hler surfaces, focusing on the fundamental problem of classification of stationary measures. We show that, in a number of cases, such stationary measures are invariant, and provide criteria for uniqueness, smoothness and rigidity of invariant probability measures. This… ▽ More We initiate the study of random iteration of automorphisms of real and complex projective surfaces, or more generally compact K{ä}hler surfaces, focusing on the fundamental problem of classification of stationary measures. We show that, in a number of cases, such stationary measures are invariant, and provide criteria for uniqueness, smoothness and rigidity of invariant probability measures. This involves a variety of tools from complex and algebraic geometry, random products of matrices, non-uniform hyperbolicity, as well as recent results of Brown and Rodriguez Hertz on random iteration of surface diffeomorphisms. △ Less

Submitted 7 November, 2022; v1 submitted 8 June, 2020; originally announced June 2020.

Topological and geometric hyperbolicity criteria for polynomial automorphisms of C^2

Authors: Eric Bedford, Romain Dujardin

Abstract: We prove that uniform hyperbolicity is invariant under topological conjugacy for dissipative polynomial automorphisms of C^2. Along the way we also show that a sufficient condition for hyperbolicity is that local stable and unstable manifolds of saddle points have uniform geometry. We prove that uniform hyperbolicity is invariant under topological conjugacy for dissipative polynomial automorphisms of C^2. Along the way we also show that a sufficient condition for hyperbolicity is that local stable and unstable manifolds of saddle points have uniform geometry. △ Less

Submitted 3 June, 2020; originally announced June 2020.

Saddle hyperbolicity implies hyperbolicity for polynomial automorphisms of C^2

Authors: Romain Dujardin

Abstract: We prove that for a polynomial diffeomorphism of C^2, uniform hyperbolicity on the set of saddle periodic points implies that saddle points are dense in the Julia set. In particular f satisfies Smale's Axiom A on C^2 . We prove that for a polynomial diffeomorphism of C^2, uniform hyperbolicity on the set of saddle periodic points implies that saddle points are dense in the Julia set. In particular f satisfies Smale's Axiom A on C^2 . △ Less

Submitted 28 June, 2018; originally announced June 2018.

Some problems of arithmetic origin in rational dynamics

Authors: Romain Dujardin

Abstract: These are lecture notes from a course in arithmetic dynamics given in Grenoble in June 2017. The main purpose of this text is to explain how arithmetic equidistribution theory can be used in the dynamics of rational maps on P^1. We first briefly introduce the basics of the iteration theory of rational maps on the projective line over C, as well as some elements of iteration theory ov… ▽ More These are lecture notes from a course in arithmetic dynamics given in Grenoble in June 2017. The main purpose of this text is to explain how arithmetic equidistribution theory can be used in the dynamics of rational maps on P^1. We first briefly introduce the basics of the iteration theory of rational maps on the projective line over C, as well as some elements of iteration theory over an arbitrary complete valued field and the construction of dynamically defined height functions for rational functions defined over \overline Q. The equidistribution of small points gives some original information on the distribution of preperiodic orbits, leading to some non-trivial rigidity statements. We then explain some consequences of arithmetic equidistribution to the study of the geometry of parameter spaces of such dynamical systems, notably pertaining to the distribution of special parameters and the classification of special subvarieties. △ Less

Submitted 12 May, 2020; v1 submitted 15 May, 2018; originally announced May 2018.

Degenerations of SL(2,C) representations and Lyapunov exponents

Authors: Romain Dujardin, Charles Favre

Abstract: We study the asymptotic behavior of the Lyapunov exponent in a meromorphic family of random products of matrices in SL(2, C), as the parameter converges to a pole. We show that the blow-up of the Lyapunov exponent is governed by a quantity which can be interpreted as the non-Archimedean Lyapunov exponent of the family. We also describe the limit of the corresponding family of stationary measures o… ▽ More We study the asymptotic behavior of the Lyapunov exponent in a meromorphic family of random products of matrices in SL(2, C), as the parameter converges to a pole. We show that the blow-up of the Lyapunov exponent is governed by a quantity which can be interpreted as the non-Archimedean Lyapunov exponent of the family. We also describe the limit of the corresponding family of stationary measures on P 1 (C). △ Less

Submitted 20 March, 2018; originally announced March 2018.

A closing lemma for polynomial automorphisms of C^2

Authors: Romain Dujardin

Abstract: We prove that for a polynomial diffeomorphism of C^2 , the support of any invariant measure, apart from a few obvious cases, is contained in the closure of the set of saddle periodic points. We prove that for a polynomial diffeomorphism of C^2 , the support of any invariant measure, apart from a few obvious cases, is contained in the closure of the set of saddle periodic points. △ Less

Submitted 5 September, 2017; originally announced September 2017.

Non density of stability for holomorphic map**s on P^k

Authors: Romain Dujardin

Abstract: A well-known theorem due to Mañé-Sad-Sullivan and Lyubich asserts that J-stable maps are dense in any holomorphic family of rational maps in dimension 1. In this paper we show that the corresponding result fails in higher dimension. More precisely, we construct open subsets in the bifurcation locus in the space of holomorphic map**s of degree d of P^k (C) for every d $\ge$ 2 and k $\ge$ 2. A well-known theorem due to Mañé-Sad-Sullivan and Lyubich asserts that J-stable maps are dense in any holomorphic family of rational maps in dimension 1. In this paper we show that the corresponding result fails in higher dimension. More precisely, we construct open subsets in the bifurcation locus in the space of holomorphic map**s of degree d of P^k (C) for every d $\ge$ 2 and k $\ge$ 2. △ Less

Submitted 24 October, 2016; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: v2 now includes a discussion on the Newhouse phenomenon

A two-dimensional polynomial map** with a wandering Fatou component

Authors: Matthieu Astorg, Xavier Buff, Romain Dujardin, Han Peters, Jasmin Raissy

Abstract: We show that there exist polynomial endomorphisms of C^2, possessing a wandering Fatou component. These map**s 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. We show that there exist polynomial endomorphisms of C^2, possessing a wandering Fatou component. These map**s 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. △ Less

Submitted 8 December, 2014; v1 submitted 5 November, 2014; originally announced November 2014.

Comments: Revised introduction

On stability and hyperbolicity for polynomial automorphisms of C^2

Authors: Pierre Berger, Romain Dujardin

Abstract: Let $(f_λ)_{λ\in Λ}$ be a holomorphic family of polynomial automorphisms of $\mathbb{C}^2$. Following previous work of Dujardin and Lyubich, we say that such a family is weakly stable if saddle periodic orbits do not bifurcate. It is an open question whether this property is equivalent to structural stability on the Julia set $J^*$ (that is, the closure of the set of saddle periodic points). In… ▽ More Let $(f_λ)_{λ\in Λ}$ be a holomorphic family of polynomial automorphisms of $\mathbb{C}^2$. Following previous work of Dujardin and Lyubich, we say that such a family is weakly stable if saddle periodic orbits do not bifurcate. It is an open question whether this property is equivalent to structural stability on the Julia set $J^*$ (that is, the closure of the set of saddle periodic points). In this paper we introduce a notion of regular point for a polynomial automorphism, inspired by Pesin theory, and prove that in a weakly stable family, the set of regular points moves holomorphically. It follows that a weakly stable family is probabilistically structurally stable, in a very strong sense. Another consequence of these techniques is that weak stability preserves uniform hyperbolicity on $J^*$. △ Less

Submitted 15 September, 2014; originally announced September 2014.

The dynamical Manin-Mumford problem for plane polynomial automorphisms

Authors: Romain Dujardin, Charles Favre

Abstract: Let $f$ be a polynomial automorphism of the affine plane. In this paper we consider the possibility for it to possess infinitely many periodic points on an algebraic curve $C$. We conjecture that this happens if and only if $f$ admits a time-reversal symmetry; in particular the Jacobian $\mathrm{Jac}(f)$ must be a root of unity. As a step towards this conjecture, we prove that the Jacobian of… ▽ More Let $f$ be a polynomial automorphism of the affine plane. In this paper we consider the possibility for it to possess infinitely many periodic points on an algebraic curve $C$. We conjecture that this happens if and only if $f$ admits a time-reversal symmetry; in particular the Jacobian $\mathrm{Jac}(f)$ must be a root of unity. As a step towards this conjecture, we prove that the Jacobian of $f$ and all its Galois conjugates lie on the unit circle in the complex plane. Under mild additional assumptions we are able to conclude that indeed $\mathrm{Jac}(f)$ is a root of unity. We use these results to show in various cases that any two automorphisms sharing an infinite set of periodic points must have a common iterate, in the spirit of recent results by Baker-DeMarco and Yuan-Zhang. △ Less

Submitted 17 December, 2014; v1 submitted 6 May, 2014; originally announced May 2014.

Comments: 45 pages. Theorems A and B are now extended to automorphisms defined over any field of characteristic zero

A non-laminar dynamical Green current

Authors: Romain Dujardin

Abstract: A holomorphic endomorphism f of CP^2 admits a Julia set J_1, defined as usual to be the locus of non-normality of its iterates, and a (typically) smaller Julia set J_2, which is essentially the closure of the set of repelling periodic orbits. The question has been raised whether J_1\J_2 is filled (possibly in a measure-theoretic sense) with "Fatou subvarieties" along which the dynamics is locally… ▽ More A holomorphic endomorphism f of CP^2 admits a Julia set J_1, defined as usual to be the locus of non-normality of its iterates, and a (typically) smaller Julia set J_2, which is essentially the closure of the set of repelling periodic orbits. The question has been raised whether J_1\J_2 is filled (possibly in a measure-theoretic sense) with "Fatou subvarieties" along which the dynamics is locally equicontinuous. In this article we construct examples showing that this is not the case in general △ Less

Submitted 16 April, 2014; v1 submitted 25 September, 2013; originally announced September 2013.

Comments: Some modifications in the proofs of Lemmas 2.7 and 2.8

Complex projective structures: Lyapunov exponent, degree and harmonic measure

Authors: Bertrand Deroin, Romain Dujardin

Abstract: We study several new invariants associated to a holomorphic projective structure on a Riemann surface of finite analytic type: the Lyapunov exponent of its holonomy which is of probabilistic/dynamical nature and was introduced in our previous work; the degree which measures the asymptotic covering rate of the develo** map; and a family of harmonic measures on the Riemann sphere, previously intro… ▽ More We study several new invariants associated to a holomorphic projective structure on a Riemann surface of finite analytic type: the Lyapunov exponent of its holonomy which is of probabilistic/dynamical nature and was introduced in our previous work; the degree which measures the asymptotic covering rate of the develo** map; and a family of harmonic measures on the Riemann sphere, previously introduced by Hussenot. We show that the degree and the Lyapunov exponent are related by a simple formula and give estimates for the Hausdorff dimension of the harmonic measures in terms of the Lyapunov exponent. In accordance with the famous "Sullivan dictionary", this leads to a description of the space of such projective structures that is reminiscent of that of the space of polynomials in holomorphic dynamics. △ Less

Submitted 2 August, 2013; originally announced August 2013.

Journal ref: Duke Math. J. 166, no. 14 (2017), 2643-2695

Stability and bifurcations for dissipative polynomial automorphisms of C^2

Authors: Romain Dujardin, Mikhail Lyubich

Abstract: We study stability and bifurcations in holomorphic families of polynomial automorphisms of C^2. We say that such a family is weakly stable over some parameter domain if periodic orbits do not bifurcate there. We first show that this defines a meaningful notion of stability, which parallels in many ways the classical notion of J-stability in one-dimensional dynamics. In the second part of the paper… ▽ More We study stability and bifurcations in holomorphic families of polynomial automorphisms of C^2. We say that such a family is weakly stable over some parameter domain if periodic orbits do not bifurcate there. We first show that this defines a meaningful notion of stability, which parallels in many ways the classical notion of J-stability in one-dimensional dynamics. In the second part of the paper, we prove that under an assumption of moderate dissipativity, the parameters displaying homoclinic tangencies are dense in the bifurcation locus. This confirms one of Palis' Conjectures in the complex setting. The proof relies on the formalism of semi-parabolic bifurcation and the construction of "critical points" in semi-parabolic basins (which makes use of the classical Denjoy-Carleman-Ahlfors and Wiman Theorems). △ Less

Submitted 18 April, 2014; v1 submitted 13 May, 2013; originally announced May 2013.

Comments: Revised version. Part 1 on holomorphic motions and stability was reorganized

Lyapunov exponents for surface groups representations

Authors: Bertrand Deroin, Romain Dujardin

Abstract: Let (ρ_\la)_{\la\in \La} be a holomorphic family of representations of a surface group π_1(S) into PSL(2,C), where S is a topological (possibly punctured) surface with negative Euler characteristic. Given a structure of Riemann surface of finite type on S we construct a bifurcation current on the parameter space \La, that is a (1,1) positive closed current attached to the bifurcations of the famil… ▽ More Let (ρ_\la)_{\la\in \La} be a holomorphic family of representations of a surface group π_1(S) into PSL(2,C), where S is a topological (possibly punctured) surface with negative Euler characteristic. Given a structure of Riemann surface of finite type on S we construct a bifurcation current on the parameter space \La, that is a (1,1) positive closed current attached to the bifurcations of the family. It is defined as the $dd^c$ of the Lyapunov exponent of the representation with respect to the Brownian motion on the Riemann surface S, endowed with its Poincare metric. We show that this bifurcation current describes the asymptotic distribution of various codimension 1 phenomena in \La. For instance, the random hypersurfaces of \La defined by the condition that a random closed geodesic on S is mapped under ρ_\la to a parabolic element or the identity are asymptotically equidistributed with respect to the bifurcation current. The proofs are based on our previous work "Random walks, Kleinian groups, and bifurcation currents", and on a careful control of a discretization procedure of the Brownian motion. △ Less

Submitted 2 August, 2013; v1 submitted 30 April, 2013; originally announced May 2013.

Comments: Title slightly changed. We changed the normalization for hyperbolic Brownian motion, whose generator is now the Laplacian (instead of half of it). As a consequence, several formulas in the paper are changed by a factor 2

A note on the rank of positive closed currents

Authors: Romain Dujardin

Abstract: In this short note we prove an estimate on the rank a.e. of the tangent (p,p) vector to a a positive closed current of bidimension (p,p) in CP^k, in terms of the dimension of its trace measure. In this short note we prove an estimate on the rank a.e. of the tangent (p,p) vector to a a positive closed current of bidimension (p,p) in CP^k, in terms of the dimension of its trace measure. △ Less

Submitted 26 March, 2012; originally announced March 2012.

Comments: This is a complement, not intended for publication, to my paper "Fatou directions along the Julia set for endomorphisms of CP^k" [arXiv:1006.0882]

The supports of higher bifurcation currents

Authors: Romain Dujardin

Abstract: Let (f_λ) be a holomorphic family of rational map**s of degree d on the Riemann sphere, with k marked critical points c_1,..., c_k, parameterized by a complex manifold Λ. To this data is associated a closed positive current T_1\wedge ... \wedge T_k of bidegree (k,k) on Λ, aiming to describe the simultaneous bifurcations of the marked critical points. In this note we show that the support of this… ▽ More Let (f_λ) be a holomorphic family of rational map**s of degree d on the Riemann sphere, with k marked critical points c_1,..., c_k, parameterized by a complex manifold Λ. To this data is associated a closed positive current T_1\wedge ... \wedge T_k of bidegree (k,k) on Λ, aiming to describe the simultaneous bifurcations of the marked critical points. In this note we show that the support of this current is accumulated by parameters at which c_1,..., c_k eventually fall on repelling cycles. Together with results of Buff, Epstein and Gauthier, this leads to a complete characterization of Supp(T_1\wedge ... \wedge T_k). △ Less

Submitted 15 February, 2012; originally announced February 2012.

Comments: 13 pages

MSC Class: 37F45

Bifurcation currents and equidistribution on parameter space

Authors: Romain Dujardin

Abstract: In this paper we review the use of techniques of positive currents for the study of parameter spaces of one-dimensional holomorphic dynamical systems (rational map**s on P^1 or subgroups of the Moebius group PSL(2,C)). The topics covered include: the construction of bifurcation currents and the characterization of their supports, the equidistribution properties of dynamically defined subvarietie… ▽ More In this paper we review the use of techniques of positive currents for the study of parameter spaces of one-dimensional holomorphic dynamical systems (rational map**s on P^1 or subgroups of the Moebius group PSL(2,C)). The topics covered include: the construction of bifurcation currents and the characterization of their supports, the equidistribution properties of dynamically defined subvarieties on parameter space. △ Less

Submitted 7 February, 2012; v1 submitted 16 November, 2011; originally announced November 2011.

Comments: Revised version, 46 pages, to appear in the proceedings of the conference "Frontiers in complex dynamics (Celebrating John Milnor's 80th birthday)"

MSC Class: 37F45; 37F30

Random walks, Kleinian groups, and bifurcation currents

Authors: Bertrand Deroin, Romain Dujardin

Abstract: Let (ρ_λ)_{λ\in Λ} be a holomorphic family of representations of a finitely generated group G into PSL(2,C), parameterized by a complex manifold Λ. We define a notion of bifurcation current in this context, that is, a positive closed current on Λdescribing the bifurcations of this family of representations in a quantitative sense. It is the analogue of the bifurcation current introduced by DeMarco… ▽ More Let (ρ_λ)_{λ\in Λ} be a holomorphic family of representations of a finitely generated group G into PSL(2,C), parameterized by a complex manifold Λ. We define a notion of bifurcation current in this context, that is, a positive closed current on Λdescribing the bifurcations of this family of representations in a quantitative sense. It is the analogue of the bifurcation current introduced by DeMarco for holomorphic families of rational map**s on the Riemann sphere. Our definition relies on the theory of random products of matrices, so it depends on the choice of a probability measure μon G. We show that under natural assumptions on μ, the support of the bifurcation current coincides with the bifurcation locus of the family. We also prove that the bifurcation current describes the asymptotic distribution of several codimension 1 phenomena in parameter space, like accidental parabolics or new relations, or accidental collisions between fixed points. △ Less

Submitted 10 January, 2012; v1 submitted 5 November, 2010; originally announced November 2010.

Comments: Final version, to appear in Inventiones Math

Fatou directions along the Julia set for endomorphisms of CP^k

Authors: Romain Dujardin

Abstract: Not much is known about the dynamics outside the support of the maximal entropy measure $μ$ for holomorphic endomorphisms of $\mathbb{CP}^k$. In this article we study the structure of the dynamics on the Julia set, which is typically larger than $Supp(μ)$. The Julia set is the support of the so-called Green current $T$, so it admits a natural filtration by the supports of the exterior powers of… ▽ More Not much is known about the dynamics outside the support of the maximal entropy measure $μ$ for holomorphic endomorphisms of $\mathbb{CP}^k$. In this article we study the structure of the dynamics on the Julia set, which is typically larger than $Supp(μ)$. The Julia set is the support of the so-called Green current $T$, so it admits a natural filtration by the supports of the exterior powers of $T$. For $1\leq q \leq k$, let $J_q= Supp(T^q)$. We show that for a generic point of $J_q\setminus J_{q+1}$ there are at least $(k-q)$ "Fatou directions" in the tangent space. We also give estimates for the rate of expansion in directions transverse to the Fatou directions. △ Less

Submitted 26 March, 2012; v1 submitted 4 June, 2010; originally announced June 2010.

Comments: Final, shorter version, to appear in J. Math. Pures Appl

Wermer examples and currents

Authors: Romain Dujardin

Abstract: In this paper we give the first examples of positive closed currents in $\mathbb{C}^2$ with continuous potentials, vanishing self-intersection, and which are not laminar. More precisely, they are supported on sets "without analytic structure". The result is mostly interesting when the potential has regularity close to $C^2$, because laminarity is expected to hold in that case. We actually constr… ▽ More In this paper we give the first examples of positive closed currents in $\mathbb{C}^2$ with continuous potentials, vanishing self-intersection, and which are not laminar. More precisely, they are supported on sets "without analytic structure". The result is mostly interesting when the potential has regularity close to $C^2$, because laminarity is expected to hold in that case. We actually construct examples which are $C^{1,α}$ for all $α<1$. △ Less

Submitted 21 August, 2009; v1 submitted 27 April, 2009; originally announced April 2009.

Comments: Minor modifications. Final version, to appear in GAFA

MSC Class: 32U40; 32U15; 32E20

Dynamics of meromorphic maps with small topological degree III: geometric currents and ergodic theory

Authors: Jeffrey Diller, Romain Dujardin, Vincent Guedj

Abstract: We continue our study of the dynamics of map**s with small topological degree on (projective) complex surfaces. Previously, under mild hypotheses, we have constructed an ergodic ``equilibrium'' measure for each such map**. 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 ha… ▽ More We continue our study of the dynamics of map**s with small topological degree on (projective) complex surfaces. Previously, under mild hypotheses, we have constructed an ergodic ``equilibrium'' measure for each such map**. 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 invertible case and is, to our knowledge, one among not very many instances in which a natural invariant measure for a non-invertible dynamical system is well-understood. △ Less

Submitted 10 September, 2009; v1 submitted 1 June, 2008; originally announced June 2008.

Comments: v3. Exposition improved. Final version, to appear in Ann. Scient. de l'ENS

MSC Class: 37F10; 32H50

Dynamics of meromorphic maps with small topological degree II: Energy and invariant measure

Authors: Jeffrey Diller, Romain Dujardin, Vincent Guedj

Abstract: We continue our study of the dynamics of meromorphic map**s 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 map** is in… ▽ More We continue our study of the dynamics of meromorphic map**s 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 map** is induced by a polynomial endomorphism of $\mathbf{C}^2$. They are new even in the birational case. We also exhibit families of map**s where our assumptions are generically satisfied and show that if counterexamples exist, the corresponding measure must give mass to a pluripolar set. △ Less

Submitted 21 September, 2009; v1 submitted 25 May, 2008; originally announced May 2008.

Comments: Minor modifications. Final version, to appear in Comment. Math. Helvet

MSC Class: 37F10; 32U15; 32H50

Dynamics of meromorphic maps with small topological degree I: from cohomology to currents

Authors: Jeffrey Diller, Romain Dujardin, Vincent Guedj

Abstract: 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 entr… ▽ More 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 examples and identify some additional properties of maps on irrational surfaces and of maps whose invariant cohomology classes have vanishing self-intersection. △ Less

Submitted 9 July, 2009; v1 submitted 6 March, 2008; originally announced March 2008.

Comments: Final version, to appear in Indiana University Mathematics Journal. Among other changes, discussion of polynomial maps is improved

MSC Class: 37F10; 32H50; 14E07

Continuity of Lyapunov exponents for polynomial automorphisms of $\mathbb{C}^2$

Authors: Romain Dujardin

Abstract: We prove two continuity theorems for the Lyapunov exponents of the maximal entropy measure of polynomial automorphisms of $\mathbb{C}^2$. The first continuity result holds for any family of polynomial automorphisms of constant dynamical degree. The second result is the continuity of the upper exponent for families degenerating to a 1-dimensional map. We prove two continuity theorems for the Lyapunov exponents of the maximal entropy measure of polynomial automorphisms of $\mathbb{C}^2$. The first continuity result holds for any family of polynomial automorphisms of constant dynamical degree. The second result is the continuity of the upper exponent for families degenerating to a 1-dimensional map. △ Less

Submitted 23 August, 2006; originally announced August 2006.

MSC Class: 37f45;37f10

Cubic polynomials: a measurable view on parameter space

Authors: Romain Dujardin

Abstract: We study the fine geometric structure of bifurcation currents in the parameter space of cubic polynomials viewed as dynamical systems. In particular we prove that these currents have some laminar structure in a large region of parameter space, reflecting the possibility of quasiconformal deformations. On the other hand, there is a natural bifurcation measure, supported on the closure of rigid pa… ▽ More We study the fine geometric structure of bifurcation currents in the parameter space of cubic polynomials viewed as dynamical systems. In particular we prove that these currents have some laminar structure in a large region of parameter space, reflecting the possibility of quasiconformal deformations. On the other hand, there is a natural bifurcation measure, supported on the closure of rigid parameters. We prove a strong non laminarity statement relative to this measure. △ Less

Submitted 26 May, 2006; originally announced May 2006.

MSC Class: 37F45; 32U40

Distribution of rational maps with a preperiodic critical point

Authors: Romain Dujardin, Charles Favre

Abstract: Let {f_t} be any algebraic family of rational maps of a fixed degree, with a marked critical point c(t). We first prove that the hypersurfaces of parameters for which c(t) is periodic converge as a sequence of positive closed (1,1) currents to the bifurcation current attached to c and defined by DeMarco. We then turn our attention to the parameter space of polynomials of a fixed degree d. By int… ▽ More Let {f_t} be any algebraic family of rational maps of a fixed degree, with a marked critical point c(t). We first prove that the hypersurfaces of parameters for which c(t) is periodic converge as a sequence of positive closed (1,1) currents to the bifurcation current attached to c and defined by DeMarco. We then turn our attention to the parameter space of polynomials of a fixed degree d. By intersecting the d-1 currents attached to each critical point of a polynomial, Bassaneli and Berteloot obtained a positive measure of finite mass which is supported on the connectedness locus. They showed that its support is included in the closure of the set of parameters admitting d-1 neutral cycles. We show that the support of this measure is precisely the closure of the set of strictly critically finite polynomials (i.e. of Misiurewicz points). △ Less

Submitted 30 August, 2007; v1 submitted 25 January, 2006; originally announced January 2006.

Comments: 45 pages. Final version. To appear in American Math. Journal

MSC Class: 37F45; 32H50

Approximation des fonctions lisses sur certaines laminations

Authors: Romain Dujardin

Abstract: We show that on a Riemann surface lamination locally embedded in $\mathbb{C}^2$, $C^1$ functions (in the sense of the $C^1$ structure of the lamination) are uniform limits of ambient $C^1$ functions, with $L^p$ control on the derivatives along the leaves. This implies that locally in $C^2$, a (1,1) positive closed current dominated by a uniformly laminar current is itself uniformly laminar. We show that on a Riemann surface lamination locally embedded in $\mathbb{C}^2$, $C^1$ functions (in the sense of the $C^1$ structure of the lamination) are uniform limits of ambient $C^1$ functions, with $L^p$ control on the derivatives along the leaves. This implies that locally in $C^2$, a (1,1) positive closed current dominated by a uniformly laminar current is itself uniformly laminar. △ Less

Submitted 11 February, 2005; originally announced February 2005.

MSC Class: 53C12; 30C62

Some remarks on the connectivity of Julia sets for 2-dimensional diffeomorphisms

Authors: Romain Dujardin

Abstract: We explore the connected/disconnected dichotomy for the Julia set of polynomial automorphisms of C^2. We develop several aspects of the question, which was first studied by Bedford-Smillie. We introduce a new sufficient condition for the connectivity of the Julia set, that carries over for certain H{é}non-like and birational maps. We study the structure of disconnected Julia sets and the associa… ▽ More We explore the connected/disconnected dichotomy for the Julia set of polynomial automorphisms of C^2. We develop several aspects of the question, which was first studied by Bedford-Smillie. We introduce a new sufficient condition for the connectivity of the Julia set, that carries over for certain H{é}non-like and birational maps. We study the structure of disconnected Julia sets and the associated invariant currents. This provides a simple approach to some results of Bedford-Smillie, as well as some new corollaries --the connectedness locus is closed, construction of external rays in the general case, etc. We also prove the following theorem: a hyperbolic polynomial diffeomorphism of C^2 with connected Julia set must have attracting or repelling orbits. This is an analogue of a well known result in one dimensional dynamics. △ Less

Submitted 8 December, 2004; originally announced December 2004.

MSC Class: 37Fxx

Laminar currents and birational dynamics

Authors: Romain Dujardin

Abstract: We study the dynamics of a bimeromorphic selfmap of a compact complex Kähler surface $X$. Under a natural geometric hypothesis, we construct an invariant probability measure, which is mixing, hyperbolic and of maximal entropy. The proof relies heavily on the theory of laminar currents and is new even in the case of polynomial automorphisms of $\mathbb{C}^2$. This extends recent results by E. Bed… ▽ More We study the dynamics of a bimeromorphic selfmap of a compact complex Kähler surface $X$. Under a natural geometric hypothesis, we construct an invariant probability measure, which is mixing, hyperbolic and of maximal entropy. The proof relies heavily on the theory of laminar currents and is new even in the case of polynomial automorphisms of $\mathbb{C}^2$. This extends recent results by E. Bedford and J. Diller. △ Less

Submitted 7 June, 2005; v1 submitted 28 September, 2004; originally announced September 2004.

Comments: Added more preliminaries on laminar currents and other minor corrections. To appear in Duke Math. J

MSC Class: 37Fxx

On the dynamics near infinity of some polynomial map**s in $\mathbb{C}^2$

Authors: Tien-Cuong Dinh, Romain Dujardin, Nessim Sibony

Abstract: We construct the Green current for a random iteration of "horizontal-like" map**s in two complex dimensions. This is applied to the study of a polynomial map $f:\mathbb{C}^2\to\mathbb{C}^2$ with the following properties: 1. infinity is $f$-attracting, 2. $f$ contracts the line at infinity to a point not in the indeterminacy set. Then the Green current of $f$ can be decomposed into pieces… ▽ More We construct the Green current for a random iteration of "horizontal-like" map**s in two complex dimensions. This is applied to the study of a polynomial map $f:\mathbb{C}^2\to\mathbb{C}^2$ with the following properties: 1. infinity is $f$-attracting, 2. $f$ contracts the line at infinity to a point not in the indeterminacy set. Then the Green current of $f$ can be decomposed into pieces associated with an itinerary determined by the indeterminacy points. We also study the set of escape rates near infinity, i.e. the possible values of the function $\limsup \frac{1}{n}\log^+\log^+ \norm{f^n}$. We exhibit examples for which this set contains an interval. △ Less

Submitted 27 July, 2004; originally announced July 2004.

MSC Class: 37Fxx

Structure properties of laminar currents on $\mathbb{P}^2$

Authors: Romain Dujardin

Abstract: We study the structure of a class of laminar closed positive currents on $\mathbb{CP}^2$, naturally appearing in birational dynamics. We prove such a current admits natural non intersecting {\em leaves}, that are closed under analytic continuation. As a consequence it can be seen as a {\em foliation cycle} a weak lamination. We study the structure of a class of laminar closed positive currents on $\mathbb{CP}^2$, naturally appearing in birational dynamics. We prove such a current admits natural non intersecting {\em leaves}, that are closed under analytic continuation. As a consequence it can be seen as a {\em foliation cycle} a weak lamination. △ Less

Submitted 11 February, 2005; v1 submitted 17 March, 2004; originally announced March 2004.

Comments: Final version. To appear in the Journal of Geometric Analysis

MSC Class: 32U40; 37Fxx

Sur l'intersection des courants laminaires

Authors: Romain Dujardin

Abstract: We try to find a geometric interpretation of the wedge product of positive closed laminar currents in $\mathbb{C}^2$. We say such a wedge product is geometric if it is given by intersecting the disks filling up the currents. Uniformly laminar currents do always intersect geometrically in this sense. We also introduce a class of ``strongly approximable'' laminar currents, natural from the dynam… ▽ More We try to find a geometric interpretation of the wedge product of positive closed laminar currents in $\mathbb{C}^2$. We say such a wedge product is geometric if it is given by intersecting the disks filling up the currents. Uniformly laminar currents do always intersect geometrically in this sense. We also introduce a class of ``strongly approximable'' laminar currents, natural from the dynamical point of view, and prove that such currents intersect geometrically provided they have continuous potentials. △ Less

Submitted 24 March, 2003; originally announced March 2003.

Comments: 14 pages (LaTeX). To appear in Publicacions Matematiques

MSC Class: 32U40; 32H50; 37Fxx