Lagrangian fibration conjecture for hyperkähler manifolds

About 23 years old · traced to

Let XX be a hyperkähler manifold of dimension 2r2r, and let LL be a line bundle on XX. A Lagrangian fibration is a fibration whose fibers are Lagrangian submanifolds for the holomorphic symplectic form.

Lagrangian fibration conjecture.

(a) If LL is a nontrivial nef line bundle on XX with q(L)=0q(L)=0, then there exists a Lagrangian fibration

f:X⟶Prf:X\longrightarrow \mathbb{P}^r

such that

L=f∗OPr(k)L=f^*\mathcal{O}_{\mathbb{P}^r}(k)

for some k≥1k\geq 1.

(b) There exists a hyperkähler manifold X′X' bimeromorphic to XX and a Lagrangian fibration X′→PrX'\rightarrow\mathbb{P}^r if and only if XX admits a line bundle L≠OSL\neq\mathcal{O}_S with q(L)=0q(L)=0.

This is the proposed higher-dimensional analogue of the characterization of elliptic fibrations on K3 surfaces. The source describes it as conjectural and gives no general resolution.

References

Primary source

Arnaud Beauville, “Holomorphic symplectic geometry: a problem list”, arXiv:1002.4321 (2010).

Additional references

2 papers in this index state this conjecture (2003–2010). The statement above is taken from the most recent of them; the others are arXiv:math/0308210.

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.