SlideShare a Scribd company logo
1 of 46
Download to read offline
Rational Points on Elliptic Curves
Pradeep Kumar Mishra
Department of Mathematics
Indian Institute of Technology Hyderabad
May 4, 2015
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Elliptic curve
Definition
1 An elliptic curve is a pair (E, O), where E is a non singular
cubic curve and O ∈ E in projective space (We generally
denote the elliptic curve by E, the point O being understood).
The elliptic curve E is defined over field K, written E/K, if E
is defined over field K as a curve and O ∈ E.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Elliptic curve
Definition
1 An elliptic curve is a pair (E, O), where E is a non singular
cubic curve and O ∈ E in projective space (We generally
denote the elliptic curve by E, the point O being understood).
The elliptic curve E is defined over field K, written E/K, if E
is defined over field K as a curve and O ∈ E.
2 An affine Weierstrass equation (W.E.) over K is an equation
of the form:
E : Y 2 + a1XY + a3Y = X3 + a2X2 + a4X + a6, ai s ∈ K.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Elliptic curve
Definition
1 An elliptic curve is a pair (E, O), where E is a non singular
cubic curve and O ∈ E in projective space (We generally
denote the elliptic curve by E, the point O being understood).
The elliptic curve E is defined over field K, written E/K, if E
is defined over field K as a curve and O ∈ E.
2 An affine Weierstrass equation (W.E.) over K is an equation
of the form:
E : Y 2 + a1XY + a3Y = X3 + a2X2 + a4X + a6, ai s ∈ K.
c4 = (a2
1 + 4a2)2 − 24(2a4 + a1a3)
j = c4/ for = R(a,a2, a3, a4, a6) = 0
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Elliptic curve
Definition
1 An elliptic curve is a pair (E, O), where E is a non singular
cubic curve and O ∈ E in projective space (We generally
denote the elliptic curve by E, the point O being understood).
The elliptic curve E is defined over field K, written E/K, if E
is defined over field K as a curve and O ∈ E.
2 An affine Weierstrass equation (W.E.) over K is an equation
of the form:
E : Y 2 + a1XY + a3Y = X3 + a2X2 + a4X + a6, ai s ∈ K.
c4 = (a2
1 + 4a2)2 − 24(2a4 + a1a3)
j = c4/ for = R(a,a2, a3, a4, a6) = 0
is called the discriminant of E, j its j-invariant. A
non-singular affine W.E is an Elliptic curve.
Riemann-Roch theorem says every E.C. can be written as a
Weierstrass plane cubic, and conversely, every non-singular
Weierstrass plane cubic curve is an E.C.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Elliptic curve
Definition
1 An elliptic curve is a pair (E, O), where E is a non singular
cubic curve and O ∈ E in projective space (We generally
denote the elliptic curve by E, the point O being understood).
The elliptic curve E is defined over field K, written E/K, if E
is defined over field K as a curve and O ∈ E.
2 An affine Weierstrass equation (W.E.) over K is an equation
of the form:
E : Y 2 + a1XY + a3Y = X3 + a2X2 + a4X + a6, ai s ∈ K.
c4 = (a2
1 + 4a2)2 − 24(2a4 + a1a3)
j = c4/ for = R(a,a2, a3, a4, a6) = 0
is called the discriminant of E, j its j-invariant. A
non-singular affine W.E is an Elliptic curve.
Riemann-Roch theorem says every E.C. can be written as a
Weierstrass plane cubic, and conversely, every non-singular
Weierstrass plane cubic curve is an E.C.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Group law on an elliptic curve
• If char(K) = 2, 3, then by change of variable, E looks like
E : y2
= x3
+ ax + b
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Group law on an elliptic curve
• If char(K) = 2, 3, then by change of variable, E looks like
E : y2
= x3
+ ax + b
Proposition
(a) The elliptic curve given by a Weierstrass equation is
non singular if and only if = 0.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Group law on an elliptic curve
• If char(K) = 2, 3, then by change of variable, E looks like
E : y2
= x3
+ ax + b
Proposition
(a) The elliptic curve given by a Weierstrass equation is
non singular if and only if = 0.
(b) Two elliptic curves are isomorphic over field ¯K if and
only if they both have the same j-invariant.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Group law on an elliptic curve
• If char(K) = 2, 3, then by change of variable, E looks like
E : y2
= x3
+ ax + b
Proposition
(a) The elliptic curve given by a Weierstrass equation is
non singular if and only if = 0.
(b) Two elliptic curves are isomorphic over field ¯K if and
only if they both have the same j-invariant.
Group law on rational points on an elliptic curve:
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Group law on an elliptic curve
• If char(K) = 2, 3, then by change of variable, E looks like
E : y2
= x3
+ ax + b
Proposition
(a) The elliptic curve given by a Weierstrass equation is
non singular if and only if = 0.
(b) Two elliptic curves are isomorphic over field ¯K if and
only if they both have the same j-invariant.
Group law on rational points on an elliptic curve:
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Group law on an elliptic curve
Doubling a Point P on E.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Group law on an elliptic curve
Doubling a Point P on E.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Group law on an elliptic curve
Doubling a Point P on E.
Vertical Lines and an Extra Point
at Infinity.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Group law on an elliptic curve
Doubling a Point P on E.
Vertical Lines and an Extra Point
at Infinity.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Algebraic Formulas for Addition on E
Suppose that we want to add
points
P = (x1, y1) and Q = (x2, y2)
on the elliptic curve
y2 = x3 + ax + b, a, b ∈ Q.
If P1 = P2 then λ = y2−y1
x2−x1
and if P1 = P2 then λ =
3x2
1 +a
2y1
Then P + Q = (λ2 − x1 − x2, −λ3 + 2λx1 + λx2 − y1) .
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Algebraic Formulas for Addition on E
Suppose that we want to add
points
P = (x1, y1) and Q = (x2, y2)
on the elliptic curve
y2 = x3 + ax + b, a, b ∈ Q.
If P1 = P2 then λ = y2−y1
x2−x1
and if P1 = P2 then λ =
3x2
1 +a
2y1
Then P + Q = (λ2 − x1 − x2, −λ3 + 2λx1 + λx2 − y1) .
Observation:
If a, b ∈ Q and P, Q ∈ E(Q) , then P + Q, 2P ∈ E(Q).
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Properties of “Addition” on E
The addition law on E has the following properties:
(a) P + O = O + P = P ∀ P ∈ E(Q)
(b) P + (−P) = O ∀ P ∈ E(Q)
(c) P + Q = Q + P ∀ P, Q ∈ E(Q)
(d) P+(Q+R) = (P+Q)+R ∀ P, Q, R ∈ E(Q)
(e) P +Q ∈ E(Q) ∀ P, Q ∈ E(Q)
In other words, the addition law + makes the points of E
into a commutative group.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Rationality of points in the torsion subgroup
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Rationality of points in the torsion subgroup
Theorem (Nagell 1935, Lutz 1937)
The finite order points (x, y) ∈ Q2 on an elliptic curve E satisfy:
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Rationality of points in the torsion subgroup
Theorem (Nagell 1935, Lutz 1937)
The finite order points (x, y) ∈ Q2 on an elliptic curve E satisfy:
1 x and y are integers
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Rationality of points in the torsion subgroup
Theorem (Nagell 1935, Lutz 1937)
The finite order points (x, y) ∈ Q2 on an elliptic curve E satisfy:
1 x and y are integers such that either y = 0 or y| .
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Rationality of points in the torsion subgroup
Theorem (Nagell 1935, Lutz 1937)
The finite order points (x, y) ∈ Q2 on an elliptic curve E satisfy:
1 x and y are integers such that either y = 0 or y| .
2 There is a finite number of such points.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Rationality of points in the torsion subgroup
Theorem (Nagell 1935, Lutz 1937)
The finite order points (x, y) ∈ Q2 on an elliptic curve E satisfy:
1 x and y are integers such that either y = 0 or y| .
2 There is a finite number of such points.
This helps us compute E(Q)tors.
Mazur’s Theorem
If P ∈ E(Q)tors, then 1 ≤ ordE (P) ≤ 12 with ordE (P) = 11.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Computation of E(Q)tors
Torsion and non-torsion element
There is a simple algorithm for computing E(Q)tors.
1 Find integers y where y|D.
2 For every y found above, find roots of f (x) − y2 to obtain
x-coordinates.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Computation of E(Q)tors
Torsion and non-torsion element
There is a simple algorithm for computing E(Q)tors.
1 Find integers y where y|D.
2 For every y found above, find roots of f (x) − y2 to obtain
x-coordinates.
3 For every P = (x, y), compute nP where n = 2, 3, . . . , 10, 12.
If nP = O then P ∈ E(Q)tors.
If nP has non-integer coordinates,P /∈ E(Q)tors.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
The Mordell-Weil Theorem
Let E be an elliptic curve defined over Q.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
The Mordell-Weil Theorem
Let E be an elliptic curve defined over Q. Then E(Q) is
finitely generated Abelian group.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
The Mordell-Weil Theorem
Let E be an elliptic curve defined over Q. Then E(Q) is
finitely generated Abelian group. (Mordell 1922).
Pradeep Kumar Mishra Rational Points on Elliptic Curves
The Mordell-Weil Theorem
Let E be an elliptic curve defined over Q. Then E(Q) is
finitely generated Abelian group. (Mordell 1922).
E(Q) ∼= Zr ⊕ E(Q)tors
Pradeep Kumar Mishra Rational Points on Elliptic Curves
The Mordell-Weil Theorem
Let E be an elliptic curve defined over Q. Then E(Q) is
finitely generated Abelian group. (Mordell 1922).
E(Q) ∼= Zr ⊕ E(Q)tors
where r is the rank of elliptic curve.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
The Mordell-Weil Theorem
Let E be an elliptic curve defined over Q. Then E(Q) is
finitely generated Abelian group. (Mordell 1922).
E(Q) ∼= Zr ⊕ E(Q)tors
where r is the rank of elliptic curve.
E(Q)tors.
Definition
Height of the point P = (x, y) ∈ E(Q) is defined as :
H(P) = H(x) = H
m
n
= max{|m|, |n|}
further we define
h(P) = logH(P)
So h(P) is always a non negative real number.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Mordell-Weil Theorem
For proving Mordell-Weil Theorem we need following four
lemmas:
Lemma 1 : for every real number M, the set
{P ∈ E(Q) : h(P) ≤ M} is finite.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Mordell-Weil Theorem
For proving Mordell-Weil Theorem we need following four
lemmas:
Lemma 1 : for every real number M, the set
{P ∈ E(Q) : h(P) ≤ M} is finite.
Lemma 2 : for every P0 ∈ E(Q), there is a constant κ0
depending on P0, a, b, c so that
h(P + P0) ≤ 2h(P) + κ0 ∀P ∈ E(Q).
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Mordell-Weil Theorem
For proving Mordell-Weil Theorem we need following four
lemmas:
Lemma 1 : for every real number M, the set
{P ∈ E(Q) : h(P) ≤ M} is finite.
Lemma 2 : for every P0 ∈ E(Q), there is a constant κ0
depending on P0, a, b, c so that
h(P + P0) ≤ 2h(P) + κ0 ∀P ∈ E(Q).
Lemma 3 : there is a constant κ so that
h(2P) ≥ 4h(P) − κ ∀P ∈ E(Q).
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Mordell-Weil Theorem
For proving Mordell-Weil Theorem we need following four
lemmas:
Lemma 1 : for every real number M, the set
{P ∈ E(Q) : h(P) ≤ M} is finite.
Lemma 2 : for every P0 ∈ E(Q), there is a constant κ0
depending on P0, a, b, c so that
h(P + P0) ≤ 2h(P) + κ0 ∀P ∈ E(Q).
Lemma 3 : there is a constant κ so that
h(2P) ≥ 4h(P) − κ ∀P ∈ E(Q).
Lemma 4 : The subgroup 2E(Q) has finite index in E(Q).
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Proof of Mordell-Weil Theorem
Let {Qi }n
i=1 be representatives for the cosets. Then there is an
index i1, depending on P, such that
P − Qi1 ∈ 2E(Q) ⇒ P − Qi1 = 2P1 f.s. P1 ∈ E(Q).
Now we do the same thing with P1. Continuing this process, we
find we can write
P1 − Qi2 = 2P2, P2 − Qi3 = 2P3, P3 − Qi4 = 2P4, . . .
Pm−1 − Qim = 2Pm
where {Qij }, 1 ≤ i ≤ n, 1 ≤ j ≤ m are chosen from the coset
representatives {Qi }n
i=1
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Proof of Mordell-Weil Theorem
and {Pi }m
i=1 are elements of E(Q).From above we have
P = Qi1 + 2P1
Now substitute the second equation P1 = Qi2 + 2P2 into this to get
P1 = Qi1 + 2Qi2 + 4P2
Continuing in this fashion, we obtain
P = Qi1 + 2Qi2 + 4Qi3 + · · · + 2m−1
Qm + 2m
Pm (a)
From 2nd lemma
h(P − Qi ) ≤ 2h(P) + κi ∀P ∈ E(Q)
We do this for each Qi , 1 ≤ i ≤ n. Let κ be the largest of the κi s.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Proof of Mordell-Weil Theorem
Then
h(P − Qi ) ≤ 2h(P) + κ ∀P ∈ E(Q) and 1 ≤ i ≤ n
Now from lemma (3)
4h(Pj ) ≤ h(2Pj ) + κ = h(Pj−1 − Qij
) + κ ≤ 2h(Pj−1) + κ + κ
h(Pj ) ≤
3
4
h(Pj−1) −
1
4
(h(Pj−1) − (κ + κ))
From this we see that if h(Pj−1) ≥ κ + κ then
h(Pj ) ≤
3
4
h(Pj−1)
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Proof of Mordell-Weil Theorem
So we will find an index m so that h(Pm) ≤ κ + κ
We have now shown that every element P ∈ E(Q) be written in
the form
P = a1Q1 + a2Q2 + a3Q3 + · · · + anQn + 2m
Pm
for certain integers a1, a2, a3, . . . , an and some point Pm ∈ E(Q)
satisfying the inequality h(Pm) ≤ κ + κ . Hence, the set
{Q1, Q2, Q3, . . . , Qn} ∪ {Pm ∈ E(Q) : h(Pm) ≤ κ + κ }
generates E(Q) moreover this set is finite so E(Q) is finitely
generated Abelian group.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Finding the rank of E(C)
There is no known effective method to find r, the rank.
For example the curve y2 = x3 + 877x has rank one and the
x−coordinate of a generator is given by
612776083187947368101
7884153586063900210
2
It is conjectured that there are curves of arbitrarily high rank
As of 2006 the curve of highest known rank is of rank at least
28. It is given by
y2
+xy +y = x3
−x2
−2006776241557552658503+320820933
8542750930230312178956502x + 344816117950305564670
3298569039072037485594435931918036126600829629193
9448732243429
Pradeep Kumar Mishra Rational Points on Elliptic Curves
ECC
ECC
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Application(congruent number problem)
• A natural number n is called congruent number if there exist a
right angled triangle with all three sides rationals and with area n.
Suppose a, b, c satisfies: a2 + b2 = c2 and 1
2ab = n Then
the set
n(a + c)
c
, y =
2n2(a + c)
b2
⇒ y2
= x3
− n2
x
Conversely, a = x2−n2
y , c = x2+n2
y , b = 2nx
y
• A positive rational number n is congruent if and only if the
elliptic curve has a rational point with y = 0.
Continuing with n = 5, y2 = x3 − 25x. We have poiont (−4, 6) on
the curve E
Now we can find a, b and c.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
Further study
Furture work plan:
1 Can we find an elliptic curve where all points are of infinite
order.
2 Elliptic curves over finite fields.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
References
Koblitz, Neal. Introduction to elliptic curves and modular
forms. Second edition. Graduate Texts in Mathematics, 97.
Springer-Verlag, New York, 1993. Graduate Texts in
Mathematics.
Silverman, Joseph H. The arithmetic of elliptic curves. Second
edition. Graduate Texts in Mathematics, 106. Springer,
Dordrecht, 2009.
David Cox, John Little, Donal O Shea, Ideals, Varieties, and
Algorithms,Third edition, 2007.
Silverman, Joseph H.; Tate, John. Rational points on elliptic
curves. Undergraduate Texts in Mathematics. Springer-Verlag,
New York, 1992.
Shafarevich, Igor R. Basic algebraic geometry. 2. Schemes and
complex manifolds. Third edition. Translated from the 2007
third Russian edition by Miles Reid. Springer, Heidelberg, 2013.
Pradeep Kumar Mishra Rational Points on Elliptic Curves
The end
Pradeep Kumar Mishra Rational Points on Elliptic Curves

