## [Teorema de Modularidad](/es/node/62116) Definición 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 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 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 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 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 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 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 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 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.