Elliptic curve

From Knowino
Revision as of 17:13, 18 January 2011 by Boris Tsirelson (talk | contributions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

An elliptic curve over a field K is a one dimensional Abelian variety over K. Alternatively it is a smooth algebraic curve of genus one together with marked point.


[edit] Curves of genus 1 as smooth plane cubics

If f(x,y,z) is a homogenous degree 3 (also called "cubic") polynomial in three variables, such that at no point (x:y:z)\in \mathbb{P}^2 all the three derivatives of f are simultaneously zero, then the Null set E:=\{(x:y:z)\in\mathbb{P}^2|f(x,y,z)=0\}\subset\mathbb{P}^2 is a smooth curve of genus 1. Smoothness follows from the condition on derivatives, and the genus can be computed in various ways; e.g.:

On the other hand, if C is a smooth algebraic curve of genus 1, and p,q,r are points on C, then by the Riemann-Roch formula we have h0(OC(p + q + r)) = 3 − (1 − 1) − h0( − (p + q + r)) = 3.. Choosing a basis g0,g1,g2 to the three dimensional vector space H^0(O_C(p+q+r))=\{g:C\to\mathbb{P}^1 such that g is algebraic and g^{-1}(\infty)=\{p,q,r\}\}, the map given by s\in C\mapsto (g_0(s):g_1(s):g_2(s))\in\mathbb{P}^2 is an embedding.

[edit] The group operation on a pointed smooth plane cubic

File:Cubic addition.png
Addition on cubic with a marked point O
Let E be as above, and O point on E. If p and q are two points on E we set p*q:=\overline{pq}\cap E\setminus\{p,q\}, where if p = q we take the line Tp(E) instead, and the intersection is to be understood with multiplicities. The addition on the elliptic curve E is defined as p + q: = O * (p * q). Both the commutativity and the existence of inverse follow from the definition. The proof of the associativity of this operation is more delicate.

[edit] Weierstrass forms

Suppose that the cubic curve E admits a flex defined over K, that is, a line l which is tri-tangent to E at a point p: this will happen, for example, if the field K is algebraically closed). In this case there is a change of coordinates on the projective plane which takes the line l to the line {z = 0} and the point p to the point (0:1:0): we may thus assume that the only terms in the cubic polynomial f which include y, are y2z,xyz,yz2. The equation can then be put in generalised Weierstrass form

Y2 + a1XY + a3Y = X3 + a2X2 + a4X + a6.

If the characteristic of K is not 2 or 3 then by another change of coordinates, the cubic polynomial can be changed to the form

Y2 = X3 − 27c4X − 54c6.

In this case the discriminant of the cubic polynomial on the right hand side of the equation is given by \Delta=(c_4^3 - c_6^2)/1728, and is non-zero because the curve is non-singular. The j invariant of the curve E is defined to be c_4^3/\Delta. Two elliptic curves are isomorphic over an algebraically closed field if and only if they have the same j invariant.

[edit] Elliptic curves over the complex numbers

[edit] One dimensional complex tori and lattices in the complex numbers

An elliptic curve over the complex numbers is a Riemann surface of genus 1, or a two dimensional torus over the real numbers. The universal cover of this torus, as a complex manifold, is the complex line \mathbb{C}. Hence the elliptic curve is isomorphic to a quotient of the complex numbers by some lattice; moreover two elliptic curves are isomorphic if and only the two corresponding lattices are isomorphic. Hence the moduli of elliptic curves over the complex numbers is identified with the moduli of lattices in \mathbb{C} up to homothety. For each homothety class there is a lattice such that one of the points of the lattice is 1, and the other is some point τ in the upper half plane \mathcal{H}.

File:SL2 fundamental domain.png
Each triangular region is a free regular set of \mathcal{H}/SL_2(\mathbb{Z});; the grey one (with the third point of the triangle at infinity) is the canonical fundamental domain.
Hence the moduli of lattices in \mathbb{C} is the quotient \mathcal{H}/PSL_2(\mathbb{Z}), where a group element