More Related Content

What's hot

Eigen values and eigen vectors engineering
Eigen values and eigen vectors engineeringEigen values and eigen vectors engineering
Eigen values and eigen vectors engineeringshubham211
 
Unit i
Unit i Unit i
Unit i sunmo
 
Maths-->>Eigenvalues and eigenvectors
Maths-->>Eigenvalues and eigenvectorsMaths-->>Eigenvalues and eigenvectors
Maths-->>Eigenvalues and eigenvectorsJaydev Kishnani
 
5.vector geometry Further Mathematics Zimbabwe Zimsec Cambridge
5.vector geometry   Further Mathematics Zimbabwe Zimsec Cambridge5.vector geometry   Further Mathematics Zimbabwe Zimsec Cambridge
5.vector geometry Further Mathematics Zimbabwe Zimsec Cambridgealproelearning
 
Eigenvalues and eigenvectors
Eigenvalues and eigenvectorsEigenvalues and eigenvectors
Eigenvalues and eigenvectorsiraq
 
Rational points on elliptic curves
Rational points on elliptic curvesRational points on elliptic curves
Rational points on elliptic curvesmmasdeu
 
Eigen values and eigenvectors
Eigen values and eigenvectorsEigen values and eigenvectors
Eigen values and eigenvectorsAmit Singh
 
