seminar final presentation - union universitytitle seminar final presentation.nb created date...
TRANSCRIPT
![Page 1: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/1.jpg)
Elliptic Curves: a Jewel of Modern Mathematics
By: Jacob White
¢ | £
![Page 2: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/2.jpg)
How Would You Like toWin $1,000,000?
� Become famous like Andrew Wiles!
� Taniyama-Shimura Conjecture and Fermat's Last Theorem
� Birch and Swinnerton-Dyer Conjecture
¢ | £
2 Seminar Final Presentation.nb
![Page 3: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/3.jpg)
What does an EllipticCurve Look Like?
y2= x3 + 3x + 4
y2= x3 - 2x + 1
Seminar Final Presentation.nb 3
![Page 4: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/4.jpg)
-4 -2 0 2 4
-4
-2
0
2
4
-4 -2 0 2 4
-4
-2
0
2
4
¢ | £
4 Seminar Final Presentation.nb
![Page 5: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/5.jpg)
The General Form of an Elliptic Curve
� Complete general form : y2 + ay = x3 + bx2 + cxy + dx + e, together with a special point, O
� Typical form: y2 = x3 + ax + b (occurs when characteristic of field is neither 2 nor 3, and is called Weierstrass Normal Form)
¢ | £
Seminar Final Presentation.nb 5
![Page 6: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/6.jpg)
More ExamplesWeierstrass Normal Form Elliptic Curve:
A
B
[email protected], 25.D, ImageSize ® Large,
PlotRange ® 88-5, 9<, 8-30, 30<<, AxesLabel ,
PlotLabel ® y2 � x3 - 10.5 x + 25.
Show::gtype : PlotEc is not a type of graphics. �
¢ | £
6 Seminar Final Presentation.nb
![Page 7: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/7.jpg)
What do these Curves have to do with Ellipses?
� Wallis - English Mathematician studying arclength of an ellipseParameterize ellipse using x = acos(Θ), y = bsin(Θ)
� aá 1 -I1-b2M
a2cos2HΘL â Θ
Let e2 = 1 - b2
a2, x = cos(Θ) and the integral becomes: -aá 1 - Ie2 x2M
1-x2â x
� Let y denote the integrand, and note that y2I1 - x2) = 1 - e2 x2
Now let u = 1
1 + x, v = y H1-xL
H1+xL and you can get v2 = 2 Iu3M I1 - e2M + u2I5 e2 - 1) - 4 e2u + e2
And now we have an elliptic curve!
¢ | £
Seminar Final Presentation.nb 7
![Page 8: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/8.jpg)
Elliptic Integrals� Does this integral look familiar? à 1
1-x2
â x
� That's the Arcsine function!
� Arises from arclength of a circle rather than ellipse
� Example: -aá 1 -Ie2 x2M1-x2
â x
� Generalization of inverse trigonometric functions
¢ | £
8 Seminar Final Presentation.nb
![Page 9: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/9.jpg)
Elliptic Functions� Sine versus Arcsine� Inversion of elliptic integrals!� y=Sin(x) has period 2Π...� Definition: in the complex plane, an elliptic function is a doubly periodic function that is analytic and without singularities, where the ratio of the periods cannot be real
� Arise in differential equations, applications in engineering and physics
� Weierstrass elliptic functions
¢ | £
Seminar Final Presentation.nb 9
![Page 10: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/10.jpg)
Gauss, Jacobi, and Abel� Gauss - arclength of the
lemniscate: 1
2Ù
0
11
1-x4â x
� Jacobi's incomplete elliptic integral of the first kind: Ù0
x 1
I1-x2M I1-k2 x2M â x
k2 is called the modulus of the function.
� Gauss and Abel: if k2 ¹ 1, then inversion gives an elliptic function!
¢ | £
10 Seminar Final Presentation.nb
![Page 11: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/11.jpg)
A torus on C/L� Definition: The lattice L formed by x and y is the set {ax + by | a,b Ε Z}
Example: the Gaussian Integers {a + bi | a,b Ε Z}!
� Form lattice with periods of elliptic function
� C/L is a torus!
¢ | £
Seminar Final Presentation.nb 11
![Page 12: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/12.jpg)
An Informal Definition of an Elliptic Curve
� A cubic curve whose solutions fall within a region topologically equivalent to a torus.
� Where did that come from?
� The Weierstrass elliptic functions tell us how to go from a given torus to an equation of the curve
¢ | £
12 Seminar Final Presentation.nb
![Page 13: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/13.jpg)
Seminar Final Presentation.nb 13
![Page 14: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/14.jpg)
Summary and Explanation
� Starting with an elliptic integral, take the inverse to get to an elliptic function.
� The resulting function has two complex periods, and by creating a lattice L out of these points we can use C/L to define an elliptic curve.
� Weierstrass elliptic functions again
� y2 + ay = x3 + bx2 + cxy + dx + e.
14 Seminar Final Presentation.nb
![Page 15: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/15.jpg)
�
y2 + ay = x3 + bx2 + cxy + dx + e.
¢ | £
Seminar Final Presentation.nb 15
![Page 16: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/16.jpg)
Introduction to the Projective Plane
� Special point on all elliptic curves?
� Definition: The real projective plane is the set of all lines through the origin.
� Ratios [X:Y:Z], where X,Y,Z Ε R. (2,3,5) ~ (4,6,10)
� Identify lines of R3 with their slope
¢ | £
16 Seminar Final Presentation.nb
![Page 17: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/17.jpg)
Seminar Final Presentation.nb 17
![Page 18: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/18.jpg)
Projective Plane (Continued)
� PR2 (the projective plane):
{[X:Y:Z] | X, Y, Z Ε R, and X,Y,Z not all zero}.
� Line at infinity (Z = 0 yields [1:y:0])� XY-plane hidden in projective plane (Z ¹ 1 yields [x:y:1])
� Equation for elliptic curve including special point: Y2Z = X3 + aX2Z + bXZ2 + cZ3
� Intersection of equation with projective plane?
� Point at infinity and Weierstrass Equation (y2 = x3 + ax + b)
18 Seminar Final Presentation.nb
![Page 19: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/19.jpg)
�
Point at infinity and Weierstrass Equation (y2 = x3 + ax + b)
¢ | £
Seminar Final Presentation.nb 19
![Page 20: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/20.jpg)
20 Seminar Final Presentation.nb
![Page 21: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/21.jpg)
Finally, a Formal Definition
� An elliptic curve over a field K is the set of all solutions in K of a nonsingular projective algebraic curve over K with genus 1, together with a given point defined over K.
� Nonsingular - if f(x) is the equation of the curve, -f'(x) and 2 f HxL don't vanish at the same point
� Topologically equivalent to a torus
� Point at infinity
Seminar Final Presentation.nb 21
![Page 22: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/22.jpg)
�
Point at infinity¢ | £
22 Seminar Final Presentation.nb
![Page 23: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/23.jpg)
Addition?� We must be able to add points - C/L
� Geometric way: take two points on the curve, construct the line between them. If the line intersects a third point (almost always the case), reflect this point through the horizontal axis of symmetry to find the sum.
� Special cases...
� Abel's proof
¢ | £
Seminar Final Presentation.nb 23
![Page 24: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/24.jpg)
Demonstration of Addition
-4 -2 0
-4
-2
0
2
4
y2 � x3- 3 x - 1
È
¢ | £
24 Seminar Final Presentation.nb
![Page 25: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/25.jpg)
What Properties Hold for this Addition?
� Additive inverse of a point (x,y) is (x, -y)
� Identity: point at infinity
� Associativity holds
� Even commutativity holds!
¢ | £
Seminar Final Presentation.nb 25
![Page 26: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/26.jpg)
A Group is Born!� Abelian group
� Geometry, Complex Analysis, and Abstract Algebra meet one another
� Applications of this remarkable fact
¢ | £
26 Seminar Final Presentation.nb
![Page 27: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/27.jpg)
Subgroups� Poincare studied elliptic curves in depth
� Subgroup for the form y2 = x3 + ax + b
� Let a, b Ε K for some field K. The set of all solutions with coordinates in K forms a subgroup of the entire curve
¢ | £
Seminar Final Presentation.nb 27
![Page 28: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/28.jpg)
28 Seminar Final Presentation.nb
![Page 29: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/29.jpg)
Finite Fields and Cryptography
� The field K doesn't have to be infinite
� Applications to cryptography enjoy the field Zp, where p is prime
� We can't view the curve geometrically over Zp, but we can still add
Seminar Final Presentation.nb 29
![Page 30: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/30.jpg)
�
We can't view the curve geometrically over Zp, but we can still add
¢ | £
30 Seminar Final Presentation.nb
![Page 31: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/31.jpg)
Seminar Final Presentation.nb 31
![Page 32: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/32.jpg)
Birch and Swinnerton-Dyer
� What if K is the rational numbers?
� The conjecture is that there is a simple way to tell whether an elliptic curve over Q has a finite or infinite number of solutions whose coordinates are also rational.
� Has been proven in special cases, still huge amount of research
¢ | £
32 Seminar Final Presentation.nb
![Page 33: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/33.jpg)
¢ | £
Seminar Final Presentation.nb 33
![Page 34: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/34.jpg)
Final Thoughts� Elliptic Curves are of vital importance in modern number theory
� Studying them *could* net you money
� Applications in computer science, engineering, and physics
¢ | £
34 Seminar Final Presentation.nb
![Page 35: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/35.jpg)
Special Thanks To:
� Wolfram and Mathematica for demonstrations and insight
� Dr. Lunsford for helping me choose an interesting and challenging topic
¢ | £
Seminar Final Presentation.nb 35
![Page 36: Seminar Final Presentation - Union UniversityTitle Seminar Final Presentation.nb Created Date 7/14/2010 11:32:58 AM](https://reader034.vdocuments.site/reader034/viewer/2022050608/5faf09e6ddb08b6eb0314f4d/html5/thumbnails/36.jpg)
Works Cited� Koblitz, Neal. Introduction to Elliptic Curves and Modular Forms. New York: Springer, 1984.
� McKean, Henry and Moll, Victor. Elliptic Curves. Cambridge University Press, 1997.
� Charlap, Leonard S., and Robbins, David P. “An Elementary Introduction to Elliptic Curves.” December 1988. <www.idaccr.org/reports/reports.html>
� Akhtar, Reza. “An Introduction to Elliptic Curves.” Summer 2002. <calico.mth.muohio.edu/reza/sumsri/2002/notes.pdf>
� Silverman, Joseph H. “An Introduction to the Theory of Elliptic Curves.” July 2006. <www.math.brown.edu/~jhs/Presentations/WyomingEllipticCurve.pdf>
� Hewitt, Paul. “A Brief History of Elliptic Curves.” December 2005. <livetoad.org/Courses/Documents/132d/…/history_of_elliptic_curves.pdf>
� www.wikipedia.org
� mathworld.wolfram.com
¢ | £
36 Seminar Final Presentation.nb