Abstract. A finitely presented group G is said to be properly 3-realizable if there exists a compact 2-polyhedron K with π 1 (K) ∼ = G and whose universal coverK has the proper homotopy type of a (p.l.) 3-manifold with boundary. In this paper we show that, after taking wedge with a 2-sphere, this property does not depend on the choice of the compact 2-polyhedron K with π 1 (K) ∼ = G. We also show that (i) all 0-ended and 2-ended groups are properly 3-realizable, and (ii) the class of properly 3-realizable groups is closed under amalgamated free products (HNN-extensions) over a finite cyclic group (as a step towards proving that ∞-ended groups are properly 3-realizable, assuming 1-ended groups are).
In this paper, we show that any ascending HNN-extension of a finitely presented group is properly 3-realisable. We recall that a finitely presented group G is said to be properly 3-realisable if there exists a compact 2-polyhedron K with ni(K) = G and whose universal cover K has the proper homotopy type of a (PL) 3-manifold (with boundary).
How different is the universal cover of a given finite 2-complex from a 3-manifold (from the proper homotopy viewpoint)? Regarding this question, we recall that a finitely presented group G is said to be properly 3-realizable if there exists a compact 2-polyhedron K with π 1 (K) ∼ = G whose universal coverK has the proper homotopy type of a PL 3-manifold (with boundary). In this paper, we study the asymptotic behavior of finitely generated one-relator groups and show that those having finitely many ends are properly 3-realizable, by describing what the fundamental pro-group looks like, showing a property of one-relator groups which is stronger than the QSF property of Brick (from the proper homotopy viewpoint) and giving an alternative proof of the fact that one-relator groups are semistable at infinity.
In this paper, we consider an equivalence relation within the class of finitely presented discrete groups attending to their asymptotic topology rather than their asymptotic geometry. More precisely, we say that two finitely presented groups G and H are "proper 2-equivalent" if there exist (equivalently, for all) finite 2-dimensional CW-complexes X and Y , with π 1 (X) ∼ = G and π 1 (Y ) ∼ = H, so that their universal covers X and Y are proper 2-equivalent. It follows that this relation is coarser than the quasi-isometry relation. We point out that finitely presented groups which are 1-ended and semistable at infinity are classified, up to proper 2-equivalence, by their fundamental progroup, and we study the behaviour of this relation with respect to some of the main constructions in combinatorial group theory. A (finer) similar equivalence relation may also be considered for groups of type Fn, n ≥ 3, which captures more of the large-scale topology of the group. Finally, we pay special attention to the class of those groups G which admit a finite 2-dimensional CW-complex X with π 1 (X) ∼ = G and whose universal cover X has the proper homotopy type of a 3-manifold. We show that if such a group G is 1-ended and semistable at infinity then it is proper 2-equivalent to either Z × Z × Z, Z × Z or F 2 × 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 the middle term of a short exact sequence of infinite finitely presented groups, thus classifying such group extensions up to proper 2-equivalence.Date: December 1, 2019.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.