1
$\begingroup$

Let $f_1,f_2,\cdots,f_n,g_1,g_2\cdots,g_m\in \mathbb{R}[x,y]$, then define the affine variety and semi-affine variety as follows: $V(f_1,f_2,\cdots,f_n):=\{(x,y)\in\mathbb{C}^2: f_1(x,y)=f_2(x,y)=\cdots=f_n(x,y)=0\}$ and $V_{\ge 0}(g_1,g_2\cdots,g_m):=\{(x,y)\in\mathbb{R}^2: g_1(x,y)\ge 0, g_2(x,y)\ge 0,\cdots,g_m(x,y)\ge 0\}$.

Let $G$ be the Gröbner basis of the ideal $(f_1,f_2,\cdots,f_n)$ in $\mathbb{C}[x,y]$.

It is well-known that $V(f_1,f_2,\cdots,f_n)\neq\emptyset\iff G$ does not contain $1$.

What is the sufficient and necessary conditions in terms of Gröbner basis for the statement:

There exists $x_0\in\mathbb{R}$ such that $(x_0,y)\in V(f_1,f_2,\cdots,f_n)$ for all $(x_0,y)\in V_{\ge 0}(g_1,g_2\cdots,g_m)$.

Other computational ways to characterize the above statement would be welcome.

$\endgroup$
1
  • $\begingroup$ Sorry. I just forgot to type the $x$-component. $\endgroup$ Commented Nov 30, 2019 at 2:19

1 Answer 1

0
$\begingroup$

I did not check carefully, but it looks like if one constructs the Gröbner basis $H$ of $(g_1(x,y) - z_1^2, \dots,g_m(x,y) - z_m^2)$ with respect to any ordering "eliminating" $y$, then the necessary condition is that every $f_i(x,y)$ reduces w.r.t. $H$ to a polynomial that does not involve $y$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.