Interpretable fields in various valued fields (Q2671899)

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.