CONGRUENT NUMBERS AND ELLIPTIC CURVES

Similar documents
CONGRUENT NUMBERS AND ELLIPTIC CURVES

6.5 Elliptic Curves Over the Rational Numbers

Modern Number Theory: Rank of Elliptic Curves

Elliptic Curves: An Introduction

Congruent Number Problem and Elliptic curves

Introduction to Arithmetic Geometry

The Congruent Number Problem and the Birch and Swinnerton-Dyer Conjecture. Florence Walton MMathPhil

Pythagoras = $1 million problem. Ken Ono Emory University

Abstracts of papers. Amod Agashe

Two Types of Equations. Babylonians. Solving Certain Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture

Congruent number problem

Elliptic curves and modularity

Introduction to Elliptic Curves

Elliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR

LECTURE 2 FRANZ LEMMERMEYER

THE CONGRUENT NUMBER PROBLEM

Grade 11/12 Math Circles Rational Points on an Elliptic Curves Dr. Carmen Bruni November 11, Lest We Forget

FACULTY FEATURE ARTICLE 6 The Congruent Number Problem

Elliptic Curves and Mordell s Theorem

A WHIRLWIND TOUR BEYOND QUADRATICS Steven J. Wilson, JCCC Professor of Mathematics KAMATYC, Wichita, March 4, 2017

Math 109 HW 9 Solutions

Congruent number elliptic curves of high rank

RECIPES FOR TERNARY DIOPHANTINE EQUATIONS OF SIGNATURE (p, p, k)

Elliptic curves and Hilbert s Tenth Problem

Heuristics for the growth of Mordell-Weil ranks in big extensions of number fields

Modularity of Abelian Varieties

THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11

A Motivated Introduction to Modular Forms

Algebraic Geometry: Elliptic Curves and 2 Theorems

INTRODUCTION TO ELLIPTIC CURVES

Grade 11/12 Math Circles Congruent Number Problem Dr. Carmen Bruni October 28, 2015

Why Should I Care About Elliptic Curves?

On a Problem of Steinhaus

Arithmetic Progressions Over Quadratic Fields

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture

Elliptic Curves and Public Key Cryptography

Table of Contents. 2013, Pearson Education, Inc.

The Arithmetic of Elliptic Curves

arxiv: v1 [math.nt] 26 Mar 2009

Elliptic Curves. Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor Alan Candiotti) 10 Dec.

TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS

Elliptic Curves and The Congruent Number Problem

ELLIPTIC CURVES BJORN POONEN

Arithmetic Progressions over Quadratic Fields

Some new families of positive-rank elliptic curves arising from Pythagorean triples

Introduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013

Algorithm for Concordant Forms

SQUARES FROM SUMS OF FIXED POWERS. Mark Bauer and Michael A. Bennett University of Calgary and University of British Columbia, Canada

Three cubes in arithmetic progression over quadratic fields

EXAMPLES OF MORDELL S EQUATION

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

ODD OR EVEN: UNCOVERING PARITY OF RANK IN A FAMILY OF RATIONAL ELLIPTIC CURVES

ON A FAMILY OF ELLIPTIC CURVES

LECTURE 22, WEDNESDAY in lowest terms by H(x) = max{ p, q } and proved. Last time, we defined the height of a rational number x = p q

AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying

TORSION AND TAMAGAWA NUMBERS

Hans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c

LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW

1. multiplication is commutative and associative;

MATH 361: NUMBER THEORY FOURTH LECTURE

CHMC: Finite Fields 9/23/17

Diophantine equations and beyond

arxiv: v1 [math.nt] 31 Dec 2011

Visibility and the Birch and Swinnerton-Dyer conjecture for analytic rank one

TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple

A Classical Introduction to Modern Number Theory

On the Rank of the Elliptic Curve y 2 = x 3 nx

Math Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013

Elliptic Curves: Theory and Application

Elliptic Curves. Kenneth A. Ribet. PARC Forum October 17, UC Berkeley

INFINITELY MANY ELLIPTIC CURVES OF RANK EXACTLY TWO. 1. Introduction

An Introduction to the Birch and Swinnerton-Dyer Conjecture

