Hyperkähler SYZ and projective-space bases

What OpenAI claims

Proves the strong hyperkähler SYZ conjecture: every holomorphic line bundle with nonzero nef isotropic first Chern class on a compact irreducible holomorphic symplectic Kähler manifold is semiample. It also proves that every projective Lagrangian fibration with normal projective base has projective space as its base, in every dimension and deformation type.

Papers (2)

1. Projective-space bases of Lagrangian fibrations

   23 September 2026 · Preprint, not peer reviewed · PDF

   OpenAI's abstract We prove that the normal projective base of a projective Lagrangian fibration from a compact irreducible holomorphic symplectic Kähler manifold is projective space. This resolves the projective-space base conjecture for such fibrations in every dimension and deformation type.

2. The strong hyperkähler SYZ conjecture

   23 September 2026 · Preprint, not peer reviewed · PDF

   OpenAI's abstract We prove the strong hyperkähler SYZ conjecture: every holomorphic line bundle with nonzero nef isotropic first Chern class on a compact irreducible holomorphic symplectic Kähler manifold is semiample.

Status

Preprint. The papers have not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.