derogatory and non derogatory matrices
derogatory and non derogatory matricesderogatory and non derogatory matrices
derogatory and non derogatory matricesKomal Singh
 
Lecture 9 eigenvalues - 5-1 & 5-2
Lecture 9   eigenvalues -  5-1 & 5-2Lecture 9   eigenvalues -  5-1 & 5-2
Lecture 9 eigenvalues - 5-1 & 5-2njit-ronbrown
 
Discrete maths tutorials
Discrete maths tutorialsDiscrete maths tutorials
Discrete maths tutorialsDIT University
 
On Fully Indecomposable Quaternion Doubly Stochastic Matrices
On Fully Indecomposable Quaternion Doubly Stochastic MatricesOn Fully Indecomposable Quaternion Doubly Stochastic Matrices
On Fully Indecomposable Quaternion Doubly Stochastic Matricesijtsrd
 
IIT JAM PHYSICS - PH 2022 Question Paper | Sourav Sir's Classes
IIT JAM PHYSICS - PH 2022 Question Paper | Sourav Sir's ClassesIIT JAM PHYSICS - PH 2022 Question Paper | Sourav Sir's Classes
IIT JAM PHYSICS - PH 2022 Question Paper | Sourav Sir's ClassesSOURAV DAS
 
COMPUTING WIENER INDEX OF FIBONACCI WEIGHTED TREES
COMPUTING WIENER INDEX OF FIBONACCI WEIGHTED TREESCOMPUTING WIENER INDEX OF FIBONACCI WEIGHTED TREES
COMPUTING WIENER INDEX OF FIBONACCI WEIGHTED TREEScscpconf
 
