The tag has no wiki summary.

learn more… | top users | synonyms

10
votes
3answers
1k views

Counting roots: multidimensional Sturm's theorem

Sturm's theorem gives a way to compute the number of roots of a one-variable polynomial in an interval [a,b]. Is there a generalization to boxes in higher dimensions? Namely, let $P_1,\dotsc,P_n\in ...
3
votes
1answer
413 views

Function Fields of Real Varieties

Let $V$ be a geometrically irreducible and reduced scheme defined over the real numbers, and let $K = K(V)$ be its function field. If $V$ does not have any real points, is it true that $K$ is not ...
11
votes
5answers
1k views

Polynomial positive on an interval

If $p$ is a polynomial with real coefficients and p(x)>0 on [0,1], then $p(x)=\sum c_{i,j} x^i(1-x)^j$ with $c_{i,j}$ positive. I know this is true but but I need a proof/reference. Thanks!
9
votes
3answers
428 views

Effective algorithm to test positivity

Let $f(x_1,\ldots, x_n)$ be a real polynomial in several variables. Is there an effective algorithm to test whether $f$ is positive (or nonnegative) on the whole of ${\mathbb{R}}^n$?
6
votes
2answers
642 views

Embeddings and triangulations of real analytic varieties

This is a follow up question to my answer here How do you define the Euler Characteristic of a scheme? A real analytic space is a ringed space locally isomorphic to $(X,O/I)$ where $X$ is the zero ...
3
votes
4answers
1k views

Measure on real Grassmannians

OK, so I'm reading about this nice measure you can define on a (real) Grassmannian on Wikipedia. Basically, and to save you the trip through the link, consider the Haar measure $\theta$ on $O(n)$, fix ...
19
votes
3answers
2k views

Real algebraic geometry vs. algebraic geometry

This question is predicated on my understanding that real algebraic geometry (henceforth RAG) is the version of algebraic geometry (AG) one gets when replacing (esp. algebraically closed) fields with ...
2
votes
2answers
371 views

Real spectrum of ring of continuous semialgebraic functions

Let R be a real closed field, and let U be a semialgebraic subset of $R^n$. Let $S^0(U)$ be the ring of continuous R-valued semialgebraic functions. Also let $\tilde{U}$ be the subset of Spec$_r ...
23
votes
6answers
2k views

Are all polynomial inequalities deducible from the trivial inequality?

I remember learning some years ago of a theorem to the effect that if a polynomial $p(x_1, ... x_n)$ with real coefficients is non-negative on $\mathbb{R}^n$, then it is a sum of squares of ...
13
votes
2answers
1k views

The Sylvester Gallai Theorem and Sections of Varieties with “Simple Topology”.

The Sylvester-Gallai theorem asserts that for every collection of points in the plane, not all on a line, there is a line containing exactly two of the points. One high dimensional extension ...