Formes modulaires et le groupe modulaire

Le groupe modulaire de matrices entières agit sur le demi-plan supérieur, et les formes modulaires sont les fonctions holomorphes qui respectent cette action ; leur définition, leurs exemples et leur structure de base constituent le point d'entrée de toute la théorie.

Definition

Le groupe modulaire est le groupe des matrices entières deux par deux de déterminant un agissant sur le demi-plan supérieur par transformations homographiques ; une forme modulaire de poids k pour ce groupe est une fonction holomorphe se transformant par la k-ième puissance du facteur d'automorphie et holomorphe à la pointe (cusp).

Scope

Ce sujet couvre le groupe modulaire et ses générateurs, l'action par transformations homographiques sur le demi-plan supérieur et le domaine fondamental standard, les sous-groupes de congruence et les niveaux, la définition des formes modulaires et des formes paraboliques d'un poids donné, les séries d'Eisenstein comme formes non paraboliques de base, le discriminant modulaire et le j-invariant, ainsi que la formule de la valence qui détermine les dimensions des espaces de formes modulaires.

Core questions

• Comment le groupe modulaire est-il généré, et à quoi ressemble son domaine fondamental ?
• Quelle est la loi de transformation précise définissant une forme modulaire de poids k, et en quoi les formes paraboliques diffèrent-elles ?
• Que sont les séries d'Eisenstein, et comment génèrent-elles l'anneau des formes modulaires pour le groupe complet ?
• Comment la formule de la valence compte-t-elle les zéros et fixe-t-elle les dimensions de ces espaces ?

Key theories

Domaine fondamental et générateurs

Le groupe modulaire est généré par les applications de translation et d'inversion, et son action possède un domaine fondamental standard dans le demi-plan supérieur, qui sous-tend tous les calculs explicites avec les formes modulaires.

Séries d'Eisenstein et l'anneau modulaire

Les séries d'Eisenstein de poids quatre et six sont des formes modulaires holomorphes dont les polynômes génèrent l'intégralité de l'anneau gradué des formes modulaires pour le groupe modulaire complet.

Formule de la valence et dimensions

Les zéros d'une forme modulaire de poids k, comptés avec multiplicité sur le domaine fondamental, satisfont une identité fixe ; cette formule de la valence donne les dimensions finies de tous les espaces de formes modulaires.

Clinical relevance

Les séries thêta, qui sont des formes modulaires construites à partir de réseaux, comptent les représentations d'entiers par des formes quadratiques et certifient les réseaux optimaux utilisés dans l'empilement de sphères et la théorie des codes, conférant ainsi des applications concrètes à cette structure par ailleurs abstraite.

History

Le groupe modulaire et son domaine fondamental ont émergé de la théorie des fonctions elliptiques et modulaires du XIXe siècle développée par Gauss, Jacobi, Eisenstein, Klein et Poincaré. Le cadre moderne des formes modulaires, sans coordonnées, en tant que fonctions avec une loi de transformation, a été consolidé au XXe siècle par Hecke et ses successeurs.

Key figures

• Felix Klein
• Henri Poincare
• Gotthold Eisenstein
• Carl Ludwig Siegel

Seminal works

• serre1973
• apostol1990

Frequently asked questions

Qu'est-ce que le domaine fondamental du groupe modulaire ?

C'est une région du demi-plan supérieur qui contient exactement un représentant de chaque orbite sous l'action du groupe, généralement représentée comme la bande entre les lignes verticales à partie réelle plus et moins un demi, au-dessus du cercle unité.

Qu'est-ce qu'une forme parabolique (cusp form) ?

C'est une forme modulaire qui s'annule à chaque pointe (cusp), ce qui signifie que son développement de Fourier n'a pas de terme constant ; les formes paraboliques portent les informations arithmétiquement les plus intéressantes et sont les formes propres des opérateurs de Hecke.