On orderings in real surfaces (Q802618)

It is well-known that if C is an algebraic curve over the real closed field R and \(\alpha\) is a total ordering of the function field R(C) of C then there is a semi-algebraic embedding \(w: (0,1)\to C\) such that \(f\in R(C)\) is positive with respect to \(\alpha\) if and only if there is some \(t\in R\), \(0<t\) such that fw is defined and positive on (0,t). In the present paper it is shown that the total orderings of the function field of an algebraic surface over the field \({\mathbb{R}}\) of real numbers admits a similar geometric description. Let V be an irreducible algebraic surface over \({\mathbb{R}}\) embedded in some \({\mathbb{R}}^ n\). Using a discussion of the orderings of the meromorphic function germs of an irreducible analytic surface germ the following is proved: If \(\alpha\) is a total ordering of \({\mathbb{R}}(V)\) then there is an analytic map \(c: (0,1)\to V\) such that \(f\in {\mathbb{R}}(V)\) is positive with respect to \(\alpha\) if and only if fc is defined and positive on (0,t) for some \(0<t\in {\mathbb{R}}.\)