Skip to main content
1 of 2
R W
  • 17k
  • 3
  • 37
  • 74

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 a quasi-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 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.

R W
  • 17k
  • 3
  • 37
  • 74