Download presentation
Presentation is loading. Please wait.
Published byLydia Wheeler Modified over 9 years ago
1
The Ubiquity of Elliptic Curves Joseph Silverman (Brown University) MAA Invited Address – Expanded Version Baltimore – January 18, 2003
2
Contents Introduction Geometry, Algebra, Analysis, and Beyond The Group Law on an Elliptic Curve Elliptic Curves and Complex Analysis Elliptic Curves and Number Theory (I) Elliptic Curves and Cryptography Elliptic Curves and Classical Physics Elliptic Curves and Topology Elliptic Curves and Modern Physics Elliptic Curves and Number Theory (II) References and Texts - 2 -
3
Elliptic Curves Geometry, Algebra, Analysis and Beyond…
4
An elliptic curve is a curve that’s also naturally a group. The group law on an elliptic curve can be described: Geometricallyusing intersection theory Algebraicallyusing polynomial equations Analyticallyusing complex analytic functions Elliptic curves appear in many diverse areas of mathematics, ranging from number theory to complex analysis, and from cryptography to mathematical physics. What is an Elliptic Curve? - 4 -
5
The Equation of an Elliptic Curve An Elliptic Curve is a curve given by an equation E : y 2 = f(x) for a cubic or quartic polynomial f(x) We also require that the polynomial f(x) has no double roots. This ensures that the curve is nonsingular. - 5 - After a change of variables, the equation takes the simpler form E : y 2 = x 3 + A x + B Finally, for reasons to be explained shortly, we toss in an extra point O “at infinity,” so E is really the set E = { (x,y) : y 2 = x 3 + A x + B } { O }
6
A Typical Elliptic Curve E E : Y 2 = X 3 – 5X + 8 - 6 - Surprising Fact: We can use geometry to make the points of an elliptic curve into a group.
7
The Group Law on an Elliptic Curve
8
Adding Points P + Q on E P Q P+Q R - 8 -
9
Doubling a Point P on E P 2*P R Tangent Line to E at P - 9 -
10
Vertical Lines and an Extra Point at Infinity Vertical lines have no third intersection point Q Add an extra point O “at infinity.” The point O lies on every vertical line. O PQ = –P - 10 -
11
Properties of “Addition” on E Theorem: The addition law on E has the following properties: a)P + O = O + P = Pfor all P E. b)P + (–P) = O for all P E. c)(P + Q) + R = P + (Q + R)for all P,Q,R E. d)P + Q = Q + Pfor all P,Q E. In other words, the addition law + makes the points of E into a commutative group. All of the group properties are trivial to check except for the associative law (c). The associative law can be verified by a lengthy computation using explicit formulas, or by using more advanced algebraic or analytic methods. - 11 -
12
A Numerical Example Using the tangent line construction, we find that 2P = P + P = (-7/4, -27/8). Using the secant line construction, we find that 3P = P + P + P = (553/121, -11950/1331) Similarly, 4P = (45313/11664, 8655103/1259712). As you can see, the coordinates become complicated. E : Y 2 = X 3 – 5X + 8 The point P = (1,2) is on the curve E. - 12 -
13
Algebraic Formulas for Addition on E Suppose that we want to add the points P 1 = (x 1,y 1 ) and P 2 = (x 2,y 2 ) on the elliptic curve E : y 2 = x 3 + Ax + B. - 13 - Quite a mess!!!!! But… Crucial Observation: If A and B are in a field K and if P 1 and P 2 have coordinates in K, then P 1 + P 2 and 2P 1 have coordinates in K.
14
The Group of Points on E with Coordinates in a Field K The elementary observation on the previous slide leads to an important result: Theorem (Poincaré, 1900): Let K be a field and suppose that an elliptic curve E is given by an equation of the form y 2 = x 3 + A x + B with A,B K. Let E(K) be the set of points of E with coordinates in K, E(K) = { (x,y) E : x,y K } { O }. Then E(K) is a subgroup of E. - 14 -
15
What Does E( R ) Look Like? Analytically, E( R ) is isomorphic to the circle group S 1 or to two copies of the circle group S 1 Z /2 Z. We have seen one example of E( R ). It is also possible for E( R ) to have two connected components. - 15 - E : Y 2 = X 3 – 9X
16
A Finite Field Numerical Example The formulas giving the group law on E are valid if the points have coordinates in any field, even if the geometric pictures don’t make sense. For example, we can take points with coordinates in F p. Example:The curve E : Y 2 = X 3 – 5X + 8 modulo 37 contains the points P = (6,3) and Q = (9,10). Using the addition formulas, we can compute in E( F 37 ): 2P = (35,11) 3P = (34,25) 4P = (8,6) 5P = (16,19) … P + Q = (11,10) 3P + 4Q = (31,28) … - 16 -
17
Elliptic Curves and Complex Analysis Or…How the Elliptic Curve Acquired Its Unfortunate Moniker
18
The Arc Length of an Ellipse - 18 - The arc length of a (semi)circle -aa x 2 +y 2 =a 2 is given by the familiar integral is more complicated The arc length of a (semi)ellipse x 2 /a 2 + y 2 /b 2 = 1 -a b a
19
An Elliptic Curve! The Arc Length of an Ellipse - 19 - Let k 2 = 1 – b 2 /a 2 and change variables x ax. Then the arc length of an ellipse is with y 2 = (1 – x 2 ) (1 – k 2 x 2 ) = quartic in x. An elliptic integral is an integral, where R(x,y) is a rational function of the coordinates (x,y) on an “elliptic curve” E : y 2 = f(x) = cubic or quartic in x.
20
Elliptic Integrals and Elliptic Functions - 20 - Doubly periodic functions are called elliptic functions. Its inverse function w = sin(z) is periodic with period 2 . The circular integral is equal to sin -1 (w). The elliptic integral has an inverse w = (z) with two independent complex periods 1 and 2. (z + 1 ) = (z + 2 ) = (z) for all z C.
21
Elliptic Functions and Elliptic Curves - 21 - This equation looks familiar The -function and its derivative satisfy an algebraic relation The double periodicity of (z) means that it is a function on the quotient space C /L, where L is the lattice L = { n 1 1 + n 2 2 : n 1,n 2 Z }. 11 22 1 + 2 L (z) and ’(z) are functions on a fundamental parallelogram
22
The Complex Points on an Elliptic Curve E( C ) = - 22 - The -function gives a complex analytic isomorphism Thus the points of E with coordinates in the complex numbers C form a torus, that is, the surface of a donut. E( C ) Parallelogram with opposite sides identified = a torus
23
Elliptic Curves and Number Theory Rational Points on Elliptic Curves
24
E( Q ) : The Group of Rational Points A fundamental and ancient problem in number theory is that of solving polynomial equations using integers or rational numbers. The description of E( Q ) is a landmark in the modern study of Diophantine equations. Theorem (Mordell, 1922): Let E be an elliptic curve given by an equation E : y 2 = x 3 + A x + B with A,B Q. There is a finite set of points P 1,P 2,…,P r so that every point P in E( Q ) can be obtained as a sum P = n 1 P 1 + n 2 P 2 + … + n r P r with n 1,…,n r Z. In other words, E( Q ) is a finitely generated group. - 24 -
25
E( Q ) : The Group of Rational Points The elements of finite order in the group E( Q ) are quite well understood. - 25 - Theorem (Mazur, 1977): The group E( Q ) contains at most 16 points of finite order. Conjecture: The number of points needed to generate E( Q ) may be arbitrarily large. The minimal number of points needed to generate the group E( Q ) is much more mysterious! Current World Record: There is an elliptic curve with Number of generators for E( Q ) 23.
26
E( Q ) : The Group of Rational Points A fundamental and ancient problem in number theory is that of solving polynomial equations using integers or rational numbers. The description of E( Q ) is a landmark in the modern study of Diophantine equations. Theorem (Mordell, 1922): Let E be an elliptic curve given by an equation E : y 2 = x 3 + A x + B with A,B Q. Then the group of rational points E( Q ) is a finitely generated abelian group. That is, there is an integer r and a finite group such that E( Q ) Z r . - 26 -
27
E( Q ) : The Group of Rational Points The finite group is called the torsion subgroup of E( Q ). It is quite well understood. - 27 - E( Q ) Z r Theorem (Mazur, 1977): The torsion subgroup of E( Q ) contains at most 16 points. Conjecture: The rank of E( Q ) can be arbitrarily large. Current World Record: There is an elliptic curve with rank E( Q ) 23. The integer r is called the rank of E( Q ). It is much more mysterious!
28
E( Z ) : The Set of Integer Points If P 1 and P 2 are points on E having integer coordinates, then P 1 + P 2 will have rational coordinates, but there is no reason for it to have integer coordinates. Indeed, the formulas for P 1 + P 2 are so complicated, it seems unlikely that P 1 + P 2 will have integer coordinates. Complementing Mordell’s finite generation theorem for rational points is a famous finiteness result for integer points. - 28 - Theorem (Siegel, 1928): An elliptic curve E : y 2 = x 3 + A x + B with A,B Z has only finitely many points P = (x,y) with integer coordinates x,y Z.
29
E( F p ) : The Group of Points Modulo p Number theorists also like to solve polynomial equations modulo p. - 29 - Theorem (Hasse, 1922): An elliptic curve equation E : y 2 x 3 + A x + B (modulo p) has p+1+ solutions (x,y) mod p, where the error satisfies This is much easier than finding solutions in Q, since there are only finitely many solutions in the finite field F p ! One expects E( F p ) to have approximately p+1 points. A famous theorem of Hasse (later vastly generalized by Weil and Deligne) quantifies this expectation.
30
E( F p ) : The Group of Points Modulo p Number theorists also like to solve polynomial equations modulo p. - 30 - Theorem (Hasse, 1922): An elliptic curve E : y 2 = x 3 + A x + B with A,B F p has p+1+ points P = (x,y) with coordinates x,y F p, where the error satisfies This is much easier than finding solutions in Q, since there are only finitely many solutions in the finite field F p ! One expects E( F p ) to have approximately p+1 points. A famous theorem of Hasse (later vastly generalized by Weil and Deligne) quantifies this expectation.
31
Elliptic Curves and Cryptography
32
The (Elliptic Curve) Discrete Log Problem Let A be a group and let P and Q be known elements of A. - 32 - There are many cryptographic constructions based on the difficulty of solving the DLP in various finite groups. The first group used for this purpose (Diffie-Hellman 1976) was the multiplicative group F p * in a finite field. Koblitz and Miller (1985) independently suggested using the group E( F p ) of points modulo p on an elliptic curve. At this time, the best algorithms for solving the elliptic curve discrete logarithm problem (ECDLP) are much less efficient than the algorithms for solving DLP in F p * or for factoring large integers. The Discrete Logarithm Problem (DLP) is to find an integer m satisfying Q = P + P + … + P = mP. m summands
33
Elliptic Curve Diffie-Hellman Key Exchange - 33 - Public Knowledge: A group E( F p ) and a point P of order n. BOB ALICE Choose secret 0 < b < n Choose secret 0 < a < n Compute Q Bob = bP Compute Q Alice = aP Compute bQ Alice Compute aQ Bob Bob and Alice have the shared value bQ Alice = abP = aQ Bob Presumably(?) recovering abP from aP and bP requires solving the elliptic curve discrete logarithm problem. Send Q Bob to Alice to Bob Send Q Alice
34
Elliptic Curves and Classical Physics
35
The Elliptic Curve and the Pendulum - 35 -
36
The Elliptic Curve and the Pendulum - 36 - This leads to a simple harmonic motion for the pendulum. In freshman physics, one assumes that is small and derives the formula But this formula is only a rough approximation. The actual differential equation for the pendulum is
37
How to Solve the Pendulum Equation - 37 -
38
How to Solve the Pendulum Equation - 38 - Conclusion: tan( /2) = Elliptic Function of t An Elliptic Curve!!! An Elliptic Integral!!!
39
Elliptic Curves and Topology
40
Cobordism and Genus - 40 - For our purposes, it is enough to know that is a polynomial ring in infinitely many variables: = C [T 2, T 4, T 6, T 8, …]. (T 2n is the cobordism class of projective space CP n.) An important object in topology is the (complex oriented) cobordism ring . The genus is characterized by its logarithm A (complex) genus is a ring homomorphism : C.
41
What Makes a Genus Elliptic? - 41 - A genus is a ring homomorphism, so it satisfies (U x V) = (U) (V). Here U and V are (cobordism classes) of complex manifolds. Let W V be a fiber bundle with fiber U, i.e., W is a twisted product of U and V. Then we still require that (W) = (U) (V). Ochanine proved that the logarithm of is an elliptic integral! A genus whose logarithm is an elliptic integral is called an Elliptic Genus. It is interesting to impose a stronger multiplicative property:
42
Elliptic Curves and Modern Physics
43
Elliptic Curves and String Theory - 43 - In string theory, the notion of a point-like particle is replaced by a curve-like string. As a string moves through space-time, it traces out a surface. For example, a single string that moves around and returns to its starting position will trace a torus. So the path traced by a string looks like an elliptic curve! In quantum theory, physicists like to compute averages over all possible paths, so when using strings, they need to compute integrals over the space of all elliptic curves.
44
Elliptic Curves and Number Theory Fermat’s Last Theorem
45
Fermat’s Last Theorem and Fermat Curves - 45 - Fermat’s Last Theorem says that if n > 2, then the equation a n + b n = c n has no solutions in nonzero integers a,b,c. It is enough to prove the case that n = 4 (already done by Fermat himself) and the case that n = p is an odd prime. If we let x = a/c and y = b/c, then solutions to Fermat’s equation give rational points on the Fermat curve x p + y p = 1. But Fermat’s curve is not an elliptic curve. So how can elliptic curves be used to study Fermat’s problem?
46
Elliptic Curves and Fermat’s Last Theorem - 46 - Frey suggested that E a,b,c would be such a strange curve, it shouldn’t exist at all. More precisely, Frey doubted that E a,b,c could be modular. Ribet verified Frey’s intuition by proving that E a,b,c is indeed not modular. Wiles completed the proof of Fermat’s Last Theorem by showing that (most) elliptic curves, in particular elliptic curves like E a,b,c, are modular. Gerhard Frey (and others) suggested using an hypothetical solution (a,b,c) of Fermat’s equation to “manufacture” an elliptic curve E a,b,c : y 2 = x (x – a p ) (x + b p ).
47
Elliptic Curves and Fermat’s Last Theorem - 47 - To Summarize: Suppose that a p + b p = c p with abc 0. Ribet proved that E a,b,c is not modular Wiles proved that E a,b,c is modular. Conclusion: The equation a p + b p = c p has no solutions. E a,b,c : y 2 = x (x – a p ) (x + b p ) But what does it mean for an elliptic curve E to be modular?
48
The variable represents the elliptic curve E whose lattice is L = {n 1 +n 2 : n 1,n 2 Z }. So just as in string theory, the space of all elliptic curves makes an unexpected appearance. Elliptic Curves and Modularity - 48 - E is modular if it is parameterized by modular forms! There are many equivalent definitions, none of them particularly intuitive. Here’s one: A modular form is a function f( ) with the property
49
Conclusion - 49 -
50
References and Texts on Elliptic Curves - 50 - Apostol, T. Modular functions and Dirichlet series in number theory, Graduate Texts in Mathematics 41, Springer-Verlag, New York, 1976. Blake, I. F.; Seroussi, G.; Smart, N. P. Elliptic curves in cryptography. London Mathematical Society Lecture Note Series, 265. Cambridge University Press, Cambridge, 2000. Cremona, J. E. Algorithms for modular elliptic curves. Cambridge University Press, Cambridge, 1997. Knapp, A. Elliptic curves, Mathematical Notes 40, Princeton University Press, Princeton, NJ, 1992. Koblitz, N. Introduction to elliptic curves and modular forms, Springer-Verlag, NY, 1984.
51
References and Texts on Elliptic Curves - 51 - Lang, S. Elliptic functions, Graduate Texts in Mathematics 112, Springer-Verlag, NY, 1987. Lang, S. Elliptic curves: Diophantine analysis, Springer-Verlag, Berlin, 1978. Silverman, Joseph H. The arithmetic of elliptic curves. Graduate Texts in Mathematics, 106. Springer-Verlag, New York, 1986. Silverman, Joseph H. Advanced topics in the arithmetic of elliptic curves. Graduate Texts in Mathematics, 151. Springer-Verlag, New York, 1994. Silverman, Joseph H.; Tate, John. Rational points on elliptic curves. Under- graduate Texts in Mathematics. Springer-Verlag, New York, 1992.
52
The Ubiquity of Elliptic Curves Joseph Silverman (Brown University) MAA Invited Address – Expanded Version Baltimore – January 18, 2003
Similar presentations
© 2024 SlidePlayer.com. Inc.
All rights reserved.