Mathematics – Number Theory
Scientific paper
2004-12-23
Mathematics
Number Theory
39 pages, uses calrsfs. 3rd version: many small changes, change of title
Scientific paper
Julia Robinson has given a first-order definition of the rational integers Z in the rational numbers Q by a formula (\forall \exists \forall \exists)(F=0) where the \forall-quantifiers run over a total of 8 variables, and where F is a polynomial. This implies that the \Sigma_5-theory of Q is undecidable. We prove that a conjecture about elliptic curves provides an interpretation of Z in Q with quantifier complexity \forall \exists, involving only one universally quantified variable. This improves the complexity of defining Z in Q in two ways, and implies that the \Sigma_3-theory, and even the \Pi_2-theory, of Q is undecidable (recall that Hilbert's Tenth Problem for Q is the question whether the \Sigma_1-theory of Q is undecidable). In short, granting the conjecture, there is a one-parameter family of hypersurfaces over Q for which one cannot decide whether or not they all have a rational point. The conjecture is related to properties of elliptic divisibility sequences on an elliptic curve and its image under rational 2-descent, namely existence of primitive divisors in suitable residue classes, and we discuss how to prove weaker-in-density versions of the conjecture and present some heuristics.
Cornelissen Gunther
Zahidi Karim
No associations
LandOfFree
Elliptic divisibility sequences and undecidable problems about rational points does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Elliptic divisibility sequences and undecidable problems about rational points, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Elliptic divisibility sequences and undecidable problems about rational points will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-94110