Følner tilings for actions of amenable groups (Q1751041)

The present paper aims to prove a dynamical version of the Duwnarowicz-Huczek-Zhang tiling theorem for countable amenable groups [\textit{T. Downarowicz} and \textit{D. Huczek}, Bull. Pol. Acad. Sci., Math. 66, No. 1, 45--55 (2018; Zbl 1457.37026)]. Amenability appears in ergodic theory as well as in operator algebras and plays an important role in the theory of orbit equivalence. The key tool to apply amenability to dynamics is the Rokhlin lemma by \textit{D. S. Ornstein} and \textit{B. Weiss} [J. Anal. Math. 48, 1--141 (1987; Zbl 0637.28015)] and the Downarowicz-Huczek-Zhang characterization of amenability which guarantees the existence of tilings of the group by translates of finitely many Følner sets. The main theorem of this paper is a dynamical version of the above result. First the authors establish a proper variant of the Ornstein-Weiss-Rokhlin lemma, then they start with a variation of the Lyons-Nazarov theorem [\textit{R. Lyons} and \textit{F. Nazarov}, Eur. J. Comb. 32, No. 7, 1115--1125 (2011; Zbl 1229.05115)]. As an application a genericity result for free minimal actions on the Cantor set is proved.