Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I revised the question. In smooth ergodic theory, a diffeomorphism is said to be conservative (I), if it preserves the Lebesgue measure. So for some of us, conservativity is just short for measure-preserving.

On the other hand, we can define the conservative part $C_f$ for general measure-class preserving maps (see below). We can also say $f$ is conservative (II) if $C_f=M$.

My question is:

  • given a smooth map $f:M\to M$, when could we upgrade from conservative (II) to conservativity (I) (up to a change of Riemannian metric, or to some measure $\mu\sim m$)?

  • More generally, when could the restriction $f|_{C_f}$ be conservative (I) (assuming $m(C_f)>0$)?


Let $(X,\mu)$ be a standard measure space and $f:X\to X$ be an isomorphism under which $\mu$ is quasi-invariant. That is, $f^\ast\mu\ll \mu$ and $\mu\ll f^\ast\mu$. A measurable set $E$ is said to be wandering if all $f^nE$, $n\in\mathbb{Z}$ are mutually disjoint.

(We may call it topologically wandering if $E$ is an open subset. So we generalize the classical definition of wandering.)

It has been proved that there exists a maximal wandering set $W$ (up to a $\mu$-null set). Then the dissipative part $D_f$ of $(X,f,\mu)$ is $D_f=\bigsqcup_{\mathbb{Z}}f^nW$. Then $C_f=X\backslash D_f$ is called the conservative part of $(X,f,\mu)$. The induced partition $\lbrace C_f,D_f\rbrace$ is called Hopf decomposition (named by Halmos?)

For example, the dissipative part is trivial if $\mu$ is probability and preserved by $f$ simultaneously.

Observation: by introducing an artificial measure $\nu=\sum_{\mathbb{Z}}f^n(\mu|_W)$, the map can be made $\nu$-preserving on the dissipative part $D_f$.

  • What about the conservative part? Could we make it measure-preserving with respect to some measure?

  • More specifically, let $M$ be a closed manifold, $f:M\to M$ be a smooth diffeomorphism (say $C^\infty$ if necessary), and $m$ be the normalized Lebesgue measure (automatically quasi-invariant). Assume $m(C_f)>0$. When could we find some $\mu\sim m|_{C_f}$ that is preserved by $f$?

Thank you!

share|improve this question

1 Answer 1

up vote 1 down vote accepted

Several comments

(1) There is no need to require invariance or finiteness of the measure in order to define the Hopf decomposition - it makes sense for any quasi-invariant measure.

(2) There is no need to evoke metric spaces, homeomorphisms, manifolds, etc. The Hopf decomposition is defined entirely in the measure category.

(3) There is no reason for existence of an equivalent invariant measure on the conservative part. There are ergodic actions (of so-called type III), for which there is no equivalent invariant measure.

share|improve this answer
    
Hi! In fact your third comment is the reason why require much stronger regularity in my question: do there exist the examples of type III in the category of smooth diffeomorphisms on closed manifolds? That is, in the class of special $\mathbb{Z}$-actions on special spaces. –  Pengfei Apr 3 '13 at 13:52
    
I did forget to make the quasi-invariance assumption. I will edit the question. I am aware the existence of the general definition and the classification. Just I am not that familiar with the general scheme... I wonder whether the thpe III can happen in my daily life (that is, diffeomorphisms) :) –  Pengfei Apr 3 '13 at 13:57
1  
I see. I wouldn't immediately know any type III examples for smooth $\mathbb Z$ actions. The ones I know are either $\mathbb Z$ actions on pretty abstract spaces (e.g., shift on product spaces) or smooth actions of much bigger groups (e.g., boundary actions of Fuchsian or Kleinian groups). –  R W Apr 3 '13 at 17:01
    
@r-w You might noticed that I changed the questions a little bit. By the way, could you give another answer to elaborate some of these examples? –  Pengfei Apr 4 '13 at 15:06

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.