Birational geometry of the intermediate Jacobian fibration of a cubic fourfold
GIULIA SACCÀ APPENDIX BY CLAIRE VOISINWe show that the intermediate Jacobian fibration associated to any smooth cubic fourfold X admits a hyper-Kähler compactification J.X / with a regular Lagrangian fibration W J ! P 5 . This builds upon work of Laza, Saccà and Voisin (2017), where the result is proved for general X , as well as on the degeneration techniques introduced in the work of Kollár, Laza, Saccà and Voisin, and the minimal model program. We then study some aspects of the birational geometry of J.X /: for very general X we compute the movable and nef cones of J.X /, showing that J.X / is not birational to the twisted version of the intermediate Jacobian fibration, nor to an OG10-type moduli space of objects in the Kuznetsov component of X ; for any smooth X we show, using normal functions, that the Mordell-Weil group MW. / of the fibration is isomorphic to the integral degree-4 primitive algebraic cohomology of X , ie MW. / Š H 2;2 .X; Z/ 0 .
14D06, 14J42Proof Let x J ! P 5 be any normal projective compactification of J U 1 with a regular morphism x W x J ! P 5 . By Lemma 1.4, there is a holomorphic two-form x on the smooth locus of x J extending J U 1 , the canonical class K x J 0 is effective, and K x J D 0 if and only if x J is a symplectic variety. Since K x J is supported on the complement of J U 1 , codim x .Supp.K x J // 2. By definition [40, Definition 7], this means that K x J is x -exceptional, if it is nontrivial. If this is the case, then by [61, III 5.1] (see also [45, Lemma 2.10]), K x J is not x -nef. More precisely, there is a component of K x J that is covered by curves that are contracted by x and that intersect K x J negatively.Let z J ! P 5 be a smooth projective compactification of J U 1 admitting a regular morphism z W z J ! P 5 , and let K z J be its canonical class. If the effective divisor K z