Characteristic foliation on non-uniruled smooth divisors on hyperkahler manifolds
We prove that the characteristic foliation F on a nonsingular divisor D in an irreducible projective hyperk¨ahler manifold X cannot be algebraic, unless the leaves of F are rational curves or X is a surface. More generally, we show that if X is an arbitrary projective manifold carrying a holomorphic symplectic 2-form, and D and F are as above, then F can be algebraic with non-rational leaves only when, up to a finite ´etale cover, X is the product of a symplectic projective manifold Y with a symplectic surface and D is the pull-back of a curve on this surface.
When D is of general type, the fact that F cannot be algebraic unless X is a surface was proved by Hwang and Viehweg. The main new ingredient for our results is the observation that the canonical class of the (orbifold) base of the family of leaves is zero. This implies, in particular, the isotriviality of the family of leaves of F. We show this, more generally, for regular algebraic foliations by curves defined by the vanishing of a holomorphic (d − 1)-form on a complex projective manifold of dimension d.