Residuality of dynamical morphisms for amenable group actions (Q6609508)

\textit{R. M. Burton} and \textit{A. Rothstein} [``Isomorphism theorems in ergodic theory'', Technical Report, Oregon State University (1977)] developed an approach to homomorphisms between measure-preserving transformations that identifies homomorphisms with measures in a suitable Baire space of measures, and then shows that some desired property is in fact common in that space. Most dramatically this gives an approach to Ornstein theory in which Krieger's finite generator theorem and the finitely determined property are used to show that a residual set of measures correspond to factor homomorphisms as in the Sinai theorem. Ornstein's isomorphism theorem then amounts to noting that the intersection of two residual sets is residual (and, in particular, nonempty). This gives a different approach to the three fundamental theorems due to \textit{W. Krieger} [Trans. Am. Math. Soc. 149, 453--464 (1970; Zbl 0204.07904)], \textit{Ya. G. Sinai} [Sov. Math., Dokl. 3, 1725--1729 (1962; Zbl 0205.13501); translation from Dokl. Akad. Nauk SSSR 147, 797--800 (1962)], and \textit{D. Ornstein} [Adv. Math. 4, 337--352 (1970; Zbl 0197.33502)] and pushes Baire spaces of joinings into a central role. \N\NThe purpose here is to develop these three fundamental results from this point of view for measure-preserving actions of countable amenable groups, following the articulation of the theory for single transformations due to \textit{R. M. Burton} et al. [Colloq. Math. 84--85, Part 2, 307--317 (2000; Zbl 0963.37007)]. A key technical difficulty is that the convenient presence of a sequence of Følner sets each of which tiles, so readily found in the group \(\mathbb{Z}\), has to be replaced with the intricacies of quasi-tilings and dynamical tilings introduced in work of \textit{D. S. Ornstein} and \textit{B. Weiss} [J. Anal. Math. 48, 1--141 (1987; Zbl 0637.28015)] that developed the isomorphism theory for amenable group actions.