Linear Transformation Vector Matrices and Spaces
Linear Transformation Vector Matrices and SpacesLinear Transformation Vector Matrices and Spaces
Linear Transformation Vector Matrices and SpacesSohaib H. Khan
 
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear TransformationsCeni Babaoglu, PhD
 

What's hot (20)

Eigen values and eigen vectors engineering
Eigen values and eigen vectors engineeringEigen values and eigen vectors engineering
Eigen values and eigen vectors engineering
 
Unit i
Unit i Unit i
Unit i
 
Maths-->>Eigenvalues and eigenvectors
Maths-->>Eigenvalues and eigenvectorsMaths-->>Eigenvalues and eigenvectors
Maths-->>Eigenvalues and eigenvectors
 
Eigenvalues
EigenvaluesEigenvalues
Eigenvalues
 
Eigen value and vectors
Eigen value and vectorsEigen value and vectors
Eigen value and vectors
 
5.vector geometry Further Mathematics Zimbabwe Zimsec Cambridge
5.vector geometry   Further Mathematics Zimbabwe Zimsec Cambridge5.vector geometry   Further Mathematics Zimbabwe Zimsec Cambridge
5.vector geometry Further Mathematics Zimbabwe Zimsec Cambridge
 
Eigenvalues and eigenvectors
Eigenvalues and eigenvectorsEigenvalues and eigenvectors
Eigenvalues and eigenvectors
 
Rational points on elliptic curves
Rational points on elliptic curvesRational points on elliptic curves
Rational points on elliptic curves
 
Eigen values and eigenvectors
Eigen values and eigenvectorsEigen values and eigenvectors
Eigen values and eigenvectors
 
derogatory and non derogatory matrices
derogatory and non derogatory matricesderogatory and non derogatory matrices
derogatory and non derogatory matrices
 
Lecture 9 eigenvalues - 5-1 & 5-2
Lecture 9   eigenvalues -  5-1 & 5-2Lecture 9   eigenvalues -  5-1 & 5-2
Lecture 9 eigenvalues - 5-1 & 5-2
 
Discrete maths tutorials
Discrete maths tutorialsDiscrete maths tutorials
Discrete maths tutorials
 
On Fully Indecomposable Quaternion Doubly Stochastic Matrices
On Fully Indecomposable Quaternion Doubly Stochastic MatricesOn Fully Indecomposable Quaternion Doubly Stochastic Matrices
On Fully Indecomposable Quaternion Doubly Stochastic Matrices
 
IIT JAM PHYSICS - PH 2022 Question Paper | Sourav Sir's Classes
IIT JAM PHYSICS - PH 2022 Question Paper | Sourav Sir's ClassesIIT JAM PHYSICS - PH 2022 Question Paper | Sourav Sir's Classes
IIT JAM PHYSICS - PH 2022 Question Paper | Sourav Sir's Classes
 
B.Tech-II_Unit-I
B.Tech-II_Unit-IB.Tech-II_Unit-I
B.Tech-II_Unit-I
 
COMPUTING WIENER INDEX OF FIBONACCI WEIGHTED TREES
COMPUTING WIENER INDEX OF FIBONACCI WEIGHTED TREESCOMPUTING WIENER INDEX OF FIBONACCI WEIGHTED TREES
COMPUTING WIENER INDEX OF FIBONACCI WEIGHTED TREES
 
Linear Transformation Vector Matrices and Spaces
Linear Transformation Vector Matrices and SpacesLinear Transformation Vector Matrices and Spaces
Linear Transformation Vector Matrices and Spaces
 
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
 
balakrishnan2004
balakrishnan2004balakrishnan2004
balakrishnan2004
 
Power method
Power methodPower method
Power method
 

Viewers also liked

Paul Wrighton resume Nov 2016
Paul Wrighton resume Nov 2016Paul Wrighton resume Nov 2016
Paul Wrighton resume Nov 2016Paul Wrighton
 
Martin,Dustin.thesis
Martin,Dustin.thesisMartin,Dustin.thesis
Martin,Dustin.thesisDustin Martin
 
M.Sc_Maths Thesis Pradeep Mishra
M.Sc_Maths Thesis Pradeep MishraM.Sc_Maths Thesis Pradeep Mishra
M.Sc_Maths Thesis Pradeep MishraPradeep Mishra
 
Presentation on advance tax
Presentation on advance taxPresentation on advance tax
Presentation on advance taxPooja Gupta
 
Kelompok 9.pptx rahma
Kelompok 9.pptx rahmaKelompok 9.pptx rahma
Kelompok 9.pptx rahmaRahmatugas
 
MATRIMONIO Y DIVORCIO EN LA ACTUAL CONSTITUCIÓN
MATRIMONIO Y DIVORCIO EN LA ACTUAL CONSTITUCIÓN MATRIMONIO Y DIVORCIO EN LA ACTUAL CONSTITUCIÓN
MATRIMONIO Y DIVORCIO EN LA ACTUAL CONSTITUCIÓN AndresGallegos1212
 
RESUME (TAPAN) DOCX.MAY,2016
RESUME (TAPAN) DOCX.MAY,2016RESUME (TAPAN) DOCX.MAY,2016
RESUME (TAPAN) DOCX.MAY,2016Tapan Dutta
 
Jacob Levine Dissertation
Jacob Levine DissertationJacob Levine Dissertation
Jacob Levine DissertationJacob Levine
 
