Here are some definitions:

A space is *homotopy finite* if it is homotopy equivalent to a finite CW complex.
A space *finitely dominated* if it is a retract of a homotopy finite space.

A space $X$ is a *Poincaré duality space* of dimension $d$ if there exists a pair
$$
({\mathscr L},[X])
$$
consisting of a rank one local system $\mathscr L$ on $X$ (i.e., a local coefficient system on $X$ which is locally isomorphic to $\Bbb Z$) and $[X] \in H_d(X;{\mathscr L})$ is a twisted homology class such that the cap product homomorphism
$$
\cap [X]: H^\ast(X;{\mathscr E}) \to H_{d-\ast}(X;{\mathscr E} \otimes {\mathscr L})
$$
is an isomorphism in all degrees, where $\mathscr E$ runs over all local systems on $X$.

My question is this:

**Question:** *Are there finitely dominated Poincaré duality spaces which are not homotopy finite?*

(Note: I am a bit embarrassed about not knowing the answer to this question.)

**Remarks:**

(1). If $X$ is a finitely dominated space with finitely presented fundamental group $\pi$, then Wall's finiteness obstruction $w(X) \in K_0({\Bbb Z}[\pi])$ is defined. It is known that $X$ is homotopy finite if and only if $w(X)$ lies in the summand ${\Bbb Z} \cong K_0({\Bbb Z}) \subset K_0({\Bbb Z}[\pi])$.

(2). When $X= B\pi$ where $\pi$ is a discrete, finitely presented group and $X$ satisfies Poincaré duality, then $\pi$ is called a *Poincaré duality group.* In this case it automatically follows that $X$ is finitely dominated and $\pi$ is torsion free. It remains an open question as to whether $X$ is homotopy finite. However, it is known by work of Ian Leary that $w(X)$ is always a $2$-torsion element. Consequently, if $K_0({\Bbb Z}[\pi])$ contains no 2-torsion, it follows that $X$ is homotopy finite.

(3). It has been conjectured that for any torsion free group $\pi$, the class group $K_0(\Bbb Z[\pi])$ is torsion-free. If this conjecture holds, then every finitely presented Poincaré duality group $\pi$ will have the property that $B\pi$ is homotopy finite.