English

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 pp-adically closed fields to the non-abelian case. First, we show that if GG is a definable group that is not definably compact, then GG has a one-dimensional definable subgroup which is not definably compact. This is a pp-adic analogue of the Peterzil-Steinhorn theorem for o-minimal theories. Second, we show that if GG is a group definable over the standard model Qp\mathbb{Q}_p, then G0=G00G^0 = G^{00}. As an application, definably amenable groups over Qp\mathbb{Q}_p are open subgroups of algebraic groups, up to finite factors. We also prove that G0=G00G^0 = G^{00} when GG is a definable subgroup of a linear algebraic group, over any model.

Keywords

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

R2 v1 2026-06-28T11:47:00.580Z