The tag has no wiki summary.

learn more… | top users | synonyms

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 ...
16
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
368 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 ...