1: \begin{abstract}

2: In this paper we combine the general tools developed in~\cite{Aus--lindeppleasant1} with several ideas taken from

3: earlier work on one-dimensional nonconventional ergodic averages by

4: Furstenberg and Weiss~\cite{FurWei96}, Host and Kra~\cite{HosKra05}

5: and Ziegler~\cite{Zie07} to study the averages

6: \[\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)\]

7: associated to a triple of directions $\bf{p}_1,\bf{p}_2,\bf{p}_3 \in

8: \bbZ^2$ that lie in general position along with $\bs{0}\in \bbZ^2$.

9: We will show how to construct a `pleasant' extension of an

10: initially-given $\bbZ^2$-system for which these averages admit

11: characteristic factors with a very concrete description, involving

12: the same structure as for those in~\cite{Aus--nonconv} together with two-step pro-nilsystems (reminiscent of~\cite{HosKra05} and its predecessors).

13: 

14: We will also use this

15: analysis to construct pleasant extensions and then prove norm

16: convergence for the polynomial nonconventional ergodic averages

17: \[\frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n)\]

18: associated to two commuting transformations $T_1$, $T_2$.

19: \end{abstract}

20: