The LeBrun-Salamon conjecture: positive quaternionic-Kahler manifolds and contact Fano manifolds are homogeneous
Theorem 1.1: every smooth connected complex projective contact Fano manifold of dimension , , is contact-isomorphic to the adjoint variety of a simple complex Lie algebra, with . Corollaries: every such manifold is Kahler-Einstein; every smooth projective contact manifold with is an adjoint variety and with is (via Kebekus-Peternell-Sommese-Wisniewski and Demailly); every closed connected positive quaternionic-Kahler manifold of real dimension satisfies and is homothetic to a Wolf space. It says nothing about negative or zero scalar curvature, about noncompact or incomplete metrics, or about compact Kahler contact manifolds that are not projective beyond the jet criterion it states.
Exact FrontierDelta
Scope and record
Occurred: Sep 23, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: The LeBrun-Salamon conjecture: positive quaternionic-Kahler manifolds and contact Fano manifolds are homogeneous · LeBrun-Salamon conjecture
Confidence: Not scored
Registry verification: unreviewed · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Lineage and corrections
VibeMathed record: The LeBrun-Salamon conjecture: positive quaternionic-Kahler manifolds and contact Fano manifolds are homogeneous evidence for this event
This event attributed to Unreleased internal OpenAI model
LeBrun and Salamon, Strong rigidity of positive quaternion-Kahler manifolds (1994) evidence for this event
The LeBrun-Salamon conjecture: positive quaternionic-Kahler manifolds and contact Fano manifolds are homogeneous evidence for this event
Theorem 1.1: every smooth connected complex projective contact Fano manifold of dimension , , is contact-isomorphic to the adjoint variety of a simple complex Lie algebra, with . Corollaries: every such manifold is Kahler-Einstein; every smooth projective contact manifold with is an adjoint variety and with is (via Kebekus-Peternell-Sommese-Wisniewski and Demailly); every closed connected positive quaternionic-Kahler manifold of real dimension satisfies and is homothetic to a Wolf space. It says nothing about negative or zero scalar curvature, about noncompact or incomplete metrics, or about compact Kahler contact manifolds that are not projective beyond the jet criterion it states. parent of this event
The LeBrun-Salamon conjecture: positive quaternionic-Kahler manifolds and contact Fano manifolds are homogeneous parent of this event
Act on this frontier