The effective monoids of the blow-ups of Hirzebruch surfaces at points in general position
type: Item
instance of: scholarly article
title: The effective monoids of the blow-ups of Hirzebruch surfaces at points in general position
zbMATH Open document ID: 1460.14079
author: Mustapha Lahyane
author: Juan Bosco Frías Medina
publication date: 2021-05-04T00:00:00Z
review text: In the paper under review, the authors study the geometry of surfaces obtained as blow-ups of Hirzebruch surfaces along finite sets of points. Given a smooth projective rational surface \(S\) defined over an algebraically closed field \(k\) of arbitrary characteristic, we denote by \(\mathrm{Eff}(S)\) the set of all effective divisor classes on \(S\) modulo the numerical equivalence. Denote by \(\Sigma_{n}\) the \(n\)-th Hirzebruch surface. We say that a finite set of points in \(\Sigma_{n}\) is in general position if the curves of negative self-intersection on the surface obtained by blowing up \(\Sigma_{n}\) at such points are only \((-1)\)-curves and the \((-n)\)-th curve of the strict transform of the class of section \(C_{n}\) if \(n\) is greater than zero, and only \((-1)\)-curves in the remaining case. Let us denote by \(W_{n}^{r}\) the blow-up of the Hirzebruch surface \(\Sigma_{n}\) at \(r\) points in general position, where \(n\) and \(r\) are non-negative integers. The main result of the paper under review can be formulated as follows. Theorem A. The effective monoid \(\mathrm{Eff}(W_{n}^{r})\) is finitely generated if and only if one of the following holds: a) \(n\leq 2\) and \(r\leq 7\); b) \(n=3\) and \(r\leq 8\); or c) \(n\geq 4\) and \(r\leq n+4\). Moreover, the minimal generating sets for such monoids are completely determined. Let us recall that for a given smooth projective variety \(X\) the Cox ring is defined as \[\mathrm{Cox}(X) = \bigoplus_{(n_{1},\dots, n_{\ell})\in \mathbb{Z}^{\ell}} H^{0}(X, \mathcal{L}_{1}^{n_{1}} \otimes \dots \otimes \mathcal{L}_{\ell}^{n_{\ell}}),\] where \(\mathcal{L}_{1}, \dots, \mathcal{L}_{\ell}\) form a basis for the Picard group\(\mathrm{Pic}(X)\) of \(X\), and we also assume that linear and numerical equivalence of the group of Cartier divisors are the same. Regarding the finite generation problem of the Cox rings of surfaces \(W_{N}^{r}\), the authors deliver the following result. Theorem B. The Cox ring of \(W_…
reviewed by: Piotr Pokora
Mathematics Subject Classification ID: 14J26
Mathematics Subject Classification ID: 14C20
Mathematics Subject Classification ID: 14C22
zbMATH DE Number: 7343258
zbMATH Keywords: blow-ups
zbMATH Keywords: rational surfaces
zbMATH Keywords: Cox Rings
zbMATH Keywords: effective monoids
describes a project that uses: Mathematica
MaRDI profile type: Publication
full work available at URL: s12215-020-00489-3
OpenAlex ID: W3009168270
cites work: Mirror symmetry for Del Pezzo surfaces: Vanishing cycles and coherent sheaves
cites work: Algebraic surfaces. Transl. from the Romanian by V. Maşek
cites work: Q4668444
cites work: Fixed Loci of the Anticanonical Complete Linear Systems of Anticanonical Rational Surfaces
cites work: Q4324883
cites work: Rational surfaces with finitely generated Cox rings and very high Picard numbers
cites work: Erratum to: ``A geometric criterion for the finite generation of the Cox rings of projective surfaces''.
cites work: Harbourne–Hirschowitz surfaces whose anticanonical divisors consist only of three irreducible components
cites work: Non-positive and negative at infinity divisorial valuations of Hirzebruch surfaces
cites work: Mirror symmetry for log Calabi-Yau surfaces. I
cites work: Rational surfaces with $K^2>0$
cites work: Anticanonical Rational Surfaces
cites work: Global aspects of the geometry of surfaces
cites work: Q4143433
cites work: Mori dream spaces and GIT.
cites work: Q3952229
cites work: Exceptional curves on rational surfaces having \(K^2\geqslant 0\).
cites work: Irreducibility of \(-1\)-classes on anticanonical rational surfaces and finite generation of the effective monoid
cites work: Q4402061
cites work: Q3469214
cites work: On rational surfaces, II
cites work: Effective divisor classes and blowings-up of \({\mathbb{P}}^ 2\)
DOI: 10.1007/S12215-020-00489-3
published in: Rendiconti del Circolo Matematico di Palermo
description: scientific article; zbMATH DE number 7343258