Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911967956959232 |
|---|---|
| author | Bhardwaj, Neer Dries, Lou van den |
| author_facet | Bhardwaj, Neer Dries, Lou van den |
| contents | We develop an extension theory for analytic valuation rings in order to establish Ax-Kochen-Ersov type results for these structures. New is that we can add in salient cases lifts of the residue field and the value group and show that the induced structure on the lifted residue field is just its field structure, and on the lifted value group is just its ordered abelian group structure. This restores an analogy with the non-analytic AKE-setting that was missing in earlier treatments of analytic AKE-theory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_04094 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group Bhardwaj, Neer Dries, Lou van den Logic Commutative Algebra Primary 03C10, 32B05, Secondary 03C60, 12J25, 13J15, 13L05 We develop an extension theory for analytic valuation rings in order to establish Ax-Kochen-Ersov type results for these structures. New is that we can add in salient cases lifts of the residue field and the value group and show that the induced structure on the lifted residue field is just its field structure, and on the lifted value group is just its ordered abelian group structure. This restores an analogy with the non-analytic AKE-setting that was missing in earlier treatments of analytic AKE-theory. |
| title | Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group |
| topic | Logic Commutative Algebra Primary 03C10, 32B05, Secondary 03C60, 12J25, 13J15, 13L05 |
| url | https://arxiv.org/abs/2401.04094 |