A smooth zero-entropy diffeomorphism whose product with itself is loosely Bernoulli (Q1996480)

Let \((X,\mu)\) be an atom-free standard probability space. Let \(T:(X,\mu)\rightarrow (X,\mu)\) be a measure-preserving transformation and \(M\) be a smooth compact connected manifold of dimension \(d\geq 2\), possibly with boundary. The authors prove that \(T\times T\) is loosely Bernoulli under a slightly weaker hypothesis on the periodic approximations of \(T\). The following is the main theorem: Theorem. Let \(d\geq 2\) and let \(M\) be a \(d\)-dimensional smooth, compact and connected manifold, possibly with boundary, admitting a smooth effective torus action \(\mathcal{S} = \{S_{\alpha,\beta}\} _{(\alpha,\beta)\in \mathbb{T}^2}\) preserving a smooth volume \(\nu\). Then there is a weakly mixing \(C^{\infty}\)-diffeomorphism \(T\in \mathcal{B}\) of topological entropy 0 such that \(T\times T\) is loosely Bernoulli. Furthermore, the set of such diffeomorphisms is residual in \(\mathcal{B}\) in the \(C^{\infty}(M)\)-topology. The conjugation map is constructed. The authors show that the constructed diffeomorphism satisfies the requirements of their criterion for the loosely Bernoulli property of \(T\times T\). Further, they prove that the sequence of constructed measure-preserving smooth diffeomorphisms converges and give the explicit definition of two sequences of towers whose height difference is one. Lastly, the authors prove that the set of smooth diffeomorphisms with topological entropy zero and loosely Bernoulli Cartesian square is a residual subset in given set.