Elliptic Curves. Dr. Carmen Bruni. November 4th, University of Waterloo

Math 131 notes. Jason Riedy. 6 October, Linear Diophantine equations : Likely delayed 6

Rank-one Twists of a Certain Elliptic Curve

Class groups and Galois representations

The complexity of Diophantine equations

PYTHAGOREAN TRIPLES KEITH CONRAD

Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

arxiv: v1 [math.nt] 11 Aug 2016

An example of elliptic curve over Q with rank equal to Introduction. Andrej Dujella

Some Highlights along a Path to Elliptic Curves

HERON TRIANGLES VIA ELLIPTIC CURVES

Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q

Diophantine equations

Fermat s Last Theorem for Regular Primes

Counting points on elliptic curves: Hasse s theorem and recent developments

On some congruence properties of elliptic curves

THE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE

22. The Quadratic Sieve and Elliptic Curves. 22.a The Quadratic Sieve

On Partial Lifting and the Elliptic Curve Discrete Logarithm Problem

The arithmetic of elliptic curves An update. Benedict H. Gross. In 1974, John Tate published The arithmetic of elliptic curves in

Grade 11/12 Math Circles Elliptic Curves Dr. Carmen Bruni November 4, 2015

Torsion Points of Elliptic Curves Over Number Fields

A Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced

The Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January

MATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4

Torsion subgroups of rational elliptic curves over the compositum of all cubic fields

Transcription:

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 into the world of elliptic curves. However, the entire paper is meant to be appropriate for an undergraduate audience. For the undergraduate with no abstract algebra experience it may be wise to skip the proofs. This paper owes a great debt to Koblitz s wonderful treatment of the subject in [3]. 1. Congruent numbers One of the traits that sets number theory apart from many other branches of mathematics is the fact that many of the most difficult problems are very easy to state. In fact, the statement of many of these problems can be understood by a student in a high school mathematics class. The problem this paper focuses on is the congruent number problem. Definition 1.1. An integer N is a congruent number if there exists a right triangle with rational sides so that the area of the triangle is N. Example 1.. The number N = 6 is a congruent number as one sees by considering the 3 4 5 triangle. The problem we are interested in is determining all possible congruent numbers. The natural place to begin is to attempt to classify all right triangle with integer sides. Theorem 1.3. Let X, Y, and Z be integers and sides of a right triangle with gcd(x, Y, Z) = 1. Then there exists m, n N so that X = mn, Y = m n and Z = m + n. Conversely, any m, n N define a right triangle defining X, Y, and Z the same way. Proof. It is clear that given m and n we obtain a right triangle with integer sides using the given formulas. We need to show that given a right triangle with integer sides X, Y, and Z that we can find such an m and n. Observe that we have X + Y = Z by the Pythagorean Key words and phrases. Congruent numbers, elliptic curves. 1

