Cox rings of extremal rational elliptic surfaces
type: Item
instance of: scholarly article
title: Cox rings of extremal rational elliptic surfaces
zbMATH Open document ID: 1339.14022
author: Michela Artebani
author: Alice Garbagnati
author: Antonio Laface
published in: Transactions of the American Mathematical Society
publication date: 2016-03-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/1302.4361
Mathematics Subject Classification ID: 14J26
Mathematics Subject Classification ID: 14C20
zbMATH DE Number: 6550635
zbMATH Keywords: Cox rings
zbMATH Keywords: rational elliptic surfaces
describes a project that uses: SINGULAR
describes a project that uses: Magma
MaRDI profile type: Publication
OpenAlex ID: W1683805643
arXiv ID: 1302.4361
cites work: Del Pezzo and \(K3\) surfaces
cites work: The Hesse pencil of plane cubic curves
cites work: Cox rings of surfaces and the anticanonical Iitaka dimension
cites work: Cox Rings
cites work: Q4434669
cites work: On Chow quotients of torus actions
cites work: Q4889534
cites work: The Magma algebra system. I: The user language
cites work: Singular del Pezzo surfaces whose universal torsors are hypersurfaces
cites work: Q3583435
cites work: Anticanonical Rational Surfaces
cites work: Q4143433
cites work: Three lectures on Cox rings
cites work: Q4831664
cites work: On compact analytic surfaces. III
cites work: Q4000367
cites work: On extremal rational elliptic surfaces
cites work: On images of Mori dream spaces
cites work: Q4251142
cites work: Elliptic Surfaces
cites work: Q5203144
DOI: 10.1090/TRAN/6378
Recommended article: Cox rings of rational surfaces and redundant blow-ups
Recommended article: Extremal rings in Riemann surfaces
Recommended article: Rational surfaces with finitely generated Cox rings and very high Picard numbers
Recommended article: Cox rings of trinomial hypersurfaces
Recommended article: On Cox rings of K3 surfaces
Recommended article: Moduli spaces of curves and Cox rings
Recommended article: Cox rings and algebraic maps
Recommended article: Cox rings of minimal resolutions of surface quotient singularities
Recommended article: On extremal rational elliptic surfaces
Recommended article: The Cox ring of an algebraic variety with torus action
review text: The authors compute the Cox rings for extremal rational elliptic surfaces.NEWLINENEWLINELet \(X\) be a complete normal variety with finitely generated class group \(\mathrm{Cl}(X)\), then we defined the Cox ring of \(X\) by NEWLINE\[NEWLINE\mathcal{R} = \bigoplus_{D \in K} H^{0}(X, \mathcal{O}_{X}(D)),NEWLINE\]NEWLINE where \(K\) is a subgroup of \(\mathrm{Div}(X)\) such that the class map \(K \rightarrow \mathrm{Cl}(X)\) is an isomorphism. If \(\mathcal{R}(X)\) is a finitely generated algebra, then \(X\) is called a Mori dream space.NEWLINENEWLINELet \(X\) be a smooth rational projective surface over the complex number and \(\pi : X \rightarrow \mathbb{P}^{1}\) be a relatively minimal Jacobian elliptic fibration on \(X\), i.e. \(\pi\) admits a section and \(\pi\) does not contract \((-1)\)-curves. An elliptic fibration with the finite Mordell-Weil group \(MW(\pi)\) is called extremal. The extremal elliptic fibrations were classified by \textit{R. Miranda} and \textit{U. Persson} [Math. Z. 193, 537--558 (1986; Zbl 0652.14003)]. It is know that the Cox ring of a rational elliptic surface \(X\) is finitely generated iff \(MW(\pi)\) is finite, or equivalently if the effective cone is rational polyhedral. Now we consider the following set of divisors:NEWLINENEWLINEa) \(-K_{X}\),NEWLINENEWLINEb) smooth irreducible rational curves \(C\) with \(C^{2} \in \{-2,-1,0,1\}\).NEWLINENEWLINEFor each such divisor consider the unique \(D\in K\) which is linearly equivalent to it, we choose a basis of \(H^{0}(X, \mathcal{O}_{X}(D))\) and let \(\Omega\) be the union of all such bases. An element \(f \in \Omega\) is called a distinguished section of \(\mathcal{R}(X)\).NEWLINENEWLINEThe main result of the article can be formulated as follows.NEWLINENEWLINETheorem. Let \(\pi : X \rightarrow \mathbb{P}^{1}\) be an extremal rational elliptic surface. Then the Cox ring \(\mathcal{R}(X)\) is generated by distinguished sections.NEWLINENEWLINEMoreover, in Section 4 the authors determine the i…
reviewed by: Piotr Pokora
description: scientific article; zbMATH DE number 6550635