The Banach-Tarski paradox in complete discretely valued fields
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912890471055360 |
|---|---|
| author | Orzechowski, Kamil |
| author_facet | Orzechowski, Kamil |
| contents | We prove some results related to the classical Banach--Tarski paradox in the setting of a field $\mathbb{K}$ that is complete with respect to a discrete non-Archimedean valuation (e.g., when $\mathbb{K}$ is the field $\mathbb{Q}_p$ of $p$-adic numbers for a prime $p$). Namely, the field $\mathbb{K}$, as well as all balls and spheres in $\mathbb{K}$, admit a paradoxical decomposition with respect to the isometry group of $\mathbb{K}$. Such decompositions can be realized using pieces with the Baire property if $\mathbb{K}$ is separable. Under the additional assumption of local compactness of $\mathbb{K}$ (e.g., when $\mathbb{K}=\mathbb{Q}_p$), any two bounded subsets of $\mathbb{K}$ with nonempty interiors are equidecomposable with respect to the isometry group of $\mathbb{K}$.
Our results complete the study of paradoxical decompositions in the non-Archimedean setting, addressing the one-dimensional case and building on earlier work for higher-dimensional normed spaces over $\mathbb{K}$ with respect to groups of affine isometries. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_08494 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The Banach-Tarski paradox in complete discretely valued fields Orzechowski, Kamil Functional Analysis Group Theory Logic Primary 12J25, Secondary 46B04, 46S10, 20E05, 05A18, 03E15, 54H05 We prove some results related to the classical Banach--Tarski paradox in the setting of a field $\mathbb{K}$ that is complete with respect to a discrete non-Archimedean valuation (e.g., when $\mathbb{K}$ is the field $\mathbb{Q}_p$ of $p$-adic numbers for a prime $p$). Namely, the field $\mathbb{K}$, as well as all balls and spheres in $\mathbb{K}$, admit a paradoxical decomposition with respect to the isometry group of $\mathbb{K}$. Such decompositions can be realized using pieces with the Baire property if $\mathbb{K}$ is separable. Under the additional assumption of local compactness of $\mathbb{K}$ (e.g., when $\mathbb{K}=\mathbb{Q}_p$), any two bounded subsets of $\mathbb{K}$ with nonempty interiors are equidecomposable with respect to the isometry group of $\mathbb{K}$. Our results complete the study of paradoxical decompositions in the non-Archimedean setting, addressing the one-dimensional case and building on earlier work for higher-dimensional normed spaces over $\mathbb{K}$ with respect to groups of affine isometries. |
| title | The Banach-Tarski paradox in complete discretely valued fields |
| topic | Functional Analysis Group Theory Logic Primary 12J25, Secondary 46B04, 46S10, 20E05, 05A18, 03E15, 54H05 |
| url | https://arxiv.org/abs/2602.08494 |