Topology of Lagrangian fibrations and Hodge theory of hyper-Kähler manifolds

We establish a compact analogue of the P=W conjecture. For a projective irreducible holomorphic symplectic variety with a Lagrangian fibration, we show that the perverse numbers associated with the fibration match perfectly with the Hodge numbers of the total space. This builds a new connection between the topology of Lagrangian fibrations and the Hodge theory of hyper-Kähler manifolds. We present two applications of our result: one on the cohomology of the base and fibers of a Lagrangian fibration, and the other on the refined Gopakumar–Vafa invariants of a K3 surface. Furthermore, we show that the perverse filtration associated with a Lagrangian fibration is multiplicative under cup product.