English

Translating between NIP integral domains and topological fields

Logic 2025-04-16 v1

Abstract

We prove that definable ring topologies on NIP fields are closely connected to NIP integral domains. More precisely, we show that up to elementary equivalence, any NIP topological field arises from an NIP integral domain. As an application, we prove several results about definable ring topologies on NIP fields, including the following. Let KK be an NIP field or expansion of a field. Let τ\tau be a definable ring topology on KK. Then τ\tau is a field topology, and τ\tau is locally bounded. If KK has characteristic pp or finite dp-rank, then τ\tau is "generalized t-henselian" in the sense of Dittman, Walsberg, and Ye, meaning that the implicit function theorem holds for polynomials. If KK has finite dp-rank, then τ\tau must be a topology of "finite breadth" (a WnW_n-topology). Using these techniques, we give some reformulations of the conjecture that NIP local rings are henselian.

Keywords

Cite

@article{arxiv.2504.10927,
  title  = {Translating between NIP integral domains and topological fields},
  author = {Will Johnson},
  journal= {arXiv preprint arXiv:2504.10927},
  year   = {2025}
}

Comments

30 pages

R2 v1 2026-06-28T22:58:43.515Z