JIM BROWN theorem. Suppose X and Y are both odd. This implies that Z (mod 4). However, the squares modulo 4 are 0 and 1. Thus it must be that X or Y is even. Assume without loss of generality that X is even so that X is an integer. Write ( ) ( ) ( ) ( ) ( ) X Z Y Z Y Z + Y = =. If p is a prime that divides X, then p ( ) X. Since p is prime, we have that p ( ) ( Z Y or p Z+Y ). Note that p cannot divide both since gcd(x, Y, Z) = 1. Thus we obtain that p ( ) Z Y or p ( ) Z+Y. Running through all the primes that divide X, we see that we can write ) = m n where m is composed of those primes that divide ( ) Z Y ( X and n is composed of those primes that divide ( Z+Y ). This gives that X = mn, Y = m n (assuming without loss of generality that m > n) and Z = m + n, as desired. This theorem allows us to generate all congruent numbers that arise from integer sided right triangles. For example, we have the following table: Table 1. Congruent numbers from Pythagorean triples m n X Y Z N 1 4 3 5 6 3 1 6 8 10 4 3 1 5 13 30 4 1 8 15 17 60 4 3 4 7 5 84 4 16 1 0 96 5 1 10 4 6 10 5 4 40 9 41 180 Of course, we want to deal with triangles with rational sides as well. Suppose we have a right triangle with sides X, Y, Z Q and congruent number N. It is easy to see that we can clear denominators and obtain a right triangle with integers sides and congruent number a N where a is the least common multiple of the denominators of X and Y. Thus, we can go from a right triangle with rational sides to a right triangle with integer sides and a new congruent number that is divisible by a square. Conversely, given a right triangle with integer sides X, Y, and Z and congruent number N = a N 0, we can form a right triangle with

CONGRUENT NUMBERS AND ELLIPTIC CURVES 3 rational sides and congruent number N 0 by merely dividing X and Y by a. Example 1.4. Consider the 40 9 41 triangle given by m = 5 and n = 4. This triangle has area 180 = 6 5. Thus, 5 is a congruent number given by a triangle with sides 3, 0 3, and 41 6. Some further examples are given in the following table. Table. Congruent numbers from rational right triangles X Y Z N 3/ 0/3 41/6 5 4/9 7/4 65/36 14 4 15/ 17/ 15 7/ 1 5/ 1 4 17/36 145/36 34 8/9 5 53/9 70 This method allows us to use the Pythagorean triples give in Theorem 1.3 to produce congruent numbers arising from triangles with rational sides. The difficulty is not in producing lots and lots of congruent numbers, the difficulty is proving that a given number is not congruent. Using the method described thus far, if we cannot find a triangle with area N, it does not mean N is not congruent. It may just be that we have not looked hard enough to find the triangle. For example, the integer 157 is a congruent number. However, the simplest triangle giving area 157 has sides given by X = 6803984878643505117540 411340519771614938303, Y = 411340519771614938303 1666555693714761309610. Clearly we are going to need a new method to solve this problem.. From congruent numbers to elliptic curves Let N be a congruent number given by a right triangle with sides X, Y, Z Q, i.e., we have (1) X + Y = Z and 1 () XY = N. If we multiply equation () by 4 and add and subtract it from equation (1) we obtain the equations (X + Y ) = Z + 4N

4 JIM BROWN and (X Y ) = Z 4N i.e., we have equations ( ) X + Y (3) = and (4) ( ) X Y = ( ) Z + N ( ) Z N. Multiplying equations (3) and (4) together we obtain ( ) X Y ( ) 4 Z = N. 4 Thus, a rational right triangle with congruence number N produces a rational solution to the equation (5) v = u 4 N, ( ) X namely v = Y and u = ( ) Z 4. Multiplying equation (5) by u we obtain (uv) = u 6 N u. If we set x = u = ( ) Z and y = uv = Z(X Y ), then we find that a 8 rational right triangle with congruence number N produces a rational solution to the equation (6) E N : y = x 3 N x. This curve is an example of type of curve known as an elliptic curve. We will come back to these curves in a more general setting in the next section. For now we have the following result stating that this process can be reversed and we can use certain points on elliptic curves of the form E N to show that N is a congruent number. Proposition.1. Let (x, y) be a point with rational coordinates on the curve E N. Suppose x satisfies: (1) x is the square of a rational number () x has even denominator (3) the numerator of x is relatively prime to N Then there exists a right triangle with area N and rational sides where the sides are given by X = x + N x N, Y = x + N + x N and Z = x.

CONGRUENT NUMBERS AND ELLIPTIC CURVES 5 To prove this proposition one works backwards through the equations used to find E N to get back to the original equations. It is left as an exercise to the curious reader. 3. Elliptic curves In this section we gather some basic results on elliptic curves. We will return to the specific case of E N in the next section. Definition 3.1. An elliptic curve over Q is a nonsingular curve of the form E : y = x 3 + ax + bx + c where a, b, c Z. We say a point P = (x, y) is a point on E if it satisfies the equation defining E. The set of all points P with x, y Q is denoted by E(Q). What makes elliptic curves special is that given two points P, Q E(Q) one can define an addition on E(Q) so that P Q E(Q). In fact, this addition makes E(Q) into an abelian group! We can view this addition geometrically. The naive version would be to define the point P Q as the third point of intersection R of the line through P and Q with E. However, if we define addition this way we do not get that addition is associative! For example, consider the points P 1 = (, 8), P = (6, 0), and P 3 = (0, 0) on the curve E 6. One calculates that under this definition of addition one has (P 1 P ) P 3 = (1, 36) and P 1 (P P 3 ) = (1, 36). Instead, we define addition by taking the point R as above and drawing a vertical line through R. This will hit E at another point which we define to be P Q. Figure 1. Graphical representation that on E 6 one has P Q = (1, 36) for P = ( 3, 9) and Q = (0, 0).

6 JIM BROWN Note that the identity of the group is the point at infinity. For those not familiar with projective geometry, just think of this as a point off the page obtained when you follow a vertical line to infinity. We will denote this point by 0 E. To see that the point P Q actually has coordinates in Q, we work out the explicit formulas for x(p Q) and y(p Q). Let P = (x(p ), y(p )), Q = (x(q), y(q)) and P Q = (x(p Q), y(p Q)). Observe that the line through P and Q can be written in the form y(p ) y(q) y = mx + b with m = if P Q and m = f (x(p )) if P = Q x(p ) x(q) y(p ) where f(x) = x 3 + ax + bx + c. The value of x(p Q) is the third root of the cubic f(x) (mx + b). The sum of the roots is equal to the negative of the coefficient of x, so Thus, x(p ) + x(q) + x(p Q) = (a m ). x(p Q) = x(p ) x(q) a + m. The y-value is the negative of the y-value of the third point of intersection of the line and the curve, so y(p Q) = y(p ) m(x(p ) x(q)). It is important to keep in mind this addition is NOT component-wise addition. The following example was computed using SAGE. Example 3.. Consider the elliptic curve E 6 : y = x 3 36x. Let P = (, 8) and Q = (6, 0). It is easy to check these are each points on E 6 by plugging in the values for x and y. We then have Q = 0 E, P Q = ( 3, 9), and 5 P = ( 107490978, ) 394955797978644 015740609 90500706173. We can consider all the points P E(Q) so that M P = 0 E for some M Z. For example, Q in the previous example satisfied Q = 0 E. The set of such points is a group called the group of torsion points of E(Q) and we write E(Q) tors. It turns out that there are only 15 possibilities for E(Q) tors : Z/MZ for 1 M 10 or M = 1 or Z/Z Z/MZ for 1 M 4. This is a very deep result of Mazur ([4], [5]) The important point for us is that the torsion subgroup is finite and we have a pretty good grasp on it. The full structure of E(Q) is given by Mordell s theorem. Theorem 3.3. (Mordell s theorem) The group E(Q) is given by E(Q) = E(Q) tors Z r where r is an integer called the rank of the elliptic curve.

CONGRUENT NUMBERS AND ELLIPTIC CURVES 7 For our purposes, the thing to take from this theorem is that the rank of the elliptic curve tells us about non-torsion points on the curve. In particular, if one has a point that is not in E(Q) tors, then one has r > 0 and there must be infinitely many points not in E(Q) tors. 4. The elliptic curve E N We now specialize to the case of elliptic curves of the form E N. In this case, it can be shown that (7) E N (Q) tors = {0 E, (0, 0), (±N, 0)}. Note that the nonzero points here all have order. We have the following important proposition relating congruent numbers to ranks of elliptic curves. Proposition 4.1. The integer N is a congruent number if and only if E N (Q) has nonzero rank r. Proof. Recall we are interested only in square-free N. Suppose that N is a congruent number. We have already shown that this produces a point in E N (Q) with x-coordinate that is a nonzero square. (In fact, it was given by ( ) Z for Z the hypothenuse of the triangle with area N.) However, the x-coordinates of the nontrivial torsion points are 0 and ±N. Thus, we must have the point produced is not a torsion point and hence we have that E N has nonzero rank. Conversely, suppose we have a point P E(Q) of infinite order. Observe that since P is not of order, we can use the addition formula to obtain that P is a point of infinite order with x-coordinate given by x( P ) = (x(p ) + N ) (y(p )). This allows us to apply Proposition.1 to conclude N is a congruent number. With this proposition we have reduced the problem of determining if N is a congruent number to determining the rank of the elliptic curve E N. Unfortunately, determining the rank of an elliptic curve is a very difficult problem. We need to introduce a function attached to E N called an L-function. Before we do this, we need to review some abstract algebra. For those who have taken abstract algebra and are familiar with finite fields, the following very rough paragraph can safely be skipped.

8 JIM BROWN Let p be a prime number. Given any integer n, we can consider the remainder when we divide n by p. We can write n = pq + n where q Z and 0 n p 1. It turns out we can add, subtract, multiply, and divide these remainders. Each time, we just consider the remainder upon division by p. Example 4.. Let p = 5. If we divide 19 by p we get a remainder of 4, so 19 = 4. Similarly, 7 =. If we want to add these, we see that 19 + 7 = 4 + = 6 = 1. Each time, we just remove multiples of p until the answer falls in the range 0 n p 1. The set of all remainders with this arithmetic structure is denoted by F p. Note that #F p = p. We now can consider a new elliptic curve defined over F p instead of over Q where the elliptic curve is defined by E N : y = x 3 N x. (Actually, this is only an elliptic curve at primes p so that p N. However, we ignore this restriction here.) The group of points E N (F p ) is a finite group that we can determine by just plugging in the p possible points. Set a p = p + 1 #E N (F p ). We define the L-function of E N by L(s, E N ) = (1 a p p s + p 1 s ) 1 p prime where s C. Note that this is not the correct definition for those p N, but again we ignore this complication. We also note that this function is not a priori defined on all of C. However, it does have analytic continuation to C and we make use of this fact here without saying more. The weak form of the Birch and Swinnerton- Dyer conjecture (BSD) can now be stated. Conjecture 4.3. (BSD) One has L(1, E N ) = 0 if and only if r > 0 where r is the rank of E N. The Birch and Swinnerton-Dyer conjecture actually predicts that the order of vanishing of L(1, E N ) should be exactly the rank of E N. In fact, it can be made more precise to give subtle arithmetic information, but we omit that here as it requires significantly more background the the target audience will have. If we assume BSD is true, then we have the following proposition. Proposition 4.4. (Assuming BSD) The integer N is a congruent number if and only if L(1, E N ) = 0.

CONGRUENT NUMBERS AND ELLIPTIC CURVES 9 The work of [], [8], [6], and [1] show that for E N one has if r > 0 then L(1, E) = 0. (In fact, this is true of any elliptic curve with complex multiplication.) The other direction is still an open problem. However, Tunnell was able to prove the following theorem which assuming the validity of BSD reduces the problem of determining if N is a congruent number to comparing the orders of simple finite sets. Theorem 4.5. ([7]) If N is square-free and odd (respectively even) and N is the area of a rational right triangle, then #{x, y, z Z N = x +y +3z } = 1 #{x, y, z Z N = x +y +8z } (respectively #{x, y, z Z N = 4x +y +3z } = 1 #{x, y, z Z N = 4x +y +8z }) If BSD is true for E N, then the equality implies N is a congruent number. References [1] C. Breuil, B. Conrad, F. Diamond, R. Taylor, On the modularity of elliptic curves over Q: wild 3-adic exercises, J. Amer. Math. Soc. 14 no.4, 843-939 (001). [] J. Coates and A. Wiles, On the conjecture of Birch and Swinnerton-Dyer, Invent. Math. 39, 3-51 (1977). [3] N. Koblitz, Introduction to Elliptic Curves and Modular Forms, Springer GTM 97, (1993). [4] B. Mazur, Modular curves and the Eisenstein ideal, IHES Publ. Math. 47, 33-186 (1977). [5] B. Mazur, Rational isogenies of prime degree, Invent. Math. 44, 19-16 (1978). [6] R. Taylor and A. Wiles, Ring-theoretic properties of certain Hecke algebras, Ann. of Math. () 141 no. 3, 553-57 (1995). [7] J. Tunnell, A classical Diophantine problem and modular forms of weight 3/, Invent. Math. 7 (), 33-334 (1983). [8] A. Wiles, Modular elliptic curves and Fermat s last theorem, Ann. of Math. () 141 no. 3, 443-551 (1995). Department of Mathematics, The Ohio State University, Columbus, OH 4310 E-mail address: jimlb@math.ohio-state.edu