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

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.