Characteristic foliation on non-uniruled smooth divisors on hyperkaehler manifolds
We prove that the characteristic foliation on a non-singular divisor in an irreducible projective hyperkaehler manifold cannot be algebraic, unless the leaves of are rational curves or is a surface. More generally, we show that if is an arbitrary projective manifold carrying a holomorphic symplectic -form, and and are as above, then can be algebraic with non-rational leaves only when, up to a finite étale cover, is the product of a symplectic projective manifold with a symplectic surface and is the pull-back of a curve on this surface. When is of general type, the fact that cannot be algebraic unless is a surface was proved by Hwang and Viehweg. The main new ingredient for our results is the observation that the canonical bundle of the (apriori, orbifold; but the orbifold structure is actually trivial) base of the family of leaves must be torsion. This implies, in particular, the isotriviality of the family of leaves of . We also make some remarks in the Kähler case and apply this to the Lagrangian conjecture in the last section.