Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$
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_ | 1866910678414000128 |
|---|---|
| author | Martinez-Ranero, Carlos Utreras, Javier |
| author_facet | Martinez-Ranero, Carlos Utreras, Javier |
| contents | We prove, assuming resolution of singularities in positive characteristic, an analogue of Siegel's theorem on sum of squares in positive characteristic. The method of proof combines techniques from central simple algebras with model theory and builds on work of Anscombe, Dittmann and Fehm.
As an application, we show that, for each finite field $\mathbb{F}$ of odd characteristic and any positive integer $n$ coprime with the characteristic of $\mathbb{F}$, the first-order theory of the field given by the compositum of the fields generated by adjoining the $n$--th roots of all monic irreducible polynomials in $\mathbb{F}[t]$, of degree divisible by $n$ is undecidable in the language of rings with the variable $t$ as a constant. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_22947 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$ Martinez-Ranero, Carlos Utreras, Javier Logic Number Theory 11U05, 11G05, 03C40, 03D35 We prove, assuming resolution of singularities in positive characteristic, an analogue of Siegel's theorem on sum of squares in positive characteristic. The method of proof combines techniques from central simple algebras with model theory and builds on work of Anscombe, Dittmann and Fehm. As an application, we show that, for each finite field $\mathbb{F}$ of odd characteristic and any positive integer $n$ coprime with the characteristic of $\mathbb{F}$, the first-order theory of the field given by the compositum of the fields generated by adjoining the $n$--th roots of all monic irreducible polynomials in $\mathbb{F}[t]$, of degree divisible by $n$ is undecidable in the language of rings with the variable $t$ as a constant. |
| title | Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$ |
| topic | Logic Number Theory 11U05, 11G05, 03C40, 03D35 |
| url | https://arxiv.org/abs/2410.22947 |