1: \begin{abstract}  In this paper, we consider an equivalence relation within

2: the class of finitely presented discrete groups attending to their asymptotic

3: topology rather than their asymptotic geometry. More precisely, we

4: say that two finitely presented groups $G$ and $H$ are ``proper

5: $2$-equivalent" if there exist (equivalently, for all) finite

6: $2$-dimensional CW-complexes $X$ and $Y$, with $\pi_1(X) \cong G$ and $\pi_1(Y) \cong H$, so that their universal covers $\widetilde{X}$ and

7: $\widetilde{Y}$ are proper $2$-equivalent.

8: It follows that this relation is coarser than the quasi-isometry

9: relation. We point out that finitely presented groups which are $1$-ended and semistable at

10: infinity are classified, up to proper $2$-equivalence, by their fundamental pro-group, and we study the behaviour

11: of this relation with respect to some of the main constructions in combinatorial group theory.

12: A (finer) similar equivalence relation may also be considered for groups of type $F_n, n \geq 3$, which

13: captures more of the large-scale topology of the group. Finally, we pay special attention to the class of those groups

14: $G$ which admit a finite $2$-dimensional CW-complex $X$ with $\pi_1(X) \cong G$ and whose universal cover

15: $\widetilde{X}$ has the proper homotopy type of a $3$-manifold. We show that if such a group $G$ is $1$-ended and

16: semistable at infinity then it is proper $2$-equivalent to either ${\Z} \times {\Z} \times {\Z}$, ${\Z} \times {\Z}$ or

17: ${\F}_2 \times {\Z}$ (here, ${\F}_2$ is the free group on two generators). As it turns out, this applies in particular to any group $G$ fitting as

18: the middle term of a short exact sequence of infinite finitely presented groups, thus classifying such group extensions up to proper $2$-equivalence.

19: \end{abstract}

20: