1: \begin{abstract}

2: In the recent papers~\cite{Aus--nonconv}

3: and~\cite{Aus--newmultiSzem} we introduced some new techniques for

4: constructing an extension of a probability-preserving system $T:\bbZ^d\curvearrowright

5: (X,\mu)$ that enjoys certain desirable properties

6: in connexion with the asymptotic behaviour of some related nonconventional ergodic

7: averages.

8: 

9: The present paper is the first of two that will explore various

10: refinements and extensions of these ideas.  This first part is

11: dedicated to some much more general machinery for the construction

12: of extensions that can be used to recover the results

13: of~\cite{Aus--nonconv,Aus--newmultiSzem}.  It also contains two

14: relatively simple new applications of this machinery to the study of

15: certain families of nonconventional averages, one in discrete and

16: one in continuous time (convergence being a new result for the

17: latter).

18: 

19: In the forthcoming second part~\cite{Aus--lindeppleasant2} we will

20: introduce the problem of describing the characteristic factors and

21: the limit of the linear nonconventional averages

22: \[\frac{1}{N}\sum_{n=1}^N \prod_{i=1}^kf_i\circ T^{n\bf{p}_i}\]

23: when the directions $\bf{p}_1$, $\bf{p}_2$, \ldots, $\bf{p}_k \in

24: \bbZ^d$ are not assumed to be linearly independent, and provide a

25: fairly detailed solution in the case when $k = 3$, $d= 2$ and any

26: pair of directions is linearly independent.  This will then be used to prove the convergence in $L^2(\mu)$ of the quadratic nonconventional averages

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

28: \end{abstract}

29: