Abelian groups definable in $p$-adically closed fields
Abstract
Recall that a group has finitely satisfiable generics () or definable -generics () if there is a global type on and a small model such that every left translate of is finitely satisfiable in or definable over , respectively. We show that any abelian group definable in a -adically closed field is an extension of a definably compact definable group by a definable group. We discuss an approach which might prove a similar statement for interpretable abelian groups. In the case where is an abelian group definable in the standard model , we show that , and that is an open subgroup of an algebraic group, up to finite factors. This latter result can be seen as a rough classification of abelian definable groups in .
Cite
@article{arxiv.2206.14364,
title = {Abelian groups definable in $p$-adically closed fields},
author = {Will Johnson and Ningyuan Yao},
journal= {arXiv preprint arXiv:2206.14364},
year = {2022}
}
Comments
20 pages; updated references and fixed subscript typo in abstract