Geometric rigidity of invariant measures
Let be a probability measure on which is invariant and ergodic for , and . Let be a local diffeomorphism on some open set. We show that if and , then at -a.e. point . In particular, if is a piecewise-analytic map preserving then there is an open -invariant set containing supp such that is piecewise-linear with slopes which are rational powers of . In a similar vein, for as above, if is another integer and are not powers of a common integer, and if is a -invariant...