Strictly ergodic models under face and parallelepiped group actions (Q2401497): Difference between revisions

A measurable system is a quadruple \((X,\mathcal{X},\mu,T)\), where \((X,\mathcal{X},\mu)\) is a Lebesgue probability space and \(T:X\longrightarrow X\) is an invertible measure-preserving transformation. One says that \((\hat{X}, \hat{T})\) is a topological model for \((X,\mathcal{X},\mu,T)\) if \((\hat{X}, \hat{T})\) is a topological dynamical system and there exists an invariant probability measure \(\hat{\mu}\) on the Borel \(\sigma\)-algebra \(\mathcal{B}(\hat{X})\) such that the systems \((X,\mathcal{X},\mu,T)\) and \((\hat{X},\mathcal{B}(\hat{X}),\hat{\mu},\hat{T})\) are measure theoretically isomorphic. The Jewett-Krieger theorem states that each ergodic system has a strictly ergodic topological model. The authors show that for an ergodic system one may require more properties on its strictly ergodic model. For example, the orbit closure of points in diagonal under face transforms may be also strictly ergodic. As an application, they show the pointwise convergence of ergodic averages along cubes, which was firstly proved by \textit{I. Assani} [J. Anal. Math. 110, 241--269 (2010; Zbl 1193.37005)].