Elliptic Curves and Modularity

Elliptic Curves as Arithmetic Objects

An elliptic curve is simultaneously:

an algebraic curve;
a complex torus;
an abelian group;
an arithmetic object.

These curves lie at the center of modern number theory.

They appear in:

Diophantine equations;
cryptography;
modular forms;
Galois representations;
the Langlands program.

One of the deepest discoveries of twentieth-century mathematics is that elliptic curves over $\mathbb{Q}$ are governed by modular forms.

This relationship is called modularity.

Algebraic Definition

An elliptic curve over a field $K$ is a smooth projective curve of genus $1$ together with a distinguished rational point.

Over fields of characteristic not equal to $2$ or $3$ , every elliptic curve can be written in Weierstrass form:

E: y^2=x^3+ax+b,

where

a,b\in K.

The curve is nonsingular precisely when the discriminant

\Delta = -16(4a^3+27b^2)

is nonzero.

The distinguished point is the point at infinity.

This point acts as the identity element for the group law.

The Group Law

One of the remarkable properties of elliptic curves is that their points form an abelian group.

Given two points $P$ and $Q$ :

draw the line through $P$ and $Q$ ;
find the third intersection point with the cubic;
reflect across the $x$ -axis.

The resulting point is defined to be

P+Q.

This geometric construction produces an algebraic group law.

Thus elliptic curves combine geometry and arithmetic in a highly nontrivial way.

Elliptic Curves over $\mathbb{C}$

Over the complex numbers, elliptic curves admit an analytic description.

Let

\Lambda = \mathbb{Z}\omega_1+\mathbb{Z}\omega_2

be a lattice in $\mathbb{C}$ .

Then

E(\mathbb{C}) \cong \mathbb{C}/\Lambda.

Thus every complex elliptic curve is a torus.

Scaling the lattice does not change the isomorphism class, so one may normalize:

\tau=\frac{\omega_2}{\omega_1}\in\mathbb{H}.

The modular group acts on $\tau$ , and isomorphic elliptic curves correspond precisely to points in the same orbit.

Hence modular geometry naturally classifies elliptic curves.

The $j$ -Invariant

The isomorphism class of a complex elliptic curve is determined by its $j$ -invariant.

For

E: y^2=x^3+ax+b,

the invariant is

j(E) = 1728 \frac{4a^3}{4a^3+27b^2}.

Two elliptic curves over $\mathbb{C}$ are isomorphic if and only if they have the same $j$ -invariant.

The modular function

j(\tau)

therefore parameterizes elliptic curves.

Thus modular functions become coordinates on moduli spaces of elliptic curves.

Reduction Modulo Primes

Suppose $E$ is defined over $\mathbb{Q}$ .

Reducing its defining equation modulo a prime $p$ produces a curve over the finite field

\mathbb{F}_p.

If the reduced curve remains nonsingular, the curve has good reduction at $p$ .

The number of points over $\mathbb{F}_p$ is

|E(\mathbb{F}_p)|.

Define

a_p = p+1-|E(\mathbb{F}_p)|.

These integers encode deep arithmetic information.

The Hasse bound states:

|a_p| \le 2\sqrt p.

This resembles the Riemann hypothesis and was generalized by the Weil conjectures.

The Hasse-Weil $L$ -Function

Associated to an elliptic curve is an $L$ -function:

L(E,s) = \prod_p \frac1{1-a_pp^{-s}+p^{1-2s}},

with modified factors at bad primes.

This function resembles the Riemann zeta function and modular $L$ -functions.

Its analytic behavior reflects arithmetic properties of the elliptic curve.

For example, the Birch and Swinnerton-Dyer conjecture relates the order of vanishing of

L(E,s)

s=1

to the rank of the elliptic curve.

Modular Forms of Weight Two

Let

f(z) = \sum_{n=1}^\infty a_n q^n

be a weight-two cusp form for some congruence subgroup

\Gamma_0(N).

Its associated $L$ -function is

L(f,s) = \sum_{n=1}^\infty \frac{a_n}{n^s}.

The coefficients satisfy Hecke multiplicativity relations.

The astonishing discovery is that many elliptic curves produce exactly the same coefficients.

The Modularity Theorem

The modularity theorem states:

Theorem. Every elliptic curve over $\mathbb{Q}$ is modular.

More precisely, for every elliptic curve $E/\mathbb{Q}$ , there exists a weight-two cusp form $f$ such that

L(E,s)=L(f,s).

Equivalently,

a_p(E)=a_p(f)

for almost all primes $p$ .

Thus elliptic curves correspond to modular forms.

This theorem reveals a deep identity between geometry and analysis.

Fermat’s Last Theorem

The modularity theorem became famous through the proof of Fermat’s Last Theorem.

Suppose there existed nontrivial integers satisfying

x^n+y^n=z^n, \qquad n>2.

Frey observed that such a solution would produce an elliptic curve with highly unusual properties.

Ribet proved that this curve could not be modular.

Therefore, if every elliptic curve were modular, Fermat’s equation could have no nontrivial solutions.

entity[“people”,“Andrew Wiles”,“British mathematician”] proved enough of the modularity theorem to complete this argument.

This was one of the most celebrated achievements of modern mathematics.

Galois Representations

Elliptic curves naturally produce Galois representations.

The action of

\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})

on torsion points gives representations:

\rho_{E,\ell} : \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to GL_2(\mathbb{Z}_\ell).

Similarly, modular forms produce Galois representations.

The modularity theorem identifies these representations.

Thus modularity expresses equality between arithmetic symmetries arising from geometry and analysis.

Modular Curves and Elliptic Curves

Modular curves parameterize elliptic curves with level structure.

For example:

$X_0(N)$ classifies elliptic curves with cyclic isogenies of degree $N$ ;
$X_1(N)$ classifies elliptic curves with torsion points.

Maps from modular curves to elliptic curves encode modularity geometrically.

The Jacobians of modular curves contain rich arithmetic information.

Complex Multiplication

Certain elliptic curves possess extra endomorphisms.

These are elliptic curves with complex multiplication.

Their $j$ -invariants generate class fields of imaginary quadratic fields.

This connection between elliptic curves and class field theory is one of the deepest classical links in arithmetic geometry.

Elliptic Curves in Modern Mathematics

Elliptic curves now permeate mathematics.