Descent problem for certificate of non-negativity on semi-algebraic sets

TL;DR

This paper proves that non-negative polynomials on certain semi-algebraic sets can be represented within a specific algebraic structure, extending known results and showing saturation of related algebraic objects.

Contribution

It establishes the saturation of the preordering and quadratic module for semi-algebraic sets with boundary in a subfield, generalizing prior real-field results.

Findings

Preordering $T_{ N}$ is saturated for semi-algebraic sets with boundary in $F$.

Quadratic module $M_{ N}$ is saturated when $K$ is compact.

Representation of non-negative polynomials in the algebraic structure.

Abstract

Let $F$ be a subfield of $\mathbb R$ and let $K$ be a basic closed semi-algebraic set in $\mathbb R$ with $\partial K\subset F$. Let $\mathcal N$ be the natural choice of generators of $K$. We show that if $f\in F[x]$ is $\geq 0$ on $K$, then $f$ can be written as $$f=\sum_{e\in\{0,1\}^s } a_e\sigma_e g^e $$ where $a_e\in F_{\geq 0}$, $\sigma_e\in \sum F[x]^2$ and $g^{e}=g_1^{e_1} \cdots g_s^{e_s}$. In other words, the preordering $T_{\mathcal N}$ of $F[x]$ is saturated. In case $F=\mathbb R$, this result is due to Kuhlmann and Marshall. As an application, we prove that if $K$ is compact, then $M_{\mathcal N}=T_{\mathcal N}=Pos(K)$. In other words, the quadratic module $M_{\mathcal N}$ of $F[x]$ is saturated.