Search

In this article we discuss the following question “When do different orderings of the rational function field R(X) (where R is a real closed field) induce the same ℝ-place?” We use this to show that if R contains a dense real closed subfield R′, then the spaces of ℝ-places of R(X) and R′(X) are homeomorphic. For the function field K = R(X), we prove that its space M(K) of ℝ-places is metrizible if and only if R contains a countable dense subfield. Moreover, we show that this condition is neccessary for the metrizability of M(F) for any function field F of transcendence degree 1 over R.

We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter holds in every henselian field. We also prove a basic infinite-dimensional Implicit Function Theorem. Further, we apply the criterion to deduce various versions of Hensel's Lemma for polynomials in several additive operators, and to give a criterion for the existence of integration and solutions of certain differential equations on spherically complete valued differential fields, for both valued D-fields in the sense of Scanlon, and differentially valued fields in the sense of Rosenlicht. We modify the approach so that it also covers logarithmic-exponential power series fields. Finally, we give a criterion for a sum of spherically complete subgroups of a valued abelian group to be spherically complete. This in turn can be used to determine elementary properties of power series fields in positive characteristic., 47 pages