No Arabic abstract
We show an equivariant Kirchberg-Phillips-type absorption theorem for pointwise outer actions of discrete amenable groups on Kirchberg algebras with respect to natural model actions on the Cuntz algebras $mathcal{O}_infty$ and $mathcal{O}_2$. This generalizes results known for finite groups and poly-$mathbb{Z}$ groups. The model actions are shown to be determined, up to strong cocycle conjugacy, by natural abstract properties, which are verified for some examples of actions arising from tensorial shifts. We also show the following homotopy rigidity result, which may be understood as a precursor to a general Kirchberg-Phillips-type classification theory: If two outer actions of an amenable group on a unital Kirchberg algebra are equivariantly homotopy equivalent, then they are conjugate. This marks the first C*-dynamical classification result up to cocycle conjugacy that is applicable to actions of all amenable groups.
In this paper, we study discrete spectrum of invariant measures for countable discrete amenable group actions. We show that an invariant measure has discrete spectrum if and only if it has bounded measure complexity. We also prove that, discrete spectrum can be characterized via measure-theoretic complexity using names of a partition and the Hamming distance, and it turns out to be equivalent to both mean equicontinuity and equicontinuity in the mean.
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 $ u$ on the collection $mathcal O$ of linear orders of type $mathbb Z$ on $G$, invariant under the natural action of $G$ on such orders. Every free measure-preserving $G$-action $(X,mu,G)$ has a multiorder $(mathcal O, u,G)$ as a factor and has the same orbits as the $mathbb Z$-action $(X,mu,S)$, where $S$ is the successor map determined by the multiorder factor. The sub-sigma-algebra $Sigma_{mathcal O}$ associated with the multiorder factor is invariant under $S$, which makes the corresponding $mathbb Z$-action $(mathcal O, u,tilde S)$ 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_{mathcal O}$, 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 the one known for $mathbb 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 $Sigma$, as soon as the orbit change is $Sigma$-measurable. 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 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.
In this short note, for countably infinite amenable group actions, we provide topological proofs for the following results: Bowen topological entropy (dimensional entropy) of the whole space equals the usual topological entropy along tempered F{o}lner sequences; the Hausdorff dimension of an amenable subshift (for certain metric associated to some F{o}lner sequence) equals its topological entropy. This answers questions by Zheng and Chen (Israel Journal of Mathematics 212 (2016), 895-911) and Simpson (Theory Comput. Syst. 56 (2015), 527-543).
We define the topological pressure for any sub-additive potentials of the countable discrete amenable group action and any given open cover. A local variational principle for the topological pressure is established.
In this paper, we establish a connection between Rokhlin dimension and the absorption of certain model actions on strongly self-absorbing C*-algebras. Namely, as to be made precise in the paper, let $G$ be a well-behaved locally compact group. If $mathcal D$ is a strongly self-absorbing C*-algebra, and $alpha: Gcurvearrowright A$ is an action on a separable, $mathcal D$-absorbing C*-algebra that has finite Rokhlin dimension with commuting towers, then $alpha$ tensorially absorbs every semi-strongly self-absorbing $G$-actions on $mathcal D$. This contains several existing results of similar nature as special cases. We will in fact prove a more general version of this theorem, which is intended for use in subsequent work. We will then discuss some non-trivial applications. Most notably it is shown that for any $kgeq 1$ and on any strongly self-absorbing Kirchberg algebra, there exists a unique $mathbb R^k$-action having finite Rokhlin dimension with commuting towers up to (very strong) cocycle conjugacy.