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

DOI10.4310/MRL.2011.V18.N6.A7MaRDI QIDQ2391565zbMATHOpenAlexWikidataFDO

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 curvenumber fieldHilbert's Tenth ProblemMazur's Conjecture

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.

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)

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

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)