On non-compact p-adic definable groups
Peterzil and Steinhorn proved that if $G$ is a definable group in an o-minimal structure, and $G$ is not definably compact, then there is a 1-dimensional definable subgroup of $G$ that is not definably compact. In this talk, we will consider the analogous statement for groups definable in $p$-adically closed fields. We will sketch a proof in the abelian case, and suggest a plan of attack for the non-abelian case. The proof of the Peterzil-Steinhorn theorem relies on connectedness in a critical step, and some new techniques are needed to adapt their proof to the totally disconnected $p$-adic setting. We will also discuss potential generalizations to groups definable in dp-minimal fields. This is joint work with Ningyuan Yao.