  We study the difference between simple homotopy equivalence and homotopy
equivalence for closed manifolds of dimension $n \geq$ 4. Given a closed
$n$-manifold, we characterise the set of simple homotopy types of $n$-manifolds
within its homotopy type in terms of algebraic $K$-theory, the surgery
obstruction map, and the homotopy automorphisms of the manifold. We use this to
construct the first examples, for all $n \ge$ 4 even, of closed $n$-manifolds
that are homotopy equivalent but not simple homotopy equivalent. In fact, we
construct infinite families with pairwise the same properties, and our examples
can be taken to be smooth for $n \geq$ 6.
  We also show that, for $n \ge 4$ even, orientable examples with fundamental
group $C_\infty \times C_m$ exist if and only if $m$=4,8,9,12,15,16,18 or $\ge$
20. The proof involves analysing the obstructions which arise using integral
representation theory and class numbers of cyclotomic fields. More generally,
we consider the classification of the fundamental groups $G$ for which such
examples exist. For $n \ge$ 12 even, we show that examples exist for any
finitely presented $G$ such that the involution on the Whitehead group
$\text{Wh}(G)$ is nontrivial. The key ingredient of the proof is a formula for
the Whitehead torsion of a homotopy equivalence between doubles of thickenings.
