Generic differentiability and $P$-minimal groups
Abstract
We prove generic differentiability in $P$-minimal theories, strengthening an earlier result of Kuijpers and Leenknegt. Using this, we prove Onshuus and Pillay's $P$-minimal analogue of Pillay's conjectures on o-minimal groups. Specifically, let $G$ be an $n$-dimensional definable group in a highly saturated model $M$ of a $P$-minimal theory. Then there is an open definable subgroup $H \subseteq G$ such that $H$ is compactly dominated by $H/H^{00}$, and $H/H^{00}$ is a $p$-adic Lie group of the expected dimension.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2024
- DOI:
- 10.48550/arXiv.2404.17234
- arXiv:
- arXiv:2404.17234
- Bibcode:
- 2024arXiv240417234J
- Keywords:
-
- Mathematics - Logic;
- 03C45;
- 03C60;
- 12L12
- E-Print:
- 50 pages