On nef reductions of projective irreducible symplectic manifolds (Q2465392): Difference between revisions

Let \((X,\omega)\) be a simply connected projective symplectic manifold with \(h^2(X,{\mathcal O}_X)=1\), and \(L\) a non-trivial nef divisor on \(X\) with \(q(L)=0\). The note provides a partial answer to the question whether \(L\) induces a Lagrangian fibration of \((X,\omega)\). Here a Lagrangian fibration is understood as a holomorphic map with connected fibers from \(X\) onto a normal variety such that the general fiber is a Lagrangian variety with respect to \(\omega\). It is known that there is a variety \(S\), uniquely determined up to birational equivalence, and a rational map \(f:X\dashrightarrow S\) such that the general fiber of \(f\) is compact, \(L\) is numerically trivial on a very general fiber of \(f\), and \(L.C>0\) for every general point \(x\in X\) and every irreducible curve passing through \(x\) with \(\dim f(C)>0\). In the above setting the author assumes additionally that nef \((L):=\dim S<\dim X\) and proves that \(L\) is semiample, i.e., there exists \(m\in\mathbb N\), \(m\geq 1\), such that the linear system \(| mL| \) is base-point free. Then it follows from some of his former results [Topology 38, No. 1, 79--83 (1999); addendum ibid. 40, 431--432 (2001; Zbl 0932.32027)], that the holomorphic map \(f:X\rightarrow S:=f(X)\) defined by the linear system \(| mL| \) is a Lagrangian fibration of \(X\).