-
Robust complex heterodimensional cycles
Authors:
Sébastien Biebler
Abstract:
A diffeomorphism f has a heterodimensional cycle if it displays two (transitive) hyperbolic sets K and K' with different indices such that the unstable set of K intersects the stable one of K' and vice versa. We prove that it is possible to find robust heterodimensional cycles for families of polynomial automorphisms of C^3 . The proof is based on Bonatti-D{í}az blenders.
A diffeomorphism f has a heterodimensional cycle if it displays two (transitive) hyperbolic sets K and K' with different indices such that the unstable set of K intersects the stable one of K' and vice versa. We prove that it is possible to find robust heterodimensional cycles for families of polynomial automorphisms of C^3 . The proof is based on Bonatti-D{í}az blenders.
△ Less
Submitted 14 January, 2025;
originally announced January 2025.
-
Almost blenders and parablenders
Authors:
Sébastien Biebler
Abstract:
A blender for a surface endomorphism is a hyperbolic basic set for which the union of the local unstable manifolds contains robustly an open set. Introduced by Bonatti and D{í}az in the 90s, blenders turned out to have many powerful applications to differentiable dynamics. In particular, a generalization in terms of jets, called parablenders, allowed Berger to prove the existence of generic famili…
▽ More
A blender for a surface endomorphism is a hyperbolic basic set for which the union of the local unstable manifolds contains robustly an open set. Introduced by Bonatti and D{í}az in the 90s, blenders turned out to have many powerful applications to differentiable dynamics. In particular, a generalization in terms of jets, called parablenders, allowed Berger to prove the existence of generic families displaying robustly infinitely many sinks. In this paper, we introduce analogous notions in a measurable point of view. We define an almost blender as a hyperbolic basic set for which a prevalent perturbation has a local unstable set having positive Lebesgue measure. Almost parablenders are defined similarly in terms of jets. We study families of endomorphisms of R2 leaving invariant the continuation of a hyperbolic basic set. When some inequality involving the entropy and the maximal contraction along stable manifolds is satisfied, we obtain an almost blender or parablender. This answers partially a conjecture of Berger. The proof is based on thermodynamic formalism: following works of Mihailescu, Simon, Solomyak and Urba{ń}ski, we study families of fiberwise unipotent skew-products and we give conditions under which these maps have limit sets of positive measure inside their fibers.
△ Less
Submitted 31 December, 2020;
originally announced December 2020.
-
Emergence of wandering stable components
Authors:
Pierre Berger,
Sebastien Biebler
Abstract:
We prove the existence of a locally dense set of real polynomial automorphisms of C 2 displaying a wandering Fatou component; in particular this solves the problem of their existence, reported by Bedford and Smillie in 1991. These Fatou components have non-empty real trace and their statistical behavior is historical with high emergence. The proof is based on a geometric model for parameter famili…
▽ More
We prove the existence of a locally dense set of real polynomial automorphisms of C 2 displaying a wandering Fatou component; in particular this solves the problem of their existence, reported by Bedford and Smillie in 1991. These Fatou components have non-empty real trace and their statistical behavior is historical with high emergence. The proof is based on a geometric model for parameter families of surface real mappings. At a dense set of parameters, we show that the dynamics of the model displays a historical, high emergent, stable domain. We show that this model can be embedded into families of H{é}non maps of explicit degree and also in an open and dense set of 5-parameter C r-families of surface diffeomorphisms in the Newhouse domain, for every 2 $\le$ r $\le$ $\infty$ and r = $ω$. This implies a complement of the work of Kiriki and Soma (2017), a proof of the last Taken's problem in the C $\infty$ and C $ω$-case. The main difficulty is that here perturbations are done only along finite-dimensional parameter families. The proof is based on the multi-renormalization introduced in [Ber18].
△ Less
Submitted 18 March, 2022; v1 submitted 23 January, 2020;
originally announced January 2020.
-
A Complex Gap Lemma
Authors:
Sébastien Biebler
Abstract:
Inspired by the work of Newhouse in one real variable, we introduce a relevant notion of thickness for dynamical Cantor sets of the plane associated to a holomorphic IFS. Our main result is a complex version of Newhouse's Gap Lemma : we show that under some assumptions, if the product t(K)t(L) of the thicknesses of two Cantor sets K and L is larger than 1, then K and L have non empty intersection.…
▽ More
Inspired by the work of Newhouse in one real variable, we introduce a relevant notion of thickness for dynamical Cantor sets of the plane associated to a holomorphic IFS. Our main result is a complex version of Newhouse's Gap Lemma : we show that under some assumptions, if the product t(K)t(L) of the thicknesses of two Cantor sets K and L is larger than 1, then K and L have non empty intersection. Since in addition this thickness varies continuously, this gives a criterion to get a robust intersection between two Cantor sets in the plane.
△ Less
Submitted 5 October, 2018;
originally announced October 2018.
-
Latt{è}s maps and the interior of the bifurcation locus
Authors:
Sébastien Biebler
Abstract:
We show the existence of open sets of bifurcations near Latt{è}s maps of sufficiently high degree. In particular, every Latt{è}s map has an iterate which is in the closure of the interior of the bifurcation locus. To show this, we design a method to intersect the limit set of some particular type of IFS with a well-oriented curve. Then, we show that a Latt{è}s map of sufficiently high degree can b…
▽ More
We show the existence of open sets of bifurcations near Latt{è}s maps of sufficiently high degree. In particular, every Latt{è}s map has an iterate which is in the closure of the interior of the bifurcation locus. To show this, we design a method to intersect the limit set of some particular type of IFS with a well-oriented curve. Then, we show that a Latt{è}s map of sufficiently high degree can be perturbed to exhibit this geometry.
△ Less
Submitted 10 January, 2020; v1 submitted 19 January, 2018;
originally announced January 2018.
-
Persistent homoclinic tangencies and infinitely many sinks for residual sets of automorphisms of low degree in C^{3}
Authors:
Sébastien Biebler
Abstract:
We show that there exists a polynomial automorphism $f$ of $\mathbb{C}^{3}$ of degree 2 such that for every automorphism $g$ sufficiently close to $f$, $g$ admits a tangency between the stable and unstable laminations of some hyperbolic set. As a consequence, for each $d \ge 2$, there exists an open set of polynomial automorphisms of degree at most $d$ in which the automorphisms having infinitely…
▽ More
We show that there exists a polynomial automorphism $f$ of $\mathbb{C}^{3}$ of degree 2 such that for every automorphism $g$ sufficiently close to $f$, $g$ admits a tangency between the stable and unstable laminations of some hyperbolic set. As a consequence, for each $d \ge 2$, there exists an open set of polynomial automorphisms of degree at most $d$ in which the automorphisms having infinitely many sinks are dense. To prove these results, we give a complex analogous to the notion of blender introduced by Bonatti and Diaz.
△ Less
Submitted 11 December, 2019; v1 submitted 7 November, 2016;
originally announced November 2016.
