172 B. SOLUTIONS, INDICATIONS ET CORRIGÉS
covol(L1)covol(L2), où tous ces covolumes sont calculés de sorte que le pavé fondamental d’une base
orthonormée soit de volume 1.
Exercice 2.14. Pour le (i), observer que D8est d’indice 2dans Z8, donc de covolume 2. Pour le (ii),
observer que tout élément de E8est soit dans D8, soit de la forme u+eavec u∈D8. Autrement dit, D8
est d’indice 2dans E8, qui est donc de covolume 1. Pour le (iii), observer que e·e= 2 et que e·u∈Zsi
u∈D8. Pour le (iv), remarquer que 1n’est pas pair, donc ne peut pas être de la forme v·v.
3. Exercices du chapitre 3
Exercice 3.1. La forme (5,16,13) est de discriminant −4. D’après le cours il n’y a qu’une telle forme
de ce discriminant à équivalence près (équivalente à (1,0,1)). Si p≡1 mod 4 alors −4est un carré modulo
p, et donc (5,16,13) représente ppar Lagrange.
Exercice 3.4. (vu en cours) On a p44/3<4. Les formes réduites de discriminant −20 sont les trois
formes (1,0,11) et (3,±2,4). Seule la première est ambiguë, les deux autres étant opposées. À équivalence
près, les deux formes de discriminant −44 sont donc (1,0,11) et (3,2,4).
Exercice 3.5. On a p84/3<6. Les formes réduites de discriminant −84 = −3·4·7sont les formes
(1,0,21),(3,0,7),(2,2,11) et (5,4,5), qui sont toutes ambiguës.
Exercice 3.6. On a p56/3<5. Les formes réduites de discriminant −56 = −8·7sont donc (1,0,14),
(2,0,7) et (3,±2,5).
Exercice 3.7. Si D≡0 mod 4, les couples (x, y)∈Z2tels que x2−D
4y2= 1 sont (±1,0), sauf si
D=−4auquel cas il y a aussi (0,±1. Si D≡1 mod 4. Les couples (x, y)∈Z2tels que x2+xy+1−D
4y2= 1,
soit encore tels que (2x+y)2−Dy2= 4, sont (±1,0), sauf si D=−3auquel cas il y a aussi ±(1,−1).
Pour le (ii), observer que (1 + √2)(1 −√2) = −1puis que a2
n−2b2
n= (−1)npour tout entier n∈Z.
Exercice 3.9 Le (i) est immédiat. Observer que si c, d ∈Ret τ∈H, alors cτ +d6= 0. L’action
naturelle de GL2(C)sur C2définit par restriction une action de GL(2,R)sur C2. Si g=a b
c d , et si
τ∈H, on constate que
gτ
1= (cτ +d)g·τ
1.
Le (ii) s’ensuit (sans calcul !). Pour le (iii) considérer les éléments 1 0
0 1 et 0 1
−1 0 de SL2(Z).
Le (iv) est plus délicat. Fixons τ0∈Het considérons son orbite O= SL2(Z)·τ0⊂H. Montrons que
τ7→ Im(τ)atteint son maximum sur Oen un élément de O∩D. Observons que Z+τ0Zest un réseau de
C: il n’a donc qu’un nombre fini d’éléments dans le disque unité. Il résulte de ceci et du (i) que l’ensemble
des Im(τ)avec τ∈Oadmet un plus grand élément, disons Im(τ). Quitte à user des translations (inverses
l’une de l’autre et préservant O), τ7→ τ±1, on peut supposer sans changer Im(τ)que −1
2<Re(τ)≤1
2.
Par maximalité on a encore, |cτ +d| ≥ 1pour tout (c, d)∈Z2premiers entre eux. Pour (c, d) = (1,0) on
obtient |τ| ≥ 1. Si |τ|>1alors τ∈D. Si |τ|= 1, alors quitte à remplacer τpar −1/τ ∈O, ce qui ne
change pas Im(τ), on peut encore supposer que τ∈D, ce que l’on voulait.
Pour vérifier l’unicité, observons que si z∈Det |cz +d| ≤ 1avec c, d ∈Zpremiers entre eux, alors soit
(c, d) = (0,±1), soit (c, d) = (±1,0) et |z|= 1, soit (c, d) = ±(1,−1) et z=ρ:= eiπ/3(observer que |c| ≥ 2
est impossible car Im(z)≥√3
2>1
2). Supposons maintenant que g·τ∈D∩Oavec τcomme précédemment
et g−1=a b
c d ∈SL2(Z). Par maximalité de Im(τ), et τ=g−1·(g·τ), on a |c g ·τ+d| ≤ 1. On
applique l’observation à z=g·τ. Si c= 0 et d=±1 = a, alors g−1est la translation τ7→ τ+ab, et donc
b= 0 et τ=zà cause des conditions sur la partie réelle. Si c=±1,d= 0, et |z|= 1, alors b=−cet donc
g−1.z =a/c −1
z=τ∈D. Par définition de Dcela entraîne z=τ=ρet a/c = 1. Enfin, si c=−d=±1,
donc (a+b)d= 1, alors τ=az+b
cz+d=a/d (z−1)+1
1−z=−a/d +1
1−z. Dans ce cas on a vu que z=ρ, de sorte
que 1/(1 −z) = z, d’où l’on tire que a= 0 et encore τ=z.
Pour le (v), on a τ(q) = −b
2a+√D
2aoù D < 0est le discriminant de (a, b, c)et √D∈H. Un calcul
sans difficulté montre que τ(q·P) = P−1·τ(q). Pour le (vii), on observe d’abord que qest réduite au sens
de Gauss si et seulement si τ(q)∈D, et on conclut par le (iv).