Elliptic curves over Q

Elliptic curves over Q
Name	Elliptic curves over Q
Field	Number theory
Related	Elliptic curve, Modular forms, Galois representations

Elliptic curves over Q Elliptic curves over Q are nonsingular projective algebraic curves of genus one with a specified rational point, studied as algebraic varieties, arithmetic objects, and Diophantine sets. They connect deep results across Andrew Wiles, Gerd Faltings, Jean-Pierre Serre, Joseph Silverman, and institutions such as Princeton University and Harvard University, and play central roles in the proofs of the Taniyama–Shimura conjecture and the Modularity theorem as applied to rational elliptic curves.

Definition and basic properties

An elliptic curve E over Q is given by a Weierstrass equation y^2 + a1 xy + a3 y = x^3 + a2 x^2 + a4 x + a6 with coefficients in Q, up to change of variables by John Tate-style transformations; the discriminant Δ ≠ 0 ensures nonsingularity. The group law on E(Q) makes it an abelian group with identity the chosen rational point; this structure parallels classical work of Niels Henrik Abel and Carl Gustav Jacobi on elliptic functions and ties to the theory of complex elliptic curves via uniformization by lattices from Karl Weierstrass. Invariants such as the j-invariant classify isomorphism classes over algebraic closures, echoing classification themes seen in Évariste Galois-related moduli problems handled by Alexander Grothendieck.

Rational points and Mordell–Weil theorem

The Mordell–Weil theorem, proven by Louis Mordell and extended by André Weil, asserts E(Q) is a finitely generated abelian group E(Q) ≅ E(Q)_tors × Z^r. Determining the rank r and the generators is a central arithmetic challenge linked to the work of John Coates, Andrew Wiles, Brian Conrad, and conjectures of Birch and Swinnerton-Dyer; computational methods draw on the Selmer group and Sha (Ш) as studied by John Tate and Timothy Dokchitser. Heights and the Néron–Tate pairing, developed by André Néron and John Tate, provide the regulator in conjectural formulae that connect arithmetic of E(Q) to analytic invariants used in proofs by Gerd Faltings and explorations by Richard Taylor.

Torsion subgroups and Mazur's theorem

Mazur's theorem, proved by Barry Mazur and influenced by methods of Jean-Pierre Serre and Ken Ribet, classifies possible torsion subgroups E(Q)_tors: fifteen possibilities are cyclic groups of order 1–10 or 12, or products Z/2Z × Z/2nZ with n = 1,...,4. This classification interacts with modular curves such as X_1(N) and rational points on those curves studied by Fumiyuki Momose and Boris Mazur collaborators; work by François Merel generalizes torsion bounds over number fields, invoking techniques from Harvard University and École Normale Supérieure research networks.

L-functions, modularity, and the Birch and Swinnerton-Dyer conjecture

To E one attaches an L-function L(E,s) via Euler factors at primes, defined using local Frobenius traces arising from the Galois group action on Tate modules studied by Jean-Pierre Serre and Barry Mazur. The Modularity theorem, proved by Andrew Wiles with contributions from Richard Taylor, Christophe Breuil, Brian Conrad, and Fred Diamond, asserts every elliptic curve over Q corresponds to a modular form on SL_2(Z), linking L(E,s) to Hecke L-series. The Birch and Swinnerton-Dyer conjecture, formulated by Bryan Birch and Peter Swinnerton-Dyer, relates the order of vanishing of L(E,s) at s=1 to rank r, and predicts the leading coefficient in terms of regulator, Tamagawa numbers, and |Ш(E)|. Numeric and theoretical progress has been advanced by John Cremona, Dorian Goldfeld, Karl Rubin, and Christophe Cornut.

Reduction, Tamagawa numbers, and local-global principles

Reduction types at primes p (good, multiplicative, additive) follow the Kodaira–Néron classification refined by Kunihiko Kodaira and André Néron; the local component groups yield Tamagawa numbers entering global formulae of Birch–Swinnerton-Dyer. Techniques from local analysis use p-adic Hodge theory developed by Jean-Michel Fontaine and local duality of John Tate. The Hasse principle and failures thereof, exhibited in examples akin to counterexamples studied by Yuri Manin and phenomena in Galois cohomology, underscore the role of the Tate–Shafarevich group Ш(E), whose finiteness is conjectural in the BSD framework and studied by Kolyvagin and V. A. Kolyvagin-related Euler systems.

Algorithms and computational aspects

Algorithms for computing E(Q), ranks, and L-values use descent methods, modular symbols, and complex analytic techniques implemented by John Cremona and in software from projects at University of Warwick and SageMath (originating from work by William Stein). Techniques include 2-descent, n-descent, computation of Heegner points following Gerhard Frey-related heuristics and the Gross–Zagier formula by B. Gross and D. Zagier, and explicit determination of minimal models due to John Tate. Databases such as the LMFDB document isogeny classes, conductors, and torsion structures in collaboration with teams from University of Washington and Imperial College London.

Notable examples and classification results

Classical examples include the curve y^2 = x^3 − x (CM by Gaussian integers), curves used in Andrew Wiles's proof such as Frey curves connected to the Fermat's Last Theorem strategy of Gerhard Frey and Ken Ribet, and rank-record elliptic curves investigated by Noam Elkies and Dujella family researchers. Complete classification results combine the Modularity theorem, Mazur's torsion theorem, and modular curve analyses by Mazur, Ken Ribet, Faltings, and Mazur and Tate; ongoing work by researchers at Princeton University, University of Cambridge, and Institute for Advanced Study continues to refine explicit lists, conductors, and rank distributions compiled in global databases.

Category:Elliptic curves