Upload
pang-lok-wing-ryan
View
58
Download
0
Embed Size (px)
Citation preview
Elliptic Curves over C
Ryan Lok-Wing Pang
Department of MathematicsHong Kong University of Science and Technology
Topics in Complex Analysis, 2014
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 1 /
15
Outline
1 Introduction to Elliptic Curves
2 The Group Law
3 Elliptic Curves over C
4 Application to Number Theory
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 2 /
15
Introduction to Elliptic Cueves
An elliptic curve over a field F is a curve given by the equation
E : y2 + a1xy + a3 = x3 + a2x2 + a4x + a6,
where ai ∈ F satisfying one extra condition that the curve isnon-singular. i.e. The partial derivatives cannot both vanishes at thesame point. This means a1y = 3x3 + 2a2 + a4, 2y + a1x = 0 cannotbe solved simultaneously over the algebraic closure of F.
In the case char(F) 6= 2, 3, we may make a change of variables andwrite:
E : y2 = x3 + Ax + B,A,B ∈ F.
The non singular condition is equivalent to the cubic on the righthaving three distinct roots. From now on, we assume thatchar(F) 6= 2, 3. Then the nonsingularity condition becomes4A3 + 27B2 6= 0.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 3 /
15
Introduction to Elliptic Cueves
An elliptic curve over a field F is a curve given by the equation
E : y2 + a1xy + a3 = x3 + a2x2 + a4x + a6,
where ai ∈ F satisfying one extra condition that the curve isnon-singular. i.e. The partial derivatives cannot both vanishes at thesame point. This means a1y = 3x3 + 2a2 + a4, 2y + a1x = 0 cannotbe solved simultaneously over the algebraic closure of F.
In the case char(F) 6= 2, 3, we may make a change of variables andwrite:
E : y2 = x3 + Ax + B,A,B ∈ F.
The non singular condition is equivalent to the cubic on the righthaving three distinct roots. From now on, we assume thatchar(F) 6= 2, 3. Then the nonsingularity condition becomes4A3 + 27B2 6= 0.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 3 /
15
The Group Law
We let E (F) = {(x , y) ∈ F2|y2 = x3 + Ax + B} ∪ {O}, here the pointO is the point at ∞.
Elliptic Curves have a group structure.
Let E : y2 = f (x), where f (x) = x3 + ax + b, a, b ∈ F. LetP = (x1, y1),Q = (x2, y2) ∈ E (F). Connect the two points by astraight line. Since f (x) is a cubic, this line will cross at a third point,and we call it P ∗ Q. Then we reflect the point P ∗ Q about thex-axis, and call this new point on the curve P + Q.
E (F) is an abelian group with identity O under this operation.
Checking Closure and Associativity are simple but tedious exercise inhigh school algebra. Commutativity is obvious. For inverses, one caneasily check that if P = (x , y), then −P = (x ,−y).
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 4 /
15
The Group Law
We let E (F) = {(x , y) ∈ F2|y2 = x3 + Ax + B} ∪ {O}, here the pointO is the point at ∞.
Elliptic Curves have a group structure.
Let E : y2 = f (x), where f (x) = x3 + ax + b, a, b ∈ F. LetP = (x1, y1),Q = (x2, y2) ∈ E (F). Connect the two points by astraight line. Since f (x) is a cubic, this line will cross at a third point,and we call it P ∗ Q. Then we reflect the point P ∗ Q about thex-axis, and call this new point on the curve P + Q.
E (F) is an abelian group with identity O under this operation.
Checking Closure and Associativity are simple but tedious exercise inhigh school algebra. Commutativity is obvious. For inverses, one caneasily check that if P = (x , y), then −P = (x ,−y).
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 4 /
15
The Group Law
We let E (F) = {(x , y) ∈ F2|y2 = x3 + Ax + B} ∪ {O}, here the pointO is the point at ∞.
Elliptic Curves have a group structure.
Let E : y2 = f (x), where f (x) = x3 + ax + b, a, b ∈ F. LetP = (x1, y1),Q = (x2, y2) ∈ E (F). Connect the two points by astraight line. Since f (x) is a cubic, this line will cross at a third point,and we call it P ∗ Q. Then we reflect the point P ∗ Q about thex-axis, and call this new point on the curve P + Q.
E (F) is an abelian group with identity O under this operation.
Checking Closure and Associativity are simple but tedious exercise inhigh school algebra. Commutativity is obvious. For inverses, one caneasily check that if P = (x , y), then −P = (x ,−y).
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 4 /
15
The Group Law
We let E (F) = {(x , y) ∈ F2|y2 = x3 + Ax + B} ∪ {O}, here the pointO is the point at ∞.
Elliptic Curves have a group structure.
Let E : y2 = f (x), where f (x) = x3 + ax + b, a, b ∈ F. LetP = (x1, y1),Q = (x2, y2) ∈ E (F). Connect the two points by astraight line. Since f (x) is a cubic, this line will cross at a third point,and we call it P ∗ Q. Then we reflect the point P ∗ Q about thex-axis, and call this new point on the curve P + Q.
E (F) is an abelian group with identity O under this operation.
Checking Closure and Associativity are simple but tedious exercise inhigh school algebra. Commutativity is obvious. For inverses, one caneasily check that if P = (x , y), then −P = (x ,−y).
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 4 /
15
The Group Law
We let E (F) = {(x , y) ∈ F2|y2 = x3 + Ax + B} ∪ {O}, here the pointO is the point at ∞.
Elliptic Curves have a group structure.
Let E : y2 = f (x), where f (x) = x3 + ax + b, a, b ∈ F. LetP = (x1, y1),Q = (x2, y2) ∈ E (F). Connect the two points by astraight line. Since f (x) is a cubic, this line will cross at a third point,and we call it P ∗ Q. Then we reflect the point P ∗ Q about thex-axis, and call this new point on the curve P + Q.
E (F) is an abelian group with identity O under this operation.
Checking Closure and Associativity are simple but tedious exercise inhigh school algebra. Commutativity is obvious. For inverses, one caneasily check that if P = (x , y), then −P = (x ,−y).
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 4 /
15
Elliptic Curves over C
Recall
Defintion (Eisenstein Series)
Let τ ∈ H and Λ = 〈1, τ〉 is the corresponding lattice. For each integerk > 2, denote (called Eisenstein Series)
Gk(τ) =∑
ω∈Λ\{0}
1
ω2k.
Defintion (Weiestrass ℘-function)
The Weiestrass ℘-function is given by
℘(z) =1
z2+
∑ω∈Λ,ω 6=0
(1
(z − ω)2− 1
ω2),
which is meromorphic in C with double poles precisely at the points in Λ.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 5 /
15
Elliptic Curves over C
Recall
Defintion (Eisenstein Series)
Let τ ∈ H and Λ = 〈1, τ〉 is the corresponding lattice. For each integerk > 2, denote (called Eisenstein Series)
Gk(τ) =∑
ω∈Λ\{0}
1
ω2k.
Defintion (Weiestrass ℘-function)
The Weiestrass ℘-function is given by
℘(z) =1
z2+
∑ω∈Λ,ω 6=0
(1
(z − ω)2− 1
ω2),
which is meromorphic in C with double poles precisely at the points in Λ.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 5 /
15
Structure of E (C)
Let E : y2 = 4x3 − g2x − g3, g2, g3 ∈ C. We now study the structureof the group E (C).
Let g2 = 60G2, g3 = 140G3.
Then we have g2(∞) = 120ζ(4) = 43π
4, g3(∞) = 280ζ(6) = 827π
6.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 6 /
15
Structure of E (C)
Let E : y2 = 4x3 − g2x − g3, g2, g3 ∈ C. We now study the structureof the group E (C).
Let g2 = 60G2, g3 = 140G3.
Then we have g2(∞) = 120ζ(4) = 43π
4, g3(∞) = 280ζ(6) = 827π
6.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 6 /
15
Structure of E (C)
Let E : y2 = 4x3 − g2x − g3, g2, g3 ∈ C. We now study the structureof the group E (C).
Let g2 = 60G2, g3 = 140G3.
Then we have g2(∞) = 120ζ(4) = 43π
4, g3(∞) = 280ζ(6) = 827π
6.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 6 /
15
Structure of E (C)
Let E : y2 = 4x3 − g2x − g3, g2, g3 ∈ C. We now study the structureof the group E (C).
Let g2 = 60G2, g3 = 140G3.
Then we have g2(∞) = 120ζ(4) = 43π
4, g3(∞) = 280ζ(6) = 827π
6.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 6 /
15
Some Useful Theorems
Theorem
℘′2 = 4℘3 − g2℘− g3.
Theorem (Addition Formula)
℘(z + w) = 14 (℘
′(z)−℘′(w)℘(z)−℘(w) )2 − ℘(z)− ℘(w)
Theorem
A holomorphic elliptic function is constant.
Corollary
An elliptic function with no zeros is constant.
Proof.
If f has no zeros, then 1/f is holomorphic, hence constant.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 7 /
15
Some Useful Theorems
Theorem
℘′2 = 4℘3 − g2℘− g3.
Theorem (Addition Formula)
℘(z + w) = 14 (℘
′(z)−℘′(w)℘(z)−℘(w) )2 − ℘(z)− ℘(w)
Theorem
A holomorphic elliptic function is constant.
Corollary
An elliptic function with no zeros is constant.
Proof.
If f has no zeros, then 1/f is holomorphic, hence constant.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 7 /
15
Some Useful Theorems
Theorem
If f : C/Λ→ C is meromorphic, then f has the same number of poles(counting multiplicities) as the number of zeros (counting multiplicities),denote this number the order of f .
Theorem (Viete’s Theorem)
Let F be a field. If p(x) = anxn + an−1x
n−1 + · · ·+ a1x + a0 ∈ F [x ], thenp(x) have n (not necessarily distinct) roots x1, x2, · · · , xn in an algebraicclosure F of F and
x1 + x2 + · · ·+ xn =−an−1
an.
Theorem
℘(z) is an even elliptic function, ℘′(z) is an odd elliptic function.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 8 /
15
Elliptic Curves over C
Theorem
Let g2 = g2(Λ) and g3 = g3(Λ) be the quantities associated to a latticeΛ ∈ C, then y2 = 4x3 − g2x − g3 is an elliptic curve over C. i.e.f (x) = 4x3 − g2x − g3 has distinct roots.
Proof.
Let {ω1 = 1, ω2 = τ} be a basis for Λ and let ω3 = ω1 + ω2.
Then since ℘′(z) is an odd elliptic function, we have℘′(ωi
2 ) = −℘′(−ωi2 ) = −℘′(ωi
2 ).
So ℘′(ωi/2) = 0. Hence f (x) = 0 for x = ℘(ωi/2). So it suffices toshow that these three values are distinct.
The function ℘(z)− ℘(ωi/2) has a double zero at z = ωi/2.However, it is an elliptic function of order 2, so it has exactly twozeros or a single double zero. Hence ℘(ωi/2) 6= ℘(ωj/2) for i 6= j .
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 9 /
15
Elliptic Curves over C
Theorem
Let g2 = g2(Λ) and g3 = g3(Λ) be the quantities associated to a latticeΛ ∈ C, then y2 = 4x3 − g2x − g3 is an elliptic curve over C. i.e.f (x) = 4x3 − g2x − g3 has distinct roots.
Proof.
Let {ω1 = 1, ω2 = τ} be a basis for Λ and let ω3 = ω1 + ω2.
Then since ℘′(z) is an odd elliptic function, we have℘′(ωi
2 ) = −℘′(−ωi2 ) = −℘′(ωi
2 ).
So ℘′(ωi/2) = 0. Hence f (x) = 0 for x = ℘(ωi/2). So it suffices toshow that these three values are distinct.
The function ℘(z)− ℘(ωi/2) has a double zero at z = ωi/2.However, it is an elliptic function of order 2, so it has exactly twozeros or a single double zero. Hence ℘(ωi/2) 6= ℘(ωj/2) for i 6= j .
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 9 /
15
Elliptic Curves over C
Theorem
Let g2 = g2(Λ) and g3 = g3(Λ) be the quantities associated to a latticeΛ ∈ C, then y2 = 4x3 − g2x − g3 is an elliptic curve over C. i.e.f (x) = 4x3 − g2x − g3 has distinct roots.
Proof.
Let {ω1 = 1, ω2 = τ} be a basis for Λ and let ω3 = ω1 + ω2.
Then since ℘′(z) is an odd elliptic function, we have℘′(ωi
2 ) = −℘′(−ωi2 ) = −℘′(ωi
2 ).
So ℘′(ωi/2) = 0. Hence f (x) = 0 for x = ℘(ωi/2). So it suffices toshow that these three values are distinct.
The function ℘(z)− ℘(ωi/2) has a double zero at z = ωi/2.However, it is an elliptic function of order 2, so it has exactly twozeros or a single double zero. Hence ℘(ωi/2) 6= ℘(ωj/2) for i 6= j .
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 9 /
15
Elliptic Curves over C
Theorem
Let g2 = g2(Λ) and g3 = g3(Λ) be the quantities associated to a latticeΛ ∈ C, then y2 = 4x3 − g2x − g3 is an elliptic curve over C. i.e.f (x) = 4x3 − g2x − g3 has distinct roots.
Proof.
Let {ω1 = 1, ω2 = τ} be a basis for Λ and let ω3 = ω1 + ω2.
Then since ℘′(z) is an odd elliptic function, we have℘′(ωi
2 ) = −℘′(−ωi2 ) = −℘′(ωi
2 ).
So ℘′(ωi/2) = 0. Hence f (x) = 0 for x = ℘(ωi/2). So it suffices toshow that these three values are distinct.
The function ℘(z)− ℘(ωi/2) has a double zero at z = ωi/2.However, it is an elliptic function of order 2, so it has exactly twozeros or a single double zero. Hence ℘(ωi/2) 6= ℘(ωj/2) for i 6= j .
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 9 /
15
Elliptic Curves over C
Theorem
Let g2 = g2(Λ) and g3 = g3(Λ) be the quantities associated to a latticeΛ ∈ C, then y2 = 4x3 − g2x − g3 is an elliptic curve over C. i.e.f (x) = 4x3 − g2x − g3 has distinct roots.
Proof.
Let {ω1 = 1, ω2 = τ} be a basis for Λ and let ω3 = ω1 + ω2.
Then since ℘′(z) is an odd elliptic function, we have℘′(ωi
2 ) = −℘′(−ωi2 ) = −℘′(ωi
2 ).
So ℘′(ωi/2) = 0. Hence f (x) = 0 for x = ℘(ωi/2). So it suffices toshow that these three values are distinct.
The function ℘(z)− ℘(ωi/2) has a double zero at z = ωi/2.However, it is an elliptic function of order 2, so it has exactly twozeros or a single double zero. Hence ℘(ωi/2) 6= ℘(ωj/2) for i 6= j .
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 9 /
15
E (C) is a torus
Theorem
Using the above notation: E (C) is isomorphic to C/Λ via the mapφ : C/Λ→ E (C), z + Λ 7→ (℘(z), ℘′(z)).
Proof.
The image of any nonzero point z of C/Λ is a point in E (C) because℘′2 = 4℘3 − g2℘− g3.
the map is a group homomorphism: Let y = mx + c be the linethrough the points P = (x , y) and P ′ = (x ′, y ′) on the curvey2 = 4x3 − g2x − g3, then the x , x ′ and x(P + P ′) are the roots ofthe polynomials (mx + c)2 − 4x3 + g2x + g3. So
x(P + P ′) + x + x ′ = 14m
2 = 14 ( y−y
′
x−x ′ )2, which agrees with theaddition formula of ℘, hence this is a group homomorphism.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 10 /
15
E (C) is a torus
Theorem
Using the above notation: E (C) is isomorphic to C/Λ via the mapφ : C/Λ→ E (C), z + Λ 7→ (℘(z), ℘′(z)).
Proof.
The image of any nonzero point z of C/Λ is a point in E (C) because℘′2 = 4℘3 − g2℘− g3.
the map is a group homomorphism: Let y = mx + c be the linethrough the points P = (x , y) and P ′ = (x ′, y ′) on the curvey2 = 4x3 − g2x − g3, then the x , x ′ and x(P + P ′) are the roots ofthe polynomials (mx + c)2 − 4x3 + g2x + g3. So
x(P + P ′) + x + x ′ = 14m
2 = 14 ( y−y
′
x−x ′ )2, which agrees with theaddition formula of ℘, hence this is a group homomorphism.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 10 /
15
E (C) is a torus
Theorem
Using the above notation: E (C) is isomorphic to C/Λ via the mapφ : C/Λ→ E (C), z + Λ 7→ (℘(z), ℘′(z)).
Proof.
The image of any nonzero point z of C/Λ is a point in E (C) because℘′2 = 4℘3 − g2℘− g3.
the map is a group homomorphism: Let y = mx + c be the linethrough the points P = (x , y) and P ′ = (x ′, y ′) on the curvey2 = 4x3 − g2x − g3, then the x , x ′ and x(P + P ′) are the roots ofthe polynomials (mx + c)2 − 4x3 + g2x + g3. So
x(P + P ′) + x + x ′ = 14m
2 = 14 ( y−y
′
x−x ′ )2, which agrees with theaddition formula of ℘, hence this is a group homomorphism.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 10 /
15
The Proof
Proof.
To see φ is surjective, let (x , y) ∈ E (C), then ℘(z)− x is anon-constant elliptic function, so it has a zero, say z = a. Hence℘(a)′2 = y2. Replacing a by −a if necessary, we obtain ℘(a)′ = y .Then φ(a) = (x , y).
To see φ is injective, it is equivalent to prove that ker(φ) = {0}. NowConsider the embedding E (C) ↪→ P2(C), (x , y) 7→ (x , y , 1). Thenz + Λ ∈ ker(φ) iff ℘(z + Λ) = ℘′(z + Λ) = 0 iff z is a double zero of ℘iff z = 0, done.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 11 /
15
The Proof
Proof.
To see φ is surjective, let (x , y) ∈ E (C), then ℘(z)− x is anon-constant elliptic function, so it has a zero, say z = a. Hence℘(a)′2 = y2. Replacing a by −a if necessary, we obtain ℘(a)′ = y .Then φ(a) = (x , y).
To see φ is injective, it is equivalent to prove that ker(φ) = {0}. NowConsider the embedding E (C) ↪→ P2(C), (x , y) 7→ (x , y , 1). Thenz + Λ ∈ ker(φ) iff ℘(z + Λ) = ℘′(z + Λ) = 0 iff z is a double zero of ℘iff z = 0, done.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 11 /
15
Application to FLT for Entire Functions
There is an interesting application of the isomorphism to the so calledFermat’s Last Theorem for entire functions.
The classical Fermat’s Last Theorem says if n ≥ 3, then the equationan + bn = cn admits no positive integer solutions. We want to knowwhether the same holds if a, b, c are allowed to be entire functions.
we change notation a little bit and we write f = a/c , and g = b/c ,where f , g are now meromorphic functions in C. We wish to knowwether f n + gn = 1 forces f and g to be constant functions, wheref , g are meromorphic functions in C.
The answer is NO if n = 1, 2, 3 and YES if n ≥ 4.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 12 /
15
Application to FLT for Entire Functions
There is an interesting application of the isomorphism to the so calledFermat’s Last Theorem for entire functions.
The classical Fermat’s Last Theorem says if n ≥ 3, then the equationan + bn = cn admits no positive integer solutions. We want to knowwhether the same holds if a, b, c are allowed to be entire functions.
we change notation a little bit and we write f = a/c , and g = b/c ,where f , g are now meromorphic functions in C. We wish to knowwether f n + gn = 1 forces f and g to be constant functions, wheref , g are meromorphic functions in C.
The answer is NO if n = 1, 2, 3 and YES if n ≥ 4.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 12 /
15
Application to FLT for Entire Functions
There is an interesting application of the isomorphism to the so calledFermat’s Last Theorem for entire functions.
The classical Fermat’s Last Theorem says if n ≥ 3, then the equationan + bn = cn admits no positive integer solutions. We want to knowwhether the same holds if a, b, c are allowed to be entire functions.
we change notation a little bit and we write f = a/c , and g = b/c ,where f , g are now meromorphic functions in C. We wish to knowwether f n + gn = 1 forces f and g to be constant functions, wheref , g are meromorphic functions in C.
The answer is NO if n = 1, 2, 3 and YES if n ≥ 4.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 12 /
15
Application to FLT for Entire Functions
There is an interesting application of the isomorphism to the so calledFermat’s Last Theorem for entire functions.
The classical Fermat’s Last Theorem says if n ≥ 3, then the equationan + bn = cn admits no positive integer solutions. We want to knowwhether the same holds if a, b, c are allowed to be entire functions.
we change notation a little bit and we write f = a/c , and g = b/c ,where f , g are now meromorphic functions in C. We wish to knowwether f n + gn = 1 forces f and g to be constant functions, wheref , g are meromorphic functions in C.
The answer is NO if n = 1, 2, 3 and YES if n ≥ 4.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 12 /
15
Application to FLT for Entire Functions
There is an interesting application of the isomorphism to the so calledFermat’s Last Theorem for entire functions.
The classical Fermat’s Last Theorem says if n ≥ 3, then the equationan + bn = cn admits no positive integer solutions. We want to knowwhether the same holds if a, b, c are allowed to be entire functions.
we change notation a little bit and we write f = a/c , and g = b/c ,where f , g are now meromorphic functions in C. We wish to knowwether f n + gn = 1 forces f and g to be constant functions, wheref , g are meromorphic functions in C.
The answer is NO if n = 1, 2, 3 and YES if n ≥ 4.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 12 /
15
Application to FLT for Entire Functions
The cases n = 1, 2 are easy. We prove the case for n = 3.
For n = 3, we can transform the equation f 3 + g3 = 1 into anequation of the form: Y 2 = X 3 − 432, via settingf = (36− Y )/6X , g = (36 + Y )/6X .
E : Y 2 = X 3 − 432 can be realized as an elliptic curve.
Now, via this isomorphism, we will get non-constant f , g in terms of℘(z), and ℘′(z).
For n ≥ 4, the proof uses theory of compact Riemann surface.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 13 /
15
Application to FLT for Entire Functions
The cases n = 1, 2 are easy. We prove the case for n = 3.
For n = 3, we can transform the equation f 3 + g3 = 1 into anequation of the form: Y 2 = X 3 − 432, via settingf = (36− Y )/6X , g = (36 + Y )/6X .
E : Y 2 = X 3 − 432 can be realized as an elliptic curve.
Now, via this isomorphism, we will get non-constant f , g in terms of℘(z), and ℘′(z).
For n ≥ 4, the proof uses theory of compact Riemann surface.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 13 /
15
Application to FLT for Entire Functions
The cases n = 1, 2 are easy. We prove the case for n = 3.
For n = 3, we can transform the equation f 3 + g3 = 1 into anequation of the form: Y 2 = X 3 − 432, via settingf = (36− Y )/6X , g = (36 + Y )/6X .
E : Y 2 = X 3 − 432 can be realized as an elliptic curve.
Now, via this isomorphism, we will get non-constant f , g in terms of℘(z), and ℘′(z).
For n ≥ 4, the proof uses theory of compact Riemann surface.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 13 /
15
Application to FLT for Entire Functions
The cases n = 1, 2 are easy. We prove the case for n = 3.
For n = 3, we can transform the equation f 3 + g3 = 1 into anequation of the form: Y 2 = X 3 − 432, via settingf = (36− Y )/6X , g = (36 + Y )/6X .
E : Y 2 = X 3 − 432 can be realized as an elliptic curve.
Now, via this isomorphism, we will get non-constant f , g in terms of℘(z), and ℘′(z).
For n ≥ 4, the proof uses theory of compact Riemann surface.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 13 /
15
Application to FLT for Entire Functions
The cases n = 1, 2 are easy. We prove the case for n = 3.
For n = 3, we can transform the equation f 3 + g3 = 1 into anequation of the form: Y 2 = X 3 − 432, via settingf = (36− Y )/6X , g = (36 + Y )/6X .
E : Y 2 = X 3 − 432 can be realized as an elliptic curve.
Now, via this isomorphism, we will get non-constant f , g in terms of℘(z), and ℘′(z).
For n ≥ 4, the proof uses theory of compact Riemann surface.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 13 /
15
References
[1] L. Ahlfors, Complex Analysis, Mcgraw Hill, 1979.[2] J. Silverman, The Arithmetic of Elliptic Curves, Springer GTM, 2008.[3] A. Knapp, Elliptic Curves, Princeton U Press, 1992.
Ryan Lok-Wing Pang (HKUST) Elliptic Curves over CTopics in Complex Analysis, 2014 14 /
15