A *homotopy sphere* is a topological $n$-manifold $M$ which is homotopy equivalent to $S^n$.

A *homology sphere* is a topological $n$-manifold $M$ such that $H_i(M) \cong H_i(S^n)$ for all $i$.

Note, by (one version of) Whitehead's Theorem, every simply connected homology sphere is a homotopy sphere. However, there are homology spheres which are not homotopy spheres, for example, the [Poincaré homology sphere](https://en.wikipedia.org/wiki/Homology_sphere#Poincar.C3.A9_homology_sphere).

I've seen in some references that homotopy/homology spheres are assumed to be smooth, but of course the smooth structure is not needed to define them. My question is whether or not this assumption is restrictive. That is:

> Are there homotopy/homology spheres which admit no smooth structure?