{"id":"arxiv/2609.03873","url":"https://arxiv.org/abs/2609.03873","tags":["math.LO"],"score":0,"title":"Minimal proximal definable flows over the $p$-adics","domain":"math.LO","source":"arxiv","authors":["Zhentao Zhang"],"reviews":0,"subject":"math.LO","summary":"Let $G$ be a definable group in an NIP theory. We prove that every minimal proximal definable $G$-flow is strongly proximal. Consequently, the universal minimal proximal definable $G$-flow $Π^{\\mathrm{def}}(G)$ coincides with the minimal strongly proximal definable $G$-flow $Π^{\\mathrm{def}}_{\\mathrm{s}}(G)$. Furthermore, for a $p$-adic definable group $G$, we can compute $Π^{\\mathrm{def}}(G)$ explicitly. We show that $Π^{\\mathrm{def}}(G)$ is exactly $Π^{\\mathrm{def}}(S)$ where $S$ is the semisimple part of the definably amenable-semisimple decomposition of $G$. In addition,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}