En mathématiques, une forme modulaire de Hilbert est une généralisation des formes modulaires aux fonctions de deux variables ou plus. C'est une fonction analytique sur le produit de m demi-plans supérieurs satisfaisant un certain type d'équation fonctionnelle.
Soit F un corps totalement réel de degré m sur le corps des rationnels. Soit les plongements réels de F. On définit ainsi une application
Soit l'anneau des entiers de F. Le groupe est appelé le groupe modulaire de Hilbert plein. Pour tout élément , on dispose d'une action de groupe sur définie par .
Pour
on définit:
Une forme modulaire de Hilbert de poids est une fonction analytique sur telle que pour tout
Contrairement au cas de forme modulaire, aucune condition supplémentaire n'est requise, en raison du principe de Koecher.[Information douteuse]
Ces formes modulaires, pour des corps quadratiques réels, ont été traitées pour la première fois en 1901 dans l'Habilitationssschrift d'Otto Blumenthal (université de Göttingen). Il y mentionne que David Hilbert les avait envisagées initialement dans un travail de 1893-94, resté inédit. Le travail de Blumenthal a été publié en 1903. Pour cette raison, les formes modulaires de Hilbert sont souvent appelées formes modulaires de Hilbert-Blumenthal.
La théorie est restée en retrait pendant quelques décennies ; Erich Hecke y a fait appel dans ses premiers travaux, mais un intérêt majeur pour les formes modulaires de Hilbert attendait le développement de la théorie des variétés complexes.