The theorem asserting that every elliptic curve defined over Q is modular: its Hasse–Weil L-function equals the L-function of a weight-two cuspidal newform of level equal to the curve's conductor, establishing a correspondence between rational elliptic curves and certain modular forms.

Principle

Arithmetic objects (elliptic curves over Q) admit analytic avatars (modular forms) whose Fourier coefficients and L-series encode the curve's arithmetic, enabling transfer of information between algebraic geometry and analytic theory.

Demonstration

Given an elliptic curve E/Q with conductor N, there exists a weight-2 newform f for Γ_0(N) such that L(E,s)=L(f,s). For example, explicit modular parametrizations map X_0(N) onto E and match local Euler factors at almost all primes.

Misapplication

Extending the statement verbatim to elliptic curves over arbitrary number fields or to higher-dimensional abelian varieties without qualification; assuming modularity implies easy computation of ranks in all cases without analyzing the associated L-series.

Consequence

Provides analytic continuation and functional equation for elliptic curve L-functions, enables construction of Galois representations attached to curves, and underlies many deep results linking arithmetic invariants to analytic properties.

Reversal

If an elliptic curve were non-modular, its L-function would not arise from a modular form and many tools (modular parametrizations, modularity-lift arguments) would be unavailable, severing the analytic–arithmetic bridge.

Boundary

Statement concerns elliptic curves defined over Q and modular forms of weight two for congruence subgroups; generalizations (potential modularity, Hilbert modularity) require distinct hypotheses and are outside the core theorem.

Semantic Tension

Tension with broader Langlands reciprocity: the Modularity Theorem is a specific low-dimensional case of expected correspondences between automorphic forms and Galois representations, and it interacts with notions of potential modularity and lifting.

Synthesis

The Modularity Theorem identifies each rational elliptic curve with a concrete modular form so that their L-series coincide; this correspondence translates geometric and arithmetic questions into the analytic language of modular forms and vice versa.