d76fce4727d8ae10.tex
1: \begin{abstract}
2:   We consider interpretable topological spaces and topological groups
3:   in a $p$-adically closed field $K$.  We identify a special class of
4:   ``admissible topologies'' with topological tameness properties like
5:   generic continuity, similar to the topology on definable subsets of
6:   $K^n$.  We show every interpretable set has at least one admissible
7:   topology, and every interpretable group has a unique admissible
8:   group topology.  We then consider definable compactness (in the
9:   sense of Fornasiero) on interpretable groups.  We show that an
10:   interpretable group is definably compact if and only if it has
11:   finitely satisfiable generics (\textit{fsg}), generalizing an
12:   earlier result on definable groups.  As a consequence, we see that
13:   \textit{fsg} is a definable property in definable families of
14:   interpretable groups, and that any \textit{fsg} interpretable group
15:   defined over $\Qq_p$ is definably isomorphic to a definable group.
16: \end{abstract}