English

On the classification of smooth toric surfaces with exactly one exceptional curve

Algebraic Geometry 2024-12-17 v1

Abstract

We classify all smooth projective toric surfaces SS containing exactly one exceptional curve. We show that every such surface SS is isomorphic to either F1\mathbb{F}_1 or a surface SrS_r defined by a rational number rQZr \in \mathbb{Q} \setminus \mathbb{Z} (r>1)(r >1). If a:=[r]a:= [ r] then SrS_r is obtained from the minimal desingularization of the weighted projective plane P(1,2,2a+1)\mathbb{P}(1, 2, 2a+1) by toric blow-ups whose quantity equals the level of the rational number {r}(0,1)\{ r \} \in (0,1) in the classical Farey tree. Moreover, we show that if r=b/cr = b/c with coprime bb and cc, then SrS_r is the minimal desingularization of the weighted projective plane P(1,c,b)\mathbb{P}(1, c, b). We apply 22-dimensional regular fans Σr\Sigma_r of toric surfaces SrS_r for constructing 22-dimensional colored fans Σc\Sigma^c of minimal horospherical 33-folds having a regular SL(2)×GmSL(2) \times \mathbb{G}_m-action. The latter are minimal toric 33-folds VrV_r classified by Z. Guan. We establish a direct combinatorial connection between the 33-dimensional fans Σ~rc\widetilde{\Sigma}^c_r of 33-folds VrV_r and the 22-dimensional fans Σr\Sigma_r of surfaces SrS_r.

Keywords

Cite

@article{arxiv.2412.10841,
  title  = {On the classification of smooth toric surfaces with exactly one exceptional curve},
  author = {Victor Batyrev},
  journal= {arXiv preprint arXiv:2412.10841},
  year   = {2024}
}

Comments

16 pages, 12 figures