Opérateur de Hecke

En mathématiques, en particulier dans la théorie des formes modulaires, un opérateur de Hecke, étudié par Erich Hecke, est un certain type d'opérateur de « moyennage » qui joue un rôle important dans la structure des espaces vectoriels de formes modulaires et de représentations automorphes plus générales.

Histoire

Mordell (1917) a utilisé les opérateurs de Hecke sur les formes modulaires dans un article sur les formes paraboliques spéciales de Ramanujan, bien avant la théorie générale développée par Hecke (1937a, 1937b). En donnant une expression des coefficients de la forme de Ramanujan

$\mathrm{\Delta }(z)=q{(\prod _{n=1}^{\mathrm{\infty }}(1-q^n))}^{24}=\sum _{n=1}^{\mathrm{\infty }}\tau (n)q^n,q=e^{2\pi iz},$

Mordell a démontré que la fonction tau de Ramanujan est une fonction multiplicative :

$\tau (mn)=\tau (m)\tau (n)\text{ si }(m,n)=1.$

L'idée remonte en fait aux travaux antérieurs d'Adolf Hurwitz, qui traitait des correspondances algébriques entre des courbes modulaires, que réalisent certains opérateurs de Hecke particuliers.

Description mathématique

Les opérateurs de Hecke peuvent être réalisés dans plusieurs contextes. La définition la plus simple est combinatoire : étant donné un entier Modèle:Formule, à une fonction Modèle:Formule, définie sur l'ensemble des réseaux de rang donné, on associe

$\sum f({\mathrm{\Lambda }}^{\prime })$

où la somme porte sur tous les Modèle:Formule qui sont des sous-groupes de Modèle:Formule d'indice Modèle:Formule. Par exemple, pour un réseau Modèle:Formule de rang deux avec Modèle:Formule, il y a trois tels Modèle:Formule. Les formes modulaires sont des fonctions d'un genre particulier définies sur l'ensemble des réseaux, soumises à des conditions qui en font des fonctions analytiques et homogènes par rapport aux homothéties, ainsi qu'à une croissance modérée à l'infini ; ces conditions sont préservées par addition, de sorte que les opérateurs de Hecke préservent l'espace des formes modulaires d'un poids donné.

Une autre façon d'exprimer les opérateurs de Hecke consiste à utiliser des doubles classes dans le groupe modulaire. Dans l'approche adélique contemporaine, cela se traduit par des doubles classes par rapport à certains sous-groupes compacts.

Formule explicite

Soit Modèle:Formule l'ensemble des matrices entière Modèle:Formule de déterminant Modèle:Formule et soit Modèle:Formule le groupe modulaire complet Modèle:Formule. Étant donnée une forme modulaire Modèle:Formule de poids Modèle:Formule, le Modèle:Formule-ième opérateur de Hecke agit par la formule

$T_{m}f(z)=m^{k-1}\sum _{\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in \mathrm{\Gamma }\mathrm{\setminus }{M}_m}(cz+d{)}^{-k}f\left(\frac{az+b}{cz+d}\right),$

où Modèle:Formule est dans le demi-plan supérieur et la constante de normalisation Modèle:Formule garantit que l'image d'une forme à coefficients de Fourier entiers a des coefficients de Fourier entiers. Ceci peut être réécrit sous la forme

$T_{m}f(z)=m^{k-1}\sum _{a,d>0,ad=m}\frac{1}{d^k}\sum _{b(\mathrm{mod}d)}f\left(\frac{az+b}{d}\right),$

ce qui conduit à une expression des coefficients de Fourier de Modèle:Formule en fonction de ceux de Modèle:Formule :

$b_n=\sum _{r>0,r\mid (m,n)}{r}^{k-1}{a}_{mn/r^2}.$

On peut voir à partir de cette formule explicite que les opérateurs de Hecke avec des indices différents commutent et que si Modèle:Formule alors Modèle:Formule, de sorte que le sous-espace Modèle:Formule des formes paraboliques de poids Modèle:Formule est préservé par les opérateurs de Hecke. Si une forme parabolique (non nulle) Modèle:Formule est une forme propre simultanée de tous les opérateurs de Hecke Modèle:Formule avec des valeurs propres Modèle:Formule alors Modèle:Formule et Modèle:Formule . Les formes propres de Hecke sont normalisées de sorte que Modèle:Formule, alors

$T_{m}f=a_{m}f,a_m{a}_n=\sum _{r>0,r|(m,n)}{r}^{k-1}{a}_{mn/r^2},m,n\ge 1.$

Ainsi, pour les formes paraboliques propres pour les opérateurs de Hecke normalisées de poids entier, leurs coefficients de Fourier coïncident avec les valeurs propres de Hecke.

Algèbres de Hecke

Les algèbres engendrées par les opérateurs de Hecke sont appelées « algèbres de Hecke ». Ce sont des anneaux commutatifs. Dans la théorie classique des formes modulaires elliptiques, les opérateurs de Hecke Modèle:Formule avec Modèle:Formule premier avec le niveau qui agissent sur l'espace des formes paraboliques de poids donné sont autoadjoints pour le Modèle:Lien. D'après le théorème spectral, il existe une base de formes modulaires qui sont des fonctions propres pour ces opérateurs de Hecke. Chacune de ces formes de base possède un développement en produit eulérien. Plus précisément, sa transformée de Mellin est la série de Dirichlet qui a pour produit eulérien celui dont le facteur local en chaque nombre premier Modèle:Formule l'inverseModèle:Pas clair du polynôme de Hecke, un polynôme quadratique en Modèle:Formule.

Dans le cas traité par Mordell, l'espace des formes paraboliques de poids 12 par rapport au groupe modulaire complet est de dimension 1. Il en résulte que la forme $\mathrm{\Delta }$ de Ramanujan admet un produit eulérien et que la fonction Modèle:Formule est multiplicative.

L'existence de cette algèbre d'opérateurs commutatifs joue un rôle important dans l'analyse harmonique des formes modulaires et des généralisations.

Cela dit, d'autres anneaux apparentés sont également appelés « algèbres de Hecke », bien que parfois le lien avec les opérateurs de Hecke ne soit pas tout à fait évident. Parmi ces algèbres figurent certains quotients des algèbres des groupes de tresses.

Voir aussi

Articles connexes

• Algèbre de Hecke
• Algèbre abstraite
• Modèle:Lien
• Modèle:Lien

Bibliographie

• Modèle:Chapitre
• Modèle:Springer
• Modèle:Article
• Modèle:Article
• Modèle:Article
• Modèle:Chapitre
• Modèle:Chapitre