Operadores de Hecke y Eigenformas

Los operadores de Hecke son una familia conmutativa de operadores lineales en espacios de formas modulares cuyas eigenformas simultáneas tienen coeficientes de Fourier multiplicativos, convirtiendo las formas modulares en una fuente de productos de Euler y funciones L aritméticas.

Definition

Los operadores de Hecke son endomorfismos lineales de un espacio de formas modulares, indexados por enteros positivos, que promedian una forma sobre subredes; una eigenforma es una forma modular que es un autovector simultáneo para todos los operadores de Hecke.

Scope

Este tema abarca la definición de los operadores de Hecke en formas modulares, su conmutatividad y auto-adjunción bajo el producto interno de Petersson, la diagonalización resultante de los espacios de formas cúspide en eigenformas simultáneas, la multiplicatividad y la recursión satisfechas por los coeficientes de Fourier de las eigenformas normalizadas, la teoría de las formas antiguas (oldforms) y nuevas (newforms) (teoría de Atkin-Lehner) para niveles superiores, y la función tau de Ramanujan como el coeficiente prototípico de eigenforma.

Core questions

• ¿Cómo se definen los operadores de Hecke y por qué conmutan y preservan los espacios de formas modulares?
• ¿Por qué la auto-adjunción bajo el producto interno de Petersson garantiza una base de eigenformas simultáneas?
• ¿Cómo el hecho de ser una eigenforma normalizada obliga a que los coeficientes de Fourier sean multiplicativos y satisfagan una recursión de potencia prima?
• ¿Qué distingue a las nuevas formas de las antiguas en un nivel superior, y cómo las organiza la teoría de Atkin-Lehner?

Key theories

Operadores de Hecke conmutativos y auto-adjuntos

Los operadores de Hecke conmutan y son auto-adjuntos con respecto al producto interno de Petersson en las formas cúspide, por lo que, según el teorema espectral, el espacio tiene una base ortogonal de eigenformas simultáneas.

Multiplicatividad de los coeficientes de eigenforma

Para una eigenforma normalizada, el n-ésimo coeficiente de Fourier es igual al n-ésimo autovalor de Hecke; estos son multiplicativos y satisfacen una recursión en potencias primas, lo que produce un producto de Euler para la función L de la forma.

Nuevas formas y teoría de Atkin-Lehner

En el nivel N, las formas cúspide se dividen en formas antiguas que provienen de niveles inferiores y nuevas formas genuinamente nuevas; las nuevas formas son las eigenformas con funciones L bien definidas y son los objetos que se corresponden con las curvas elípticas.

Clinical relevance

Los autovalores de Hecke son el contenido aritmético tabulado en las bases de datos de formas modulares y adjunto a las representaciones de Galois; los límites sobre ellos (la conjetura de Ramanujan-Petersson, demostrada por Deligne) controlan los términos de error en las estimaciones analíticas y certifican las brechas espectrales utilizadas para construir grafos expansores de Ramanujan.

History

Mordell demostró la multiplicatividad de la función tau de Ramanujan en 1917, un fenómeno que Hecke explicó en la década de 1930 al introducir los operadores que ahora llevan su nombre. Atkin y Lehner desarrollaron la teoría de las nuevas formas en 1970, y la prueba de Deligne de las conjeturas de Weil en 1974 estableció el límite de Ramanujan sobre los autovalores.

Key figures

• Erich Hecke
• Srinivasa Ramanujan
• Atle Selberg
• Pierre Deligne

Frequently asked questions

¿Por qué son tan importantes las eigenformas de Hecke?

Sus coeficientes de Fourier son multiplicativos y forman un producto de Euler, lo que le da a cada eigenforma una función L con significado aritmético; estas son las formas modulares que corresponden a curvas elípticas y representaciones de Galois.

¿Qué es la conjetura de Ramanujan-Petersson?

Es una cota ajustada sobre el tamaño de los autovalores de Hecke (o, equivalentemente, los coeficientes de Fourier) de una forma cúspide; Deligne la demostró para formas holomorfas como consecuencia de las conjeturas de Weil.