Nash maps over large 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_ | 1866912537957629952 |
|---|---|
| author | Walsberg, Erik |
| author_facet | Walsberg, Erik |
| contents | In this short note we give some corollaries of the polynomial inverse function theorem for large fields. We prove inverse and implicit function theorems for Nash maps over large fields, characterize large fields as fields satisfying inverse or implicit function theorems, give inverse and implicit function theorems for gt-henselian field topologies, and show that definable functions in various logically tame fields of characteristic zero are generically Nash. We prove a version of Krasner's lemma for large fields and describe how Nash functions give a natural proof of the well-known fact that a large field $K$ is existentially closed in $K(\!(t)\!)$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_10884 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Nash maps over large fields Walsberg, Erik Logic Algebraic Geometry In this short note we give some corollaries of the polynomial inverse function theorem for large fields. We prove inverse and implicit function theorems for Nash maps over large fields, characterize large fields as fields satisfying inverse or implicit function theorems, give inverse and implicit function theorems for gt-henselian field topologies, and show that definable functions in various logically tame fields of characteristic zero are generically Nash. We prove a version of Krasner's lemma for large fields and describe how Nash functions give a natural proof of the well-known fact that a large field $K$ is existentially closed in $K(\!(t)\!)$. |
| title | Nash maps over large fields |
| topic | Logic Algebraic Geometry |
| url | https://arxiv.org/abs/2508.10884 |