Source authenticated

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 (X,F)(X,F) of dimension 2n+12n+1, n≥1n\ge1, is contact-isomorphic to the adjoint variety YgY_{\mathfrak g} of a simple complex Lie algebra, with L≃O(1)∣YgL\simeq\mathcal O(1)|_{Y_{\mathfrak g}}. Corollaries: every such manifold is Kahler-Einstein; every smooth projective contact manifold with b2=1b_2=1 is an adjoint variety and with b2≥2b_2\ge2 is P(T∗Z)\mathbb P(T^*Z) (via Kebekus-Peternell-Sommese-Wisniewski and Demailly); every closed connected positive quaternionic-Kahler manifold of real dimension 4m≥84m\ge8 satisfies ∇Rm=0\nabla Rm=0 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

Prior state unknown→proved

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

Open the source record ↗

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 (X,F)(X,F) of dimension 2n+12n+1, n≥1n\ge1, is contact-isomorphic to the adjoint variety YgY_{\mathfrak g} of a simple complex Lie algebra, with L≃O(1)∣YgL\simeq\mathcal O(1)|_{Y_{\mathfrak g}}. Corollaries: every such manifold is Kahler-Einstein; every smooth projective contact manifold with b2=1b_2=1 is an adjoint variety and with b2≥2b_2\ge2 is P(T∗Z)\mathbb P(T^*Z) (via Kebekus-Peternell-Sommese-Wisniewski and Demailly); every closed connected positive quaternionic-Kahler manifold of real dimension 4m≥84m\ge8 satisfies ∇Rm=0\nabla Rm=0 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

Verify, challenge, or extend the result.