Pith. sign in

REVIEW 4 cited by

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

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2410.21193 v2 pith:KMBFXI2A submitted 2024-10-28 math.AG

Yoon-Joo Kim This is my paper · ORCID
classification math.AG
keywords eronmodelfibrationoperatornamesmoothabeliancomplementhigher-dimensional
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

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

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Boundedness of some fibered K-trivial varieties

    math.AG 2025-07 conditional novelty 8.0 of 10

    Fixed-dimension Calabi-Yau varieties with abelian or primitive symplectic fibrations are birationally bounded, and Lagrangian-fibered primitive symplectic varieties have finitely many deformation classes.

  2. Higher direct images of dualizing sheaves III

    math.AG 2025-08 conditional novelty 7.0 of 10

    Flat projective morphisms between characteristic-zero varieties with rational singularities have locally free higher direct images of O_X and of the relative dualizing sheaf, making Pic^0(X/S) smooth.

  3. Hitchin fibrations are Ng\^{o} fibrations

    math.AG 2025-02 conditional novelty 7.0 of 10

    For every split reductive group G, the Hitchin fibration in the canonical and logarithmic cases is an Ngô fibration, so its direct image splits into Ngô strings.

  4. The Tate-Shafarevich group of a polarised K3 surface

    math.AG 2025-07 conditional novelty 6.0 of 10

    For a primitive polarization h on a K3 surface S, the Tate-Shafarevich group X(S,h) parametrizes exactly the Pic^0(C_η)-torsors admitting a good hyperkähler model.

Pith tools