Groupe modulaire

En mathématiques, on appelle groupe modulaire le groupe PSL(2, ℤ), quotient du groupe spécial linéaire SL(2, ℤ) par son centre { Id, –Id }. Il s'identifie à l'image de SL(2, ℤ) dans le groupe de Lie Modèle:Nobr On le note souvent Γ(1) ou simplement Γ.

Action sur le demi-plan de Poincaré

Domaine fondamental et ses translatés.

Ce nom provient de l'action à gauche et fidèle de Γ(1) par homographies sur le demi-plan de Poincaré ℋ des nombres complexes de partie imaginaire strictement positive.

Cette action n'est que la restriction de l'action de PGL(2, ℂ) sur la droite projective complexe PModèle:Ind(ℂ) = ℂ ∪ {Modèle:Math} : la matrice $\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ agit sur PModèle:Ind(ℂ) par la transformation de Möbius qui en envoie Modèle:Math sur $\frac{az+b}{cz+d}$. En coordonnées homogènes, [z : t] est envoyé sur [az + bt : cz + dt].

Comme le groupe PGL(2, ℝ) stabilise la droite projective réelle PModèle:Ind(ℝ) = ℝ ∪ {Modèle:Math} de PModèle:Ind(ℂ), ce groupe stabilise aussi le complémentaire. Comme PGL(2, ℝ) est en outre connexe, il stabilise également chacune des deux composantes de [[Différence ensembliste|PModèle:Ind(ℂ)\PModèle:Ind(ℝ)]], en particulier ℋ. Il en est donc de même du sous-groupe modulaire Γ(1).

Action sur le disque de Poincaré

Action du groupe modulaire sur le disque de Poincaré.

Le groupe PSU(1, 1) agit par homographies sur le disque de Poincaré, par isométries directes ; or le groupe PSU(1, 1) est isomorphe au groupe PSL(2, ℝ), donc ce dernier agit sur le disque de Poincaré.

On rappelle que le groupe spécial unitaire SU(1, 1) est l'ensemble des éléments de SL(2, ℂ) laissant invariante une forme hermitienne de signature (1,1) ; SU(1, 1) peut être vu comme l'ensemble des matrices $\left(\begin{array}{cc}\alpha & \beta \\ \bar{\beta }& \bar{\alpha }\end{array}\right)$ où Modèle:Math et Modèle:Math sont des nombres complexes vérifiant la relation Modèle:MathModèle:2 – Modèle:MathModèle:2 = 1.

Courbe modulaire

Le quotient du demi-plan de Poincaré par le groupe modulaire est la surface de Riemann Γ\ℋ (« Gamma sous H »), souvent notée — ce qui selon les conventions peut être considéré un abus de notation — ℋ/Γ (« H sur Gamma »).

Cette surface de Riemann est souvent dénommée courbe modulaire, car elle paramètre les classes d'isomorphisme de courbes elliptiques complexes. En fait cette courbe modulaire est la droite complexe ℂ. À chaque courbe elliptique complexe E correspond un nombre complexe, son j-invariant, noté j(E) ou jModèle:Ind. Ce nombre caractérise la courbe elliptique E à isomorphisme près. On dit que c'est son module.

À tout point Modèle:Math du demi-plan de Poincaré on associe le tore quotient EModèle:Ind = ℂ/(ℤ + Modèle:Mathℤ). C'est une courbe elliptique. On peut donc considérer son module j(EModèle:Ind). On obtient ainsi une fonction à valeurs complexes définie sur ℋ : c'est le j-invariant. C'est une fonction holomorphe sur ℋ. Comme EModèle:Ind ne dépend que du réseau ℤ + Modèle:Mathℤ, la fonction est constante sur les orbites de Γ : on dit qu'elle commute à l'action de Γ. Ainsi la fonction j induit par passage au quotient une application de Γ\ℋ dans ℂ. Cette application est bijective et biholomorphe, ce qui justifie le nom de courbe modulaire donné au quotient Γ\ℋ.

Présentation du groupe modulaire

Le groupe modulaire est engendré par les deux transformations

$S:z\mapsto -1/z\text{ et }T:z\mapsto z+1.$

• S agit par l'inversion par rapport au cercle unité, suivie par la réflexion par rapport à la droite Re(z) = 0 et
• T agit par la translation d'une unité vers la droite.

Il revient au même de dire que Γ est engendré par les éléments S (d'ordre 2) et U = TS (d'ordre 3, qui agit par z ↦ 1 – 1/z). Plus précisément, les deux relations SModèle:2 = 1 et UModèle:3 = 1 engendrent toutes les relations entre S et U. On dit alors que l'on a deux présentations du groupe modulaire, données par générateurs et relations, de la forme

$\mathrm{\Gamma }\simeq ⟨S,U\mid S^2,U^3⟩\simeq ⟨S,T\mid S^2,(TS{)}^3⟩.$

La formule ci-dessus revient à dire que tout élément de Γ s'écrit de manière unique comme produit de S, U et UModèle:2, où les facteurs U et UModèle:2 sont toujours séparés par des facteurs S. On dit encore que le groupe modulaire est le produit libre du sous-groupe engendré par S (isomorphe au groupe cyclique CModèle:Ind d'ordre 2) par le sous-groupe engendré par U (isomorphe au groupe cyclique CModèle:Ind d'ordre 3) :

$\mathrm{\Gamma }\cong C_2*C_3.$

Modèle:Démonstration/début Désignons par les mêmes lettres « les » matrices (à ± près) représentatives de S et T :

$S=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right),T=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$

et montrons par récurrence sur c que toute matrice

$A=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in \mathrm{S}\mathrm{L}(2,\mathbb{Z})\text{ avec }c\ge 0$

est (à ± près) engendrée par S et T.

Si c = 0 alors 1 = ad – bc = ad donc a = d = ± 1 et A est, à ± près, une puissance de T. Si c > 0, supposons la propriété vraie jusqu'à c – 1 et montrons-la pour c. Soit a = cq + r la division euclidienne de a par c. Alors, 0 ≤ r < c et

$S{T}^{-q}A=\left(\begin{array}{cc}-c& -d\\ r& b-qd\end{array}\right)$

donc par hypothèse de récurrence, STModèle:ExpA est (à ± près) engendrée par S et T, si bien que A aussi.

Dans le groupe Γ, le sous-groupe engendré par 〈 S 〉 = CModèle:Ind et 〈 U 〉 = CModèle:Ind est donc égal au groupe tout entier. Pour montrer que c'est le produit libre de 〈 S 〉 et 〈 U 〉, il suffit d'appliquer la même technique que dans le lemme du ping-pong à

$X_1=]0,+\mathrm{\infty }[\text{ et }{X}_2=]-\mathrm{\infty },0[,$

en utilisant que S(XModèle:Ind) ⊂ XModèle:Ind et U(XModèle:Ind), UModèle:2(XModèle:Ind) ⊂ XModèle:Ind. Modèle:Démonstration/fin

Voir aussi

Articles connexes

• Modèle:Lien
• [[SL2(R)|SLModèle:Ind(ℝ)]]
• Transformation de Möbius
• Modèle:Lien

Liens externes

• Modèle:Article
• Modèle:Lien web
• Modèle:Chapitre
• Modèle:Article