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 PGL(2, ℝ). 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 P₁(ℂ) = ℂ ∪ {∞} : la matrice ${\displaystyle \left({\begin{matrix}a&b\\c&d\end{matrix}}\right)}$ agit sur P₁(ℂ) par la transformation de Möbius qui en envoie z sur ${\displaystyle {\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 P₁(ℝ) = ℝ ∪ {∞} de P₁(ℂ), ce groupe stabilise aussi le complémentaire. Comme PGL(2, ℝ) est en outre connexe, il stabilise également chacune des deux composantes de P₁(ℂ)\P₁(ℝ), 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 ${\displaystyle \left({\begin{matrix}\alpha &\beta \\{\overline {\beta }}&{\overline {\alpha }}\end{matrix}}\right)}$ où α et β sont des nombres complexes vérifiant la relation α² – β² = 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 j_E. Ce nombre caractérise la courbe elliptique E à isomorphisme près. On dit que c'est son module.

À tout point τ du demi-plan de Poincaré on associe le tore quotient E_τ = ℂ/(ℤ + τℤ). C'est une courbe elliptique. On peut donc considérer son module j(E_τ). On obtient ainsi une fonction à valeurs complexes définie sur ℋ : c'est le j-invariant. C'est une fonction holomorphe sur ℋ. Comme E_τ ne dépend que du réseau ℤ + τℤ, 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

${\displaystyle 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 S² = 1 et U³ = 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

${\displaystyle \Gamma \simeq \langle S,U\mid S^{2},U^{3}\rangle \simeq \langle S,T\mid S^{2},(TS)^{3}\rangle .}$

La formule ci-dessus revient à dire que tout élément de Γ s'écrit de manière unique comme produit de S, U et U², où les facteurs U et U² 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 C₂ d'ordre 2) par le sous-groupe engendré par U (isomorphe au groupe cyclique C₃ d'ordre 3) :

${\displaystyle \Gamma \cong C_{2}*C_{3}.}$

Démonstration

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

${\displaystyle S={\begin{pmatrix}0&-1\\1&0\end{pmatrix}},\quad T={\begin{pmatrix}1&1\\0&1\end{pmatrix}}}$

et montrons par récurrence sur c que toute matrice

${\displaystyle A={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\rm {SL}}(2,\mathbb {Z} ){\text{ avec }}c\geq 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

${\displaystyle ST^{-q}A={\begin{pmatrix}-c&-d\\r&b-qd\end{pmatrix}}}$

donc par hypothèse de récurrence, ST^–qA est (à ± près) engendrée par S et T, si bien que A aussi.

Dans le groupe Γ, le sous-groupe engendré par 〈 S 〉 = C₂ et 〈 U 〉 = C₃ 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 à

${\displaystyle X_{1}=]0,+\infty [{\text{ et }}X_{2}=]-\infty ,0[,}$

en utilisant que S(X₁) ⊂ X₂ et U(X₂), U²(X₂) ⊂ X₁.

Voir aussi

Articles connexes

• Groupe arithmétique (en)
• SL₂(ℝ)
• Transformation de Möbius
• Sous-groupe de congruence (en)

Liens externes

• Frédéric Paulin, « Groupe modulaire, fractions continues et approximation diophantienne en caractéristique p », Geom. Dedicata, vol. 95,‎ 2002, p. 65-85 (lire en ligne [ps])
• (en) Keith Conrad, « SL₂(ℤ) », sur math.uconn.edu
• (en) Gilles Lachaud, « Continued fractions, binary quadratic forms, quadratic fields, and zeta functions », dans Algebra and Topology 1988, Taejon, Korea Inst. Tech., 1988 (lire en ligne), p. 1-56
• (en) Morris Newman, « Free subgroups and normal subgroups of the modular group », Illinois J. Math., vol. 8, n^o 2,‎ 1964, p. 262-265 (DOI 10.1215/ijm/1256059670)

• Portail des mathématiques