Tableau 라이브 온라인 교육 - 통계 분석 (Statistics)
Tableau 라이브 온라인 교육 - 통계 분석 (Statistics)Tableau 라이브 온라인 교육 - 통계 분석 (Statistics)
Tableau 라이브 온라인 교육 - 통계 분석 (Statistics)Jaeha Woo
 
Türkiye ve Dünyada Sosyal Medya Kullanımı / Nuray Aktay
Türkiye ve Dünyada Sosyal Medya Kullanımı / Nuray AktayTürkiye ve Dünyada Sosyal Medya Kullanımı / Nuray Aktay
Türkiye ve Dünyada Sosyal Medya Kullanımı / Nuray AktayNuray Aktay
 
Протестные настроения (апрель 2016). Протест дальнобойщиков
Протестные настроения (апрель 2016). Протест дальнобойщиковПротестные настроения (апрель 2016). Протест дальнобойщиков
Протестные настроения (апрель 2016). Протест дальнобойщиковStepan Goncharov
 
Selenium Camp 2016 - Effective UI tests scaling on Java
Selenium Camp 2016 - Effective UI tests scaling on JavaSelenium Camp 2016 - Effective UI tests scaling on Java
Selenium Camp 2016 - Effective UI tests scaling on JavaSergey Korol
 
Presentation on advance tax
Presentation on advance taxPresentation on advance tax
Presentation on advance taxPooja Gupta
 
Online publishers versus Ad-blockers
Online publishers versus Ad-blockersOnline publishers versus Ad-blockers
Online publishers versus Ad-blockersYanwen Zhang
 

Viewers also liked (19)

BMW 740li report
BMW 740li reportBMW 740li report
BMW 740li report
 
Paul Wrighton resume Nov 2016
Paul Wrighton resume Nov 2016Paul Wrighton resume Nov 2016
Paul Wrighton resume Nov 2016
 
Martin,Dustin.thesis
Martin,Dustin.thesisMartin,Dustin.thesis
Martin,Dustin.thesis
 
RESUME
RESUMERESUME
RESUME
 
dirtywarindex
dirtywarindexdirtywarindex
dirtywarindex
 
M.Sc_Maths Thesis Pradeep Mishra
M.Sc_Maths Thesis Pradeep MishraM.Sc_Maths Thesis Pradeep Mishra
M.Sc_Maths Thesis Pradeep Mishra
 
msorianoresume2
msorianoresume2msorianoresume2
msorianoresume2
 
Presentation on advance tax
Presentation on advance taxPresentation on advance tax
Presentation on advance tax
 
Enfoque 017 (2)
Enfoque 017 (2)Enfoque 017 (2)
Enfoque 017 (2)
 
Kelompok 9.pptx rahma
Kelompok 9.pptx rahmaKelompok 9.pptx rahma
Kelompok 9.pptx rahma
 
MATRIMONIO Y DIVORCIO EN LA ACTUAL CONSTITUCIÓN
MATRIMONIO Y DIVORCIO EN LA ACTUAL CONSTITUCIÓN MATRIMONIO Y DIVORCIO EN LA ACTUAL CONSTITUCIÓN
MATRIMONIO Y DIVORCIO EN LA ACTUAL CONSTITUCIÓN
 
RESUME (TAPAN) DOCX.MAY,2016
RESUME (TAPAN) DOCX.MAY,2016RESUME (TAPAN) DOCX.MAY,2016
RESUME (TAPAN) DOCX.MAY,2016
 
Jacob Levine Dissertation
Jacob Levine DissertationJacob Levine Dissertation
Jacob Levine Dissertation
 
Tableau 라이브 온라인 교육 - 통계 분석 (Statistics)
Tableau 라이브 온라인 교육 - 통계 분석 (Statistics)Tableau 라이브 온라인 교육 - 통계 분석 (Statistics)
Tableau 라이브 온라인 교육 - 통계 분석 (Statistics)
 
Türkiye ve Dünyada Sosyal Medya Kullanımı / Nuray Aktay
Türkiye ve Dünyada Sosyal Medya Kullanımı / Nuray AktayTürkiye ve Dünyada Sosyal Medya Kullanımı / Nuray Aktay
Türkiye ve Dünyada Sosyal Medya Kullanımı / Nuray Aktay
 
Протестные настроения (апрель 2016). Протест дальнобойщиков
Протестные настроения (апрель 2016). Протест дальнобойщиковПротестные настроения (апрель 2016). Протест дальнобойщиков
Протестные настроения (апрель 2016). Протест дальнобойщиков
 
Selenium Camp 2016 - Effective UI tests scaling on Java
Selenium Camp 2016 - Effective UI tests scaling on JavaSelenium Camp 2016 - Effective UI tests scaling on Java
Selenium Camp 2016 - Effective UI tests scaling on Java
 
Presentation on advance tax
Presentation on advance taxPresentation on advance tax
Presentation on advance tax
 
Online publishers versus Ad-blockers
Online publishers versus Ad-blockersOnline publishers versus Ad-blockers
Online publishers versus Ad-blockers
 

Similar to Presentation

18Ellipses-x.pptx
18Ellipses-x.pptx18Ellipses-x.pptx
18Ellipses-x.pptxmath260
 
2.6ellipses x
2.6ellipses x2.6ellipses x
2.6ellipses xmath260
 
18 ellipses x
18 ellipses x18 ellipses x
18 ellipses xmath260
 
Elliptical curve cryptography
Elliptical curve cryptographyElliptical curve cryptography
Elliptical curve cryptographyBarani Tharan
 
Coordinategeometry1 1
Coordinategeometry1 1Coordinategeometry1 1
Coordinategeometry1 1TGTMATH
 
Coordinategeometry1 1
Coordinategeometry1 1Coordinategeometry1 1
Coordinategeometry1 1TGTMATH
 
1- Matrices and their Applications.pdf
1- Matrices and their Applications.pdf1- Matrices and their Applications.pdf
1- Matrices and their Applications.pdfd00a7ece
 
linear equation in two variable.pptx
linear equation in two variable.pptxlinear equation in two variable.pptx
linear equation in two variable.pptxKirtiChauhan62
 
(4) Parabola theory Module.pdf
(4) Parabola theory Module.pdf(4) Parabola theory Module.pdf
(4) Parabola theory Module.pdfRajuSingh806014
 
Mathematics.pdf
Mathematics.pdfMathematics.pdf
Mathematics.pdfzaraa30
 
