One-dimensional subgroups and connected components in non-abelian $p$-adic definable groups
Logic
2024-02-06 v2
Abstract
We generalize two of our previous results on abelian definable groups in -adically closed fields to the non-abelian case. First, we show that if is a definable group that is not definably compact, then has a one-dimensional definable subgroup which is not definably compact. This is a -adic analogue of the Peterzil-Steinhorn theorem for o-minimal theories. Second, we show that if is a group definable over the standard model , then . As an application, definably amenable groups over are open subgroups of algebraic groups, up to finite factors. We also prove that when is a definable subgroup of a linear algebraic group, over any model.
Cite
@article{arxiv.2308.01527,
title = {One-dimensional subgroups and connected components in non-abelian $p$-adic definable groups},
author = {Will Johnson and Ningyuan Yao},
journal= {arXiv preprint arXiv:2308.01527},
year = {2024}
}
Comments
22 pages; made minor changes suggested by a reviewer