Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2511.18101 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911280959324160 |
|---|---|
| author | Bhatt, Bhargav Poonen, Bjorn |
| author_facet | Bhatt, Bhargav Poonen, Bjorn |
| contents | Diophantine subsets of $\mathbb{Z}$ play a key role in the negative answer to Hilbert's tenth problem. The definition of diophantine set generalizes in several ways to other commutative rings. We compare these definitions. Along the way, we prove that for every finitely presented scheme $Y$ over a ring $R$, there exists an affine $R$-scheme $X$ with a finitely presented $R$-morphism $X \to Y$ such that $X(R') \to Y(R')$ is surjective for every $R$-algebra $R'$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_18101 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Diophantine sets Bhatt, Bhargav Poonen, Bjorn Number Theory Algebraic Geometry 11U05 (Primary), 13G05, 14A15, 14G99 (Secondary) Diophantine subsets of $\mathbb{Z}$ play a key role in the negative answer to Hilbert's tenth problem. The definition of diophantine set generalizes in several ways to other commutative rings. We compare these definitions. Along the way, we prove that for every finitely presented scheme $Y$ over a ring $R$, there exists an affine $R$-scheme $X$ with a finitely presented $R$-morphism $X \to Y$ such that $X(R') \to Y(R')$ is surjective for every $R$-algebra $R'$. |
| title | Diophantine sets |
| topic | Number Theory Algebraic Geometry 11U05 (Primary), 13G05, 14A15, 14G99 (Secondary) |
| url | https://arxiv.org/abs/2511.18101 |