ABC Triples in Families
|
|
- Rudolf Newman
- 5 years ago
- Views:
Transcription
1 Edray Herber Goins Department of Mathematics Purdue University September 30, 2010
2 Abstract Given three positive, relative prime integers A, B, and C such that the first two sum to the third i.e. A+B = C, it is rare to have the product of the primes p dividing them to be smaller than each of the three. In 1985, David Masser and Joseph Osterlé made this precise by defining a quality q(p) for such a triple of integers P = (A,B,C); their celebrated ABC Conjecture asserts that it is rare for this quality q(p) to be greater than 1 even through there are infinitely many examples where this happens. In 1987, Gerhard Frey offered an approach to understanding this conjecture by introducing elliptic curves. In this presentation, we introduce families of triples so that the Frey curve has nontrivial torsion subgroup, and explain how certain triples with large quality appear in these families. We also discuss how these families contain infinitely many examples where the quality q(p) is greater than 1.
3 Mathematical Sciences Research Institute Undergraduate Program MSRI-UP
4 Alexander Barrios Caleb Tillman Charles Watts (Brown University) (Reed College) (Morehouse College) Luis Lomeĺı Jamie Weigandt (Purdue University) (Purdue University)
5 Outline of Talk History of the Conjecture 1 History of the Conjecture The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality 2 Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup 3 of Degree 2 of Degree 4 of Degree 8
6 The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality History of the ABC Conjecture
7 Mason-Stothers Theorem The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality Theorem (W. W. Stothers, 1981; R. C. Mason, 1983) Denote n(ab C) as the number distinct zeroes of the product of relatively prime polynomials A(t), B(t), and C(t) satisfying A+B = C. Then max { deg(a), deg(b), deg(c) } n(ab C) 1. Proof: We follow Lang s Algebra. Explicitly write rad ( ABC ) (t) = a A(t) = A 0 (t α i ) pi deg(a) = i=1 b B(t) = B 0 (t β j ) qj deg(b) = j=1 c C(t) = C 0 (t γ k ) r k deg(c) = k=1 a b (t α i ) (t β j ) i=1 j=1 a i=1 b j=1 c k=1 c (t γ k ) n(abc) = a+b +c k=1 p i q j r k
8 The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality F(t) = A(t) C(t) G(t) = B(t) C(t) = B(t) A(t) = F (t) F(t) G (t) G(t) = a i=1 b j=1 p i t α i q j t β j c i=k c k=1 r k t γ k r k t γ k Clearing, we find polynomials of degrees max { deg(a), deg(b) } n 1: rad ( ABC ) (t) F (t) F(t) = rad ( ABC ) (t) G (t) G(t) = a b p i (t α e ) (t β j ) i=1 e i j=1 c (t γ k ) k=1 c a b r k (t α i ) β j i=1 j=1(t ) (t γ e ) e k b a c q j α i i=1(t ) (t β e ) (t γ k ) e j k=1 c a b r k (t α i ) β j i=1 j=1(t ) (t γ e ) e k k=1 j=1 k=1
9 Examples History of the Conjecture The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality The Mason-Stothers Theorem is sharp. Here is a list of relatively prime polynomials such that A(t)+B(t) = C(t) and max { deg(a), deg(b), deg(c) } = n(ab C) 1. A(t) B(t) C(t) n ( 2t ) 2 ( t 2 1 ) 2 ( t 2 +1 ) 2 8t ( t 2 +1 ) ( t 1 ) 4 ( t +1 ) 4 5 ( ) 3 ( ) ( )( ) 3 16t t +1 t 3 t +3 t 1 5 ( )( ) 16t 3 3 ( ) 3 ( ) t +1 t 3 t +3 t 1 ( 2t ) 4 ( t 4 6t 2 +1 )( t 2 +1 ) 2 ( t 2 1 ) 4 16t ( t 2 1 )( t 2 +1 ) 2 ( t 2 2t 1 ) 4 ( t 2 +2t 1 ) 4 9
10 Restatement of Theorem The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality The polynomial ring Q[t] has an absolute value : Q[t] Z 0 defined by { A(t) 0 if A(t) 0, = 2 deg(a) otherwise. It has the following properties: Multiplicativity: A B = A B Non-degeneracy: A = 0 iff A = 0; A = 1 iff A(t) = A 0 is a unit. Ordering: A B iff deg(a) deg(b). Corollary For each ǫ > 0 there exists a uniform C ǫ > 0 such that the following holds: For any relatively prime polynomials A, B, C Q[t] with A+B = C, max { A, B, C } C ǫ rad(abc) 1+ǫ. Proof: Using Mason-Stothers, we may choose C ǫ = 1/2.
11 The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality Multiplicative Dedekind-Hasse Norms Let R be a Principal Ideal Domain with quotient field K: Q[t] in Q(t) with primes t α. Z in Q with primes p. Define rad(a) of an ideal a is the intersection of primes p containing it: rad(a) = i (t α i) for A(t) = A 0 i (t α i) ei in Q[t]. rad(a) = i p i for A = i pei i in Z. Theorem (Richard Dedekind; Helmut Hasse) R is a Principal Ideal Domain if and only if there exists an absolute value : R Z 0 with the following properties: Multiplicativity: A B = A B Non-degeneracy: A = 0 iff A = 0; A = 1 iff A is a unit. Ordering: A B if A divides B. We may define a = A as a = AR. Hence rad(a) a as rad(a) a.
12 ABC Conjecture History of the Conjecture The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality Conjecture (David Masser, 1985; Joseph Oesterlé, 1985) For each ǫ > 0 there exists a uniform C ǫ > 0 such that the following holds: For any relatively prime integers A, B, C Z with A+B = C, max { A, B, C } C ǫ rad(abc) 1+ǫ. Lemma The symmetric group on three letters acts on the set of ABC Triples: σ : A B B C, τ : A B B σ 3 = 1 A where τ 2 = 1 C A C C τ σ τ = σ 2 In particular, we may assume 0 < A B < C.
13 Quality of ABC Triples The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality Corollary If the ABC Conjecture holds, then limsupq(a,b,c) 1 for the quality q(a,b,c) = max{ ln A, ln B, ln C } ln rad(abc). Proof: Say ǫ = ( limsupq(p) 1 ) /3 is positive. Choose a sequence P k = (A k,b k,c k ) with q(p k ) 1+2ǫ. But this must be finite because max { A k, B k, C k } C ǫ rad(a k B k C k ) [ ] 1+ǫ q(p k ) exp q(p k ) 1 ǫ lnc ǫ. Question For each ǫ > 0, there are only finitely many ABC Triples P = (A,B,C) with q(p) 1+ǫ. What is the largest q(p) can be?
14 Exceptional Quality History of the Conjecture The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality Proposition (Bart de Smit, 2010) There are only 233 known ABC Triples P = (A,B,C) with q(p) 1.4. Rank A B C q(a,b,c)
15 The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality ABC Conjecture Home Page
16 The Mason-Stothers Theorem ABC Conjecture Examples with Exceptional Quality ABC at Home
17 Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup The ABC Conjecture and Elliptic Curves
18 Frey s Observation History of the Conjecture Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup Theorem (Gerhard Frey, 1989) Let P = (A,B,C) be an ABC Triple, that is, a triple of relatively prime integers such that A+B = C. Then the corresponding curve E A,B,C : y 2 = x(x A)(x +B) has remarkable properties. Question How do you explain this to undergraduates? Answer: You don t!
19 Elliptic Curves History of the Conjecture Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup Definition An elliptic curve E over a field K is a nonsingular projective curve of genus 1 possessing a K-rational point O. Proposition An elliptic curve E over K is birationally equivalent to a cubic equation E : y 2 = x 3 3c 4 x 2c 6 having nonzero discriminant (E) = 12 3( c 2 6 c3 4). Define the set of K-rational points on E as the projective variety { } E(K) = (x 1 : x 2 : x 0 ) P 2 (K) x2 2 x 0 = x1 3 3c 4x 1 x0 2 2c 6x0 3 where O = (0 : 1 : 0) is on the line x 0 = 0. In practice, K = Q(t) or Q.
20 Group Law History of the Conjecture Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup Definition Let E be an elliptic curve over a field K. Define the operation as P Q = (P Q) O.
21 Mordell-Weil Group History of the Conjecture Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup Theorem (Henri Poincaré, 1901) Let E be an elliptic curve defined over a field K. Then E(K) is an abelian group under with identity O. Theorem (Louis Mordell, 1922) Let E be an elliptic curve over Q. Then E(Q) is finitely generated: there exists a finite group E(Q) tors and a nonnegative integer r such that E(Q) E(Q) tors Z r. Definition E(Q) is called the Mordell-Weil group of E. The finite set E(Q) tors is called the torsion subgroup of E, and the nonnegative integer r is called the rank of E.
22 Classification of Torsion Subgroups Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup Theorem (Barry Mazur, 1977) Let E is an elliptic curve over Q. Then { Z N where 1 N 10 or N = 12; E(Q) tors Z 2 Z 2N where 1 N 4. Corollary (Gerhard Frey, 1989) For each ABC Triple, the elliptic curve E A,B,C : y 2 = x(x A)(x +B) has discriminant (E A,B,C ) = 16A 2 B 2 C 2 and E A,B,C (Q) tors Z 2 Z 2N. Question For each ABC Triple, which torsion subgroups do occur?
23 Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup Proposition (EHG and Jamie Weigandt, 2009) All possible subgroups do occur and infinitely often. Proof: Choose relatively prime integers m and n. We have the following N-isogeneous curves: A B C E A,B,C (Q) tors ( 2mn ) 2 ( m 2 n 2) 2 ( m 2 + n 2) 2 Z 2 Z 4 8mn ( m 2 + n 2) ( m n ) 4 ( m + n ) 4 Z 2 Z 2 16mn 3 ( m + n ) 3 ( m 3n ) ( m + 3n )( m n ) 3 Z 2 Z 6 16m 3 n ( m + n )( m 3n ) 3 ( m + 3n ) 3 ( m n ) Z 2 Z 2 ( ) 2mn 4 ( m 4 6m 2 n 2 + n 4) (m 2 + n 2) 2 ( m 2 n 2) 4 16mn ( m 2 n 2) (m 2 + n 2) 2 ( m 2 2mn n 2) 4 ( m 2 + 2mm n 2) 4 Z 2 Z 8 Z 2 Z 2
24 Examples History of the Conjecture Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup Rank of Quality E A,B,C (Q) tors m n Quality q(a,b,c) Z 2 Z Z 2 Z Z 2 Z Z 2 Z Z 2 Z Z 2 Z Z 2 Z Z 2 Z Z 2 Z Z 2 Z Z 2 Z Z 2 Z
25 Exceptional Quality Revisited Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup Proposition There are infinitely many ABC Triples P = (A,B,C) with q(p) > 1. Proof: For each positive integer k, define the relatively prime integers A k = 1, B k = 2 k+2( 2 k 1 ), and C k = ( 2 k+1 1 ) 2. Then P k = (A k,b k,c k ) is an ABC Triple. Moreover, rad ( A k B k C k ) = rad ( (2 k+1 2)(2 k+1 1) ) (2 k+1 2)(2 k+1 1) < C k. Hence q(p k ) = max{ ln A k, ln B k, ln C k } ln rad(a k B k C k ) = ln C k ln rad(a k B k C k ) > 1. Corollary If the ABC Conjecture holds, then limsupq(a,b,c) = 1.
26 Quality by Torsion Subgroup Elliptic Curves Torsion Subgroups Quality by Torsion Subgroup Question Fix N = 1, 2, 3, 4. Let F(N) denote the those ABC Triples (A,B,C) such that E A,B,C (Q) tors Z 2 Z 2N. What can we say about lim sup q(a,b,c)? (A,B,C) F(N) Theorem (Alexander Barrios, Caleb Tillman and Charles Watts, 2010) Fix N = 1, 2, 4. There are infinitely many ABC Triples with E A,B,C (Q) tors Z 2 Z 2N and q(a,b,c) > 1. In particular, if the ABC Conjecture holds, then limsup P F(N) q(p) = 1. Proof: Use the formulas above to create a dynamical system!
27 of Degree 2 of Degree 4 of Degree 8 Can we use elliptic curves to find ABC Triples with exceptional quality q(a, B, C)?
28 of Degree 2 of Degree 4 of Degree 8 In what follows, we will substitute A k = m, B k = n, and C k = m+n. A B C E A,B,C (Q) tors ( 2mn ) 2 ( m 2 n 2) 2 ( m 2 + n 2) 2 Z 2 Z 4 8mn ( m 2 + n 2) ( m n ) 4 ( m + n ) 4 Z 2 Z 2 16mn 3 ( m + n ) 3 ( m 3n ) ( m + 3n )( m n ) 3 Z 2 Z 6 16m 3 n ( m + n )( m 3n ) 3 ( m + 3n ) 3 ( m n ) Z 2 Z 2 ( ) 2mn 4 ( m 4 6m 2 n 2 + n 4) (m 2 + n 2) 2 ( m 2 n 2) 4 16mn ( m 2 n 2) (m 2 + n 2) 2 ( m 2 2mn n 2) 4 ( m 2 + 2mm n 2) 4 Z 2 Z 8 Z 2 Z 2
29 Motivation History of the Conjecture of Degree 2 of Degree 4 of Degree 8 Consider a sequence {P 0,..., P k, P k+1,...} defined recursively by A k+1 B k+1 = A2 4A k k B Bk 2 ( k ) A2 k or 2 Ak B k. C k+1 B 2 k Proposition (EHG and Jamie Weigandt, 2009) If the following properties hold for k = 0, they hold for all k 0: i. A k, B k, and C k are relatively prime, positive integers. ii. A k +B k = C k. iii. A k 0 (mod 16) and C k 1 (mod 4). Corollary For ǫ > 0, there exists δ such that max { ln A k, ln B k, ln C k } > ǫ when k δ. Hence q(p k ) > 1 for all k 0 if and only if q(p 0 ) > 1. There exists an infinite sequence with q(p k ) > 1. C 2 k
30 of Degree 2 of Degree 4 of Degree 8 Z 2 Z 2 and Z 2 Z 4 Consider a sequence {P 0,..., P k, P k+1,...} defined recursively by A k+1 8A k B ( k A 2 +B ) 2 ( ) 2 k B k+1 = ( ) k 2Ak B 4 Ak B k ( k or A 2 k B 2 2 k). C ( k+1 A 2 k +Bk) 2 2 C 4 k Proposition (Alexander Barrios, Caleb Tillman and Charles Watts, 2010) If the following properties hold for k = 0, they hold for all k 0: i. A k, B k, and C k are relatively prime, positive integers. ii. A k +B k = C k. iii. A k 0 (mod 16) and C k 1 (mod 4). Corollary For ǫ > 0, there exists δ such that max { ln A k, ln B k, ln C k } > ǫ when k δ. Hence q(p k ) > 1 for all k 0 if and only if q(p 0 ) > 1. There exist infinitely E Pk (Q) tors Z 2 Z 2N for N = 1, 2; q(p k ) > 1.
31 Z 2 Z 6? History of the Conjecture of Degree 2 of Degree 4 of Degree 8 Consider a sequence {P 0,..., P k, P k+1,...} defined recursively by A 16A k+1 k B B k+1 ( ) k 3 3 ( ) = Ak +B k Ak 3B ( k. )( ) 3 Ak +3B k Ak B k C k+1 Proposition (Alexander Barrios, Caleb Tillman and Charles Watts, 2010) If the following properties hold for k = 0, they hold for all k 0: i. A k, B k, and C k are relatively prime integers. ii. A k +B k = C k. iii. A k 0 (mod 16) and C k 1 (mod 4). Question What condition do we need to guarantee that these are positive integers?
32 Z 2 Z 6? History of the Conjecture of Degree 2 of Degree 4 of Degree 8 We sketch why perhaps 3.214B k > A k. Define the rational number 1 x k = A 1 ( ) 3 ( ) Ak +B k Ak 3B k = k x = k+1 x k 16A k B 3 B k k A k B k = x4 k 6x2 k 8x k x k The largest root is x 0 = , so 0 < x k+1 < x k < x 0 is decreasing.
33 of Degree 2 of Degree 4 of Degree 8 Z 2 Z 8 Consider a sequence {P 0,..., P k, P k+1,...} defined recursively by A ( ) 4 k+1 2Ak B B k+1 ( k )( = A 4 k 6A 2 k B2 k +B4 k A 2 k +B 2 2 k). C ( k+1 A 2 k Bk) 2 4 Proposition (Alexander Barrios, Caleb Tillman and Charles Watts, 2010) If the following properties hold for k = 0, they hold for all k 0: i. A k, B k, and C k are relatively prime, positive integers. ii. A k +B k = C k and B k > 3.174A k. iii. A k 0 (mod 16) and C k 1 (mod 4). Corollary For ǫ > 0, there exists δ such that max { ln A k, ln B k, ln C k } > ǫ when k δ. Hence q(p k ) > 1 for all k 0 if and only if q(p 0 ) > 1. There exists a sequence E Pk (Q) tors Z 2 Z 8 and q(p k ) > 1.
34 of Degree 2 of Degree 4 of Degree 8 Z 2 Z 8 We sketch why B k > 3.174A k. Define the rational number x k = B x k+1 x k = k = A k ( )( A 4 k 6A 2 k B2 k +B4 k A 2 k +Bk) 2 2 ( ) 4 B k 2Ak B k A k = x8 k 4x6 k 16x5 k 10x4 k 4x2 k +1 16xk The largest root is x 0 = , so x 0 < x k < x k+1 is increasing.
35 Example History of the Conjecture of Degree 2 of Degree 4 of Degree 8 We can generate many examples of ABC Triples P = (A,B,C) with E A,B,C (Q) tors Z 2 Z 8 and q(a,b,c) > 1. We consider the recursive sequence defined by A ( ) 4 k+1 2Ak B k B k+1 ( )( = A 4 k 6A 2 k B2 k +B4 k A 2 k +Bk) 2 2. ( A 2 k Bk) 2 4 C k+1 Initialize with P 0 = ( 16 2, 63 2, 65 2) so that we have i. A k, B k, and C k are relatively prime, positive integers. ii. A k +B k = C k and B k > 3.174A k. iii. A k 0 (mod 16) and C k 1 (mod 4). k A k B k C k q(p k )
36 of Degree 2 of Degree 4 of Degree 8 Questions?
Why Should I Care About Elliptic Curves?
Why Should I Care About? Edray Herber Goins Department of Mathematics Purdue University August 7, 2009 Abstract An elliptic curve E possessing a rational point is an arithmetic-algebraic object: It is
More informationDoes There Exist an Elliptic Curve E/Q with Mordell-Weil Group Z 2 Z 8 Z 4?
Does There Exist an Elliptic Curve E/Q with Mordell-Weil Group Z 2 Z 8 Z 4? Edray Herber Goins Department of Mathematics, Purdue University Atkin Memorial Lecture and Workshop: over Q( 5) April 29, 2012
More informationArithmetic Progressions over Quadratic Fields
uadratic Fields ( D) Alexer Díaz University of Puerto Rico, Mayaguez Zachary Flores Michigan State University Markus Oklahoma State University Mathematical Sciences Research Institute Undergraduate Program
More informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationSome new families of positive-rank elliptic curves arising from Pythagorean triples
Notes on Number Theory and Discrete Mathematics Print ISSN 1310 5132, Online ISSN 2367 8275 Vol. 24, 2018, No. 3, 27 36 DOI: 10.7546/nntdm.2018.24.3.27-36 Some new families of positive-rank elliptic curves
More informationThe ABC Conjecture and its Consequences on Curves
The ABC Conjecture and its Consequences on Curves Sachi Hashimoto University of Michigan Fall 2014 1 Introduction 1.1 Pythagorean Triples We begin with a problem that most high school students have seen
More informationAlgebraic Geometry: Elliptic Curves and 2 Theorems
Algebraic Geometry: Elliptic Curves and 2 Theorems Chris Zhu Mentor: Chun Hong Lo MIT PRIMES December 7, 2018 Chris Zhu Elliptic Curves and 2 Theorems December 7, 2018 1 / 16 Rational Parametrization Plane
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationArithmetic Progressions Over Quadratic Fields
Arithmetic Progressions Over Quadratic Fields Alexander Diaz, Zachary Flores, Markus Vasquez July 2010 Abstract In 1640 Pierre De Fermat proposed to Bernard Frenicle de Bessy the problem of showing that
More informationInfinite rank of elliptic curves over Q ab and quadratic twists with positive rank
Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank Bo-Hae Im Chung-Ang University The 3rd East Asian Number Theory Conference National Taiwan University, Taipei January
More informationIntroduction. Axel Thue was a Mathematician. John Pell was a Mathematician. Most of the people in the audience are Mathematicians.
Introduction Axel Thue was a Mathematician. John Pell was a Mathematician. Most of the people in the audience are Mathematicians. Giving the Number Theory Group the title 1 On Rational Points of the Third
More informationOn the Torsion Subgroup of an Elliptic Curve
S.U.R.E. Presentation October 15, 2010 Linear Equations Consider line ax + by = c with a, b, c Z Integer points exist iff gcd(a, b) c If two points are rational, line connecting them has rational slope.
More informationIntroduction Diophantine Equations The ABC conjecture Consequences. The ABC conjecture. Brian Conrad. September 12, 2013
The ABC conjecture Brian Conrad September 12, 2013 Introduction The ABC conjecture was made by Masser and Oesterlé in 1985, inspired by work of Szpiro. A proof was announced in Sept. 2012 by Mochizuki.
More informationTorsion subgroups of rational elliptic curves over the compositum of all cubic fields
Torsion subgroups of rational elliptic curves over the compositum of all cubic fields Andrew V. Sutherland Massachusetts Institute of Technology April 7, 2016 joint work with Harris B. Daniels, Álvaro
More informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More informationElliptic Curves and the abc Conjecture
Elliptic Curves and the abc Conjecture Anton Hilado University of Vermont October 16, 2018 Anton Hilado (UVM) Elliptic Curves and the abc Conjecture October 16, 2018 1 / 37 Overview 1 The abc conjecture
More informationThe Arithmetic of Elliptic Curves
The Arithmetic of Elliptic Curves Sungkon Chang The Anne and Sigmund Hudson Mathematics and Computing Luncheon Colloquium Series OUTLINE Elliptic Curves as Diophantine Equations Group Laws and Mordell-Weil
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More information6.5 Elliptic Curves Over the Rational Numbers
6.5 Elliptic Curves Over the Rational Numbers 117 FIGURE 6.5. Louis J. Mordell 6.5 Elliptic Curves Over the Rational Numbers Let E be an elliptic curve defined over Q. The following is a deep theorem about
More informationCONGRUENT NUMBERS AND ELLIPTIC CURVES
CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. In this short paper we consider congruent numbers and how they give rise to elliptic curves. We will begin with very basic notions before moving
More informationOn a Problem of Steinhaus
MM Research Preprints, 186 193 MMRC, AMSS, Academia, Sinica, Beijing No. 22, December 2003 On a Problem of Steinhaus DeLi Lei and Hong Du Key Lab of Mathematics Mechanization Institute of Systems Science,
More informationHERON TRIANGLES VIA ELLIPTIC CURVES
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 36, Number 5, 006 HERON TRIANGLES VIA ELLIPTIC CURVES EDRAY HERBER GOINS AND DAVIN MADDOX ABSTRACT. Given a positive integer n, one may ask if there is a right
More informationRational Distance Sets on Conic Sections
Rational Distance Sets on Conic Sections Megan D Ly Loyola Marymount Shawn E Tsosie UMASS Amherst July 010 Lyda P Urresta Union College Abstract Leonhard Euler noted that there exists an infinite set of
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationTHERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11
THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil
More informationGenus 2 Curves of p-rank 1 via CM method
School of Mathematical Sciences University College Dublin Ireland and Claude Shannon Institute April 2009, GeoCrypt Joint work with Laura Hitt, Michael Naehrig, Marco Streng Introduction This talk is about
More informationON A FAMILY OF ELLIPTIC CURVES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 005 ON A FAMILY OF ELLIPTIC CURVES by Anna Antoniewicz Abstract. The main aim of this paper is to put a lower bound on the rank of elliptic
More informationRational Points on Curves
Rational Points on Curves 1 Q algebraic closure of Q. k a number field. Ambient variety: Elliptic curve E an elliptic curve defined over Q. E N = E E. In general A an abelian variety defined over Q. For
More informationTwists of elliptic curves of rank at least four
1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of
More informationFermat s Last Theorem
Fermat s Last Theorem T. Muthukumar tmk@iitk.ac.in 0 Jun 014 An ancient result states that a triangle with vertices A, B and C with lengths AB = a, BC = b and AC = c is right angled at B iff a + b = c.
More informationTen Minute Postdoc Introductions
10 Minute Postdoc Introductions ICERM Computational Aspects of the Langlands Program September 11, 2015 The Mordell-Weil Problem and its Inverse Let E be an abelian variety defined over a number field
More informationElliptic Curves and Mordell s Theorem
Elliptic Curves and Mordell s Theorem Aurash Vatan, Andrew Yao MIT PRIMES December 16, 2017 Diophantine Equations Definition (Diophantine Equations) Diophantine Equations are polynomials of two or more
More informationAlgorithm for Concordant Forms
Algorithm for Concordant Forms Hagen Knaf, Erich Selder, Karlheinz Spindler 1 Introduction It is well known that the determination of the Mordell-Weil group of an elliptic curve is a difficult problem.
More informationRAMIFIED PRIMES IN THE FIELD OF DEFINITION FOR THE MORDELL-WEIL GROUP OF AN ELLIPTIC SURFACE
PROCEEDINGS of the AMERICAN MATHEMATICAL SOCIETY Volume 116. Number 4, December 1992 RAMIFIED PRIMES IN THE FIELD OF DEFINITION FOR THE MORDELL-WEIL GROUP OF AN ELLIPTIC SURFACE MASATO KUWATA (Communicated
More informationModern Number Theory: Rank of Elliptic Curves
Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation
More informationQUADRATIC TWISTS OF AN ELLIPTIC CURVE AND MAPS FROM A HYPERELLIPTIC CURVE
Math. J. Okayama Univ. 47 2005 85 97 QUADRATIC TWISTS OF AN ELLIPTIC CURVE AND MAPS FROM A HYPERELLIPTIC CURVE Masato KUWATA Abstract. For an elliptic curve E over a number field k we look for a polynomial
More informationTHE WEIL PAIRING ON ELLIPTIC CURVES
THE WEIL PAIRING ON ELLIPTIC CURVES Background Non-Singular Curves. Let k be a number field, that is, a finite extension of Q; denote Q as its separable algebraic closure. The absolute Galois group G k
More informationHow many elliptic curves can have the same prime conductor? Alberta Number Theory Days, BIRS, 11 May Noam D. Elkies, Harvard University
How many elliptic curves can have the same prime conductor? Alberta Number Theory Days, BIRS, 11 May 2013 Noam D. Elkies, Harvard University Review: Discriminant and conductor of an elliptic curve Finiteness
More informationA Look at the ABC Conjecture via Elliptic Curves
A Look at the ABC Conjecture via Elliptic Curves Nicole Cleary Brittany DiPietro Alexaner Hill Gerar D.Koffi Beihua Yan Abstract We stuy the connection between elliptic curves an ABC triples. Two important
More informationElliptic Nets and Points on Elliptic Curves
Department of Mathematics Brown University http://www.math.brown.edu/~stange/ Algorithmic Number Theory, Turku, Finland, 2007 Outline Geometry and Recurrence Sequences 1 Geometry and Recurrence Sequences
More informationVojta s conjecture and level structures on abelian varieties
Vojta s conjecture and level structures on abelian varieties Dan Abramovich, Brown University Joint work with Anthony Várilly-Alvarado and Keerthi Padapusi Pera ICERM workshop on Birational Geometry and
More informationarxiv: v1 [math.nt] 31 Dec 2011
arxiv:1201.0266v1 [math.nt] 31 Dec 2011 Elliptic curves with large torsion and positive rank over number fields of small degree and ECM factorization Andrej Dujella and Filip Najman Abstract In this paper,
More informationElliptic Curves: An Introduction
Elliptic Curves: An Introduction Adam Block December 206 Introduction The goal of the following paper will be to explain some of the history of and motivation for elliptic curves, to provide examples and
More informationDefining Valuation Rings
East Carolina University, Greenville, North Carolina, USA June 8, 2018 Outline 1 What? Valuations and Valuation Rings Definability Questions in Number Theory 2 Why? Some Questions and Answers Becoming
More informationAnatomy of torsion in the CM case
Anatomy of torsion in the CM case (joint work with Abbey Bourdon and Pete L. Clark) Paul Pollack Illinois Number Theory Conference 2015 August 14, 2015 1 of 27 This talk is a report on some recent work
More informationL-Polynomials of Curves over Finite Fields
School of Mathematical Sciences University College Dublin Ireland July 2015 12th Finite Fields and their Applications Conference Introduction This talk is about when the L-polynomial of one curve divides
More informationTHE MODULAR CURVE X O (169) AND RATIONAL ISOGENY
THE MODULAR CURVE X O (169) AND RATIONAL ISOGENY M. A. KENKU 1. Introduction Let N be an integer ^ 1. The affine modular curve Y 0 (N) parametrizes isomorphism classes of pairs (E ; C N ) where E is an
More informationPythagoras = $1 million problem. Ken Ono Emory University
Pythagoras = $1 million problem Ken Ono Emory University Pythagoras The Pythagorean Theorem Theorem (Pythagoras) If (a, b, c) is a right triangle, then a 2 + b 2 = c 2. Pythagoras The Pythagorean Theorem
More informationThe 8 th International Conference on Science and Mathematical Education in Developing Countries
On Never Primitive points for Elliptic curves The 8 th International Conference on Science and Mathematical Education in Developing Countries University of Yangon Myanmar 4 th -6 th December 2015, Francesco
More informationINFINITELY MANY ELLIPTIC CURVES OF RANK EXACTLY TWO. 1. Introduction
INFINITELY MANY ELLIPTIC CURVES OF RANK EXACTLY TWO DONGHO BYEON AND KEUNYOUNG JEONG Abstract. In this note, we construct an infinite family of elliptic curves E defined over Q whose Mordell-Weil group
More informationHERON TRIANGLES, DIOPHANTINE PROBLEMS AND ELLIPTIC CURVES
HERON TRIANGLES, DIOPHANTINE PROBLEMS AND ELLIPTIC CURVES GARIKAI CAMPBELL AND EDRAY HERBER GOINS Abstract. For all nonzero rational t, E t : v 2 = u 3 + (t 2 + 2)u 2 + u is an elliptic curve defined over
More informationWhy the ABC conjecture
Why the ABC conjecture Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Kummer classes and anabelian geometry U. Vermont, September 10 11, 2016 (The Farside, Gary Larson) 1 What is the ABC
More informationINTEGRAL POINTS ON VARIABLE SEPARATED CURVES
INTEGRAL POINTS ON VARIABLE SEPARATED CURVES DINO LORENZINI AND ZIQING XIANG Abstract. Let f(x), g(x) Z[x] be non-constant integer polynomials. We provide evidence, under the abc-conjecture, that there
More informationElliptic curves and Hilbert s Tenth Problem
Elliptic curves and Hilbert s Tenth Problem Karl Rubin, UC Irvine MAA @ UC Irvine October 16, 2010 Karl Rubin Elliptic curves and Hilbert s Tenth Problem MAA, October 2010 1 / 40 Elliptic curves An elliptic
More informationSEMI-MAGIC SQUARES AND ELLIPTIC CURVES
SEMI-MAGIC SQUARES AD ELLIPTIC CURVES EDRAY HERBER GOIS Abstract. We show that, for all odd natural numbers, the - torsion points on an elliptic curve may be placed in an grid such that the sum of each
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 18, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties January 18, 2006 The original problem H10: Find an algorithm that solves
More informationPOINTS ON HYPERBOLAS AT RATIONAL DISTANCE
International Journal of Number Theory Vol. 8 No. 4 2012 911 922 c World Scientific Publishing Company DOI: 10.1142/S1793042112500534 POINTS ON HYPERBOLAS AT RATIONAL DISTANCE EDRAY HERBER GOINS and KEVIN
More informationMath Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013
Math 847 - Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem Spring 013 January 6, 013 Chapter 1 Background and History 1.1 Pythagorean triples Consider Pythagorean triples (x, y, z) so
More informationMETRIC HEIGHTS ON AN ABELIAN GROUP
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.
More informationA p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties
A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties Steffen Müller Universität Hamburg joint with Jennifer Balakrishnan and William Stein Rational points on curves: A p-adic and
More informationElliptic Curves Spring 2019 Problem Set #7 Due: 04/08/2019
18.783 Elliptic Curves Spring 2019 Problem Set #7 Due: 04/08/2019 Description These problems are related to the material covered in Lectures 13-14. Instructions: Solve problem 1 and then solve one of Problems
More informationOn the Diophantine Equation x 4 +y 4 +z 4 +t 4 = w 2
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.11.5 On the Diophantine Equation x 4 +y 4 +z 4 +t 4 = w Alejandra Alvarado Eastern Illinois University Department of Mathematics and
More informationAlgebraic Varieties. Chapter Algebraic Varieties
Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :
More informationBSD and the Gross-Zagier Formula
BSD and the Gross-Zagier Formula Dylan Yott July 23, 2014 1 Birch and Swinnerton-Dyer Conjecture Consider E : y 2 x 3 +ax+b/q, an elliptic curve over Q. By the Mordell-Weil theorem, the group E(Q) is finitely
More informationarxiv: v2 [math.nt] 23 Sep 2011
ELLIPTIC DIVISIBILITY SEQUENCES, SQUARES AND CUBES arxiv:1101.3839v2 [math.nt] 23 Sep 2011 Abstract. Elliptic divisibility sequences (EDSs) are generalizations of a class of integer divisibility sequences
More informationReciprocity laws and integral solutions of polynomial equations
Reciprocity laws and integral solutions of polynomial equations Jean-Louis Colliot-Thélène CNRS, Université Paris-Sud Clay Mathematical Institute, MSRI Congruences, local fields Let f (x 1,, x n ) be a
More informationRational Curves On K3 Surfaces
Rational Curves On K3 Surfaces Jun Li Department of Mathematics Stanford University Conference in honor of Peter Li Overview of the talk The problem: existence of rational curves on a K3 surface The conjecture:
More informationLARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE
LARGE TORSION SUBGROUPS OF SPLIT JACOBIANS OF CURVES OF GENUS TWO OR THREE EVERETT W. HOWE, FRANCK LEPRÉVOST, AND BJORN POONEN Abstract. We construct examples of families of curves of genus 2 or 3 over
More informationOn Partial Lifting and the Elliptic Curve Discrete Logarithm Problem
On Partial Lifting and the Elliptic Curve Discrete Logarithm Problem Qi Cheng 1 and Ming-Deh Huang 2 1 School of Computer Science The University of Oklahoma Norman, OK 73019, USA. Email: qcheng@cs.ou.edu.
More informationAn example of elliptic curve over Q with rank equal to Introduction. Andrej Dujella
An example of elliptic curve over Q with rank equal to 15 Andrej Dujella Abstract We construct an elliptic curve over Q with non-trivial 2-torsion point and rank exactly equal to 15. 1 Introduction Let
More informationCongruent Number Problem and Elliptic curves
Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using
More informationTHE JACOBIAN AND FORMAL GROUP OF A CURVE OF GENUS 2 OVER AN ARBITRARY GROUND FIELD E. V. Flynn, Mathematical Institute, University of Oxford
THE JACOBIAN AND FORMAL GROUP OF A CURVE OF GENUS 2 OVER AN ARBITRARY GROUND FIELD E. V. Flynn, Mathematical Institute, University of Oxford 0. Introduction The ability to perform practical computations
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationElliptic Curves. Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor Alan Candiotti) 10 Dec.
Elliptic Curves Akhil Mathew Department of Mathematics Drew University Math 155, Professor Alan Candiotti 10 Dec. 2008 Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor
More informationThe complexity of Diophantine equations
The complexity of Diophantine equations Colloquium McMaster University Hamilton, Ontario April 2005 The basic question A Diophantine equation is a polynomial equation f(x 1,..., x n ) = 0 with integer
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More informationOn the power-free parts of consecutive integers
ACTA ARITHMETICA XC4 (1999) On the power-free parts of consecutive integers by B M M de Weger (Krimpen aan den IJssel) and C E van de Woestijne (Leiden) 1 Introduction and main results Considering the
More informationElliptic Curves: Theory and Application
s Phillips Exeter Academy Dec. 5th, 2018 Why Elliptic Curves Matter The study of elliptic curves has always been of deep interest, with focus on the points on an elliptic curve with coe cients in certain
More informationOn the polynomial x(x + 1)(x + 2)(x + 3)
On the polynomial x(x + 1)(x + 2)(x + 3) Warren Sinnott, Steven J Miller, Cosmin Roman February 27th, 2004 Abstract We show that x(x + 1)(x + 2)(x + 3) is never a perfect square or cube for x a positive
More informationMaterial covered: Class numbers of quadratic fields, Valuations, Completions of fields.
ALGEBRAIC NUMBER THEORY LECTURE 6 NOTES Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. 1. Ideal class groups of quadratic fields These are the ideal class groups
More informationElliptic Curves, Group Schemes,
Elliptic Curves, Group Schemes, and Mazur s Theorem A thesis submitted by Alexander B. Schwartz to the Department of Mathematics in partial fulfillment of the honors requirements for the degree of Bachelor
More informationTHE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE
THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE FILIP NAJMAN Abstract. For an elliptic curve E/Q, we determine the maximum number of twists E d /Q it can have such that E d (Q) tors E(Q)[2].
More informationMetabelian Galois Representations
Metabelian Galois Representations Edray Herber Goins AMS 2018 Spring Western Sectional Meeting Special Session on Automorphisms of Riemann Surfaces and Related Topics Portland State University Department
More informationSolving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture
Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture William Stein (http://modular.ucsd.edu/talks) December 1, 2005, UCLA Colloquium 1 The Pythagorean Theorem c a 2 + b
More informationHASSE-MINKOWSKI THEOREM
HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.
More informationHeuristics for the growth of Mordell-Weil ranks in big extensions of number fields
Heuristics for the growth of Mordell-Weil ranks in big extensions of number fields Barry Mazur, Harvard University Karl Rubin, UC Irvine Banff, June 2016 Mazur & Rubin Heuristics for growth of Mordell-Weil
More informationConstructing genus 2 curves over finite fields
Constructing genus 2 curves over finite fields Kirsten Eisenträger The Pennsylvania State University Fq12, Saratoga Springs July 15, 2015 1 / 34 Curves and cryptography RSA: most widely used public key
More informationLECTURE 18, MONDAY
LECTURE 18, MONDAY 12.04.04 FRANZ LEMMERMEYER 1. Tate s Elliptic Curves Assume that E is an elliptic curve defined over Q with a rational point P of order N 4. By changing coordinates we may move P to
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,
More informationOn some congruence properties of elliptic curves
arxiv:0803.2809v5 [math.nt] 19 Jun 2009 On some congruence properties of elliptic curves Derong Qiu (School of Mathematical Sciences, Institute of Mathematics and Interdisciplinary Science, Capital Normal
More informationFundamental Theorem of Finite Abelian Groups
Monica Agana Boise State University September 1, 2015 Theorem (Fundamental Theorem of Finite Abelian Groups) Every finite Abelian group is a direct product of cyclic groups of prime-power order. The number
More informationHOME ASSIGNMENT: ELLIPTIC CURVES OVER FINITE FIELDS
HOME ASSIGNMENT: ELLIPTIC CURVES OVER FINITE FIELDS DANIEL LARSSON CONTENTS 1. Introduction 1 2. Finite fields 1 3. Elliptic curves over finite fields 3 4. Zeta functions and the Weil conjectures 6 1.
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationDip. Matem. & Fisica. Notations. Università Roma Tre. Fields of characteristics 0. 1 Z is the ring of integers. 2 Q is the field of rational numbers
On Never rimitive points for Elliptic curves Notations The 8 th International Conference on Science and Mathematical Education in Developing Countries Fields of characteristics 0 Z is the ring of integers
More informationProjects on elliptic curves and modular forms
Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master
More informationCONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT
MATHEMATICS OF COMPUTATION Volume 66, Number 217, January 1997, Pages 411 415 S 0025-5718(97)00779-5 CONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT KOH-ICHI NAGAO Abstract. We
More informationA MORE GENERAL ABC CONJECTURE. Paul Vojta. University of California, Berkeley. 2 December 1998
A MORE GENERAL ABC CONJECTURE Paul Vojta University of California, Berkeley 2 December 1998 In this note we formulate a conjecture generalizing both the abc conjecture of Masser-Oesterlé and the author
More informationCounting points on elliptic curves: Hasse s theorem and recent developments
Counting points on elliptic curves: Hasse s theorem and recent developments Igor Tolkov June 3, 009 Abstract We introduce the the elliptic curve and the problem of counting the number of points on the
More informationGeometry of points over Q of small height Part II
Geometry of points over Q of small height Part II Georgia Institute of Technology MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties January 21, 2006 Lehmer s problem
More information