English

The N\'eron model of a higher-dimensional Lagrangian fibration

Algebraic Geometry 2025-05-15 v2

Abstract

Let π:XB\pi : X \to B be a projective Lagrangian fibration of a smooth symplectic variety XX to a smooth variety BB. Denote the complement of the discriminant locus by B0=BDisc(π)B_0 = B \setminus \operatorname{Disc}(\pi), its preimage by X0=π1(B0)X_0 = \pi^{-1}(B_0), and the complement of the critical locus by X=XSing(π)X' = X \setminus \operatorname{Sing}(\pi). Under an assumption that the morphism XBX' \to B is surjective, we construct (1) the N\'eron model of the abelian fibration π0:X0B0\pi_0 : X_0 \to B_0 and (2) the N\'eron model of its automorphism abelian scheme Autπ0B0\operatorname{Aut}^{\circ}_{\pi_0} \to B_0. Contrary to the case of elliptic fibrations, XX' may not be the N\'eron model of X0X_0; this is precisely because of the existence of flops in higher-dimensional symplectic varieties. Using such techniques, we analyze when XBX' \to B is a torsor under a smooth group scheme and also revisit some known results in the literature.

Cite

@article{arxiv.2410.21193,
  title  = {The N\'eron model of a higher-dimensional Lagrangian fibration},
  author = {Yoon-Joo Kim},
  journal= {arXiv preprint arXiv:2410.21193},
  year   = {2025}
}

Comments

86 pages; minor revision