Real radical initial ideals

Abstract: We explore the consequences of an ideal I of real polynomials having a real radical initial ideal, both for the geometry of the real variety of I and as an application to sums of squares representations of polynomials. We show that if in_w(I) is real radical for a vector w in the tropical variety, then w is in the logarithmic set of the real variety. We also give algebraic sufficient conditions for w to be in the logarithmic limit set of a more general semialgebraic set. If in addition the entries of w are positive, then the corresponding quadratic module is stable. In particular, if in_w(I) is real radical for some positive vector w then the set of sums of squares modulo I is stable. This provides a method for checking the conditions for stability given by Powers and Scheiderer.

Review text

In Gröbner bases theory, initial ideals play a fundamental role due to the information they retain about the original ideal. Tropical geometry uses initial ideals to understand the combinatorial structure of an ideal. The present paper deals with initial ideals in the context of real algebraic geometry, where Gröbner bases techniques are not sufficient to characterize varieties.NEWLINENEWLINEThe paper explores the consequences of an ideal \(I\subseteq {\mathbb R}[x_1,\dots,x_n]\) having a real radical initial ideal. The main results of the paper are Theorem 2.3, which relates radical initial ideals to the logarithmic limit set of real varieties and other semialgebraic sets; and Theorem 3.3, which gives conditions on a set of polynomials, so that the preorder they generate is stable.NEWLINENEWLINEThe last section of the paper mentions some of the current algorithms for computing real radicals and gives some conditions under which these computations become more tractable.

Recommendations

Cites work

Cited in

(11)

Describes a project that uses

Uses Software

Gfan

This page was built for publication: Real radical initial ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q435959)