LeBrun–Salamon conjecture on quaternionic-Kähler manifolds

Prove that every complete quaternionic-Kähler manifold, namely any 4n-dimensional Riemannian manifold whose Levi-Civita holonomy is contained in Sp(n)Sp(1), with positive scalar curvature is symmetric.

Background

Quaternionic-Kähler manifolds arise in Berger’s list as those with holonomy Sp(n)Sp(1). The notes summarize known examples and properties, noting that all compact examples presently known are locally symmetric (Wolf spaces). The LeBrun–Salamon conjecture posits a global characterization of such manifolds under the assumption of positive scalar curvature, strengthening the connection between holonomy and symmetric space structure.

Establishing this conjecture would settle the existence question for compact quaternionic-Kähler manifolds of positive scalar curvature beyond the known symmetric cases and clarify the landscape of special holonomy geometries with Sp(n)Sp(1).