Multiorders in amenable group actions

Tomasz Downarowicz¹  ; Piotr Oprocha²  ; Mateusz Więcek³  ; Guohua Zhang⁴ 

¹Wrocław University of Technology, Poland
²AGH University of Science and Technology, Kraków, Poland; IRAFM, Ostrava, Czech Republic
³Wrocław University of Science and Technology, Poland
⁴Fudan University, Shanghai, China

Groups, geometry, and dynamics, Tome 18 (2024) no. 1, pp. 25-65

Résumé

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. Multiorders exist on any countable amenable group (and only on such groups) and every multiorder has the Følner property, meaning that almost surely the order intervals starting at the unit form a Følner sequence. 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. Moreover, 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 h(μ,T,P)=H(μ,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 Σ, as soon as the “orbit change” is measurable with respect to Σ. 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 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 Følner) multiorder based on an ordered dynamical tiling system of G.

Détail

DOI : 10.4171/ggd/738

Classification : 37-XX, 43-XX
Mots-clés : Countable amenable group, measure-preserving action, invariant random order, multiorder, conditional entropy, Pinsker factor, orbit equivalence