Topological bounds on hyperkähler manifolds

Abstract

We conjecture that certain curvature invariants of compact hyperkähler manifolds are positive/negative. We prove the conjecture in complex dimension four, give an "experimental proof" in higher dimensions, and verify it for all known hyperkähler manifolds up to dimension eight. As an application, we show that our conjecture leads to a bound on the second Betti number in all dimensions.

22 pages, Maple code in appendix