Title: The Ubiquity of Elliptic Curves
1The Ubiquity of Elliptic Curves
- Joseph Silverman (Brown University)
- SUMS Providence February 22, 2003
2Elliptic CurvesGeometry, Algebra, Analysis and
Beyond
3What is an Elliptic Curve?
- An elliptic curve is a curve thats also
naturally a group. - The group law on an elliptic curve can be
described - Geometrically using intersection theory
- Algebraically using polynomial equations
- Analytically using 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.
- 3 -
4The Equation of an Elliptic Curve
We also require that the polynomial f(x) has no
double roots. This ensures that the curve is
nonsingular.
- 4 -
5A Typical Elliptic Curve E
E Y2 X3 5X 8
Surprising Fact We can use geometry to make the
points of an elliptic curve into a group.
- 5 -
6The Group Law on anElliptic Curve
7Adding Points P Q on E
- 7 -
8Doubling a Point P on E
- 8 -
9Vertical Lines and an Extra Point at Infinity
Add an extra point O at infinity. The point O
lies on every vertical line.
- 9 -
10Properties of Addition on E
- Theorem The addition law on E has the following
properties - P O O P P for all P ? E.
- P (P) O for all P ? E.
- (P Q) R P (Q R) for all P,Q,R ? E.
- P Q Q P for 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.
- 10 -
11Algebraic Formulas for Addition on E
Suppose that we want to add the points P1
(x1,y1) and P2 (x2,y2) on the elliptic
curve E y2 x3 Ax B.
Quite a mess!!!!! But
Crucial Observation If A and B are in a field K
and if P1 and P2 have coordinates in K, then
P1 P2 and 2P1 have coordinates in K.
- 11 -
12The 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 y2 x3 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.
- 12 -
13A 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.
- 13 -
14Elliptic Curves and Complex Analysis
OrHow the Elliptic Curve Acquired Its
Unfortunate Moniker
15The Arc Length of an Ellipse
- 15 -
16The Arc Length of an Ellipse
- 16 -
17Elliptic Integrals and Elliptic Functions
- 17 -
18Elliptic Functions and Elliptic Curves
The ?-function and its derivative satisfy an
algebraic relation
This equation looks familiar
?(z) and ?(z) are functions on a fundamental
parallelogram
- 18 -
19The Complex Points on an Elliptic Curve
The ?-function gives a complex analytic
isomorphism
Parallelogram with opposite sides identified a
torus
- 19 -
20Elliptic Curves andNumber Theory
Rational Points on Elliptic Curves
21E(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 y2 x3 A x B
with A,B ? Q. There is a finite set of
points P1,P2,,Pr so that every point P in E(Q)
can be obtained as a sum P n1P1 n2P2
nrPr with n1,,nr ? Z. In other words, E(Q)
is a finitely generated group.
- 21 -
22E(Q) The Group of Rational Points
The elements of finite order in the group E(Q)
are quite well understood.
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.
- 22 -
23E(Fp) The Group of Points Modulo p
Number theorists also like to solve polynomial
equations modulo p.
This is much easier than finding solutions in Q,
since there are only finitely many solutions in
the finite field Fp! One expects E(Fp) to have
approximately p1 points. A famous theorem of
Hasse (later vastly generalized by Weil and
Deligne) quantifies this expectation.
- 23 -
24Elliptic Curves andCryptography
25The (Elliptic Curve) Discrete Log Problem
Let A be a group and let P and Q be known
elements of A.
- 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 Fp in a finite field. - Koblitz and Miller (1985) independently suggested
using the group E(Fp) 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 Fp or for factoring large
integers.
- 25 -
26Elliptic Curve Diffie-Hellman Key Exchange
Public Knowledge A group E(Fp) and a point P of
order n.
BOB
ALICE
Choose secret 0 lt b lt n Choose
secret 0 lt a lt n
Compute QBob bP Compute
QAlice aP
Compute bQAlice
Compute aQBob
Bob and Alice have the shared value bQAlice abP
aQBob
Presumably(?) recovering abP from aP and bP
requires solving the elliptic curve discrete
logarithm problem.
- 26 -
27Elliptic Curves andClassical Physics
28The Elliptic Curve and the Pendulum
- 28 -
29The Elliptic Curve and the Pendulum
This leads to a simple harmonic motion for the
pendulum.
- 29 -
30How to Solve the Pendulum Equation
- 30 -
31How to Solve the Pendulum Equation
An Elliptic Integral!!!
An Elliptic Curve!!!
Conclusion tan(q /2) Elliptic Function of t
- 31 -
32Elliptic Curves andModern Physics
33Elliptic Curves and String Theory
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.
- 33 -
34Elliptic Curves andNumber Theory
Fermats Last Theorem
35Fermats Last Theorem and Fermat Curves
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.
But Fermats curve is not an elliptic curve. So
how can elliptic curves be used to study Fermats
problem?
- 35 -
36Elliptic Curves and Fermats Last Theorem
Frey suggested that Ea,b,c would be such a
strange curve, it shouldnt exist at all. More
precisely, Frey doubted that Ea,b,c could be
modular. Ribet verified Freys intuition by
proving that Ea,b,c is indeed not modular. Wiles
completed the proof of Fermats Last Theorem by
showing that (most) elliptic curves, in
particular elliptic curves like Ea,b,c, are
modular.
- 36 -
37Elliptic Curves and Fermats Last Theorem
Ea,b,c y2 x (x ap) (x bp)
To Summarize Suppose that ap bp cp with
abc ? 0. Ribet proved that Ea,b,c is not
modular Wiles proved that Ea,b,c is
modular. Conclusion The equation ap bp cp
has no solutions.
- 37 -
38Elliptic Curves and Modularity
There are many equivalent definitions, none of
them particularly intuitive. Heres one
E is modular if it is parameterized by modular
forms!
- 38 -
39Conclusion
Elliptic Curves Are Everywhere
Don't Leave Home Without One!
- 39 -
40The Ubiquity ofElliptic Curves
Joseph Silverman (Brown University) SUMS
Providence, RI February 22, 2003
41A 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 dont make sense. For
example, we can take points with coordinates in
Fp.
Using the addition formulas, we can compute in
E(F37) 2P (35,11) 3P (34,25) 4P (8,6)
5P (16,19) P Q (11,10) 3P 4Q
(31,28)
- 41 -
42What Does E(K) Look Like?
There is no single answer, it depends on the
field K.
Analytically, E(R) is isomorphic to the circle
group S1 or to two copies of the circle group S1
? Z/2 Z.
- 42 -
43Elliptic Curves andTopology
44Cobordism and Genus
An important object in topology is the (complex
oriented) cobordism ring W.
- 44 -
45What Makes a Genus Elliptic?
- 45 -