Abstract:The paper offers a thorough study of multiorders and their applications to measurepreserving actions of countable amenable groups. By a multiorder on a countable group, we mean any probability measure v on the collection (O) over tilde of linear orders of type Z on G, invariant under the natural action of G on such orders. Multiorders exist on any countable amenable group (and only on such groups) and every multiorder has the Folner property, meaning that almost surely the order intervals starting at the unit form a Folner sequence. Every free measure-preserving Gaction (X, mu, G) has a multiorder ((O) over tilde, v, G) as a factor and has the same orbits as the Z-action (X, mu, S), where S is the successor map determined by the multiorder factor. Moreover, the subsigma-algebra Sigma((O) over tilde) associated with the multiorder factor is invariant under S, which makes the corresponding Z-action ((O) over tilde, v, (S) over tilde) a factor of (X, mu, S). We prove that the entropy of any G-process generated by a finite partition of X, conditional with respect to Sigma((O) over tilde), is preserved by the orbit equivalence with (X, mu, S). Furthermore, this entropy can be computed in terms of the so-called random past, by a formula analogous to h(mu, T, P) = H(mu, P|P-) known for Z-actions. The above fact is then applied to prove a variant of a result by Rudolph and Weiss (2000). The original theorem states that orbit equivalence between free actions of countable amenable groups preserves conditional entropy with respect to a sub-sigma-algebra E, as soon as the "orbit change" is measurable with respect to Sigma. In our variant, we replace the measurability assumption by a simpler one: E should be invariant under both actions and the actions on the resulting factor should be free. In conclusion, we provide a characterization of the Pinsker sigma-algebra of any G -process in terms of an appropriately defined remote past arising from a multiorder. The paper has an appendix in which we present an explicit construction of a particularly regular (uniformly Folner) multiorder based on an ordered dynamical tiling system of G.

Classification of non-free p.m.p. boolean actions of ergodic full groups and applications

Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, II: Applications

On noncommutative ergodic theorems for semigroup and free group actions

A Halmos-von Neumann theorem for actions of general groups

Non-singular and probability measure-preserving actions of infinite permutation groups

Existentially closed measure-preserving actions of free groups

Elasticity of free type III actions of free groups

Graph products and measure equivalence: classification, rigidity, and quantitative aspects

Strong ergodicity, property (T), and orbit equivalence rigidity for translation actions

Residuality of Dynamical Morphisms for Amenable Group Actions

Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, I: Construction

The number of topological generators for full groups of ergodic equivalence relations

Stable decompositions and rigidity for products of countable equivalence relations

Asymptotic total ergodicity for actions of $\mathbb{F}[t]$ and polynomial configurations over finite fields and rings

Multiorders in Amenable Group Actions

Stabilizers for ergodic actions and invariant random expansions of non-archimedean Polish groups

Equivariant Kirchberg–Phillips-Type Absorption for Amenable Group Actions

Ergodicity of the mapping class group action on Deroin-Tholozan representations

Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension

Weak property $(\mathrm{T}_{L^p})$ for discrete groups

Pointwise ergodic theorem for locally countable quasi-pmp graphs