On groups interpretable in various valued fields

Yatir Halevi, Assaf Hasson, Ya'acov Peterzil

Published 2022-06-12Version 1

We study infinite groups interpretable in $V$-minimal, power bounded $T$-convex or certain expansions of $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and if $G$ is dp-minimal then it is abelian-by-finite. Along the way, we associate with any infinite interpretable group an infinite type-definable subgroup which is definably isomorphic to a group in one of four distinguished sorts: the underlying valued field $K$, its residue field $\textbf{k}$ (when infinite), its value group $\Gamma$, or $K/\mathcal{O}$, where $\mathcal{O}$ is the valuation ring. Our work uses and extends techniques developed in [8] to circumvent elimination of imaginaries.