Finite generators for countable group actions in the Borel and Baire category settings

DOI10.1016/J.AIM.2014.10.013MaRDI QIDQ475274zbMATH OpenOpenAlexFDO

Authors Anush Tserunyan

Publication date 26 November 2014

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.0829

zbMATH Keywords

entropygroup actioncompressibilityfinite generatorgenerating partitionshift actionweakly wandering set

Mathematics Subject Classification ID

Measurable group actions (22F10) Measure-preserving transformations (28D05)

Abstract: For a continuous action of a countable discrete group $G$ on a Polish space $X$, a countable Borel partition $P$ of $X$ is called a generator if $GcdotP:=gC:ginG,CinP$ generates the Borel $sigma$-algebra of $X$. For $G=Z$, the Kolmogorov--Sinai theorem gives a measure-theoretic obstruction to the existence of finite generators: they do not exist in the presence of an invariant probability measure with infinite entropy. It was asked by Benjamin Weiss in the late 80s whether the nonexistence of any invariant probability measure guarantees the existence of a finite generator. We show that the answer is positive (in fact, there is a 32-generator) for an arbitrary countable group $G$ and $sigma$-compact $X$ (in particular, for locally compact $X$). We also show that any continuous aperiodic action of $G$ on an arbitrary Polish space admits a 4-generator on a comeager set, thus giving a positive answer to a question of Alexander Kechris asked in the mid-90s. Furthermore, assuming a positive answer to Weiss's question for arbitrary Polish spaces and $G=Z$, we prove the following dichotomy: every aperiodic Borel action of $Z$ on a Polish space $X$ admits either an invariant probability measure of infinite entropy or a finite generator. As an auxiliary lemma, we prove the following statement, which may be of independent interest: every aperiodic Borel action of a countable group $G$ on a Polish space $X$ admits a $G$-equivariant Borel map to the aperiodic part of the shift action of $G$ on $2^G$. We also obtain a number of other related results, among which is a criterion for the nonexistence of non-meager weakly wandering sets for continuous actions of $Z$. A consequence of this is a negative answer to a question asked by Eigen--Hajian--Nadkarni, which was also independently answered by Benjamin Miller.

Recommendations

• Ergodic actions of countable groups and finite generating partitions
• Every Borel automorphism without finite invariant measures admits a two-set generator
• Krieger's finite generator theorem for actions of countable groups. I.
• Finite uniform generators for ergodic, finite entropy, free actions of amenable groups
• Krieger's finite generator theorem for actions of countable groups. II

Cites work

• scientific article; zbMATH DE number 3909046 (Why is no real title available?)
• scientific article; zbMATH DE number 15624 (Why is no real title available?)
• scientific article; zbMATH DE number 48343 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 1889829 (Why is no real title available?)
• scientific article; zbMATH DE number 3301578 (Why is no real title available?)
• scientific article; zbMATH DE number 3319669 (Why is no real title available?)
• scientific article; zbMATH DE number 3078663 (Why is no real title available?)
• A selection theorem for group actions
• COUNTABLE BOREL EQUIVALENCE RELATIONS
• Entropy in dynamical systems
• Generators and Bernoullian factors for amenable actions and cocycles on their orbits
• Groups of Automorphisms of Borel Spaces
• Groups of transformations without finite invariant measures have strong generators of size 2
• Minimal actions of the group \(\mathbb{S}(\mathbb{Z})\) of permutations of the integers
• On Entropy and Generators of Measure-Preserving Transformations
• On the existence of a finite invariant measure
• Representation of invariant measures
• Stationary probability measures and topological realizations
• Topics in orbit equivalence
• Weakly Wandering Sets and Invariant Measures
• Weakly wandering sets and compressibility in descriptive setting

Cited in

(15)

• scientific article; zbMATH DE number 3887951 (Why is no real title available?)
• Generic stationary measures and actions
• scientific article; zbMATH DE number 15624 (Why is no real title available?)
• Krieger's finite generator theorem for actions of countable groups. III
• RECURRENCE AND THE EXISTENCE OF INVARIANT MEASURES
• The work of Mike Hochman on multidimensional symbolic dynamics and Borel dynamics
• scientific article; zbMATH DE number 3946476 (Why is no real title available?)
• scientific article; zbMATH DE number 4134378 (Why is no real title available?)
• Borel structurability on the 2-shift of a countable group
• Semicontinuity of structure for small sumsets in compact abelian groups
• Stationary probability measures and topological realizations
• Every Borel automorphism without finite invariant measures admits a two-set generator
• On generators for Borel sets
• Krieger's finite generator theorem for actions of countable groups. I.
• The existence of measures of a given cocycle, II: probability measures

This page was built for publication: Finite generators for countable group actions in the Borel and Baire category settings

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