Groupe modulaire

Groupe modulaire

En mathématiques, on appelle groupe modulaire le groupe PSL(2,\Z), quotient de SL(2,\Z) par son centre {Id, − Id}, souvent noté Γ(1), ou même tout simplement Γ. Il convient de l'identifier avec l'image de SL(2,\Z) dans le groupe de Lie PGL(2,\R).

Sommaire

Action sur le demi-plan de Poincaré

Domaine fondamental

Ce nom provient de l'action à gauche et fidèle de Γ(1) par homographies sur le demi-plan de Poincaré \mathfrak{H}=\{z\in\mathbb{C},\Im(z)>0\} des nombres complexes de partie imaginaire strictement positive.

Cette action n'est que la restriction de l'action de PGL(2,\C) sur la droite projective complexe \mathbf{P}_1(\mathbb{C})=\mathbb{C}\cup\{\infty\}: La matrice \left(\begin{matrix}a&b\\c&d\end{matrix}\right) agit sur \mathbf{P}_{1}(\mathbb{C}) en envoyant z 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,\R) stabilise la droite projective réelle \mathbf{P}_1(\mathbb{R})=\mathbb{R}\cup\{\infty\} de \mathbf{P}_{1}(\mathbb{C}), ce groupe stabilise aussi le complémentaire. Comme PGL(2,\R) est en outre connexe, il stabilise également chacune des deux composantes de \mathbf{P}_1(\mathbb{C}) \backslash \mathbf{P}_{1}(\mathbb{R}), en particulier \mathfrak{H}. 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 homographie sur le disque de Poincaré, par isométries. Or, le groupe PSU(1,1) est isomorphe au groupe modulaire PSL(2,\mathbb{R}), donc ce dernier agit sur le disque de Poincaré. On rappelle que le groupe SU(1,1) est l'ensemble des éléments de SL(2,\mathbb{C}) laissant invariant une forme quadratique de signature (1,1). SU(1,1) peut être vu comme l'ensemble des matrices \left(\begin{matrix}\alpha&\beta\\\overline{\beta}&\overline{\alpha}\end{matrix}\right)α et β sont des nombres complexes vérifiant la relation | α | 2 − | β | 2 = 1.

La courbe modulaire

Le quotient du demi-plan de Poincaré par le groupe modulaire donne lieu à une surface de Riemann \Gamma\backslash\mathfrak{H} («Gamma sous H»), souvent notée, ce qui selon les conventions peut être considéré un abus de notation, \mathfrak{H}/\Gamma («H sur Gamma»).

Cette surface de Riemann est souvent dénommée courbe modulaire, car elle paramètre les classes d'isomorphismes de courbes elliptiques complexes. Mieux, la courbe modulaire est la droite complexe ℂ. À chaque courbe elliptique complexe E correspond un nombre complexe, son j-invariant, noté j(E) ou jE. 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_\tau=\mathbb{C}/(\Z+\tau\Z). C'est une courbe elliptique. On peut donc considérer son module j(Eτ). On obtient ainsi une fonction à valeurs complexes définie sur \mathfrak{H}: c'est l'invariant j (en). C'est une fonction holomorphe sur \mathfrak{H}. Comme Eτ ne dépend que du réseau \Z+\tau\Z, la fonction est constantes sur les orbites de Γ: on dit qu'elle commute à l'action de Γ. Ainsi la fonction j induit par passage au quotient une application \Gamma\backslash\mathfrak{H}\rightarrow \mathbb{C}. Cette application est bijective et biholomorphe, ce qui justifie le nom de courbe modulaire donné au quotient \Gamma\backslash\mathfrak{H}.

Présentation du groupe modulaire

Le groupe modulaire est engendré par les deux transformations

S: z\mapsto -1/z et T: z\mapsto z+1.

Autrement dit, tout élément du groupe modulaire s'obtient en composant S et T. Cette écriture n'est pas unique. En effet les générateurs S et T vérifient les relations

S2 = 1 et (ST)3 = 1,

