A hyper-Kähler compactification of the intermediate Jacobian fibration associated with a cubic 4-fold

Abstract

Let $X$ be a general cubic $4$-fold. It was observed by Donagi and Markman that the relative intermediate Jacobian fibration $\\mathcal{J}_U/U$ (with $U=(\\mathbb{P}^5)^\\vee\\setminus X^\\vee$) associated with the family of smooth hyperplane sections of $X$ carries a natural holomorphic symplectic form making the fibration Lagrangian. In this paper, we obtain a smooth projective compactification $\\overline{\\mathcal{J}}$ of $\\mathcal{J}_U$ with the property that the holomorphic symplectic form on $\\mathcal{J}_U$ extends to a holomorphic symplectic form on $\\overline{\\mathcal{J}}$. In particular, $\\overline{\\mathcal{J}}$ is a $10$-dimensional compact hyper-Kähler manifold, which we show to be deformation equivalent to the exceptional example of O'Grady. This proves a conjecture by Kuznetsov and Markushevich.