Related papers: Ideal-specific elimination orders form a star-shap…

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

We develop a probabilistic algorithm for computing elimination ideals of likelihood equations, which is for larger models by far more efficient than directly computing Groebner bases or the interpolation method proposed in the first…

In this contribution, we consider a zero-dimensional polynomial system in $n$ variables defined over a field $\mathbb{K}$. In the context of computing a Rational Univariate Representation (RUR) of its solutions, we address the problem of…

In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gr{\"o}bner bases, even if the input is polynomials, the size of the output grows with the…

Let R be a standard graded polynomial ring in f variables over a field and Psi be an f by g matrix of linear forms from R, where g is positive and less than f. Assume that the row vector of variables annihilates Psi and that the ideal I…

We study discrete orderings in the real spectrum of a commutative ring by defining discrete prime cones and give an algebro-geometric meaning to some kind of diophantine problems over discretely ordered rings. Also for a discretely ordered…

Let $A$ be a two-dimensional excellent normal Gorenstein local domain. In this paper, we characterize elliptic ideals $I \subset A$ for its normal tangent cone $\overline{G}(I)$ to be Gorenstein. Moreover, we classify all those ideals in a…

Given a set of distinct points $X=\{P_1, \dots,P_r\} $ in $ \mathbb P^n_{\res}, $ in this paper we characterize being $X$ arithmetically Gorenstein through the ``special" structure of the inverse system of the defining ideal $I(X) \subseteq…

Consider a complete intersection I of type (d_1,..., d_r) in a polynomial ring over a field of characteristic 0. We study the graded system of ideals {gin(I^n)}_n obtained by taking the reverse lexicographic generic initial ideals of the…

We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…

We consider ideals involving the maximal minors of a polynomial matrix. For example, those arising in the computation of the critical values of a polynomial restricted to a variety for polynomial optimisation. Gr\"obner bases are a…

One of the main obstacle to study compactness in topological spaces via ideals was the definition of ideal convergence of subsequences as in the existing literature according to which subsequence of an ideal convergent sequence may fail to…

In this paper, we draw a connection between ideal lattices and Gr\"{o}bner bases in the multivariate polynomial rings over integers. We study extension of ideal lattices in $\mathbb{Z}[x]/\langle f \rangle$ (Lyubashevsky \& Micciancio,…

Let $G$ be a finite simple connected graph on $[n]$ and $R = K[x_1, \ldots, x_n]$ the polynomial ring in $n$ variables over a field $K$. The edge ideal of $G$ is the ideal $I(G)$ of $R$ which is generated by those monomials $x_ix_j$ for…

We show how tropical varieties of ideals I over a field K with non-trivial valuation can be traced back to tropical varieties of ideals in R[[t]][x] over some dense subring R in its ring of integers. Moreover, for homogeneous ideals, we…

Among the several types of closures of an ideal $I$ that have been defined and studied in the past decades, the integral closure $\bar{I}$ has a central place being one of the earliest and most relevant. Despite this role, it is often a…

We investigate the higher divisorial ideal $D(I):= Ann(Ext^g_R(R/I,R))$ associated to an ideal I of grade g. Our main focus is the containment problem $D(I) \subseteq \overline{I}$. We show that this inclusion holds for broad classes of…

We present two algorithms determining all the complete and simplicial fans admitting a fixed non-degenerate set of vectors $V$ as generators of their 1-skeleton. The interplay of the two algorithms allows us to discerning if the associated…

Solving zero-dimensional polynomial systems using Gr\"obner bases is usually done by, first, computing a Gr\"obner basis for the degree reverse lexicographic order, and next computing the lexicographic Gr\"obner basis with a change of order…

The first goal of the present paper is to study the class groups of the edge rings of complete multipartite graphs, denoted by $\Bbbk[K_{r_1,\ldots,r_n}]$, where $1 \leq r_1 \leq \cdots \leq r_n$. More concretely, we prove that the class…