Multiorders in amenable group actions

DOI10.4171/GGD/738MaRDI QIDQ6374688zbMATH OpenFDO

Authors T. Downarowicz, Piotr Oprocha, Mateusz Więcek, Guohua Zhang

Publication date 6 August 2021

Full work available at URL https://doi.org/10.4171/GGD/738

Mathematics Subject Classification ID

General groups of measure-preserving transformations and dynamical systems (37A15) Entropy and other invariants, isomorphism, classification in ergodic theory (37A35) Means on groups, semigroups, etc.; amenable groups (43A07)

Abstract: The paper offers a thorough study of multiorders and their applications to measure-preserving actions of countable amenable groups. By a~{em multiorder} on a~countable group we mean any probability measure $u$ on the collection $ildemathcalO$ of linear orders of type $mathbbZ$ on $G$, invariant under the natural action of $G$ on such orders. Every free measure-preserving $G$-action $(X,mu,G)$ has a~multiorder $(ildemathcalO,u,G)$ as a factor and has the same orbits as the $mathbbZ$-action $(X,mu,S)$, where $S$ is the emph{successor map} determined by the multiorder factor. Moreover, the sub-sigma-algebra $Sigm{a}_{ildemathcalO}$ associated with the multiorder factor is invariant under $S$, which makes the corresponding $mathbbZ$-action $(ildemathcalO,u,ildeS)$ 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 $Sigm{a}_{ildemathcalO}$, 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,mathcalP)=H(mu,mathcalP|mathcal{P}^{-})$ known for $mathbbZ$-actions. The above fact is then 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 $Sigma$, as soon as the ``orbit change is measurable with respect to $Sigma$. In our variant, we replace the measurability assumption by a~simpler one: $Sigma$ 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.

Recommendations

• Mathematical theories of traffic flow
• Modeling, estimation, and their applications for distributed parameter systems
• scientific article; zbMATH DE number 5055270
• Lefschetz's principle
• Superheating behavior in a breakdown reactor
• scientific article; zbMATH DE number 3188569
• scientific article; zbMATH DE number 3133698
• Pointwise Bounds for Solutions of Semilinear Parabolic Equations

Cited in

(6)

• Asymptotic pairs in topological actions of amenable groups
• Extensions of invariant random orders on groups
• Ergodic points are closed with respect to the Besicovitch pseudometric for amenable group actions
• Borel factors and embeddings of systems in subshifts
• Uniquely ergodic tilings of amenable groups
• Universality of G-subshifts with specification

This page was built for publication: Multiorders in amenable group actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6374688)