A group
is said to
be properly
-realizable, P
R for
short, if there is a finite
-complex
with
whose
universal cover
is proper homotopy equivalent
to a
-manifold (which may be called a proper
-realization of
). One can
only ensure
always to be proper homotopy
equivalent to some
-manifold, see [CL05].
The class of P
R-groups is known to contain the
classes of finite groups, finitely generated abelian groups,
direct products and ascending HNN-extensions of finitely presented
groups, simply connected at
groups and one-relator
groups. Also, the class of P
R-groups is closed under
amalgamated products
(and HNN-extensions) over finite groups. See [CL05,CLRQ] and related
works.
It is worth noting P
R-groups have
free
abelian. This is related to a long standing conjecture
attributed to Hopf. Recent results, see [CLQ06],
show that not
all semistable groups are P
R. It is unknown whether or not all
P
R-groups are semistable. This relates for
-ended groups to
the Covering Conjecture as follows. Clearly, the
fundamental group
of a closed
-manifold is P
R. A
proper
-realization of such
is, up to proper homotopy
equivalence, an open
-manifold with a collection of
-balls
removed. If there were non-semistable P
R-groups this
manifold would be a punctured
showing the
conjecture,
see [CLQ06].