Related papers: A presentation for the Cox ring of $\overline{M}_{…

We prove that the Cox ring of $\bar{M}_{0,6}$, the moduli space of stable, rational curves with 6 marked points, is finitely generated by sections corresponding to the boundary divisors and divisors which are pull-backs of the hyperelliptic…

Let G be a connected reductive group and G/H a spherical homogeneous space. We show that the ideal of relations between a natural set of generators of the Cox ring of a G-embedding of G/H can be obtained by homogenizing certain equations…

The Cox ring of a so-called Mori Dream Space (MDS) is finitely generated and it is graded over the divisor class group. Hence the spectrum of the Cox ring comes with an action of an algebraic torus whose GIT quotient is the variety in…

Following work of Keel and Tevelev, we give explicit polynomials in the Cox ring of $\mathbb{P}^1\times\cdots\times\mathbb{P}^{n-3}$ that, conjecturally, determine $\overline{M}_{0,n}$ as a subscheme. Using Macaulay2, we prove that these…

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 the Cox ring of the moduli space of stable pointed rational curves, \M_{0,n}, via the closely related permutohedral (or Losev-Manin) spaces. Our main result establishes \binom{n}{2} polynomial subrings of the Cox ring, thus giving…

We compute the Cox ring of an embedded variety $X \subseteq Z$ within a Mori dream space, under the assumption that the pullback map induces an isomorphism at the level of divisor class groups. We show that the Cox ring of $X$ is the…

We investigate Cox rings of symplectic resolutions of quotients of $\mathbb{C}^{2n}$ by finite symplectic group actions. We propose a finite generating set of the Cox ring of a symplectic resolution and prove that under a condition…

In this expository note we discuss a class of graded algebras named Cox rings, which are naturally associated to algebraic varieties generalizing the homogeneous coordinate rings of projective spaces. Whenever the Cox ring is finitely…

We study the Cox ring and monoid of effective divisor classes of $\overline{M}_{0,n} = Bl\mathbb{P}^{n-3}$, over a ring R. We provide a bijection between elements of the Cox ring, not divisible by any exceptional divisor section, and…

We construct a short presentation of the ring of n x n matrices over Z with only 2 generators and 3 relations.

We give a proper definition of the multiplicative structure of the following rings: the Cox ring of invertible sheaves on a general algebraic stack; and the Cox ring of rank one reflexive sheaves on a normal and excellent algebraic stack.…

We investigate the Cox ring of a normal complete variety X with algebraic torus action. Our first results relate the Cox ring of X to that of a maximal geometric quotient of X. As a consequence, we obtain a complete description of the Cox…

We show that the Cox ring of the moduli of $SL_2(\C)$ quasi-parabolic principal bundles on a marked curve is generated by conformal blocks of level 1 and 2. We show that the ideal which vanishes on these generators is generated by forms of…

We describe the cohomology ring of the moduli space of a flexible polygon in geometrically meaningful terms. We propose two presentations, both are computation friendly: there are simple rules for cup product.

A product of cochains in a polyhedral complex is constructed. The multiplication algorithm depends on the choice of a parameter. The parameter is a linear functional on the ambient space. Cocycles form a subring of the ring of cochains,…

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…

The Cox ring provides a coordinate system on a toric variety analogous to the homogeneous coordinate ring of projective space. Rational maps between projective spaces are described using polynomials in the coordinate ring, and we generalise…

Let S_r be the blow-up of P^2 in r general points, i.e., a smooth Del Pezzo surface of degree 9-r. For r <= 7, we determine the quadratic equations defining its Cox ring explicitly. The ideal of the relations in Cox(S_8) is calculated up to…

Let f_1,...,f_r be homogeneous polynomials in K[x_1,...,x_n], K a field. Put F=y_1f_1+...+y_rf_r in K[x,y] and let I be the ideal of K[x,y] generated by the partials of F relative to the x_i and y_j. The Jacobian ring of F is the quotient…