Robust vanishing of all Lyapunov exponents for iterated function systems (Q2636967)

The authors prove two non-intersecting extensions of result due to \textit{A. S. Gorodetski} et al. [Funct. Anal. Appl. 39, No. 1, 21--30 (2005); translation from Funkts. Anal. Prilozh. 39, No. 1, 27--38 (2005; Zbl 1134.37347)]. The first result states the existence of a \(C^2\)-open set of iterated function systems (IFS) with fully supported ergodic measures and only zero Lyapunov exponents. Such measures are constructed as weak-star limits of sequences of measures supported on periodic orbits of the appropriate skew-products. The second result asserts the existence of a \(C^1\)-open set of IFS's having not fully supported ergodic measures with only zero Lyapunov exponents and positive entropy. The proofs rely on the construction of non-hyperbolic measures for the induced IFS's on the flag manifold. Also some related questions are listed.