Title:Pleasant extensions retaining algebraic structure, II

Abstract: This paper is the second of three in which we develop and use some general machinery for constructing pleasant extensions for certain nonconventional ergodic averages associated to probability-preserving systems.
Here we will combine the general tools developed in the first part (arXiv:0905.0518) with several ideas taken from earlier work on one-dimensional nonconventional ergodic averages by Furstenberg and Weiss, Host and Kra and Ziegler to study the averages \frac{1}{N}\sum_{n=1}^N(f_1\circ T^{n\bf{p}_1})(f_2\circ T^{n\bf{p}_2})(f_3\circ T^{n\bf{p}_3})\quad\quad f_1,f_2,f_3 \in L^\infty(\mu) associated to a triple of directions \bf{p}_1, \bf{p}_2, \bf{p}_3 \in \bbZ^2 that lie in general position along with 0\in \bbZ^2. We will show how to construct a `pleasant' extension of an initially-given \bbZ^2-system for which these averages admit characteristic factors with a very concrete description, involving one-dimensional isotropy factors together with one new ingredient: a special class of two-step Abelian isometric \bbZ^2-systems, which we go on to study in some detail.
In the third part (arXiv:0910.0909) we will use this analysis to construct pleasant extensions and then prove norm convergence for the polynomial nonconventional ergodic averages \frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n) associated to two commuting transformations.