{"id":"arxiv/2610.06336","url":"https://arxiv.org/abs/2610.06336","tags":["math.DG","math.AG"],"score":0,"title":"The Lebrun--Salamon conjecture is true in dimension up to 56","domain":"math.DG","source":"arxiv","authors":["Jordi Daura Serrano","Aron Gohr","Marie-Amélie Lawn","Travis Schedler"],"reviews":0,"subject":"math.DG","summary":"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 minimal counterexample M has rank at most one, hence dimension at most three. On the other hand, we consider a characteristic number which equals dim Isom(M) - (n+3) if n is even and dim Isom(M) - (n+1) if n is odd, and show that this index is a sum of positive quantities when n <= 14, yielding a contradiction. The toolset used to show positivity enlarges in stages. Projection curvature moments suffice through…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-05","reactions":{}}