On the hyperbolicity of Lorenz renormalization (Q393704)

In this paper, infinitely renormalizable Lorenz maps with real critical exponent \(\alpha > 1\) of certain monotone combinatorial types are considered. The authors greatly expand upon the work of the first author and \textit{W. de Melo} [Ergodic Theory Dyn. Syst. 21, No. 3, 833--860 (2001; Zbl 1108.37300)] using the hyperbolic aspects of renormalization to give a precise description of the bifurcation patterns of families of critical Lorenz maps. The authors consider a class of maps which is amenable to analysis by real analytical tools, but which is disjoint from the class of more difficult combinatorics treated by the second author in [Nonlinearity 23, No. 6, 1291--1302 (2010; Zbl 1193.37053)]. The following results are obtained: Theorem (A priori bounds). The renormalizations of an infinitely renormalizable map stay inside a relatively compact set. Theorem (Infinitely renormalizable maps). Any infinitely renormalizable map is ergodic and has no wandering intervals. The attractor of an infinitely renormalizable map is a uniquely ergodic minimal Cantor set with zero Lebesgue measure and Hausdorff dimension in \((0, 1)\), and whose basin of attraction has full Lebesgue measure. Theorem (Periodic points of renormalization). The renormalization operator has a periodic point for every periodic combinatorial type. Theorem (Invariant cone field). There exists an expanding renormalization-invariant cone field. Theorem (Unstable manifolds). There exists a global two-dimensional strong unstable manifold at every point in the limit set of renormalization. Theorem (Lorenz families). The intersection of a monotone Lorenz family with the renormalizable maps of a given type is diffeomorphic to a square, the intersection with the infinitely renormalizable maps of a given combinatorial type is a point, and the union of all such points is a Cantor set. Theorem (Attractor of renormalization). The attractor of the renormalization intersected with an unstable manifold is a Cantor set.