A homotopy sphere is an 
-dimensional
manifold 
that is homotopy equivalent to the 
-sphere 
. Thus no homotopy group can distinguish between 
and 
.
The solution of the generalized Poincaré conjecture in the positive implies that any compact homotopy sphere is in fact homeomorphic to a sphere.
