Related papers: On blowing up minimal toric surfaces
We prove that the Cox ring of a smooth rational surface with big anticanonical class is finitely generated. We classify surfaces of this type that are blow-ups of the plane at distinct points lying on a (possibly reducible) cubic.
We show that the blow-up of P^2 in n points on a line has finitely generated Cox ring. We give explicit generators for the ring and calculate its defining ideal of relations.
We determine the Cox rings of the minimal resolutions of cubic surfaces with at most rational double points, of blow ups of the projective plane at non-general configurations of six points and of three dimensional smooth Fano varieties of…
The aim is to give a geometric characterization of the finite generation of the Cox ring of anticanonical rational surfaces. This characterization is encoded in the finite generation of the effective monoid. Furthermore, we prove that in…
We bring examples of toric varieties blown up at a point in the torus that do not have finitely generated Cox rings. These examples are generalizations of previous work where toric surfaces of Picard number 1 were studied. In this article…
Consider the blow-up Y of a weighted projective plane at a point in the open orbit over a field of characteristic 0. We assume that there exists a curve C on Y such that C^2<0 and C.E=1, where E is the exceptional curve. In this paper we…
We study Cox rings of K3-surfaces. A first result is that a K3-surface has a finitely generated Cox ring if and only if its effective cone is polyhedral. Moreover, we investigate degrees of generators and relations for Cox rings of…
We prove that the redundant blow-up preserves the finite generation of the Cox ring of a rational surface under a suitable assumption, and we study the birational structure of Mori dream rational surfaces via redundant blow-ups. It turns…
In this paper we determine a minimal set of generators for the Cox rings of extremal rational elliptic surfaces. Moreover, we develop a technique for computing the ideal of relations between them which allows, in all but three cases, to…
We study varieties with a finitely generated Cox ring. In a first part, we generalize a combinatorial approach developed in earlier work for varieties with a torsion free divisor class group to the case of torsion. Then we turn to…
Let $X$ be a projective K3 surface over $\mathbb C$. We prove that its Cox ring $R(X)$ has a generating set whose degrees are either classes of smooth rational curves, sums of at most three elements of the Hilbert basis of the nef cone, or…
Let $X$ be a rational surface obtained by blowing up at a configuration $\mathcal{C}$ of infinitely near points over a Hirzebruch surface $\mathbb{F}_\delta$. We prove that there exist two positive integers $a \leq b$ such that the cone of…
We prove quadratic generation for the ideal of the Cox ring of the blow-up of $\mathbb{P}^3$ at $7$ points, solving a conjecture of Lesieutre and Park. To do this we compute Khovanskii bases, implementing techniques which proved successful…
We show that iterating Nash blowups resolve the singularities of normal toric surfaces satisfying the following property: the minimal generating set of the corresponding semigroup is contained in one or two segments. We also provide…
We consider modifications, for example blow ups, of Mori dream spaces and provide algorithms for investigating the effect on the Cox ring, e.g. testing finite generation or computing an explicit presentation in terms of generators and…
We study generators and relations of Cox rings of K3 surfaces of Picard number two. In particular we consider the Cox rings of classical examples of K3 surfaces, such as quartic surfaces containing a line and elliptic K3 surfaces.
We prove the finite generation of the adjoint ring for $\mathbb{Q}$-factorial log surfaces over any algebraically closed field.
We investigate Cox rings of minimal resolutions of surface quotient singularities and provide two descriptions of these rings. The first one is the equation for the spectrum of a Cox ring, which is a hypersurface in an affine space. The…
We give a new and self-contained proof of the finite generation of adjoint rings with big boundaries. As a consequence, we show that the canonical ring of a smooth projective variety is finitely generated.
This paper deals with the problem of computing a generating set for the Cox ring $R(X)$ of a smooth projective rational surface $X$ with nef anticanonical class. In case $R(X)$ is finitely generated, we show that the degrees of its…