Contractions of del Pezzo surfaces to \(\mathbb P^2\) or \(\mathbb P^1\times \mathbb P^1\). (English) Zbl 1365.14016

Lee, Jae-Hyouk

Rocky Mt. J. Math. 46, No. 4, 1263-1273 (2016).

A del Pezzo surface is a smooth projective surface \(S\) such that its anticanonical divisor \(-K_S\) is ample. The del Pezzo surfaces are classified and they are either the blow up \(S_r\) of \(\mathbb{P}^2\) in \(0\leq r\leq 8\) points or \(\mathbb{P}^1\times \mathbb{P}^1\). Therefore, if the Picard number of a del Pezzo surface \(S\) is 2, either \(S=\mathbb{P}^1\times \mathbb{P}^1\) or \(S=Bl_p \mathbb{P}^2\).
Let \(\varepsilon: S_r\rightarrow S\) be a birational morphism given by the contraction of \(r-1\) distinct \((-1)\)-curves. The paper under review gives a criterion to determine wether \(S=\mathbb{P}^1\times \mathbb{P}^1\) or \(S=Bl_p \mathbb{P}^2\). The main theorem affirms that, if there is a rational quartic \(q\) in \(S_r\) such that \[ 2q+K_{S_r}\equiv l_1+\ldots+ l_{r-2} \] where \(l_i\) are distinct \((-1)\)-curves, then the contraction of the \(l_i\) is \(\mathbb{P}^1\times \mathbb{P}^1\).
A more precise description of the quartics that appear in this way is given using the Gosset polytope of \(S_r\) studied by the author in [Trans. Am. Math. Soc. 366, No. 9, 4939–4967 (2014; Zbl 1346.14098); Can. J. Math. 64, No. 1, 123–150 (2012; Zbl 1268.14038)]. The vertices of the Gosset polytope of \(S_r\) correspond bijectively to the \((-1)\)-curves in \(S_r\). The birational morphisms given by the contraction of \(d\) disjoint \((-1)\)-curves correspond to \((d-1)\)-simplexes. Thus, if \(\varepsilon: S_r\rightarrow S\) is a birational morphism such that the Picard number of \(S\) is 2, then \(S=Bl_p \mathbb{P}^2\) if and only if the \((r-2)\)-simplex of the contraction is contained in an \((r-1)\)-simplex, that is, if there exist another \((-1)\)-curve disjoint from the first \(r-1\).

Reviewer: Enrica Floris (Basel)

MSC:

14E05	Rational and birational maps
14J26	Rational and ruled surfaces
14J45	Fano varieties

Keywords:

del Pezzo surface; Gosset polytope; Weyl action

Citations:

Zbl 1346.14098; Zbl 1268.14038

References:

[1]	V.V. Batyrev and O.N. Popov, The Cox ring of a del Pezzo surface , in Arithmetic of higher-dimensional algebraic varieties , B. Poonen and Y. Tschinkel, eds., Progr. Math. 226 , Birkhäuser, Boston, 2004. · Zbl 1075.14035
[2]	M. Demazure, Surfaces de Del Pezzo I, II, III, IV, V, in Séminaire sur les singularités des surfaces , M. Demazure, H. Pinkham and B. Teissier, eds., Lect. Notes Math. 777 , Springer-Verlag, New York, 1980.
[3]	P. Du Val, On the directrices of a set of points in a plane , Proc. Lond. Math. Soc. 35 (1931), 23-74. · Zbl 0006.17703
[4]	A. Iqbal, A. Neitzke and C. Vafa, A mysterious duality , Adv. Theor. Math. Phys. 5 (2001), 769-807. · Zbl 1119.14302
[5]	J.H. Lee, Gosset polytopes in Picard groups of del Pezzo surfaces , Canad. J. Math. 64 (2012), 123-150. · Zbl 1268.14038
[6]	—-, Configurations of lines in del Pezzo surfaces with Gosset polytopes , Trans. Amer. Math. Soc. 366 (2014), 4939-4967. · Zbl 1346.14098
[7]	N.C. Leung and J.J. Zhang, Moduli of bundles over rational surfaces and elliptic curves I: Simply laced cases , J. Lond. Math. Soc. 80 (2009), 750-770. · Zbl 1188.14025
[8]	Y. Manin, Cubic forms : Algebra, geometry, arithmetic , Nauka, Moscow, 1972; North-Holland, Amsterdam, 1974, second edition, 1986 (in English). · Zbl 0255.14002
[9]	L. Manivel, Configurations of lines and models of Lie algebras , J. Algebra 304 (2006), 457-486. · Zbl 1167.17001