Multiorders in amenable group actions
Tomasz Downarowicz, Piotr Oprocha, Mateusz Więcek, Guohua Zhang
Journal Paper
About The Publication
The paper offers a thorough study of multiorders and their applications to measure-preserving actions of countable amenable groups. By a multiorder on a countable group we mean any probability measure ν on the collection O of linear orders of type Z on G, invariant under the natural action of G on such orders. Every free measure-preserving G-action (X,μ,G) has a multiorder (O,ν,G) as a factor and has the same orbits as the Z-action (X,μ,S), where S is the successor map determined by the multiorder factor. The sub-sigma-algebra ΣO associated with the multiorder factor is invariant under S, which makes the corresponding Z-action (O,ν,S) a factor of (X,μ,S). We prove that the entropy of any G-process generated by a finite partition of X, conditional with respect to ΣO, is preserved by the orbit equivalence with (X,μ,S). Furthermore, this entropy can be computed in terms of the so-called random past, by a formula analogous to the one known for Z-actions. This fact is applied to prove a variant of a result by Rudolph and Weiss. The original theorem states that orbit equivalence between free actions of countable amenable groups preserves conditional entropy with respect to a sub-sigma-algebra Σ, as soon as the “orbit change” is Σ-measurable. In our variant, we replace the measurability assumption by a simpler one: Σ should be invariant under both actions and the actions on the resulting factor should be free. In conclusion we prove that the Pinsker sigma-algebra of any G-process can be identified (with probability 1) using the following algorithm: (1) fix an arbitrary multiorder on G, (2) select any order from the support of that multiorder, (3) in the process, find the “remote past” along the selected order