Since its inception in the 1970s at the hands of Feigenbaum and, independently, Coullet and Tresser the study of renormalization operators in dynamics has been very successful at explaining universality phenomena observed in certain families of dynamical systems. The first proof of existence of a hyperbolic fixed point for renormalization of area-preserving maps was given by Eckmann et al. (Mem Am Math Soc 47(289):vi+122, 1984). However, there are still many things that are unknown in this setting, in particular regarding the invariant Cantor sets of infinitely renormalizable maps. In this paper we show that the invariant Cantor set of period doubling type of any infinitely renormalizable area-preserving map in the universality class of the EckmannKoch-Wittwer renormalization fixed point is always contained in a Lipschitz curve but never contained in a smooth curve. This extends previous results by de Carvalho, Lyubich and Martens about strongly dissipative maps of the plane close to unimodal maps to the area-preserving setting. The method used for constructing the Lipschitz curve is very similar to the method used in the dissipative case but proving the nonexistence of smooth curves requires new techniques.

The geometry of the period doubling Cantor sets of strongly dissipative infinitely renormalizable Hénon-like maps has been shown to be unbounded by M. Lyubich, M. Martens and A. de Carvalho, although the measure of unbounded "spots" in the Cantor set has been demonstrated to be zero.We show that an even more extreme situation takes places for infinitely renormalizable area-preserving Hénon-like maps: bounded and unbounded geometries coexist with both phenomena occuring on subsets of positive measure in the Cantor sets. Contents 16 6. Bounded geometry 19 References 23

In this paper we study the anti-integrable limit scenario of skew-product systems. We consider a generalization of such systems based on the Frenkel-Kontorova model, and prove the existence of orbits with any fibered rotation number in systems of both one and two degrees of freedom. In particular, our results also apply to two dimensional maps with degenerate potentials (vanishing second derivative), so extending the results of existence of Cantori for more general twist maps.We also prove that under certain mild regularity conditions on the potential the structure of the orbits is of Cantor type. From our results we deduce the existence of the non-smooth folding bifurcation (conjectured by Figueras-Haro, Different scenarios for hyperbolicity breakdown in quasiperiodic area preserving twist maps, Chaos:25 (2015)).Lastly we present a pair of results which are useful in determining if a potential satisfies the regularity conditions required for the Cantor sets of orbits to exist and are also of independent interest.