Interpretable fields in various valued fields

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Valued fields (12J10) Model theory of fields (12L12)

Abstract: Let

m a t h c a l K = (K, v, l d o t s)

be a dp-minimal expansion of a non-trivially valued field of characteristic

0

and

m a t h c a l F

an infinite field interpretable in

m a t h c a l K

. Assume that

m a t h c a l K

is one of the following: (i)

V

-minimal, (ii) power bounded

T

-convex, or (iii)

P

-minimal (assuming additionally in (iii) generic differentiability of definable functions). Then

m a t h c a l F

is definably isomorphic to a finite extension

K

or, in cases (i) and (ii), its residue field. In particular, every infinite field interpretable in

m a t h b b Q_{p}

is definably isomorphic to a finite extension of

m a t h b b Q_{p}

, answering a question of Pillay's. Using Johnson's work on dp-minimal fields and the machinery developed here, we conclude that if

m a t h c a l K

is an infinite dp-minimal pure field then every field definable in

m a t h c a l K

is definably isomorphic to a finite extension of

K

. The proof avoids elimination of imaginaries in

m a t h c a l K

replacing it with a reduction of the problem to certain distinguished quotients of

K

.

Review text

The authors fully describe interpretable (that is, given by a quotient of a definable set by a definable equivalence relation) fields in several important classes of valued fields satisfying a certain minimality assumption (called ``dp-minimality). More precisely, Theorem 1 says that if the valued field in question satisfies one of the extra three minimality assumptions (called ``V-minimality, ``P-minimality, and ``T-minimality), then any field interpretable in it is definably isomorphic to a finite extension of the original field or to a finite extension of its residue field. In particular, every infinite field interpretable in the field of \(p\)-adics \(\mathbb{Q}_p\) is definably isomorphic to a finite extension of \(\mathbb{Q}_p\), which answers a question of Pillay. The authors also show in their Theorem 2 that every field definable in a pure dp-minimal field is definably isomorphic to a finite extension of the original field. Without the purity assumption the result fails, which is demonstrated by an example of Hrushovski in the case of strongly minimal (that is, algebraically closed) fields.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Interpretable fields in various valued fields

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