1: \begin{abstract}

2: The culmination of the two recent papers~\cite{Aus--lindeppleasant1,Aus--lindeppleasant2} was a proof of the norm convergence in $L^2(\mu)$ of the quadratic nonconventional ergodic averages

3: \[\frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n)\quad\quad f_1,f_2\in L^\infty(\mu)\]

4: associated to an arbitrary probability-preserving $\bbZ^2$-system $(X,\mu,T_1,T_2)$. This is a special

5: case of the Bergelson-Leibman conjecture on the norm convergence of

6: polynomial nonconventional ergodic averages~\cite{BerLei02}.

7: 

8: That proof relied on some new

9: machinery for extending probability-preserving $\bbZ^d$-systems to

10: obtain simplified asymptotic behaviour for various nonconventional averages such as the above.  The engine of this machinery is formed by some detailed structure theorems for the `characteristic factors' that are available for some such averages after ascending to a suitably-extended system. However, these new structure theorems underwent two distinct phases of development, separated by the discovery of some new technical results in Moore's cohomology theory for locally compact groups~\cite{Aus--cohomcty}.  That discovery enabled a significant improvement to the main structure theorem (Theorem 1.1 in~\cite{Aus--lindeppleasant1}), which in turn afforded a much shortened proof of convergence.  However, since the proof of convergence using the original structure theorem required some quite different ideas that are now absent from~\cite{Aus--lindeppleasant1,Aus--lindeppleasant2}, I have recorded it here in case it has some independent interest.

11: \end{abstract}

12: