There are no C^1-stable intersections of regular Cantor sets
A \(C^s\)-regular Cantor set is the maximal invariant set of an expanding piecewise \(C^s\) map of the unit interval. A classical result of \textit{S. E. Newhouse} [Publ. Math., Inst. Hautes Étud. Sci. 50, 101--152 (1979; Zbl 0445.58022)] states that, in the \(C^2\) topology, there are persistent non-hyperbolic surface diffeomorphisms. His proof relies on an analysis of the intersection of two \(C^2\)-regular Cantor sets that appear in the unfolding of homoclinic tangencies. These sets have the bounded distortion property, meaning small parts of it resemble the Cantor set itself. In his previous paper [Ann. Inst. Henri Poincaré, Anal. Non Linéaire 13, No. 6, 747--781 (1996; Zbl 0865.58035)], the author defined the notion of stable intersection of Cantor sets and extended Newhouse's results. Later on, together with \textit{J.-C. Yoccoz} [Ann. Math. (2) 154, No. 1, 45--96 (2001; Zbl 1195.37015); corrigendum ibid. 154, No. 2, 527 (2001)] he proved that, indeed, on the space where the sum of the Hausdorff dimensions is greater than 1, the set of pairs of \(C^2\)-regular Cantor sets with \(C^2\)-stable intersection is open and dense. In the paper under review, the author shows that, contrary to these classical results, the set of pairs of \(C^1\)-regular Cantor sets without \(C^1\)-stable intersection is open and dense. Since intersections of Cantor sets are the main known obstructions for hyperbolicity of surface diffeomorphisms, this result is an indication that Smale's conjecture on \(C^1\)-denseness of hyperbolic surface diffeomorphisms might be true. The main property exploited by the author is the lack of bounded distortion for general \(C^1\)-regular Cantor sets. The proof is as follows. Step 1: by a dimension argument, for large \(r\), typical intersection of \(r\) regular Cantor sets is empty. Step 2: on advanced steps of the construction of a regular Cantor set, small \(C^1\) perturbations can generate regular Cantor sets with distorted geometry. Step 3: by backwards induction, if a typical intersection of \(r\) regular Cantor sets is empty, Step 2 implies that also a typical intersection of \(r-1\) regular Cantor sets is empty.
- Stable intersections of Cantor sets and homoclinic bifurcations
- Homoclinic tangencies and hyperbolicity for surface diffeomorphisms
- Abundance of hyperbolicity in the C¹ topology
- Hausdorff dimension versus smoothness
- Stable intersection of Cantor sets in higher dimension and robust homoclinic tangency of the largest codimension
- Stable intersection of affine Cantor sets defined by two expanding maps
- scientific article; zbMATH DE number 53149
- Heterodimensional tangencies
- Generic diffeomorphisms on compact surfaces
- Axiom A versus Newhouse phenomena for Benedicks-Carleson toy models
- Abundance of hyperbolicity in the C¹ topology
- scientific article; zbMATH DE number 53149 (Why is no real title available?)
- Stable intersections of regular Cantor sets with large Hausdorff dimensions
- Tangences homoclines stables pour des ensembles hyperboliques de grande dimension fractale
- The abundance of wild hyperbolic sets and non-smooth stable sets for diffeomorphisms
- Spectral transitions for the square Fibonacci Hamiltonian
- Phase transitions on the Markov and Lagrange dynamical spectra
- Periodic points and measures for a class of skew-products
- Homoclinic tangencies leading to robust heterodimensional cycles
- Stable intersections of Cantor sets and homoclinic bifurcations
- Robust criterion for the existence of nonhyperbolic ergodic measures
- Abundance of \(C^{1}\)-robust homoclinic tangencies
- On the minimality of semigroup actions on the interval which are \(C^{1}\)-close to the identity
- Diffeomorphism groups of tame Cantor sets and Thompson-like groups
- Blender-horseshoes in center-unstable Hénon-like families
- Existence of blenders in a Hénon-like family: geometric insights from invariant manifold computations
- Robust tangencies of large codimension
- Iterated functions systems, blenders, and parablenders
- Hénon-like families and blender-horseshoes at nontransverse heterodimensional cycles
- Index and persistence of stable Cantor sets
- Internal perturbations of homoclinic classes: non-domination, cycles, and self-replication
- Sums of two homogeneous Cantor sets
- Dimension of the intersection of certain Cantor sets in the plane
- Stable intersection of Cantor sets in higher dimension and robust homoclinic tangency of the largest codimension
- A complex gap lemma
- Chaos and wild chaos in Lorenz-type systems
- Axiom A versus Newhouse phenomena for Benedicks-Carleson toy models
- EXACT HAUSDORFF MEASURE OF CERTAIN NON-SELF-SIMILAR CANTOR SETS
- There are no n-point Fσ sets in Rm
- Robust cycles unfolding from conservative bifocal homoclinic orbits
- Historic wandering domains near cycles
- Nontransverse heterodimensional cycles: Stabilisation and robust tangencies
- Historic and physical wandering domains for wild blender-horseshoes
- Hausdorff Dimension of Cantor Intersections and Robust Heterodimensional Cycles for Heterochaos Horseshoe Maps
- Structure and dimension of invariant subsets of expanding Markov maps and joint invariance
- Stable intersections of conformal Cantor sets
- Persistence of heterodimensional cycles
- On the regularity of invariant foliations
- Computing parametrised large intersection sets of 1D invariant manifolds: a tool for blender detection
- Cascades of heterodimensional cycles via period doubling
- Takens' last problem and strong pluripotency
- Fragile cycles
This page was built for publication: There are no \(C^{1}\)-stable intersections of regular Cantor sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q642120)