Related papers: Local projectivity of Lagrangian fibrations on Hyp…

We show that the base manifold of a Lagrangian fibration on a hyperk\"ahler manifold is isomorphic to complex projective space. This generalises a theorem of J.-M. Hwang to the K\"ahler case.

Let X be a compact hyperk\"ahler manifold containing a complex torus L as a Lagrangian subvariety. Beauville posed the question whether X admits a Lagrangian fibration with fibre L. We show that this is indeed the case if X is not…

The base surface $B$ of a Lagrangian fibration $X\twoheadrightarrow B$ of a projective, irreducible symplectic fourfold $X$ is shown to be isomorphic to ${\mathbb P}^2$.

For every fibration $f : X \to B$ with $X$ a compact K\"ahler manifold, $B$ a smooth projective curve, and a general fiber of $f$ an abelian variety, we prove that $f$ has an algebraic approximation.

This article initiates the study of isotrivial Lagrangian fibrations of compact hyper-K\"ahler manifolds. We present four foundational results that extend well-known facts about isotrivial elliptic fibrations of K3 surfaces. First, we prove…

Let $f:S\to C$ be a proper surjective morphism from a smooth K\"ahler surface to a smooth curve. We show that the local perverse filtration associated with the induced map $S^{[n]}\to C^{(n)}$ is multiplicative on each fiber if and only if…

For a Lagrangian torus A in a simply-connected projective symplectic manifold M, we prove that M has a hypersurface disjoint from a deformation of A. This implies that a Lagrangian torus in a compact hyperk\"ahler manifold is a fiber of an…

Let $\phi:X\rightarrow B$ be a Lagrangian fibration on a projective irreducible hyper-K\"ahler manifold of dimension $\leq8$. Let $M\in {\rm Pic}\,X$ be a line bundle whose restriction to the general fiber $X_b$ of $\phi$ is topologically…

In this note, we show that if $f\colon M\rightarrow X$ is a germ of a projective Lagrangian fibration from a holomorphic symplectic manifold $M$ onto a normal analytic variety $X$ with isolated quotient singularities, then $X$ is smooth. In…

Let X be a projective hyperk\"ahler manifold containing a Lagrangian subtorus L. We study intersections of deformations of L, defining a canonical almost holomorphic map called L-reduction, which is not birational if and only if X admits an…

Let $(X,\Delta)$ be a projective klt pair, and $f:X\to Y$ a fibration to a smooth projective variety $Y$ with strictly nef relative anti-log canonical divisor $-(K_{X/Y}+\Delta)$. We prove that $f$ is a locally constant fibration with…

Given a projective irreducible symplectic manifold $M$ of dimension $2n$, a projective manifold $X$ and a surjective holomorphic map $f:M \to X$ with connected fibers of positive dimension, we prove that $X$ is biholomorphic to the…

In this paper, we prove that a compact K\"ahler manifold $X$ with semi-positive holomorphic sectional curvature admits a locally trivial fibration $\phi \colon X \to Y$, where the fiber $F$ is a rationally connected projective manifold and…

We prove that the higher direct images of the dualizing sheaf of a Lagrangian fibration between smooth projective manifolds are isomorphic to the cotangent bundles of base space. As a corollary, we obtain that every Hodge number of the base…

Let $M$ be a holomorphic symplectic K\"ahler manifold equipped with a Lagrangian fibration $\pi$ with compact fibers. The base of this manifold is equipped with a special K\"ahler structure, that is, a K\"ahler structure $(I, g, \omega)$…

Given a holomorphic Lagrangian fibration of a compact hyperkahler manifold, we use the differential geometry of the special Kahler metric that exists on the base away from the discriminant locus, and show that the pullback of the tangent…

We give a Hodge-theoretic proof of Hwang's theorem, which says that if the base of a Lagrangian fibration of an irreducible holomorphic symplectic manifold is smooth, it must be projective space.

Let X be a compact Kahler holomorphic-symplectic manifold, which is deformation equivalent to the Hilbert scheme of length n subschemes of a K3 surface. Let L be a nef line-bundle on X, such that the 2n-th power of c_1(L) vanishes and…

For a compact hyperk\"ahler manifold X, we show certain Zariski decomposition for every pseudo-effective R-divisor, and give a sufficient condition for X to be bimeromorphic to a (holomorphic) Lagrangian fibration. We also prove that any…

We classify singular fibres of a projective Lagrangian fibration over codimension one points. As an application, we obtain a canonical bundle formula for a projective Lagrangian fibration over a smooth manifold.