Characterization of joint ergodicity for non-commuting transformations (Q1089452)

The study of jointly ergodic transformations [begun by the authors, J. Anal. Math. 45, 255-284 (1985; Zbl 0595.28020), and, Isr. J. Math. 49, 307-314 (1984; Zbl 0571.28012)] is continued. The main result is that, if \(T_ 1,T_ 2,...,T_ s\) are arbitrary measure preserving transformations of a probability space \((X,{\mathcal B},\mu),\) then \[ \frac{1}{N}\sum^{N-1}_{n=0}T^ n_ 1f_ 1\cdot T^ n_ 2f_ 2\cdot...\cdot T^ n_ sf_ s\to^{L^ 2}_{N\to \infty}\int_{X}f_ 1d\mu \cdot \int_{X}f_ 2d\mu \cdot...\cdot \int_{X}f_ sd\mu,\quad f_ 1,f_ 2,...,f_ s\in L^{\infty}(X,{\mathcal B},\mu), \] if and only if the following conditions are satisfied: \[ (1)\quad T_ 1\times T_ 2\times...T_ s\quad is\quad ergodic. \] \[ (2)\quad \frac{1}{N}\sum^{N- 1}_{n=0}\int_{X}T^ n_ 1f_ 1\cdot T^ n_ 2f_ 2\cdot...\cdot T^ n_ sf_ sd\mu \to_{N\to \infty}\int_{X}f_ 1d\mu \cdot...\cdot \int_{X}f_ sd\mu, \] \[ f_ 1,f_ 2,...,f_ s\in L^{\infty}(X,{\mathcal B},\mu). \]