Berger's blender conjecture for entropy-dominated hyperbolic basic sets

About 6 years old · traced to

Let F\mathcal{F} be a CrC^r-local diffeomorphism of a manifold M\mathcal{M}, for r≥2r \ge 2, and let K\mathcal{K} be a hyperbolic basic set for F\mathcal{F}. Write Es\mathcal{E}^s for its stable bundle and define

m(DF):=min⁡z∈K, u∈Ezs, ∥u∥=1∥DzF(u)∥.m(D\mathcal{F}):= \min_{z \in \mathcal{K},\,u \in \mathcal{E}^s_z,\,\lVert u\rVert=1}\lVert D_z\mathcal{F}(u)\rVert.

Assume that the topological entropy hFh_\mathcal{F} of F∣K\mathcal{F}|\mathcal{K} satisfies

hF>dim⁡Es ∣log⁡m(DF)∣.h_\mathcal{F}>\operatorname{dim}\mathcal{E}^s\,\lvert\log m(D\mathcal{F})\rvert.

Berger's conjecture. There exists a CrC^r-neighborhood U\mathcal{U} of F\mathcal{F} and an infinite-codimensional subset N⊂U\mathcal{N}\subset\mathcal{U} such that, for every F~∈U∖N\widetilde{\mathcal{F}}\in\mathcal{U}\setminus\mathcal{N}, the continuation K~\widetilde{\mathcal{K}} of K\mathcal{K} is a CrC^r-blender.

This conjecture asks when entropy and contraction along the stable bundle force blender behavior; the paper presents it as a fundamental problem, and the supplied text gives no resolution of the full statement.

References

Primary source

Sébastien Biebler, “Almost blenders and parablenders”, arXiv:2012.15528 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.