The search session has expired. Please query the service again.
The complete real spectrum of a commutative ring with is introduced. Points of the complete real spectrum are triples , where is a real prime of , is a real valuation of the field and is an ordering of the residue field of . is shown to have the structure of a spectral space in the sense of Hochster [5]. The specialization relation on is considered. Special attention is paid to the case where the ring in question is a real holomorphy ring.
Consider a compact subset of real -space defined by polynomial inequalities . For a polynomial non-negative on , natural sufficient conditions are given (in terms of first and second derivatives at the zeros of in ) for to have a presentation of the form , a sum of squares of polynomials. The conditions are much less restrictive than the conditions given by Scheiderer in [11, Cor. 2.6]. The proof uses Scheiderer’s main theorem in [11] as well as arguments from quadratic form theory...
Currently displaying 1 –
2 of
2