ce qui donne deux écriture distinctes de 1, la transformation identique. En fait les deux relations ci dessus engendrent toutes les relations entre S et T. On dit alors que l'on a une présentation du groupe modulaire, donnée par générateurs et relations, ce que l'on résume par la formule

\Gamma \cong \langle S, T \mid S^2, (ST)^3 \rangle.

Notons U le produit ST, qui agit par z\mapsto -1/(z+1). La formule ci-dessus revient aussi à dire que tout élément de Γ s'écrit, et ce de manière unique, comme produit de SU et U2, où les facteurs U et U2 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 C2 d'ordre 2) par le sous-groupe engendré par U (isomorphe au groupe cyclique C3 d'ordre 3).

\Gamma \cong C_2 * C_3

En termes géométriques,

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.

Référence

Frédéric Paulin, « Groupe modulaire, fractions continues et approximation diophantienne en caractéristique p », dans Geom. Dedicata, vol. 95, 2002, p. 65–85 [texte intégral (ps)] 


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Groupe modulaire de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Groupe Gamma Modulaire — En mathématiques, on appelle groupe modulaire le groupe quotient de SL(2,ℤ) par son centre {Id, Id}, souvent noté Γ(1), ou même tout simplement Γ. Il convient de l identifier avec l image de SL(2,ℤ) dans le groupe de Lie PGL(2,ℝ). Sommaire 1… …   Wikipédia en Français

  • Groupe Gamma modulaire — En mathématiques, on appelle groupe modulaire le groupe quotient de SL(2,ℤ) par son centre {Id, Id}, souvent noté Γ(1), ou même tout simplement Γ. Il convient de l identifier avec l image de SL(2,ℤ) dans le groupe de Lie PGL(2,ℝ). Sommaire 1… …   Wikipédia en Français

  • Groupe gamma modulaire — En mathématiques, on appelle groupe modulaire le groupe quotient de SL(2,ℤ) par son centre {Id, Id}, souvent noté Γ(1), ou même tout simplement Γ. Il convient de l identifier avec l image de SL(2,ℤ) dans le groupe de Lie PGL(2,ℝ). Sommaire 1… …   Wikipédia en Français

  • modulaire — [ mɔdylɛr ] adj. • av. 1845; de module ♦ Didact. ou techn. 1 ♦ Qui est fondé sur l emploi du module (1o). Architecture modulaire. ♢ Qui est conçu à partir d éléments que l on peut assembler de diverses façons. Construction modulaire. Salon… …   Encyclopédie Universelle

  • Groupe Abélien Fini — Leopold Kronecker (1823 1891) En mathématiques et plus précisément en algèbre, les groupes abéliens finis correspondent à une sous catégorie de la catégorie des groupes. Un groupe abélien fini est un groupe commutatif dont le cardinal est fini.… …   Wikipédia en Français

  • Groupe abelien fini — Groupe abélien fini Leopold Kronecker (1823 1891) En mathématiques et plus précisément en algèbre, les groupes abéliens finis correspondent à une sous catégorie de la catégorie des groupes. Un groupe abélien fini est un groupe commutatif dont le… …   Wikipédia en Français

  • Groupe Cyclique — En mathématiques et plus précisément en algèbre, un groupe cyclique est un groupe de cardinal fini dans lequel il existe un élément a tel que tout élément du groupe puisse (en notation additive) s exprimer sous forme d un multiple de a. Sa… …   Wikipédia en Français

  • Groupe monogène — Groupe cyclique En mathématiques et plus précisément en algèbre, un groupe cyclique est un groupe de cardinal fini dans lequel il existe un élément a tel que tout élément du groupe puisse (en notation additive) s exprimer sous forme d un multiple …   Wikipédia en Français

  • Groupe De Janko — En mathématiques, les groupes de Janko J1, J2, J3 et J4 sont quatre des vingt six groupes sporadiques; leurs ordres respectifs sont  …   Wikipédia en Français

  • Groupe de janko — En mathématiques, les groupes de Janko J1, J2, J3 et J4 sont quatre des vingt six groupes sporadiques; leurs ordres respectifs sont  …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”