Let $M$ be a $4m$-dimensional Quaternion-Kähler manifold of positive scalar curvature. Does there exist an $n$ large enough, so that $M$ can be embedded inside $\mathbb{H}P^n$ via a quaternionic embedding (see my remark below)? If not, can one formulate some necessary and sufficient conditions for such an $n$ and such an embedding to exist?
Remark: there is a theory of quaternionic mappings in an old paper by Galicki for instance, if I remember correctly, but I cannot seem to find it.