Related papers: Groebner bases, monomial group actions, and the Co…

We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main…

Let X be a del Pezzo surface of degree one over an algebraically closed field (of any characteristic), and let Cox(X) be its total coordinate ring. We prove the missing case of a conjecture of Batyrev and Popov, which states that Cox(X) is…

The Cox rings of del Pezzo surfaces are closely related to the Lie groups E_n. In this paper, we generalize the definition of Cox rings to G- surfaces defined by us earlier, where the Lie groups G=A_n, D_n or E_n. We show that the Cox ring…

In his Ph.D. thesis, Sean Griffin introduced a family of ideals and found monomial bases for their quotient rings. These rings simultaneously generalize the Delta Conjecture coinvariant rings of Haglund-Rhoades-Shimozono and the cohomology…

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…

In this paper we develop a Grobner bases theory for ideals of partial difference polynomials with constant or non-constant coefficients. In particular, we introduce a criterion providing the finiteness of such bases when a difference ideal…

Classically, Groebner bases are computed by first prescribing a set monomial order. Moss Sweedler suggested an alternative and developed a framework to perform such computations by using valuation rings in place of monomial orders. We build…

Exploiting symmetry in Groebner basis computations is difficult when the symmetry takes the form of a group acting by automorphisms on monomials in finitely many variables. This is largely due to the fact that the group elements, being…

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…

We study the homogeneous artinian ideals of the polynomial ring $K[x,y,z]$, generated by the homogenous polynomials of degree $d$ which are invariant under an action of the cyclic group $\mathbb Z/d\mathbb Z$, for any $d\geq 3$. We prove…

In his book "Cubic forms" Manin discovered that del Pezzo surfaces are related to root systems. To explain the many numerical coincidences Batyrev conjectured that a universal torsor on a del Pezzo surface can be embedded in a certain…

Developed by Buchberger for commutative polynomial rings, Groebner Bases are frequently applied to solve algorithmic problems, such as the congruence problem for ideals. Until now, these ideas have been transmitted to different in part…

We develop the theory of Gr\"obner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division…

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 classify all generalized del Pezzo surfaces (i.e., minimal desingularizations of singular del Pezzo surfaces containing only rational double points) whose universal torsors are open subsets of hypersurfaces in affine space. Equivalently,…

We establish a group-action version of the Szemer\'edi-Trotter theorem over any field, extending Bourgain's result for the group $\mathrm{SL}_2(k)$. As an Elekes-Szab\'o-type application, we obtain quantitative bounds on the number of…

For a smooth Del Pezzo surface the direct sum of global sections of all isomorphism classes of invertible sheaves on it can be almost canonically endowed with a ring structure, called the Cox ring. We show that in characteristic 0 this ring…

Let $I_1\subset I_2\subset\dots$ be an increasing sequence of ideals of the ring $\Bbb Z[X]$, $X=(x_1,\dots,x_n)$ and let $I$ be their union. We propose an algorithm to compute the Gr\"obner base of $I$ under the assumption that the…

In this note we consider monoidal complexes and their associated algebras, called toric face rings. These rings generalize Stanley-Reisner rings and affine monoid algebras. We compute initial ideals of the presentation ideal of a toric face…

Let X be a smooth projective variety with torsion-free Picard group. We introduce complexes of vector spaces whose homology determines the structure of the minimal free resolution of the Cox ring of X over the polynomial ring and show how…