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 extensions of probability-preserving systems in which certain nonconventional ergodic averages enjoy simplified asymptotic behaviour.
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 linear nonconventional ergodic averages 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 the origin. We will show how to construct an 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 a 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 of this sequence (arXiv:0910.0909) we will use this analysis to obtain characteristic factors and then prove L^2-norm convergence for a related family of quadratic nonconventional ergodic averages associated to two commuting probability-preserving transformations.