Hilbert's tenth problem and Mazur's conjectures in complementary subrings of number fields

DOI10.4310/MRL.2011.V18.N6.A7MaRDI QIDQ2391565zbMATH OpenOpenAlexWikidataFDO

Authors Kirsten Eisenträger, Alexandra Shlapentokh, Graham Everest

Publication date 5 August 2013

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1012.4878

zbMATH Keywords

elliptic curveHilbert's Tenth ProblemMazur's Conjecturenumber field

Mathematics Subject Classification ID

Elliptic curves over global fields (11G05) Decidability (number-theoretic aspects) (11U05)

Abstract: We show that Hilbert's Tenth Problem is undecidable for complementary subrings of number fields and that the p-adic and archimedean ring versions of Mazur's conjectures do not hold in these rings. More specifically, given a number field K, a positive integer t>1, and t nonnegative computable real numbers delta_1,..., delta_t whose sum is one, we prove that the nonarchimedean primes of K can be partitioned into t disjoint recursive subsets S_1,..., S_t of densities delta_1,..., delta_t, respectively such that Hilbert's Tenth Problem is undecidable for each corresponding ring O_{K,S_i}. We also show that we can find a partition as above such that each ring O_{K,S_i} possesses an infinite Diophantine set which is discrete in every topology of the field. The only assumption on K we need is that there is an elliptic curve of rank one defined over K.

Review text

Consider a number field \(K\) with the property that there is an elliptic curve of rank 1 defined over \(K\) (as observed by the authors, if the Shafarevich-Tate conjecture is true, we could start with ``consider a number field \(K\)). Given a positive integer \(t > 1\) and \(t\) nonnegative computable numbers \(\delta_1\), \(\dots\), \(\delta_t\) whose sum is one, the nonarchimedean primes in \(K\) can be partitioned into \(t\) disjoint recursive subsets \(S_1\), \(\dots\), \(S_t\) of densities \(\delta_1\), \(\dots\), \(\delta_t\) such that Hilbert's Tenth Problem is undecidable for the rings \({\mathcal O}_{K, S_i}\) and those rings possess infinite diophantine sets which are discrete in every topology of the field. This result continues a series of similar results published by the third author in different publications, which together (reviewer's opinion) deserve the generic name \textit{Shlapentokh Constructions}.

Recommendations

• Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
• Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
• scientific article; zbMATH DE number 2086873
• As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields
• Descent on elliptic curves and Hilbert’s tenth problem

Cited in

(11)

• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Perfect powers generated by the twisted Fermat cubic
• Hilbert’s Tenth Problem for Subrings of $${\mathbb {Q}}$$ and Number Fields (Extended Abstract)
• Baire category theory and Hilbert's tenth problem inside \(\mathbb {Q}\)
• Extensions of Hilbert's tenth problem: definability and decidability in number theory
• Descent on elliptic curves and Hilbert’s tenth problem
• Hilbert's tenth problem, elliptic curves and the Mazur's conjecture
• Measure theory and Hilbert's tenth problem inside \(\mathbb{Q} \)
• As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields
• Additional results to a theorem of Eisenträger and Everest
• Division-ample sets and the Diophantine problem for rings of integers

This page was built for publication: Hilbert's tenth problem and Mazur's conjectures in complementary subrings of number fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391565)