Solenoidal attractors with bounded combinatorics are shy (Q2287644)

In this paper the author considers problems related to the measure-theoretic critical behavior of families of multimodal maps. A multimodal map \(f\) on an interval \(I\) is a smooth map with a finite number of critical points, each of them a local maximum or local minimum, such that the image of the boundary of \(I\) under \(f\) is contained in the boundary of \(I\). One outstanding question -- partially answered in this paper -- is: how often maps with solenoidal attractors do appear in families of multimodal maps? The author's main result is as follows. For a generic real-analytic finite-dimensional family of real-analytic multimodal maps with quadratic critical points and negative Schwarzian derivative, the set of parameters whose corresponding maps have a solenoidal attractor with bounded combinatorics has Lebesgue measure zero. The author notes that if a map \(f\) has a solenoidal attractor with bounded combinatorics, then one can find an induced map \(F\) of \(f\) that is a composition of unimodal maps, and it is infinitely renormalizable. So the iterations of the normalization operator \(R\) for multimodal maps are well defined for \(F\). Using the universality property described by the author in a previous paper, it can be shown that \(F\) belongs to the stable lamination of the omega limit set \(\Omega\) of \(R\). The author's main technical result relates to \(R\): if the renormalization operator \(R\) acting on real-analytic multimodal maps that are renormalizable with combinatorics bounded by some \(p > 0\), then the omega limit set \(\Omega\) of \(R\) is a hyperbolic set. A note for readers who might wonder about the word ``shy'' in the paper's title. It appears nowhere else in the paper, but ``shy'' is defined as follows: in a normed linear space \(V\) a Borel set \(S\) is called shy if there is a compactly supported probability measure \(\mu\) on \(V\) such that \(\mu(S + v)\) = 0 for all \(v\) in \(V\). In Euclidean space shy is equivalent to having Lebesgue measure zero.