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

DOI10.1016/J.AIM.2014.10.013zbMATH Open1351.54017arXiv1204.0829OpenAlexW1999878297MaRDI QIDQ475274FDOQ475274

Anush Tserunyan

Publication date: 26 November 2014

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

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.

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

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

zbMATH Keywords

entropygroup actioncompressibilityfinite generatorgenerating partitionshift actionweakly wandering set

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On Entropy and Generators of Measure-Preserving Transformations
• Title not available (Why is that?)
• Topics in orbit equivalence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Minimal actions of the group \(\mathbb{S}(\mathbb{Z})\) of permutations of the integers
• Groups of Automorphisms of Borel Spaces
• Title not available (Why is that?)
• Stationary probability measures and topological realizations
• COUNTABLE BOREL EQUIVALENCE RELATIONS
• Title not available (Why is that?)
• Weakly Wandering Sets and Invariant Measures
• Representation of invariant measures
• A selection theorem for group actions
• Weakly wandering sets and compressibility in descriptive setting
• Groups of transformations without finite invariant measures have strong generators of size 2
• Generators and Bernoullian factors for amenable actions and cocycles on their orbits
• Title not available (Why is that?)
• On the existence of a finite invariant measure

Cited In (13)

• RECURRENCE AND THE EXISTENCE OF INVARIANT MEASURES
• Title not available (Why is that?)
• On generators for Borel sets
• Generic stationary measures and actions
• Title not available (Why is that?)
• Every Borel automorphism without finite invariant measures admits a two-set generator
• The work of Mike Hochman on multidimensional symbolic dynamics and Borel dynamics
• Semicontinuity of structure for small sumsets in compact abelian groups
• Borel structurability on the 2-shift of a countable group
• The existence of measures of a given cocycle, II: probability measures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Krieger’s finite generator theorem for actions of countable groups III

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)