Definable valuations on ordered fields

DOI10.2140/MT.2023.2.101MaRDI QIDQ6166188zbMATH OpenOpenAlexFDO

Authors Philip Dittmann, Franziska Jahnke, Lothar Sebastian Krapp, Salma Kuhlmann

Publication date 2 August 2023

Published in Model Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2206.15301

almost real closed fields convex valuations definable valuations henselian valuations ordered fields stably embedded

Model theory of ordered structures; o-minimality (03C64) General valuation theory for fields (12J20) Model theory of fields (12L12) Valuations and their generalizations for commutative rings (13A18) Formal power series rings (13F25) Real algebra (13J30)

Abstract: We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings

m a t h c a l L_{m a t h r m r}

and in the richer language of ordered rings

m a t h c a l L_{m a t h r m o r}

. We analyse and compare definability in both languages and show the following contrary results: while there are convex valuations that are definable in the language

m a t h c a l L_{m a t h r m o r}

but not in the language

m a t h c a l L_{m a t h r m r}

, any

m a t h c a l L_{m a t h r m o r}

-definable henselian valuation is already

m a t h c a l L_{m a t h r m r}

-definable. To prove the latter, we show that the value group and the ordered residue field of an ordered henselian valued field are stably embedded (as an ordered abelian group, respectively as an ordered field). Moreover, we show that in almost real closed fields any

m a t h c a l L_{m a t h r m o r}

-definable valuation is henselian.

Review text

The paper studies definable valuations in ordered fields. The main result is that any \textit{henselian} valuation definable in the language of ordered rings is already definable in the language of rings. As shown in Example 3.5 and Example 3.6 this need not be the true if the henselianity assumption is dropped. A key result in the proof is (Theorem 4.2) that in ordered henseilan fields (in the language of ordered valued fields) the value group and the residue field are orthogonal and both are stably embedded. Combined with the theory of h-minimality this implies (Proposition 4.5) that any two valuations definable (in the languauge of ordered rings) are comparable provided one of them is henselian. One application of these results is that if \(K\) is almost real closed (i.e., \(K\) admits some henselian valuation with real closed residue field) then any valuation on \(K\) definable in the langugae of rings is henselian.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Definable valuations on ordered fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166188)