1: \begin{abstract}

2: The purpose of this paper is to study the phenomenon of large intersections in the framework of multiple recurrence for measure-preserving actions of countable abelian groups.

3: Among other things, we show:

4: \begin{enumerate}

5: 	\item	If $G$ is a countable abelian group and $\varphi, \psi : G \to G$ are homomorphisms such that

6: 	$\varphi(G)$, $\psi(G)$, and $(\psi - \varphi)(G)$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \B, \mu, (T_g)_{g \in G})$, every set $A \in \B$, and every $\eps > 0$, the set

7: 	$\{g \in G : \mu(A \cap T_{\varphi(g)}^{-1}A \cap T_{\psi(g)}^{-1}A) > \mu(A)^3 - \eps\}$

8: 	is syndetic.

9: 	\item	If $G$ is a countable abelian group

10: 	and $r, s \in \Z$ are integers such that

11: 	$rG$, $sG$, and $(r \pm s)G$ have finite index in $G$,

12: 	then for every ergodic measure-preserving system $(X, \B, \mu, (T_g)_{g \in G})$,

13: 	every set $A \in \B$, and every $\eps > 0$, the set

14: 	$\{g \in G : \mu(A \cap T_{rg}^{-1}A \cap T_{sg}^{-1}A \cap T_{(r+s)g}^{-1}A) > \mu(A)^4 - \eps\}$

15: 	is syndetic.

16: \end{enumerate}

17: In particular, these extend and generalize results from \cite{bhk} concerning $\Z$-actions and \cite{btz2} on $\F_p^{\infty}$-actions.

18: Using an ergodic version of the Furstenberg correspondence principle, we obtain new combinatorial applications.

19: We also discuss numerous examples shedding light on the necessity of the various hypotheses above.

20: Our results lead to a number of interesting questions and conjectures, formulated in the introduction and at the end of the paper.

21: \end{abstract}

22: