Funciones L y Modularidad

Cada eigenforma modular tiene una función L con un producto de Euler y una ecuación funcional, y el teorema de modularidad identifica las funciones L de las curvas elípticas racionales con las de las nuevas formas de peso dos, lo que constituye una piedra angular de la teoría de números moderna.

Definition

La función L de una forma modular es la serie de Dirichlet formada a partir de sus coeficientes de Fourier; la modularidad es el teorema que establece que la función L de cualquier curva elíptica sobre los racionales coincide con la función L de una nueva forma de peso dos de nivel coincidente.

Scope

Este tema abarca la construcción de la función L de una forma modular a partir de sus coeficientes de Fourier mediante la transformada de Mellin, su continuación analítica y la ecuación funcional derivada de la transformación modular de la forma, el teorema inverso de Hecke, el teorema de modularidad (anteriormente la conjetura de Taniyama-Shimura-Weil) que equipara las funciones L de curvas elípticas y las modulares, las representaciones de Galois asociadas, y el lugar de todo esto dentro del programa de Langlands.

Core questions

• ¿Cómo se construye la función L de una forma modular y cómo la transformada de Mellin produce su ecuación funcional?
• ¿Qué establece el teorema inverso de Hecke sobre qué series de Dirichlet provienen de formas modulares?
• ¿Qué afirma exactamente el teorema de modularidad y cómo se emparejaron las funciones L de curvas elípticas y las modulares?
• ¿Cómo median las representaciones de Galois esta correspondencia y cómo encaja en el programa de Langlands?

Key theories

Función L, transformada de Mellin y ecuación funcional

La transformada de Mellin de una forma cúspide es su función L completada; el comportamiento de la forma bajo la inversión del grupo modular se traduce en la ecuación funcional que relaciona los valores en s y el peso menos s.

Teorema de modularidad

Toda curva elíptica sobre los racionales es modular: su función L de Hasse-Weil es igual a la de una nueva forma de peso dos, demostrado por Wiles y completado por Breuil, Conrad, Diamond y Taylor.

Representaciones de Galois y Langlands

Las eigenformas dan lugar a representaciones de Galois bidimensionales cuyas trazas de Frobenius son los valores propios de Hecke; emparejar estas con curvas elípticas es el primer caso no abeliano de la correspondencia de Langlands.

Clinical relevance

La maquinaria de modularidad —representaciones de Galois y levantamiento de modularidad— proporcionó la prueba del Último Teorema de Fermat y ahora sustenta gran parte de la geometría aritmética; las funciones L explícitas también alimentan conjeturas (Birch-Swinnerton-Dyer) que guían herramientas computacionales para curvas elípticas utilizadas en criptografía.

History

Hecke estableció la continuación analítica y la ecuación funcional de las funciones L modulares en la década de 1930. La conjetura de Taniyama-Shimura-Weil sobre la modularidad tomó forma a partir de la década de 1950; Wiles demostró el caso semiestable en 1994 (lo que llevó al Último Teorema de Fermat), y el teorema de modularidad completo fue finalizado en 2001 por Breuil, Conrad, Diamond y Taylor.

Key figures

• Erich Hecke
• Goro Shimura
• Andre Weil
• Andrew Wiles
• Robert Langlands

Seminal works

• diamondShurman2005

Frequently asked questions

¿Qué significa que una curva elíptica sea modular?

Significa que la función L construida a partir del conteo de los puntos de la curva módulo cada primo coincide exactamente con la función L de una forma modular específica, por lo que la curva está, en un sentido preciso, parametrizada por funciones modulares.

¿Cómo se relaciona esto con el programa de Langlands?

La modularidad de las curvas elípticas es la instancia no abeliana más simple de la filosofía de Langlands, que predice una profunda correspondencia entre las representaciones de Galois y las formas automórficas; las formas modulares son el lado automórfico de este diccionario.