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?


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))$.

  • $\begingroup$ 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)? $\endgroup$
    – Jose Capco
    Dec 19 '09 at 10:20
  • $\begingroup$ 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. $\endgroup$ 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).


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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