Let $M$ be a compact smooth manifold and $m$ be a normalized volume induced by some Riemannian metric on $M$. Let $f\in\mathrm{Diff}^1(M)$ and $R\_f$ be the set of recurrent points of $f$ (A point $x$ is recurrent if $x\in\omega(f,x)\cap \alpha(f,x)$, or equally $\liminf\_{n\to\pm\infty}d(f^nx,x)=0$). 


The Hopf decomposition of $(M,f)$ is a partition $M=C\_f\sqcup D\_f$ such that


* the restriction $f|\_{C\_f}$ is conservative. That is, if $E\subset {C\_f}$ is a measurable subset with $[f^nE:n\in\mathbb{Z}]$ mutually disjoint, then $m(E)=0$;
* the restriction $f|\_{D\_f}$ is dissipative. In fact ${D\_f}$ is the disjoint union of $[f^nF:n\in\mathbb{Z}]$ for some measurable subset $F\subset M$.


See [here](http://books.google.com/books?id=3mRo0wTdNv0C&pg=PA53&dq=Aaron+Son&source=gbs_toc_r&cad=4#v=onepage&q&f=false) (Jon Aaronson, An introduction to infinite ergodic theory, Page 15).




---


By Poincare Recurrence theorem (Page 17, same book) we have $m(C\_f\backslash R\_f)=0$. 


My question is about the converse direction: 


1. If $m(R\_f)>0$, will we have $m(C\_f)>0$?
2. When will the following be true: $m(R\_f\backslash C\_f)=0$?



Hopf decompostion for diffeomorphisms
Let me first notice that the proof of the Poincare recurrence theorem you are referring to is actually valid for any action of a countable group with an invariant measure. Now, if instead of $\mathbb Z$ we are talking about general groups, then there are, for instance, examples of Fuchsian groups such that their action on the boundary circle is minimal (any orbit is dense), but nonetheless completely dissipative with respect to the Lebesgue measure (see [this](http://www.acadsci.fi/mathematica/Vol35/vol35pp335-350.pdf) paper and the references therein). Roughly speaking, it is possible that no open set is wandering, but the action is still completely dissipative. The point is that dissipativity is a measure theoretical property, whereas the recurrent set is defined in topological terms. 


In your question the group, the state space and the measure are all more specific, and I don't think this particular question has ever been addressed. Still, a priori I don't see any reason why topological recurrence on a set of positive measure would prevent the action from being completely dissipative.


