Effective divisor classes and blowings-up of \({\mathbb{P}}^ 2\)
type: Item
instance of: scholarly article
title: Effective divisor classes and blowings-up of \({\mathbb{P}}^ 2\)
zbMATH Open document ID: 0564.14002
author: Jeffrey A. Rosoff
published in: Pacific Journal of Mathematics
publication date: 1980-01-01T00:00:00Z
review text: Let \(X_ n\to^{\pi}{\mathbb{P}}^ 2\) be the monoidal transformation of the (complex) projective plane centered at distinct points \(P_ 1,...,P_ n\) of \({\mathbb{P}}^ 2\). We recall that the Néron-Severi group of \(X_ n\) is freely generated by the divisor class [L] of the proper transform L of a line in \({\mathbb{P}}^ 2\) and by the classes \([E_ i]\) of the ''exceptional'' fibers \(E_ i\) over \(P_ i\); the intersection pairing is given by \([L]^ 2=1\); \([L]\cdot [E_ i]=0\); \([E_ i]\cdot [E_ j]=- \delta_{i,j}\). Let \({\mathcal M}(X_ n)\) denote the monoid of elements F in the Néron-Severi group with the property that F contains an effective divisor. In this paper we (1) construct a finite generating set for \({\mathcal M}(X_ n)\) for \(n\leq 8\), and give a particularly simple geometric description of the generators when \(P_ 1,...,P_ n\) are in ''general position''; (2) show that, for \(n\geq 9\), \({\mathcal M}(X_ n)\) need not be finitely generated, despite the finite generation of the whole Néron-Severi group; (3) prove the related result that if a nonsingular surface X contains an infinite number of exceptional curves of the first kind, then X is necessarily rational.
Mathematics Subject Classification ID: 14C20
Mathematics Subject Classification ID: 14E05
zbMATH DE Number: 3899047
zbMATH Keywords: monoidal transformation of the complex projective plane
zbMATH Keywords: Néron-Severi group
zbMATH Keywords: effective divisor
zbMATH Keywords: exceptional curves
MaRDI profile type: Publication
full work available at URL: pjm.1980.89.419
OpenAlex ID: W2048737396
DOI: 10.2140/PJM.1980.89.419
description: scientific article; zbMATH DE number 3899047