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

Research output: Contribution to journalArticle

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 GP:={gP:g∈G,P∈P} generates the Borel σ-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 1980s 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 σ-compact X (in particular, for locally compact X). We also show that for aperiodic actions there is always a 4-generator on a comeager set, thus giving a positive answer to a question of Alexander Kechris asked the mid-1990s.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 G{right curved arrow}2G. 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.

Original languageEnglish (US)
Pages (from-to)585-646
Number of pages62
JournalAdvances in Mathematics
Volume269
DOIs
StatePublished - Jan 1 2015

Keywords

  • Compressibility
  • Entropy
  • Finite generator
  • Generating partition
  • Group action
  • Shift action
  • Weakly wandering set

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Finite generators for countable group actions in the Borel and Baire category settings'. Together they form a unique fingerprint.

  • Cite this