Opérateurs de Hecke et formes propres

Les opérateurs de Hecke sont une famille commutative d'opérateurs linéaires agissant sur les espaces de formes modulaires dont les formes propres simultanées possèdent des coefficients de Fourier multiplicatifs, transformant ainsi les formes modulaires en une source de produits eulériens et de fonctions L arithmétiques.

Definition

Les opérateurs de Hecke sont des endomorphismes linéaires d'un espace de formes modulaires, indexés par des entiers positifs, qui effectuent une moyenne d'une forme sur des sous-réseaux ; une forme propre est une forme modulaire qui est un vecteur propre simultané pour tous les opérateurs de Hecke.

Scope

Ce sujet aborde la définition des opérateurs de Hecke sur les formes modulaires, leur commutativité et leur auto-adjonction par rapport au produit scalaire de Petersson, la diagonalisation résultante des espaces de formes paraboliques en formes propres simultanées, la multiplicativité et la récurrence satisfaites par les coefficients de Fourier des formes propres normalisées, la théorie des formes anciennes (oldforms) et des formes nouvelles (newforms) (théorie d'Atkin-Lehner) pour les niveaux supérieurs, et la fonction tau de Ramanujan comme coefficient prototypique de forme propre.

Core questions

• Comment les opérateurs de Hecke sont-ils définis, et pourquoi commutent-ils et préservent-ils les espaces de formes modulaires ?
• Pourquoi l'auto-adjonction par rapport au produit scalaire de Petersson garantit-elle une base de formes propres simultanées ?
• Comment le fait d'être une forme propre normalisée contraint-il les coefficients de Fourier à être multiplicatifs et à satisfaire une récurrence aux puissances de nombres premiers ?
• Qu'est-ce qui distingue les formes nouvelles (newforms) des formes anciennes (oldforms) à un niveau supérieur, et comment la théorie d'Atkin-Lehner les organise-t-elle ?

Key theories

Opérateurs de Hecke commutatifs et auto-adjoints

Les opérateurs de Hecke commutent et sont auto-adjoints par rapport au produit scalaire de Petersson sur les formes paraboliques, de sorte que, par le théorème spectral, l'espace possède une base orthogonale de formes propres simultanées.

Multiplicativité des coefficients des formes propres

Pour une forme propre normalisée, le n-ième coefficient de Fourier est égal à la n-ième valeur propre de Hecke ; ceux-ci sont multiplicatifs et satisfont une récurrence aux puissances de nombres premiers, produisant un produit eulérien pour la fonction L de la forme.

Formes nouvelles (newforms) et théorie d'Atkin-Lehner

Au niveau N, les formes paraboliques se divisent en formes anciennes (oldforms) provenant de niveaux inférieurs et en formes nouvelles (newforms) véritablement nouvelles ; les formes nouvelles sont les formes propres avec des fonctions L bien définies et sont les objets associés aux courbes elliptiques.

Clinical relevance

Les valeurs propres de Hecke constituent le contenu arithmétique tabulé dans les bases de données de formes modulaires et associées aux représentations de Galois ; les bornes sur celles-ci (la conjecture de Ramanujan-Petersson, prouvée par Deligne) contrôlent les termes d'erreur dans les estimations analytiques et certifient les lacunes spectrales utilisées pour construire les graphes expanseurs de Ramanujan.

History

Mordell a prouvé la multiplicativité de la fonction tau de Ramanujan en 1917, un phénomène que Hecke a expliqué dans les années 1930 en introduisant les opérateurs qui portent aujourd'hui son nom. Atkin et Lehner ont développé la théorie des formes nouvelles (newform theory) en 1970, et la preuve par Deligne en 1974 des conjectures de Weil a établi la borne de Ramanujan sur les valeurs propres.

Key figures

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

Frequently asked questions

Pourquoi les formes propres de Hecke sont-elles si importantes ?

Leurs coefficients de Fourier sont multiplicatifs et forment un produit eulérien, conférant à chaque forme propre une fonction L ayant une signification arithmétique ; ce sont les formes modulaires qui correspondent aux courbes elliptiques et aux représentations de Galois.

Qu'est-ce que la conjecture de Ramanujan-Petersson ?

C'est une borne précise sur la taille des valeurs propres de Hecke (ou, de manière équivalente, des coefficients de Fourier) d'une forme parabolique ; Deligne l'a prouvée pour les formes holomorphes comme conséquence des conjectures de Weil.