Translating between NIP integral domains and topological fields
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910911798706176 |
|---|---|
| author | Johnson, Will |
| author_facet | Johnson, Will |
| contents | 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 $K$ be an NIP field or expansion of a field. Let $τ$ be a definable ring topology on $K$. Then $τ$ is a field topology, and $τ$ is locally bounded. If $K$ has characteristic $p$ or finite dp-rank, then $τ$ is "generalized t-henselian" in the sense of Dittman, Walsberg, and Ye, meaning that the implicit function theorem holds for polynomials. If $K$ has finite dp-rank, then $τ$ must be a topology of "finite breadth" (a $W_n$-topology). Using these techniques, we give some reformulations of the conjecture that NIP local rings are henselian. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_10927 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Translating between NIP integral domains and topological fields Johnson, Will Logic 03C60, 12L12 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 $K$ be an NIP field or expansion of a field. Let $τ$ be a definable ring topology on $K$. Then $τ$ is a field topology, and $τ$ is locally bounded. If $K$ has characteristic $p$ or finite dp-rank, then $τ$ is "generalized t-henselian" in the sense of Dittman, Walsberg, and Ye, meaning that the implicit function theorem holds for polynomials. If $K$ has finite dp-rank, then $τ$ must be a topology of "finite breadth" (a $W_n$-topology). Using these techniques, we give some reformulations of the conjecture that NIP local rings are henselian. |
| title | Translating between NIP integral domains and topological fields |
| topic | Logic 03C60, 12L12 |
| url | https://arxiv.org/abs/2504.10927 |