English
Related papers

Related papers: Real radical initial ideals

200 papers

We study an inductive method of computing initial ideals and Gr\"obner bases for families of ideals in a polynomial ring. This method starts from a given set of pairs $(I,J)$ where $I$ is any ideal and $J$ is a monomial ideal contained in…

Commutative Algebra · Mathematics 2026-01-28 Eric Marberg , Brendan Pawlowski

This paper investigates the v-number of various classes of monomial ideals. First, we considers the relationship between the v-number and the regularity of the mixed product ideal $I$, proving that $\mathrm{v}(I) \leq \mathrm{reg}(S/I)$.…

Commutative Algebra · Mathematics 2025-04-08 Liuqing Yang , Kaiwen Hu , Lizhong Chu

We use the theory of poset resolutions to construct the minimal free resolution of an arbitrary stable monomial ideal in the polynomial ring whose coefficients are from a field. This resolution is recovered by utilizing a poset of…

Commutative Algebra · Mathematics 2010-06-25 Timothy B. P. Clark

We will explore some properties of minimal graded free resolutions of $R/I$, where $R$ is a trivariate polynomial ring over a field and $I$ is a monomial ideal. Our focus will be to consider a specific form of the resolutions when $I$ is…

Commutative Algebra · Mathematics 2013-03-05 Jared Painter

We analyse the representation of positive polynomials in terms of Sums of Squares. We provide a quantitative version of Putinar's Positivstellensatz over a compact basic semialgebraic set S, with a new polynomial bound on the degree of the…

Commutative Algebra · Mathematics 2023-02-07 Lorenzo Baldi , Bernard Mourrain

An ideal of polynomials is symmetric if it is closed under permutations of variables. We relate general symmetric ideals to the so called Specht ideals generated by all Specht polynomials of a given shape. We show a connection between the…

Algebraic Geometry · Mathematics 2021-02-17 Philippe Moustrou , Cordian Riener , Hugues Verdure

An irreducible element of a commutative ring is absolutely irreducible if no power of it has more than one (essentially different) factorization into irreducibles. In the case of the ring $\text{Int}(D)=\{f\in K[x]\mid f(D)\subseteq D\}$,…

Commutative Algebra · Mathematics 2020-04-02 Sophie Frisch , Sarah Nakato

An ideal I in a Noetherian ring R is normally torsion-free if Ass(R/I^t)=Ass(R/I) for all natural numbers t. We develop a technique to inductively study normally torsion-free square-free monomial ideals. In particular, we show that if a…

Commutative Algebra · Mathematics 2009-04-25 Huy Tai Ha , Susan Morey

We consider the tropical variety $\mathcal{T}(I)$ of a prime ideal $I$ generated by the polynomials $f_1, ..., f_r$ and revisit the regular projection technique introduced by Bieri and Groves from a computational point of view. In…

Algebraic Geometry · Mathematics 2011-11-10 Kerstin Hept , Thorsten Theobald

We study sum-of-squares representations of symmetric univariate real matrix polynomials that are positive semidefinite along the real line. We give a new proof of the fact that every positive semidefinite univariate matrix polynomial of…

Algebraic Geometry · Mathematics 2017-07-27 Christoph Hanselka , Rainer Sinn

We present an effective method for computing parametric primary decomposition via comprehensive Gr\"obner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with…

Symbolic Computation · Computer Science 2024-08-29 Yuki Ishihara , Kazuhiro Yokoyama

Let $R$ be a commutative $G$-graded ring with a nonzero unity. In this article, we introduce the concept of graded radically principal ideals. A graded ideal $I$ of $R$ is said to be graded radically principal if $Grad(I)=Grad(\langle…

Commutative Algebra · Mathematics 2021-01-06 Rashid Abu-Dawwas

We introduce a new problem on the elementary symmetric polynomials $\sigma_k$, stemming from the constraint equations of some modified gravity theory. For which coefficients is a linear combination of $\sigma_k$ $1/p$-concave, with $0 \leq…

Classical Analysis and ODEs · Mathematics 2018-01-01 Xavier Lachaume

The real type of a finite family of univariate polynomials characterizes the combined sign behavior of the polynomials over the real line. We derive an explicit formula for the number of real types subject to given degree bounds. For the…

Symbolic Computation · Computer Science 2025-02-10 Nicolas Faroß , Thomas Sturm

Consider polynomials $F_1,\dots,F_s$ in $\K[X_1,\dots,X_n]$ over a field $\K$, their zero-set $V(F_1,\dots,F_n)$ in $\Kbar^n$ and its decomposition into equidimensional components $V_0,\dots,V_n$ (with $V_i$ either empty or of dimension $i$…

Commutative Algebra · Mathematics 2026-03-04 Jesse Elliott , Éric Schost

In this paper we obtain some statements concerning ideals of polynomials and apply these results in a number of different situations. Among other results, we present new characterizations of $\mathcal{L}_{\infty}$-spaces, Coincidence…

Functional Analysis · Mathematics 2007-05-23 Daniel M. Pellegrino

We consider the problem of finding the isolated common roots of a set of polynomial functions defining a zero-dimensional ideal I in a ring R of polynomials over C. We propose a general algebraic framework to find the solutions and to…

Algebraic Geometry · Mathematics 2017-11-15 Simon Telen , Bernard Mourrain , Marc Van Barel

The entropy of a tropical ideal is introduced. The radical of a tropical ideal consists of all tropical polynomials vanishing on the tropical prevariety determined by the ideal. We prove that the entropy of the radical of a tropical…

Algebraic Geometry · Mathematics 2020-12-01 Dima Grigoriev

Let $I,J$ be componentwise linear ideals in a polynomial ring $S$. We study necessary and sufficient conditions for $I+J$ to be componentwise linear. We provide a complete characterization when $\dim S=2$. As a consequence, any…

Commutative Algebra · Mathematics 2025-04-08 Hailong Dao , Sreehari Suresh-Babu

Schm\"udgen's Theorem says that if a basic closed semialgebraic set K = {g_1 \geq 0, ..., g_s \geq 0} in R^n is compact, then any polynomial f which is strictly positive on K is in the preordering generated by the g_i's. Putinar's Theorem…

Algebraic Geometry · Mathematics 2009-11-09 Victoria Powers