Series solutions at ordinary point and regular singular point
Series solutions at ordinary point and regular singular pointSeries solutions at ordinary point and regular singular point
Series solutions at ordinary point and regular singular pointvaibhav tailor
 
6.6 analyzing graphs of quadratic functions
6.6 analyzing graphs of quadratic functions6.6 analyzing graphs of quadratic functions
6.6 analyzing graphs of quadratic functionsJessica Garcia
 

Similar to Presentation (20)

18Ellipses-x.pptx
18Ellipses-x.pptx18Ellipses-x.pptx
18Ellipses-x.pptx
 
2.6ellipses x
2.6ellipses x2.6ellipses x
2.6ellipses x
 
18 ellipses x
18 ellipses x18 ellipses x
18 ellipses x
 
Elliptical curve cryptography
Elliptical curve cryptographyElliptical curve cryptography
Elliptical curve cryptography
 
Coordinategeometry1 1
Coordinategeometry1 1Coordinategeometry1 1
Coordinategeometry1 1
 
Coordinategeometry1 1
Coordinategeometry1 1Coordinategeometry1 1
Coordinategeometry1 1
 
Analisis unidad 3
Analisis unidad 3Analisis unidad 3
Analisis unidad 3
 
1- Matrices and their Applications.pdf
1- Matrices and their Applications.pdf1- Matrices and their Applications.pdf
1- Matrices and their Applications.pdf
 
Equation of second degree
Equation of second degreeEquation of second degree
Equation of second degree
 
Plano cartesiano
Plano cartesianoPlano cartesiano
Plano cartesiano
 
Cv25578584
Cv25578584Cv25578584
Cv25578584
 
Plano numerico.
Plano numerico.Plano numerico.
Plano numerico.
 
Equation of second degree
Equation of second degreeEquation of second degree
Equation of second degree
 
linear equation in two variable.pptx
linear equation in two variable.pptxlinear equation in two variable.pptx
linear equation in two variable.pptx
 
ECC_basics.ppt
ECC_basics.pptECC_basics.ppt
ECC_basics.ppt
 
(4) Parabola theory Module.pdf
(4) Parabola theory Module.pdf(4) Parabola theory Module.pdf
(4) Parabola theory Module.pdf
 
Mathematics.pdf
Mathematics.pdfMathematics.pdf
Mathematics.pdf
 
10TH MATH.pptx
10TH MATH.pptx10TH MATH.pptx
10TH MATH.pptx
 
Series solutions at ordinary point and regular singular point
Series solutions at ordinary point and regular singular pointSeries solutions at ordinary point and regular singular point
Series solutions at ordinary point and regular singular point
 
6.6 analyzing graphs of quadratic functions
6.6 analyzing graphs of quadratic functions6.6 analyzing graphs of quadratic functions
6.6 analyzing graphs of quadratic functions
 

