FORMES MODULAIRES ET COURBES ELLIPTIQUES

groupe de lecture lcole Normale Suprieure de Lyon,

daprs les cours
dAlexe PANTCHICHKINE
lcole Normale Suprieure de Lyon, lcole Normale Suprieure, rue dUlm,
lInstitut FOURIER et Universit dEtat de Moscou LOMONOSSOV
(disponibles sur : http://www-fourier.ujf-grenoble.fr /panchish)
e-mail : panchish@mozart.ujf-grenoble.fr, FAX: 33 (0) 4 76 51 44 78)

Universit Joseph FOURIER

Institut FOURIER
URA 188 du CNRS
Saint-Martin dHres
cole Normale Suprieure
45, rue dUlm
PARIS
cole Normale Suprieure de Lyon
Place dItalie
LYON
Universit dEtat de Moscou
M.V.LOMONOSSOV
Vorobevy Gory
Moscou, RUSSIE

Plusieurs niveaux de lecture sont possibles. Jai signal avec une * ce qui peut tre saut en premire lecture.
Rsum
Le sujet du prsent groupe de lcture est centr sur les formes modulaires et courbes ellip-
tiques. La thorie des formes modulaires est un moyen important pour rsoudre des problmes de
thorie des nombres car les formes modulaires reprsentent des fonctions gnratrices de fonctions
arithmtiques. Un exemple clbre provient de la preuve de A.Wiles du Thorme de Fermat et de
la Conjecture de Taniyama-Weil, o la fonction gnratrice est associe au comptage du nombre
de points dune courbe elliptique sur un corps ni.
On va utiliser quelques notions de lanalyse complexe (fonctions holomorphes), et de la thorie
de Galois (introduites au fr et mesure dans les cours "Fonction holomorphes" (Prof. H.Pajot)
et "Algbre 2" (Prof. A.Pantchichkine).
Une grande partie de travail est consacr la thorie complexe des courbes elliptiques, des
fonctions double-priodiques et les notions de surfaces de Riemann. Des exemples dapplication
sont dveloppes utilisant une version accssible du thorme de Riemann-Roch. Du point de vue
algorithmique, les espaces des formes modulaires admettent des bases explicitement calculables,
o ces bases correspondent aux reprsentations galoisiennes (complexes ou p-adiques). Une telle
correspondance est fournie par les fonctions zeta. En conclusion vers la n du travail on envisage
faire la connaissance avec la thorie des fonctions zeta cre par Hecke.
On utilise comme prrequis les notions de groupe, dhomomorphisme, dactions des groupes
sur un ensemble, ainsi que des gnralits sur les anneaux factoriels, la classication des modules
de type ni sur les anneaux principaux, et en particulier, la structure des groupes abliens de type
ni. Des applications des formes modulaires et des courbes elliptiques dans la thorie des nombres
serons tudier (aux sommes de carrs, aux partitions, aux sommes de Gauss, etc.)
Plusieurs niveaux de lecture sont possibles. Jai signal avec une * ce qui peut tre saut en
premire lecture.
Le travail est bas sur les ouvrages :
Serre J.P., "Cours darithmtique", Paris 1970,
Yu.I. Manin et A.A.Panchishkin, "Introduction to Modern Number Theory", Encyclopaedia
of Mathematical Sciences, vol. 49 (2nd ed.), Springer-Verlag, 2005, 514 p.
Shimura Gro, "Introduction to arithmetic theory of automorphic functions", Princeton Uni-
versity Press, 1971.
Le texte intgrale pour le groupe de lcture est disponible ladresse :
http ://www-fourier.ujf-grenoble.fr/panchish/6ensl/06ensl.pdf).
CONTENU
Partie 1. Espaces de formes modulaires
1. Espaces de formes modulaires. Formes modulaires avec caractres de Dirichlet. Exemples et
motivations dtude des formes modulaires. Fonction de Ramanujan.
2. Lien avec la thorie de reprsentation. Dnition gomtrique des formes modulaires commes
fonctions de rseaux.
3. Sries dEisenstein et leurs dveloppement de Fourier. Fonction comme un produit innit.
4. Structure des formes modulaires pour sur SL
2
(Z). Applications. Congruence de Ramanujan et
son interprtation galoisienne.
Partie 2. Surfaces de Riemann et formes modulaires
5. Surfaces de Riemann. Domaine fondamental de SL
2
(Z) comme surface de Riemann. Formes
modulaires comme direntielles multiples et lien avec le thorme de RiemannRoch.
6. Thorme de RiemannRoch pour les surfaces de Riemann compactes et pour les courbes pro-
jectives et lisses. Thorme de nitude des dimension. Thorme dapproximation. Groupe des
classes de diviseurs. La classe canonique.
2
7. Rpartitions de Weil et le thorme de Riemann. Irregularit et ses proprits.
8. Rsidus et dualit. Calcul dirregularit. Corollaires du thorme de Riemann-Roch. Applications
aux formes modulaires (dimensions des espaces de formes modulaires).
Partie 3. Courbes elliptiques et formes modulaires algbriques.
9. Courbes elliptiques. Thorme dAbel. Groupe de classes de diviseurs. Lois daddition et la
mthode de scantes et tangentes.
10. Description analytique des courbes elliptiques complexes et leurs homomorphismes. Thorme
daddition. Thorme de Jacobi (description du rseau correspondant une direntielle non
nulle). Classes disomorphisme des courbes elliptiques. Linvariant modulaire.
11. La courbe de Tate. Points dordre ni : trois descriptions. Isognies et dualit. Formes modulaires
algbriques et leur dveloppement de Fourier algbrique.
12. Oprateurs de Hecke. Description algbrique des oprateurs de Hecke laide disognies. Pro-
duit des oprateurs de Hecke. La transformation de Mellin comme un produit eulrien. Formes
primitives.
3
Sujets dexposs :
1. Le plan complexe C et le demi plan de Poincar H. Laction du groupe GL
+
(2, R) sur H. Pro-
prits des homographies. Lien entre les fonctions sur H et le fonctions sur le groupe (1.1,
1.3).
2. Exemples de formes modulaires. Fonction de Ramanujan, son calcul et ces proprits. Congruence
de Ramanujan et formules de Manin (1.2).
3. Sries dEisenstein et leurs dveloppement de Fourier (1.5).
4. Fonction comme un produit innit (1.5.2, 1.6).
5. Structure des formes modulaires pour sur SL
2
(Z). Applications. Preuve de la congruence de
Ramanujan. Linterprtation galoisienne de cette congruence (1.6)
6. Dnition gomtrique des formes modulaires commes fonctions de rseaux (1.4 et [Se1]).
7. Espaces de formes modulaires. Formes modulaires avec caractres de Dirichlet (1.1.6).
8. Sries thta et formes quadratiques. Exemples des formes quadratiques binaires. Formules pour
les sommes de carres. (1.1.6).
9. Application aux reprsentations galoisiennes : le thorme de Kronecker-Weber et le thorme
de Deligne-Serre (1.1.7 et [De-Se]). Exemples avec les formes binaires de discriminant -23 et
-31.
10. La sphre de Riemann. La projection strographique. Notion de surfaces de Riemann (2.1)
11. Domaine fondamental de SL
2
(Z) comme surface de Riemann ((1.6, 2.1.5.
12. Courbes algbriques planes (anes et projectives). La droite projective complexe et la sphre
de Riemann. Surfaces de Riemann compactes (2.2.1, 13, 14 du cours Malg1 ( Algbre 1)
lInstitut Fourier, <http ://www-fourier.ujf-grenoble.fr`panchish /04ma1.pdf>
13. Diviseur dune fonction mromorphe et dune forme modulaire. Formes modulaires comme dif-
frentielles multiples et lien avec le thorme de RiemannRoch (2.2.3)
14. Thorme de RiemannRoch pour les surfaces de Riemann compactes et pour les courbes pro-
jectives et lisses. Thorme de nitude des dimension (formulation)(2.2.5)
15. Thorme dapproximation. Groupe des classes de diviseurs. Le genre et la classe canonique
(2.2.6, 2.2.7)).
16. Rpartitions de Weil et le thorme de Riemann (2.2.13, 2.2.14).
17. Irregularit et ses proprits (2.2.12, 2.2.15).
18. Rsidus et dualit. Calcul dirregularit. Corollaires du thorme de Riemann-Roch (2.2.16-
2.2.19)
19. Le genre et la formule de Hurwitz (2.3.3)
20. La surface de Riemann X

lie un sous groupe de congruence SL(2, Z). lments hyper-

boliques, lments elliptiques, lments paraboliques et ces stabilisateurs (2.3.1, 2.3.2, 2.3.4).
21. Le genre des courbes modulaires (2.3.5, 2.3.6, 2.3.7)
22. Applications aux formes modulaires (dimensions des espaces de formes modulaires,2.4)
23. Courbes elliptiques. Thorme dAbel. Groupe de classes de diviseurs (3.1.1-3.1.3)
24. Lois daddition et la mthode de scantes et tangentes (14.4 du cours Malg1 ( Algbre 1)
lInstitut Fourier, <http ://www-fourier.ujf-grenoble.fr`panchish /04ma1.pdf> ).
25. Description analytique des courbes elliptiques complexes et leurs homomorphismes. Thorme
daddition (3.1.4).
4
26. Thorme de Jacobi (description du rseau correspondant une direntielle non nulle). Classes
disomorphisme des courbes elliptiques. Linvariant modulaire (3.1.5-3.1.9).
27. La courbe de Tate. Points dordre ni (3.1.16)
28. Produit des oprateurs de Hecke. La transformation de Mellin comme un produit eulrien (3.4,
3.5)
29. Formes primitives et leurs proprits (sans dmonstration, 3.5.5).
5
Leon N

1
0 Introduction
Formes modulaires comme un moyen pour solution des problmes et pour les calculs en
thorie des nombres
On considre
les formes modulaires comme
1) certaines sries de puissances de la variable q :
f =

X
n=0
a
n
q
n
C[[q]] et comme
2) certaines fonctions holomorphes
sur le demi-plan de Poincar
H = {z C | Im z > 0}
o q = exp(2iz),
z H, et on considre
les fonctions L attaches
L(f, s, ) =

X
n=1
(n)a
n
n
s
pour tout caractre de Dirichlet
: (Z/NZ)

.
Un exemple clbre : la fonction de Ramanujan (n)
La fonction (de la variable z)
donne par lexpression formelle
=

n=1
(n)q
n
= q

m=1
(1 q
m
)
24
= q 24q
2
+ 252q
3
+
(cest une forme modulaire
par rapport au groupe = SL
2
(Z)).
(1) = 1, (2) = 24,
(3) = 252, (4) = 1472
(m)(n) = (mn)
for (n, m) = 1,
[(p)[ 2p
11/2
( Ramanujan-Deligne)
pour tous les nombres premiers p .
quoi servent les forms modulaires et leurs fonction zeta ?
Une procedure trs populaire en thorie des nombres est la suivante :
On construit la fonction gnratrice
f =

n=0
a
n
q
n
C[[q]] dune fonction arithmtique
n a
n
, par exemple a
n
= p(n)

On calcul f via
formes modulaires,
par exemple

n=0
p(n)q
n
= (/q)
1/24

Un nombre
(solution)
Exemple 1 [Chand70] :
(Hardy-Ramanujan)

p(n) =
e

p
2/3(n1/24)
4

3
2
n
+O(e

p
2/3(n1/24)
/
3
n
),

n
=
p
n 1/24,
Bonnes bases,
nitude des dimensions,
beaucoup de relations
et didentitis
Valeurs
de fonctions L,
priodes,
congruences, . . .
Autres exemples : Conjecture de Birch et de Swinnerton-Dyer, thorme de Fermat-Wiles, voir
le livre [Ma-Pa] de Yu.I. Manin et A.A.Panchishkin, Introduction to Modern Number Theory,
Encyclopaedia of Mathematical Sciences, vol. 49 (2nd ed.), Springer-Verlag, 2005, valeurs de fonctions
L attaches aux formes modulaires, . . .
6
Un calcul rapide de la fonction de Ramanujan
On pose h
k
:=

n=1

d|n
d
k1
q
n
=

d=1
d
k1
q
d
1 q
d
. On montre que : = (E
3
4
E
2
6
)/1728 o E
4
=
1 + 240h
4
et E
6
= 1 504h
6
:
On utilise PARI-GP
(voir [BBBCO], The PARI/GP number theory system), http ://pari.math.u-bordeaux.fr
h
k
:=

n=1

d|n
d
k1
q
n
=

d=1
d
k1
q
d
1 q
d
=
gp > h6=sum(d=1,20,d^5*q^d/(1-q^d)+O(q^20))
gp > h4=sum(d=1,20,d^3*q^d/(1-q^d)+O(q^20)
gp > Delta=((1+240*h4)^3-(1-504*h6)^2)/1728
q - 24*q^2 + 252*q^3 - 1472*q^4 + 4830*q^5 - 6048*q^6 - 16744*q^7
+ 84480*q^8 - 113643*q^9 - 115920*q^10 + 534612*q^11
- 370944*q^12 - 577738*q^13 + 401856*q^14 + 1217160*q^15
+ 987136*q^16 - 6905934*q^17+ 2727432*q^18 + 10661420*q^19 + O(q^20)
Congruence de Ramanujan :
(n)

d|n
d
11
mod 691 :
Vrication :
gp > h12=sum(n=1,20,n^11*q^n/(1-q^n)+O(q^20))
%9 = q + 2049*q^2 + 177148*q^3 + 4196353*q^4
+ 48828126*q^5 + 362976252*q^6 + 1977326744*q^7
+ 8594130945*q^8 + 31381236757*q^9 + 100048830174*q^10
+ 285311670612*q^11 + 743375541244*q^12
+ 1792160394038*q^13 + 4051542498456*q^14 + 86498048
64648*q^15 + 17600780175361*q^16 + 34271896307634*q^17
+ 64300154115093*q^18 + 116490258898220*q^19 + O(q^20)
=
gp > (Delta-h12)/691
%10 = -3*q^2 - 256*q^3 - 6075*q^4 - 70656*q^5 - 525300*q^6
- 2861568*q^7 - 12437115*q^8 - 45414400*q^9
- 144788634*q^10 - 412896000*q^11 - 1075797268*q^12
- 2593575936*q^13 - 5863302600*q^14 - 12517805568*q^15
- 25471460475*q^16 - 49597544448*q^17
- 93053764671*q^18 - 168582124800*q^19 + O(q^20)
7
Premire partie
Espaces de formes modulaires
Espaces de formes modulaires. Formes modulaires avec caractres de Dirichlet. Exemples et motiva-
tions dtude des formes modulaires
Ce chapitre consiste en une premire introduction la thorie des formes modulaires, considres
comme sries de Fourier ou comme fonctions de rseaux. Il a aussi pour objet de relier ces fonctions
avec les objets utiliss aujourdhui en arithmtique. Sans trop insister pour le moment sur certaines
dmonstrations, on sest attach donner des exemples susceptibles de motiver les tudes plus appro-
fondies qui suivront.
Notations. H - le demi-plan de Poincar, ensemble des nombres complexes de partie imaginaire
strictement positive.
Z(G) - le centre du groupe G.
GL(2, A) - le groupe des matrices carres inversibles coecients dans un anneau commutatif A.
SL(2, A) - le sous-groupe de GL(2, A), le noyau du dterminant.
SO(2, R)-le sous-groupe des matrices orthogonales de SL(2, R).
1.1 Action de GL
+
(2, R) sur le demi-plan de Poincar.
On dnit GL
+
(2, R) comme le sous-groupe de GL(2, R) dont les lments sont de dterminant
positif. Ce groupe opre naturellement gauche sur H par
z H, GL
+
(2, R), =

a
c
b
d

z =
az +b
cz +d
Cette opration est transitive. Comme espace homogne de GL
+
(2, R), H sidentie au quotient
GL(2, R)/Z(SO(2, R)).
1.1.1. Lemme. Avec les notations ci-dessus, on a les deux identits
z H, GL
+
(2, R), =

a
c
b
d

Im( z) =
Im(z)
[cz +d[
2
,
d
dz
( z) =
det ()
(cz +d)
2
.
A partir de lopration gauche dnie ci-dessus, on obtient une opration droite de GL
+
(2, R)
sur lensemble des applications de H dans C qui est donne par la formule :
f : H C, GL
+
(2, R), z H, (f )(z) = f( z)
1.1.2. Lemme. Pour tout entier rationnel k, on dnit une nouvelle action droite de GL
+
(2, R)
sur lensemble des applications de H dans C en posant
f : H C, GL
+
(2, R), (f[
k
)(z) =
(det )
k/2
(cz +d)
k
f( z)
8
Dmonstration. On commence par dnir la fonction j par j(, z) =
(det )
1/2
cz +d
On a alors les identits :
d( z)
dz
= j(, z)
2
;
d(
1

2
z)
dz
= j(
1

2
, z)
2
=
d(
1

2
z)
d(
2
z)

d(
2
z)
dz
= j(
1
,
2
z)
2
j(
2
, z)
2
;
(f[
k
)(z) = j(, z)
k
f( z)
Pour cette raison la fonction j est appele le facteur dautomorphie (associ lentier k).
1.1.3. Dnition. Soient un sous-groupe dindice ni de SL(2, Z) et k un entier rationnel. On
appelle ensemble des formes modulaires de poids k relativement au groupe lensemble des applications
f : H C ayant les trois proprits (i) Lapplication f est holomorphe sur H; (ii) Lapplication f est
invariante par lopration de associe lentier k, induite par lopration droite de GL
+
(2, R) sur
lensemble des applications de H dans C. (iii) Pour tout SL(2, Z), il existe un entier naturel N()
tel que lapplication f admette un dveloppement rgulier de la forme (f[
k
)(z) =

n0
a(n, )q
n/N()
o, comme dhabitude, on a pos q = exp(2iz).
Dans la suite on dsigne cet ensemble par (k, ) ; on lappelle lensemble des formes modulaires
-invariantes de poids k.
Remarque. Il est clair que (k, ) est un C-espace vectoriel.
Par ailleurs, si lon se place dans le cas trs particulier o est le groupe SL(2, Z), on obtient pour
toute fonction ayant les proprits (i) et (ii) une fonction holomorphe sur H qui est invariante par
laction usuelle de SL(2, Z). En particulier le groupe SL(2, Z) contient la matrice correspondant la
translation de vecteur 1, soit T =

1
0
1
1

, cest--dire que lapplication f est priodique de priode 1.

De ce fait elle scrit comme famille sommable indicie par Z en q = exp(2iz). La troisime assertion
de la dnition stipule que f est une srie entire en q, ou encore que cest une fonction holomorphe
au voisinage de , car lapplication z exp(2iz) ralise une surjection holomorphe du demi-plan
de Poincar sur le disque ouvert de centre 0 et de rayon 1 priv du point 0.
Lorsque est un sous-groupe dindice ni de SL(2, Z), il existe un plus petit entier n, diviseur de
lindice de dans SL(2, Z), tel que T
n
appartienne et pour tout SL(2, Z), il existe un entier
N() tel que T
N()
appartienne
1
. On obtient ainsi la proprit priodique de priode N().
1.1.4. Dnition. Un lment de (k, ) qui est nul linni, cest--dire dont le premier terme du
dveloppement en srie entire en q est nul, est appel une forme parabolique de poids k relativement
. Le sous-espace vectoriel des formes paraboliques de poids k relativement est not o(k, ).
On dnit respectivement lespace des formes modulaires relativement , (), et son sous-
espace des formes paraboliques o() par
() =

kN
(k, ) et o() =

kN
o(k, )
Ultrieurement on dmontrera le thorme de structure suivant pour ces espaces de fonctions
1.1.5. Thorme. Lespaces () et son sous-espace des formes paraboliques S() ont les proprits
(i) Pour tout couple dentiers rationnels (k, m) on a les inclusions :
9
(k, ) (m, ) (k +m, )
o(k, ) (m, ) o(k + m, ) (ii) Pour tout sous-groupe dindice ni de SL(2, Z) et pour
tout entier rationnel k le C-espace vectoriel (k, ) est de dimension nie. (iii) Lespace () muni
de la multiplication ordinaire des fonctions est une C-algbre gradue de type ni. (iv) Dans le cas
particulier o est le groupe SL(2, Z), lalgbre gradue () est lalgbre C[G
4
, G
6
] o G
t
(t 4, 6)
est la srie dEisenstein de poids t qui engendre (t, ).
1.1.6. Caractres de Dirichlet.
Ce paragraphe constitue dabord un prliminaire lintroduction des formes modulaires avec ca-
ractres introduites dans le paragraphe suivant, ensuite une courte digression sur larithmtique. Bien
entendu son contenu sera considrablement dvelopp par la suite.
Dnition. Pour tout entier naturel N 2, un caractre modulaire ou caractre de Dirichlet modulo
N est un homomorphisme (Z/NZ)

dni sur le groupe (Z/NZ)

des lments inversibles de

Z/NZ et valeurs dans C

, donc dans le groupe des racines (N)-imes de lunit o est la fonction

dEuler. Par extension on nomme aussi caractre le relvement de : (Z/NZ)

sur Z nul sur les

entiers non premiers avec N. Un caractre de Dirichlet modulo N est dit primitif sil ne se factorise
pas en un caractre de Dirichlet modulo un diviseur propre M de N.
Dans la suite de ce paragraphe, on se xe un entier N 2 et on dsigne par

Q une clture
algbrique du corps Q des nombres rationnels. Le corps Q
(N)
des racines N-imes de lunit inclus
dans est une extension galoisienne de Q dont le groupe de Galois est isomorphe au groupe (Z/NZ)

;
un isomorphisme est donn par H
N
: a (
N

a
N
), o est
N
une racine primitive N-ime de
lunit arbitraire. A partir de l, tout caractre de Dirichlet : (Z/NZ)

on associe une
reprsentation de dimension 1 sur C du groupe de Galois de

Q sur Q,

: Gal(

Q/Q) C

donne par

= H
1
N
r
N
, o, pour tout Gal(

Q/Q), r
N
() est la restriction de au corps cyclotomique
Q
(N)
. La plus belle illustration de cet objet est
1.1.7. Thorme de Kronecker-Weber. Soit : Gal(

Q/Q) C

une reprsentation de dimension

1 et dimage nie du groupe de Galois de

Q sur Q. Alors il existe un et un seul caractre primitif de
Dirichlet tel que =

.
Remarque. Pour une dmonstration, voir par exemple le livre de Cassels J.W. et Frlich A., ch. VIII.
1.1.8. Formes modulaires avec caractre
Dnition. Soient un sous-groupe dindice ni de SL(2, Z), et N 2 un entier. On note respec-
tivement les sous-groupe de
0
(N) =

a
c
b
d

, c 0 mod N

1
(N) =

a
c
b
d

, c
0 mod N & a b 1 mod N

Soient un caractre de Dirichlet modulo N et k un entier rationnel. On dsigne par

k
(, , N) le
sous C-espace vectoriel de
k
(
1
(N)) form des formes f telles que
=

a
c
b
d

0
(N), f[
k
= (d)f.
On a une dnition du mme type pour lespace o
k
(, N, ) des formes paraboliques associes au
caractre .
10
1.1.9. Proposition. Pour tout sous-groupe dindice ni de SL(2, Z), le groupe
1
(N) est un sous-
groupe invariant de
0
(N) et le groupe quotient est isomorphe (Z/NZ)

. On a donc une reprsen-

tation linaire naturelle de (Z/NZ)

dans
k
(N, ) qui se dcompose en produit de reprsentations
irrductibles
1.1.10. Proposition. Pour tout entier naturel N 2 et pour tout entier rationnel k on a les galits
suivantes sur les espaces de formes modulaires :

k
(
1
(N)) =

k
(N, ), o
k
(
1
(N)) =

o
k
(N, )
o la somme directe porte sur lensemble des caractres modulo N. Pour tout caractre modulo N,
o
k
(N, ) =
k
(N, ) o
k
(
1
(N))
Remarques. Soit un sous groupe dindice ni de SL(2, Z) contenant

1
0
0
1

. Pour tout entier

rationnel impair k on a
k
() = 0. De mme, pour tout caractre modulo N et pour tout entier
rationnel k, lespace
k
() est rduit 0 si k nest pas de la parit de . Ceci est consquence
immdiate des dnitions.
1.1.11*. Thorme de Deligne-Serre. Soit f une forme modulaire parabolique primitive de poids
1 asocie un caractre modulo N impair. On dsigne par

n1
a(f, n)q
n
la srie de Fourier de
f. Alors il existe une reprsentation irrductible de degr 2
f
: Gal(

Q/Q) C
2
telle que la srie
L(
f
, s) dArtin concide avec la transforme de Mellin de la fonction f. En dautres termes on a
L(
f
, s) =

n1
a(f, n)n
s
.
Rciproquement, soit : Gal(

Q/Q) C
2
une reprsentation irrductible de Gal(

Q/Q) qui soit dimage

nie. Sous la condition que la conjecture dArtin soit vraie, cest--dire que la fonction L dArtin
associe soit holomorphe sur C, il existe une forme modulaire f, parabolique de poids 1 et primitive,
associe un caractre telle que =
f
.
1.1.12. Sommes des carrs, sries thta et formes modulaires.
Lagrange a trouv que tout entier strictement positif est une somme de quatre carrs. Un rsultat
plus dicile d Gauss dit que tout b > 0 est une somme de trois entiers carrs ssi il nest pas de la
forme 4
k
(8l 1), k, l Z. On peut dduire le thorme de Lagrange de ce rsultat (cf. [Se1]).
On pose
r
k
(n) = Card(n
1
, . . . , n
k
) Z
k
[ n
2
1
+ +n
2
k
= n. (1)
Par exemple, r
2
(5) = 8, en donnant une liste des solutions. Il existe beaucoup de formules explicites
pour cette fonction arithmtique. En particulier, la grande partie deux provient de la formule classique
de Jacobi (voir [Ma-Pa], p.29) :
r
4
(n) =

d|n
d, si n est impair,
24

d|n
d1(2)
d, si n est pair.
11
La preuve est base sur une tude de la fonction gnratrice pour la suite r
k
(n), cest--dire, que la
srie

n=0
r
k
(n)q
n
=

(n
1
,...,n
k
)Z
k
q
n
2
1
+n
2
2
+...n
2
k
= ()
k
o
() =

nZ
q
n
2
, q = e
2i
.
Cette fonction thta est une fonction holomorphe sur le demi plan complexe H = C [ Im() > 0.
Elle possde beaucoup de proprits analytiques remarquables, exprimant le fait que la fonction
4
()
est une forme modulaire de poids 2 par rapport au groupe
0
(4) o

0
(N) =

a b
c d

SL(2, Z)

N[c

. (2)
This means that the holomorphic dierential
4
()d is invariant with respect to the substitutions
(a +b)(c +d)
1
for every matrix

a b
c d

in
0
(4).
1.1.13. Dnition. Soit m un entier strictement positif. Une forme quadratique Q m variables sera
dite entire si sa matrice est de la forme (1/2)A o A est une matrice carre symtrique dordre m
coecients entiers dont les lments diagonaux sont pairs. Etant donne une telle forme quadratique,
pour tout enier n on dsigne par A(n, Q) le nombre de solutions en entiers rationnels de lquation
Q(x) = n. On appelle alors niveau de Q le plus petit entier N tel que la forme quadratique de matrice
(1/2N)A
1
soit une forme quadratique entire.
1.1.14. Dnition. Soient m = 2k un entier strictement positif pair et Q une forme quadratique d-
nie positive et entire m variables. On appelle fonction theta associe cette forme quadratique la
fonction dont le dveloppement en srie de Fourier est de la forme (q) =

n=0
A(Q, n)q
n
=

xZ
2k
q
Q(x)
o la dernire somme porte sur tout les points du rseau Z
2k
.
1.1.15. Proposition. Soit Q une forme quadratique entire et dnie positive de niveau N. Soient
le discriminant de Q et

le symbole de Legendre associ . Alors la fonction theta de Q appartient

lespace
k
(SL(2, Z), , N).
Remarques. Pour une preuve, voir par exemple [Miy], [Schoeneberg].
Dans le cas N = 1 il est facile dmontrer cette proposition (voir [Se1] , p.172. Car le groupe
SL
2
(Z) est engendr par les matrices lmentaires entires, on peut choisir S =

0
1
1
0

et T =

1
0
1
1

en tant quun systme de gnrateurs de SL

2
(Z). Evidemment, la srie
Q
(z) =

n=0
A(Q, n)q
n
est
invariante par raport T, et ce quil reste vrier dans ce cas est le fait que
Q
(Sz) = z
k

Q
(z).
1.1.16*. Exemple. Cet exemple est une illustration du thorme de Deligne-Serre. On considre la
forme quadratique binaire de discriminant 23, Q(x, y) = x
2
+ 23y
2
. La fonction theta de cette forme
quadratique est une forme modulaire de poids 1 associe au symbole de Legendre
23
. Ecrivant le
dveloppement de Fourier de cette fonction sous la forme (q) =

n=0
A(Q, n)q
n
, il rsulte du thorme
12
de Deligne-Serre quil existe une reprsentation irrductible de degr 2 : Gal(

Q/Q) GL
2
(C) telle
que pour tout nombre premier p et tout idal au dessus de (p) on ait
a(p) = Tr(
f
(Fr()))
Lanneau des entiers de Q(

23) nest pas principal. Son groupe des classes est cyclique dordre
3, engendr par lidal premier engendr par 2 et . On a dans cet anneau dentiers (2) =

.
Soit H lextension maximale non ramie ou corps de classe de Hilbert de Q(

23). Le corps H est

cyclique de degr 3 sur Q(

23) et admet comme groupe de Galois sur Q le groupe S

3
. Limage de la
reprsentation : Gal(

Q/Q) GL
2
(C) est un sous-groupe de GL(2, C) isomorphe S
3
et son noyau
est Gal(

Q/H). Le groupe image de la reprsentation est un groupe conjugu du groupe de matrices

engendr par

1/2

3/2

3/2
1/2

1
0
0
1

. Les valeurs possible des traces sont donc 2 pour les lments
dont limage est triviale, 0 pour les lments dont limage est dordre 2 et 1 dont limage est dordre
3. On a en gnral a(p) 2, et a(p) = 2 si et seulement si lidal (p) est dcompos dans H en deux
idaux principaux, cest--dire si et seulement si la reprsentation cherche est triviale sur le Frobenius
dun idal au-dessus de (p).
On peut enn montrer, que la densit arithmtique de lensemble des nombres premiers reprsents
par la forme Q(x, y) est gale 1/6. (Et pourtant les deux premiers de ces nombres sont 59 et 101 !).
On considre la fonction f
23
(z) = q

m0
(1 q
m
)(1 q
23m
). Cette fonction scrit aussi sous la
forme f
23
(z) =
1
2

m,n
q
n
2
+mn+6m
2

m,n
q
2n
2
+mn+3m
2

n
a(n)q
n
. Cest une forme parabolique
de poids 1 associe au caractre de Legendre
23
.
Par ailleurs, la fonction f dont le dveloppement de Fourier est
f(z) =

(x,y)Z
2
q
x
2
+23y
2
=

n0
a(Q, n)q
n
nest pas une forme parabolique puisque son terme constant est 1. Cependant on a le
1.1.17*. Lemme. Avec les notations ci-dessus, pour tout nombre premier p le nombre a(Q, p) est non
nul si et seulement si le nombre a(p) est non nul.
Dmonstration. Il est clair que a(Q, p) est non nul si et seulement si le nombre premier p est
reprsent par la forme quadratique x
2
+ 23y
2
, cest--dire si et seulement si p est une norme sur Q
dun lment de Z[

23]. Or le discriminant 23 de Q(

23) est congru 1 modulo 4. Une Z-base

de lanneau des entiers de Q(

23) est donc 1, avec =

1+

23
2
. La norme de x + y est alors
1
4
(2x +y)
2
+ 23y
2
= x
2
+xy + 6y
2
.
Si a(p) est non nul, alors p est reprsentable sous la forme m
2
+ mn + 6n
2
avec m et n entier, ce
qui implique m impair et n pair, m = 2x + 1 et n = 2y, et p est la norme de lentier 2x +y +y

23
et on conclut que a(Q, p) > 0.
Rciproquement, il sut de montrer que si p est un nombre premier impair tel que a(Q, p) soit
strictement positif, alors p est reprsent sur par la forme quadratique 2x
2
+xy +3y
2
mais ne lest pas
par la forme s
2
+st +6t
2
. Si p tait reprsent par cette dernire forme, alors p et 2p le seraient tous
deux par la forme 2x
2
+xy+3y
2
, ce qui impliquerait que 2 serait reprsent sur par la forme u
2
+23v
2
.
Il existerait trois nombres entiers rationnels (a, b, c) premiers entre eux dans leur ensemble tels que
2c
2
= a
2
+ 23b
2
. On aurait a impair, puis b impair, a
2
+ 23b
2
congru 2 modulo 8 et c impair. On
aurait alors 2c
2
congru 2 modulo 16 et a
2
+ 23b
2
congru 0 ou 8 modulo 16, do la contradiction.
Une autre faon de dire la mme chose est que 23 est un carr dans Q
2
, le complt de Q pour la
valuation dyadique, donc que Q(

23) se plonge dans Q

2
, donc que 2, qui nest pas un carr, nest
pas une norme.
13
1.2. Motivations : la fonction de Ramanujan et son contexte.
Comme son titre veut lindiquer, ce cours traitera des formes modulaires et de leur application
ltude des courbes elliptiques. Lide de ce chapitre initial est de se promener un peu dans le jardin
de larithmtique en se laissant conduire par lexemple sduisant des proprits de la fonction de
Ramanujan.
Cet exemple clbre commence par la dnition dune premire forme modulaire associe la srie
gnratrice de la fonction on commence par considrer la srie obtenue comme dveloppement en
srie entire du produit inni
q

m1
(1 q
m
)
24
=

n1
(n)q
n
= q 24q
2
+ 252q
3
1472q
4
+
Posant q = exp(2iz) pour z appartenant au demi-plan de Poincar H = z C [ Im(z) > 0, on
ralise une surjection q : H D(0, 1)`0, holomorphe sur H, valeurs dans le disque unit ouvert
priv de son centre.
On dnit la fonction : H C, holomorphe sur H, par lcriture :
(z) =

(q) = q

m1
(1 q
m
)
24
Cette fonction est une forme modulaire. Elle a les proprits remarquables suivantes :
1.2.1 Automorphie. Le groupe SL(2, Z) des matrices carres dordre 2 coecients entiers rationnels
et de dterminant 1 opre sur le demi-plan de Poincar par

a
c
b
d

, z

az +b
cz +d
.
Le groupe SL(2, Z) est engendr par les deux matrices

1
0
1
1

et

0
1
1
0

Pour sen rendre compte

on peut utiliser lalgorithme de la division euclidienne sur le couple (a, b) et des produits par une
puissance de S, laquelle est dordre 4.
La proprit dautomorphie snonce sous la forme
=

a
c
b
d

SL(2, Z), z H ( z) = (cz +d)

12
(z).
Remarques. Il est parfois utile de se servir de la convention dcriture suivante. Pour tout
SL(2, Z), et pour tout z H, on a
=

a
c
b
d

d( z) = (cz +d)
2
dz
On peut dire formellement que (z)(dz)
6
est invariante par laction de SL(2, Z).
1.2.2. Multiplicativit. La fonction de Ramanujan est multiplicative au sens suivant [dans la
formule ci-dessous et dornavant, P dsigne lensemble des nombres premiers] :
14

m N

, n N

, (m, n) = 1 (mn) = (m) (n);

p P, r N

, (p
r+1
) = (p
r
)(p) p
11
(p
r1
);
m N

, n N

, (m)(n) =

d|(m,n)
d
11
(mn/d
2
).
Cette dernire formule fut conjecture par Ramanujan puis dmontre par Mordell et Hecke. Il se peut
quil nexiste pas de preuve lmentaire au sens de larithmtique de Gdel de cette formule. Il en
est ici comme de la dmonstration hautement non-lmentaire de la preuve de lnonc de Fermat
que Wiles a donne en 1994 [laquelle utilise des fonctions modulaires, de lanalyse p-adique, la thorie
des dformations des reprsentations galoisiennes, de la gomtrie algbrique, la thorie des faisceaux
tales ...].
Une interprtation commode de la formule gnrale de Ramanujan partir de la prcdente repose
sur lutilisation de la srie de Dirichlet formelle associe la fonction :
L(, s) =

n1
(n)n
s
=

pP

1 (p)p
s
+p
112s

1
.
Cette srie est analogue la srie de Dirichlet de la fonction zeta de Riemann,
(s) =

n1
n
s
=

pP

1 p
s

1
,
o lgalit rsulte simplement de lexistence et de lunicit de la dcomposition primaire de tout entier
naturel non nul.
De mme dans le cas de la fonction de Ramanujan, on a lgalit

n1
(n)n
s
=

pP

r0

p
r

p
rs

et on vrie lidentit rsultant de la seconde formule ci-dessus :

1 (p)p
s
+p
112s

r0
(p
r
)p
rs

= 1
1.2.3*. Estimations. La proprit ci-aprs, conjecture initialement par Ramanujan, fut prouve par
Deligne :
p P, [(p)[ < 2p
11/2
.
Cette proprit est quivalente la ngativit stricte du discriminant du polynme du second degr
X
2
(p)X + p
11
, ceci pour tout nombre premier p. Pour p x, soient
p
et
p
les zros complexes
conjugus de ce polynme. La formule de multiplicativit ci-dessus implique lidentit entre fractions
rationnelles et srie formelle :
1
(1 (p)X +p
11
X
2
)
=
1
(1
p
X)(1
p
X)
=

r0
(p
r
)X
r

.
15
On en dduit pour tout r 1 la relation (p
r
) =
r

j=0

j
p

rj
p
=
r

j=0

2jr
p
p
11(rj)
. Le module de
p
est p
11/2
, ce qui implique la majoration
[(p
r
)[ < (r + 1)p
11r/2
.
Appliquant la formule gnrale de Ramanujan, on obtient lestimation
n N

, [(n)[ <
0
(n)n
11/2
= O(n
11
2
+
)
o
0
(n), le nombre des diviseurs de n, est O(ln(n)) = O(n

) pour tout > 0.

On en conclut en particulier que la srie L(, s) dnit une fonction holomorphe dans le demi-plan
Re(s) > 13/2.
1.2.4. Equation fonctionnelle de L(, s). On dnit la fonction L

(, s) par la formule L

(, s) =
(2)
s
(s)L(, s). Cette fonction, dune part se prolonge en une fonction holomorphe sur C tout
entier, dautre part satisfait lquation fonctionnelle L

(, 12 s) = L

(, s). Cette relation fonc-

tionnelle peut tre compare avec lquation fonctionnelle de la fonction (s) de Riemann :

(s) =
s/2
(s/2)(s) = (1 s).
1.2.5. Lien avec les partitions dentiers. On appelle partition dun entier n une squence croissante
dentiers naturels non nuls dont la somme est n. On dsigne par p : N N la fonction nombre de
partitions, avec p(0) = 1. La srie gnratrice de la fonction p : N N est obtenue partir dun
produit inni

n0
p(n)X
n
=

m1
(1 X
m
)
1
. La srie entire correspondante est convergente dans le
disque unit ouvert. On obtient donc une fonction holomorphe sur H, f : H C en posant
f(q) =

n0
p(n)q
n
=

m1
(1 q
m
)
1
.
On a videmment

(q) = q(f(q))
24
ce qui tablit le lien entre la fonction de partition et la fonction
de Ramanujan. En utilisant les proprits dautomorphie 1.2.1, Hardy et Ramanujan ont dmontr
lestimation de p(n)
p(n) =

1
4

3
+O

1
(n)

exp(K (n))
(n)
2
o (n) =

n
1
2
et K =

2/3.
1.2.6. Congruences de Ramanujan. Pour tout nombre premier p dirent de 691 on a la relation de
congruence (p) 1+p
11
mod 691, do on dduit daprs la relation de multiplicativit, en raisonnant
par rcurrence sur r, la relation de congruence
(p
r+1
) (p
r
)(p) p
11
(p
r1
)
r+1

j=0
p
11j
mod 691,
16
puis la relation de congruence plus gnrale :
n Z
+
, (n)

d|n
d
11
mod 691.
Serre donne de cette relation de congruence une interprtation dans le cadre de la thorie de
Galois. Soit

Q une clture algbrique de Q. Soient p un nombre premier dirent de 691 et p un idal
premier au-dessus de (p) dans lanneau O des entiers de

Q. Soient G
p
et I
p
les sous-groupes du groupe
G = Gal(

Q/Q) respectivement dnis par

G
p
= G [ p = p et I
p
= G [ x O, x x mod p.
Le groupe G
p
sidentie au groupe de Galois de la clture algbrique

Q
p
du corps Q
p
des nombres
p-adiques, tandis que le groupe I
p
sidentie au groupe de Galois de la clture algbrique du corps ni
F
p
.
Serre a conjectur, et Deligne a dmontr, que pour tout nombre premier l, il existe une re-
prsentation galoisienne
l
: G GL(2, Z
l
) telle que pour tout nombre premier p dirent de l,
dune part le groupe I
p
agit trivialement (on dit que la reprsentation
l
est non ramie en p),
dautre part on a det(Id
l
(Fr
p
) X) = 1 + (p)X + p
11
X
2
. Dans le cas l = 691 on a la congruence

l
(Fr
p
)

p
11
0

mod 691, do (p) 1 +p

11
mod 691.
1.2.7*. Formules de Manin. En partant de la dmonstration des congruences de Ramanujan dcrites
plus haut, et en utilisant la thorie des symboles modulaires, Manin a dmontr des formules qui
permettent de calculer les (n) beaucoup plus rapidement que par le biais du produit inni. Ces
formules sont les suivantes :
(n) =
11
(n)

(n)

691
18
(
8

8
) +
691
6
(
6

6
)

;
(n) =
11
(n)
691
18

(n)

2
(
2

2
)
3
o
11
(n) =

d|n
d
11
et la somme ci-dessus porte sur toute les dcompositions admissibbles n =

, i.e.

(, )

n =

, > > 0,

>

> 0, ou
[n,

=
n

= 0, 0 <

1
2

.
Cette formule nous donne une autre dmonstration de la congruence de Ramanujan ci-dessus.
17
Leon N

2 Lien avec la thorie de reprsentation. Dfini-

tion gomtrique des formes modulaires commes fonctions
de rseaux.
1.3. Lien entre formes modulaires et reprsentations
Formes modulaires (plus gnralement, formes automorphes) sont certaines fonctions sur les groupes
rductifs rels G(R) (ou sur les espaces symtriques G(R)/K Z associs, K tant un sousgroupe
maximal compact, Z le centre de G(R)). Ces fonctions sont des objets danalyse, mais il arrive quils
sont troitement lies aux a) quations diophantiennes ("schmas arithmtiques"), et aux b) repr-
sentations galoisiennes. On peut tablir un lien entre ces trois types dobjets laide des fonctions L
correspondantes.
On revient la caractrisation initiale de H comme quotient
GL
+
(2, R)/Z(SO(2, R)).
Toute matrice g SL(2, R) peut se dcomposer sous la forme
g =

a
c
b
d

cos
sin
sin
cos

, 1, 1, > 0, [0, [
On explicite cette dcomposition sous la forme : si c = 0, alors = sign(a), = 1, = bsign(a), = 0
si c = 0, alors = sign(c), = (c
2
+d
2
)
1/2
, = Arccos(d(c
2
+d
2
)
1/2
) et = (ac+bd)(c
2
+d
2
)
1/2
Si on pose y = (c
2
+d
2
)
1
et x = (ac +bd) y, cest--dire =

y et x =

y, on obtient g i = x+iy
Cela tant, soit f une forme modulaire de poids k relativement un sous-groupe dindice ni de
SL(2, Z). On lui associe lapplication f
0
: GL(2, R) C dnie par la formule
f
0
(g) =

f(g i)j(g, i)
k
si det(g)>0,
f(g (i))j(g, i)
k
sinon.
Un calcul lmentaire montre quon a
g =

a
c
b
d

et 1, 1 g (i) =
ad +bc + i det(g)
c
2
+d
2
,
ce qui prouve que lapplication f
0
est bien dnie.
1.3.1. Lemme. Pour tout f (k, ), lapplication f
0
: GL(2, R) C satisfait
f
0
( g) = f
0
(g); R f
0

cos
sin
sin
cos

= exp(ik)f
0
(g).
Dmonstration. On peut se contenter de faire la preuve pour g GL
+
(2, R), lautre cas tant analogue.
On remarque que les relations tablies dans le lemme 1.1.2 sur la fonction j sont vraies pour deux
lments quelconques de GL(2, R). En les applicant la premire formule dmontrer, on a
18
f
0
(g) = f(g i)j(g, i)
k
= [f[
k
](g i)j(, g i)
k
j(g, i)
k
= f(g i)j(g, i)
k
= f
0
(g).
En ce qui concerne la seconde formule, on remarque dabord que i est invariant par laction dune
matrice de rotation. On a donc pour tout R
j

cos
sin
sin
cos

, i

= (i sin + cos )
1
= e
i
.
1.3.2. Proposition. Avec la notation ci-dessus, la fonction f
0
est une application de lespace quotient
`GL(2, R) valeurs dans C. La forme modulaire f est une forme parabolique si et seulement si la
fonction f
0
est une fonction de carr intgrable sur `GL(2, R). Elle dnit une reprsentation de
GL(2, R) engendre par les fonctions de la forme g f
0
(gh).
1.3.3*. Une construction plus gnrale des reprsentations associes aux formes modulaires est lie la
notion dadle. On sait que Z est un rseau dans R, i.e. un sous-groupe discrt avec le groupe quotient
R/Z compact. Lanneau dadles A peut tre dnit informellement comme un anneau minimale
localement compact contenent Q comme un rseau. Explicitement A = R A
f
, o A
f
=

Z Q
lanneau dadles nis,

Z = lim

nN
Z/nZ la completion pronit de Z, donc un anneau compact,

Z =

p premier
Z
p
,
Z
p
lanneau des entier p-adiques. Alors A
f
est A sont localement compact, est on vrie que Q est
un rseau dans A. Plus prcisement, pour v = , p, posons Q

= R, et Q
p
le corps des nombres
padiques, alors
A = x = (x
v
) [ x
v
Q
v
, est x
p
Z
p
pour tout p sauf un nombre ni,
et A admt la base des ouverts suivante : pour tout ensemble ni S = , p
1
, . . . , p
m
et pour tout
ouverts U
v
Q
v
posons
U =

vS
U
v

vS
Z
p
.
Ensuite, on remplace R par A, et GL
2
(R) par GL
2
(A), et on remarque que pour le sous groupe de
congruence = (N)
`GL(2, R).
la fonction f peut tre enleve en une fonctions sur GL
2
(Q)`GL
2
(A) qui engendre une reprsentation

f
du groupe GL
2
(A) (avec lespace de reprsentation engendr par les fonctions g
f
(h)(g) =
f(gh)).
Alors toute forme modulaire
f(z) =

n=0
a(n)e(nz)
k
(N, )
k
(
N
)
peut tre relev une fonction f
0
sur le groupe GL
2
(R) qui satisfait la condition dinvariance suivante :
f
0
(g) = f
0
(g) for all
N
GL
2
(R).
19
Pour dnir f
0
on pose
f
0
(g) =

f(g(i))j(g, i)
k
, si det g>0
f(g(i))j(g, i)
k
, si det g<0,
o g =

a
c
b
d

GL
2
(R), j(g, i) = [det g[
1/2
(cz +d) le facteur dautomorphie.
On a f
0
(xg) = exp(ik)f
0
(g) if x =

cos
sin
sin
cos

est une rotation par langle .

Considerons le groupe GL
2
(A) des matrices nondgnres coecients dans lanneau dadles
A et son sousgroupe
U(N) =

g = 1

p
g
p
GL
2
(A) [ g
p
GL
2
(Z
p
), g
p

1
0
0
1

mod NZ
p

.)
Selon le thorme chinois (thorme dapproximation) on a la dcomposition suivante :

N
`GL
2
(R) = GL
2
(Q)`GL
2
(A)/U(N),
qui nous premet voir f
0
comme une fonction sur GL
2
(A).
Laction de GL
2
(A) sur f
0
par les dcalage de largument dnit une reprsentation =
f
du
groupe GL
2
(A) dans lespace des fonctions lisses valeurs complexes sur GL
2
(A), pour laquelle
((h)f
0
)(g) = f
0
(gh) (g, h GL
2
(A)).
Lobservation-cl du dveloppement modern de la thorie des formes modulaires fait par Lan-
glands et PiatetskiShapiro dit que la propit de la multiplicativit de type 1.2.2 pour les coecients
de Fourier (normaliss) dune forme modulaire est quivalaent irrductibilit de la reprsentation
correspondante
f
du groupe GL
2
(A). Autrement dit, la condition que la reprsentation
f
e irreduc-
tible admt une interprtation arithmtique remarquable : f est une forme propre des oprateurs de
Hecke (pour presque p).
Dans ce cas
f
=
v

f,v
avec
f,v
certaines reprsentations de GL
2
(Q
v
), v = , p. Etude de
certaines proprits importants des formes modulaires ce rduit ltude des reprsentations corres-
pondantes
f,v
.
Dans ce cas le produit tensoriel innit
=
v

v
,
o
v
sont reprsentations des groupes locals GL
2
(Q
p
v
) et GL
2
(R) (avec p
v
les nombres premiers o
v = ).
Jacquet et Langlands ont choisi comme une point de base de construction de fonctions L associes
aux formes automorphes les reprsentation irrductibles des groupes de type GL
2
(Q
v
). Telles repr-
sentations peuvent tre classi explicitement. En particulier, on vrie que les reprsentations
v
cidessus pour presque tout v = v
p
ont la forme dune reprsentation induite
v
= Ind(
1

2
) dune
reprsentation de dimension un du sousgroupe es matrices diagonales : (
1

2
)

x
o
o
y

=
2
(x)
1
(y),
o
i
: Q

p
C

sont des quasicaratres nonramis.

Cette classication permet de dnir pour presque tout p llment
h
p
=

1
(p)
0
0

2
(p)

GL
2
(C)
20
et le produit dEuler suivant :
L(
f
, s) =

pS
L(
p
, s) =

pS
det (1
2
p
s
h
p
)
1
tendu sur presque tout nombres premiers.
Il arrive que la fonction L(, s) concide essentialement avec la transformation de Mellin de la
forme modulaire initiale f :
L(s, f) = L(
f
, s + (k 1)/2).
La notion dune forme primitive f a le sens suivant : la fonction f
0
de lespace de reprsentation a
le stabilisateur maximal possible dans lespace de reprsentation. La thorie dAtkin Lehner peut
tre reformuler en disant que la reprsentaion
f
entre avec la multiplicit un dans la reprsentation
rgulier du groupe GL
2
(A) (lespace de toutes les fonctions intgrables avec carre).
1.4. Formes modulaires comme fonctions de rseaux.
Soit C un rseau, alors = '
1
,
2
` pour une base
1
,
2
. Le rseau de type
z
= '1, z`
sappelle standard.
Propositon. (a) Pour tout il exist C

tel que =
z
,
(b) Si = '
1
,
2
` = '

1
,

2
` alors
(
1
,
2
) = (

1
,

2
)

a
c
b
d

avec a, b, c, d Z, ad bc = 1.
Soit L dsigne lensemble de tous les rseaux dans C.
1.4.1. Dnition (fonctions de rseaux homognes de degr k) Une application F : L C
sappelle fonction de rseaux homogne de degr k si pour tout C

F()
k
F(). Notation :
H H
k
.
1.4.2. Dnition (fonctions faiblement modulaires). Pour k N et pour un sous groupe
(1) dindice ni on dni lespace vectoriel complex
a
k
() des fonctoins faibleent modulaires par

a
k
() =

f : H C [ =

a
c
b
d

f[
k
= f

.
1.4.3. Propositon. Il exist une bijection H
k

a
k
((1)) donne par la rgle :
F f, f(z) = F(
z
).
Dmonstration. On vrie dabord que f M
a
k
((1)). On a
f

az +b
cz +d

= F

az +b
cz +d
, 1

= F((cz +d)
1
'az +b, cz +d`) =
(cz +d)
k
F('az +b, cz +d`) = (cz +d)
k
F(
z
) = (cz +d)
k
f(z).
Maintenant pour un rseau donn choisissons une base
1
,
2
de telle faon que Im(
1
/
2
) > 0
et pour une f M
a
k
((1)) posons
F() =
k
2
f (w
1
,
2
, ) .
21
Cette dnition implique immdiatement F H
k
.
De mme faon on dnit
L
1
(N) = (, P mod ) [ P mod C/, ord(P mod ) = N ,
L
0
(N) = (, 'P mod `) [ P mod C/, #'P mod ` = N ,
L(N) = (, P mod , Q mod ) [ P, Q mod C/,
'P mod ` 'Q mod ` = N
1
/

(Z/NZ)
2

.
1.4.4. Proposition (exercise). Il y a des ismorphismes naturels :
)
vrier ?
(a)
H
k
(L(N))


a
k
((N)),
(b)
H
k
(L
1
(N))


a
k
(
1
(N)),
(c)
H
k
(L
0
(N))


a
k
(
0
(N)).
Dmonstration est analogue la prcedante. On pose F f o
(a)
f(z) = F((
z
, '
1
N
mod
z
`),
(b)
f(z) = F((
z
,
1
N
mod
z
),
(c)
f(z) = F(

z
,
1
N
mod
z
,
z
N
mod
z

).
22
Leon N

3 Sries dEisenstein et leurs dveloppement de

Fourier. Fonction comme un produit infinit.
1.5. Sries dEisenstein et et leur dveloppements de Fourier.
Soit k > 2. Pour un rseau C posons
G
k
() =

l
l
k
=

m,n

(m
1
+n
2
)
k
, = '
1
,
2
`,
Cette srie converge absolument pour k > 2.
1.5.1. Proposition. (a) On a
G
k
(z) =

m,n

(mz +n)
k

k
((1));
(b)
G
k
(z) = 2(k)

1
2k
B
k

n=1

k1
(n)q
n

,
o q = e(z) = exp(2iz), B
k
sont les nombres de Bernoullli dnis par le dveloppement suivant
x
e
x
1
=

k=0
B
k
x
k
k!
(Table numrique :
B
0
= 1, B
1
=
1
2
, B
2
=
1
6
, B
3
= B
5
= = 0, B
4
=
1
30
, B
6
=
1
42
,
B
8
=
5
66
, B
12
=
691
2730
B
14
=
7
6
, B
16
=
3617
510
B
18
=
43867
798
, . . . ).
On a (k) =
(2i)
k
2
B
k
k!
,
G
k
(z) =
(2i)
k
(k 1)!

B
k
2k
+

n=1

k1
(n)q
n

.
23
Exemples.
E
4
(z) = 1 + 240

n=1

3
(n)q
n

4
(SL(2, Z)),
E
6
(z) = 1 504

n=1

5
(n)q
n

6
(SL(2, Z)),
E
8
(z) = 1 + 480

n=1

7
(n)q
n

8
(SL(2, Z)),
E
10
(z) = 1 264

n=1

9
(n)q
n

10
(SL(2, Z)),
E
12
(z) = 1 +
65520
691

n=1

11
(n)q
n

12
(SL(2, Z)),
E
14
(z) = 1 24

n=1

13
(n)q
n

14
(SL(2, Z)).
Dmonstration. Lautomorphie est claire car G
k
() =
k
G
k
() donc G
k
H
k
est une fonction de
rseaux homogne de degr k. Pour trouver le dveloppement de Fourier on utilise la dcomposition
classique du sin en produit
sin(a) = a

n=1

1
a
2
n
2

. (5.1)
La drive logarithmique de (5.1) nous donne
ctga =
1
a
+

n=1

1
a +n

1
a n

. (5.2)
Remarquons
i
e
ia
+e
ia
e
ia
e
ia
= i +
2i
e
2ia
1
= i 2i

n=1
e
2ina
(5.3)
et posons x = 2ia ; ceci implique
x
2
+
x
e
x
1
= 1 +

n=1
2x
2
x
2
(2in)
2
ou

k=0
B
k
x
k
k!
+
x
2
= 1

n=1
2

x
2in

x
2in

2
+ 1
=
1 2

n=1

k=2k

x
2in

k
= 1 2

k=2k

2
(k)
(2i)
k
x
k
.
Ceci implique immdiatement
(k) =
(2i)
k
2
B
k
k!
, (5.4)
24
en particulier,
(2) =

2
6
, (4) =

4
90
.
Pour dmontrer (b) on eectue lintgration des deux parties de (5.3) par raport a (k 1) fois :
(2i)
k

n=1
n
k1
e
2ina
= (1)
k1
(k 1)!

nZ
(a +n)
k
, (k 2Z, k 2). (5.5)
Posons a = mz alors
(2i)
k
(k 1)!

n=1
n
k1
e
2inmz
=

nZ
(mz +n)
k
. (5.6)
Si maintenant k > 2 on peut eectuer la sommation pa rapport m de 1 . Comme rsultat on ait
G
k
(z) = 2(k) + 2

m=1

n=
(mz +n)
k
= 2(k)

1
2k
B
k

m,d=1
d
k1
q
md

. (5.7)
Remarquons que la srie double dans (5.7) est absolument convergente pour k > 2 mais la sries (5.7)
a un sens aussi pour k = 2 comme une srie ritrative avec la convergence conditionnelle. On nie la
dmonsration en substituant (5.4) dans (5.7).
1.5.2. Thorme. Soit (z) = q

m1
(1 q
m
)
24
. Alors on a
(z
1
) = z
12
(z).
Dmonstration. Posons
E
2
(z) = 1 24

n=1

1
(n)q
n
.
On a
d
dz
log((z)) =
d
dz
log q + 24

m=1
d
dz
log(1 q
m
) =
2i(1 24

m=1
mq(1 q
m
)
1
) = 2iE
2
(z),
dq
dz
= 2iq.
Il est sut dtablir
1.5.3. Proposition.
z
2
E
2
(z
1
) = E
2
(z) +
12
2iz
. (5.8)
Dmonstration da la proposition. On utilise la srie (5.7) avec k = 2 qui converge conditionnelement :
E
2
(z) =
1
2(2)

m=

n=
n=0
(mz +n)
2

=
1 +
3

m=0

n=
(mz +n)
2

= 1 +
6

m=1

n=
(mz +n)
2

.
25
Pour tout m x on a

n=
(mz +n)
2
= 1
4
B
2

d=1
dq
md
= 1 24

n=1

1
(n)q
n
.
Maintenant on substitue
z
2
E
2
(z
1
) =
1
2(2)

m=

n=
n=0
(m+nz)
2

= 1 +
3

n=

m=0
(mz +n)
2
.
Si lon pose a
m,n
= (mz +n)
2
, la dmonstraton ce rduite lgalit

n
a
m,n
+

m
a
m,n
=
12
2iz
.
Pour la dmontrer on introduit le terme correctif suivant
b
m,n
(z) =
1
(mz +n 1)(mz +n)
=
1
(mz +n 1)

1
(mz +n)
(5.9)
Alors on obtient la srie modie

E
2
(z) = 1 +
3

m=0

n=

(mz +n)
2
b
m,n
(z)

(5.10)
qui dj converge absolument car
(mz +n)
2
((mz +n 1)(mz +n))
1
= (mz +n)
2
(mz +n 1)
1
.
Dautre part

E
2
(z) =
1 +
3

m=0

n=
(mz +n)
2

+
3

m=0

n=

1
(mz +n)

1
(mz +n 1)

,
et la dernire somme ce tlscope vers zro, donc

E
2
(z) = E
2
(z).
Il est possible de changer lordre de sommation dans (5.10) grce la convergence absolue, do

E
2
(z) = 1 +
3

n=

m=0

(mz +n)
2
b
m,n
(z)

=
z
2
E
2
(z
1
)
3

n=

m=0
b
m,n

.
Il reste valuer la dernire somme :

n=

m=0
b
m,n

= lim
N
n=N

n=N+1

m=0
b
m,n

.
26
Mais

m=0
(mz n)
2
=
1
z
2

m=0
(n/z m)
2
=
1
n
2

4
2
z
2

d=1
de
2ind(1/z)
donc pour tout z la somme externe converge absolument, et ce transforme en

m=0

n=N

n=N+1
b
m,n

m=0

1
(mz N)

1
(mz +N)

=
2
z

m=1

1
(N/z +m)
+
1
(N/z m)

=
2
z

ctg

N
z

+
z
N

2i
z
quand N , z H, entranant proposition 1.5.3 et thorme 1.5.2.
27
Leon N

4 Structure des formes modulaires pour sur SL

2
(Z).
Applications. Congruence de Ramanujan et son interprta-
tion galoisienne.
1.6. Structure des espaces des formes modulaires de niveau 1
(voir [Serre, pp.127178]).
1.6.1. Domaine fondamentale du groupe modulaire. Soient S =

0
1
1
0

et T =

1
0
1
1

. On a
S(z) = z
1
, T(z) = z + 1.
Soit dautre part, D le sousensemble de H form de points z tels que [z[ > 1 et [Re (z)[ 1/2. Nous
allons voir que D est un domain fondamental pour laction de (1) = SL(2, Z) sur H, i.e. lapplication
naturelle D (1)`H est surjective, et sa restriction lintrieur de D est injective. En mme temps
on va voir que S et T engendrent (1) = SL(2, Z).
Thorme. 1) Pour tout z H il existe (1) tel que (z) D.
2) Supposons que deux points distincts z, z

D soient congrus modulo (1). On a alors, soit Re (z) =

1/2 et z = z

+ 1, soit [z[ = 1 et z

= 1/z.
3) Soit z D, et soit St(z) = (1) [ (z) = z le stabilisateur de z dans (1). On a St(z) = 1
sauf dans les trois cas suivants :
z = i, auquel cas St(z) est le groupe dordre 4 engendr par S ;
z = = e
2i/3
, auquel cas St(z) est le groupe dordre 6 engendr par ST =

0
1
1
1

;
z = = e
i/3
, auquel cas St(z) est le groupe dordre 6 engendr par TS =

1
1
1
0

.
1.6.2. Thorme (gnrateurs du groupe modulaire). Les matrices S et T engendrent (1)
Dmontration des thormes 1.6.1 et 1.6.2. Soit

le sousgroupe de (1) engendr par S et T, et soit

z H. On va voir quil existe

tel que

D (ce qui dmontrera lassertion 1) de Thorme

1.6.1. Si =

a
c
b
d

est un lment e

, on a
Im((z) =
Im(z)
[cz +d[
2
;
comme c et d sont entiers, le nombre des couples (c, d) tels que [cz + d[ sont infrieur un nombre
donn est ni. On en conclut quil exist

tel que Im((z)) soit maximum. Il existe dautre part

un entier n tel que T
n
(z) ait une partie rele comprise entre 1/2 et 1/2. Llment z

= T
n
(z)
appartient D; en eet, il sut de vour que [z

[ 1 ; mais si lon avait [z

[ < 1 llment S(z

) aurait
une partie imaginaire strictement plus grande que Im(z

), ce qui est impossible. Llment

= T
n

rpond donc la question.

Prouvons maintemant les assertions 2) et 3) du thorme. Soient z D et (1) tels que
(z) D. Qitte remplacer (z, ) par ((z),
1
) on peut suposer que Im(g(z)) Im(z), i.e. que
[cz +d[ est 1. Ceci est videmment impossible si [c[ 2. Restent donc les cas c = 0, 1, 1. Si c = 0,
on a d = 1 et est une translations par b. Comme Re (z) et Re ((z)) sont deux compris entre 1/2
et 1/2, cela entrane, soit b = 0 et = 1, soit b = 1, auquel cas lun des nombres Re (z) et Re ((z))
doit tre gal 1/2, lautre 1/2. Si c = 1, le fait que [z+d[ soit 1 entrane d = 0, sauf si z = (resp.
z = ) auquel cas on peut avoir d = 0, 1 (resp. d = 0, 1). Le cas d = 0 donne (z) = a (1/z) et
la premire partie de la discusion montre que a = 0 sauf si Re (z) = 1/2, i.e. si z = ou , auquel
cas on peut prendre a = 0, 1 ou a = 0, 1. Le cas z = , d = 1 donne (z) = a 1/(1 + ) = 1 + ,
28
do a = 0, 1 ; on traite de mme le cas c = 1 en changement les signes de a, b, c, d (ce qui ne change
pas la transformation denit par . Ceci achve la vrication des assertions 2) et 3).
Il nous reste prouver que

= (1). Soit un lment de (1). Chosissons un point z

0
intrieur
D (par exemple z
0
= 2i), et soit z = (z
0
). On a vu plus haut quil existe

tel que

(z) D.
Les points z
0
et

(z) sont congrus modulo (1), et lun deux est intrieur D. Daprs 2) et 3) il en
rsulte que ces points sont confondues et que

= 1. On a donc bien que

ce qui achve la
dmonstration.
1.6.3. Classication des lments de SL(2, R). Nous appellons une classication gomtrique des
lments de SL(2, R). (a) On apelle =

a
c
b
d

elliptique, si la forme normale de Jordan de est de type

0
0

avec [[ = 1, = 1. Cette condition est quivalante au fait que [a +d[ < 2, o la condition
que la transformation z (z) a une seul point x dans H (et deux points complexconjugus dans
C).
(b) On apelle =

a
c
b
d

parabolique, si la forme normale de Jordan de est de type

1
0

avec
= 0. Cette condition est quivalante au fait que [a +d[ = 2, o la condition que la transformation
z (z) a une seul point x dans C = C qui appartient R = R .
(c) On apelle =

a
c
b
d

hyperbolique, si la forme normale de Jordan de est de type

mu
0
o
mu
1

avec = 1, R. Cette condition est quivalante au fait que [a + d[ > 2, o la condition que la
transformation z (z) a deux points xs dans R.
Exemples. S, ST, TS sont elliptiques, T
n
sont paraboliques,

6
5
1
1

est hyperbolique.
Thorme 1.6.1 facilement implique que tout lment elliptique de (1) est conjugu dans (1) soit
S, soit ST, tout lment hyperbolique de (1) est conjugu dans (1) T
n
.
Soit f une fonction mromorphe sur H non identiquement nulle, et soit p un point de H. Nous
appellerons ordre de f en p, et nous noterons v
p
(f), lentier n tel que f/(z p)
n
soit holomorphe et
non nul en p.
Lorsque f est une fonction modulaire de poids k, lidentit
f(z) = (cz +d)
k
f

az +b
cz +d

montre que v
p
(f) = v
(p)
(f) pour tout = (1) ; en autre termes v
p
(f) ne dpend que de limage
de p dans `H. On peut de plus dnir v

(f) comme lordre pour q = 0 de la fonction

f(q) = f(z)
asocie f. Posons e
p
= 2 (resp.e
p
= 3) si p est congru modulo i (resp. ), et e
p
= 1.
1.6.4. Proposition (sur le degr du diviseur dune forme modulaire pour SL(2, Z)). Soit f
une fonction modulaire de poids k par rapport (1), non identiquement nulle. On a
v

(f) +

p(1)\H
1
e
p
v
p
(f) =
k
12
[On peut aussi crire cette formule sous la forme
v

(f) +
1
2
v
i
(f) +
1
3
v

(f) +

p(1)\H

v
p
(f) =
k
12
,
o le signe

p(1)\H

indique que la sommation porte sur les points de (1)`H ditincts des classes de
i et de ].
29
Une dmonstration simple utlise la structure naturelle de surface de Riemann sur (1)`H, o H =
H Q (voir 2).
1.6.5. Thoreme (sur la fonction de Ramanujan et les sries dEisenstein) (i) On a

k
((1)) = 0 pour k < 0 et k = 2.
(ii) Pour k = 0, 4, 6, 8, 10
k
((1)) est un espace de dimension 1 admettant pour base 1, E
4
, E
6
, E
8
, E
10
;
on a o
k
((1)) = 0.
(iii) La multiplication par dnit un isomorphisme de
k12
((1)) sur o
k
((1)).
1.6.6. Torme (dimension des espaces des formes modulaires pour SL(2, Z)). (a)
dim
k
((1)) =

k
12

, k 2(mod12), k 0,
0, k 1(mod2),

k
12

+ 1, k 2(mod12), k 0, k 2Z.
dimo
k
((1)) =

k
12

1, k 2(mod12), k 12,
0, k 1(mod2),

k
12

, k 2(mod12), k 0, k 2Z.
(b) Les produits
E

4
E

6
[ 4 + 6 = k
forment une base de
k
((1))
Dmonstraion est immdiate de 1.6.5.
Corollaire. On a lidentit
(z) =
1
1728
(E
3
4
E
3
6
).
En eet (z) o
12
((1)), et par 1.2.6 dimo
12
((1)) = 1, et il reste remarquer que la fonction
1
1728
(E
3
4
E
3
6
) aussi appartient o
12
((1)), et que toutes les deux fonctions ont le coecient de q
gale 1.
1.6.7. Application : une dmonstration de la congruence de Ramanujan
(n)
11
(n) mod 691.
En eet,
E
2
6
(z)

1 504

n=1

5
(n)q
n

2
Z[[q]],
donc on peut dveloper E
2
6
(z) sur la base E
12
, de lespace
12
((1)) de dimension 2 : E
2
6
= E
12
+,
o
1 1008q + = 1 +
65520
691
q + +q +. . . ,
et = O(q
2
). Alors
= 1008
65520
691
=
a
691
donc a 65520(mod691),
30
et le dveloppement implique
65520
691

11
(n) +
a
691
(n) Z, avec 65520(
11
(n) (n)) 0(mod691),
do la congruence.
1.6.8. Sries dEisenstein de niveau suprieur. La thorie de sries dEisenstein peut tre tendue
sur les sousgroupes de congruence (voir Hecke, Mathematische Werke, S.461486).
Pour un rseau = '
1
,
2
`, une base 'P, Q` du groupe
N
= N
1
/

= (Z/NZ)
2
, et pour une
paire a
1
, a
2
mod N posons
G
a
1
,a
2
,N
k
(, P, Q) =

l+a
2
P+a
2
Q
l
k
,
o k 3. Alors la srie dnit une forme modulaire suivante pour le sousgroupe de congruence
principal (N) de niveau N et de poids k :
G
k
(z; a
1
, a
2
, N) =

m
1
a
1
mod N
m
2
a
2
mod N
(m
1
z +m
2
)
k
= N
k
G
a
1
,a
2
,N
k
(
z
,
1
z
,
1
N
),
o
z
= '1, z`.
En eet, cette srie converge absolument, satisfait la proprit dautomorphie par rapport (N)
et admet le dveloppement de Fourier suivant :
G
k
(z; a
1
, a
2
, N) =

a
1
N

m
2
a
2
mod N
m
k
2
+
(2i)
k
N
k
(k 1)!

mm
1
>0
m
1
a
1
mod N
m
k1
sgnm
a
2
m
N
q
mm
1
/N
,
o
N
= exp(2i/N).
Cette formule est facilement implique par le dveloppment

nZ
(mz +n)
k
=
(2i)
k
(k 1)!

n=1
n
k1
e
2inmz
(k 2, m = 0)
que nous avons dj unilis plus haut. Dun autre ct, pour tout =

a
c
b
d

on a
G
k
(z; a
1
, a
2
, N)[
k
= (cz +d)
k
G
k
((z); a
1
, a
2
, N) = G
k
(z; a

1
, a

2
, N)
avec
(a

1
, a

2
) = (a
1
, a
2
)

a
c
b
d

mod N.
Cela signie que toutes les condition de la dnition des formes modulares de poids k sur (n) sont
satisfes.
De mme faon on peut on peut construire des sries analogues sur les groupes
1
(N) et
0
(N)
(aussi avec un caractre de Dirichlet mod N quelconque) :
G
a,N
k
(, P) =

l+aP
l
k
,
G
,N
k
(, P) =

a mod N
(a)G
a,N
k
(, P)),
G
a,N
k
(, 'P`) =

a(Z/NZ)

G
a,N
k
(, P)
31
Exercise. Trouver les dveloppements de Fourier des sries
G
k
(a, N, z) = N
k
G
a,N
k
(
z
,
1
N
)
G
k
(, N, z) = N
k
G
,N
k
(
z
,
1
N
).
Pour dnir les sries dEisenstein dans les cas k = 1, 2 on introduit un paramtre additionnel
s C et on utilise la mthode de Hecke base sur un prolongement analytique au point s = 0 des
sries
G
k
(z; a
1
, a
2
, N) = y
s

m
1
a
1
mod N
m
2
a
2
mod N
(m
1
z +m
2
)
k
[m
1
z +m
2
[
2s
,
qui sont absolument convergentes pour k + Re (2s) > 2, et qui satisfont les conditions dautomorphie
pour tous tels s C.
32
Deuxime partie
Surfaces de Riemann et formes modulaires
Leon N

5 Surfaces de Riemann. Domaine fondamental de

SL
2
(Z) comme surface de Riemann. Formes modulaires comme
diffrentielles multiples et lien avec le thorme de Riemann
Roch.
2.1. Surfaces de Riemann : gnralits et exemples.
Pour obtenir une description de la structure de lalgbre des formes modulaires par rapport un
sousgroupe de congruence de SL(2, Z) il faut de nouveau considrer le domaine fondamentale `H.
Cependant, la structure de `H en gnral est beaucoup plus complqu que celle de SL(2, Z)`H. Pour
la mieux comprendre il faut fournir `H avec une structure dune surface de Riemann, cest dire,
dune varit analytique complexe de dimension 1.
2.1.1. Rapplels sur les surfaces de Riemann (voir [FarkasKra]). Plus prcisement, une surface
de Riemann X est un espace topologique de Hausdorf avec la structure suivante :
1)
X =

, (U

, p

), p

: U

(U

) C,
(p

(U

) un ouvert, U

sappele une carte, p

un homomorphisme (un paramtre locale) ;

2) Si U

= , lapplication p

: p

(U

)

p

(U

) est biholomorphe ;
[3) on peut choisir une telle structure de faon maximale en utilisant le lemme de Zorn, mais on va pas
utiliser ce choix ; autrement dit, on considre une surface de Riemenn avec une classe dquivalence
datlases, et pas avec un seul atlas ; ceci permet dutiliser des cartes les plus commodes dans les
situations concrtes.]
En tout cas, pour tout point z
0
X soit p
z
0
: U

C un paramtre local en z
0
, i.e. un paramtre
locale de U

z
0
avec p
z
0
(z
0
) = 0. De plus, X est naturellement orient par lorientation induit de C.
Soit maintenant X une surface de Riemann compacte. Alors la structure topologique de X est
compltement dtermine par un nombre naturel g = g(X) qui sappell le genre de X. Pour dcrire
cette structure on utilise un polygone normal de 4g cts de X dsign par
(a
1
b
1
a
1
1
b
1
1
. . . a
g
b
g
a
1
g
b
1
g
)
(ou une forme normale) qui peuttre dnit partir dune triangulation de X. Dans une triangulation
dune varit rele on appelle les triangles 2-simplices, les cts 1-simplces, et les sometes 0-simplices.
De plus on utilise les points P
1
, P
2
, . . . , pour marquer les cts et les triangles orients comme
'P
1
, P
2
` et 'P
1
, P
2
, P
3
` respectivement, donc 'P
1
, P
2
` = 'P
2
, P
1
`, 'P
1
, P
2
, P
3
` = 'P
1
, P
3
, P
2
`. Dans
le cas o X est compacte une triangulation de X ne contient quun nombre ni de triangles.
Nous donnons quelques examples et proprits des surfaces de Riemann : Exemples les plus connus
de surfaces de Riemann sont :
2.1.2. La sphre de Riemann S
2
, pour laquelle la structure de surface de Riemann est donne par
la projection stereographique, qui identie S
2
avec le plan projectif CP
1
= C
2.1.3. Tore complexe C/, = '
1
,
2
` est un rseau de C. On peut fournir C/ avec la structure
dune courbe projective complexe la manire suivante.
33
Considrons la fonctions de Weierstrass
(u) = (u, ) =
1
u
2
+

1
(u +l)
2

1
l
2

(le prime signie que l = 0) ; cest une fonction mromorphe double priodique sur C avec les ples
doulble dans les points u = l. Pour sa driv on a

(u) =

(u, ) = 2

l
1
(u +l)
3
.
Il est facile de voir que les dveloppements de Laurent de (u) et de

(u) sont
(u) = u
2
+

n=2
(2n 1)G
2n
()u
2n2
= u
2
+ 3G
4
u
2
+ 5G
6
u
4
+O(u
6
)

(u) = 2u
3
+

n=2
(2n 1)(2n 2)G
2n
()u
2n3
= 2u
3
+ 6G
4
u + 20G
6
u
3
+O(u
5
)
Do on obtient la relation suivante

(u)
2
= 4(u)
3
g
2
(u) g
3
,
o
g
2
= 60

1
l
4
, g
3
= 140

1
l
6
.
(voir Chapitre 3).
2.1.4. Domaine fondamental de SL
2
(Z). Nous avons vu que
(z) =
1
1728
(E
3
4
E
2
6
) = (2)
12
(g
3
2
27g
2
3
).
Posons
j(z) =
g
3
2
g
3
2
27g
2
3
, `H = `H i.
2.1.5. Lemme. La fonction j(z) provient isomorphismes `H

C et `H

C = S
1
= C .
Preuve est implique par le fait que j(z) est une fonction modulaire sur = (1) = SL(2, Z), i.e. une
forme modulaire mromorphe de poids 0. En eet, pour tout a C la fonction f(z) = j(z) a est
aussi une fonction modulaire sur , et on a vu lgalit
1
2
ord
z=i
(f) +
1
3
ord
z=
(f) +

P\H
P=i,
ord
z=P
(f) 1 = 0,
car ord
z=
(f) = 1. Ceci implique que f a une seule racine, notamment, soit z = i avec multiplicit
2 (pour a = 0), soit z = avec multiplicit 3 (pour a = 1), soit z = P H, P = i, .
On va fournir `H avec une structure de surface de Riemann compacte. Ceci nous permetra de
dterminer les dimensions des espaces des formes modulaires sur sousgroupes de congruence.
34
2.2. Thorme de RiemannRoch et ces corollaires.
2.2.1. Soit F = C(X) le corps de toutes les fonctions mromorphes sur une surface de Riemann
X (i.e. les applications f : X C, avec C la sphre de Riemann), ou F = k(X) le corps des
fonctions algbriques mromorphes sur une courbe algbrique X projective et lisse sur un corps k = k
algbriquement clos (et on va utiliser la notaton k = C pour les surfaces de Rieman compactes).
On identie les points P de X avec les valuations discrtes v
P
: F Z telles que v
P
(t) pour une
uniformisante locale t = t
P
F

en P. Posons O
P
= f F [ (v
P
(f) 0.
Attention : pour une surface de Riemann X il nest pas vident quil existe une telle t, mme que
C(X) = C. On construit des fonction mromorphes (globales) non nulles laide de la thorie de
direntielles harmoniques (voir [Farkas et Kra], II.4, II.5), o on a montr que pour tous P = Q il
existe f C(X)

, telle que f O
P
mais f O
Q
(v
P
(f) 0, v
Q
(f) < 0). Ce fait sera utilis sans
dmonstration parce que pour les courbes algbriques cest la dnition dun point, et sa dmonstration
dans le cas de surfaces de Riemann utilise des moyens essentielement analytiques. Posons
Div
X
=

P
n
P
P [ n
P
Z presque tous nuls,
le groupe de diviseurs de X (le groupe abelien libre engendr par les points de X). On a un homo-
morphisme de groupes abeliens (le degr) :
d : Div
X
Z, d(

P
n
P
P) =

P
n
P
,
pour D =

P
n
P
P on crit v
P
(D) = n
P
, et on dit que D
1
D
2
si P X v
P
(D
1
) v
P
(D
2
). Le
symbol S(D) = P X [ n
P
dsigne le support de D (cest un ensemble ni de diviseurs premiers).
Soit S maintenant un ensemble ni de diviseurs premiers (i.e. des points de X), et D Div
X
un
diviseur.
Dnition. (a)
F
S
=
PS
O
P
, F
S
(D) = f F [ P S v
P
(f) v
P
(D),
(b)
L(D) = f F [ P X v
P
(f) v
P
(D).
On voit que F
S
, F
S
(D), L(D) sont des espaces vectoriels sur k.
2.2.2. Thorme de nitude des dimensions. (a)
dim
k
L(D) = l(D) < ,
(b) L(D) = 0 pour D 0,
(c) pour tous A, B avec B A on l(A) d(A) l(B) d(B).
2.2.3. Le thorme de RiemannRoch donne un moyen de calcul des dimensions l(D) laide de
direntielles.
Diviseur dune fonction. Pour f : X C une fonction mromorphe posons (f) = div(f) =

P
v
P
(f)P
Div
X
. On ecrit (f) = (f)
0
(f)

o (f)
0
, (f)

0 le diviseur de zros (de ples) de f.

Diviseur dune direntielle. Soit
X
, t = t
P
: X C une uniformisante locale en P, alors
() = div() =

P
v
P
(f
P
)P Div
X
, o = f
P
dt
P
. Pour un diviseur D Div
X
on pose
X
(D) =

X
[ () D.
35
Proposition. (a) d(div(f)) = d(f) = 0 ;
(b) [F : k(f)] = d(f)
0
= d(f)

= "le nombre dimages rciproques de 0 ou de " ; en particulier

pour f k d(f)
0
= d(f)

> 0.
Groupe des classes de diviseurs est dnit comme le groupe quotient Cl
X
= Div
X
/P
X
, o
P
X
= (f) [ f F

Div
X
le sousgroupe des diviseurs principaux.
2.2.4. Proposition. (a) Les nombres d(A) et l(A) ne dpendent que de la classe de A dans Cl
X
.
(b) La classe K dune direntielle nonnulle () dans Cl
X
est bien dnit et sappele la classe
canonique de X, K = K
X
.
(c) dim
k

X
(D) = l(K D).
Dmonstration est directement implique par les deux propositions prcdentes.
2.2.5. Thorme de RiemannRoch. (a) Il existe un nombre entier g = g(X) tels que pour tout
diviseur D on a
l(D) = d(A) + 1 g +l(K D);
(b) le nombre g concide avec l(K) = dim
k

X
(0) = dim
k
[X] o dim
k

X
(0) = dim
k
[X] la
dimension du k-espace vectoriel des direntielles algbriques holomorphes sur X (on pose D = 0
dans (a)).
Leon N

6 Thorme de RiemannRoch pour les surfaces

de Riemann compactes et pour les courbes projectives et
lisses. Thorme de finitude des dimension. Thorme dap-
proximation. Groupe des classes de diviseurs. La classe ca-
nonique.
Tout dabord on va dmontrer le thorme de nitude des dimensions l(A). Dmonstration est base
sur le "Thorme chinois" sur X (plus prcisement, le thorme sur lindpendence des valuations)
2.2.6. Thorme dapproximation. (a) Soient v
1
, . . . , v
n
les valuations normalises associes aux
points P
1
, . . . , P
n
correspondants. Alors a
i
F et m
i
Z il existe un a F tel que
v
i
(a a
i
) > m
i
.
(b) a
i
F et m
i
Z il existe u F tel que
v
i
(u a
i
) = m
i
.
2.2.7. Thor ` me dapproximation implique le thorme de nitude. En eet, pour B A on
a
L(A)
L(B)
=
L(A)
L(A) F
S
(B)
=
L(A) +F
S
(B)
F
S
(B)

F
S
(A)
F
S
(B)
.
2.2.8. Lemme. Soit B A, S = Supp(A) Supp(B). Alors
dim
k
F
S
(A)
F
S
(B)
= d(A) d(B).
36
On a A = B + P
1
+ + P
n
et il sut de montrer que dim
k
F
S
(B +P)
F
S
(B)
= 1. Par le thorme
dapproximation il existe u F

tel que v
P
(u) = v
P
(B + P) et on verie par denition que
lapplicaton f fu fourinie un isomorphisme O
P
/m
P

F
S
(B +P)
F
S
(B)
do le lemme.
Pour dduire le thorme de nituide on remarque que (b) est le rsultat de lgalit
k =
P
O
P
,
et f L(D)
P
O
P
pour D < 0, et pour un P on a f(P) = 0, donc f 0.
Indiquons la dmonstration du thorme de lapproximation, qui est est valable dans une situation
trs gnrale (pour un nombre ni des valuations indpendentes dun corps). Remarquons que chaque
v dnit une norme de F par la formule [x[
v
=
v(x)
avec 0 < < 1. Alors on peut reformuler
le thorme dapproximation de une faon trs naturelle en disant que F est dense dans le produit

F
1


F
n
des compltions correspondantes

F
i
.
2.2.9. Lemme. Soient v
1
, . . . , v
n
les valuations de F tels que pour tous i, j, i = j O
i
O
j
. Alors il
existe un f F tel que v
1
(f) 0 et v
2
(f), . . . , v
n
(f) < 0.
Raisonement par rcurrence. Soit g F tel que v
1
(g) 0 et v
2
(g), . . . , v
n1
(g) < 0 alors on peut
suposer que v
n
(g) 0 (sinon on pose f = g). Dautre part il existe h F avec v
1
(h) 0 et v
n
(h) < 0.
Posons f = g + h
m
, alors v
1
(f) 0, et lingalit v
r
(f) implique r = 2, . . . , n 1. Ici on a deux
cas : v
r
(h) 0 ou v
r
(h) < 0. Si v
r
(h) 0, on a v
r
(g + h
m
) < 0. Sinon v
r
(h) < 0 et lhypothse
v
r
(g +h
m
r
) 0 implique pour tout m > m
r
v
r
(g +h
m
) = minv
r
(g +h
m
r
), v
r
(h
m
), v
r
(h
m
r
) < 0,
donc f satisfait aux conditions du lemme pour m assez grand.
2.2.10. Lemme. Sous les mmes hypothses il existe un f
0
F tel que v
1
(f
0
) > 0 et v
2
(f
0
), . . . , v
n
(f
0
) <
0.
En eet pour un h
0
F tel que v(h
0
) > 0 et pour f comme dans Lemme 2.2.9 on a f
0
= h
0
f
m
pour
m assez grand car v
r
(f
0
) = v
r
(h) +mv
r
(f) et v
r
(f) < 0 pour tout r = 2, . . . , n.
2.2.11. Lemme. Sous les mmes hypothses pour tout l
i
Z il existent n f
i
F tels que v
1
(f
1
1) >
l
1
et v
2
(f
2
) > l
2
, . . . , v
n
(f
n
) < l
n
.
Dmonstration. Par lemme 2.2.9 il existent g
i
tels que v
i
(g
i
) > 0 et v
j
(g
i
) < 0. Posons f
i
=
1
g
m
i
+ 1
,
alors
v
i
(f
i
1) = v
i
(
g
m
i
g
m
i
+ 1
) = v
i
(g
m
i
),
car v
i
(g
m
i
+ 1) = minv
i
(g
m
i
), v
i
(1) = 0, et
v
j
(f
i
) = v
j
(
1
g
m
i
+ 1
) = v
j
(g
m
i
),
car v
j
(g
m
i
+ 1) = minv
j
(g
m
i
), v
i
(1) = v
j
(g
m
i
).
On nie la dmonstration du thorme en posant
a =

i
a
i
f
i
, avec l
i
= m
i

n
min
j=1
v
i
(a
j
)
37
car
v
i
(a a
i
) = v
i

a
i
(f
i
1) +

ji
a
j
f
j

minv
i
(a
i
), v
i
(f
i
1), . . . , v
i
(a
j
).
Cela montre (a). Pour voir (b) on choisit un b F tel que v
i
(b a
i
) > m
i
et pour tout i = 1, . . . , n,
puis on choisit b
i
tels que v
i
(b
i
) = m
i
et en utilisant encore Lemme 2.2.10, on trouve un c avec
v
i
(c b
i
) > m
i
. On pose u = b +c, donc ua
i
= b a
i
+c b
i
+b
i
et v
i
(ua
i
) = minv
i
(b
i
), v
i
(a
i

b), v
i
(c b
i
) = v
i
(b
i
) = m
i
.
2.2.12. Direntielles et calcul de l(A). Soit R un anneau sur un autre anneau O (avec i : O R
tant le morphisme de structure).
Dnition. Le module de direntielles
R/O
est dnit comme un Rmodule fourni avec une ap-
plication de R-modules d : R (R/O) qui satisfait la condition d(rs) = rd(s) + sd(r), et qui est
universel par rapport cette condition. Une construction explicite : posons I = Ker , : R
O
R R
morphisme de la multiplication, alors (R/O) = I/I
2
, et d(r) = r 1 1 r.
Proposition. Soit R/O une extension des corps R = F et k = O. Alors (F/k) est un espace
vectoriel sur F et df
1
, . . . , f
n
est une base de (F/k) sur F F/k(f
1
, . . . , f
n
) est une extension
sparable algbrique des corps.
Dmonstration voir [S.Lang, Algbre]. En particulier, pour une courbe X sur k on pose
X
=
(k(X)/k) : alors dim
F

X
= 1 car le degr de transcendence de F/k est gale 1.
Pour un P X posons
P
= (O
P
/k), alors
P
= O
P
dt, o dt une uniformisante locale en P, et
dt est en mme temps une base de
X
sur F.
Diviseur dune fonction. Pour f : X C une fonction mromorphe posons (f) = div(f) =

P
v
P
(f)P
Div
X
. On ecrit (f) = (f)
0
(f)

o (f)
0
, (f)

0 le diviseur de zros (de ples) de f.

Diviseur dune direntielle. Soit
X
, t = t
P
: X C une uniformisante locale en P, alors
() = div() =

P
v
P
(f
P
)P Div
X
, o = f
P
dt
P
. Pour un diviseur D Div
X
on pose
X
(D) =

X
[ () D.
Proposition. (a) d(div(f)) = d(f) = 0 ;
(b) [F : k(f)] = d(f)
0
= d(f)

= "le nombre dimages rciproques de 0 ou de " ; en particulier

pour f k d(f)
0
= d(f)

> 0.
Groupe des classes de diviseurs est dnit comme le groupe quotient Cl
X
= Div
X
/P
X
, o
P
X
= (f) [ f F

Div
X
le sousgroupe des diviseurs principaux.
Proposition. (a) Les nombres d(A) et l(A) ne dpendent que de la classe de A dans Cl
X
.
(b) La classe K dune direntielle nonnulle () dans Cl
X
est bien dnit et sappele la classe
canonique de X, K = K
X
.
(c) dim
k

X
(D) = l(K D).
Dmonstration est directement implique par les deux propositions prcedentes.
38
Leon N

7 Rpartitions de Weil et le thorme de Riemann.

Irregularit et ses proprits.
Rappellons que le thorme de RiemannRoch (thor ` me 2.2.5) arme : (a) Il existe un nombre entier
g tels que pour tout diviseur D on a
l(D) = d(A) + 1 g +l(K D);
(b) le nombre g concide avec l(K) = dim
k

X
(0) = dim
k
[X] o dim
k

X
(0) = dim
k
[X] la
dimension du kespace vectoriel des direntielles algbriques holomorphes sur X (on pose D = 0
dans (a)).
2.2.13. Corollaire. d(K) = 2g 2 (on pose D = K dans (a))
2.2.14. Corollaire. l(D) = d(D) +1g pour tout D avec d(D) > 2g 2 (on remarque que l(D) = 0
pour d(D) < 0 ; sinon h L(D) donc d((h)) d(D) > 0 ; puis on utilise (a) o l(K D) = 0).
Dmonstration du thorme utilise la notion de rpartition (de Weil) r = (r
P
)
P
; elle est dnie comme
un vecteur innit avec les composantes dans F avec v
P
(r
P
) 0 pour presque tout P. Ces vecteurs
forment un Falgbre R (de dimension innie), et pour tout D Div
X
on pose
R(D) = r = (r
P
) [ v
P
(r
P
) v
P
(D).
La dmonstration se dcompose en trois parties suivantes :
(1) "Thorme de Riemann") Il existe une constante, note par 1g telle que pour tout A l(A)d(A)
1 g, et la borne est exacte, i.e. pour un D
0
on a l(D
0
) l(D
0
) = 1 g (Cest la partie essentielle
de la dmonstration. Riemann a dmontr ce thorme, mais nest pas le thorme de RiemannRoch
sous la forme nale ci-dessus, qui a t dmontr aprs quelque temps par Roch).
(2) Pour tout D
dim
k
R
R(D) +F
= l(D) d(D) + 1 g.
Le nombre naturel i(D) = l(D)d(D)+1g sappel irrgularit de D, et cette armation est apple
parfois "la forme prliminaire du thorme de Riemann Roch".
(3) Pour tout D
dim
k
R
R(D) +F
= l(K D).
(on peut considrer cette partie comme calcul de lirrgularit i(D)).
2.2.15. Proposition ((1) implique (2)). (a) Pour tous A, B avec B A on a
dim
k
R(A) +F
R(B) +F
= (l(B) d(B)) (l(A) d(A)).
(b)Pour le nombre g = 1 min(l(A) d(A)) de (1) on a
dim
k
R
R(D) +F
= l(D) d(D) 1 +g.
39
Preuve. Par le thorme disomorphisme de Noether on a
R(A) +F
R(B) +F
=
R(A) +R(B) +F
R(B) +F
=
R(A)
R(A) (R(B) +F)
mais la dnition de L(A) signie que R(A) (R(B) +F) = L(A) +R(B), et donc
R(A) +F
R(B) +F
=
R(A)
L(A) +R(B)
=
R(A)/R(B)
(L(A) +R(B))/R(B)
.
On voit galement que
(L(A) +R(B))/R(B) = L(A)/(L(A) R(B)) = L(A)/L(B),
donc
R(A) +F
R(B) +F
=
R(A)/R(B)
L(A)/L(B)
.
Larmation (a) est maintenant impliqu par le lemme suivant
2.2.16. Lemme. Pour tous A, B avec B A on a
dim
k
R(A)
R(B)
= d(A) d(B).
Dmonstration du lemme. Il sut de construire un isomorphisme
F
S
(A)
F
S
(B)

R(A)
R(B)
,
o S = Supp(A) Supp(B). Pour tout f F
S
(A) assignons la rpartition suivante :
r = (r
P
)
P
= r(f), avec r
Q
=

f, pour P S,
r
P
= 0 sinon.
Si f F
S
(B) on a r R(B) alors f r(f) dnit une application injective
F
S
(A)
F
S
(B)

R(A)
R(B)
.
Dautre part, cette application est surjective : par le thorme daproximation partir dune rpartition
(r
P
)
P
on peut trouver une fonction f F
S
(A) telle que v
P
(f r
P
) v
P
(r
P
(B)).
Pour vrier larmation (b) on prend le diviseur D
0
du theorme de Riemann donc l(D
0
)l(D
0
) =
1 g. Soit D

= PPCM(D
0
, A) o A est un diviseur donn. Alors D
0
D

, A D

donc
1 g l(D

) d(D

) l(D
0
) d(D
0
)) = 1 g
et
dim
k
R
R(A) +F
dim
k
R(D

) +F
R(A) +F
= (l(A) d(A)) (1 g),
et pour dmontrer (b) il faut montrer lingalit rciproque :
dim
k
R
R(A) +F
(l(A) d(A)) (1 g).
40
Soient r
1
, . . . , r
m
R linairement indpendants modulo R(A) + F. ll faut montrer que m
l(A) d(A) 1 +g. Pour cela on va construire un A

tel que r
1
, . . . , r
m
R(A

), alors
m dim
k
R(A

)
R(A) +F
= (l(A) d(A)) (l(A

) d(A

)) (l(A) d(A)) + (1 g).

Construction de A

est facile : on choisit un tel A

que pour tout P X

v
P
(A

) max(v
P
(A), v
P
(r
1
), . . . , v
P
(r
m
))
(cest possible car pour chaque r
i
R lensemble de P X avec v
P
(r
i
) positive est ni), do le
thorme.
2.2.17. Dmonstration du thorme de Riemann. Soit f F

une fonction mromorphe non

constante, [F : k(f)] = N = d((f)
0
) = d((f)

). La dmonstration se dcompose en deux parties :

Proposition. (a) Soit D
0
= (f)

> 0. Alors il existe le minimum

min
m
(l(mD
0
) d(mD
0
)) = 1 g;
(b) pour tout D
l(D) d(D) min
m
(l(mD
0
) d(mD
0
)) = 1 g.
Preuve de (a). Rappellons quun lment h F sappel entier sur k[f] si
h
m
+a
m1
h
m1
+ +a
0
= 0 pour a
i
k[f], i = 1, . . . , m.
Cette proprit est quivalente au fait que lanneau k[f, h] est de gnration ni comme k[f]module.
Il est claire que pour un h
0
F quelconque satisfaisant une quation de type
b
m
h
m
0
+b
m1
h
m1
0
+ +b
0
= 0 pour b
i
k[f], i = 1, . . . , m,
llment h = b
m
h
0
est entier sur k[f].
2.2.18. Lemme. Si h est une fonction entire algbrique de f, pour tout P X f O
P
h O
P
.
Autrement dit, pour tout P X P [ (f)

implique P [ (h)

, est alors le diviseur (h) + m(f)

est
positive pour m assez grands.
Preuve du lemme : par lhypothse, llment h est un entier sur O
P
donc la valeur v
P
(h) est positive
(sinon les puissances h
m
engendreraient un module de gnration innie sur O
P
).
Soit g
1
, . . . , g
N
une base de lextension F/k[f]. Par lobservation ci-desus on peut supposer que g
i
sont des entiers de f, et si lon cosidre N(1 +t) produits
f
i
g
j
, (i = 0, . . . , t; j = 1, . . . , N)
on voit quils sont linairement indpendent sur k. Par le Lemme 2.218, il existe un nombre naturel s
tel que
s(f)

+ (g
j
) 0 = (s +t)(f)

+ (f
i
g
j
) 0.
Ceci rsulte
N(1 +t) l((s +t)(f)

) = l((s +t)(f)

)(1 +t) d((f)

),
et si lon pose m = s +t s avec t 0
l(m(f)

) d(m(f)

) = (1 s)d((f)

),
41
o dans la partie droite (1 s)d((f)

) est une constante, do on obtient (a).

Pour montrer (b) on utilise le fait que pour tout diviseurs D les nombres l(D) et d(D) ne dpendent
que de la classe de D dans Cl
X
. Posons D
0
= (f)

> 0 ci-dessus, D = D
1
D
2
, D
1
, D
2
0. Alors
l(mD
0
D
1
) d(mD
0
D
1
) l(mD
0
) d(mD
0
) 1 g,
et pour m asez grand on a
l(mD
0
D
1
) md(D
0
) d(D
1
) + 1 g > o,
car d(D
1
) + 1 g est une constante, et m 0. Autrement dit, pour m 0 il existe une h
L(mD
0
D
1
) non nulle, i.e.
(h) +mD
0
D
1
0 = (h) +D
1
mD
0
= D
1
mD
0
+ (h),
donc
l(D
1
) d(D
1
) = l((h) +D
1
) d((h) +D
1
) l(mD
0
) d(mD
0
) 1 g
pa la dnition de 1 g dans (a).
Dautre part, D = D
1
D
2
D
1
alors
l(D) d(D) l(D
1
) d(D
1
) 1 g,
entranant le thorme de Riemann.
Leon N

8 Rsidus et dualit. Calcul dirregularit. Corrolaires du tho-

rme de Riemann-Roch. Applications aux formes modulaires (dimensions des espaces
de formes modulaires).
2.2.19. Rsidus et dualit. Pour montrer que
dim
k
R
R(D) +F
= dim
k

X
(D) = l(K D)
on construit un accouplement parfait entre
X
(D) et
R
R(D) +F
laide des rsidus. Pour tout P X
et
X
crivons = f dt o t = t
p
une uniformisante locale en P, qui dnit un isomorphisme

F
P

k((T)) pour lequel t T.

Soit f

n
a
n
T
n
par cet isomorphisme, alors a
1
sappel le rsidu de en P, la notation tradi-
tionnelle est : a
1
= Res
P
.
Proposition. (a) La dnition ne dpend pas du choix de luniformisante locale t en P ;
(b)
X
on a

PX
Res
P
= 0.
Preuve est implique par lobservation Res
P
=
1
2i

P
w et par la formule de Stokes.
Construction de laccouplement entre
X
(D) et
R
R(D) +F
. Pour W
X
et r = (r
P
) R
on pose
', r` =

PX
Res
P
(r
P
).
Alors on vrie immdiatment les proprit naturelles suivantes :
42
(a) ', r` = 0 pour tout r F (cest larmation (b) de la Proposition prcdente) ;
(b) ', r` = 0 si r R(D) et (D) (dans ce cas r R(D) et (D) implique que r
P

P
) ;
(c) f F on a 'f, r` = ', fr` (Flinarit).
Soit

R le dual de R (comme espace vectoriel sur k). On dnit une application klinaire :
X

R par la formule : ', `, ()(r) = ', r` pour tout

X
et r R.
Soit J(D) dsigne le kespace dual de
R
R(D)+F
.
2.2.19. Thorme (descripton du module de direntielles). Pour tout D lapplication
dnit un isomorphisme
: (D)

J(D).
Preuve est base sur deux lemmes suivants
2.2.20. Lemme. Si () J(D) on a (D)
Sinon, P tel que v
P
(w) < v
P
(D), et pour n = v
P
()+1 on a alors n v
P
(D). On dnit r = (r
Q
)
QX
par
r
Q
=

0, si Q = P
1
t
n
t e

tant une uniformisante locale en P, Q = P.

On a
v
P
(r
P
) = 1 = Res
P
(r
P
) = 0, et ', r` = 0
(contradiction)
Ce lemme implique directement linjectivit de : si () = 0, on a (D) pour tout D =
0
Pour montrer surjectivit on utilise le kespace vectoriel
J = lim

D
J(D)

R
form par les formes linaires sur R, qui sannules sur un des sous espaces de type R(D) + F. Il y
a une structure naturelle dun Fespace vectoriel sur J dnit par la formule (fl)(r) = l(fr), avec
f F, r R, l : R k, l J.
Alors le lemme prcdant montre aussi que dni une application Flinaire de
X
dans J. On
sait que dim
F

X
= 1, et pour montrer la surjectivit on utlise
2.2.21. Lemme. dim
F
J 1.
Sinon, il existent deux ,

J(D) J linairement indpendant sur F, donc lapplication

(f, g) f +g

, L(
n
) +L(
n
) J(D
n
)
doit tre injective, o
n
= nP. Par consequance,
dim
k
J(D
n
) 2 dim
k
L(
n
)
Mais cette ingalit contradicte la forme prliminaire du thorme de RiemannRoch : dune part,
dim
k
J(D
n
) = l(D
n
) d(D
n
) +g 1 = n + (g 1 d(D)) +l(D
n
),
donc pour n 0 on a d(D
n
) < 0 et l(D
n
) = 0 ; dautre part, l(
n
) n+1g = d(
n
)+1g,
et on obtient une contradiction pour n 0.
2.2.22. Thorme de RiemannRoch sur un corps arbitraire. Soit X un courbe algbrique
projective et lisse sur un corps arbitraire k (pas necessairement algbriquement clos). Alors on peut
43
gnraliser le thorme de RiemannRoch pour X, mais pour cela il faut modier la notion du degr
dun diviseur D =

P
n
P
P, o P parcourt les points de k(X) (les valuations nomalises de k(X)
triviales sur k). Un point P est dit krationnelle si d
P
= 1, i.e. P X(k) (il a donne par ces
coordonnes qui appartiennent k). Lgalit d
P
= d signie que les coordonnes de P appartiennent
une extension de degr d de k. On dsigne par d
P
= dim
k
O
P
/m
P
le degr du point P (O
P
tant
lanneau de valuation, m
P
son idale maximale). On pose d(D) = d(

P
n
P
P) =

P
n
P
d
P
, l(D) =
dim
k
L(D), L(D) = f k(X) [ P v
P
(f) v
P
(D).
Thorme de RiemannRoch sur k. (a) Il existe un nombre entier g tels que pour tout diviseur
D on a
l(D) = d(A) + 1 g +l(K D);
(b) le nombre g concide avec l(K) = dim
k

X
(0) = dim
k
[X] o dim
k

X
(0) = dim
k
[X] la
dimension du k-espace vectoriel des direntielles algbriques holomorphes sur X (on pose D = 0
dans (a)).
2.3. Surface de Riemann associe un sous-groupe de congruence
2.3.1. Elments elliptiques, paraboliques et hyperboliques dun sousgroupe de SL(2, R).
Soit SL
2
(R) un sous-groupe discrt.
Dnition.
(a) On appelle s H elliptique pour sil existe = 1 tel que (s) = s ; notation :
Ell

= s H [s elliptique pour ;
(b) On appelle s R parabolique pour sil existe = 1 tel que (s) = s ; notation :
Par

= s R i [s parabolique pour ;
(c) On appelle s R hyprbolique pour sil existe g a = 1 tel que (s) = s ; notation :
Hyp

= s R [s hyperbolique pour
Exercise. Trouver tous les lments elliptiques, paraboliques et hyperboliques de = (1) = SL
2
(Z).
(Montrer que Ell

= (i), (j)[ SL
2
(Z), Par

= Q i). Plus gnralement, pour tout

SL
2
(Z) dindice ni on a Par

= Q i. Posons
s
= [(s) = s le stabilisateur de s dans .
Soit SL
2
(Z) dindice ni. Posons H = H Q i = H Par

. On a topoligie naturelle sur

H, ceci permit de dnir lespace topologique `H. Pour cette topologie sur H une base de voisinages
dun point parabolique s est donne par les ensembles s D, o D est un disque ouvert dans H
tangent la droite rele au point s.
2.3.2. Structure complexe sur `H. Pour fournir `H avec structure dune surface de Riemann
remarquons que pour tout v H il existe un voisinage U avec la frmeture compacte tel que

v
= [(U) U =
cest
`
dire, (U) U = g(v) = v.
Ceci implique quon a linclusion

v
`U `H,
et
v
`U est un voisinage du point (v) o la projection naturelle : H `H.
44
Si le point v H est ni elliptique ni parabolique on a que
v
ne contient que 1 et possiblement
1. Donc on a un homomorphisme : U
v
`U.
Supposons que v est elliptique et posons
v
=
v
1/1. Soit lisomorphisme holomorphe
de H sur le disc D tel que (v) = 0. Si lordre de
v
est gal n, le groupe
v

1
est form par les
transformations
w
k
w, k = 0, 1, , n 1, = e
2i/n
.
Dans ce cas l on dnit la structure complexe en v par p((z)) = (z)
n
. Il est clair que p est un
homomorphisme sur un ouvert de C.
Soit nalement s un point parabolique de et un lment de SL
2
(R) tel que (s) = . Alors

1
1 =

1
0
h
1

m
[m Z

pour un nombre h > 0.

On dnit alors un homomorphisme p de
s
`U dans C par
p((z)) = exp[2i(z)/h]
qui provient la structure complexe cherche au voisinage de s.
Soit X et X

deux surfaces de Riemann compactes et f : X

X une application holomorphe.

Alors f soit constante soit surjective. Dans le cas o f est surjective on dit que f est un revtement.
Si z
0
X

, w
0
= f(z
0
) X et u, t des paramtres locaux aux points z
0
, w
0
respectivement, on
apelle lindice de ramication e = e(w
0
)de f en w
0
au-dessus de z
0
le nombre e = v
z
0
(t(f(z))), i.e.
t(f(z)) = a
e
u(z)
e
+a
e+1
u(z)
e+1
+ , a
e
= 0,
dans un voisinage de z
0
. Il ny a quun nombre ni des image rciproques dun point w
0
x ; si
e
1
, , e
h
sont les indices de ramication correspondantes, leur somme n = e
1
+ + e
h
ne depend
pas de point w
0
et est appell le degr du revtement f.
2.3.3. Thorme (formule de Hurwitz) Soit g = g(X), g

= g

(X) les genres de X, X

. Alors
2g

2 = n(2g 2) +

zX

(e
z
1).
Dmonstration est facilement implique par le fait d(f

()) = 2g

2, d(()) = 2g 2, o une
direntielle non nulle sur X.
2.3.4. Le revtement dni par un sousgroupe dindice ni et sa ramication.
Considrons le revtement
X

`H `H
pour un sous-groupe

dindice ni. Soit

= 1/1,

1/1
les images dans PSL
2
(R) = SL
2
(R)/1, alors n = [ :

]. Pour tout z H considrons le diagramm

suivant :

H
id
H

`H
f
`H

45
les projections naturelles. Soit z H, p = (z) et f
1
(p) = q
1
, , q
h
. Choisissons des points w
k
tels que q
k
=

(w
k
).
2.3.5. Proposition (Le genre dune courbe modulaire). Lindice de ramication e
k
de f en q
k
est
gale [
w
k
:

w
k
]. Si w
k
=
k
(z) pour
k
on a :
e
k
= [
z
:
1
k

k

z
]
et =
k=1
h

z
(la runion disjoint). En particulire, si

est distingu on a e
1
= = e
h
et
[ :

] = e
1
h.
Les surfaces de Riemann X

= `H sont compactes et alors ils admetent une structure dune

courbe algbrique note aussi par X

. On appelle X

courbe modulaire. Par example X

(1)
=
SL
2
(Z)`H a une structure canonique de la droite projective complexe CP
1
fournie par linvariant
J(z) =
1728E
3
4
E
3
4
E
2
6
. On voit donc que g(X
(1)
) = 0. En utilisant la description de la ramication ci
dessus on va trouver tout dabord les genres des courbes modulaires (voir Shimura, Ch.1, 1.6).
Proposition. Le genre g = g

= g(X

) est donn par la formule

g = 1 +

12


2
4


3
3

2
.
Dmonstration utilise la formule de Hurwitz.
Soit e
1
, . . . , e
t
les indices de ramication des points w
k
de `H au-dessus de

(j), j = e
2i/3
. Alors
= e
1
+. . . e
t
ou e
3
= 1 ou 3. Le nombre dindices k avec e
k
= 1 est gale
3
car e
k
= [(1)
j
:
w
k
].
Posons t =
3
+

3
alors =
3
+

3
. Ceci implique
t

k=1
(e
k
1) = t = 2

3
=
2(
3
)
3
Par analogie,

P audessus de (i)
(e
P
1) =

2
2

P audessus de ()
(e
P
1) =

.
Il reste de substituer ces donnes dans la formule Hurwitz.
On utilise souvent la notation X(N) = (N)`H, X
0
(N) =
0
(N)`H), X
1
(N) =
1
(N)`H).
2.3.6. Le genre de X(N). Soit (N) le sous groupe de congruence principal de niveau N donc
SL
2
(Z) = (1). Pour un revtement
`H (1)`H
on va dterminer les indices de ramication. On a vu que le degr du revtement est gal = [(1) :
]. On va noter par

la projection naturelle de H sur `H. Si z un point elliptique de (1) on a

[(1)
z
[ = 2 ou 3.
Par contre, si N > 1 on a [[(N)
z
[ = 1. En eet, Nous avons dj vu que tout lment elliptique
de (1) est conjugu un des lments suivants :

0
1
1
0

0
1
1
1

1
1
1
0

.
46
Mais aucun de ces lments est conjugu avec 1
2
modulo N. Le fait que (N) est distingu implique
larmation.
Posons
2
=
2
(),
3
=
3
() pour le nombre de point elliptiques dordre 2 (resp. 3) sur X

, et
soit

le nombre des points paraboliques. Soit = [(1) : ].

Soit = (N), N > 1. Alors
2
=
3
= 0,

= /N. Cest un sous-groupe distingu, et il sut

de verier que e
s
= N pour s H tel que
(N)
(s) = i. Mais (N)
s
=

1
0
Nb
1

[b Z do le
rsultat. Alors
g
N
= g((N)) = 1 +
(N 6)
12N
(N > 1).
On a dj vu que
=
N
3
2

p|N
(1 p
2
) pour N > 3 et = 6 pour N = 2.
Exercise. Montrer que les points paraboliques s = a/b, s

= a

/b

du groupe (N) sont (N)

quivalent si et seulement si

a
b

mod N
2.3.7. Le genre de X
0
(N). Considrons maintenant le sousgroupe
0
(N). On a = N

p|N
(1 +
p
1
) = P
1
(Z/NZ). La ramication est donne par la
Proposition. Pour =
0
(N) on a

2
=

0, siNestdivisiblepar4,

p|N

1 +

1
p

, sinon

3
=

0, si N est divisible par 9,

p|N

1 +

3
p

, sinon,

d|N,d>0

d,
N
d

,
o est la fonction dEuler.
Dmonstration. Considrons dabord lensemble A
N
des paires (c, d) donnes par
A
N
= (c, d) [ (c, d) = 1, d[N, 0 < c N/d .
Pour une telle (c, d) choisissons a, b tel que

a
c
b
d

SL
2
(Z). Alors on obtient un systme exact des
rprsentant de
0
`SL
2
(Z). En eet ces lments ne sont pas quivalents modulo
0
(N) et leur nombre
est exactement gale ci-dessus.
Le nombre

est gale au nombre des classes dquivalence doulbles

0
(N)`(1)/
s
47
pour un point parabolique arbitraire s. Prenons s = 0. Alors

est gale au nombre de paires de A

N
modulo la relation dquivalence suivante :
(c, d) (c

, d

1
m
0
1

pour un m Z
Ceci implique d = d

, c

= c + dm, i.e. pour un d x il y a exactement

d,
N
d

paires non
quivalentes, do la formule pour

.
Pour dterminer
3
on dsigne par S
1
(par S
2
) le nombre dlments elliptiques de (1) congrus
=

0
1
1
1

(resp.
2
). Nous allons vrier que
3
concide avec le nombre didaux J de lanneau
A = Z[j] qui satisfont aux proprits i) ii) cidessous :
i) N(J) = N = [A/J[ ;
ii) J nest pas divisible par aucun nombre positive suprieur 1.
Ceci entranera immdiatement la formule chrche par la considration de la dcomposition de J
en produit des idaux premiers.
Posons
L = Z
2
, L
N
=

x
Ny

L[x, y Z

.
Alors

0
(N) = (1) [ L
N
= L
N
.
Pour S
1
S
2
considrons L comme un Amodule. Le fait que A est un anneau principal implique
quil existe un Zisomorphisme f : A L tel que f(jx) = f(x) pour tous x A .
Soit T lensemble de tous les Zisomorphismes de A L, alors T est lunion disjointe de T
1
et T
2
,
o
T
i
= f T [ S
i
x A on a f(jx) = f(x)
Posons J = f
1
(L
N
). De la caractrisation de
0
(N) ci-dessus on voit facilement que J est un idal
de A
0
(N) qui satisfait les proprts i) et ii) : le fait que f est un Zisomorphisme entrane
que J nest pas divisible par aucun nombre positive suprieur 1 A parce que le mme est vrai pour
L
N
L.
Exercise. Vrier que lassociation J provient une bijection entre lensemble des classes de conju-
gaison des lments elliptiques dans
0
(N) et des idaux J aves les proprits i), ii) cidessus.
De mme faon on trouve
2
en utilisant lanneau Z[i].
Exemple. Soit N = p un nombre premier. Alors

= 2, les points paraboliques nonquivaux sont

0 et , le revtement

0
(p)`H (1)`H
est de degr p + 1, les indices de ramication en 0 et sont gaux p et 1 (respectivement).
Corollaire. Toutes les courbes modulaires X
0
(N) de genre 2 sont donnes par le tableau :
genre de X
0
(N) N
0 1 N 10, 12, 13, 16, 18, 25
1 11, 14, 15, 17, 19, 20, 21, 24, 27, 32, 36, 49
2 22, 23, 26, 28, 29, 31, 37, 50
Posons =

N
0
0
1

alors
0
(N) =
1
(1). Ceci implique que le corps de fonction C(X
0
(N)) est
engendr par J(z), J(Nz) : C(X
0
(N)) = C(J(z), J(Nz)).
48
2.3.8. Premiers application aux formes modulaires. En utilisant linformation obtenue ci-dessus
on va dterminer maintenant les dimensions des espaces des formes modulaires pour les sousgroupes
de congruence.
Lide de cette calcul et montre par le remarque suivant :
Proposition. Pour un sousgroupe dindice ni il y a lisomorphisme naturel
o
2
()


1
[X

], f(z) f(z) dz
En eet, pour f
2
() la direntielle f(z) dz est invariant par rapport et dz =
1
2i
dq
q
. Ceci
implique que la direntielle f(z) dz est holomorphe aux points s Q f est parabolique.
Corollaire. dimS
2
() = g(X

).
Dun autre ct, pour f
2
() la somme des rsidus de la direntielle f(z) dz doit tre gale
0 par un thorme classique sur les surfaces de Riemann compactes. Cette direntielle na que des
ples simples au points. Cela nous donne la formule
dim
2
() = g +

1.
2.4. Dimensions des espaces des formes modulaires
2.4.1. Diviseur dune forme automorphe. Considrons la surface de Riemann X

= `H pour
un sousgroupe fuchsien de SL
2
(R) de premier espce (par la dnition cela signie que X

= `H
est compact).
Dnition. On appelle forme modulaire mromorphe f de poids k sur une fraction de type f
1
/f
2
,
o f
1

k
1
(), f
2

k
2
() avec k = k
1
k
2
. Lespace vectoriel complex de telles formes est not
par /
k
().
Posons K = /
0
() alors /
k
() devient un espace vectoriel sur K de dimension 1. On peut
vrier que K = 0 pour k Z, k paire si 1 . Pour F /
2
() lexpression F(z) dz est invariant
par rapport , et il est evident que lassociation
F F(z) dz
dnit un isomorphism
/
2
()


1
(X

)
sur lespace complexe
1
(X

) des direntielles mromorphes sur X

.
Dun autre ct, pour k = 2n on a
/
2n
()


n
(X

),
o
n
(X

) dsigne lespace complexe des direntielles mromorphes multiples sur X

.
Pour tout f /
k
() on va dnir le diviseur div(f) la manire suivante. Soit P X

. Si P
correspond un point z
0
H on sait que le paramtre locale en P est dnit par t = (z)
e
, o un
isomorphisme holomorphe de H sur le disque ouvert D tel que (z
0
) = 0, e = [
z
0
[ lordre du point z
0
.
Posons
P
(f) =
(zz
0
)
(f)/e. Soit P un point parabolique, (s) = P, o : H X

la projection
naturelle, s Par

. Soit un lment de SL
2
(R) tel que (s) = . Alors ci-dessus

1
1 =

1
0
h
1

m
[m Z

49
pour un nombre h > 0. On appelle P rgulier si
1
est engendr par la matrice

1
0
h
1

, et on appelle
P non-rgilier si 1 et le groupe
1
est engendr par la matrice

1
0
h
1

. Si s est nonrgulier
et k est impair, la fonction g(z) = f[
k

1
satisfait la condition g(z+h) = g(z) alors g(z+2h) = g(z).
Par la dnition des formes modulaires on a
f[
k

1
=

(q
1/2
h
), si P est nonrgulier,k est impair
(q
h
), sinon
o q
h
= exp(2iz/h), , certaines fonctions mromorphes au voisinage de lorigine. Posons

P
(f) =

t
(t)/2 (t = q
1/2
h
), si P est nonrgulier, k est impair

q
h
(q
h
), sinon.
Soit Div
Q
(X

) = Div(X

) Q le groupe des diviseurs coecients rationnels. Alors on associe tout

f /
k
() un lment div(f) Div
Q
(X

) par la rgle :
div(f) =

PX

P
(f) P.
Il est clair de la dnition que
div(f
1
f
2
) = div(f
1
) + div(f
2
) (f
1
/
k
1
(), f
2
/
k
2
().
2.4.2. Proposition (caractrisation des formes modulaires et des formes paraboliques par
leur diviseur) Dans la notation ci-dessus on a

k
() = f /
k
() [ div(f) 0
et
o
k
() =

f /
k
() [ div(f)
u

i=1
Q
i
+
1
2
u

j=1
Q

si k est impair et 1

f /
k
() [ div(f)
u

i=1
Q
i
+
u

j=1
Q

sinon
o Q
i
(resp. Q

j
) parcourt les poins rgulier (resp. non-rgulier) de X

.
2.4.3. Proposition (sur le degr du diviseur dune forme modulaire de niveau suprieur
Soit P
1
, ..., P
r
les points elliptiques de X

, Q
1
, ..., Q
u
les points paraboliques rguliers, Q

1
, ..., Q

u
les
points paraboliques nonrguliers de . Soit f /
k
(), f 0, et, si k est pair = f (dz)
k/2
. Alors
pour k pair on a
div(f) = div() +
k
2

i=1
(1 e
1
i
)P
i
+
u

i=1
Q
i
+
u

j=1
Q

et pour tout k entier

deg div(f) =
k
2

(2g 2) +
r

i=1
(1 e
1
i
) +u +u

.
50
Dmonstration est entrane des expressions pour dz/dt o t un paramtre local. Soit P X

. Si
P correspond un point z
0
H on sait que le paramtre locale en P est dnit par t = (z)
e
, o
est ci-dessus. Alors dt/dz = d((z)
e
)/dz = e(z)
e1
(d/dz), ceci implique

t
(dt/dz) =
(z)
e(e(z)
e1
=
e 1
e
= 1 e
1
,
ou
t
(dz/dt) = (1 e
1
). Soit Q un point parabolique, (s) = Q, o : H X

la projection
naturelle, s Par

. Soit ci-dessus. Alors t = q

h
= exp(2iz/h) est le paramtre local ci-dessus

1
1 =

1
0
h
1

m
[m Z

.
On a dt/dz =
h
2i
t alors
Q
(dz/dt) = 1.
Il est commode a crire formellement :
div(dz) =

i=1
(1 e
1
i
)P
i
+
u

i=1
Q
i
+
u

j=1
Q

.
Corollaire. Pour = SL
2
(Z), f /
k
() on a
deg divf =
k
12
Dmonstration. En eet, 2g 2 = 2,
(2g 2) +
r

i=1
(1 e
1
i
) +u +u

= 2 + 1
1
2
+ 1
1
3
+ 1 =
1
6
,
et
k
2

(2g 2) +
r

i=1
(1 e
1
i
) +u +u

=
k
12
.
Remarque. Le nombre
(2g 2) +
r

i=1
(1 e
1
i
) +m
o m = u +u

admet une interprtation gometrique importante :

2.4.4. Thorme (le volume du domaine fondamentale) La forme direntielle
d =
dx dy
y
2
=
i
y
2
dz dz, avec = y
1
dz, z = x +iy
est invariant par rapport laction de SL
2
(R), et elle denit une msure SL
2
(R)invariante m sur H.
Pour la msure du domaine fondamental de `H on a la formule suivante :
1
2

\H
y
2
dxdy = 2g 2 +m+
r

=1
(1 e
1

).
51
(Pour la dmonstration qui utilise la formule de Stokes voir G.Shimura, Ch.2, 2.5).
En particulire,

SL
2
(Z)\H
y
2
dxdy =

3
.
Maintenant tout est prt pour calculer les dimensions des espaces des formes modulaires. Soit
F
0
/
k
(), F
0
0. Posons B = divF
0
. On crit une forme modulaire mromorphe F /
k
() sous
la forme F = fF
0
, o f K = /
0
(). On a dj vu que

k
() = f /
0
() [ div(f) B ,
o
k
() =

f /
0
() [ div(f) B +
u

i=1
Q
i
+
u

j=1
Q

.
Ici
B, B +
u

i=1
Q
i
+
u

j=1
Q

j
Div
Q
(X

).
Pour un A =

PX

c
P
P Div
Q
(X

) posons [A] =

PX

[c
P
] P (la partie entire de A).
On vrie facilement que div(f) A div(f) [A]. Soit m = u + u

le nombre des points

paraboliques. Pour k = 2n on voit que
deg([B]) = n(2q 2 +m) +
r

i=1
[n(e
i
1)/e
i
].
2.4.5. Thorme (dimensions des espaces des formes modulaires de poids pair) Soit g le
genre de X

, m le nombre des points paraboliques, e

1
, ..., e
r
les ordres des points elliptiques (ou les
lments elliptiques de ). Alors la dimension de lespace vectoriel
k
pour un nombre pair k est
donne par la formule suivante
dim
k
=

(k 1)(g 1) +
k
2
m+
r

i=1
[k(e
i
1)/2e
i
]), (k>2)
g +m1, (k=2, m>0)
g, (k=2, m=0)
1, (k=0)
0, (k<0).
2.4.6. Thorme (dimensions des espaces des formes paraboliques de poids pair) La
dimension de lespace vectoriel o
k
pour un nombre pair k est donne par la formule suivante
dimo
k
=

(k 1)(g 1) +

k
2
1

m+
r

i=1
[k(e
i
1)/2e
i
]), (k>2)
g, (k=2)
1, (k=0, m=0)
0, (k=0, m>0)
0, (k<0).
52
2.4.7. Thorme (dimensions des espaces des formes modulaires de poids impair) Soit
1 , u le nombre des points paraboliques rguliers, u

le nombre des points paraboliques non

rguliers, e
1
, ..., e
r
les ordres des points elliptiques (ou les lments elliptiques de correspondants).
Alors les dimensions de lespaces vectoriels
k
et o
k
() pour un nombre impair k sont donne par
les formules suivantes
dim
k
=

(k 1)(g 1) +
uk
2
+
u

(k 1)
2
+
r

i=1
[k(e
i
1)/2e
i
]), (k 3)
0, (k < 3),
dimo
k
=

(k 1)(g 1) +
u(k 2)
2
+
u

(k 1)
2
+
r

i=1
[k(e
i
1)/2e
i
]), (k 3)
0, (k < 3),
Dmonstrations de tous ces thormes sont bases sur le thorme de RiemannRoch. Par exemple,
dans la situation du thorme 4.1 on identie
k
() avec lespace vectoriel
L([B]) = f K[ div(f) B ,
On a
deg([B]) (2g 2) (n 1)

(2g 2) +
r

i=1
(1 e
1
i
) +m

.
Si n > 1 ou n = 1 et m > 0 on a
l([B]) = deg([B]) g + 1
do le premier cas. Les autres cas sont considrs de la mme faon ou plus facilement.
Remarque. Pour k = 1 cette mthode ne marche pas. On a deg([B]) = g 1 +u/2, ceci implique
dim
1
()
u
2
,
dim
1
() =
u
2
pour u > 2g 2.
2.4.8. Exemple. Soit N = 2, 3, 5, 11 et k = 24/(N + 1). Alors o
k
(
0
) a la dimension 1 et il est
engendr par ((z)(Nz))
1/(N+1)
.
En eet, la formule pour la dimension nous montre que dim(o
k
(
0
(N))) = 1. Dautre part, la
fonction g(z) = (z)(Nz) est invariant par rapport a linvolution

0
N
1
0

, a des zros dordre N +1

en 0 et en et elle ne sannule pas pour z H (car elle est donne comme un produit convergent).
Pour une forme parabolique f o
k
(
0
(N)) considrons la fraction f
1/(N+1)
/g qui est une constante
car elle est holomorphe sur X

0
(N)
(y compris les points 0 et ).
53
Leon N

9
Troisime partie
Courbes elliptiques et formes modulaires
algbriques.
3.1. Thorme dAbel. Groupe de classes de diviseurs. Lois dad-
dition et la mthode de scantes et tangentes.
3.1.0. Gnralits.
On va commencer par des gnralits sur les courbes elliptiques sur un corps arbitraire k (pas
necessairement algbriquement clos).
Dnition. Une courbe projective et lisse X est dit elliptique sil existe un point krationel o X(k)
et si g = g(X) = 1.
Pour tudier telles courbes on utilise le thorme de RiemannRoch sur k qui implique que pour
une courbe de genre 1 on a
D d(D) > 0 = 2g 2 = l(D) = d(D).
Soit Cl
0
X
le groupe de classes de diviseurs krationels de degr zro.
3.1.1. Thorme dAbel. Soit C
P
dsigne la classe de (P) (o) dans Cl
0
X
. Alors lapplication
X(k)

Cl
0
X
dnie par P C
P
est une bijection.
Dmonstration. Injectivit : on ecrit D
1
D
2
sil existe f k(X) telle que (f) = D
1
D
2
. Supposons
que (P) (o) (Q) (o) (P) (Q) ; il faut montrer que P = Q. Sinon, il existe f k(X) telle
que (f) = (P) (Q), (f)
0
= P, (f)

= Q, [k(X) : k(f)] = 1 = d((f)

0
), et X

P
1
k
ce que contradit
au fait g(P
1
k
) = 0.
Surjectivit. On remarque tout dabord que pour tout P, Q X(k) il existe un seul R X(k) tel
que (P) + (Q) (R) + (o) (i.e. C
P
+ C
Q
= C
R
dans le groupe Cl
0
X
. En eet l((P) + (Q) (o)) = 1,
donc il existe f k(X) avec (f) = n
P
(P) + n
Q
(Q) + n
o
(o) + . . . , o n
P
1, n
Q
1, n
o
1, et
tous les autres coecients nonnegatifs. Le fait d((f)) = 0 implique que soit (f) = (P) (Q) +2(o),
soit il existe un R = o tel que (f) = (P) (Q) +(o) +(R) (on exclut la possibilit (f) = (P) +(o)
par le mme argument cidessus).
Soit D 0, alors le raisonement par recurrence vident montre quil existe un seul R X(k)
tel que D m(o) + R (on commence par D = (P) + (Q), et on crit gnralement D = D

+ (P),
D

(m1)(o) +R

, (P) + (R

) (o) + (R).
Maintement pour tout D de degr zro on a D = D
1
D
2
, D
1
, D
2
> 0, D
1
m(o) + (P
1
),
D
2
m(o) + (P
2
), donc D (P
1
) (P
2
) (R) (o), i.e. la classe de D concide avec C
R
, do la
surjectivit.
3.1.2. Cubique planaire projective. Rappelons quune courbe projective planaire ( est dnit
par une quation de type F(X : Y : Z) = 0, o F(X : Y : Z) est une forme homogne des variables
projectives X, Y , Z. On dit que ( est lisse si le systme
F = F

X
= F

Y
= F

Z
= 0
54
na pas de solutions nontriviales dans sur k.
On sait quune courbe elliptique ( possde une seule direntielle une constante multiplicative
prs car l(K) = 1, o K dsigne la classe canonique. Le thorme prcdent permet de montrer que
i) ( est une groupe algbrique ; ii) ( est isomorphe une cubique planaire.
Thorme. (a) Toute courbe ( de genre 1 avec o ((k) est isomorphe une cubique planaire
y
2
+a
1
xy +a
3
y = x
3
+a
2
x
2
+a
4
x +a
6
,
o par lquation homogne correspondante
Y
2
Z +a
1
XY Z +a
3
Y Z
2
= X
3
+a
2
X
2
Z +a
4
XZ
2
+a
5
Z
3
, o = (0 : 1 : 0),
(b) Si Car(k) = 2, 3, on peut dnir ( par une quation ane de type
y
2
= x
3
+ax +b,
o par lquation homogne correspondante
Y
2
Z = X
3
+aXZ
2
+bZ
3
, o = (0 : 1 : 0).
.
Preuve (voir [Appendix de J.Tate dans S. Lang, "Elliptic functions"]). Il existe x L(2o) non-
constante. Alors x a un ple dordre 2 en o, car les lment de L(o) L(2o) sont les constantes. Puis,
l(3o) = 3, donc il existe une fonction y L(3o) avec un ple dordre 3 en o. Soit t une uniformisante
locale en o. On choisie , x et y de telle faon que
= dt + = dt(1 +O(t)), x = t
2
+ = t
2
(1 +O(t)), y = t
3
(1 +O(t)).
Alors
L(o) = '1`, L(2o) = '1, x`, L(3o) = '1, x, y`, L(5o) = '1, x, y, xy, x
2
`,
et x
3
y
2
L(5o), do on obtient lquation ane cidessus. Sa completion projective est une modle
projective lisse de (. La lissit est facile montrer par labsurd : sinon la projection de centre en un
point singulier nous donne une fonction ( P
1
k
de degr 1, mais ls courbe ( nest pas rationelle.
Si Car(k) = 2, on utilise la substitution
y y +
a
1
2
x +
a
3
2
pour liminer les coecients a
1
, a
3
. Si de plus Car(k) = 3, on utilise la substitution x x +
a
2
3
pour
liminer le coecients a
2
. Ceci rsulte que dans le cas Car(k) = 2, 3 on peut amener lequation de la
courbe la forme
y
2
= x
3
+ax +b (a, b k).
On vrie que cette courbe est lisse ssi le polynme cubique droite na pas de racines multiplies
(directement par la dniton des points singuliers comme des solutions de lquation F = F
X
= F
Y
=
F
Z
o dans le cas gnrale F(X, Y, Z) = Y
2
+a
1
XY Z +a
3
Y Z
2
X
3
a
2
X
2
Z a
4
XZ
2
a
6
Z
3
).
La direntielle holomorphe est donne par
=
dx
2y +a
1
+a
3
=
dx

y
=
dy

x
=
dy
3x
2
+ 2a
2
x +a
4
a
1
y
,
o (x, y) = y
2
+a
1
xy +a
3
y (x
3
+a
2
x
2
+a
4
x +a
6
) = 0 lquation ane de la courbe (. En eet,
grce lquaton (x, y) = 0 on a sur (

x
dx +

y
dy = 0,
55
et ,

x
,

y
ne sannulent pas en mme temps. La forme de Weierstrass de ( est
y
2
= 4x
3
g
2
x g
3
.
Le discriminant
= g
3
2
27g
2
3
ne sannule pas (on a = 2
4
(x
1
x
2
)
2
(x
1
x
3
)
2
(x
2
x
3
)
2
, o 4x
3
g
2
xg
3
= 4(xx
1
)(xx
2
)(xx
3
).
3.1.3. Lois de groupe sur ( est induite par la bijection du thorme dAbel X(k)

Cl
0
X
. Si on
amne ( la forme dune cubique planaire, on peut dcrire la lois daddition par la "mthode de
scantes et tangentes" de Poincar : pour trois points direntes P
i
= (x
i
, y
i
) (i = 1, 2, 3)
P
1
+P
2
+P
3
= o ((P
1
) (o)) + ((P
2
) (o)) + ((P
3
) (o)) 0
(P
1
) + (P
2
) + (P
3
) 3(o) 0,
et P
3
est uniquement dnit par P
1
, P
2
.
Soit h(x, y) = 0 lquation de la droite passante par P
1
et P
2
, alors il y a un seule troisime point
P
3
dintersection de la droite avec (. On a (h) = (P
1
) + (P
2
) + (P
3
) 3(o), do la mthode.
Il est facile dcrire cette mthode par les formules explicites.
Remarques. Si ( est une courbe projective qui est dnit par des quation polynomials coecients
dans k, admettante une structure (algbrique) de groupe et un point rationel o ((k) sur k comme
llment neutre, alors on peut montrer par les moyens de la gomtrie algbrique que : (i) la lois de
groupe est unique et commutative ; (ii) ( est lisse ; (iii) il existe une direntielle holomorphe nonnuls
sur ( construite partir du point o laide des dcalage de groupe, donc la classe canonique K
C
est nulle ; ceci implique que g(() = 1 car d(K
C
) = 2g 2 = 0.
Leon N

10 Description analytique des courbes elliptiques complexes et leurs

homomorphismes. Thorme daddition. Thorme de Jacobi (description du rseau
correspondant une diffrentielle non nulle. Classes disomorphisme des courbes
elliptiques. linvariant modulaire.
3.1.4. Equation de Weierstrass et thorme daddition. La forme de Weierstrass parat dans
la thorie de luniformisation complexe des courbes elliptiques. Considrons un tore complexe de type
C/, o = '
1
,
2
` est un rseau de C. On peut fournir C/ avec la structure dune courbe projective
complexe la manire suivante.
Considrons la fonctions de Weierstrass
(u) = (u, ) =
1
u
2
+

1
(u +l)
2

1
l
2

(le prime signie que l = 0) ; cest une fonction mromorphe double priodique sur C avec les ples
doulble dans les points u = l. Pour sa driv on a

(u) =

(u, ) = 2

l
1
(u l)
3
.
Il est facile voir que les dveloppements de Laurent de (u) et de

(u) sont
(u) = u
2
+

n=2
(2n 1)G
2n
()u
2n2
= u
2
+ 3G
4
u
2
+ 5G
6
u
4
+O(u
6
)

(u) = 2u
3
+

n=2
(2n 1)(2n 2)G
2n
()u
2n3
= 2u
3
+ 6G
4
u + 20G
6
u
3
+O(u
5
)
56
Do on obtient la relation suivant

(u)
2
= 4(u)
3
g
2
(u) g
3
,
o
g
2
= 60

1
l
4
, g
3
= 140

1
l
6
.
(La fonction

(u)
2
4
3
+60G
4
+140G
6
est identiquement nul car son dveloppement de Laurent
en 0 contient ne que des puissances positives de u :
(u) = u
2
+ 3G
4
u
2
+ 5G
6
u
4
+O(u
6
),

3
(u) = u
6
+ 9G
4
u
2
+ 15G
6
+O(u
2
)

(u) = 2u
3
+ 6G
4
u + 20G
6
u
3
+O(u
5
),

2
(u) = 4u
6
24G
4
u
2
80G
6
+O(u
2
)
et cette fonction est une fonction double priodique sur C qui sannule lorigine, cest dire elle est
la constante 0).
Maintenant on dsigne par E

P
2
C
la courbe dnie par lequation de Weierstrass avec g
2
et g
3
ci-dessus, et on dnit une application
C/

E

(C)
par u ((u) :

(u) : 1), si u nest pas dans , et 0 sapplique sur (0 :1 :0).

Lapplication dnie un isomorphisme complexe analytique . Pour dcrire explicitement lapplica-
tion inverse on peut aussi utiliser la direntielle
dx/y = dx/

4x
2
g
2
x g
3
sur E = E

(C) et lintgrer autour un contour qui joint un point initial xe (disons, o) avec un point
vari. Lintgral depends du choix de contour mais limage dans C/ est invariant. Le rseau
=

[ H
1
(E(C), Z)

est dnit par le choix de la direntielle ; si lon remplace par u, u C, le rseau ce remplace
par le rseau

= u.
Lisomorphisme C/

E

(C) est compatible avec les structures naturelles de groupe. En termes

de fonctions elliptiques, ce fait sexprime comme le thorme daddition des fonction elliptiques :
Thorme. Soit u
1
, u
2
, et u
1
u
2
, alors
(u
1
+u
2
) = (u
1
) (u
2
) +
1
4

(u
1
)

(u
2
)
(u
1
) (u
2
)

2
.
En termes des coordonnes (x, y) on a
x
3
= x
1
x
2
+
1
4

y
1
y
2
x
1
x
2

2
,
o
P
1
= (x
1
, y
1
), P
2
= (x
2
, y
2
), P
3
= P
1
+P
2
= (x
3
, y
3
).
57
sl Dmonstration du thorme daddition et base sur la
Proposition. (a) Pour une fonction 0 = f F

avec (f) =

uC/
n
u
(u) on a

uC/
n
u
= 0 ; (b)
Pour 0 = f F

avec (f) =

uC/
n
u
(u) on a

uC/
n
u
u 0(mod).
Preuve. La premire armation exprime le fait d

(f) = 0. La deuxime est impliqu par un calcule

facile de lintgrale

u
f

(u)
f(u)
du = 2i

u
n
u
u,
o dsigne le parallelogramme fondamental de , et son borne. Dautre part, lintgrale peut
tre calculer laide de calcule les intgrales lelong les cts opposites. Par exemple, un des deux
couples de ces intgrales est gale

+
1

u
f

(u)
f(u)
du

+
1
+
2
+
2
u
f

(u)
f(u)
du

+
1

u
f

(u)
f(u)
du = 2ik
2
,
do la Proposition.
Maintenant, pour u
1
, u
2
C/, u
1
mod soit

(u
1
) = a(u
1
) +b,

(u
2
) = a(u
2
) +b,
i.e. y = ax + b la droite passante traverse de (x
i
, y
i
), o x
i
= (u
i
), y
i
=

(u
i
), (i = 1, 2). La
fonction (u) (a(u) + b) a exactement trois zros, comptes avec multiplicits, u = u
1
, u
2
, u
3
. On
a alors par Proposition u
1
+ u
2
+ u
3
0(mod). On a soit u
1
= u
3
, 2u
1
+ u
2
0(mod), soit
u
3
(u
1
+ u
2
)(mod). Ceci implique que le polynme 4x
3
g
2
g
3
(ax + b)
2
a trois racines
x
i
= (u
i
), (i = 1, 2, 3), i.e. 4x
3
g
2
g
3
(ax + b)
2
= 4(x (u
1
))(x (u
2
))(x (u
3
)). Car
a((u
1
) (u
2
)) =

(u
1
)

(u
2
), on a
(u
1
) +(u
2
) +(u
3
) =
a
2
4
(coecient de x
2
), do
(u
1
+u
2
) = (u
1
) (u
2
) +
1
4

(u
1
)

(u
2
)
(u
1
) (u
2
)

2
,
et si u
1
= u
2
= u, on a
(2u) = 2(u) +
1
4

(u)

(u)

2
.
(passage la limite).
3.1.5. Homomorphismes et classication des courbes elliptiques
Soit E

C/, E

C/

, alors un homomorphisme complexe analytique C/

C/

a la
forme u u pour un C. En eet, dans un voisinage de 0 on a (u) = a
0
+a
1
u +a
2
u
2
+. . . , et
(u
1
+ u
2
) = (u
1
) + (u
2
), do (u) = a
1
u, et = a
1
. Pour tout u C il existe un N N tel que
u/N est dans le voisinage ci-dessus, et (u/N) = u/N, donc on a de nouveau (u) = u.
Ceci implique que
Hom(E, E

) = Hom(C/, C/

) = C [

,
58
End(E) = Hom(C/, C/) = C [ ,
et on pose
End
Q
(E) = End(E) Q = C [ (Q) Q .
On voit de cette description que les coecients g
2
et g
3
sont dnis aux replacements g
2

4
g
2
, g
3

6
g
3
( k) prs. Linvariant modulaire J
E
de la courbe E est dnit par J
E
= 1728j
E
=
(12)
3
j
E
, o
j =
g
3
2
g
3
2
27g
2
3
=
g
3
2

.
Deux courbes ont le mme invariant ssi ils devient isomorphes sur une clture algbrique de k (en
eet, elles sont isomorphes sur une extension de degr 6 de k). Ce reultat reste valable sur nimporte
quel corps k de Car(k) = 2, 3 ; plus precisement,
3.1.6. Thorme. (a) Soient E : y
2
= 4x
3
g
2
xg
3
, E

: y
2
= 4x
3
g

2
xg

3
deux courbes elliptiques
sous la forme de Weierstrass, qui sont isomorphes sur k, et : E E

un tel isomorphisme. Alors il

existe k tel que g

2
=
4
g
2
, g

3
=
6
g
3
, (x, y) = (
2
x,
3
y).
(b) j k il existe E telle que j
E
= j.
Preuve de (a) utilise le thorme de RiemannRoch. Pour les direntielles ,

de E et de E

, et
pour coordonnes (x, y) de E

considrons le composes x =

x, y =

y,

. Alors
il existe un k tel que

= w, et

x =
2
x +r,

y =
3
y +s
2
x +t, r, s, t k.
On a les relation y
2
= 4x
3
g

2
x g

3
,
(
3
y +s
2
x +t)
2
= 4(
2
x +r)
3
g
2
(
2
x +r) g
3
,
qui impliquent r = s = t = 0 et (a).
Pour montrer (b) on remarque tout dabord quon obtient j
E
= 0 si lon prend g
2
= 0, i.e.
E : y
2
= 4x
3
1, et on obtient j
E
= 0 si lon prend g
2
= 1, E : y
2
= 4x
3
x. Dans le cas gnral on
cherche E sous la forme E : y
2
= 4x
3
gx g avec j = g/(g 27).
3.1.7. Thorme. Pour tous nombres complexes r, s avec r
3
27s
2
= 0 il existe un rseau tel
que g
2
() = r, g
3
() = s.
Preuve est base sur
3.1.8. Lemme. La fonction
j(z) = j(
z
) =
g
3
2
(z)
g
3
2
(z) 27g
2
3
(z)
prends toutes les valeurs complexes strictement une fois.
Dmonstration du lemme (voir aussi 2.1.5) est implique par le fait que j(z) est une fonction modulaire
sur = (1) = SL(2, Z), i.e. une forme modulaire mromorphe de poids 0, qui provient isomorphismes
j : `H

C, j : `H

C. En eet, pour tout a C la fonction f(z) = j(z) a est aussi une
fonction modulaire sur , et on a vu legalit
1
2
ord
z=i
(f) +
1
3
ord
z=
(f) +

P\H
P=i,
ord
z=P
(f) 1 = 0,
car ord
z=
(f) = 1. Ceci implique que f a une seule racine, notamment, soit z = i avec multiplicit
2 (pour a = 0), soit z = avec multiplicit 3 (pour a = 1), soit z = P H, P = i, .
59
Maintenant considrons la courbe elliptique ( : y
2
= 4x
3
rxs avec linvariant j = r
3
/(r
3
27s
2
)
et le lemme implique quil existe un rseau

tel que j(

) = j. Si (

: y
2
= 4x
3
g
2
(

) g
3
(

) la
courbe de Weierstrass correspondante

, j((

) = j(

) = j, et (

(

. Le thorme precdent nous

dit quil existe u C

tel que r =
4
g
2
(

), s =
6
g
3
(

), et =

est le rseau cherch.

Dnition. Un Hom(E, E

) sappel isognie si une des conditions quivalentes est satisfaite :

(i) = 0 ; (ii) Ker est ni ; (ii) est surjective.
3.1.9. Thorme. Soit E

C/, E

C/

. On choisie des bases

1
,
2
de et

1
,

2
de

de telle faon que z =

1
/
2
H, z

1
/

2
H. Alors E et E

sont isomorphes (resp. isognes) ssi

g SL
2
(Z) (resp. g GL
+
2
(Q) tel que z = g(z

)).
Preuve. Si E et E

sont isomorphes (resp. isognes), on a

, et =

(resp. (Q) = Q

)
pour un C

. Posons g =

a
c
b
d

a
c
b
d

,
do z = g(z

), g =

a
c
b
d

, det g > 0 et g SL
2
(Z) (resp. g GL
+
2
(Q), z = g(z

)).
Rciproquement, si g(z

) = z, g SL
2
(Z) (resp. g GL
+
2
(Q), z = g(z

)), posons = cz

+ d,
alors

z
1

a
c
b
d

,
ou
(

1
/
2
)

a
c
b
d

.
3.1.10. Endomorphismes et automorphismes.
Dnition. Une courbe elliptique E est dit multiplication complexe si End(E) = Z.
Le thorme prcedent nous montre que E
z
est multiplication complexe ssi (z) = z pour une
GL
+
(Q) nonscalaire Q(z) est une extension quadratique imaginaire de Q.
Exemples. (a) Soit j = 0, = 'i`1,, alors E

est multiplication complexe par Q(i) ;

(b) Soit j = 1, = '`1,, alors E

est multiplication complexe par Q().

3.1.11. Liaison avec formes modulaires. Deux courbes E
z
, E
z
sont isomorphes ssi z

=
az+b
cz+d
pour
une matrice

a
c
b
d

SL(2, Z). En eet, on a vu quun isomorphisme complex analytique C/

C/

est necessairement induit par la multiplication par un C

. Dans ce cas
z
=
z
, et (, z

) est
une base de
z
, puis = cz +d, z

= az +b, avec une transformation unimodulaire : (1, z

), (, z

),
et (1, z) denis la mme orientation de C. On a alors
g
2
(z

) =
4
g
2
(z), g
3
(z

) =
6
g
3
(z).
A savoir, les classes disomorphisme des courbes elliptiques sur C correspondent bijectivement aux
points de lespace quotient `H, o H le demiplan superieur
H = z C[Im(z) > 0,
et = SL(2, Z) opre sur H comme cidessus. Selon le thorme classique de Jacobi, le discriminant
= (z) de E
z
peut sexprime comme
= (2)
12
q

m=1
(1 q
m
)
24
= (2)
12

n=1
(n)q
n
60
pour tout z C with Im() > 0, q = exp(2i). La fonction (n) est la fonction de Ramanujan.
Linvariant absolu de E
z
est par dnition
J(z) = 1728g
2
(z)
3
/(z) = q
1
+ 744 +

n=1
c(n)q
n
,
o c(1) = 196884, c(2) = 21493760, . . . , c(n) Z. On a vue que J prends toutes les valeurs complexes,
donc toute courbe elliptique sur C est isomorphe E
z
pour un z C.
Topologiquement, C/ est une surface de Riemann de rang 1. Sil on remplace z par (z) avec
=

SL
2
(Z) alors le rseau
z
= Z +zZ se remplace par le rseau

(z)
= Z +(z)Z = (cz +d)
1
(Z +zZ) = (cz +d)
1

z
,
et la courbe correspondante se remplace par la courbe de Weierstrass
g
2
((z)) = (cz +d)
4
g
2
(z), g
3
((z)) = (cz +d)
6
g
3
(z).
Le discriminant du polynme cubique de la partie droite dans lquation de Weierstrass est une
forme parabolique de poids 12 par rapport = SL
2
(Z) :
2
4
(g
3
2
27g
2
3
) = 2
4
(2)
12
e(z)

m=1
(1 e(mz))
24
= 2
4
(2)
12

n=1
(n)e(nz).
La fonction
J(z) = 1728
g
3
2
g
3
2
27g
2
3
=
1
q
+ 744 +

n=1
c(n)q
n
est invariante par = SL
2
(Z), i.e. cest une fonction modulaire (forme modulaire meromorphe de
poids 0). On a ord
q=0
J = 1.
3.1.12. Points dordre ni et isognies de courbes elliptiques complexes. Luniformisation
complexe dune courbe elliptique E sur C, C/

E(C) montre que le groupe E
N
des points annuls
par N sur E(C) est isomorphe
(Z/NZ) (Z/NZ) =

(
a
1
+b
2
N
,
c
1
+d
2
N
) [ a, b, c, d Z/NZ

.
On va crire E sous la forme de Weierstrass : E : y
2
= 4x
3
g
2
x g
3
Exemple. Soit N = 2, alors

(
1
/2) =

((
1
+
2
)/2) =

(
2
/2) = 0,
et les points dordre 2 sur E sont (x, y) = ((
1
/2), 0), (((
1
+
2
)/2), 0), ((
2
/2), 0).
Par dnition,
P E(C) f C(E) avec (f) = N((P) (o)).
On a E
N
= Ker (E(C)
N
E(C)), o N le morphisme de multiplication par N sur E, le mor-
phisme identique. Formules pour la lois dadition nous montrent que dans les coordonnes homognes
N((X : Y : Z)) = (X
N
(X : Y : Z) : Y
N
(X : Y : Z) : Z
N
(X : Y : Z))
61
avec des polynmes X
N
(X : Y : Z), Y
N
(X : Y : Z), Z
N
(X : Y : Z) coecients dans k = Q(g
2
, g
3
).
Ceci implique que
P = (X : Y : Z) E(C) X
N
(X : Y : Z) = 0, Z
N
(X : Y : Z) = 0,
et pour tout Aut(C/k) on a P

= P. Pour trouver les coordonnes des points dordre ni, on va

construire un polynme F
N
dont les racines concident avec les xcoordonnes des points dordre N.
Cas I. Soit N impaire. Alors x = (
1
), (
2
), ((
1
+
2
)/2). Soit
f
N
(z) = N

((z) (u)),
o u parcourt tous les u C/ non nuls tels que Nu , et on choisit un seul lment dans chaque
couple u, u. Alors f
N
(z) = F
N
((z)), o F
N
(x) C[x] un polynme de degr (N
2
1)/2. La fanction
f
N
est paire, elle a N
2
1 zros simples, et un seul ple en z = 0 dordre N
2
1, avec le terme principal
N/z
N
2
1
en z = 0.
Cas II. Soit N paire. Considons le produit

f
N
(z) = N

((z) (u)) tendu sur tous les u C/

non nuls tels que Nu mais 2u , i.e. u =
1
,
2
, (
1
+
2
)/2. Alors

f
N
= F
N
((z)), o
F
N
(x) C[x] un polynme de degr (N
2
4)/2. La fanction

f
N
est paire, elle a N
2
4 zros simples,
et un seul ple en z = 0 dordre N
2
4, avec le terme principal N/z
N
2
4
en z = 0. Il est claire que
les racines du polynme F
N
sont permutes par tout Aut(C/k), alors ces coecients sont dans k.
3.1.13. Reprsentations galoisiennes associes E. Si P, Q E(C), G
k
= Gal(k/k), on a
P

, Q

E(k), et (P +Q)

= P

+Q

, do on obtient une reprsentation galoisienne

(N),E
: G
k
GL(2, Z/NZ),
car tout G
k
dnie un automorphisme de E
N
(k) = E
N
(C)

(Z/NZ)
2
. Les coecients matriciels
de A =

a
c
b
d

=
N,E
() sont donne par lgalit P

= (x

, y

) = P
(a
1
+b
2
)/N,(c
1
+d
2
)/N
.
Reprsentations ladiques. Soit N = l
n
, o l un nombre premier, alors passage limite provient une
reprsentation ladique de G
k

l,E
: G
k
GL(2, Z
l
) = GL(T
l
),
o T
l
(E) = lim

n
E(k)
l
n, la limite est prise par les morhismes
E(k)
l
n
l
E(k)
l
n+1
de multiplication par l.
3.1.14. Classes dquivalence disognies. Soient E et E

isognes. On choisie des bases

1
,
2

de et

1
,

2
de

de telle faon que z =

1
/
2
H, z

1
/

2
H, alors

, et
Q = Q

pour un C

, et g

a
c
b
d

M
+
2
(Z)

a
c
b
d

.
Deux isognies E

1
E

et E

2
E

sappelent quivalentes si Ker

1
= Ker
2
.
62
Pour dcrire les classes dquivalence disognies, on remarque que
1

2

1
() =
2
(), les
classes dquivalence correspondent aux sousrseaux ()

. Changement de base de sous rseax

() correspond au remplacement

, SL
2
(Z),
ceci implique que g se remplace par g, car

a
c
b
d

.
La structure du noyau Ker

/ est facile dcrire laide de changement de base de tous

les deux rseaux et

, ce qui correspond des remplacements de type :

, ,

SL
2
(Z).
Alors g se remplace par g
1
, car

a
c
b
d

,
et ,

tels que

a
c
b
d

1
=

0
0
d

i.e. on peut choisir les bases de et de

de telle faon que

1
= a

1
,
2
= d

2
,
et
Ker

/

(Z/a

Z) (Z/d

Z), (a

[d

)
Un isognie sappelle cyclique si Ker est un groupe cuclique, i.e. si a

= 1 g =

a
c
b
d

est
primitive det g = [Ker [.
3.1.15. Isognie duale. Soit E

E

une isognies des coures elliptiques dnies sur C Alors E(C)

Cl
0
E
, E

(C)

Cl
0
E
, est surjective, donc lapplication P
1
(P) induit un homomorphisme
: Cl
E
Cl
E
, qui dnit lisognie duale : : Cl
0
E
Cl
0
E
, pour laquelle
((P

) (o

)) = (P
1
) + + (P
m
) (Q
1
) (Q
m
),
avec

1
(P

) = P
1
, . . . , P
m
,
1
(o

) = Q
1
, . . . , Q
m
,
(et on peut suposer que Q
1
= o, P
1
= P, et que P
j
= P
1
+Q
j
).
Proposition. On a = m
E
, = m
E
o m = deg .
Preuve. Soit (P) = P

. Il faut montrer que

(P
1
) + + (P
m
) (Q
1
) (Q
m
) =
(P
1
+Q
1
) + + (P
1
+Q
m
) (Q
1
) (Q
m
) m((P) (o))
63
sur E, et que
(P
1
) + +(P
m
) (Q
1
) (Q
m
) m((P

) (o

)).
La deuxime quivalence est triviale, et la premire est implique par dnition de la lois daddition :

a
i
P
i
= 0 dans E(C)

a
i
(P
i
) 0 &

a
i
= 0.
Description analytique de lisognie duale. Soient E = C/, E

= C/

isognes, et = '
1
,
2
`
et

= '

1
,

2
` ci-dessus, z =
1
/
2
H, z

1
/

2
H, alors

, et g

a
c
b
d

M
+
2
(Z)

a
c
b
d

.
Alors

a
c
b
d

m
0
0
m

et est donne dans les bases chosis par g

= m
1
g
1
=

d
c
b
a

.
64
Leon N

11 La courbe de Tate. Points dordre fini : trois descriptions. Isog-

nies et dualit. Formes modulaires algbriques et leur dveloppement de Fourier
algbrique.
3.1.16. La courbe de Tate. Considrons lquation de Weierstrass pour C/, o = '2i, 2iz` =
2iZ + 2izZ, = 2i dz :
Y
2
= 4X
3

E
4
12
X +
E
6
216
(X = (2iz, ), X =

(2iz, )),
avec
12(2i)
4
g
2
(z) = E
4
= 1 + 240

n=1

3
(n)q
n
(q = exp(2iz),
216(2i)
6
g
3
(z) = E
4
= 1 504

n=1

5
(n)q
n
.
Si lon pose
X = x +
1
12
, Y = x + 2y,
on obtient une nouvelle quation dont les coesient sont dans Z[[q]] :
Tate(q) : y
2
+xy = x
3
+B(q)x +C(q),
o
B(q) = 5

E
4
1
240

= 5

n=1

3
(n)q
n
,
C(q) =
5

E
4
1
240

E
6
1
504

12
=

n=1
5
3
(n) 7
5
(n)
12
q
n
.
Cette quation dnie une courbe eliptique sur lanneau Z((q)) dont la direntielle canonique
can
est
dx
2y +x
=
dX
Y
.
(Rappel :
G
k
(z) =
2(2i)
k
(k 1)!

B
k
2k

1
2k
B
k

n=1

k1
(n) exp(2inz)

=
(2i)
k
B
k
k!
E
k
,
o

g
2
= 60G
4
= (2i)
4
E
4
12
g
3
= 140G
6
= (2i)
6
E
6
216
.)
Soit N 1 un nombre naturel. On pose
Tate(q
N
) : y
2
+xy = x
3
+B(q
N
)x +C(q
N
).
65
Posons t = exp(2iu), alors les points dordre N sur Tate(q
N
) correspondent aux t =
i
N
q
j
, (0
i, j N 1),
N
= exp(2i/N), et leurs coordonnes sont donnes par

x(t) =

kZ
q
Nk
t
(1 q
Nk
t)
2
2

k=1
q
Nk
(1 q
Nk
t)
2
y(t) =

kZ
(q
Nk
t)
2
(1 q
Nk
t)
3
+

k=1
q
Nk
(1 q
Nk
t)
2
.
Pour des applications arithmtiques de la courbe de Tate il est trs important que ces coordonnes
sont dans lanneau Z[
N
, N
1
][[q]].
Preuve utilise lidentit

nZ
(u +n)
k
=
(2i)
k
(k 1)!

n=1
n
k1
e
2inu
(k 2, u Z).
Pour le rseau = 2i(Z +zZ) on a
X = (2iu) = (2i)
2

u
2
+

m,n

(u +mz +n)
2
(mz +n)
2

=
(2i)
2

mZ

nZ
(u +mz +n)
2
2

m=1

nZ
(mz +n)
2
2(2)

mZ

n=1
ne
2i(u+mz)n
2

m=1

n=1
ne
2imnz
+
1
12
,
do on obtient les identits ci-dessus.
3.1.17. Familles analytiques des courbes elliptiques. Pour un entier N considrons les sous
groupes de congruence suivants :

0
(N) = SL
2
(Z) [ c

0 mod N ,

1
(N) =
0
(N) [ a

1 mod N ,
(N) = SL
2
(Z) [ 1 mod N .
Les domains fondamentaux de H modulo laction de ces groupes, savoir : (a)
0
(N)`H, (b)

1
(N)`H, (c) (N)`H, peuvent tre identier respectivement avec les ensembles des claases diso-
morphisme sur C des multiplets suivantes :
(a) (E, 'P`), une courbe elliptique sur C et un sousgroupe cyclique dordre N, 'P` E(C), Card'P` =
N ;
(b) (E, P), une courbe elliptique sur C et un point dordre N, P E(C), Card'P` = N ;
(c) (E, P, Q), une courbe elliptique sur C et une base de points dordre N :
P, Q E(C)
N
= 'P` 'Q`

= Z/NZ Z/NZ.
Pour dcrire cette identication on associe un point z H les multiplets suivants :
(a) (C/
z
, '1/N` mod
z
`) ;
(b) (C/
z
, 1/N mod
z
) ;
(c) (C/
z
, 1/N mod
z
, z/N mod
z
).
66
3.2. Formes modulaires algbriques
3.2.1. Courbes elliptiques sur un anneau R. Pour tout idal premier p R soit R/p lanneau
(intgre) residuel de p, k(p) son corps de fractions. De point de vue un peu naf on va considrer
une courbe elliptique E sur R comme dnie par un systme dquations homognes dans un space
projectif
P
n
R
= (a
0
: a
1
: . . . : a
n
) [i a
i
R, (a
0
, a
1
, . . . , a
n
) = R
de telle faon que (i) pour tout p E mod p (o Ek(p)) est une courbe elliptique sur k(p), (ii) il existe
un point o E(R) (une solutions dans P
n
R
du systme).
On va dsigner par
E
le Rmodule de Rdirentielles de E (si R est intgre avec lanneau de
fraction K,
R

E/K
, p
R

R
k(p) =
k(p)
[E
k(p)
].
(Pour donner des dnitions plus presises on est oblig dutilise le language de schma [Deligne
Serre, p.510], [Katz, p.7781] : une courbe elliptique sur un schma S est un morphisme propre et
lisse E S muni dune section e : S E, de bres gomtriques des courbes elliptiques. Lorsque S
est le spectre dun anneau commutatif A on dit aussi que E est une courbe elliptique sur A.On pose

E
= e

1
E/S
: pour S = Spec(A),
E
sidentie un A-module inversible.)
3.2.2. Formes modulaires sur R. Soit R un anneau sur lequel N est inversible. Une forme modulaire
de poids k sur
1
(N), mromorphe linnie, dnie sur R, est une loi qui, tout courbe elliptique
E sur une Ralgbre A, munie dun point P (ou dun plongement :
N
E), associe un lment
f(E, ) de
k
E
. On exige que cette loi soit compatible aux isomorphismes, et lextensions des
scalaires.
De faon quivalente, on peut dnir une forme modulaire de poids k sur
1
(N), mromorphe
linnie, dnie sur R, est une loi qui, tout courbe elliptique E sur une Ralgbre A, munie dune
base du Rmodule
E
et dun point P, associe un lment f(E, , ) de A tel que
(i) f(E, , ) ne dpend que de la classe de Aisomorphisme du triple (E, , ) ;
(ii) f est homogne de degr k par rapport la deuxime variable : pour tout A

f(E/A, , ) =
k
f(E/A, , ).
(iii) Cette loi est compatible avec extension de scalaires : g : A B
f(E
A
B, ,
A
B) = g(f(E/A, , )).
Soit f comme cidesus. Si d (Z/NZ)

, on dnit la forme modulaire f[R

d
par
(f[R
d
)(E, , w) = f(E, d, ).
Si un homomorphisme de (Z/NZ)

dans R

, on dit que f est de type (k, ) sur

0
(N) si f[R
d
=
(d)f pour tout d (Z/NZ)

.
Faisons R = C. La donne de :
N
E quivaut alors celle du point
(exp(2i/N)
qui est dordre N. A une forme modulaire algbrique f ci dessus, on associe une fonction (encore note
par f) sur le demiplan H par la rgle
f(z) = f(E
z
, 1/N, 2idu),
67
o E
z
dsigne la courbe elliptique C/zZ + Z, u C/zZ + Z la variable complexe sur E
z
. Posons
f(z) = f

(e
2iz
), alors
f

(q) = f(C

/q
Z
, Id, dt/t) (0 < [q[ < 1, t = exp(2iu)),
o Id est dduite de linclusion de
N
dans C

.
3.2.3. Dveloppement de Fourier dune forme modulaire algbrique est dnit laide de
la courbe de Tate G
m
/q
Z
sur lanneau Z((q)) = Z[[q]](q
1
), qui est dnit cidessus par lquation
Tate(q) : y
2
+xy = x
3
+B(q)x +C(q),
o
B(q) = 5

E
4
1
240

= 5

n=1

3
(n)q
n
,
C(q) =
5

E
4
1
240

E
6
1
504

12
=

n=1
5
3
(n) 7
5
(n)
12
q
n
,
E
4
= 1 + 240

n=1

3
(n)q
n
(q = exp(2iz),
E
4
= 1 504

n=1

5
(n)q
n
.
Cette quation dnie une courbe elliptique sur lanneau Z((q)) qui est munie dune direntielle
canonique

can
= dt/t =
dx
2y +x
,
et dun plongement naturel Id :
N
G
m
/q
Z
(remarquons que le groupe
N
est dni sur Z par
lquation x
N
1 = 0, dont on a un plongement naturel Id :
N
G
m
, G
m
tant le groupe multiplicatif
(un groupe algbrique sur Q). Si f est une forme de poids k sur
1
, mromorphe linnie, et dnie
sur un anneau R, on pose
f

(q) = f(G
m
/q
Z
, Id, dt/t) Z((q)) R R((q)).
(Ici G
m
/q
Z
dsigne la courbe sur Z((q)) R dduite de la courbe de Tate par extension des scalaires.)
Posons
f

(q) =

a
n
q
n
et (f[R
d
)

(q) =

a
n
(d)q
n
, d (Z/NZ)

.
68
Leon N

12 Oprateurs de Hecke. Description algbrique des oprateurs de

Hecke laide disognies. Produit des oprateurs de Hecke. La transformation de
Mellin comme un produit eulrien. Formes primitives.
3.3. Oprateurs de Hecke
3.3.1. Motivations de la dnition des oprateurs de Hecke. Oprateurs
U(m), V (m) sur les dveloppements de Fourier
Les exemples des sries dEisenstein et sries thta nous montrent un fait interessant : les coecients
de Fourier a(n) de ces formes modulaires souvent soient les fonctions arithmtiques multiplicatives soit
ils peuvent tre reprsenter comme une combinaison linaire de telle fonctions. Pour la fonction (n)
de Ramanujan ces proprits de multiplicativit ont la forme suivante :
(mn) = (n)(m) for (m, n) = 1,
(p
r
) = (p)(p
r1
) p
11
(p
r2
) (p a prime number , r 2).
Soit m un entier positif, f(z) =

n=0
a(n)e(nz) une fonction sur H. Alors la fonction suivante est
dnie
f[U(m)(z) =

n=0
a(mn)e(nz) = m
k/21

u mod m
f[
k

1
0
u
m

,
f[V (m)(z) =

n=0
a(n)e(mnz) = f(mz) = m
k/2
f[
k

m
0
0
1

.
Imaginons que loprateur
f f[U(m)
agit sur lespace des formes modulaires
k
(N, ). Alors on peut esprer trouve une base de cet
espace constitu par des fonctions propres de ces oprateurs. Si lon suppose que f est une fonction
propre on obtient la relation suivante
a(mn) = (m)a(n) (n N)
o (m) sont les valeurs propres correspondentes :
f[U(m) = (m)f.
Les proprits de multiplicativit cherches sont entraner de cela. Cependent, si f
k
(N, ) alors
dans le cas gnral on ne peut dire que
f[U(m)(z), f[V (m)(z)
k
(mN, ),
et que
f[U(m)(z)
k
(N, )
na lieu quand m divise N. Pour vit cette dicult dans le cas gnral remarquons que les matrices

1
0
u
m

dans la dnition de U(m) forment une partie dun systme exact des rpresentantes des classes
dquivalance droits pour
0
(N)`
m
(N), o
m
(N) note lensemble

m
(N) =

a
c
b
d

a, b, c, d Z, c 0 mod N, det = m

,
69
qui est invariant par des multiplications droits par lements de
0
(N). Pour une systme complet des
rpresentantes des classes dquivalance pour
0
(N)`
m
(N) on peut prendre lensemble

a
0
b
d

a, d > 0, ad = m, b = 0, . . . , d 1

.
Ce fait nous permet de dnir au lieu de U(m) un autre oprateur qui agit sur lespace des formes
modulaires
k
(N, ). Cet autre oprateur sappelle loprateur de Hecke T(m) :-
f f[
k
T(m) = m
k/21

(a

)f[
k
,
o =

0
(N)`
m
(N), (m, N) = 1.
3.3.2. Laction des oprateurs de Hecke sur les dveloppements de Fourier. Laction de
T(m) sur les coecients de Fourier est facile de dterminer en utilisant le systme des representants
ci-dessus :
f[
k
T(m) =

m
1
|m
(m
1
)m
k1
1
f[U(m/m
1
)V (m
1
)
=a(0)

m
1
|m
(m
1
)m
k1
1
+

n=1

m
1
| (m,n)
(m
1
)m
k1
1
a(mn/m
2
1
)e(nz),
o lon utilise la convention que a(x) = 0 pour x Z.
Multiplication des syst ` mes ci-dessus nous montre que le rgle de multiplication pour les oprateurs
T
k
(m) a la forme donne par la proposition suivante :
3.3.3. Proposition (la rgle de la multiplication des oprateurs de Hecke). Soit n, m premiers
avec N. Alors
T
k
(m)T
k
(n) =

m
1
| (m,n)
(m
1
)m
k1
1
T
k
(mn/m
2
1
). ()
Dmonstration. On va vrier la regle (*) sur des dveloppements de Fourier. On a
f[
k
T(n) =

n
1
|n
(n
1
)n
k1
1
f[U(n/n
1
)V (n
1
),
f[
k
T(m) =

m
1
|m
(m
1
)m
k1
1
f[U(m/m
1
)V (m
1
).
Alors
f[
k
T(n)T(m) =

n
1
,|n
m
1
,|m
(n
1
m
1
)(n
1
m
1
)
k1
f[U(n/n
1
)V (n
1
)U(m/m
1
)V (m
1
).
Pour eectuer la commutation, on utilise
3.3.4. Lemme (la rgle de commutation des oprateurs U(m), V (m)). Soient A, B N,
=PGCD(A, B), alors pour f =

n=0
a(n)e(nz) on a les identits suivantes :
f[V (A)U(B) = f[U(B/)V (A/).
70
En eet,
f[V (A)U(B) =

n=0
a(n)e(nAz)

[U(B) =

n=0
B|An
a(n)e(nAz/B)
=

n=0
(B/)|(A/)n
a(n)e(nAz/B)) =

n=0
a((B/)n)e(n(A/)z) = f[U(B/)V (A/),
do le lemme.
Remarque. Lemme 3.3.4 montre que f[V (A)U(A) = f ; par contre, f[U(A)V (A) =

n=0
A|n
a(n)e(nz).
Si lon utilise directement le lemme avec la notation = PGCD(n
1
, m/m
1
), on voit que
f[
k
T(n)T(m) =

n
1
|n
m
1
|m
(n
1
m
1
)(n
1
m
1
)
k1
f[U(n/n
1
)U(m/m
1
)V (n
1
/)V (m
1
)
=

n
1
|n
m
1
|m
(n
1
m
1
)(n
1
m
1
)
k1
f[U(nm/n
1
m
1
)V (n
1
m
1
/).
Posons n
2
= n
1
/. Alors n
2
[(n/), m/m
1
Z, do m
1
[(m/) et
f[
k
T(n)T(m)
=

|(n,m)
()
k1

n
2
|(n/)
m
1
|(m/)
(n
2
m
1
)(n
2
m
1
)
k1
f[U((nm/
2
)/n
2
m
1
)V (n
2
m
1
),
do la proposition 3.3.3.
En particulier, les oprateurs T
k
(n) commutent entre eux. Si f
k
(N, ) est une fonction propre
de tous les oprateurs T
k
(n) avec (m, N) = 1, i.e. si lon ait
f[T
k
(m) =
h
(m)f ((m.n) = 1),
alors levaluation de la rgle de multiplication sur f implique

f
(m)
f
(n) =

m
1
| (m,n)
(m
1
)m
k1
1

f
(mn/m
2
1
).
3.3.5. Relations entre les coecients de Fourier et les valeurs propres des
oprateurs de Hecke. Produits eulerins.
La comparaison de coecients de Fourier a(n) provient lidentit suivante
a(0)

m
1
|m
(m
1
)m
k1
1
=
f
(m)a(0),

m
1
| (m,n)
(m
1
)m
k1
1
a(mn/m
2
1
) =
f
(m)a(n).
En particulier, pour n = 1 on a
a(m) =
f
(m)a(1),
71
est pour a(1) = 0 la fonction a(m) est alors proportionnelle la fonction (m) pour (m, N) = 1.
Toutes ces proprits peuvent tre exprimer sous une forme commode en termes de sries de
Dirichlet :
f(z) =

n=0
a(n)e(nz)
k
(N, ),
ci-dessus posons formellement
L
N
(s, f) =

n=1
(N,n)=1

f
(n)n
s
, R
N
(s, f) =

n=1
(N,n)=1
a(n)n
s
.
Alors ces sries de Dirichlet formelles satisfont les identits suivantes :
I) Le dveloppement en produit dEuler :
L
N
(s, f) =

p : p|N
[1
f
(p)p
s
+(p)p
k12s
]
1
.
II) R
N
(s, f) = a(1)L
N
(s, f).
En eet, la rgle de multiplicativit pour les nombres premiers distincts p
i
, p
i
[ N implique que
L
N
(s, f) =

p : p|N

=0

f
(p

)p
s

,
et la sommation de toute de ces sries par rapport peuttre eectuer laide de la relation

f
(p)
f
(p

) =
f
(p
+1
) +(p)
f
(p
1
) ( 1).
Lequation II) est implique directement de a(m) =
f
(m)a(1).
Dans Chapitre 4 on considre aussi les facteurs manquants dans le produit eulrien L
N
(s, f) qui
correspondent aux diviseurs premiers de N.
3.3.6. Algbre de Hecke. Interprtation gomtrique des oprateurs de Hecke. Soit f =

a
n
q
n
une forme modulaire (au sens habituelle) de type (k, ) sur
0
(N), et soit p un nombre
premier. On pose
f[T
p
=

a
pn
q
n
+(p)p
k1

a
n
q
pn
, si p [ N,
f[U
p
=

a
pn
q
n
si p[N.
On obtient ainsi une autre forme modulaire de type (k, ) sur
0
(N), qui est paraboliqie, si f est.
Description gomtrique des oprateurs de Hecke. Si f une forme de type (k, ) sur
0
(N) dnie sur
un corps algbriquement clos R de caractristique = p ( valeurs dans les direntielles multiples), on
a
(f[T
p
)(E, ) =
1
p

(f(E, )),
o parcourt les clases disognies : E E

de degr p de source E (deux isognies tant dans

la mme classe si leurs noyaux sont gaux). La notation

:
k
E

k
E
signie le changement de
variable t (t) dans les direntielles multiples. Les T
p
commutent entre eux, et commutent aux
R
d
.
72
La dnition cidessus est quivalente la dnition commode utilis par Katz [Katz, 1.11] : si f
une forme de type (k, ) sur
0
(N) dnie sur un corps algbriquement clos R de caractristique = p,
valeurs scalaires, on pose
(f[T
p
)(E, , ) = p
k1

(f(E, ,

)),
o : (E) E lisognie duale ,

:
k
E

k
E
.
En eet, pour une base de
E
, et une base

de
E
=
E
on a par dnition
f(E, ) = f(E, , )
k
, f(E, ) = f(E, ,

)(

)
k
,
do

(f(E, )) =

(f(E, ,

)(

)
k
) = f(E, ,

)
k
,
avec
f(E, , ), f(E, ) R.
Posons

, alors
f(E, ,

)(

)
k
= p
k
f(E, ,

)
k
car = p, (

)
k
= p
k

k
.
Laction de T
p
sur les dveloppement de Fourier : on vrie que si p est un nombre premier ne
divisant pas N, on a
f[T
p
=

n
a
pn
q
n
+(p)p
k1

n
a
n
q
pn
.
3.4. Produit scalaire de Petersson.
3.4.1. Dnitions diverses du produit scalaire de Petersson. Une base forme par des fonctions
propres des oprateurs de Hecke peut tre construit en utilisant le produit scalaire de Petersson.
Pour une forme modulaire h
k
(N, ) le produit scalaire de Petersson de h avec f o
k
(N, ) est
dnie par la formule
'f, h`
N
=

0
(N)\H
f(z)h(z)y
k2
dxdy,
o z = x+iy, H/
0
(N) est un domain fondamental pour H modulo
0
(N). Alors on a la dcomposition
suivante :

k
(N, ) = o
k
(N, ) c
k
(N, ),
o c
k
(N, ) est appell lespace des sries dEisenstein, une base duquel peuttre explicitement dcrite
et elle est forme par les sries du type ci-dessus ([La2], [He], [Sh]).
Parfois il est plus commode utiliser le produit de Petersson absolu : pour un sousgroupe
(1) = SL(2, Z) de lindice ni, h
k
() le produit scalaire absolu de Petersson de h avec f o
k
()
est dnie par la formule
'f, h` =
1
((1) : )

\H
f(z)h(z)y
k2
dxdy,
donc ce produit ne dpend pas de choix dun groupe (1).
73
Il est commode dcrire
'f, h` =

\H
(f, h),
o (f, h)(= (f, h)(z) dsigne la forme dierentielle
(f, h) = f(z)h(z)y
k2
dxdy,
donc pour tout on a
(f, h)((z)) = (f, h)(z).
3.4.2. Linterprtation laide de la mesure de Haar sur le groupe SL(2, R) [voir De].
3.4.3. Proposition sur les proprits fondamantales du produit scalaire de Petersson.
(i) Soit f
k
((N)) M
2
(Z), det = m. Alors f
k
((Nm)).
(ii) Soit f
k
((N)), h o
k
((N)), M
2
(Z), det = m. Alors pour le produit absolu de
Petersson on a
'f[, h[` = 'f, h[`,
o

= m
1
(iii)
'f[, h` = 'f, h[

`,
o

= m
1
(iv) Si f, g sont invariant, alors le produit 'f[, g` ne dpend que de la classe double de .
Dmonstration. En eet, pour tout = 1 + Nmx (Nm), x M
2
(Z) on a f[ = f[
1
=
f[(1 +Nmx
1
) = f[, car m
1
M
2
(Z) et 1 +Nmx
1
(N), do on obtient (i).
Pour montrer (ii), il sut deectuer lintegration, en faisant le changement de variable z (z),
et en remplacant le domaine fondamental T

de par le domaine fondamental T de

1
. Si
(N) alors
1
(Nm) et dans la dnition du produit scalaire de Petersson on peut
utiliser le domaine fondamental du groupe (Nm).
3.4.4. Normalit des oprateurs de Hecke. On vrie que les oprateurs T
k
(m) sur o
k
(N, )
sont normales par rapport au produit de Petersson pour (m, N) = 1. De plus, les operateurs sont
Hermitiens :
Proposition. Pour tout f, h o
k
(N, ) et (m, N) = 1 on a lidentit suivante :
(m)'f[T
k
(m), h`
N
= 'f, h[T
k
(m)`
N
.
Dmonstration utilise la dnition matricielle des oprateurs de Hecke. Soit

0
(N)
m
(N)
0
(N) =
m
(N),
alors
f[T(m) = m
k
2
1

0
(N)\
m
(N)
(a

)f[.
Par Lemme 3.4.3 (iii)
'f[T(m), h` = m
k
2
1

0
(N)\
m
(N)
(a

)'f, g[

`.
74
Ecrivons =

a
c
b
d

d
0
b
a

=
1

2
=

a
1
c
1
b
1
d
2

a
c
b
d

a
2
c
2
b
2
d
2

,
o
c
1
c
2
0(modN), a a
1
da
2
(modN),
'f, g[

` = 'f, g[
1

2
` = 'f[
1
2
, g[
1
` = (a
1
)(a
2
)'f, g[` = (a/d)'f, g[`.
Alors
'f[T(m), h` = m
k
2
1

0
(N)\
m
(N)
(a

)(a/d)'f, g[` = 'f, h[T(m)`,

ceci entrane la Proposition.
3.4.5. Lemme sur des familles commutatives des oprateurs normaux. Soit A
i

iI
une
famille des oprateurs normaux dans un espace V hrmitien complexe de dimension nie telle que
A
i
A
j
= A
j
A
i
pour tout i, j I. Alors il existe une base orthogonal de V forme par des fonctions
propres de tout les oprateurs A
i
.
Dmonstration est standarde : soit V
()
le sousespace non-nul des vecteurs propres de A
i
0
de la valeur
propre . On peut supposer que A
i
0
nest pas un oprateur scalaire, donc dimV
()
< dimV . Alors
par rccurence on trouve dans dimV
()
un vecteur propre v de tout les oprateurs A
i
, et on considre
le complmentaire orthogonal 'v`

qui est stable pour tout A

i
.
En utilisant de nouveau raisonement par rccurence on montre le lemme.
3.4.6. Lexistence des bases de Hecke. Par un thorme gnral de lalgbre linaire sur les familles
des oprateurs commutant normales on peut choisir une base orthogonale de o
k
(N, ) forme par des
fonctions propres de tous T
k
(m), ((m, N) = 1).
Une base avec cette proprit est appele une base de Hecke. Dans le cas o le nombre m nest
pas divisible que par les diviseurs premiers du niveau N, on peut utiliser loprateur U(m) au lieu de
T
k
(m). Comme on a remarqu plus haut ces oprateurs oprent sur
k
(N, ). Cependent, ils ne sont
plus normal, est ne sont pas en gnral diagonalisables dans o
k
(N, ).
3.5. La transforme de Mellin
dune forme modulaire et son prolongement analytique.
3.5.1. Dnition de la transforme de Mellin. Convergence absolu dans un demiplan
droit Soit
f(z) =

n=0
a(n)e(nz)
k
(N, ).
Alors la srie de Dirichlet
R(s, f) = R
1
(s, f) =

n=1
a(n)n
s
converge absoluement pour Re s 0.
Convergence de ces sries pour Re (s) 0 est entrane des stimes suivantes pout des coecients
de Fourier :
a) Si f
k
(N, ) alors
[a(n)[ = O(n
k1+
), > 0
75
et la srie de Dirichlet converge absoluement pour Re s > k.
b) Si f o
k
(N, ) on a
[a(n)[ = O(n
k1
2
+
), > 0
et les sries L
N
(s, f) et R
N
(s, f) converge absoluement pour Re s >
(k+1)
2
.
Les stimes cidessus utilise quelques proprits nes des coecients de Fourier a(n). Cependent,
lutilisation seulement des proprits analytiques de f(z) (le fait que cette fonction est holomorhe et
quelle satisfaite la condition dautomorphie) permet dobtenir certains stimes plus faibles :-
a)
[a(n)[ = O(n
k
), for f
k
(N, );
b)
[a(n)[ = O(n
k/2
), for f o
k
(N, );
la dernire stime est entran par lstimation [f(z)[ = O(y
k/2
) (y 0, z = x +iy).
Un prolongement analytique de ces sries sur le plan complex entier peuttre construit en utilisant
la transforme de Mellin de f :
(2)
s
(s)R(s, f) =

0
[f(iy) a(0)]y
s1
dy (Re (s) 0).
Cela peut tre tabli par lintgration terme-par-terme de la srie
f(iy) a(0) =

n=1
a(n) exp(2ny)
et en utilisant la reprsentation de la fonction gamma :
(s) =

0
e
y
y
s1
dy (Re (s) > 0).
Lespace vectoriel de toutes les sries de type R(s, f) pour f
k
(N, ) peut tre caractriser par les
proprits analytiques de ces sries. Daprs Andrianov A.N. (1974), on va donner cette caractrisation
dans le cas N = 1.
3.5.2. Thorme A (Prolongement analytique de la transforme de Mellin). Soit f
k
=

k
(SL
2
(Z)). Alors la srie de Dirichlet R(s, f) admet un prolongement mromorphe sur le plan
complex entier, et si lon pose
(s, f) = (2)
s
(s)R(s, f),
alors la fonction
(s, f) +
a(0)
s
+
(1)
k/2
a(0)
k s
est une fonction entier. On a lquation suivante
(k s, f) = (1)
k/2
(s, f).
3.5.3. Thorme B (Caractrisation des formes modulaires par des proprits analytiques
des sries de Dirichlet correspondentes). Toute srie de Dirichlet R(s) =

n=1
a(n)n
s
avec les
coecients a(n) de croissance au plus polynomiale de n, satisfante aux conditions analytiques ci-dessus
doit avoir la forme R(s, f) pour une forme modulaire f
k
=
k
(SL
2
(Z)).
76
3.5.4. Dmonstrations de thormes A et B. Pour dmontrer Thorme A on utilise la trans-
forme de Mellin et on crit
(s, f) =

0
[f(iy) a(0)]y
s1
dy (Re (s) > k + 1).
En remarquant que f(1/z) = z
k
f(z) on voit bien que
(s, f) =

1
[f(iy) a(0)]y
s1
dy
a(0)
s
+

1
0
f(iy)y
s1
dy
=

1
[f(iy) a(0)]y
s1
dy
a(0)
s
+

1
0
f(1/iy)y
s1
dy
=

1
[f(iy) a(0)](y
s1
+i
k
y
ks1
) dy
a(0)
s

i
k
a(0)
k s
.
La fonction f(iy) a(0) tend vers zro exponentiellement si y , donc le dernier intgrale converge
absoluement pour tout s et il reprsent une fonction holomorphe de la variable s. Ceci implique la
premire armation. La substitution s k s dans lintgrale entrane lquation fonctionnelle pour
(s, f) qui est multiplie par i
k
.
Pour dmontrer thorme B il sut utiliser la transformation rciproque de Mellin, et le fait
que le groupe modulaire SL
2
(Z) est engendr par les matrices

1
0
1
1

et

0
1
1
0

. La transformation
rciproque de Mellin est dnie laide de la formule
e
y
=
1
2i

(
0
)
(s)y
s
ds,
o lintgration est tendue sur la droite verticale (
0
) =
0
+ it [ t R,
0
> 0, grce certain
dformation standard du contour (
0
), qui permet de rduire lintgrale la somme des rsidus :
Res
s=n
(s)y
s
=
(1)
n
y
n
n!
(n Z, n 0).
En appliquant cette formule, on ait
f(iy) a(0) =
1
2i

(
0
)
(s, f) y
s
ds,
0
> 0,
et ceci permet de rcuprer la forme f(z) et ces proprits dautomorphie des proprits analytiques
de (s, f) (prolongement analytique, quation fonctionnelle).
Thormes A et B peuventtre tendus sur les formes modulaires de poids enties par rapport aux
sous-groupes de congruence de SL
2
(Z) (avec des complications techniques naturelles).
Dans cette situation le thorme gnralisant Thorme A est appel le thorme direct, et celui
gnralisant Thorme B est appel le thorme inverse. Ce thorme inverse a t etabli par A.Weil
(1967) en termes de sries de Dirichlet tordus

(s, f, ) = (2)
s
(s)

n=1
(n)a(n)n
s
,
o est un caractre de Dirichlet.
3.5.5. Formes primitives. (voir [Miy]). Un supplmentaire important la thorie de Hecke a t
sugger par Atkin et Lehner.
77
Ceci est li une construction dune bonne thorie des oprateurs de Hecke T(p) dans les espaces
des forme modulaires sur
0
(N) pour p premier N aussi bien pour les diviseurs de N.
Considrons un exemple simple. Soit o
12
(
0
(2)) lespace vectoriel de dimension 2 contenant f
2
=
(z) et f
1
= (2z). Ces formes ont le mmes valeurs propres pour T(p), p = 2, mais ils sont lina-
rement independent. On peut alors poser la question suivante : quelle restrictions faut-il imposer sur
f =

n=1
a
n
e(nz) o
k
(N, ) an que les coecients a
n
avec (n, N) = 1 dterminent f complete-
ment ? Si T(p)[f = 0 pour tout p, (p, N) = 1, peut-on dire que f 0 ?
Pour trouver ces conditions on construit dabord lespace des formes vieilles
o
old
k
(
1
(N)) o
k
(
1
(N))
comme la somme des images des oprateurs
V (d) : o
k
(
1
(N/d)) o
k
(
1
(N))
pour tous diviseurs d de niveau N. Posons
o
old
k
(N, ) = o
k
(N, ) o
old
k
(
1
(N)).
Alors lespace des formes nouvelles de niveau exact N est dni comme le complmentaire orthogonal
de lespace des formes vieilles, et on a la dcomposition suivante :
o
k
(N, ) = o
new
k
(N, ) o
old
k
(N, ).
Le resultat principal de la thorie dAtkin Lehner dit que si une fonction
f o
new
k
(N, )
est une fonction propre des oprateurs de Hecke T
k
(m) avec (N, m) = 1, alors f est uniquement
dtermine ( une constante multiplicative prs) par ces valeurs absolues et on peut normaliser f
par la condition a(1) = 1. Une forme primitive du conducteur N est alors dnie comme une forme
nouvelle normalise f o
new
k
(N, ).
Pour telles formes f la condition f[U(q) = a(q)f pour q[N est automatiquement satisfaite.
On a le dveloppement en produit dEuler suivant :
L(s, f) =

n=1
a(n)n
s
=

q|N
(1 a(q)q
s
)
1

p|N
(1 a(p)p
s
+(p)p
k12s
)
1
,
o [a(q)[ = q
(k1)/2
si le caractre ne peut pas tre dni modulo le niveau infrieur N/q, et si est
dni modulo N/q on a a(q)
2
= (q)q
k1
dans le cas o q
2
[ N, et a(q) = 0 sinon (i.e. pour q
2
[N),
voir Li W. (1975).
Soit f(z) =

n=0
a(n)e(nz) o
k
(N, ) une forme primitive de conducteur C
f
, C
f
[N. Si on pose
W(C
f
) =

0
C
f
1
0

, f

(z) = f(z) =

n=0
a(n)e(nz) o
k
(N, ),
alors pour un nombre complex (f) with [(f)[ = 1 on a
f[
k
W(C
f
) = (f)f

.
78
Rfrences
[And] Andrianov, A.N., Euler products attached to Siegel modular forms of degree 2, 29 (1974)
44109 (en russe)
[BBBCO] Batut, C., Belabas, D., Bernardi, H., Cohen, H., Olivier, M. : The PARI/GP
number theory system. http ://pari.math.u-bordeaux.fr
[CaFr] Cassels, J.W.S., Frlich, A. ,eds. Algebraic Number Theory. Proc. Int. Congr. Lond.
Math. Soc., Washington DC : Thompson, 1967.
[Chand70] Chandrasekharan, K. Arithmetical functions. BerlinHeidelbergNew York, Springer
Verlag (1970).
[ De] Deligne P. , Formes modulaires et reprsentaton de GL(2), Modular Functions of One
Variable , Lect. Notes in Math 349 (1973), 55106
[DeSe] Deligne P., Serre J.P. , Formes modulaires de poids 1, Ann. Sci. ENS, 7(1974), 506530
[De-Ra] Deligne P., Rapoport M., Les schmas de courbes elliptiques, Lecture Notes in Math.
349 (1973),SpringerVerlag, p.143316
[Deu] Deuring M., Lectures on algbraic curves, Lecture Notes in Math. 315 (1972)
[Fa-Kra] FarkasKra, Riemann surfaces
[Ge] Gelbart, S., Automorphic forms on adle groups. Ann. Math. Stud., 83 (1975)
[He] Hecke, E., Mathematische Werke, Vandenhoek und Ruprecht, Gttingen, 1970
[He97] Yves Hellegouarch, Invitation aux mathmatiques de Fermat-Wiles. Enseignement des
Mathmatiques. Paris : Masson. vii, 397 p. (1997)
[Hi] Hida H., Elementary theory of Lfunctions and Eisenstein series. London Math. Soc.
Student Texts 26, Cambridge, 1993
[JaLa] Jacquet, H. Langlands, R.P., Automorphic forms on GL(2). Lecture Notes in Math.,
114 (1970)
[Ka] Katz N.M., padic properties of modular schemes and modular forms, Lecture Notes in
Math. 350 (1973),SpringerVerlag, p.69190
[KaMa] Katz N.M. and Mazur B., Arithmetic moduli of elliptic curves, Ann. of Math. Studies,
108, Princeton University Press, 1985
[Ko] Koblitz N, Introduction to elliptic curves and modular forms. New York : Springer Verlag,
1984
[La1] Lang S., Introduction to modular forms. SpringerVerlag, 1983
[La2] Lang S., Elliptic functions, Reading, Mass. : Addison Wesley, 1973.
[Ma-Pa] Yu.I. Manin et A.A.Panchishkin, Introduction to Modern Number Theory, Encyclopae-
dia of Mathematical Sciences, vol. 49 (2nd ed.), Springer-Verlag, 2005, 514 p.
[Miy] Miyake T., Modular forms, Springer Verlag, 1989
[Schoeneberg] Schoeneberg, B., Elliptic modular functions. An introduction (Springer-Verlag, 1974)
[Se63] Serre, J. P., Corps locaux. Paris, Hermann, 1963.
[Se1] Serre J.P., Cours darithmtique, Paris 1970
[Se2] Serre J.P., Groupes algbriques et corps de classes, Paris
[Sh] Shimura Gro, Introduction to arithmetic theory of automorphic functions, Princeton
University Press, 1971
79
[Stein] William Stein, An Explicit Approach to Number Theory ( paratre, voir page
internet : http ://modular.fas.harvard.edu/edu/Fall2001/124/lectures).
[We] Weil, A., ber die Bestimmung Dirichletscher Reihen durch Funktionalgleichungen. Math.
Ann., 168 (1967), 149-156.
80