English

Definable groups and fields in t-minimal theories

Logic 2026-05-11 v1

Abstract

Let TT be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set DMD \subseteq M has non-empty interior iff it is infinite. If KK is a definable field in TT, then KK is finite or "large" in the sense of Pop: any smooth algebraic curve CC over KK with at least one KK-rational point has infinitely many KK-rational points. We also assign a canonical topology to any abelian definable group GG in a t-minimal theory. In the case where the t-minimal theory is "visceral" in the sense of Dolich and Goodrick, meaning that the definable topology is induced by a definable uniformity, we can drop the assumption of abelianity of GG, and the resulting topology on GG is a definable manifold in the style of Acosta L\'opez and Hasson.

Keywords

Cite

@article{arxiv.2605.06986,
  title  = {Definable groups and fields in t-minimal theories},
  author = {Will Johnson},
  journal= {arXiv preprint arXiv:2605.06986},
  year   = {2026}
}

Comments

50 pages

R2 v1 2026-07-01T12:56:25.354Z