Presentation

  • 1. Rational Points on Elliptic Curves Pradeep Kumar Mishra Department of Mathematics Indian Institute of Technology Hyderabad May 4, 2015 Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 2. Elliptic curve Definition 1 An elliptic curve is a pair (E, O), where E is a non singular cubic curve and O ∈ E in projective space (We generally denote the elliptic curve by E, the point O being understood). The elliptic curve E is defined over field K, written E/K, if E is defined over field K as a curve and O ∈ E. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 3. Elliptic curve Definition 1 An elliptic curve is a pair (E, O), where E is a non singular cubic curve and O ∈ E in projective space (We generally denote the elliptic curve by E, the point O being understood). The elliptic curve E is defined over field K, written E/K, if E is defined over field K as a curve and O ∈ E. 2 An affine Weierstrass equation (W.E.) over K is an equation of the form: E : Y 2 + a1XY + a3Y = X3 + a2X2 + a4X + a6, ai s ∈ K. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 4. Elliptic curve Definition 1 An elliptic curve is a pair (E, O), where E is a non singular cubic curve and O ∈ E in projective space (We generally denote the elliptic curve by E, the point O being understood). The elliptic curve E is defined over field K, written E/K, if E is defined over field K as a curve and O ∈ E. 2 An affine Weierstrass equation (W.E.) over K is an equation of the form: E : Y 2 + a1XY + a3Y = X3 + a2X2 + a4X + a6, ai s ∈ K. c4 = (a2 1 + 4a2)2 − 24(2a4 + a1a3) j = c4/ for = R(a,a2, a3, a4, a6) = 0 Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 5. Elliptic curve Definition 1 An elliptic curve is a pair (E, O), where E is a non singular cubic curve and O ∈ E in projective space (We generally denote the elliptic curve by E, the point O being understood). The elliptic curve E is defined over field K, written E/K, if E is defined over field K as a curve and O ∈ E. 2 An affine Weierstrass equation (W.E.) over K is an equation of the form: E : Y 2 + a1XY + a3Y = X3 + a2X2 + a4X + a6, ai s ∈ K. c4 = (a2 1 + 4a2)2 − 24(2a4 + a1a3) j = c4/ for = R(a,a2, a3, a4, a6) = 0 is called the discriminant of E, j its j-invariant. A non-singular affine W.E is an Elliptic curve. Riemann-Roch theorem says every E.C. can be written as a Weierstrass plane cubic, and conversely, every non-singular Weierstrass plane cubic curve is an E.C. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 6. Elliptic curve Definition 1 An elliptic curve is a pair (E, O), where E is a non singular cubic curve and O ∈ E in projective space (We generally denote the elliptic curve by E, the point O being understood). The elliptic curve E is defined over field K, written E/K, if E is defined over field K as a curve and O ∈ E. 2 An affine Weierstrass equation (W.E.) over K is an equation of the form: E : Y 2 + a1XY + a3Y = X3 + a2X2 + a4X + a6, ai s ∈ K. c4 = (a2 1 + 4a2)2 − 24(2a4 + a1a3) j = c4/ for = R(a,a2, a3, a4, a6) = 0 is called the discriminant of E, j its j-invariant. A non-singular affine W.E is an Elliptic curve. Riemann-Roch theorem says every E.C. can be written as a Weierstrass plane cubic, and conversely, every non-singular Weierstrass plane cubic curve is an E.C. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 7. Group law on an elliptic curve • If char(K) = 2, 3, then by change of variable, E looks like E : y2 = x3 + ax + b Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 8. Group law on an elliptic curve • If char(K) = 2, 3, then by change of variable, E looks like E : y2 = x3 + ax + b Proposition (a) The elliptic curve given by a Weierstrass equation is non singular if and only if = 0. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 9. Group law on an elliptic curve • If char(K) = 2, 3, then by change of variable, E looks like E : y2 = x3 + ax + b Proposition (a) The elliptic curve given by a Weierstrass equation is non singular if and only if = 0. (b) Two elliptic curves are isomorphic over field ¯K if and only if they both have the same j-invariant. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 10. Group law on an elliptic curve • If char(K) = 2, 3, then by change of variable, E looks like E : y2 = x3 + ax + b Proposition (a) The elliptic curve given by a Weierstrass equation is non singular if and only if = 0. (b) Two elliptic curves are isomorphic over field ¯K if and only if they both have the same j-invariant. Group law on rational points on an elliptic curve: Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 11. Group law on an elliptic curve • If char(K) = 2, 3, then by change of variable, E looks like E : y2 = x3 + ax + b Proposition (a) The elliptic curve given by a Weierstrass equation is non singular if and only if = 0. (b) Two elliptic curves are isomorphic over field ¯K if and only if they both have the same j-invariant. Group law on rational points on an elliptic curve: Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 12. Group law on an elliptic curve Doubling a Point P on E. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 13. Group law on an elliptic curve Doubling a Point P on E. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 14. Group law on an elliptic curve Doubling a Point P on E. Vertical Lines and an Extra Point at Infinity. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 15. Group law on an elliptic curve Doubling a Point P on E. Vertical Lines and an Extra Point at Infinity. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 16. Algebraic Formulas for Addition on E Suppose that we want to add points P = (x1, y1) and Q = (x2, y2) on the elliptic curve y2 = x3 + ax + b, a, b ∈ Q. If P1 = P2 then λ = y2−y1 x2−x1 and if P1 = P2 then λ = 3x2 1 +a 2y1 Then P + Q = (λ2 − x1 − x2, −λ3 + 2λx1 + λx2 − y1) . Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 17. Algebraic Formulas for Addition on E Suppose that we want to add points P = (x1, y1) and Q = (x2, y2) on the elliptic curve y2 = x3 + ax + b, a, b ∈ Q. If P1 = P2 then λ = y2−y1 x2−x1 and if P1 = P2 then λ = 3x2 1 +a 2y1 Then P + Q = (λ2 − x1 − x2, −λ3 + 2λx1 + λx2 − y1) . Observation: If a, b ∈ Q and P, Q ∈ E(Q) , then P + Q, 2P ∈ E(Q). Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 18. Properties of “Addition” on E The addition law on E has the following properties: (a) P + O = O + P = P ∀ P ∈ E(Q) (b) P + (−P) = O ∀ P ∈ E(Q) (c) P + Q = Q + P ∀ P, Q ∈ E(Q) (d) P+(Q+R) = (P+Q)+R ∀ P, Q, R ∈ E(Q) (e) P +Q ∈ E(Q) ∀ P, Q ∈ E(Q) In other words, the addition law + makes the points of E into a commutative group. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 19. Rationality of points in the torsion subgroup Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 20. Rationality of points in the torsion subgroup Theorem (Nagell 1935, Lutz 1937) The finite order points (x, y) ∈ Q2 on an elliptic curve E satisfy: Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 21. Rationality of points in the torsion subgroup Theorem (Nagell 1935, Lutz 1937) The finite order points (x, y) ∈ Q2 on an elliptic curve E satisfy: 1 x and y are integers Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 22. Rationality of points in the torsion subgroup Theorem (Nagell 1935, Lutz 1937) The finite order points (x, y) ∈ Q2 on an elliptic curve E satisfy: 1 x and y are integers such that either y = 0 or y| . Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 23. Rationality of points in the torsion subgroup Theorem (Nagell 1935, Lutz 1937) The finite order points (x, y) ∈ Q2 on an elliptic curve E satisfy: 1 x and y are integers such that either y = 0 or y| . 2 There is a finite number of such points. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 24. Rationality of points in the torsion subgroup Theorem (Nagell 1935, Lutz 1937) The finite order points (x, y) ∈ Q2 on an elliptic curve E satisfy: 1 x and y are integers such that either y = 0 or y| . 2 There is a finite number of such points. This helps us compute E(Q)tors. Mazur’s Theorem If P ∈ E(Q)tors, then 1 ≤ ordE (P) ≤ 12 with ordE (P) = 11. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 25. Computation of E(Q)tors Torsion and non-torsion element There is a simple algorithm for computing E(Q)tors. 1 Find integers y where y|D. 2 For every y found above, find roots of f (x) − y2 to obtain x-coordinates. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 26. Computation of E(Q)tors Torsion and non-torsion element There is a simple algorithm for computing E(Q)tors. 1 Find integers y where y|D. 2 For every y found above, find roots of f (x) − y2 to obtain x-coordinates. 3 For every P = (x, y), compute nP where n = 2, 3, . . . , 10, 12. If nP = O then P ∈ E(Q)tors. If nP has non-integer coordinates,P /∈ E(Q)tors. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 27. The Mordell-Weil Theorem Let E be an elliptic curve defined over Q. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 28. The Mordell-Weil Theorem Let E be an elliptic curve defined over Q. Then E(Q) is finitely generated Abelian group. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 29. The Mordell-Weil Theorem Let E be an elliptic curve defined over Q. Then E(Q) is finitely generated Abelian group. (Mordell 1922). Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 30. The Mordell-Weil Theorem Let E be an elliptic curve defined over Q. Then E(Q) is finitely generated Abelian group. (Mordell 1922). E(Q) ∼= Zr ⊕ E(Q)tors Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 31. The Mordell-Weil Theorem Let E be an elliptic curve defined over Q. Then E(Q) is finitely generated Abelian group. (Mordell 1922). E(Q) ∼= Zr ⊕ E(Q)tors where r is the rank of elliptic curve. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 32. The Mordell-Weil Theorem Let E be an elliptic curve defined over Q. Then E(Q) is finitely generated Abelian group. (Mordell 1922). E(Q) ∼= Zr ⊕ E(Q)tors where r is the rank of elliptic curve. E(Q)tors. Definition Height of the point P = (x, y) ∈ E(Q) is defined as : H(P) = H(x) = H m n = max{|m|, |n|} further we define h(P) = logH(P) So h(P) is always a non negative real number. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 33. Mordell-Weil Theorem For proving Mordell-Weil Theorem we need following four lemmas: Lemma 1 : for every real number M, the set {P ∈ E(Q) : h(P) ≤ M} is finite. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 34. Mordell-Weil Theorem For proving Mordell-Weil Theorem we need following four lemmas: Lemma 1 : for every real number M, the set {P ∈ E(Q) : h(P) ≤ M} is finite. Lemma 2 : for every P0 ∈ E(Q), there is a constant κ0 depending on P0, a, b, c so that h(P + P0) ≤ 2h(P) + κ0 ∀P ∈ E(Q). Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 35. Mordell-Weil Theorem For proving Mordell-Weil Theorem we need following four lemmas: Lemma 1 : for every real number M, the set {P ∈ E(Q) : h(P) ≤ M} is finite. Lemma 2 : for every P0 ∈ E(Q), there is a constant κ0 depending on P0, a, b, c so that h(P + P0) ≤ 2h(P) + κ0 ∀P ∈ E(Q). Lemma 3 : there is a constant κ so that h(2P) ≥ 4h(P) − κ ∀P ∈ E(Q). Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 36. Mordell-Weil Theorem For proving Mordell-Weil Theorem we need following four lemmas: Lemma 1 : for every real number M, the set {P ∈ E(Q) : h(P) ≤ M} is finite. Lemma 2 : for every P0 ∈ E(Q), there is a constant κ0 depending on P0, a, b, c so that h(P + P0) ≤ 2h(P) + κ0 ∀P ∈ E(Q). Lemma 3 : there is a constant κ so that h(2P) ≥ 4h(P) − κ ∀P ∈ E(Q). Lemma 4 : The subgroup 2E(Q) has finite index in E(Q). Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 37. Proof of Mordell-Weil Theorem Let {Qi }n i=1 be representatives for the cosets. Then there is an index i1, depending on P, such that P − Qi1 ∈ 2E(Q) ⇒ P − Qi1 = 2P1 f.s. P1 ∈ E(Q). Now we do the same thing with P1. Continuing this process, we find we can write P1 − Qi2 = 2P2, P2 − Qi3 = 2P3, P3 − Qi4 = 2P4, . . . Pm−1 − Qim = 2Pm where {Qij }, 1 ≤ i ≤ n, 1 ≤ j ≤ m are chosen from the coset representatives {Qi }n i=1 Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 38. Proof of Mordell-Weil Theorem and {Pi }m i=1 are elements of E(Q).From above we have P = Qi1 + 2P1 Now substitute the second equation P1 = Qi2 + 2P2 into this to get P1 = Qi1 + 2Qi2 + 4P2 Continuing in this fashion, we obtain P = Qi1 + 2Qi2 + 4Qi3 + · · · + 2m−1 Qm + 2m Pm (a) From 2nd lemma h(P − Qi ) ≤ 2h(P) + κi ∀P ∈ E(Q) We do this for each Qi , 1 ≤ i ≤ n. Let κ be the largest of the κi s. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 39. Proof of Mordell-Weil Theorem Then h(P − Qi ) ≤ 2h(P) + κ ∀P ∈ E(Q) and 1 ≤ i ≤ n Now from lemma (3) 4h(Pj ) ≤ h(2Pj ) + κ = h(Pj−1 − Qij ) + κ ≤ 2h(Pj−1) + κ + κ h(Pj ) ≤ 3 4 h(Pj−1) − 1 4 (h(Pj−1) − (κ + κ)) From this we see that if h(Pj−1) ≥ κ + κ then h(Pj ) ≤ 3 4 h(Pj−1) Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 40. Proof of Mordell-Weil Theorem So we will find an index m so that h(Pm) ≤ κ + κ We have now shown that every element P ∈ E(Q) be written in the form P = a1Q1 + a2Q2 + a3Q3 + · · · + anQn + 2m Pm for certain integers a1, a2, a3, . . . , an and some point Pm ∈ E(Q) satisfying the inequality h(Pm) ≤ κ + κ . Hence, the set {Q1, Q2, Q3, . . . , Qn} ∪ {Pm ∈ E(Q) : h(Pm) ≤ κ + κ } generates E(Q) moreover this set is finite so E(Q) is finitely generated Abelian group. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 41. Finding the rank of E(C) There is no known effective method to find r, the rank. For example the curve y2 = x3 + 877x has rank one and the x−coordinate of a generator is given by 612776083187947368101 7884153586063900210 2 It is conjectured that there are curves of arbitrarily high rank As of 2006 the curve of highest known rank is of rank at least 28. It is given by y2 +xy +y = x3 −x2 −2006776241557552658503+320820933 8542750930230312178956502x + 344816117950305564670 3298569039072037485594435931918036126600829629193 9448732243429 Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 42. ECC ECC Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 43. Application(congruent number problem) • A natural number n is called congruent number if there exist a right angled triangle with all three sides rationals and with area n. Suppose a, b, c satisfies: a2 + b2 = c2 and 1 2ab = n Then the set n(a + c) c , y = 2n2(a + c) b2 ⇒ y2 = x3 − n2 x Conversely, a = x2−n2 y , c = x2+n2 y , b = 2nx y • A positive rational number n is congruent if and only if the elliptic curve has a rational point with y = 0. Continuing with n = 5, y2 = x3 − 25x. We have poiont (−4, 6) on the curve E Now we can find a, b and c. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 44. Further study Furture work plan: 1 Can we find an elliptic curve where all points are of infinite order. 2 Elliptic curves over finite fields. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 45. References Koblitz, Neal. Introduction to elliptic curves and modular forms. Second edition. Graduate Texts in Mathematics, 97. Springer-Verlag, New York, 1993. Graduate Texts in Mathematics. Silverman, Joseph H. The arithmetic of elliptic curves. Second edition. Graduate Texts in Mathematics, 106. Springer, Dordrecht, 2009. David Cox, John Little, Donal O Shea, Ideals, Varieties, and Algorithms,Third edition, 2007. Silverman, Joseph H.; Tate, John. Rational points on elliptic curves. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1992. Shafarevich, Igor R. Basic algebraic geometry. 2. Schemes and complex manifolds. Third edition. Translated from the 2007 third Russian edition by Miles Reid. Springer, Heidelberg, 2013. Pradeep Kumar Mishra Rational Points on Elliptic Curves
  • 46. The end Pradeep Kumar Mishra Rational Points on Elliptic Curves