All Questions
Tagged with ac.commutative-algebra real-algebraic-geometry
8 questions
5
votes
1
answer
322
views
Non-negative coefficients polynomials
Let $n \in \mathbb N$ and $P,Q \in \mathbb R_+[x]$.
Is it true that $(x+1)^n\neq (x-2)^2 \times P(x)+(x-4)^2 \times Q(x)$ ?
I have asked, this question here (*), two weeks ago, but no answers.
(*) ...
10
votes
1
answer
294
views
Rational even polynomials maximally tangent to the unit circle
This question is motivated by College Mathematics Journal problem 1196, proposed by Ferenc Beleznay and Daniel Hwang. My solution to this problem (pre-publication version here) uses Chebyshev ...
7
votes
1
answer
559
views
What is the topology on the set of field orders
Inspired by this question I was wondering whether there is a natural topology on the set of all orders on a field (that extend a given order on a subfield)?
For example for the function field $\...
19
votes
1
answer
720
views
Counting real zeros of a polynomial
I recently came across a criteria to count the number of real zeros of a polynomial $P(x)$ with real coefficients. Unfortunately I cannot find the reference! The criteria is the following: Form the ...
4
votes
1
answer
324
views
Solutions to a system of homogeneous equations (inequalities)
Let $f_1,\ldots,f_r \in \mathbb{R}[x_1,\ldots,x_n]$ be $r$ homogeneous polynomials of the same odd degree $d$, where $d \in \{3,5,7,\ldots\}$.
For which values of $r,n,d$ there exists a real ...
40
votes
1
answer
2k
views
Rigid non-archimedean real closed fields
Update. The question has been recently answered in the positive by David Marker and Charles Steinhorn (as in indicated in Marker's answer). Note that Remark 3 below is now expanded by reference to a ...
2
votes
1
answer
152
views
Polynomial degree comparison of Nullstellensatz and Positivstellensatz over real algebraic sets
Suppose we have a (finite) system of polynomials $P = \{ p_i \} \subseteq \mathbb{R}[x_1, \ldots, x_n]$. Then it is well known by the Nullstellensatz that either $P$ has a simultaneous zero over $\...
4
votes
1
answer
594
views
Morley's Theorem and real algebraic geometry
Consider the following attempt at a ``thought-free'' proof of Morley's
Theorem.
Let $(x_1,y_1)$, $(x_2,y_2)$ and $(x_3,y_3)$ denote three vertices of
a generic triangle.
Let $(a_1,b_1)$, $(a_2,b_2)$ ...