The hyperkähler SYZ conjecture for Lagrangian fibrations

Let XX be a hyperkähler manifold. A line bundle LL on XX is isotropic if its first Chern class satisfies qX(c1(L))=0q_X(c_1(L))=0, and it is nef if its numerical class has nonnegative intersection with every curve on XX. A rational Lagrangian fibration means that XX is birational to a hyperkähler manifold admitting a Lagrangian fibration.

Hyperkähler SYZ conjecture.

  1. XX has a Lagrangian fibration if and only if it admits a non-trivial isotropic nef line bundle LL.
  2. XX admits a rational Lagrangian fibration if and only if it admits a non-trivial isotropic line bundle LL.

Nefness is necessary for an algebraic isotropic class to induce a Lagrangian fibration, and this conjecture asserts that it is sufficient. The statement is a hyperkähler reformulation of the SYZ perspective from mirror symmetry and remains open in the generality stated.

Sources & referencesView supporting material

Primary source

Yajnaseni Dutta, Elham Izadi, Ljudmila Kamenova and Lisa Marquand, “Some density results for hyperkähler manifolds”, arXiv:2403.04868 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.