El teorema que afirma que toda curva elíptica definida sobre Q es modular: su función L de Hasse–Weil coincide con la función L de una nueva forma cuspidal de peso dos cuyo nivel es el conductor de la curva, estableciendo una correspondencia entre curvas elípticas racionales y ciertas formas modulares.

Principio

Los objetos aritméticos (curvas elípticas sobre Q) admiten avatares analíticos (formas modulares) cuyos coeficientes de Fourier y series L codifican la aritmética de la curva, permitiendo el intercambio de información entre geometría algebraica y teoría analítica.

Demostración

Dada una curva elíptica E/Q de conductor N, existe una nueva forma f de peso 2 para Γ_0(N) tal que L(E,s)=L(f,s). En la práctica, parametrizaciones modulares explícitas envían X_0(N) sobre E y hacen coincidir los factores de Euler locales para casi todos los primos.

Aplicación incorrecta

Extender el enunciado literalmente a curvas elípticas sobre cuerpos de números arbitrarios o a variedades abelianas de mayor dimensión sin matices; asumir que la modularidad permite calcular fácilmente los rangos en todos los casos sin estudiar la serie L asociada.

Consecuencia

Proporciona continuidad analítica y ecuación funcional para las funciones L de curvas elípticas, permite la construcción de representaciones galoisianas asociadas y sustenta numerosos resultados profundos que relacionan invariantes aritméticos con propiedades analíticas.

Inversión

Si una curva elíptica no fuera modular, su función L no procedería de una forma modular y muchas herramientas (parametrizaciones modulares, argumentos de elevación) no estarían disponibles, cortando el puente entre lo analítico y lo aritmético.

Límite

El enunciado se refiere a curvas elípticas definidas sobre Q y a formas modulares de peso dos para subgrupos de congruencia; generalizaciones (modularidad potencial, modularidad de Hilbert) requieren hipótesis distintas y quedan fuera del núcleo del teorema.

Tensión semántica

Tensión con la reciprocidad de Langlands en sentido amplio: el Teorema de Modularidad es un caso concreto de baja dimensión de las correspondencias esperadas entre formas automorfas y representaciones galoisianas, y está relacionado con nociones de modularidad potencial y lifting.

Síntesis

El Teorema de Modularidad identifica cada curva elíptica racional con una forma modular explícita cuya serie L coincide con la de la curva; esta correspondencia traduce cuestiones geométricas y aritméticas al lenguaje analítico de las formas modulares y viceversa.