The Lebrun--Salamon conjecture is true in dimension up to 56

Jordi Daura Serrano, Aron Gohr, Marie-Amélie Lawn +1

We prove the LeBrun--Salamon conjecture for positive quaternionic Kähler manifolds of quaternionic dimension n <= 14. To do so, we first show that the isometry group Isom(M) of any…