Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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 (R[X_1, \ldots, X_n])$ corresponding to U.

What does the real spectrum of $S^0(U)$ look like? Is it related to $\tilde{U}$ in some way?

share|improve this question

2 Answers 2

up vote 3 down vote accepted

I don't agree with the preceding answer.

When $U$ is a locally compact semialgebraic set, then $\widetilde{U}$ equipped with its sheaf of semi-algebraic continuous functions is isomorphic to the affine scheme $\mathrm{Spec}(S^0(U))$. This is proposition 6 in Carral, Coste : Normal spectral spaces and their dimensions, J. Pure Appl. Algebra 30 (1983) 227-235. In particular $\widetilde{U}$ is homeomorphic to the prime spectrum of $S^0(U)$, which is homeomorphic to its real spectrum. In case $U$ is not locally compact, the situation is different; there are more points in $\mathrm{Spec}(S^0(U))$.

share|improve this answer
    
But does this consider the constructible topology? How is the constructible topology different from the Harrison topology when we consider the real spectrum of S^0(U)? –  Jose Capco Dec 19 '09 at 10:20
    
I am not quite sure of what you call Harrison topology. The topology on $\widetilde U$ has for basis the $\widetilde V$ for $V$ semialgebraic open in $U$. The topology on the real spectrum of $S^0(U)$ has for (sub)basis the $\{\alpha\mid f(\alpha)>0\}$. These are different from the constructible topology. –  Michel Coste Dec 19 '09 at 14:08

The real spectrum of ring of continuous functions (not necessarily semialgebraic) looks exactly like its prime spectrum (i.e. they are homeomorphic), this is also the same for ring of continuous semialgebraic functions (see "Semi-algebraic Function Rings via Reflectors of Partially Ordered Rings" by Schwartz and Madden, Corollary 7.8 ). And $U$ should be homeomorphic to $\text{Spec}_r (S^0(U))$ when we consider their constructible topology (see the book of Schwartz and Madden, Proposition 7.9).

share|improve this answer

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.