English

Canonical models of toric hypersurfaces

Algebraic Geometry 2023-05-10 v4 High Energy Physics - Theory Combinatorics Symplectic Geometry

Abstract

Let ZZ be a nondegenerate hypersurface in dd-dimensional torus (C)d(\mathbb{C}^*)^d defined by a Laurent polynomial ff with a dd-dimensional Newton polytope PP. The subset F(P)PF(P) \subset P consisting of all points in PP having integral distance at least 11 to all integral supporting hyperplanes of PP is called the Fine interior of PP. If F(P)F(P) \neq \emptyset we construct a unique projective model Z~\widetilde{Z} of ZZ having at worst canonical singularities and obtain minimal models Z^\hat{Z} of ZZ by crepant morphisms Z^Z~\hat{Z}\to \widetilde{Z}. We show that the Kodaira dimension κ=κ(Z~)\kappa =\kappa(\widetilde{Z}) equals min{d1,dimF(P)}\min \{ d-1, \dim F(P) \} and the general fibers in the Iitaka fibration of the canonical model Z~\widetilde{Z} are non\-degenerate (d1κ)(d-1-\kappa)-dimensional toric hypersurfaces of Kodaira dimension 00. Using F(P)F(P), we obtain a simple combinatorial formula for the intersection number (KZ~)d1(K_{\widetilde{Z}})^{d-1}.

Keywords

Cite

@article{arxiv.2008.05814,
  title  = {Canonical models of toric hypersurfaces},
  author = {Victor V. Batyrev},
  journal= {arXiv preprint arXiv:2008.05814},
  year   = {2023}
}

Comments

41 pages, final version, to appear in Algebraic Geometry Compositio Mathematica