\left(\begin{matrix}a&b\\c&d\end{matrix}\right)\in SL_2(\mathbb{Z}) acts on the upper half plane via the mobius transformation z\mapsto\frac{az+b}{cz+d}. The standard fundamental domain for this action is the set: \{\tau|-\frac{1}{2}\leq Im(\tau)\leq\frac{1}{2},|\tau|\geq 1\}.

[edit] Modular forms

For the main article see Modular forms Modular forms are functions on the upper half plane, such that for any \gamma=\left(\begin{matrix}a&b\\c&d\end{matrix}\right)\in SL_2(\mathbb{Z}) we have f(γ(τ)) = (cτ + d)kf(τ) for some k which is called the "weight" of the form.

[edit] Theta functions

For the main article see Theta function

[edit] Weierstrass's \wp function

Let \Lambda=\omega_1\mathbb{Z}+\omega_2\mathbb{Z} be a lattice. The Weirstrass \wp-function is the absolutely convergent series \wp(z,\Lambda)=\frac{1}{z^2}+\sum_{\omega\in\Lambda}' \frac{1}{(z-\omega)^2}-\frac{1}{\omega^2} where the sum is taken over all nonzero lattice points. It is an elliptic function having poles of order two at each lattice point.

[edit] Application: elliptic integrals

[edit] Elliptic curves over number fields

Let K be an algebraic number field, a finite extension of Q, and E an elliptic curve defined over K. Then E(K), the points of E with coordinates in K, is an abelian group. The structure of this group is determined by the Mordell-Weil theorem, which states that E(K) is finitely generated. By the fundamental theorem of finitely generated abelian groups we have

E(K) \cong \mathbf{Z}^r \oplus T ,\,

where the torsion-free part has finite rank r, and the torsion group T is finite.

It is not known whether the rank of an elliptic curve over Q is bounded. The elliptic curve

y2 + xy + y = x3x2 − 20067762415575526585033208209338542750930230312178956502x + 34481611795030556467032985690390720374855944359319180361266008296291939448732243429

has rank at least 28, due to Noam Elkies [1].

The torsion group of a curve over Q is determined by Mazur's theorem; over a general number field K a result of Merel[2] shows that the torsion group is bounded in terms of the degree of K.

The rank of an elliptic curve over a number field is related to the L-function of the curve by the Birch-Swinnerton-Dyer conjectures.

[edit] Mordell-Weil theorem

The proof of the Mordell-Weil theorem combines two main parts. The "weak Mordell-Weil theorem" states that the quotient E(K) / 2E(K) is finite: this is combined with an argument involving the height function.

The theorem also applies to an abelian variety A of higher dimension over a number field. The Lang-Néron theorem implies that A(K) is finitely generated when K is finitely generated over its prime field.

[edit] Mazur's theorem

Mazur's theorem[3] shows that the torsion subgroup of an elliptic curve over Q must be one of the following

C_1; C_2; C_3; C_4; C_5; C_6; C_7; C_8; C_9; C_{10}; C_{12}; \,
C_2 \times C_2; C_2 \times C_4; C_2 \times C_6; C_2 \times C_8 .\,

Each of these torsion structures is parametrizable.[4]

[edit] Elliptic curves over finite fields

[edit] Application:cryptography

[edit] Elliptic curves over local fields

[edit] References

  1. N. Elkies, Posting to NMBRTHRY list, May 2006
  2. Loïc Merel (1996). "Bornes pour la torsion des courbes elliptiques sur les corps de nombres". Invent. Math. 124: 437-449.
  3. Barry C. Mazur (1978). "Rational isogenies of prime degree". Invent. Math. 44: 129-162.
  4. D.S. Kubert (1976). "Universal bounds on the torsion of elliptic curves". J. London Maths Soc. 33: 193-227.
Information.svg Some content on this page may previously have appeared on Citizendium.
Personal tools