hilbert s tenth problem
play

Hilberts Tenth Problem Rings of integers Q Subrings of Q Bjorn - PowerPoint PPT Presentation

Hilberts Tenth Problem Bjorn Poonen Z General rings Hilberts Tenth Problem Rings of integers Q Subrings of Q Bjorn Poonen Other rings University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points


  1. Hilbert’s Tenth Problem Bjorn Poonen Z General rings Hilbert’s Tenth Problem Rings of integers Q Subrings of Q Bjorn Poonen Other rings University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties January 18, 2006

  2. The original problem Hilbert’s Tenth Problem Bjorn Poonen H10: Find an algorithm that solves the following problem: Z General rings input: f ( x 1 , . . . , x n ) ∈ Z [ x 1 , . . . , x n ] Rings of integers output: YES or NO, according to whether there exists Q a ∈ Z n with f ( � � a ) = 0 . Subrings of Q Other rings (More generally, one could ask for an algorithm for solving a system of polynomial equations, but this would be equivalent, since ⇒ f 2 1 + · · · + f 2 f 1 = · · · = f m = 0 ⇐ m = 0 . ) Theorem (Davis-Putnam-Robinson 1961 + Matijaseviˇ c 1970) No such algorithm exists. In fact they proved something stronger. . .

  3. Diophantine, listable, recursive sets Hilbert’s Tenth Problem Bjorn Poonen ◮ A ⊆ Z is called diophantine if there exists Z p ( t ,� x ) ∈ Z [ t , x 1 , . . . , x m ] General rings such that Rings of integers Q x ∈ Z m ) p ( a ,� A = { a ∈ Z : ( ∃ � x ) = 0 } . Subrings of Q Example: The subset N := { 0 , 1 , 2 , . . . } of Z is Other rings diophantine, since for a ∈ Z , ( ∃ x 1 , x 2 , x 3 , x 4 ∈ Z ) x 2 1 + x 2 2 + x 2 3 + x 2 a ∈ N ⇐ ⇒ 4 = a . ◮ A ⊆ Z is listable (recursively enumerable) if there is a Turing machine such that A is the set of integers that it prints out when left running forever. ◮ A ⊆ Z is recursive if there is an algorithm for deciding membership in A : input: a ∈ Z output: YES if a ∈ A, NO otherwise

  4. Negative answer Hilbert’s Tenth Problem Bjorn Poonen ◮ Recursive = ⇒ listable: A computer program can loop Z through all integers a ∈ Z , and check each one for General rings membership in A , printing YES if so. Rings of integers ◮ Diophantine = ⇒ listable: A computer program can Q x ) ∈ Z 1+ m and print out a if loop through all ( a ,� Subrings of Q p ( a ,� x ) = 0. Other rings ◮ Listable � = ⇒ recursive: This is equivalent to the undecidability of the Halting Problem of computer science. ◮ Listable = ⇒ diophantine: This is what Davis-Putnam-Robinson-Matijaseviˇ c really proved. Corollary (negative answer to H10) There exists a diophantine set that is not recursive. In other words, there is a polynomial equation depending on a parameter for which no algorithm can decide for which values of the parameter the equation has a solution.

  5. Generalizing H10 to other rings Hilbert’s Tenth Problem Bjorn Poonen Let R be a ring (commutative, associative, with 1). Z H10/ R : Is there an algorithm with General rings Rings of integers input: f ( x 1 , . . . , x n ) ∈ R [ x 1 , . . . , x n ] Q output: YES or NO, according to whether there exists Subrings of Q a ∈ R n with f ( � � a ) = 0 ? Other rings Technicality: ◮ The question presumes that an encoding of the elements of R suitable for input into a Turing machine has been fixed. ◮ For many R , there exist several obvious encodings and it does not matter which one we select, because algorithms exist for converting from one encoding to another. ◮ For other rings (e.g. uncountable rings like C ), one should restrict the input to polynomials with coefficients in a subring R 0 (like Q ) whose elements admit an encoding.

  6. Examples of H10 over other rings Hilbert’s Tenth Problem Bjorn Poonen Z : NO by D.-P.-R.-Matijaseviˇ c C : YES, by elimination theory Z R : YES, by Tarski’s elimination theory for semialgebraic General rings Rings of integers sets (sets defined by polynomial equations and Q inequalities) Subrings of Q Q p : YES, again because of an elimination theory Other rings F q : YES, trivially! In the last four examples, there is even an algorithm for the following more general problem: input: First order sentence in the language of rings, such as ( x · z +3 = y 2 ) ∨ ¬ ( z = x + w ) ( ∃ x )( ∀ y )( ∃ z )( ∃ w ) output: YES or NO, according to whether it holds when the variables are considered to run over elements of R

  7. H10 over rings of integers Hilbert’s Tenth Problem Bjorn Poonen Z General rings k : number field (finite extension of Q ). Rings of integers O k : the ring of integers of k (the set of α ∈ k Q such that p ( α ) = 0 for some monic p ∈ Z [ x ] ) Subrings of Q Other rings Examples: ◮ k = Q , O k = Z ◮ k = Q ( i ), O k = Z [ i ] √ √ O k = Z [ 1+ 5 ◮ k = Q ( 5), ]. 2 Conjecture H10/ O k has a negative answer for every number field k.

  8. H10 over rings of integers, continued Hilbert’s Tenth Problem Bjorn Poonen ◮ The negative answer for Z used properties of the Pell Z equation x 2 − dy 2 = 1 (where d ∈ Z > 0 is a fixed General rings non-square). Its integer solutions form a finitely Rings of integers generated abelian group related to O ∗ d ) . √ Q Q ( Subrings of Q ◮ The same ideas give a negative answer for H10/ O k , Other rings provided that certain conditions on the rank of groups like this (integral points on tori) are satisfied. But they are satisfied only for special k , such as totally real k and a few other classes of number fields. Theorem (P., Shlapentokh 2003) If there is an elliptic curve E / Q with rank E ( k ) = rank E ( Q ) > 0 , then H10/ O k has a negative answer.

  9. H10 over Q Hilbert’s Tenth Problem Bjorn Poonen H10/ Q is equivalent to the existence of an algorithm for deciding whether an algebraic variety over Q has a rational Z point. General rings Rings of integers Does the negative answer for H10/ Z imply a negative Q answer for H10/ Q ? Subrings of Q ◮ Given a polynomial system over Q , one can construct a Other rings polynomial system over Z that has a solution (over Z ) if and only if the original system has a solution over Q : namely, replace each original variable by a ratio of variables, clear denominators, and add additional equations that imply that the denominator variables are nonzero. ◮ Thus H10/ Q is embedded as a subproblem of H10/ Z . ◮ Unfortunately, this goes the wrong way, if we are trying to use the non-existence of an algorithm for H10/ Z to deduce the non-existence of an algorithm for H10/ Q .

  10. Conjectural approaches to H10 over Q Hilbert’s Tenth Problem Bjorn Poonen Z ◮ If the subset Z ⊆ Q were diophantine/ Q , then we could General rings deduce a negative answer for H10/ Q . Rings of integers ( Proof: If there were an algorithm for Q , then to solve Q an equation over Z , consider the same equation over Q Subrings of Q with auxiliary equations saying that the rational Other rings variables take integer values.) ◮ More generally, it would suffice to have a diophantine model of Z over Q : a diophantine subset A ⊆ Q m equipped with a bijection φ : A → Z such that the graphs of addition and multiplication (subsets of Z 3 ) correspond to diophantine subsets of A 3 ⊆ Q 3 m . It is not known whether Z is diophantine over Q , or whether a diophantine model of Z over Q exists. (Can E ( Q ) for an elliptic curve of rank 1 serve as a diophantine model?)

  11. Rational points in the real topology Hilbert’s Tenth Problem Bjorn Poonen If X is a variety over Q , then X ( Q ) is a subset of X ( R ), and X ( R ) has a topology coming from the topology of R . Z General rings Rings of integers Q Subrings of Q Other rings (The figure is from Hartshorne, Algebraic geometry .)

  12. Mazur’s conjecture Hilbert’s Tenth Problem Bjorn Poonen Z General rings Conjecture (Mazur 1992) Rings of integers The closure of X ( Q ) in X ( R ) has at most finitely many Q Subrings of Q connected components. Other rings ◮ This conjecture is true for curves. ◮ There is very little evidence for or against the conjecture in the higher-dimensional case. The next two frames will discuss the connection between Mazur’s conjecture and H10/ Q .

  13. Proposition Hilbert’s Tenth Problem If Z is diophantine over Q , then Mazur’s conjecture is false. Bjorn Poonen Proof. Z General rings Suppose Z is diophantine over Q ; this means that there Rings of integers exists a polynomial p ( t ,� x ) such that Q x ∈ Q m ) p ( a ,� Subrings of Q Z = { a ∈ Q : ( ∃ � x ) = 0 } . Other rings x ) = 0 in A 1+ n . Then X ( Q ) has Let X be the variety p ( t ,� infinitely many components, at least one above each t ∈ Z .

  14. Mazur’s conjecture and diophantine models Hilbert’s Tenth Problem Bjorn Poonen ◮ We just showed that Mazur’s conjecture is incompatible Z with the statement that Z is diophantine over Q . General rings ◮ Cornelissen and Zahidi have shown that Mazur’s Rings of integers conjecture is incompatible also with the existence of a Q Subrings of Q diophantine model of Z over Q . Other rings

  15. H10 over subrings of Q Hilbert’s Tenth Problem Bjorn Poonen Let P = { 2 , 3 , 5 , . . . } . There is a bijection Z { subsets of P} ↔ { subrings of Q } General rings S �→ Z [ S − 1 ] . Rings of integers Q Subrings of Q Examples: Other rings ◮ S = ∅ , Z [ S − 1 ] = Z , answer is negative ◮ S = P , Z [ S − 1 ] = Q , answer is unknown ◮ What happens for S in between? ◮ How large can we make S (in the sense of density) and still prove a negative answer for H10 over Z [ S − 1 ]? ◮ For finite S , a negative answer follows from work of Robinson, who used the Hasse-Minkowski theorem (local-global principle) for quadratic forms.

Recommend


More recommend