Real spectra of complete local rings (Q1094485)

Let \(C\subset Sper(R[X_ 1,...,X_ n])\) be a constructible subset of the real spectrum of a polynomial ring over a real closed field. Results about affine semi-algebraic spaces can be transferred to the setting of real spectra to prove the following statements: \((A)\quad C\quad has\) finitely many connected components. \((B)\quad If\) C'\(\subset C\) is constructible then the relative closure \(\overline{C'}\subset C\) is constructible. It is known that both statements are false for constructible subsets of real spectra of arbitrary rings. In the present paper the real spectrum of a complete local noetherian ring A with formally real residue field K is investigated. Suppose that \(C\subset Sper(A)\) is constructible. Then \(statement\quad B\) holds. If, in addition, K has only finitely many orderings then \(statement\quad A\) is also true. Finally, for formal power series rings over real closed fields a geometric interpretation of the real spectrum is presented.