Multiple recurrence and almost sure convergence for weakly mixing dynamical systems (Q1279630)

One of the basic multiple recurrence results due to \textit{H. Furstenberg}, \textit{Y. Katznelson} and \textit{D. Ornstein} [Bull. Am. Math. Soc., New Ser. 7, 527-552 (1982; Zbl 0523.28017)] is that, for a weakly mixing transformation \(T\), and \(L^{\infty}\) functions \(f_1,\dots,f_k\), the non-conventional ergodic averages \(({1}/{N})\sum_{n=1}^{N}T^nf_1\cdot T^{2n}f_2\dots T^{kn}f_k\) converge in the \(L^{2}\) norm to the product \(\prod_{i=1}^k\int f_i\) as \(N\to\infty\). The question of a.e. convergence of such averages is delicate; in this paper the above convergence in norm is shown to hold a.e. under the assumption that the restriction of \(T\) to its Pinsker algebra has singular spectrum. For \(k=3\) a more precise result is found. The method of proof is to first generalize a result of \textit{E. Lesigne} [C. R. Acad. Sci., Paris, Sér. I 298, 425-428 (1984; Zbl 0579.60024)] to allow reduction to the Pinsker algebra, and then to extend work of \textit{B. Host} [Isr. J. Math. 76, No. 3, 289-298 (1991; Zbl 0790.28010)] on the structure of pairwise independent joinings under a spectral condition.