* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Open problems in number theory
Vincent's theorem wikipedia , lookup
Approximations of π wikipedia , lookup
Four color theorem wikipedia , lookup
Central limit theorem wikipedia , lookup
Karhunen–Loève theorem wikipedia , lookup
List of important publications in mathematics wikipedia , lookup
Fundamental theorem of calculus wikipedia , lookup
Elementary mathematics wikipedia , lookup
Non-standard calculus wikipedia , lookup
Quadratic reciprocity wikipedia , lookup
List of prime numbers wikipedia , lookup
Fundamental theorem of algebra wikipedia , lookup
Wiles's proof of Fermat's Last Theorem wikipedia , lookup
System of polynomial equations wikipedia , lookup
Poincaré conjecture wikipedia , lookup
Open problems in number theory chris wuthrich dec 2011 Goldbach’s conjecture Any even number can be written as a sum of two primes. Goldbach’s conjecture Any even number can be written as a sum of two primes. Examples : 12 = 5 + 7 28 = 5 + 23 = 11 + 17 Goldbach’s conjecture Any even number can be written as a sum of two primes. Examples : 12 = 5 + 7 28 = 5 + 23 = 11 + 17 168 = 5 + 163 = 11 + 157 = 17 + 151 = 19 + 149 = 29 + 139 = 31 + 137 = 37 + 131 = 41 + 127 = 59 + 109 = 61 + 107 = 67 + 101 = 71 + 97 = 79 + 89 Goldbach’s conjecture Any even number can be written as a sum of two primes. S OURCE : WIKIPEDIA Twin primes There are infinitely many primes p such that p + 2 is also prime. Twin primes There are infinitely many primes p such that p + 2 is also prime. Examples : (3, 5) (5, 7) (11, 13) (17, 19) (29, 31) (41, 43) Twin primes There are infinitely many primes p such that p + 2 is also prime. Examples : (3, 5) (5, 7) (11, 13) (17, 19) (29, 31) (41, 43) (1019, 1021) (2027, 2029) (3119, 3121) (4001, 4003) (5009, 5011)(6089, 6091) (7127, 7129) (8009, 8011) (9011, 9013) Landau’s conjecture There are infinitely many primes of the form n2 + 1. Landau’s conjecture There are infinitely many primes of the form n2 + 1. Examples : 2 = 12 + 1 5 = 22 + 1 17 = 42 + 1 37 = 62 + 1 101 = 102 + 1 972197 = 9862 + 1 Schinzel’s hypothesis Let f (X) and g(X) be two irreducible polynomials in Z[X]. Schinzel’s hypothesis Let f (X) and g(X) be two irreducible polynomials in Z[X]. Then there are infinitely many values of k such that f (k) and g(k) are both prime numbers. Schinzel’s hypothesis Let f (X) and g(X) be two irreducible polynomials in Z[X]. Then there are infinitely many values of k such that f (k) and g(k) are both prime numbers. Take f (X) = X and g(X) = X + 2; we get the twin prime conjecture. Schinzel’s hypothesis Let f (X) and g(X) be two irreducible polynomials in Z[X]. Then there are infinitely many values of k such that f (k) and g(k) are both prime numbers. Take f (X) = X and g(X) = X + 2; we get the twin prime conjecture. Take f (X) = X − 1 and g(X) = X 2 + 1; we get more than Landau’s conjecture. Schinzel’s hypothesis Let f (X) and g(X) be two irreducible polynomials in Z[X]. Then there are infinitely many values of k such that f (k) and g(k) are both prime numbers. Take f (X) = X and g(X) = X + 2; we get the twin prime conjecture. Take f (X) = X − 1 and g(X) = X 2 + 1; we get more than Landau’s conjecture. The hypothesis rules out cases like f (X) = X and g(X) = X 2 + 1. Schinzel’s hypothesis Let f (X) and g(X) be two irreducible polynomials in Z[X]. Suppose there is no integer n such that n divides f (k) · g(k) for all k. Then there are infinitely many values of k such that f (k) and g(k) are both prime numbers. Take f (X) = X and g(X) = X + 2; we get the twin prime conjecture. Take f (X) = X − 1 and g(X) = X 2 + 1; we get more than Landau’s conjecture. The hypothesis rules out cases like f (X) = X and g(X) = X 2 + 1. Theorem of Terence Tao and Ben Green There are arbitary long arithmetic progression in the primes. Theorem of Terence Tao and Ben Green There are arbitary long arithmetic progression in the primes. Examples : (3, 5, 7) (5, 11, 17) (7, 13, 19) Theorem of Terence Tao and Ben Green There are arbitary long arithmetic progression in the primes. Examples : (3, 5, 7) (5, 11, 17) (5, 11, 17, 23) (7, 13, 19) (7, 37, 67, 97, 127, 157) Theorem of Terence Tao and Ben Green There are arbitary long arithmetic progression in the primes. Examples : (3, 5, 7) (5, 11, 17) (5, 11, 17, 23) (7, 13, 19) (7, 37, 67, 97, 127, 157) (1564588127269043, 1564588127269043 + 278810314282500, 1564588127269043 + 2 · 278810314282500, . . . 1564588127269043 + 23 · 278810314282500) Unique factoristaion hold in the integers Z[i] of Q(i). Unique factoristaion hold in the integers Z[i] of Q(i). Theorem (Heegner, Stark, Baker) √ There exists only finitely many negative D such that Q( D) has unique factorisation, Unique factoristaion hold in the integers Z[i] of Q(i). Theorem (Heegner, Stark, Baker) √ There exists only finitely many negative D such that Q( D) has unique factorisation, namely -1, -2, -3, -7, -11, -19, -43, -67, -163. Unique factoristaion hold in the integers Z[i] of Q(i). Theorem (Heegner, Stark, Baker) √ There exists only finitely many negative D such that Q( D) has unique factorisation, namely -1, -2, -3, -7, -11, -19, -43, -67, -163. Gauss’ conjecture √ There are infintely many positive D such that Q( D) has unique factorisation. Unique factoristaion hold in the integers Z[i] of Q(i). Theorem (Heegner, Stark, Baker) √ There exists only finitely many negative D such that Q( D) has unique factorisation, namely -1, -2, -3, -7, -11, -19, -43, -67, -163. Gauss’ conjecture √ There are infintely many positive D such that Q( D) has unique factorisation. Examples : D = 2, 3, 5, 6, 7, 11, 13, 14, 17, 21, 29, 33, 37, 41, 53, 57, 61, . . . . √ For each number field K, e.g. Q(i), Q( 7 −3), . . . , there is a class humber h. √ For each number field K, e.g. Q(i), Q( 7 −3), . . . , there is a class humber h. Unique factorisation holds if and only if h = 1. √ For each number field K, e.g. Q(i), Q( 7 −3), . . . , there is a class humber h. Unique factorisation holds if and only if h = 1. Theorem (Kummer) Let ξp = e2πi/p . The class number of Q(ξp ) is divisible by p if and only if p is irregular. √ For each number field K, e.g. Q(i), Q( 7 −3), . . . , there is a class humber h. Unique factorisation holds if and only if h = 1. Theorem (Kummer) Let ξp = e2πi/p . The class number of Q(ξp ) is divisible by p if and only if p is irregular. If p is regular then Fermat’s last theorem holds for p. √ For each number field K, e.g. Q(i), Q( 7 −3), . . . , there is a class humber h. Unique factorisation holds if and only if h = 1. Theorem (Kummer) Let ξp = e2πi/p . The class number of Q(ξp ) is divisible by p if and only if p is irregular. If p is regular then Fermat’s last theorem holds for p. Because one can factor xp + yp = (x + y)(x + ξp y) · · · (x + ξpp−1 y) = zp . √ For each number field K, e.g. Q(i), Q( 7 −3), . . . , there is a class humber h. Unique factorisation holds if and only if h = 1. Theorem (Kummer) Let ξp = e2πi/p . The class number of Q(ξp ) is divisible by p if and only if p is irregular. If p is regular then Fermat’s last theorem holds for p. Vandiver’s conjecture p does not divide the class number of Q(ξp ) ∩ R = Q(ξp + ξ¯p ). Kummer congruences For all n ≡ m ≡ i (mod (p − 1)), we have, for all r > 0 Bm Bn 1 m−1 n−1 1−p < 1 n − m < ⇒ − 1−p p pr m n p pr+1 Kummer congruences For all n ≡ m ≡ i (mod (p − 1)), we have, for all ε > 0, Bm Bn m−1 n−1 <ε 1−p n − m < δ − 1−p ⇒ p m n p Kummer congruences For all n ≡ m ≡ i (mod (p − 1)), we have, for all ε > 0, Bm Bn m−1 n−1 <ε 1−p n − m < δ − 1−p ⇒ p m n p The function Z → Qp k 7→ 1 − pk−1 is p-adically continuous. Bk k p-adic zeta-function There is an analytic function ζp : Zp → Qp such that 1 ζp (−k) = 1 − k ζ(−k) p for all integers k > 0. p-adic zeta-function There is an analytic function ζp : Zp → Qp such that 1 ζp (−k) = 1 − k ζ(−k) p for all integers k > 0. ζp (s) has a simple pole at s = 1 ∈ Zp . p-adic zeta-function There is an analytic function ζp : Zp → Qp such that 1 ζp (−k) = 1 − k ζ(−k) p for all integers k > 0. ζp (s) has a simple pole at s = 1 ∈ Zp . Conjecture ζp (k) 6= 0 for k ∈ 2Z. p-adic zeta-function There is an analytic function ζp : Zp → Qp such that 1 ζp (−k) = 1 − k ζ(−k) p for all integers k > 0. ζp (s) has a simple pole at s = 1 ∈ Zp . Conjecture ζp (k) 6= 0 for k ∈ 2Z. Each zero of ζp (s) has something to do with the class number of Q(ξpn ). We found that x = a2 − b2 y = 2ab z = a2 + b2 parametrises all solutions of x2 + y2 = z2 over Z. We found that x = a2 − b2 y = 2ab z = a2 + b2 parametrises all solutions of x2 + y2 = z2 over Z. Or Q. We found that x = a2 − b2 y = 2ab z = a2 + b2 parametrises all solutions of x2 + y2 = z2 over Z. Or Q. Congruent number problem Given an integer n, is there a rational solution such that xy = 2n ? We found that x = a2 − b2 y = 2ab z = a2 + b2 parametrises all solutions of x2 + y2 = z2 over Z. Or Q. Congruent number problem Given an integer n, is there a rational solution such that xy = 2n ? We are looking for triangles with rational sides, with a 90 degree angle and area equal to n. We found that x = a2 − b2 y = 2ab z = a2 + b2 parametrises all solutions of x2 + y2 = z2 over Z. Or Q. Congruent number problem Given an integer n, is there a rational solution such that xy = 2n ? We are looking for triangles with rational sides, with a 90 degree angle and area equal to n. If there is one we say n is a congruent number. Examples : 6 is a congruent number as 32 + 42 = 52 and 3 · 4 = 2 · 6. Examples : 6 is a congruent number as 32 + 42 = 52 and 3 · 4 = 2 · 6. 5 6 7 13 14 15 (20/3, 3/2, 41/6) (4, 3, 5) (24/5, 35/12, 337/60) (323/30, 780/323, . . . ) (21/2, 8/3, 65/6) (15/2, 4, 17/2) 21 22 23 29 30 31 (12, 7/2, 25/2) (140/3, . . . (41496/3485, . . . (52780/99, . . . (12, 5, 13) (8897/360, . . . Conjecture If n ≡ 5, 6 or 7 (mod 8) then n is a congruent number. Conjecture If n ≡ 5, 6 or 7 (mod 8) then n is a congruent number. For each prime p put p − ap the number of solutions over Z/pZ to Y 2 = X 3 − n2 X . Conjecture If n ≡ 5, 6 or 7 (mod 8) then n is a congruent number. For each prime p put p − ap the number of solutions over Z/pZ to Y 2 = X 3 − n2 X . L(E, s) = 1 Y p-2n 1− ap ps + p p2s for s > 23 . Conjecture If n ≡ 5, 6 or 7 (mod 8) then n is a congruent number. For each prime p put p − ap the number of solutions over Z/pZ to Y 2 = X 3 − n2 X . L(E, s) = 1 Y p-2n 1− ap ps + p p2s for s > 23 . Conjecture (part of Birch and Swinnerton-Dyer conjecture) n is congruent if and only if L(E, 1) = 0. Conjecture If n ≡ 5, 6 or 7 (mod 8) then n is a congruent number. For each prime p put p − ap the number of solutions over Z/pZ to Y 2 = X 3 − n2 X . L(E, s) = 1 Y p-2n 1− ap ps + p p2s for s > 23 . Conjecture (part of Birch and Swinnerton-Dyer conjecture) n is congruent if and only if L(E, 1) = 0. Theorem (Kolyvagin) If L(E, s) has a simple zero at s = 1, then n is congruent. Riemann hypothesis The non-trivial zeroes of ζ(s) lie on Re(s) = 12 . Riemann hypothesis The non-trivial zeroes of ζ(s) lie on Re(s) = 12 . Continuation of ζ : s ζ(s) = −s· s−1 Z 1 ∞ x − [x] dx xs+1 for Re(s) > 0 Riemann hypothesis The non-trivial zeroes of ζ(s) lie on Re(s) = 12 . Continuation of ζ : s ζ(s) = −s· s−1 Z 1 ∞ x − [x] dx xs+1 for Re(s) > 0 Since ζ(1 − n) = − Bnn , there are “trivial” zeroes at odd negative integers. Conjecture (Riemann hypothesis) The non-trivial zeroes of ζ(s) lie on Re(s) = 12 . S OURCE : H T T P :// S E C A M L O C A L . E X . A C . U K / P E O P L E / S T A F F / M R W A T K I N / Z E T A / E N C O D I N G 1. H T M Riemann hypothesis P 1 The series ζ(s) = n>1 µ(n) ns converges for all Re(s) > 12 . Riemann hypothesis P 1 The series ζ(s) = n>1 µ(n) ns converges for all Re(s) > 12 . Link to prime numbers Z log ζ(s) = s · 2 ∞ π(x) dx · xs − 1 x Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). Approximation of π(x) using the first n pairs of zeroes of ζ(s). An elliptic curve is an equation of the form E: for some A and B in Q. y2 = x 3 + A x + B An elliptic curve is an equation of the form E: y2 = x 3 + A x + B for some A and B in Q. Question Are there infinitely many rational solutions to E ? An elliptic curve is an equation of the form E: y2 = x 3 + A x + B for some A and B in Q. Question Are there infinitely many rational solutions to E ? Examples : Question Are there infinitely many rational solutions to E ? Examples : E2 : y2 = x3 + x + 2 Question Are there infinitely many rational solutions to E ? Examples : E2 : y2 = x3 + x + 2 has only three solutions (−1, 0), (1, −2), and (1, 2). Question Are there infinitely many rational solutions to E ? Examples : E1 : y2 = x3 + x + 1 Question Are there infinitely many rational solutions to E ? Examples : E1 : y2 = x3 + x + 1 has infinitely many solutions. (0, ±1), ( 14 , ± 94 ), (72, ±611), . . . Question Are there infinitely many rational solutions to E ? Examples : E1 : y2 = x3 + x + 1 has infinitely many solutions. (0, ±1), ( 14 , ± 94 ), (72, ±611), . . . The following x-coordinates are 287 − 1296 , 43992 26862913 82369 , 1493284 , 7549090222465 51865013741670864 8662944250944 , 6504992707996225 , 139455877527 3596697936 − 8760772801 , 1824793048 , 173161424238594532415 − 310515636774481238884 , . . . Let Np be the number of solutions of E modulo p plus 1. Let Np be the number of solutions of E modulo p plus 1. Consider the function X Np f (X) = log p p∈P, p6X Let Np be the number of solutions of E modulo p plus 1. Consider the function X Np f (X) = log p p∈P, p6X Birch and Swinnerton-Dyer conjecture f (X) stays bounded if and only if there are only finitely many solutions in Q. Let Np be the number of solutions of E modulo p plus 1. Consider the function X Np f (X) = log p p∈P, p6X Birch and Swinnerton-Dyer conjecture f (X) stays bounded if and only if there are only finitely many solutions in Q. Birch and Swinnerton-Dyer conjecture f (X) grows like r · log(log(X)), where r is the so-called rank of E. Birch and Swinnerton-Dyer conjecture f (X) grows like r · log(log(X)), where r is the so-called rank of E. E1 : y2 = x3 + x + 1. E2 : y2 = x3 + x + 2. Birch and Swinnerton-Dyer conjecture f (X) grows like r · log(log(X)), where r is the so-called rank of E. Hasse-Weil bound √ The value of |ap | = |Np − p − 1| is bounded by 2 p. Hasse-Weil bound √ The value of |ap | = |Np − p − 1| is bounded by 2 p. Theorem (R. Taylor), Sato-Tate conjecture The value of √ 2 2 π 1 − t dt. ap √ 2 p is distributed in [−1, 1] like the measure Hasse-Weil bound √ The value of |ap | = |Np − p − 1| is bounded by 2 p. Theorem (R. Taylor), Sato-Tate conjecture The value of √ 2 2 π 1 − t dt. ap √ 2 p is distributed in [−1, 1] like the measure Hasse-Weil bound √ The value of |ap | = |Np − p − 1| is bounded by 2 p. Theorem (R. Taylor), Sato-Tate conjecture The value of √ 2 2 π 1 − t dt. ap √ 2 p is distributed in [−1, 1] like the measure Hasse-Weil bound √ The value of |ap | = |Np − p − 1| is bounded by 2 p. Theorem (R. Taylor), Sato-Tate conjecture The value of √ 2 2 π 1 − t dt. ap √ 2 p is distributed in [−1, 1] like the measure Hasse-Weil bound √ The value of |ap | = |Np − p − 1| is bounded by 2 p. Theorem (R. Taylor), Sato-Tate conjecture The value of √ 2 2 π 1 − t dt. ap √ 2 p is distributed in [−1, 1] like the measure