Related papers: A Groebner basis for the secant ideal of the secon…
We prove that level binomial edge ideals with regularity 2 and pseudo-Gorenstein binomial edge ideals with regularity 3 are cones, and we describe them completely. Also, we characterize level and pseudo-Gorenstein binomial edge ideals of…
In a recent paper by Harada, Seceleanu, and \c{S}ega, the Hilbert function, betti table, and graded minimal free resolution of a general principal symmetric ideal are determined when the number of variables in the polynomial ring is…
Following the approach in the book "Commutative Algebra", by D. Eisenbud, where the author describes the generic initial ideal by means of a suitable total order on the terms of an exterior power, we introduce first the generic initial…
Hilbert schemes of zero-dimensional ideals in a polynomial ring can be covered with suitable affine open subschemes whose construction is achieved using border bases. Moreover, border bases have proved to be an excellent tool for describing…
Equality of the second order arithmetic means of two principal ideals does not imply equality of their first order arithmetic means (second order equality cancellation). We provide fairly broad sufficient conditions on one of the principal…
Extending the notion of indispensable binomials of a toric ideal, we define indispensable monomials of a toric ideal and establish some of their properties. They are useful for searching indispensable binomials of a toric ideal and for…
In the geometry of polynomials, Schoenberg's conjecture, now a theorem, is a quadratic inequality between the zeros and critical points of a polynomial whose zeros have their centroid at the origin. We call its generalizations to other…
We construct a Gr\"obner Basis of the relation ideal of a polynomial, give an interpolation formula for the basis elements and explain the connection of the interpolation formula to the Buchberger--M\"oller algorithm. We present a situation…
We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and…
It is shown that up to dimension four, the toric ideal of a quiver polytope is generated in degree two, with the only exception of the four-dimensional Birkhoff polytope. As a consequence, B{\o}gvad's conjecture holds for quiver polytopes…
In this paper, we shall provide explicit formulas for the extremal Betti numbers of $R/I$, where $I$ is the defining ideal of certain weighted hyperplanes in $\Bbb{P}^{n-1}$ and $R$ is the polynomial ring in $n$ indeterminates over a field.…
An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…
It is an open question whether tight closure commutes with localization in quotients of a polynomial ring in finitely many variables over a field. Katzman showed that tight closure of ideals in these rings commutes with localization at one…
In this note we show that the initial ideal of the annihilator ideal of a generic form is generated by the largest possible monomials in each degree. We also show that the initial ideal with respect to the degree reverse lexicographical…
We establish basic techniques for studying the ideals of secant varieties of Segre varieties. We solve a conjecture of Garcia, Stillman and Sturmfels on the generators of the ideal of the first secant variety in the case of three factors…
We define the Grothendieck group of an n-angulated category and show that for odd n its properties are as in the special case of n=3, i.e. the triangulated case. In particular, its subgroups classify the dense and complete n-angulated…
Let $f_1, ..., f_n$ be homogeneous polynomials generating a generic ideal $I$ in the ring of polynomials in $n$ variables over an infinite field. Moreno-Soc\'ias conjectured that for the graded reverse lexicographic term ordering, the…
In 1980, White conjectured that the toric ideal of a matroid is generated by quadratic binomials corresponding to a symmetric exchange. In this paper, we compute Gr\"obner bases of toric ideals associated with matroids and show that, for…
A motivation to study Gr\"{o}bner theory for fields with valuations comes from tropical geometry, for example, they can be used to compute tropicalization of varieties \citep{maclagan2009introduction}. The computational aspect of this…
We present a formalization of Gr\"obner basis theory in Lean 4, built on top of Mathlib's infrastructure for multivariate polynomials and monomial orders. Our development covers the core foundations of Gr\"obner basis theory, including…