Federico RODRIGUEZ-HERTZ presented at the IHP conference for Katok’s 65th birthday several results pertaining to the ergodicity of systems with some product structure.
Theorem (RHRHTU 2008). Let be a C^2 diffeomorphism of a compact manifold which preserves volume. Let be a hyperbolic periodic point. Define has a transverse point . Define similarly.
If and then these two sets are equal (up to a zero volume set) and the restriction of there, is ergodic with no zero exponent.
Corollary. Ergodicity is C^1-open and dense within C^2 partially hyperbolic diffeomorphisms with central dimension at most 2.
Theorem (M.A. Rodriguez-Hertz). A generic 3-dimensional volume-preserving either has all its Lyapunov exponents vanishing Lebesgue-almost everywhere, or has a dominated splitting separating positive and negative Lyapunov exponents and is ergodic with respect to the volume.
Remark. The proof is expected to generalize to symplectomorphisms in arbitrary dimensions.
Remark. This is a stronger but less general result that that of AVILA and BOCHI according to which, in arbitrary dimension, the C^1-generic volume-preserving diffeomorphism either has a dominated splitting and a set of positive volume of non-uniformly hyperbolic points defining an ergodic component of the volume or there is, almost everywhere, at least one zero exponent.
Consider a bundle with fiber a smooth compact manifold and a bundle map acting smoothly on the fibers and preserving on the base a measure.
Theorem. Assume that there are well-defined holonomy maps on the fibers: for . If the exponents along the fiber vanish, then these holonomy preserve the conditional measures. If the base map is hyperbolic and the base measure has a product structure then the conditional measures depend continuously on the base point.
This extends a classical result of Ledrappier for matrix cocycles. The above has the following application:
Theorem (RHRHTU). Let be partially hyperbolic with a central foliation into circles. If has the accessibility property then either is topologically conjugate to an isometric extension of an Anosov diffeomorphism (and has a unique maximal entropy measure which has a zero central exponent), or has at least 2 maximal entropy measures and finitely many of them and their Lyapunov exponents are bounded away from zero.
Question. Is the set of diffeomorphism with finitely many ergodic maximal entropy measures C^r-dense?
Read Full Post »