MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there a moduli space in semialgebraic geometry analogous to the Hilbert scheme in algebraic geometry?

The sort of thing I am imagining is an object in a category of semischemes: Ordinary schemes plus a subsheaf of semirings in the structure sheaf called the ``nonnegative functions.'' Presumably, in stalks, the nonnegative functions would be required to contain any square of any element of the structure sheaf.

If there is no development along these lines, then I would also be happy if anyone knows a good proxy that appears in the literature.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.