Integration in Hensel minimal fields
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908606261100544 |
|---|---|
| author | Stout, Mathias Vermeulen, Floris |
| author_facet | Stout, Mathias Vermeulen, Floris |
| contents | We develop a framework of motivic integration in the style of Hrushovski--Kazhdan in arbitrary Hensel minimal fields of equicharacteristic zero. Hence our work generalizes that of Hrushovski--Kazhdan and Yin, but applies more broadly to discretely valued fields, almost real closed fields with analytic structure, pseudo-local fields, and coarsenings. In more detail, we obtain isomorphisms of Grothendieck rings of definable sets, with or without volume forms, in the valued field sort and in the leading term sort. Along the way we develop a theory of effective 1-h-minimal structures, where finite definable sets can be lifted from the leading term sort to the valued fields sort. We show that many natural examples of 1-h-minimal structures are effective, and develop dimension theory and a theory of differentiation in $\mathrm{RV}$ for effective structures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_19659 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Integration in Hensel minimal fields Stout, Mathias Vermeulen, Floris Logic Algebraic Geometry Primary 03C60, 12J25, Secondary 03C98, 12L12, 03C65 We develop a framework of motivic integration in the style of Hrushovski--Kazhdan in arbitrary Hensel minimal fields of equicharacteristic zero. Hence our work generalizes that of Hrushovski--Kazhdan and Yin, but applies more broadly to discretely valued fields, almost real closed fields with analytic structure, pseudo-local fields, and coarsenings. In more detail, we obtain isomorphisms of Grothendieck rings of definable sets, with or without volume forms, in the valued field sort and in the leading term sort. Along the way we develop a theory of effective 1-h-minimal structures, where finite definable sets can be lifted from the leading term sort to the valued fields sort. We show that many natural examples of 1-h-minimal structures are effective, and develop dimension theory and a theory of differentiation in $\mathrm{RV}$ for effective structures. |
| title | Integration in Hensel minimal fields |
| topic | Logic Algebraic Geometry Primary 03C60, 12J25, Secondary 03C98, 12L12, 03C65 |
| url | https://arxiv.org/abs/2510.19659 |