• Non ci sono risultati.

Action du groupe modulaire sur le demi-plan de Poincarré

N/A
N/A
Protected

Academic year: 2021

Condividi "Action du groupe modulaire sur le demi-plan de Poincarré"

Copied!
3
0
0

Testo completo

(1)

Action du groupe modulaire sur le demi-plan de Poincarré

Références : Thèmes de géométrie ; Groupes en situation géométrique.

Michel Alessandri Oraux X-ENS, Algèbre 1

2011-2012

On appelle demi-plan de Poincaré l’ensemble P = {z ∈ C | ℑ(z) > 0}.

On fait agir SL2(Z) sur P par l’action :

∀A ∈ SL2(Z), ∀z ∈ P, A ∗ z =az + b cz + d.

On appelle en particulier S et T les matrices S =

 0 −1

1 0



et T =

 1 1 0 1



Finalement, on appelle groupe modulaire le groupe

P SL2(Z) = SL2(Z)/{±I}.

On fait agir ce groupe sur P de la même manière que SL2(Z). On remarquera que cette action est fidèle (seul le neutre fixe tous les points).

On cherche à montrer

Théorème 1

Le groupeSL2(Z) est engendré par S et T .

Démonstration. On appelle D l’ensemble D =



z ∈ P | |z| > 1 et |ℜ(z)| 6 1 2

 ,

et G le sous-groupe de SL2(Z) engendré par S et T .

On cherche donc à montrer que G = SL2(Z). Commençons par étudier D.

Lemme 2

On fait agirG sur P via l’action de SL2(Z). Alors pour cette action de G, toutes les orbites rencontrent D.

Démonstration. On se fixe z ∈ P . On va construire un point de P qui est dans D à partir de z ; pour cela, on va faire "monter" z, puis le translater.

1

(2)

On remarque qu’il n’y a qu’un nombre fini de couples (c, d) ∈ Z2tels que |cz + d| 6 1. En effet

|c|ℑ(z) = |ℑ(cz + d)| 6 |cz + d| 6 1, et donc |c| 6 1/ℑ(z) et |d| 6 1 + |c||z|.

On a, pour A =

 a b c d



dans G,

ℑ(A ∗ z) = ℑ(z)

|cz + d|2.

Comme le nombre de couples (c, d) vérifiant ℑ(A ∗ z) > ℑ(z) est fini, il existe A1∈ G telle que ℑ(A1∗ z) soit maximal. On appelle z1= A1∗ z.

Soit n la partie entière de ℜ(z1) + 1/2.

Comme pour tout u de P , on a T ∗ u = u + 1, on a :

−1

2 6ℜ(z1) − n 6 ℜ(z1− n) 6 ℜ(T−n∗ z1) 61 2, avec ℑ(T−n∗ z1) = ℑ(z1).

En posant z2= T−n∗ z1), il ne nous reste plus qu’à montrer |z2| > 1.

Sinon, ℑ(S ∗ z2) = ℑ(z|z 2)

2|2, ce qui contredit la maximalité de ℑ(z2). ♦

On chercher maintenant à caractériser, pour z ∈ D fixé, les matrices A de SL2(Z) telles que A ∗ z ∈ D.

Fixons-nous donc z ∈ D, et A =

 a b c d



dans SL2(Z) tels que A ∗ z ∈ D.

Lemme 3

A est une matrice de G.

Démonstration. On peut se restreindre au cas où ℑ(A∗z) > ℑ(z), i.e |cz+d| 6 1 : sinon ℑ(A∗z) < ℑ(A−1∗(A∗z)) et donc on peut faire la même étude pour A−1.

D’après les calculs qu’on a fait plus tôt, on a

|c| 6 1 ℑ(z) 6 2

√3 < 2 et donc c ∈ {−1, 0, 1}.

Cas c = 0 : On a det(A) = ad = 1, et donc, quitte à changer A et −A (ce qui ne change pas la valeur de A ∗ z), on a a = d = 1, et donc A ∗ z = z + b. Regardons où est z dans D.

– Si |ℜ(z)| <12, alors b = 0 et donc A = ±I.

– Si |ℜ(z)| = −12, alors b = 0 ou 1, et donc A = ±I ou T . – Si |ℜ(z)| =12, alors b = 0 ou -1, et donc A = ±I ou T−1.

Cas c = 1 : La condition |z + d| 6 1 n’offre que trois possibilités (dessiner D) : (i) d = 0 ;

(ii) z = j et d = 1 ; (iii) z = −1j et d = −1.

2

(3)

(i) On a det(A) = −b = 1, et A ∗ z = a −1z.

Comme de plus, |z| 6 1 et z ∈ D, nécessairement |z| = 1, et donc −1z et le symétrique de z par rapport à l’axe des imaginaires. a −1z est donc dans D seulement si

– a = 0

– z = j et a = −1 – z = −1j et a = 1

Ces trois possibilités mènent à – A = S

– A =

 −1 −1

1 0



= (ST )2 – A =

 1 −1

1 0



= T S.

(ii) det(A) = a − b = 1 et

A ∗ z =aj + (a − 1)

j + 1 = a + j, qui est dans D seulement si a = 0 ou a = 1, ce qui mène à

A =

 0 −1

1 1



= ST ou A =

 1 −1

1 0



= T ST.

(iii) On conclut de la même façon A =

 0 −1 1 −1



= (T S)2 ou A =

 −1 0

1 −1



= T ST.

On se ramène à c = 1 en changeant A en −A.

♦ On peut maintenant terminer la preuve :

Le cas où z est dans l’intérieur de D ne se rencontre que dans le cas c = 0, et impose A = ±I.

Soit A une matrice de SL2(Z). Notons z= A ∗ z ∈ P . Alors par le lemme2, il existe B ∈ G telle que B ∗ z∈ D, i.e (BA) ∗ z ∈ D.

On a donc BA = ±I, i.e A = ±B−1. Comme −I = S2 est dans G, on a bien A ∈ G, et par suite G = SL2(Z).

3

Riferimenti

Documenti correlati

maggiore dettaglio rispetto al passato, la datazione di alcune tegole recanti bolli riconducibili alla produzione laterizia della famiglia dei Messii.. Alla luce

Afin d'analyser si et comment les variables incluses dans le cadre de recherche influencent la forme des systèmes de gestion des performances SI, nous avons pris en compte

Les corps cyclotomiques sont une intéressante famille de corps pour notre pro- blème parce que l’anneau des entiers d’un tel corps admet une base de puissances et il y a

Le grandi case commerciali di Amsterdam e di Amburgo con cui i lucchesi erano in contatto provvedevano a inviare le casse di drappi alla fiera che si teneva ogni anno ad Arcangelo, e

Toutefois, comme cela est souligné dans la Déclaration sur le droit à la protection des données dans le contexte de la pandémie à COVID-19 de la Présidente du Comité de

11.2 By 2030, provide access to safe, affordable, accessible and sustainable transport systems for all, improving road safety, notably by expanding public transport, with special

• Promote the development and implementation of policies, standards, labels, financial instruments and emerging market-based actions for a more efficient exploitation of the

Eighteen countries had completed the tool at the end of November 2015; this included the 16 focus countries (Afghanistan, Angola, Bangladesh, China, Ghana, India, Indonesia,