388

U
Q
I
N

ANNEXE F. INTRODUCTION AU PROGRAMME DE LANGLANDS

H
C
TE

La situation est donc exactement la mme pour un corps de nombres quelconque que
pour Q. La dmonstration du thorme de Hecke repose sur les mmes ides que celles utilises dans lex. VII.6.6 pour dmontrer lexistence dun prolongement mromorphe pour
la fonction zta de Riemann. La prsence dunits dans OF rend toutefois les arguments
un peu plus dlicats.
Le thorme principal de la thorie du corps de classes est alors le suivant.

E
L
O

Y
L
O
P

Thorme F.1.9. Si est une reprsentation de dimension 1 de GF , alors il existe

G
, s) = L(, s).
un caractre de Hecke de F, dordre ni, tel que L(IndGQ
F

Le thorme de Kronecker-Weber est dj un thorme profond, mais sa dmonstration

est grandement facilite par lexistence des racines de lunit qui donne une construction
systmatique des extensions abliennes de Q (ce sont les corps de nombres xs par le
noyau dun caractre linaire de GQ ). Dans le cas dun corps de nombres gnral, on ne
connat pas de tel procd pour construire ces extensions(32) , ce qui explique, en grande
partie, quon ait mis tant de temps dmontrer le thorme ci-dessus (il a dj fallu
beaucoup de temps pour arriver concevoir son nonc). Lhistoire a commenc dans la n
des annes 1880 avec Kronecker et Weber, sest continue avec Hilbert(33) autour de 1900,
et le thorme ci-dessus date de la n des annes 1920, avec des contributions essentielles
de Furtwngler, Takagi, Artin et Hasse(34) . Grce aux eorts de tous ces mathmaticiens et
de ceux des trois dcennies suivantes, on a maintenant une thorie puissante, parfaitement
bien comprise, aux noncs compacts, et qui peut trs bien sutiliser comme une boite
noire. Elle fait rgulirement lobjet de cours fondamentaux de troisime cycle.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

F.2. Le thorme de Kronecker-Weber revisit

Chevalley sest demand sil existait un groupe naturel, construit directement partir
de Q (resp. de F, o F est un corps de nombres), dont les reprsentations de dimension 1
seraient exactement les caractres de Dirichlet (resp. les caractres de Hecke dordre ni
de F) primitifs. Cela la men la construction (1940) du groupe des idles(35) esquisse
ci-dessous. Nous allons aller lenvers de lordre historique (les adles sont ns, de la
main dArtin et Whaples, 5 ans plus tard que les idles (sous le nom fort peu potique de
(32)

N
H
EC

E
U
IQ

Cest un des derniers problmes (le liebster Jugendtraum de Kronecker) noncs par Hilbert en 1900
quon ne sait toujours pas rsoudre.
(33)
Trois des problmes de Hilbert (les 9-ime, 11-ime et 12-ime) sont relis la question.
(34)
Lcole allemande a jou un rle absolument primordial dans le sujet, et tous les articles de lpoque
(y compris ceux du mathmaticien japonais Takagi) sont en allemand.
(35)
Le mot idle vient du mot idal (dans tous les sens du terme...) ; il a donn naissance 20 ans plus
tard au mot adle, et Roubaud a fait dAdle et Idle des jumelles dans La belle Hortense.

E
L
O

T
Y
L
PO

E
U
Q
I

F.2. LE THORME DE KRONECKER-WEBER REVISIT

N
H
EC

389

valuation vectors)), mais ce sont toujours les ides simples qui viennent en dernier(36) . Les
adles sont construits en considrant simultanment tous les complts de Q (resp. dun
corps de nombres F), et Tate a montr dans sa thse (1950), sous la direction dArtin,
comment lanalyse de Fourier sur les adles permet de dmontrer naturellement toutes
les proprits analytiques des fonctions L de Dirichlet (resp. de Hecke) rencontres au
chap. VII (resp. mentionnes au no 5 du F.1).

E
L
O

T
Y
POL

1. Adles

1.1. Le thorme dOstrowski

Si K est un corps, une norme sur K est une application x  |x| de K dans R+ vriant
les trois proprits suivantes :
(i) |x| = 0 x = 0,

(ii) |xy| = |x||y|,

(iii) |x + y|  |x| + |y|.

E
U
IQ

Si K est un corps muni dune norme | |, et x, y sont deux lments de K, on pose

d(x, y) = |xy|. Les proprits (i) et (iii) des normes assurent que d est une distance sur K
et donc dnit une topologie sur K. Deux normes sur un corps K sont dites quivalentes
si elle dnissent la mme topologie. Une norme est dite triviale si elle induit la topologie
discrte sur K (on a alors |x| = 1 quel que soit x = 0).

T
Y
L
PO

N
H
EC

En dehors de la norme usuelle que nous noterons | | , on peut dnir, pour chaque
nombre premier p, une norme p-adique | |p sur Q. Rappelons que celle-ci est dnie
(cf. alina 12.4 du 1) par la formule | ab |p = pvp (a)+vp (b) , si a, b Z {0}, et vp (n) est le
plus grand entier v tel que pv divise n.

E
L
O

Thorme F.2.1. (Ostrowski, 1918) Une norme non triviale sur Q est quivalente
la norme usuelle | | ou la norme p-adique | |p pour un unique nombre premier p.
Dmonstration. Commenons par supposer quil existe k N tel que k > 1. Comme 1 = 1,
lingalit triangulaire implique k  k et il existe ]0, 1] tel que lon ait k = k . Soit m N. On
n
peut crire m en base k sous la forme m = i=0 ai k i avec ai {0, 1, . . . , k 1} et an = 0 de telle sorte
que lon a m  k n . Comme ai   ai  k 1 et k i  = ki , on obtient la majoration
m  (k 1)

n


k i =

i=1

k 1 (n+1)
k (k 1) n
(k
k  Cm ,
1) 
k 1
k 1

k (k1)
k 1
n

E
U
IQ

o C =
est indpendant de m. On peut appliquer cette ingalit mn , ce qui nous donne
mn  Cm et, prenant la racine n-ime de cette galit et passant la limite, lingalit m  m .
En changeant les rles de k et m, on en dduit que cette ingalit est une galit, si m > 1.
Maintenant, si m N {0} est quelconque, il existe n N tel que lon ait k n m > 1. On a alors
m = k n 1 k n m = k n (k n m) = m , ce qui montre que lon a galit quel que soit m N puis,
utilisant la multiplicativit de la norme et le fait que  1 = 1, que x = |x|
quel que soit x Q.
On en dduit que sil existe k N tel que k > 1, alors   est quivalente la norme usuelle.
(36)

E
L
O

T
Y
L
PO

N
H
EC

Comme le dit Weil : Pour franchir toutes ces tapes, un bon tudiant ne met gure plus de jours
prsent quil ny a fallu dannes lpoque...

390

U
Q
I
N

ANNEXE F. INTRODUCTION AU PROGRAMME DE LANGLANDS

H
C
TE

Dans le cas contraire, on a    1 pour tout nombre premier . Comme on a suppos   non triviale,
il existe au moins un nombre premier p tel que p < 1. Si il en existe un autre q, alors quel que soit
n N, on peut, daprs le thorme de Bzout, trouver un , vn Z tels que lon ait un pn + vn q n = 1. On
obtient donc
1 = 1 = un pn + vn q n   un  pn + vn  qn  pn + qn ,

E
L
O

Y
L
O
P

ce qui est impossible pour n assez grand. Il existe donc un et un seul nombre premier p tel que p < 1
et   est quivalente la norme p-adique. Ceci termine la dmonstration.

Le rsultat suivant est une consquence immdiate de lunicit de la dcomposition

dun entier en produit de facteurs premiers, mais est trs important ; cest ce qui justie
la normalisation utilise pour | |p .
Thorme F.2.2. (Formule du produit) Si x Q, alors

|x|
|x|p = 1.
p premier

1.2. Lanneau des adles de Q

N
H
EC

E
U
IQ

On renvoie lalina 12.4 du 1 pour ce qui concerne la construction des nombres

p-adiques et leurs proprits lmentaires.
Soit V = {} P. Les lments de V sont les places de Q. La place est la place
linni et les p P sont les places nies. Si v V , on note Qv le complt de Q
correspondant ; on a donc Q = R.
Daprs le thorme dOstrowski, les complts de Q sont exactement les Qv , pour
v V . Il est donc naturel(37) dessayer de considrer tous ces complts ensemble. On

peut plonger Q diagonalement dans vV Qv , cest--dire en envoyant a Q sur (xv )vV ,
avec xv = a, quel que soit v V . On a alors xp Zp sauf si p divise le dnominateur

de a, ce qui montre que limage de Q est incluse dans le sous-anneau de vV Qv des
x = (x , . . . , xp , . . . ), avec xp Zp pour presque tout p. Cet anneau est lanneau des
adles A de Q ; cest le produit restreint des Qv relativement aux Zp , pour p P. On
note souvent (x , x][ ) un lment x de A, et x][ est la partie nie (i.e. en dehors
de ) de x. Si v V , on peut identier Qv au sous-anneau de A des x dont toutes les
composantes sont nulles sauf la composante en v.
On munit A de la topologie du produit restreint obtenue en prenant comme base dou

verts les vS Uv pS
/ Zp , o S dcrit les parties nies de V contenant , et Uv , pour
v S, dcrit les ouverts de Qv . Les propositions F.2.3 et F.2.4 ci-dessous montrent que
Q est discret dans A, mais nest pas loin dtre dense.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

Proposition F.2.3. (i) Tout lment x de A peut scrire de manire unique sous la
 o Z
=
forme x = + y, avec Q et y [0, 1[Z,
pP Zp .
 et est compact.
(ii) Q est discret dans A et A/Q est isomorphe (R/Z) Z,
(37)

E
L
O

T
Y
L
PO

Cest naturel, mais il sest coul plus de 50 ans entre la construction des nombres p-adiques par
K. Hensel et les constructions qui vont suivre.

E
U
Q
I

391

F.2. LE THORME DE KRONECKER-WEBER REVISIT

N
H
EC

Dmonstration. (i) Commenons par dmontrer quune telle criture, si elle existe, est unique. Si
 alors en particulier, on a 2 1 Zp quel que
1 + y1 = 2 + y2 , avec 1 , 2 Q et y1 , y2 [0, 1[Z,
soit p P, et donc 2 1 Z. Mais alors 1 + y1, = 2 + y2, implique, puisque y1, , y2, [0, 1[,
que 2 = 1 , et donc aussi que y2 = y1 . Do lunicit.
/ S. Comme Z[ p1 ] est
Passons lexistence. Soit S un sous-ensemble ni de P tel que xp Zp , si p
dense dans Qp daprs lalina 12.4.3 du Vocabulaire, il existe, pour tout p S, un lment p de Z[ p1 ]

 et il sut de poser = [x ] + 
p R Z,
p
tel que xp p Zp . Mais alors x = x

E
L
O

T
Y
POL

pS

pS

et y = x [x ] (o [x ] est la partie entire de la composante x en de x ) pour obtenir une

dcomposition de x sous la forme souhaite. Ceci termine la dmonstration du (i).
 de x contient au
Le fait que Q est discret suit de ce que, si x A, le voisinage ouvert x + (] 12 , 12 [Z)
 qui ne contient
plus un lment de Q, vu que la dirence de deux de ses lments est dans ] 1, 1[Z


que 0 comme lment de Q. Lisomorphisme A/Q = (R/Z) Z est une consquence immdiate du (i),
et la compacit de A/Q suit alors du fait quun produit dnombrable de compacts est compact.

Si S = {p1 , . . . , ps } est un sous-ensemble ni de P, on note Z[S1 ] le sous-anneau

Z[ p11 , . . . , p1s ] de Q obtenu en rendant p1 , . . . , ps inversibles.

HN

E
U
IQ

Proposition F.2.4. Si S P est ni, alors Z[S1 ] est dense dans

C
E
T
LY

pS

Qp .

Dmonstration. Comme les pni sont premiers entre eux deux deux, il existe, daprs le thorme des
restes chinois, ai,n Z congru 1 modulo pni , et 0 modulo pnj , pour tout j S {i}. Si maintenant
yi Qpi , on peut trouver xi,n Z[ p1i ] tel que |xi,n yi |  pn
car Z[ p1i ] est dense dans Qpi daprs
i
s
lalina 12.4.3 du Vocabulaire. En posant xn = j=1 aj,n xj,n , cela fournit une suite dlments de Z[S1 ]
vriant

O
P
E
L
CO







aj,n xj,n pi = ai,n (xi,n yi ) + (ai,n 1)yi +
aj,n xj,n pi
|xn yi |pi = ai,n xi,n yi +
j=i



 sup |ai,n |pi |(xi,n yi )|pi , |(ai,n 1)|pi |yi |pi , sup |aj,n |pi |xj,n |pi .

j=i

j=i

Maintenant, on a |xj,n |pi  1, si j = i, et comme |(xi,n yi )|pi , |(ai,n 1)|pi et |aj,n |pi , si j = i, sont

tous  pn
i , on voit que xn tend vers (y1 , . . . , ys ) dans
pS Qp . Ceci permet de conclure.

1.3. Le groupe des idles de Q

Le groupe des idles A de Q est le groupe des lments inversibles de lanneau A ;
cest donc lensemble des (xv )vV , avec xv Qv , et xp Zp pour presque tout p. Autrement dit, A est le produit restreint des Qv relativement aux Zp , pour p P, et on
le munit de la topologie du produit restreint dont une base douverts est constitue des



vS Uv
pS
/ Zp , o S dcrit les parties nies de V contenant , et Uv les ouverts

de Qv , si v S.

T
Y
L
PO

N
H
EC

E
U
IQ

Si Q, on a Zp sauf si p divise le dnominateur ou le numrateur de , ce qui


prouve que llment (, , . . . ) de vV Qv appartient A, et permet didentier Q
un sous-groupe de A. Si v V , on peut identier Qv au sous-groupe de A des x dont
toutes les composantes sont gales 1 sauf la composante en v.

E
L
O

392

U
Q
I
N

ANNEXE F. INTRODUCTION AU PROGRAMME DE LANGLANDS

H
C
TE

Si x = (xv )vV A, on a |xp |p = 1 pour presque tout p, ce qui permet de dnir |x|A

par |x|A = vV |xv |v . Il rsulte de la formule du produit (th. F.2.2) que ||A = 1, quel
que soit Q.

E
L
O

Y
L
O
P

Lemme F.2.5. (i) Tout lment x de A peut scrire de manire unique sous la

 , o Z
 = 
forme x = b b][ , avec Q, b R+ , et b][ Z
pP Zp .
 .
(ii) A/Q
= R+ Z

Dmonstration. On peut et doit poser = sign(x ) pP pvp (xp ) , et alors b = 1 x

vrie les conditions b R+ et b][ pP Zp . On en dduit le (i), et le (ii) en est une
consquence immdiate.

2. La formule de Poisson adlique

2.1. Transforme de Fourier sur Qp

E
U
IQ

Si p P, on note S (Qp ) lespace (de Schwartz) des fonctions valeurs dans C,

localement constantes, support compact dans Qp . Soit S (Qp ). Comme est
support compact (et donc born), il existe m Z tel que (x) = 0 si |x|p > pm ;
autrement dit, il existe m Z tel que (x) = 0 si x
/ pm Zp . Par ailleurs, comme
est localement constante, il existe pour tout x pm Zp , un entier nx N tel que soit
constante sur B(x, pnx ) = x + pnx Zp . Comme pm Zp est compact, on peut extraire un
recouvrement ni du recouvrement de pm Zp par les x + pnx Zp . En notant n le minimum
des nx intervenant dans le sous-recouvrement ni, on voit quil existe n N tel que
soit constante sur x + pn Zp , quel que soit x pm Zp . En notant 1a+pn Zp la fonction
caractristique de a + pn Zp , et en utilisant la densit de Z[ p1 ] dans Qp , on en dduit le
rsultat suivant.

E
L
O

T
Y
L
PO

N
H
EC

Proposition F.2.6. S (Qp ) est le C-espace vectoriel engendr par les 1a+pn Zp , pour
a Z[ p1 ] et n N. De plus, les relations entre les 1a+pn Zp sont engendres par les relations
suivantes :
1a+pn Zp = 1b+pn Zp , si b a + pn Z,

1a+pn Zp = p1
i=0 1a+ipn +pn+1 Zp ,
la seconde traduisant le fait quil y a p possibilits pour le reste de la division par pn+1 , si
on connat le reste de la division par pn .


Si S (Qp ), on dnit Qp (x) dx par linarit, en posant Qp 1a+pn Zp (x) dx = pn ,
quels que soient a Z[ p1 ] et n N, ce qui revient demander que Zp ait mesure 1 et
que lintgration soit invariante par translation (i.e. soit une mesure de Haar). Que ce soit
possible suit du fait que les seules relations entre les 1a+pn Zp sont celles ci-dessus.

T
Y
L
PO

N
H
EC

E
U
IQ

Si x Qp , il existe Z[ p1 ] tel que x Zp (cest une consquence de la densit

de Z[ p1 ] dans Qp ), et est bien dtermin addition prs dun lment de Z[ p1 ] Zp = Z.
On en dduit que e2i ne dpend que de x, et pas du choix de , ce qui nous autorise

E
L
O

E
U
Q
I

F.2. LE THORME DE KRONECKER-WEBER REVISIT

N
H
EC

393

le noter e2i x . Il est alors immdiat que x  e2i x est un caractre linaire de Qp
(e2i(x+y) = e2i x e2i y ), localement constant (constant sur a + Zp , pour tout a Qp ).
On dnit alors la transforme de Fourier = Fp de S (Qp ) par la formule

E
L
O

T
Y
POL

(y)
=

(x)e2i xy dx,

Qp

ce qui a un sens car x  (x)e2i xy a mme support que et est localement constante
comme produit de deux fonctions localement constantes.
Exemple F.2.7. (i) La transforme de Fourier de 1Zp est 1Zp . En eet, si y Zp , on a
e2ixy = 1 quel que soit x Zp , et donc
Qp

1Zp (x)e2i xy dx =

Qp

1Zp (x) dx = 1.

E
U
IQ

Par contre, si vp (y) = n < 0, le caractre linaire x  e2i xy de Zp est non trivial et
constant modulo pn Zp ; on a donc


1Zp (x)e2i xy dx =
e2i ya 1a+pn Zp (x) dx = pn
e2i ya = 0,
Qp

T
Y
L
PO

Qp aZ /pn Z
p
p

N
H
EC

aZp /pn Zp

daprs lorthogonalit des caractres linaires dun groupe ni, puisque a  e2i ya est un
caractre linaire non trivial de Zp /pn Zp
= Z/pn Z.
(ii) Les mmes calculs montrent que, si est constante modulo pn Zp , et support
dans pm Zp , alors est constante modulo pm Zp , et support dans pn Zp .
(iii) Soit : (Z/pn Z) C un caractre de Dirichlet de conducteur pn , avec n  1.
En utilisant lisomorphisme Zp /pn Zp
= Z/pn Z, on peut associer une fonction ,

support dans Zp (et mme dans Zp ), constante modulo pn Zp , en posant (x) = 0

si x pZp , et (x) = (x), si x Zp et x est limage de x modulo pn Zp . Alors la
transforme de Fourier de est donne par la formule

a
G()
(a)e2i pn
(y) = n (pn y), o G() =
p
n

E
L
O

a(Z/p Z)

est la somme de Gauss introduite au n 2 du VII.4. En eet, tant constante modulo pn Zp , la fonction est nulle en dehors de pn Zp , et si vp (y)  n, la formule
vrier est quivalente celle du lemme VII.4.3.

N
H
EC

E
U
IQ

La transforme de Fourier sur Qp vrie les mmes proprits que sur R en ce qui
concerne les dilatations, translations... De manire prcise, on a le rsultat suivant.
Proposition F.2.8. (i) Si a

T
Y
L
PO

Qp

et b, c Qp , alors

1
Fp ((ax))(y) =|a|1
p (a y),

E
L
O

Fp ((x + b))(y) = e2i by (y),

et

+ c).
Fp (e2i cx (x))(y) = (y

394

U
Q
I
N

ANNEXE F. INTRODUCTION AU PROGRAMME DE LANGLANDS

H
C
TE

(ii) (Fp Fp )(x) = (x) (formule dinversion de Fourier).

Y
L
O
P

Dmonstration. Si a Qp et b, c Qp , soit ua,b,c : S (Qp ) S (Qp ) lapplication dnie par

(ua,b,c )(x) = e2i cx (ax+b). Un changement de variable immdiat dans lintgrale dnissant Fp ua,b,c
montre que

E
L
O

2i
Fp ua,b,c = |a|1
p e

bc
a

ua1 ,a1 c,a1 b Fp .

On en dduit le (i). En appliquant le (i) deux fois, on montre que Fp Fp ua,b,c = ua,b,c Fp Fp . Soit
Y le sous-espace de S (Qp ) des tels que Fp Fp = u1,0,0 . Comme ua,b,c u1,0,0 = u1,0,0 ua,b,c ,
on voit que Y est stable par les ua,b,c . Par ailleurs, Y contient 1Zp , et upn ,pn a,0 1Zp = 1a+pn Zp ; on en
dduit que Y contient les 1a+pn Zp pour a Qp et n Z, et donc Y = S (Qp ). Ceci permet de conclure.

2.2. Transforme de Fourier adlique

Soit S (A) lespace de Schwartz de A. Cest lensemble des combinaisons linaires des


fonctions de la forme (x) = vS v (xv ) pS
/ 1Zp (xp ), o S dcrit les parties nies de V
contenant , et v S (Qv ), si v S. Une telle fonction sera aussi note vV v , tant
sous-entendu que p = 1Zp pour presque tout p P.
Comme les 1a+pn Zp engendrent S (Qp ), on voit que S (A) est aussi engendr par des
fonctions de la forme


(x )
1ap +pnp Zp (xp )
1Zp (xp ) = (x )1a+NZb (x][ ),
pS

E
L
O

T
Y
L
PO
pS
/

N
H
EC

E
U
IQ

o N = pS p et a est un lment de Z[S1 ] tel que a ap Zp , quel que soit p S

(lexistence dun tel a est garantie par le lemme F.2.4). De plus, les relations entre ces
gnrateurs sont engendres par les relations (en notant plus simplement 1a+NZb
llment de S (A) apparaissant dans le membre de droite ci-dessus) :
1a+NZb = 1b+NZb , si a b NZ,

1a+NZb = M1
b , si a Q, M, N N {0}.
i=0 1a+iN+NMZ


Si S (A), on dnit A dx par linarit en imposant que A 1a+NZb dx =

1
 soit 1, et que
(x ) dx , ce qui revient demander que la mesure de [0, 1[Z
N R
lintgration
sur
A
soit
invariante
par
translation.
On
remarquera
que
si = vV v ,



alors A dx = vV Qv v (xv ) dxv , et presque tous les termes du produit valent 1.

Si x = (xv )vV A, on dnit e2i x par e2i x = e2i x pP e2i xp , et presque
tous les termes du produit sont gaux 1. Il est immdiat sur la formule que lon a
e2i(x+y) = e2i x e2i y , si x, y A. De plus, on vrie sans peine que e2i(x+) = e2i x , si
Z ou si est de la forme p1n , avec p P et n N. Comme tout lment de Q peut
scrire comme une somme dlments de ce type (dcomposition en lments simples),
on en dduit que x  e2i x est priodique de priode Q.
On dnit
la transforme de Fourier adlique = FA de S (A) par la formule


(x)e2i xy dx. Il est clair que si = vV v , alors FA = vV Fv v , (ce qui

(y)
=
np

E
L
O

T
Y
L
PO

N
H
EC

a un sens puisque, pour presque tout p, on a p = 1Zp et donc Fp p = 1Zp ).

E
U
IQ

E
U
Q
I

395

F.2. LE THORME DE KRONECKER-WEBER REVISIT

N
H
EC

On dduit des formules locales (i.e. sur R et sur Qp ) dinversion de Fourier et des
formules locales pour les dilatations, que

T
Y
POL

1
et FA ((bx))(y) = |b|1
A (b y), si b A .

(FA FA )(y) = (y),

E
L
O

Thorme F.2.9. (Formule de Poisson) Soit S (A). Alors




(i) Q () = Q ().


1
(ii) Plus gnralement, si b A, alors Q (b) = |b|1
A
Q (b ).

Dmonstration. Par linarit, on peut supposer que = 1a+NZ

b , avec a Q, et N N. Dans ce
1
2i ay ][

cas, (y) = N (y )e
1 1 b , et on est ramen prouver lidentit
N

() =

a+NZ

1
N

e2ia (),

N1 Z

E
U
IQ

ce qui suit de la formule de Poisson classique (th. IV.3.18) applique la fonction f : R C, dnie par
ay
y
).
f (x) = (Nx + a), dont la transforme de Fourier est f(y) = N1 e2i N ( N
1 y).
Le (ii) suit de ce que la transforme de Fourier de b dnie par b (x) = (bx) est b (y) = |b|1
A (b

N
H
EC

3. Transforme de Mellin adlique et fonctions L

3.1. Intgration sur

Qp

T
Y
L
PO

Soit L0 (Qp ) lensemble des : Qp C, localement constantes et support compact

dans Qp (autrement dit, L0 (Qp ) est le sous-espace de S (Qp ) des vriant (0) = 0).
Si L0 (Qp ), on dnit Q (x) dx par la formule

E
L
O

Qp

(x) dx =

p
p1

Qp

(x) |x|1
p dx,

ce qui revient demander que la mesure de Zp soit 1 et que lintgration sur Qp soit
invariante par x  bx, si b Qp .
Soit L (Qp ) lensemble des : Qp C, support compact dans Qp , dont la restriction

pn Zp = {x, |x|p = pn } appartient,

 quel que soit n Z, L0 (Qp ), et qui sont

sommables, ce qui signie que nZ pn Z |(x)| d x < +. Si L (Qp ), on dnit
p


(x)
d
x
par
la
formule

Q
p

Qp

(x) dx =


nZ

pn Zp

(x) dx.

3.2. Intgration sur le groupe des idles

N
H
EC

E
U
IQ

linni et telles
Soit
 L (R ) lensemble des : R C dtdcroissance rapide
que R |(t)| d t < +, o lon a pos d t = |t| . La mesure dt est invariante par le
changement de variable t  bt, si b R.

Soit L0 (A) lespace engendr par les fonctions de la forme (x) =
vV v (xv ),
o L (R), p L0 (Qp ) et p = 1Zp pour presque tout p. On notera une fonction

E
L
O

T
Y
L
PO

396

U
Q
I
N

ANNEXE F. INTRODUCTION AU PROGRAMME DE LANGLANDS

H
C
TE

de ce type sous la forme vV v , ce qui sous-entend que p = 1Zp pour presque tout p.
Si L0 (A), on dnit A (x) dx par linarit en imposant que


vV v dx =
v (xv ) dxv ,

E
L
O

Y
L
O
P
A

Qv

vV

o presque tous les termes du produit sont gaux 1. Cela revient demander que la
 soit log a et que dx soit invariante par x
 bx, si b A.
mesure de [1, a[Z

L0 (A),
On note L (A) lespace des fonctions dont la restriction R
 + Z appartient


quel que soit Q , et qui sont sommables, i.e. Q R Zb |(x)| d x < +. Si

+

L (A), on dnit A (x) dx par la formule

(x) dx =
(x) dx.

b
R+ Z

E
U
IQ

Proposition F.2.10. Soit v L (Qv ), pour v V , vriant :

p = 1 sur Zp pour presque tout p,



vV Q |v (xv )| dxv < +.
v


Alors

:
A

C
dnie
par
(x)
=
vV v (xv ) est un lment de L (A ), et





(x) dx = vV Q v (xv ) dxv .
A
v

T
Y
L
PO

N
H
EC

 est le produit de 1R
Dmonstration. Si Q , la restriction de R+ Z
et des 1pvp () Z p ,
sign()
p
et comme vp () = 0 pour presque tout p, et p = 1 sur Zp pour presque tout p, cette restriction est
visiblement lment de L0 (A ).
Le reste se dmontre comme la prop. VII.3.1. Soit P(X) lensemble des nombres premiers  X,
I(X) lensemble des Q , positifs ou ngatifs, dont la dcomposition en facteurs premiers ne fait
intervenir que des lments de P(X) et, si k N, soit I(X, k) lensemble ni des I(X) tels que
k  vp ()  k, si p P(X). En notant Cp (k, k) la couronne {x Qp , pk  |xp |  pk }, on obtient :

|(x)| d x =
|(x)| d x.
Q
Q

Or (x) =

E
L
O

b
R
+Z

I(X,k)


vV

pX

Cp (k,k)

p>X

Z
p

v (xv ), ce qui permet de mettre le membre de droite sous la forme


 

| (x )| d x
|p (xp )| d xp ,
R

pX

Cp (k,k)

Zp ,

pour tout p > X. En faisant tendre k vers +, on en dduit

si X est assez grand pour que p = 1 sur


 

|(x)| d x =
| (x )| d x
|p (xp )| d xp ,
I(X)

b
R
+Z

pX

et en faisant tendre X vers +, on obtient



|(x)| d x =
Q
+

b
R
+Z

Q
v

N
H
EC


|v (xv )| d xv < +,

T
Y
L
PO
vV

Q
p

E
U
IQ

et donc est sommable. En particulier la srie

b (x) d x est absolument convergente,
Q R
+Z
ce qui permet, en reprenant les calculs ci-dessus sans les valeurs absolues, de dmontrer la formule




(x) d x = vV
(x ) d xv , que lon cherchait obtenir.
A
Q v v

E
L
O

E
U
Q
I

397

F.2. LE THORME DE KRONECKER-WEBER REVISIT

3.3. Transforme de Mellin sur Qp

T
Y
POL

N
H
EC

Lemme F.2.11. Si est un caractre linaire continu de Qp , il existe n N {0}

tel que = 1 sur 1 + pn Zp .

E
L
O

Dmonstration. Comme est continu, il existe n > 0 tel que |(x) 1|  1/2, si |x 1|p  pn .
Or B(1, pn ) = 1+pnp Zp , est un sous-groupe dindice ni de Zp (cest limage rciproque de 1 (Z/pn Z)
par la projection naturelle Zp (Zp /pn Zp ) = (Z/pn Z) ). Comme est un morphisme de groupes,
limage de 1 + pn Zp est un sous-groupe de C inclus dans le disque D(1, 1/2) ; on en dduit que cette
image est rduite {1}, ce qui permet de conclure.

On dit que est non rami si = 1 sur Zp . Si est rami, on note n() le plus
petit entier n tel que = 1 sur 1 + pn Zp ; alors pn() est le conducteur de .
Si G est un groupe, un caractre linaire : G C est unitaire si |(g)| = 1, quel
que soit g G. On a alors (g 1 ) = (g), pour tout g G.

E
U
IQ

Proposition F.2.12. Soit : Qp C un caractre linaire unitaire continu.

s

(i) Si S (Qp ), alors x  (x)(x)|x|

p L (Qp ), si Re(s) > 0.

s
Si Re(s) > 0, soit Mp (, , s) = Q (x)|x|p d x la transforme de Mellin de .
p

N
H
EC

1
(ii) Mp (1Zp , , s) = 1(p)p
s , si est non rami, et Mp (1Zp , , s) = 0, si est rami.
(iii) Dans le cas gnral, Mp (, , s) est un polynme en ps et ps si est rami, et
(0)
s
s
, si est non rami.
de la forme 1(p)p
s + R(s), o R(s) est un polynme en p et p

E
L
O

T
Y
L
PO

Dmonstration. On crit sous la forme (0)1Zp + , o L0 (Qp ). Il existe alors n N tel


que soit constant modulo pn Zp , ce qui permet de lcrire sous la forme aI a 1a+pn Zp . On a alors

1n
Z
s
Mp (, , s) = aI a pp1 |a|s1
p , et comme |a|p p , cela montre que Mp (, , s) est un polynme en p
s
et p .

Maintenant, on a pn Z ||x|sp | d x = pnRe(s) . On en dduit que x  1Zp (x)(x)|x|sp est sommable si

Re(s) > 0. De plus, on a

+


Mp (1Zp , , s) =

n=0

=
et le rsultat suit de ce que

+


pn Z
p

(x)|x|sp d x =

n=0

n ns

(p) p

Z
p

n=0
Z
p

+


(x) d x =

Z
p

(pn x)|pn x|sp d x

1
1 (p)ps

Z
p

(x) d x,

(x) d x = 1 si = 1 sur Zp et est nul si nest pas trivial sur Zp ,

E
U
IQ

puisquil se factorise alors travers le groupe ni (Z/pn() Z) , et que la somme des valeurs dun caractre
linaire non trivial dun groupe ni est nulle (orthogonalit des caractres linaires).

3.4. La transforme de Mellin adlique

N
H
EC

Proposition F.2.13. Soit un caractre continu de A, et si v V , soit v la

restriction de Qv . Alors, pour presque tout p P, on a p = 1 sur Zp , et, si x A,

(x) = vV v (xv ).

T
Y
L
PO

 = 
Dmonstration. Comme est continu sur A , il est continu sur Z
pP Zp , et par dnition
de la topologie produit, il existe S P ni et, si p S, np N {0}, tels que |(x) 1|  1/2, si

E
L
O

398

U
Q
I
N

ANNEXE F. INTRODUCTION AU PROGRAMME DE LANGLANDS

H
C
TE





x U = pS (1 + pnp Zp ) pS
/ Zp . Or U est un sous-groupe de Z , et donc son image par est un
sous-groupe de C inclus dans le disque D(1, 1/2) ; on en dduit que cette image est rduite {1}. En
/ S.
particulier, on a p = 1 sur Zp pour tout p

Maintenant, si x A , on a v (xv ) = 1 pour presque tout v, ce qui fait que  (x) = vV v (xv )
est bien dni, et que  est un caractre linaire continu de A . On conclut en remarquant que 
et concident sur le sous-groupe des idles dont presque toutes les composantes sont gales 1, et en
utilisant la densit de ce sous-groupe dans A . (Si U est un ouvert de A , il contient un ouvert de la



forme vS Uv pS
/ Zp , et donc contient des lments dont toutes les composantes en dehors de S
sont gales 1.)

E
L
O

Y
L
O
P

Si L (R), et si est un caractre linaireunitaire continu de R, la transforme

de Mellin M (, , s) de est la fonction s  R (t)(t)|t|s dt, qui est holomorphe
dans le demi-plan Re(s) > 0, comme le montre le th. V.2.20.
Proposition F.2.14. Soit un caractre unitaire continu de A et, si v V , soit
v la restriction de Qv .
(i) Si S (A), alors x  (x)(x)|x|sA L (A), si Re(s) > 1.
(ii) La transforme de Mellin MA (, , s) = A (x)(x)|x|sA dx de est holomorphe
sur le demi-plan Re(s) > 1.

(iii) Si = vV v , et si Re(s) > 1, alors MA (, , s) = vV Mv (v , v , s).

T
Y
L
PO

N
H
EC

E
U
IQ

Dmonstration. Commenons par supposer que = vV v , o v S (Qv ), et p = 1Zp , pour

presque tout p. Soit v = v v |xv |s . Il rsulte de la prop. F.2.12 que, si Re(s) > 0, alors v L (Qv )

1
1
pour presque tout p. Comme le produit des 1pRe(s)
quel que soit v V , et que Q |p | d xp = 1pRe(s)

E
L
O
p

est convergent pour Re(s) > 1, et comme p = 1 sur Zp pour presque tout p, daprs la prop. F.2.13, on est

dans les conditions dapplication de la prop. F.2.10. On en dduit que vV v = (x)(x)|x|sA L (A ),
si Re(s) > 1, et que


v (xv ) d xv =
Mv (v , v , s).
MA (, , s) =

vV

Q
v

vV

Comme chacune des Mv (v , v , s) est holomorphe sur Re(s) > 0, et comme le produit est absolument
convergent sur tout demi-plan Re(s) > c, si c > 1, on en dduit (th. V.2.17) lholomorphie de MA (, , s)
sur le demi-plan Re(s) > 1. Ceci termine la dmonstration dans le cas o est un produit. Les (i) et (ii)
dans le cas gnral sen dduisent par linarit. Ceci permet de conclure.

3.5. Le thorme de Tate

Le thorme de Tate ci-dessous permet de prolonger analytiquement les transformes
de Mellin de fonctions adliques. Sa dmonstration repose sur la formule de Poisson adlique et constitue une vaste gnralisation de la mthode de lex. VII.6.6 pour prolonger
analytiquement la fonction de Riemann.

N
H
EC

E
U
IQ

Soit un caractre unitaire continu de A, et soit v , si v V , la restriction de Qv .

Soit S(), lensemble des p tels que p soit rami. Daprs la prop. F.2.13 ci-dessus, cet

ensemble est ni. On dnit le conducteur D() de par la formule D() = pS() pn(p ) .
Par ailleurs, la restriction de R+ est unitaire continue ; il existe donc t() R
tel que (x) = xit() , si x R+ .

E
L
O

T
Y
L
PO

E
U
Q
I

399

F.2. LE THORME DE KRONECKER-WEBER REVISIT

N
H
EC

Thorme F.2.15. (Tate, 1950) Si S (A), et si : A C est un caractre linaire unitaire continu, trivial sur Q, alors MA (, , s) admet un prolongement
mromorphe C tout entier, holomorphe en dehors de ples simples en s = it() et

s = 1 it(), si D() = 1, de rsidus respectifs (0) et (0),

et vrie lquation
, 1 s).
fonctionnelle MA (, , s) = MA (,

T
Y
POL

E
L
O

Dmonstration. Si Re(s) > 1, on a

MA (, , s) =

(x)(x)|x|sA dx =


Q

b
R+ Z

(x)(x)|x|sA dx

Or dx et (x)|x|sA sont invariants par x  x, ce qui permet de rcrire lexpression

prcdente sous la forme


+
b
Z

(x)(x)|x|sA dx =

 

+
0

b
Z

E
U
IQ


(x) (x)|x|sA dx,

N
H
EC
Q



lchange des signes
et tant justi par la sommabilit de (x)(x)|x|sA sur A.
Maintenant, comme Q = Q {0}, la formule de Poisson adlique (th. F.2.9) permet

dcrire Q (x) sous la forme



1
1
1
1

(0) +
(x) = (0) + |x|1
)
=
(0)|x|

(0)
+
|x|
).
(x
(x
A
A
A
Q

E
L
O

T
Y
L
PO

 1  +
 +

en 0 + 1 , remplacer
On peut alors couper lintgrale 0
Q (x) par lex1
1
1
pression ci-dessus dans 0 , faire le changement de variable x  x dans 0 , et utiliser
lidentit (x1 ) = (x) car est unitaire. Comme

1
1




0
si D() = 1,
dx

|x|uA (x)dx =
xu+it()
p (xp ) dxp =

1
x

b
si D() = 1,

0
0
Z
u+it()
pP Zp
(si p|D(), alors


Zp

p (xp ) dxp = 0), on obtient

+

MA (, , s) =
1

 

1s

(x)(x)|x|sA + (x)(x)|x|
d x,
A

b
Z
Q

N
H
EC

E
U
IQ

(0)
(0)
1sit()
, si D() = 1. On en dduit le
si D() = 1, auquel il faut rajouter s+it()



s
1s

thorme car Q (x)(x)|x| + (x)(x)|x|

est sommable pour toute valeur

de s, et dnit une fonction holomorphe de s sur C tout entier, et la formule (x)

= (x)
par
montre que ce quon obtient ne change pas si on remplace simultanment par ,

E
L
O

et s par 1 s (on a t() = t()).

T
Y
L
PO

400

U
Q
I
N

ANNEXE F. INTRODUCTION AU PROGRAMME DE LANGLANDS

H
C
TE

4. Application aux fonctions L de Dirichlet

Y
L
O
P

Le th. F.2.15 permet de redmontrer lexistence de prolongements analytiques et dquations fonctionnelles pour les fonctions L de Dirichlet. En ce qui concerne les fonctions L de
Dirichlet, le gain nest pas agrant, mais les calculs adliques ne sont pas plus compliqus
pour les fonctions L de Hecke, et dans ce cas, le gain par rapport la mthode originelle
de Hecke devient trs apprciable.

E
L
O

4.1. La fonction zta de Riemann. Le rsultat suivant a dj t dmontr, et la dmonstration propose ci-dessous nest quune traduction adlique de celle de lex. VII.6.6.

Proposition F.2.16. Soit (s) = (s/2)

(s). Alors (s) a un prolongement mro s/2
morphe C, holomorphe en dehors de ples simples en s = 0 et s = 1, de rsidus
respectifs 1 et 1, et vrie lquation fonctionnelle (1 s) = (s).

E
U
IQ

Dmonstration. Soit = v v S (A), avec (t) = et , et p = 1Zp , quel que

soit p Zp . On a v = v , quel que soit v, et donc = . De plus (0) = (0)

= 1.
Il rsulte donc du th. F.2.15 que MA (, 1, s) admet un prolongement mromorphe C,
holomorphe en dehors de ples simples en s = 0 et s = 1, de rsidus respectifs 1 et 1,
et vrie lquation fonctionnelle MA (, 1, 1 s) = MA (, 1, s).

Par ailleurs, on a MA (, 1, s) = vV Mv (v , 1, s), si Re(s) > 1, daprs le (iii) de la
prop. F.2.14. Or Mp (p , 1, s) = 1p1 s , si p P, daprs le (ii) de la prop. F.2.12, et donc

pP Mp (p , 1, s) = (s). Enn,
2

E
L
O

T
Y
L
PO

M ( , 1, s) = M (et , 1, s) =
2

e t ts
2

N
H
EC

dt
=
|t|

e u us/2

du
(s/2)
=
.
u
s/2

On en dduit que (s) = MA (, 1, s), ce qui permet de conclure.

4.2. Fonctions L de caractres de A
Soit un caractre linaire unitaire continu de A, trivial sur Q, dont le conducteur
D() est dirent de 1, et soit v la restriction de Qv , si v V .
Comme est unitaire, on a soit (x ) = |x |it() , soit (x ) = sign(x )|x |it() .
Dans le premier cas, on dit que est pair, dans le second, quil est impair. On pose :


1
si pair,
0 si pair,
c() =
w () =
i si impair,
1 si impair.


T
Y
L
PO

N
H
EC

E
U
IQ

On dnit (, s) par la formule (, s) = v v (, s), avec



w ()
1
si p  D(),
si v = ,
, o wp () =
v (, s) =
n(p )s
n(p )
si p P,
)G(p ) si p | D().
p (p
wp ()p

E
L
O

E
U
Q
I

401

F.2. LE THORME DE KRONECKER-WEBER REVISIT

N
H
EC



s
On a donc (, s) =
v wv () D() . (La somme de Gauss G(p ) est la somme de
Gauss du caractre de Dirichlet de conducteur pn(p ) obtenu en utilisant lisomorphisme
(Zp /pn(p ) Zp )
= (Z/pn(p ) Z).)

1
Enn, on dnit la fonction L de par L(, s) = pD() 1p (p)p
s , si Re(s) > 1.

E
L
O

T
Y
POL

L(, s) admet un prolonProposition F.2.17. La fonction (, s) = ((s+it()+c())/2)

(s+it()+c())/2
gement holomorphe C, et vrie lquation fonctionnelle (, s) = (, s)(, 1 s).

Dmonstration. Soit = v v , on lon a pos

2
2
(t) = e t , si est pair, et (t) = t e t , si est impair,
p = 1Zp , si p  D(),
p = 1Zp p , si p | D().
Nous allons calculer les facteurs Mv (v , v , s) et Mv (v , v , 1 s), pour tout v.
On a = w () . En eet, si est pair, ceci est quivalent au fait que la
2
2
transforme de Fourier de et est ex . Si est impair, ceci quivaut au fait que la
2
2
transforme de Fourier de tet est ixex , ce qui peut se vrier en remarquant que
2
2
2tet est la drive de et et donc sa drive est 2ix fois la transforme de Fourier
2
de et . On en dduit que
M ( , , s) =

T
Y
L
PO

((s + it() + c())/2)

(s+it()+c())/2

E
L
O

N
H
EC

et M ( , , s) = w ()

E
U
IQ

((s + it() + c())/2)

,
(s+it()+c())/2

par un petit calcul analogue celui que lon a fait pour dterminer M (et , 1, s).
Si p  D(), on a p = 1Zp , et donc, daprs le (ii) de la prop. F.2.12, si Re(s) > 0,

Mp (p , p , s) =

1
1 p (p)ps

et Mp (p , p , s) =

1
.
1 p (p)ps

Si p | D(), on Mp (p , p , s) = 1, comme le montre un calcul immdiat. Par ailleurs,

G( )
on a p (x) = pn(pp ) p (pn(p ) x)1pn(p ) Zp (x), daprs le (iii) de lex. F.2.7, et donc
Mp (p , p , 1 s) =
=

G(p )
pn(p )

pn(p ) Zp

p (pn(p ) x)p (x)|x|1s

dx
p

G(p )
p (pn(p ) )pn(p )(1s)
pn(p )

pn(p ) Zp

dx = wp ()pn(p )(s) .

E
U
IQ

On a donc, si Re(s) > 1,

1
((s + it() + c())/2)
MA (, , s) =
Mv (v , v , s) =
= (, s).
(s+it()+c())/2
s

p (p)p
vV

N
H
EC

pD()

T
Y
L
PO


, 1 s) =

De mme, si Re(s) < 0, alors MA (,

vV Mv (v , v , 1 s) est aussi gal

1
((1 s + it() + c())/2) 
n(p )(s)
w
()p
,
w ()
p
(1s+it()+c())/2

1 p (p)p(1s)

E
L
O

p|D()

pD()

402

U
Q
I
N

ANNEXE F. INTRODUCTION AU PROGRAMME DE LANGLANDS

H
C
TE

cest--dire (, s)(, 1 s). Le rsultat suit donc du th. F.2.15, en utilisant le fait que
= 0 car p (0) = p (0) = 0, si p | D().
(0) = (0)

Y
L
O
P

4.3. Caractres de Dirichlet et caractres linaires continus des idles

E
L
O

A un caractre de Dirichlet de conducteur D, on peut associer, grce au lemme F.2.5,

un caractre linaire A de A, continu, dordre ni (et donc unitaire), par la formule
 , et o lon note
A (x) = (D (b][ ))1 , si x = b b][ , o Q, b R+ , b][ Z
 (Z/DZ) la projection naturelle(38) . On remarquera que A est trivial sur Q
D : Z
par construction.

Lemme F.2.18. L(A , s) = L(, s).

Dmonstration. On note p la restriction de A Qp , et il sagit de vrier que si
p  D, alors (p) = p (p). Soit x (resp. y) lidle dont toutes les composantes sont 1
(resp. p1 ) sauf la composante en p qui est gale p (resp. 1). On a alors p (p) = A (x)
par dnition, et comme x = py, on a p (p) = (D (y ][ ))1 . Or y ][ a toutes ses
composantes en les  divisant D gales p1 ; on en dduit que D (y ][ ) = p1 , et donc
que p (p) = (p1 )1 = (p), ce qui permet de conclure.

T
Y
L
PO

N
H
EC

E
U
IQ

On dduit de ce lemme, et de la prop. F.2.17, une dmonstration adlique de lexistence

dun prolongement analytique et dune quation fonctionnelle pour L(, s). Par ailleurs, ce
lemme permet aussi de reformuler le thorme de Kronecker-Weber sous la forme suivante.

E
L
O

Thorme F.2.19. Si est une reprsentation de dimension 1 de GQ , il existe un

caractre linaire unitaire continu () de A = GL1 (A), trivial sur Q = GL1 (Q), tel
que L(, s) = L((), s).

F.3. Le programme de Langlands

Le programme de Langlands consiste remplacer 1 par n dans lnonc du th. F.2.19
ci-dessus. (Cest plus facile dire qu faire...)
1. Reprsentations automorphes
Notons G le groupe GLn , et donc G(A), G(Q), G(R) G(Qp ) et G(Zp ) dsignent respectivement les groupes GLn (A), GLn (Q), GLn (R), GLn (Qp ) et GLn (Zp ). Alors G(A) est
le produit restreint des G(Qv ), pour v V , relativement aux G(Zp ), pour p P ; autrement dit, un lment x de G(A) est de la forme (xv )vV , avec xv G(Qv ), et xp G(Zp )
pour presque tout p. On crit aussi x sous la forme (x , x][ ), o x][ = (xp )pP est
la partie de x en dehors de . Comme dhabitude, G(Qv ) sidentie un sous-groupe
de G(A), si v V .

T
Y
L
PO

N
H
EC

E
U
IQ

On envoie Zp sur 1, si p  D, et Zp sur (Zp /pvp (D) Zp ) = (Z/pvp (D) Z) , si p | D, et on utilise


lisomorphisme (Z/DZ) = p|D (Z/pvp (D) Z) fourni par le thorme des restes chinois.

(38)

E
L
O

E
U
Q
I

F.3. LE PROGRAMME DE LANGLANDS

N
H
EC

403

Soit A0 (G(Q)\G(A)) le C-espace vectoriel des formes automorphes(39) cuspidales

pour G(A), cest--dire des fonctions : G(A) C vriant :
(i) (x) = (x) quels que soient G(Q) et x G(A),

(ii) il existe K dindice ni dans pP G(Zp ) tel que (xh) = (x) quels que soient
x G(A) et h K , et les (xh), pour(40) h On (R), engendrent un espace de dimension
nie,
(iii) il existe un caractre linaire unitaire continu de A, trivial sur Q, tel que
(Az x) = (xAz ) = (z)(x), si Az est la matrice de lhomothtie de rapport z A,
(iv) Si x][ est x, (x , x][ ) est une fonction de classe C des coordonnes de x ,
vecteur propre de tous les oprateurs direntiels commutant laction de G(R).
(v) est dcroissance rapide linni (en un sens que nous ne prciserons pas).

E
L
O

T
Y
POL

On fait agir g G(A) sur les fonctions : G(A) C par translation droite sur la
variable, cest--dire que lon pose g(x) = (xg). Alors A0 (G(Q)\G(A)) nest pas stable
par laction de G(A), mais presque(41) , et nous allons un peu tricher en prtendant quil
lest (cf. note 41 pour un nonc correct), et donc que A0 (G(Q)\G(A)) est une reprsentation de G(A). Alors A0 (G(Q)\G(A)) se dcompose en somme directe de reprsentations
irrductibles (ses composantes irrductibles sont les reprsentations automorphes cuspidales). Le thorme ci-dessous reprsente un travail certain (d, pour n = 2, Jacquet et
Langlands (1969), et pour n  3, Godement et Jacquet (1972)). La dmonstration de
lexistence et du prolongement analytique des fonctions L automorphes a fortement t
inspire par la mthode introduite par Tate pour tudier les fonctions L de Dirichlet et
de Hecke.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

Thorme F.3.1. Soit une reprsentation automorphe cuspidale de degr n. Alors

(39)

Lautomorphie traduit la condition (i) qui est la plus subtile des conditions (i)-(v) ci-dessus, et la
cuspidalit correspond la condition (v).
(40)
Le groupe On (R) est le groupe des isomtries de Rn ; cest un sous-groupe compact de G(R), et il
est maximal pour cette proprit, de la mme manire que G(Zp ) est un sous-groupe compact de G(Qp ),
et est maximal pour cette proprit.
(41)
Il est stable par G(A][ ), par On (R), mais pas par G(R) cause de la condition (iii) imposant
que les (xh), pour h On (R), engendrent un espace de dimension nie. Par contre, il est stable par
laction innitsimale de G(R), cest--dire par les oprateurs direntiels A , pour A Mn (R), avec
+ n An
A (x) = limt0 t1 ((xetA ) (x)), et etA = n=0 t n!
G(R) est lexponentielle de la matrice tA.
Il y a des conditions de compatibilit videntes que doivent satisfaire les actions de On (R) et Mn (R)
car etA On (R) si (et seulement si) A est antisymtrique. Dans ce qui suit, nous commettrons labus
dappeler reprsentation de G(R) (resp. de G(A)) un C-espace vectoriel muni dactions de On (R) et
Mn (R) vriant les relations de compatibilit voques ci-dessus.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

404

U
Q
I
N

ANNEXE F. INTRODUCTION AU PROGRAMME DE LANGLANDS

H
C
TE

(i) admet une factorisation(42) sous la forme = vV v , o v est une reprsentation irrductible (de dimension innie) de G(Qv ).

(ii) admet une fonction L se factorisant sous la forme(43) L(, s) = vV L(v , s),
o L( , s) est un produit de fonctions qui ne dpend que de , et L(p , s) = Ep (p1s ) ,
o Ep (X) est un polynme de degr  n et de degr n pour presque tout p, dont le terme
constant est 1, et qui ne dpend que de p .
(iii) L(, s) admet un prolongement holomorphe tout le plan complexe, et admet une
quation fonctionnelle du type L(, s) = (s)L( , 1 s), o est une autre reprsentation automorphe cuspidale (contragrdiente de ), et (s) est de la forme A Bs , avec
A C et B R+ .

E
L
O

Y
L
O
P

Conjecture F.3.2. (Langlands, 1968) Si est une reprsentation irrductible de dimension n de GQ , il existe une reprsentation automorphe cuspidale de degr n telle que
L(, s) = L((), s).

N
H
EC

E
U
IQ

Au vu du thorme ci-dessus, cette conjecture implique la conjecture dArtin, mais va

en fait bien au-del. Ce nest quun petit bout de ldice dont Langlands conjecture
lexistence.
Nous montrerons comment transformer une forme modulaire primitive ou une forme
de Maass primitive en une reprsentation automorphe cuspidale de GL2 (A) dans le no 2,
ce qui permet de voir les reprsentations automorphes cuspidales comme une vaste gnralisation des formes modulaires (ou de Maass) primitives. Notons quen degr  3, il
ne semble pas forcment y avoir dquivalents des formes modulaires ou de Maass, et le
recours au langage des reprsentations devient dicilement contournable.

E
L
O

T
Y
L
PO

(42)

Le groupe GA est essentiellement un produit. Or on a vu, dans le cas des groupes nis, que si
G = G1 G2 , alors toute reprsentation irrductible de G se factorise sous la forme V1 V2 o Vi est
une reprsentation irrductible de Gi , si i = 1, 2. Il est donc naturel de penser quune reprsentation
irrductible de GA va aussi admettre une factorisation, et cest ce que prtend le (i) du th. F.3.1. Dun
autre ct, il nest pas trs raisonnable de faire le produit tensoriel dune innit despaces vectoriels, et
le produit tensoriel du thorme est un produit tensoriel restreint. (On a dj vu des exemples de cette
notion : S (A) est le produit tensoriel restreint des S (Qv ), pour v V , relativement aux fonctions 1Zp ,
pour p P ; de mme, L0 (A ) est le produit tensoriel restreint de L (R ) et des L0 (Qp ), pour p P,
relativement aux fonctions 1Zp , pour p P.) De manire prcise, pour tout p tel que le polynme Ep
du (ii) du thorme soit de degr n, la reprsentation p possde un vecteur privilgi xp (bien dtermin
multiplication prs par un lment de C , mais cette indtermination est sans importance) qui est xe
par G(Zp ). Alors le produit tensoriel restreint vV v relativement aux vecteurs xp est engendr par
des lments de la forme vV yv , avec yp = xp pour presque tout p. On remarquera que g GA agit

naturellement sur un lment de ce type par la formule g (vV yv = vV (gv yv ), comme dans le
cas du produit tensoriel de reprsentations de deux groupes, le point tant que gp G(Zp ) pour presque
tout p et donc que gp yp = xp , pour presque tout p.
(43)
Ces fonctions L automorphes sont de vastes gnralisations des fonctions L de Dirichlet.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

E
U
Q
I

F.3. LE PROGRAMME DE LANGLANDS

N
H
EC

405

2. Des formes modulaires aux reprsentations automorphes

2.1. Prliminaires

T
Y
POL

a b
 =
Si D N, soit KD le sous-groupe de GL2 (Z)
c d , avec
pP GL2 (Zp ) des h =

c DZ. Si est un caractre de Dirichlet modulo D, on fabrique un caractre linaire
 Z)
 = (Z/DZ).
de KD , en posant (h)

= (d), o lon
a not d limage de d dans (Z/D

On a alors ()

= (d), si = ac db 0 (D).

E
L
O

Proposition F.3.3. (i) Tout lment de GL2 (A) peut scrire sous la forme g ,
avec GL2 (Q), g GL2 (R)+ = {g GL2 (R), det g > 0}, et KD .
(ii) Cette criture est unique multiplication prs de droite par 0 (D) et de
g et gauche par 1 .
Dmonstration. Cf. alina 2.3.
2.2. La forme automorphe associe une forme modulaire

N
H
EC

E
U
IQ

Soit f Sk (D, ). On peut utiliser la dcomposition de GL2 (A) ci-dessus pour attacher
f une fonction f sur GL2 (A), grce la formule,

T
Y
L
PO

 a i + b 
 b 
, si x = g h et g = ac
d .
c i + d

 

Le (ii) de la prop. F.3.3 et le fait que (cz + d)k f az+b
= (d)f (z), si ac db 0 (D),
cz+d
montrent que ceci ne dpend pas de la dcomposition de x choisie. Il nest pas trs dicile
de vrier que f est une forme automorphe cuspidale.
1
f (x) = (h)

1/2 

 (a d b c )
c i + d

E
L
O

On procde de mme avec une forme de Maass f , de caractre et valeur propre

pour 0 (D) en dnissant f par la formule f (x) = (h)
1 f (g ).
Dans les deux cas, on note f le sous-espace de A0 (GL2 (Q)\GL2 (A)) engendr par f
sous laction de GL2 (A). Le thorme ci-dessous peut tre considr comme le point de
dpart du programme de Langlands.
Thorme F.3.4. (i) Si f est primitive, alors f est une reprsentation automorphe
cuspidale de degr 2, et donc admet une factorisation sous la forme f = vV f,v .
(ii) Si f est de niveau D, et si p ne divise pas D, la reprsentation f,p est compltement
dcrite par le facteur dEuler Ep (f, s) en p de la fonction L(f, s), et L(f,p , s) = Ep (f, s).

N
H
EC

E
U
IQ

Pour prciser le (ii), factorisons le facteur dEuler Ep (f, s) sous la forme


Ep (f, s + k1
) = (1 p ps )(1 p ps ) si f est une forme modulaire de poids k,
2
Ep (f, s) = (1 p ps )(1 p ps )

T
Y
L
PO

si f est une forme de Maass.

v (x)

Ceci permet de dnir deux caractres 1 , 2 de Qp par la formule 1 (x) = p p et

v (x)
2 (x) = p p . La reprsentation f,p est alors la reprsentation I(1 , 2 ) obtenue en

E
L
O

406

U
Q
I
N

ANNEXE F. INTRODUCTION AU PROGRAMME DE LANGLANDS

H
C
TE

faisant agir GL2 (Qp ), par translation droite sur la variable, sur lespace des fonctions
localement constantes sur GL2 (Qp ) telles que
 a 1/2
  
a0 db x = 1 (a)2 (d)  (x), si a, d Qp , b Qp , et x GL2 (Qp ).
d
La construction ci-dessus nest pas sans rappeler la construction des reprsentation induites pour les groupes nis (cf. no 2 du C.3) et, si on note B le sous-groupe de Borel de
GL2 (Qp ), (i.e. le sous-groupe des matrices triangulaires suprieures), alors I(1 , 2 ) est
 1/2
 
linduite localement constante G du caractre linaire a0 db  1 (a)2 (d) ad  de B.
La reprsentation f,p , pour p divisant D est plus subtile dcrire. Sa description rentre
dans le cadre de la correspondance de Langlands locale (cf. no 3).

E
L
O

Y
L
O
P

2.3. La dcomposition de GL2 (A)

Lemme F.3.5. Si S est un sous-ensemble ni de P, alors SL2 (Z[S1 ]) est dense dans

pS SL2 (Qp ).

E
U
IQ


Dmonstration. Soit A = (Ap )pS pS SL2 (Qp ). Daprs le lemme B.2.2, on peut crire Ap
 1 0  1 xp  1 0  1 zp 
sous la forme Ap = tp 1 0 1 yp 1 0 1 , avec tp , xp , yp , zp Qp . Comme Z[S1 ] est dense dans





1
] tendant
pS Qp , on peut trouver des suites (tn )nN , (xn )nN , (yn )nN et (zn )nN dlments de Z[S
 1 0  1 x  1 0  1 z 

n
n , alors

respectivement vers tp , xp , yp et tp , pour tout p S. Si on pose An = tn 1 0 1
yn
1
0 1


1
(An )nN est une suite dlments de SL2 (Z[S ]) tendant vers A dans pS SL2 (Qp ). Ceci permet de
conclure.

E
L
O

T
Y
L
PO

N
H
EC

Venons-en la dmonstration de la prop. F.3.3. Soit g GL2 (A). Comme det g A,

on peut crire det g de manire unique sous laforme b,
o b = (b , b][ ), avec Q,


1
1
b R+ et b][ pP Zp . Mais alors h = 0 10 g b 0 10 SL2 (A). Soit S le sousensemble de P constitus des p divisant D et des p tels que hp
/ SL2 (Zp ). Daprs le
lemme F.3.5, on peut trouver 0 SL2 (Z[S1 ]) aussi proche que lon veut de (hp )pS ; en
a b 
particulier, on peut trouver 0 SL2 (Z[S1 ]) tel que 01 hp = cpp dpp SL2 (Zp ) quel
 
que soit p S, et vrie vp (cp )  vp (D), quel que soit p divisant D. Alors = 0 10 0 ,
0 fournissent une dcomposition de g ayant les
g = 01 h b0 10 et = 01 h][ b][
0 1
proprits voulues. Ceci dmontre le (i).
 
Le (ii) suit juste du fait quun lment = ac db dans lintersection de GL2 (Q) et
de GL2 (R)+ KD est coecients dans Z ainsi que son inverse, de dterminant positif, et
vrie vp (c)  vp (D) quel que soit p P. Autrement dit, cest un lment de 0 (D).

N
H
EC

3. Quelques autres aspects du programme de Langlands

E
U
IQ

Le programme de Langlands a plusieurs autres facettes. En particulier, on peut remplacer Q par un corps de nombres F dans tout ce quon a fait ; lanneau des adles de F
tant construit de la mme manire, partir de tous les complts Fv de F.

T
Y
L
PO

La correspondance de Langlands locale. Il sagit dune correspondance entre les reprsentations irrductibles de dimension n de GQp et certaines reprsentations irrductibles

E
L
O

E
U
Q
I

F.3. LE PROGRAMME DE LANGLANDS

N
H
EC

407

(les reprsentations cuspidales) de GLn (Qp ). Cette correspondance a nalement t tablie, en toute gnralit(44) , par M. Harris (Paris 7) et R. Taylor (Harvard) en 1999, et
simplie par G. Henniart (Orsay), toujours en 1999. Ceci fournit une description indirecte
fort utile du groupe GQp .

E
L
O

T
Y
POL

La correspondance de Langlands pour les corps de fonctions. Fixons un nombre premier p. On peut considrer, au lieu de Q et des corps de nombres, les extensions nies
K du corps Fp (X) des fractions rationnelles coecients dans Fp . Lanneau des adles
de K est dni partir des complts de Fp (X) pour les direntes normes que lon peut
mettre sur Fp (X) ; une dirence avec le cas des corps de nombres est que ces complts se
ressemblent beaucoup : ils sont tous de la forme Fq ((T)), corps des fractions de lanneau
des sries formelles coecients dans Fq , o Fq est le corps ni q lments et q est une
puissance de p. Dans ce cadre, la correspondance de Langlands a t tablie par L. Lafforgue (I.H.E.S., Bures sur Yvette) en 1999, ce qui lui a valu la mdaille Fields (2002). La
dmonstration utilise, entre autres, de puissants outils de gomtrie algbrique introduits
par A. Grothendieck dans les annes 60 ; le cas n = 2 avait t tabli par V. Drinfeld
(mdaill Fields en 1990) dans les annes 70, et la dmonstration de L. Laorgue est une
vaste gnralisation de celle de V. Drinfeld.

T
Y
L
PO

N
H
EC

E
U
IQ

La fonctorialit de Langlands. Du ct galoisien, on dispose de tas de constructions

donnant de nouvelles reprsentations partir de reprsentations connues. Par exemple, si
F K sont deux corps de nombres, et si est une reprsentation de GF (resp. de GK ),
on peut considrer la restriction (resp. linduction) de GK (resp. GF ). Toutes ces
constructions devraient avoir des analogues du ct automorphe, mais on est encore bien
loin de comprendre vraiment ce qui se passe.
La correspondance de Langlands gomtrique (qui semble beaucoup intresser larme
amricaine). Elle ne fait pas partie du programme initial de Langlands : cest une extension
(due lcole russe autour de V. Drinfeld et A. Beilinson (maintenant Chicago tous les
deux)) dont la motivation vient de la physique mathmatique en lien avec la thorie des
cordes. Il sagit dune correspondance pour les corps de fonctions o on remplace le corps
ni Fp par le corps C des nombres complexes.

E
L
O

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

(44)
De la mme manire que lon peut considrer un corps de nombres au lieu de Q, on peut considrer
un complt Fv dun corps de nombres au lieu de Qp .

E
L
O

Y
L
O
P

E
L
O

H
C
TE

T
Y
L
PO

E
L
O

U
Q
I
N

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

H
C
TE

E
L
O

U
Q
I
N

YANNEXE G
L
O
P
PROBLMES CORRIGS

G.1. Table des caractres de A5

E
U
IQ

Le but de ce problme est ltablissement de la table des caractres (g. 1) du groupe A5

dordre 60, appel aussi groupe de licosadre.

N
H
EC

On utilisera sans dmonstration les faits suivants :

Si i, j, k (resp. i , j  , k  ) sont des lments distincts de {1, . . . , 5}, il existe g A5 tel que
g(i) = i , g(j) = j  et g(k) = k  (en fait g est unique).
Le groupe A5 a 5 classes(1) de conjugaison :
La classe C1 de llment neutre 1, de cardinal 1.
La classe C3 des 3-cycles (dorde 3), de cardinal 20.
La classe C2,2 des produits de deux transpositions de supports disjoints (dordre 2), de
cardinal 15.
(1)

E
L
O

T
Y
L
PO

Les classes de conjugaison de A5 peuvent se dduire de celles de S5 . On rappelle que si G est un groupe,
si x G, et si Zx est le centralisateur de x (i.e. lensemble des lments de G commutant x), la classe
de conjugaison de x est isomorphe G/Zx par g  gxg 1 ; en particulier elle est de cardinal |G|/|Zx |.
Pour comprendre ce que devient une classe de conjugaison de S5 dans A5 , il sagit donc de comprendre
le lien du centralisateur Zx de x dans S5 avec son centralisateur Zx A5 dans A5 .
Or A5 est le noyau de la signature : S5  {1}. On en dduit que si H est un sous-groupe de S5 , alors
soit H A5 , soit : H {1} est surjective et donc H A5 qui en est le noyau est de cardinal |H|/2.
Soit C Conj(S5 ). Si C A5 = , alors le caractre de S5 prend la valeur 1 sur un lment de C et
donc sur C tout entier ; autrement dit C A5 . Maintenant, si x C, la classe de conjugaison Cx dans
A5 est incluse dans C, et si Zx est son centralisateur dans S5 , il y a deux cas :
1 |S5 |
1
5|
Zx A5 et alors |Cx | = |A
|Zx | = 2 |Zx | = 2 |C|, et C se scinde en deux classes de conjugaison dans A5 ;
Zx contient un lment de signature 1, et alors |Zx A5 | = 12 |Zx |, ce qui implique que Cx est de
|S5 |/2
|S5 |
5|
= |Z
= |Z
= |C|, que Cx = C et que C reste une classe de conjugaison dans A5 .
cardinal |Zx|AA
5|
x |/2
x|
Comme (45) commute (123), la classe des 3-cycles reste une classe de conjugaison dans A5 . De mme,
(12) commute (12)(34) et donc C2,2 est une classe de conjugaison de A5 . Par contre, les 5-cycles sont
au nombre de 24, et comme 24 ne divise pas |A5 | = 60, cela implique que la classe des 5-cycles se scinde
en deux dans A5 . Comme (13524) = (12345) 1 , avec = (2354) et () = 1, on en dduit que t0 et
t20 ne sont pas dans la mme classe de conjugaison dans A5 , et comme les 5-cycles sont tous conjugus
dans S5 , cela permet de montrer que t et t2 ne sont pas dans la mme classe, pour tout 5-cycle t.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

410

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

Deux classes C5 et C5 de cardinal 12 dont la runion est lensemble des 5-cycles (dordre 5).
De plus, si t est un 5-cycle, alors t et t2 ne sont pas dans la mme classe. Pour xer les ides, on
note C5 la classe de t0 = (12345) et C5 celle de t20 = (13524).

E
L
O

Y
L
O
P

1 U V

W 

C1

20

C3

15 C2,2 1

12

C5

1 1

12

C5

1 1

1+ 5
2

1 5
2

1 5
2

1+ 5
2

Fig. 1. Table des caractres de A5

N
H
EC

E
U
IQ

Question 1. (a) Montrer que A5 a 5 reprsentations irrductibles dont au moins une est de
dimension 1.
(b) Montrer que ces reprsentations sont de dimensions respectives 1, 3, 3, 4 et 5.
(c) Quelle est la reprsentation de dimension 1 ? On note U la reprsentation de dimension 4,
V celle de dimension 5, et W, W les deux reprsentations de dimension 3. Quel morceau de la
table peut-on dduire de ce qui prcde ?
Question 2. On note T la matrice 5 5 dnie par la table des caractres de A5 .
(a) Montrer que TT est la matrice diagonale de coecients 60, 3, 4, 5 et 5. (On utilisera la
rem. I.2.34.)
(b) En dduire une majoration de |(g)|, puis que (g) = (1) pour tous Irr(A5 ) {1}
et g = 1.
(c) En dduire que A5 est simple (on rappelle que si G nest pas simple, alors il existe un
morphisme de groupes surjectif f : G H, avec H = {1}, dont le noyau nest pas rduit {1}).

E
L
O

T
Y
L
PO

Question 3. Soit U la reprsentation de permutation de A5 associe laction naturelle de

A5 sur {1, . . . , 5} (i.e. g(ei ) = eg(i) , si g A5 et i {1, . . . , 5}), et soit U lhyperplan de U
dquation x1 + + x5 = 0.
(a) Calculer g x, si x = (x1 , . . . , x5 ) et g A5 , et montrer que U est stable par A5 .
(b) Soit x U. Montrer que le sous-espace Ux de U engendr par les g x, pour g A5 ,
est stable par A5 , et quil contient un vecteur non nul dont 3 des coordonnes sont nulles (on
commencera par montrer quil contient un vecteur non nul dont 2 des coordonnes sont nulles
en considrant les lments de la forme g x x).
(c) En dduire que U est irrductible.
(d) Calculer les caractres de U et U ; retrouver le fait que U est irrductible.

T
Y
L
PO

N
H
EC

E
U
IQ

Question 4. (a) Soit Y une reprsentation de A5 . Montrer que g  det Y (g) est un caractre
de A5 . En dduire que det Y (g) = 1 pour tout g A5 .

E
L
O

E
U
Q
I

G.1. TABLE DES CARACTRES DE A5

N
H
EC

411

(b) Remplir les deux premires lignes des deux dernires colonnes de T. (On considrera une
reprsentation irrductible Y de dimension 3 de A5 , on sintressera aux valeurs propres 1 , 2 , 3
de Y (g), et on utilisera le (b) de la question 2.)
(c) Montrer que C5 et C5 sont stables par g  g 1 . En dduire que, si g est un 5-cyle, les
valeurs propres de Y (g) sont globalement stables par  1 .
(d) Terminer
le remplissage
des deux dernires colonnes de T. (On utilisera les formules

51
51
4
2
.)
cos 5 = 4 , cos 5 =
4
(e) Comment peut-on complter la table des caractres de A5 ?

E
L
O

T
Y
POL

Question 5. Soit Y la reprsentation de permutation associe laction de A5 sur lensemble

10 lments des paires dlments distincts de {1, . . . , 5}. Calculer le caractre Y de Y et les
produits scalaires Y , 1 et Y , U . En dduire une autre manire de calculer V .

Corrig

E
U
IQ

Question 1. (a) Daprs le cor. I.2.15, le nombre de reprsentations irrductibles de A5 est gal au
nombre de ses classes de conjugaison, cest--dire 5. Par ailleurs, tout groupe admet la reprsentation
triviale (de dimension 1) comme reprsentation irrductible.
(b) Daprs la formule de Burnside, si d2 , d3 , d4 et d5 dsignent les dimensions des reprsentations
irrductibles de A5 distinctes de la triviale, on a 1 + d22 + d23 + d24 + d25 = |A5 | = 60. Or 59 scrit dune
seule manire ( permutation prs) comme une somme de 4 carrs, savoir 59 = 52 + 42 + 32 + 32 . (Cela
peut se voir en faisant une recherche systmatique ; on peut aller un peu plus vite en regardant modulo 8,
ce qui permet de montrer que lun des di est 4 (car les autres multiples de 4 sont trop grands) et les
autres di sont impairs.)
(c) La reprsentation de dimension 1 est la reprsentation triviale, et comme (1) est la dimension de la
reprsentation correspondant , on peut remplir la premire ligne et la premire colonne de la table
des caractres.

E
L
O

T
Y
L
PO

N
H
EC

Question 2. (a) Daprs la rem. I.2.34, TT est la matrice diagonale dont le coecient sur la ligne
correspondant la classe C est |G|/|C|. Cest donc la matrice diagonale de coecients 60/1 = 60,
60/20 = 3, 60/15 = 4, 60/12 = 5 et 60/12 = 5.

(b) Le coecient diagonal de TT sur la ligne correspondant la classe C est aussi gal Irr(A5 ) |(C)|2 .
Comme ce coecient est  5 si C = C1 , daprs le (a), cela montre que |(C)| < 3 pour tout Irr(A5 ),
si C = C1 , et comme |(1)|  3, si Irr(A5 ) {1}, cela permet de conclure.
(c) Si A5 ntait pas simple, il existerait un morphisme de groupes surjectif f : A5 H, avec H = {1},
de noyau Ker f = {1}. Comme H = {1}, il existe une reprsentation irrductible V de H, distincte de la
reprsentation triviale (cela dcoule, par exemple, de la formule de Burnside). Mais alors V f est un
morphisme de groupes de A5 dans GL(V), ce qui permet de considrer V comme une reprsentation de
A5 . Les images de v V sous laction de A5 tant les mmes que celles sous laction de H, la reprsentation
V de A5 est irrductible, et on a V (g) = V (1), pour tout g Ker f . Ceci contredit le (b) et permet de
conclure.

N
H
EC

E
U
IQ

Question 3. (a) On a g (x1 e1 + + x5 e5 ) = x1 eg(1) + + x5 eg(5) et donc g (x1 , . . . , x5 ) =

(xg1 (1) , . . . , xg1 (5) ). On en dduit le fait que les coordonnes de g x sont les mmes que celles de
x permutation prs, et donc que les sommes des coordonnes de x et g x sont les mmes. Do la
stabilit de U sous laction de A5 .
(b) La stabilit de Ux par A5 suit de ce que h (g x) = hg x, et donc que le translat dune combinaison
linaire de translats de x est encore une combinaison linaire de translats de x.

E
L
O

T
Y
L
PO

412

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

Soit x = (x1 , . . . , x5 ). Comme x U, il existe i = j tels que xi = xj . Quitte remplacer x par h x,

avec h A5 vriant h(1) = i et h(2) = j, on peut supposer que i = 1 et j = 2. Soit g = (132). Alors
g x = (x2 , x3 , x1 , x4 , x5 ) et y = g x x = (y1 , y2 , y3 , 0, 0), avec y1 = x2 x1 = 0. Comme y Ux , on a
tabli lexistence dun lment non nul y de Ux ayant deux coordonnes nulles.
Comme y Ux , les trois coordonnes non nulles de y ne sont pas toutes gales, et il existe i = j tels
que yi = yj . Comme ci-dessus, on peut supposer i = 1 et j = 2, et y4 = y5 = 0. Soit g  = (12)(45), et soit
w = g  y y. Alors w Ux , et w = (y2 y1 , y1 y2 , 0, 0, 0) est non nul et a 3 coordonnes nulles.
(c) Il sagit de prouver que si x U est non nul, alors le sous-espace Ux de U engendr par les gx est gal
U. Or, Ux contient un vecteur de la forme ei ej , avec i = j, daprs le (b). Comme g(ei ej ) = eg(i) eg(j) ,
et comme pour tout couple i = j  , il existe g A5 tel que g(i) = i et g(j) = j  , on voit que Ux contient
ei ej pour tout couple i = j. Il contient donc en particulier la base ei e1 , pour 2  i  5, de U, ce qui
permet de conclure.
(d) Comme U est une reprsentation de permutation, U (g) est le nombre de points xes de g A5
agissant sur {1, . . . , 5}. On a donc U (C1 ) = 5 ; U (C3 ) = 2, U (C2,2 ) = 1, et U (C5 ) = U (C5 ) = 0.
La reprsentation U est la somme directe de U et de la droite engendre par e1 + + e5 sur laquelle
A5 agit trivialement. On a donc U (g) = U (g) + 1 (g), do U (g) = U (g) 1, pour tout g A5 . En
reportant les valeurs de U , cela nous fournit la seconde colonne de la table des caractres.
1
1
(42 + 20 12 + 15 02 + 12 (1)2 + 12 (1)2 ) = 60
(16 + 20 + 12 + 12) = 1, ce
Enn, U , U  = 60
qui prouve que U est irrductible (cor. I.2.20).

E
L
O

Y
L
O
P

T
Y
L
PO

N
H
EC

E
U
IQ

Question 4. (a) Lapplication g  det Y (g) est un morphisme de groupes de G dans C comme
compose des morphismes g  Y et u  det u ; cest donc un caractre linaire de A5 . Or un caractre
linaire dnit une reprsentation de dimension 1 qui est irrductible par la force des choses. Comme A5
a une seule reprsentation irrductible de dimension 1, savoir la reprsentation triviale, cela permet de
conclure.
(b) Si g est un 3-cycle, alors Y (g)3 = Y (g 3 ) = 1, et 1 , 2 , 3 sont des racines 3-imes de lunit dont
le produit est gal 1 daprs le (a), et qui ne sont pas toutes les trois gales 1, daprs le (b) de la
question 2. On a donc {1 , 2 , 3 } = {1, e2i/3 , e2i/3 }, et donc Y (g) = 1 + 2 + 3 = 0, ce qui remplit
la deuxime ligne des deux dernires colonnes de T.
Si g est dordre 2, alors 1 , 2 , 3 valent 1, et ne sont pas toutes gales 1, et leur produit vaut 1.
Il y en a donc deux qui valent 1 et une qui vaut 1. On en dduit que Y (g) = 1 + 2 + 3 = 1, ce
qui remplit la troisime ligne des deux dernires colonnes de T.
(c) g  g 2 change C5 et C5 , et donc g  g 4 laisse stable C5 et C5 . Or g 4 = g 1 , si g est un 5-cycle
puisque g 5 = 1.
On en dduit que, si g est un 5-cycle, alors g et g 1 sont dans la mme classe de conjugaison, et donc
quil existe h A5 tel que g 1 = hgh1 . Ceci implique que Y (g)1 = Y (g 1 ) = Y (h)Y (g)Y (h)1 , et
donc que Y (g)1 et Y (g) ont les mmes valeurs propres comptes avec multiplicit. Comme les valeurs
propres de Y (g)1 sont les inverses de celles de Y (g), cela permet de conclure.
(d) Si g C5 , les valeurs propres 1 , 2 , 3 de Y (g) sont des racines 5-imes de lunit, qui ne sont pas
toutes gales 1, et lensemble est stable par  1 daprs le (d). Il ny a donc que deux possibilits :
{1 , 2 , 3 } = {1, e2i/5 , e2i/5 } ou {1 , 2, 3 } = {1, e4i/5 , e4i/5 }. Dans le premier cas, on aurait
Y (g) = 1+2 5 et dans le second Y (g) = 12 5 . De plus, g 2 C5 et les valeurs propres de Y (g 2 ) sont les

carrs des valeurs propres de Y (g). Il sen suit que, si Y (C5 ) = 1+2 5 , alors Y (C5 ) = 12 5 , et que si

Y (C5 ) = 12 5 , alors Y (C5 ) = 1+2 5 . Comme A5 a deux reprsentations irrductibles de dimension 3,

et comme le caractre dtermine la reprsentation (cor. I.2.18), cela implique que les deux possibilits
apparaissent. Ceci permet de conclure.

E
L
O

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

E
U
Q
I

G.1. TABLE DES CARACTRES DE A5

N
H
EC

413

(e) Il sut dutiliser la dcomposition de la rgulire (cor. I.2.22), qui nous fournit, pour g = 1, la formule
1 + 4U (g) + 5V (g) + 3W (g) + 3W (g) = 0, et comme on connait tous les termes sauf V (g), cela
permet de conclure.
Question 5. Comme Y est une reprsentation de permutation, Y (g) est le nombre de points xes de
g A5 agissant sur lensemble des paires dlments distincts de {1, . . . , 5}. Comme il y a 10 telles paires,
on a Y (C1 ) = 10. La seule paire xe par (123) est {4, 5}, et donc Y (C3 ) = 1. Il y a deux paires xes
par (12)(34), savoir {1, 2} et {3, 4}, et donc Y (C2,2 ) = 2. Finalement, aucune paire nest xe par un
5-cycle et donc Y (C5 ) = Y (C5 ) = 0. Maintenant,
1
1
(10 + 20 + 30) = 1
Y , 1 = (10 + 20 1 + 15 2 + 12 0 + 12 0) =
60
60
1
1
(40 + 20) = 1
Y , U  = (40 + 20 1 + 15 0 + 12 0 + 12 0) =
60
60
On en dduit le fait que Y se dcompose sous la forme 1 U Y , o Y est de dimension 5 et ne contient
pas de composante irrductible isomorphe 1 ou U. Comme les reprsentations irrductibles restantes
sont de dimensions 5, 3 et 3, on voit que Y est irrductible, isomorphe V, et donc V = Y U 1 .

E
L
O

T
Y
POL

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

Fig. 2. Licosadre
Remarque : On peut construire gomtriquement la reprsentation W en partant dun icosadre (polydre rgulier 12 sommets, de chacun desquels partent 5 artes, et dont les faces, au nombre de 20, sont
des triangles quilatraux). Rciproquement, un travail non ngligeable permet de construire lintrieur
de W un sous-R-espace vectoriel W0 de dimension 3, stable par A5 (et tel que W = W0 iW0 ). En
prenant un produit scalaire hermitien sur W invariant sous A5 (cf. th. I.2.5), cela munit W0 dun produit
scalaire pour lequel A5 agit par des isomtries (et mme par des rotations daprs le (a) de la question 4).
En particulier, t0 = (12345) agit par une rotation dangle 2
5 , et si f est un vecteur unitaire de laxe de
cette rotation, alors le stabilisateur de f est le groupe engendr par t0 qui est dordre 5, ce qui fait que
f a 60/5 = 12 translats sous laction de A5 . On peut montrer que ces translats sont les sommets dun
icosadre.
De mme, si f est un vecteur unitaire de laxe de la rotation dangle 2
3 dnie par laction de (123),
alors f a 60/3 = 20 translats sous laction de A5 . On peut montrer que ces translats sont les sommets

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

414

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

dun dodcadre (polydre rgulier 20 sommets, de chacun desquels partent 3 artes, et dont les faces,
au nombre de 12, sont des pentagones rguliers).

E
L
O

Y
L
O
P

T
Y
L
PO

N
H
EC

E
U
IQ

Fig. 3. Le dodcadre

E
L
O

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

E
U
Q
I

G.2. REPRSENTATIONS DE GL2 (F3 )

G.2. Reprsentations de GL2 (F3 )

T
Y
POL

N
H
EC

415

Le but de ce devoir est la construction de la table des caractres du groupe G = GL2 (F3 ), o
F3 = Z/3Z est le corps 3 lments (nots gnralement 0, 1 et 1) par dvissages(2) successifs
du groupe G. Une autre approche est propose dans lannexe C du poly.
Le groupe G est un groupe de cardinal(3) 48 qui agit sur le F3 espace vectoriel F3 F3 , et
comme il agit linairement, il transforme une droite vectorielle en droite vectorielle ; il agit donc
sur lensemble P1 (F3 ) de ces droites qui a 4 lments : les droites 1 , 2 , 3 , 4 engendres
respectivement par e1 , e2 , e1 + e2 , e1 e2 , o e1 , e2 dsigne la base canonique de F3 F3 sur F3 .
On en dduit un morphisme : G S4 , dni par g i = (g)(i) , pour tout i {1, 2, 3, 4}.

E
L
O

1
(1, 2)

(1, 2)

1 1

(1, 2, 3) 1

0
1

1 1

(1, 2)(3, 4) 1

N
H
EC

(1, 2, 3)

T
Y
L
PO

(1, 2, 3, 4)

1 1

E
U
IQ
1 1
0

Fig. 4. Table des caractres de S3 et S4

E
L
O

Nous allons utiliser(4) ce morphisme pour construire la table de G partir de celle de S4 , que
nous admettrons(5) .
(2)

Le dmarrage de la dmonstration de Wiles du thorme de Fermat repose sur les deux petits miracles
que constituent lexistence de ces dvissages et celle de la reprsentation V de G, construite dans le
problme, qui est un relvement en caractristique 0 de la reprsentation naturelle de G modulo 3 : elle
est de dimension 2, et la rduction modulo 3 de la trace de V (g) est la trace de g.
(3)
Lapplication qui associe g G ses deux vecteurs colonnes est une bijection de G sur lensemble des
bases de F3 F3 sur F3 . Comme une base est constitue dun premier vecteur non nul et dun second
nappartenant pas la droite engendre par le premier, on a |G| = (9 1)(9 3) = 48.
(4)
Si : H H est un morphisme de groupes surjectif, de noyau N, une reprsentation de H est la mme
chose quune reprsentation de h sur laquelle N agit trivialement (en eet, si V est une reprsentation de
H , alors V est une reprsentation de H en dnissant h v, pour h H et v V, par h v = (h) v,
et on a h v = v, pour tout v V, si h N (i.e. N agit trivialement) ; rciproquement, si V est une
reprsentation de H sur laquelle N agit trivialement, alors V est une reprsentation de H , en dnissant
v, o h
H vrie (h)
= h (ceci ne dpend pas du choix
h v, pour h H et v V, par v  h
 = h
n, et donc
car N agit trivialement, et (h)
= (h
 ) implique lexistence de n N tel que h
de h


h v = h (n v) = h v)). De plus, V est irrductible comme reprsentation de H si et seulement si elle

lest comme reprsentation de H , ce qui fournit une injection  de Irr(H ) dans Irr(H).
(5)
La mthode utilise permettrait de construire la table de S4 partir de celle de S3 vue en petites
classes : on peut faire agir S4 sur la classe de conjugaison de (1, 2)(3, 4) qui a 3 lments, ce qui nous
fournit un morphisme surjectif de groupes S4 S3 , et permet dobtenir les trois premires colonnes de
la table de S4 . On peut, comme au (i) de la question 3, montrer quil manque 2 reprsentations qui sont

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

416

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

Si g =

a b
c d

H
C
TE

 b 
G, on note g llment a
c d de G. On dnit les lments suivants de G :
1 0
0 1
 0 1
1 1
0 1
I = 0 1 , S = 1 0 , D = 1
0 , T= 01 , C= 11 .

Y
L
O
P

Question 1. (i) Soit K un corps et soit g GL2 (K) qui nest pas une homothtie
(a) Montrer quil existe v K2 tel que v et g(v) forment une base de K2 sur K.
 0 det(g) 
(b) En dduire que la classe de conjugaison de g dans GL2 (K) est celle de 1 Tr(g) .
(ii) Justier la liste des classes de conjugaison de la table de G ci-dessous (les lments de
Irr(G) sont indexs par des reprsentations au lieu de leurs caractres).

E
L
O

V1

V2

V

1 1

1 1

T 1

PO

1 1

C 1 1

E
L
O

N
H
EC

LY T

E
U
IQ

i 2 i 2

i 2 i 2

Fig. 5. Table des caractres de GL2 (F3 )

Question 2. (i) Montrer que le noyau de : G S4 est {I}, et que est surjectif.
(ii) Dterminer (g), pour g {I, I, S, D, T, T, C, C}.
(iii) Construire, partir des reprsentations de S4 , cinq des reprsentations irrductibles de
G. Quelles colonnes de la table cela permet-il de remplir ?
Question 3. (i) Calculer le nombre et les dimensions des reprsentations irrductibles manquantes.
(ii) Montrer que, si V est une reprsentation de G, alors V+ = {v V, (I) v = v} et

V = {v V, (I) v = v} sont des sous-reprsentations de V, et que V = V+ V . En

dduire que I agit par 1 sur les reprsentations manquantes.
(iii) Expliquer comment en dduire les 4 premires lignes des 3 colonnes manquantes (on
sintressera au lien entre V (g) et V (g)).

N
H
EC

E
U
IQ

Question 4. Soit X une des reprsentations

de dimension 2 manquantes.

(i) Montrer que X (C) = i 2 (considrer les valeurs propres de u, u3 et u4 , o u = X (C)).

T
Y
L
PO

toutes les deux de dimension 3. Celle V1 correspondant 1 est obtenue en retirant la reprsentation
triviale la reprsentation de permutation associe laction de S4 sur {1, 2, 3, 4} (cf. ex. 1.9) ; lautre
est obtenue en tordant V1 par le caractre linaire qui nest autre que la signature.

E
L
O

E
U
Q
I

G.2. REPRSENTATIONS DE GL2 (F3 )

N
H
EC

417

(ii) En dduire le lien entre les deux reprsentations de dimension 2 manquantes,

et montrer

que lune des deux (que lon note V ; lautre est note V ) vrie V (C) = i 2.
(iii) Montrer que H = {g G, V (g) = 2} est un sous-groupe distingu de G ; en dduire que
V (T) = 2 (on pourra considrer STS1 T), puis que V (T) = 1.
(iv) Expliquer comment complter la table de G.

E
L
O

T
Y
POL

Question 5. Calculer le caractre de la reprsentation de permutation Y associe laction de

G sur F3 F3 et la multiplicit des reprsentations irrductibles dans la dcomposition de Y.
Question 6. Soit B G le sous-groupe des matrices
triangulaires suprieures

  et soit
= 1 si d = 1 et a0 db
= 1, si
: B {1} le caractre linaire dni par a0 db
d = 1.
(i) Calculer |B|.

(ii) Soit W = IndG
B . Montrer que W = W (calculer W (I) et le signe de W (T)).

E
U
IQ

Question 7. Calculer la multiplicit des reprsentations irrductibles dans la dcomposition de

Z = W W W.

Corrig

T
Y
L
PO

N
H
EC

Question 1. (i) (a) Si v = 0 et si (v, g(v)) nest pas une base de K2 , cest que g(v) est un multiple de v.
Soit e1 , e2 la base canonique de K2 . Si g(e1 ) = 1 e1 et g(e2 ) = 2 e2 , et si g nest pas une homothtie,
on a 2 = 1 , et alors g(e1 + e2 ) nest pas un multiple de e1 + e2 ; on en dduit quau moins un des trois
vecteurs e1 , e2 , e1 + e2 est tel que v et g(v) forment une base de K2 sur K.
(i) (b) Comme g nest pas une homothtie, il existe v K2 tel que (v, g(v)) soit une base de K2 . La
 
matrice de g dans cette base est alors 01 ab , dont la trace est b et donc b = Tr(g), et le dterminant
 0 det(g) 
est a et donc a = det(g). On a alors g = P 1 Tr(g) P1 , o P est la matrice dont les colonnes sont
v et g(v), ce qui permet de conclure.
(ii) Les homothties commutent tout et donc leur classe de conjugaison na quun lment. Comme
il y a exactement deux homothties dans G, savoir I et I, cela nous fournit dj deux classes de
conjugaison.
Les autres classes sont, daprs le (ii), en bijection avec les valeurs possibles du couple (det(g), Tr(g)).
Or det(g) peut prendre 2 valeurs ( savoir 1 et 1) puisque F3 a deux lments et quun lment de G a
un dterminant non nul, et Tr(g) peut prendre 3 valeurs. Ce qui nous fournit 6 classes, et on vrie que
les images de S, D, T, T, C et C par g  (det(g), Tr(g)) sont respectivement (1, 0), (1, 0), (1, 1),
(1, 1), (1, 1) et (1, 1), et donc que lon a bien un reprsentant de chaque classe de conjugaison.

E
L
O

E
U
IQ

Question 2. (i) g est dans le noyau de si et seulement si toute droite vectorielle est invariante par g,
et donc si et seulement si g(v) est colinaire v, pour tout v non nul. Daprs le (i) de la question 1, cela
implique que g est une homothtie. On en dduit que le noyau de est {I}. Comme le noyau de est
de cardinal 2, son image est de cardinal 12 |G| = 24 = |S4 |, ce qui prouve que est surjectif.
(ii) On remarque que (g) = (g) puisque I est dans le noyau de , et on trouve :
(I) = (I) = id,
(S) = (1, 2),
(D) = (1, 2)(3, 4),
(T) = (T) = (2, 3, 4),
(C) = (C) = (1, 2, 3, 4).

E
L
O

T
Y
L
PO

N
H
EC

418

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

(iii) Comme : G S4 est un morphisme de groupes surjectif, lapplication  induit une

injection de lensemble des caractres irrductibles de S4 dans celui des caractres irrductibles de G, ce
qui permet, en utilisant la table des caractres de S4 et le (ii), de remplir les 5 premires colonnes de la
table de G.

E
L
O

Y
L
O
P

Question 3. (i) Comme il y a autant de reprsentations irrductibles que de classes de conjugaison

(cor. I.2.13), il manque 8 5 = 3 reprsentations. Si on note d1 , d2 , d3 leurs dimensions, la formule de
Burnside (cor. I.2.20) implique que d21 + d22 + d23 + 12 + 12 + 22 + 32 + 32 = 48, et donc d21 + d22 + d23 = 24.
Cette quation na quune seule solution ( permutation prs), savoir d1 = 4, d2 = 2 et d3 = 2.
(ii) Comme (I)2 = I, on a V (I)2 = 1, ce qui montre que V (I) est une symtrie, et donc que
V est la somme directe des espaces propres V+ et V de V (I) pour les valeurs propres 1 et 1. Par
ailleurs, comme I commute tout lment de G, on a (I) (g v) = g ((I) v) = (g v), si v est
vecteur propre de V (I) pour la valeur propre ; il en rsulte que V+ et V sont stables pour laction
de G et donc sont des sous-reprsentations de V.
Maintenant, si V est irrductible, on a V = V+ ou V = V , mais si V = V+ , le noyau de agit
trivialement sur V, ce qui fait que V est une reprsentation irrductible de S4 ; elle ne fait donc pas partie
des reprsentations manquantes, ce qui prouve que I agit par 1 sur les reprsentations manquantes.
(iii) La premire ligne est constitue des dimensions des reprsentations, do les 4, 2, 2. Maintenant,
on a V (g) = V (I)V (g) = V (g), et donc V (g) = V (g). On en dduit la seconde ligne et
la nullit de V (S) et V (D) car les classes de conjugaison de S et D sont invariantes par g  g car
Tr(g) = Tr(g) et det(g) = det(g).

T
Y
L
PO

N
H
EC

E
U
IQ



1
0
et C4 = 1
Question 4. (i) On a C3 = 1
0
0 1 . Notons , les valeurs propres de u. Comme
4
4
4
4
C = I, on a u = 1 et donc = = 1. Maintenant, C3 est dans la classe de conjugaison
de C puisque Tr(C3 ) = 1 = Tr(C) et det(C3 ) = 1 = det(C). Si g G est tel que C3 = gCg 1 , et
si h = X (g), on a u3 = huh1 , et donc u3 et u ont les mmes valeurs propres. Comme ces valeurs
propres sont des racines 4-ime de 1, on a
{, } = {ei/4 , e3i/4 } ou {, } = {ei/4 , e3i/4 }, et
donc C (X) = Tr(u) = (ei/4 + e3i/4 ) = i 2.
(ii) La reprsentation X est une reprsentation de dimension 2 de G, qui est irrductible puisque
X lest, et distincte de X puisque X (C) = (C)X (C) = X (C) et X (C) = 0. Comme par ailleurs
(I) = 1, cela implique que I agit par 1 sur X , et donc
que
la seconde reprsentation manquante
de dimension 2 est X . Comme {X (C), X (C)} = {i 2, i 2}, cela permet de conclure.
(iii) Si g G, alors V (g) est la somme de deux racines de lunit, puisque cest la somme des valeurs
propres de V (g). On a donc V (g) = 2 si et seulement si ces deux valeurs propres sont gales 1, et
donc si et seulement si V (g) = 1 puisque V (g) est diagonalisable (rem. I.1.7). Autrement dit H est le
noyau de V ; cest donc un sous-groupe distingu de G.
 1 
, qui est dans la classe de conjugaison de D, ce qui
Si T H, il en est de mme de STS1 T = 11 1
conduit une contradiction puisque V (D) = 0 ; on a donc V (T) = 2.
Par ailleurs, T3 = 1, et donc les valeurs propres de v = V (T) sont des racines 3-imes de lunit. De


est dans la classe de conjugaison de T et donc v 2 a les mmes valeurs propres que v, et
plus, T2 = 10 1
1
comme au moins une de ces valeurs propres est dirente de 1, ces valeurs propres sont e2i/3 et e2i/3 ,
et donc V (T) = Tr(v) = e2i/3 + e2i/3 = 1.
(iv) On complte la septime colonne en utilisant la relation V (g) = V (g), et la huitime en
utilisant la relation V (g) = (g)V (g). Enn, pour complter la sixime, on peut soit utiliser la dcomposition de la rgulire (cor. I.2.20), soit lorthogonalit des lignes de la table des caractres (rem. I.2.32),
ce qui, dans le cas prsent, revient au mme, car on est forc dutiliser la premire ligne au signe prs.


E
L
O


1

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

E
U
Q
I

G.2. REPRSENTATIONS DE GL2 (F3 )

N
H
EC

419

Question 5. Comme Y est une reprsentation de permutation, Y (g) est le nombre de points xes de g,
cest--dire 3d(g) , o d(g) est la dimension de lespace propre associ la valeur propre 1. Or 1 est valeur
propre si et seulement si X2 Tr(g)X + det(g) est gal (X 1)2 ou (X 1)(X + 1), et d(g) est alors
gal 1, sauf si g = I ; on obtient donc :

E
L
O

T
Y
POL

Y (I) = 9, Y (I) = 1, Y (S) = 3, Y (D) = 1, Y (T) = 3, Y (T) = 1, Y (C) = 1, Y (C) = 1.

2 1 V1 W. Il y a des tas de manires darriver
En comparant les caractres, on en dduit que Y =
ce rsultat, sil ne saute pas aux yeux.
On peut remarquer que laction de G sur F3 F3 a deux orbites, savoir (0, 0) et le reste, et donc
que Y contient deux copies de la reprsentation triviale, savoir la droite engendr par e(0,0) et celle

engendre par (x,y)=(0,0) e(x,y) , ce qui permet de dcomposer Y sous la forme Y
= 2 1 Y . Comme

Y (I) = 7 et Y (I) = 1, et comme Y (C) = Y (C), on en dduit que Y peut se dcomposer soit
sous la forme W Y soit sous la forme V V Y , o Y est une reprsentation de dimension 3 sur
laquelle I agit trivialement. On a alors Y (C) = 1 et Y (S) = 1, et la seule possibilit qui reste est
Y = V1 . On limine alors la possibilit Y
= V V Y en regardant Y (T).
Une mthode un peu plus conceptuelle consiste dcomposer Y sous la forme Y+ Y , o Y+ et Y
sont les sous-espaces propres de Y (I) pour les valeurs propres 1 et 1. Lespace Y+ est engendr par
les ex + (I) ex , pour x F3 F3 , et il se dcompose comme la somme directe des deux reprsentations

constitues de la droite Y0 engendr par e(0,0) et lespace Y1 engendr par les fi , o fi = xi ex . La
reprsentation Y0 est la reprsentation triviale, la reprsentation Y1 est la reprsentation de permutation
induite par laction de G sur les droites vectorielles (elle correspond la reprsentation de permutation
de S4 associe laction de S4 sur {1, 2, 3, 4}) ; son caractre est 1 + 1 , et on termine en calculant Y
grce la formule Y = Y Y+ . On peut utiliser cette mthode pour dterminer les composantes
isotypiques de Y, ce qui est plus prcis que de calculer les multiplicits des reprsentations irrductibles.
Une solution moins artisanale consiste utiliser la formule gnrale pour la multiplicit (cor. I.2.15),
ce qui demande de calculer le cardinal des classes de conjugaison (cela peut se faire en reliant les classes
de conjugaison de G celles de S4 ) pour calculer des produits scalaires de caractres.
 
Question 6. (i) On a |B| = 12 car g = a0 db  (a, d, b) induit une bijection de B sur (F3 )2 F3 .

1
1
(ii) Daprs le th. I.3.11, on a W (g) = |B|
). Maintenant, |B| = 12, et la formule
sG, sgs1 B (sgs

=
4
et

(I)
=
4
puisque I et I commutent tout
ci-dessus pour I et I nous donne W (I) = 48
W
12
et appartiennent B. Il en rsulte que W est de dimension 4 et que I agit par 1 sur W ; on a donc
W
= W ou W
= Z Z , avec {Z, Z } {V, V }.
 
Par ailleurs, la seule valeur propre de sTs1 est 1, et donc, si sTs1 B, alors sTs1 = 10 1b , ce qui
fait que (sTs1 )  0. On en dduit que W (T)  0, ce qui ne laisse que la possibilit W
= W.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

Question 7. On a Z (g) = W (g)3 . En particulier, Z (I) = Z (I), ce qui fait que I agit par 1 sur
Z, et donc que Z
= mW W mV V mV V , et Z = mW W + mV V + mV V . En spcialisant cette
identit en C, on obtient mV = mV , et en la spcialisant en I et T, on obtient 4mW + 4mV = 64 et
mW 2mV = 1, et donc mW = 11, mV = 5 et Z
= 11 W 5 V 5 V .

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

420

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

G.3. Coecients de Fourier des fonctions continues

Y
L
O
P

Lobjet de ce problme est de montrer que les coecients de Fourier dune fonction de L1 (R/Z)
tendent vers 0 (version discrte du th. de Riemann-Lebesgue), mais quune suite tendant vers 0
nest pas forcment la suite des coecients de Fourier dun lment de L1 (R/Z).

E
L
O

Partie 1. Notons E lespace C (R/Z) muni de la norme   , et notons F = L1 (R/Z) le complt

1
de E pour la norme  1 dnie par f 1 = 0 |f (x)| dx. Finalement, soit E le dual de E, muni
de la norme du dual note  E .
1
(i) Si f, g E, on pose f (g) = 0 f (x)g(x) dx. Montrer que g  f (g) dnit un lment
de E, et que f  f est linaire continue de E, muni de la norme  1 , dans E.
(ii) En dduire que f  f se prolonge de manire unique en une application linaire continue
de F dans E.

(iii) Si n N {0}, soit n : R [1, 1] la fonction impaire continue, dnie pour x  0, par
n (x) = 0, si x  1/2n, n (x) = 2nx 1, si 1/2n  x  1/n, et n (x) = 1, si x  1/n. Soit

E
U
IQ

(x)
f E {0}. Soit gn dnie par gn (x) = |ff (x)|
n (|f (x)|), si f (x) = 0, et gn (x) = 0, si f (x) = 0.
Montrer que gn E, et que gn  = 1, si n est assez grand.
(iv) Soit hn = |f |gn f . Montrer que |hn (x)|  n1 , quel que soit x. En dduire que f E = f 1 .
(v) Montrer que f  f est une isomtrie de F dans E.

T
Y
L
PO

N
H
EC

Partie 2. Si n Z, et si f F, soit cn (f ) = f (e2i nx ), et soit c(f ) la suite (cn (f ))nN .

(i) Montrer que f  c(f ) est linaire continue de F dans (Z) (muni de   ).

(ii) Montrer que lespace

0 (Z) des suites tendant vers 0 quand |n| + est ferm dans (Z).
(iii) Montrer que lespace Trigo des polynmes trigonomtriques est dense dans F.
(iv) En dduire que limage de F par f  c(f ) est incluse
0 (Z).
(v) Montrer que, si c(f ) = 0, alors f = 0. En dduire que f  c(f ) est injective.

= kn=k e2i nx . Montrer que c(Sk ) = 1 et Sk 1 + quand
(vi) Soit Sk (x) = sin(2k+1)x
sin x
 m/(2k+1)

| sin(2k+1)x|
k +. (On montrera que Sk 1  2k+1
m=1 (m1)/(2k+1) m/(2k+1) dx.)
(vii) En dduire que f  c(f ) nest pas une surjection de F sur
0 (Z).

E
L
O

Corrig
Partie 1.
(i) La linarit de g  f (g) suit de la linarit de lintgration. De plus, on a :
1

|f (g)| 

|f (t)| |g(t)| dt  g

|f (t)| dt = f 1 g .

E
U
IQ

On en dduit la continuit de f (et donc son appartenance E ), ainsi que la majoration f E  f 1 .

Enn, comme f  f est linaire, par linarit de lintgration, cette majoration montre que f  f
est continue, de E (muni de la norme  1 ) dans E .
(ii) La question prcdente montre que lapplication linaire f  f est continue de E muni de la norme
de F dans E qui est complet (th. II.1.22). Comme F est le complt de E, le rsultat suit du (ii) de la
prop. II.1.12.
1
et donc gn (x) = 0 dans un voisinage de x0 , la fonction gn est
(iii) Si f (x0 ) = 0, on a |f (x)| < 2n
donc continue en x0 . Si f (x0 ) = 0, alors gn est continue comme produit de composes de fonctions

E
L
O

T
Y
L
PO

N
H
EC

E
U
Q
I

421

G.3. COEFFICIENTS DE FOURIER DES FONCTIONS CONTINUES

N
H
EC

continues. Comme gn est priodique de priode 1 si f lest, on a gn E. Par ailleurs, on a n   1

par construction, et donc gn   1, et comme |gn (x)| = 1, si |f (x)|  n1 , on en dduit que gn   1
(et donc gn  = 1), si n  f1 .
(iv) On a hn (x) = 0 si |f (x)|  n1 , et |hn (x)|  |f (x)|, si |f (x)|  n1 . On en dduit la majoration
1
1
|hn (x)|  n1 et | 0 hn (x) dx|  n1 . Or | 0 hn (x) dx| = |f 1 f (gn )|, et donc |f (gn )|  f 1 n1 .
Comme gn  = 1 si n est assez grand, on en dduit, en passant la limite, la minoration f E  1.
Comme la majoration f E  1 est immdiate (et a dj t dmontre), on a f E = 1.
(v) f  f 1 est continue sur F par dnition de F. Par ailleurs, f  f E est la compose de f  f
qui est continue de F dans E , et de  E qui est continue sur E ; elle est donc continue. Comme
les deux applications continues f  f 1 et f  f E concident sur E qui est dense dans F, elles
sont gales, ce qui montre que f  f est une isomtrie de F dans E .

T
Y
POL

E
L
O

Partie 2.
(i) La linarit de f  c(f ) suit de celle de f  f . De plus, on a |cn (f )|  f E e2i nx  = f 1 ,
si n Z, et donc c(f )  f 1 . On en dduit lappartenance de c(f ) (Z) et la continuit de
f  c(f ).
(k)
(ii) Soit c(k) = (cn )nZ , pour k N, une suite dlments de
0 (Z) ayant une limite c = (cn )nZ dans

(Z). Soit > 0. Comme c(k) c, il existe k tel que c(k) c  2 , et comme c(k)
0 (Z), il existe
(k)
(k)
(k)
(k)
N N tel que |cn |  2 , si |n|  N. On a alors |cn |  |cn | + |cn cn |  |cn | + c(k) c  , ce qui
prouve que cn tend vers 0 quand |n| +, et donc que c
0 (Z). Ceci permet de conclure.
(iii) Soient g F et > 0. Comme E est dense dans F, il existe f E avec g f 1  2 . Par ailleurs
comme Trigo est dense dans E, daprs le thorme de Stone-Weierstrass ((iii) de lex. II.1.10), il existe
1
P Trigo vriant f P  2 . On a alors f P1 = 0 |f (t) P(t)| dt  f P  2 , et donc
g P1  . Ceci permet de montrer que Trigo est dense dans F.
(iv) Si P Trigo, on a cn (P) = 0 sauf pour un nombre ni de n ; en particulier, c(P)
0 (Z). Maintenant,
si f F, il existe une suite (Pk )kN dlments de Trigo tendant vers f dans F. Comme g  c(g) est

continue, on a c(Pk ) c(f ) dans (Z), et comme

0 (Z) est ferm dans (Z), et que chacun des c(Pk )
(Z),
il
en
est
de
mme
de
la
limite
c(f
).
est dans
0
(v) Si c(f ) = 0, alors f (P) = 0, quel que soit P Trigo. Comme Trigo est dense dans E et f est
continue sur E, cela implique f = 0. On a donc 0 = f E = f 1 , ce qui prouve que f = 0 et donc
que le noyau de f  c(f ) est rduit 0, ce qui permet de conclure.
(vi) On a cn (Sk ) = 1 si |n|  k, et cn (Sk ) = 0, si |n| > k. On en dduit que c(Sk ) = 1. Par ailleurs,
comme 0  sin t  t, si t [0, 1], on a

E
L
O
1

Sk 1 =
0

T
Y
L
PO

2k+1

| sin(2k + 1)t|
dt 
sin t
m=1

N
H
EC

m/(2k+1)
(m1)/(2k+1)

E
U
IQ

2k+1
| sin(2k + 1)t|
2  1
dt = 2
,
m/(2k + 1)
m=1 m

1
m

diverge, cela permet de conclure.

et comme la somme des
(vii) Si f  c(f ) est une surjection de F sur
0 (Z), alors cest une bijection (daprs le (iv)), continue
(daprs le (i)), et comme F et
0 (Z) sont des espaces de Banach, son inverse u est continue (cor. II.1.20).
Il existe donc C > 0 tel que u(c)1  Cc , si c
0 (Z). En appliquant ceci c = c(Sk ), on en dduit
que u(c(Sk ))1 = Sk 1  CSk  = C, quel que soit k N, ce qui est en contradiction avec la
question (v).

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

422

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

G.4. Fonctions dHermite et transforme de Fourier dans L2

Y
L
O
P

Ce problme fournit une dnition de la transforme de Fourier dans L2 (R) en passant par la
construction dune base hilbertienne de L2 (R).

E
L
O

Partie 1. Soit E lespace Cc (R) muni de la norme   . On munit le dual E de E de la norme

 E du dual.

(i) Soit f L 1 (R). Montrer que  f () = R f (t)(t) dt dnit un lment de E qui ne
dpend que de limage de f dans L1 (R), et que lapplication f  f ainsi dnie est linaire
continue de L1 (R) dans E.

(ii) Soit f Esc(R). On crit f sous la forme f = iI i 1[ ki , ki +1 [ , o I Z est ni, les ki

2r

2r

sont distincts et i = 0, si i I. Soit n : R [0, 1] de classe C , nulle en dehors de [0, 1] et



1

valant 1 sur [ n1 , 1 n1 ]. Soit gn = iI |ii | n 2r x ki . Montrer que 0 |1 n (t)| dt  n2 . En
dduire que f (gn ) f 1 quand n +, et que f E = f 1 .

(iii) Soit f L1 (R). Montrer que f E = f 1 . En dduire que si R f = 0, pour tout E,
alors f = 0.

N
H
EC

Partie 2. Injectivit de la transforme de Fourier dans L1 .

E
U
IQ

(i) Soit E.
(a) Soit t0 R. Montrer que, si > 0, alors f (x, t) = e|x| e2i x(tt0 ) (t) est sommable
sur R2 . En dduire la formule.

E
L
O
+

T
Y
L
PO

dx =
e|x| e2i t0 x (x)

(t0 + (2)1 u)
du.
1 + u2

+(2)1 u)

du tend vers (t0 ) quand 0.

(b) Montrer que 1 R (t0 1+u2
 +
0 ) quand 0.
dx F (t
(c) Montrer que est sommable et que e|x| e2i t0 x (x)
(d) Montrer quil existe g L1 (R) tel que = g.

(ii) Soit f L1 (R) vriant f = 0. Montrer que R f = 0 quel que soit E. En dduire que
f = 0.

2
Partie 3. Fonctions dHermite. On rappelle que R et dt = 1.
d n 2t
) e
= e2t Hn (t), o Hn est un polynme de degr exactement n dont
(i) Montrer que ( dt
on calculera le coecient dominant.
2
(ii) On dnit n par la formule n (t) = et Hn (t). Montrer que n , m  = 0, si n = m, et
calculer n , n  (on fera une intgration par partie).
(iii) Montrer que, si 1 , 2 L2 (R), alors 1 2 L1 (R).
2
(iv) Soit f L2 (R) et soit g dnie par g(t) = et f (t). Montrer rapidement que tn g(t) et
e2|tx| g(t) sont sommables, quels que soient n N et x R. En dduire que, si x R,
2

lim

n+

n

k=0

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

(2i tx)k
g(t) dt = g(x).
k!

(v) On suppose f orthogonale tous les n . Montrer que g = 0, puis que f = 0.

(vi) Montrer que le sous-espace engendr par les n , pour n N, est dense dans L2 (R).

E
U
Q
I

423

G.4. FONCTIONS DHERMITE ET TRANSFORME DE FOURIER DANS L2

N
H
EC

(vii) Soit en = (n 2 )1 n . Si f L2 (R), soit A(f ) la suite (an (f ))nN , o an (f ) = en , f .
Montrer que A(f ) 2 et que A est une isomtrie de L2 (R) sur 2 .

T
Y
POL

Partie 4. Transforme de Fourier dans L2 (R).

0 est C sur R, et vrie lquation direntielle
 (x) = 2x
0 (x). En
(i) Montrer que
0

dduire que 0 = 0 .
n = (i)n n , si n N.
(ii) Montrer que n+1 (t) =  (t) 2tn (t). En dduire que

E
L
O

(iii) Soit lapplication (an )nN  ((i)n an )nN . Montrer que est une isomtrie de 2 sur 2 .
(iv) Montrer quil existe une unique application linaire continue F2 : L2 (R) L2 (R), telle que
n , quel que soit n N, et que F2 est une isomtrie.
F2 (n ) =
(v) Montrer que F2 F2 = s, o (s())(x) = (x) p.p.

Corrig
Partie 1.
(i) La linarit de  f () suit de la linarit de lintgration. De plus, on a :
1

|f ()| 
0

N
H
EC

|f (t)| |(t)| dt  
0

T
Y
L
PO

E
U
IQ

|f (t)| dt = f 1  .

On en dduit la continuit de f (et donc son appartenance E ), ainsi que la majoration f E  f 1 .

De plus f  f est linaire, par linarit de lintgration, et f = 0, si f est nulle p.p., ce qui montre
que f ne dpend que de limage de f dans L1 (R). Enn, la majoration ci-dessus montre que f  f
est continue, de L1 (R) (muni de la norme  1 ) dans E .
1

(ii) La majoration 0 |1n (t)| dt  n2 est immdiate. On a (|f |gn f )(t) = iI |i |(1[0,1[ n )(2r tki ),

1

2
2
et comme 0 |1[0,1[ n |(t) dt  n , on en dduit que | R |f | gn f |  n iI 2r |i | = n2 f 1 . Comme

|f | gn f = f 1 f (gn ), cela montre que f (gn ) f 1 quand n +.
R
Comme n  = 1 par construction, on en dduit la minoration f E  f 1 , et comme la
majoration f E  f 1 est immdiate, cela permet de conclure.
(iii) f  f E est continue sur L1 (R) daprs la question (i), et f  f 1 aussi, par dnition.
Or ces deux fonctions concident sur Esc(R) daprs la question (ii), et comme Esc(R) est dense dans
L1 (R) (th. III.2.11), elles sont gales sur L1 (R) tout entier ; autrement dit, f E = f 1 , quel que soit

f L1 (R). Maintenant, si R f = 0 quel que soit E, alors f = 0 et donc f E = 0 ; on en dduit
que f 1 = 0, et donc que f = 0.

E
L
O

Partie 2.
(i) (a) On a |f (x, t)| = e|x| |(t)|, et donc, daprs le thorme de Fubini pour les fonctions positives,
R2

|f (x, t)| =


R


e|x| |(t)| dx dt =

2
2
|(t)| dt = 1 < +,

N
H
EC

E
U
IQ

ce qui prouve que f est sommable. On peut donc appliquer le thorme de Fubini pour calculer
de deux manires direntes, ce qui nous donne :
R2

R2

f =
f =


R

|x| 2i x(tt0 )

(t) dt dx =


O
P
E
L
CO

e|x| e2i x(tt0 ) (t) dx dt =

LY T

|x| 2i t0 x

e


(x) dx


1
1
+
(t) dt
+ 2i(t t0 ) 2i(t t0 )

et le rsultat suit en faisant le changement de variable t = t0 +

2 u.

R2

424

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

u)

1
(b) (t0 +(2)
est major en module par
u) est
1+u2
1+u2 , qui est sommable. Comme  (t0 +(2)
continue pour tout u R et vaut (t0 ) pour = 0, le thorme de continuit dune intgrale dpendant

 (t0 )
1
u)
dun paramtre (th. II.1.2) montre que 1 R (t0 +(2)
du tend vers 1 R 1+u
2 du = (t0 ), quand
1+u2
0.
(c) Comme est en particulier de classe C 2 et support compact, il rsulte du (i) du th. IV.2.8 que

tend vers 0 linni, et comme est continue daprs le th. IV.2.7, elle est sommable.
(1 + x2 )(x)
est major en module par ||,
quel que soit > 0, ce qui permet de dduire
Maintenant, e|x| e2i t0 x (t)

dx tend
du thorme de continuit dune intgrale dpendant dun paramtre que R e|x| e2i t0 x (x)
 |x| 2i t x

 2i t x


0
0
e
(x) dx = R e
(x) dx = F (t0 ), quand 0.
vers R lim0+ e
(d) Daprs ce qui prcde, on a = g, o g est la transforme de Fourier de t  (t), qui est
sommable daprs le (c).
(ii) Si E, il existe g L1 (R) tel que = g daprs le (d) de la question (i). Or, daprs la prop. IV.3.24,




on a R f = R f g = R f g. En particulier, si f = 0, alors R f = 0, quel que soit E. Daprs la
question (iii) de la partie 1, ceci implique f = 0.

Y
L
O
P

E
L
O

Partie 3.
2

E
U
IQ

d n 2t
d n+1 2t
) e
= e2t Hn (t), alors ( dt
)
e
= e2t Hn+1 (t), avec Hn+1 (t) = Hn (t)4t Hn (t).
(i) Si ( dt
Comme H0 = 1, une rcurrence immdiate montre que Hn est un polynme de degr exactement n de
coecient dominant (4)n .
(ii) Supposons m  n. On a

n , m  =

E
L
O

En utilisant le fait que

partie,

PO

2
[P(t)e2t ]+

n , m  =

LY T

e2t Hn (t)Hm (t) dt =

N
H
EC
+

 d n 2t2 
( ) e
Hm (t) dt.
dt

= 0, si P est un polynme, on obtient, aprs une intgration par

 d n1 2t2  
e
( )
Hm (t) dt = (1)n
dt

(n)

e2t H(n)
m (t) dt.
(n)

En particulier, si m < n, alors Hm = 0 et n , m  = 0, et si m = n, alors Hm = n!(4)n , et donc


n
2

.
n , n  = n!(4)n R e2t dt = n!(4)
2



(iii) On a R |1 2 |  ( R |1 |2 )1/2 ( R |2 |2 )1/2 daprs lingalit de Cauchy-Schwarz, ce qui montre que
si 1 et 2 sont de carr sommable, alors 1 2 est sommable.
(ii)
2

n+1 (t) = et (

2
2
d n+1 2t2
d  t2 d n 2t2 
d
2t et ( )n e2t = n (t) 2tn (t).
)
e ( ) e
e
=
dt
dt
dt
dt

E
U
IQ

n (x) et F (2tn (t))(x) = i

 (x), on obtient :
Comme daprs le th. IV.2.8, on a F (n )(x) = 2ix
n
 



n+1 (x) = 2ixn (x) in (x) = (i) n (x) 2xn (x) .

N
H
EC

0 = 0 , on a
n et n vrient la mme relation de rcurrence, et comme
On en dduit que in
n = n , pour tout n, ce qui permet de conclure.
in
2
2
(iv) Les fonctions tn et , pour n N, et e2|xt| et , pour x R, sont de carr sommable ; on dduit,
en utilisant la question (iii), que les tn g(t) et les e2|xt| g(t) sont sommables. Maintenant,



n


E
L
O

k=0

T
Y
L
PO


(2i tx)
g(t)  |g(t)|
k!
k

+


k=0

(2 |tx|)k
= e2|xt| |g(t)|,
k!

E
U
Q
I

G.4. FONCTIONS DHERMITE ET TRANSFORME DE FOURIER DANS L2

N
H
EC

425

et comme t  e2|xt| |g(t)| est sommable, on peut appliquer le thorme de convergence domine, et
intervertir limite et intgrale, ce qui nous donne
n
n



(2i tx)k
(2i tx)k 
g(t) dt =
g(t) dt =
e2i tx g(t) dt = g(x).
lim
lim
n+
k!
k!
R
R n+
R

T
Y
POL

E
L
O
k=0

k=0

(v) Comme n (t) = et Hn (t), o Hn est un polynme de degr exactement n, lespace vectoriel
2
engendr par les n est lespace des et P(t), o P est un polynme. Donc, si f est orthogonale tous


t2
P(t) dt = R P(t)g(t) dt = 0, quel que soit le polynme P. Tous les termes du
les n , on a R f (t)e
membre de gauche de lidentit de la question (iv) sont donc nuls, et donc g = 0. Il rsulte alors de la
2
question (ii) de la partie 2 que g = 0, et donc que f = et g = 0.
2
(vi) Ladhrence F de F est un sous-espace ferm de L (R). Si F est strictement inclus dans L2 (R), son
orthogonal est non nul (cf. prop. II.2.10 (ii)), ce qui contredit la question (v). Ceci permet de conclure.
(vii) Il rsulte des questions (ii) et (vi) que les en , pour n N, forment une base hilbertienne de L2 (R).
Le rsultat est donc une consquence directe du (ii) du th. II.2.6.

Partie 4.

E
U
IQ

0 est de classe C k
(i) Quel que soit k N, la fonction (1 + t2 )k/2 0 (t) est sommable, et donc
((ii) du th. IV.2.8). De plus, on a
0 (x) =

(2i t)e2i xt et dt

T
Y
L
PO

=[iet e2i xt ]+

N
H
EC

2
0 (x).
iet (2ix e2i xt ) dt = 2x

 t2
0 (x) = aex2 , et comme
0 (0) =
On en dduit lexistence de a C tel que
e
dt = 1, on a
R
a = 1, ce qui permet de conclure.
(iii) Cest immdiat.
(iv) Lunicit suit du fait que lespace engendr par les n est dense (partie 3, question (vi)). Pour
lexistence, il sut de poser F2 = A1 A, o A est lapplication dnie la question (vii) de la
partie 3, ce qui ralise F2 comme la compose de trois isomtries surjectives, et montre que F2 est une
isomtrie de L2 (R) sur L2 (R).
(v) Comme F2 F2 et s sont linaires et continues, il sut de prouver quelles concident sur une base
hilbertienne, par exemple celle des en , pour n N. Or on a F2 F2 (en ) = (i)n F2 (en ) = (1)n en
2
daprs la question (ii), et par ailleurs s(en ) = (1)n en car e2t est une fonction paire, ce qui montre
t2 dn 2t2
est une fonction paire si n est pair et impaire si n est impair.
que n = e dtn e

E
L
O

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

426

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

G.5. Transforme de Fourier et convolution


2
Ce problme est une variation sur le thme Fourier-Poisson. On rappelle que R ex dx = 1.
On ne demande pas de vrier la mesurabilit des fonctions rencontres, celle-ci tant automatique daprs Solovay.

E
L
O

Y
L
O
P

Question 1. Soient f, g L 1 (R).


(i) Montrer que R2 |f (x y)g(y)| dx dy = f 1 g1 .
(ii) Montrer que, pour presque tout x R la fonction y  f (x y)g(y) est sommable, que la

fonction f g dnie par f g(x) = R f (x y)g(y) dy, si lintgrale converge, et f g(x) = 0
sinon, est dans L 1 (R), et que f g1  f 1 g1 .
(iii) Montrer que si f1 = f2 p.p. et si g1 = g2 p.p., alors f1 g1 = f2 g2 p.p.
(iv) Montrer que les fonctions continues f
g et fg sont gales. (On introduira la fonction
2i
tx
f (t y)g(y), et on justiera soigneusement les tapes du calcul.)
H(t, y) = e
(v) Existe-t-il une fonction : R R+ , de classe C support compact, non identiquement
nulle, telle que soit valeurs dans R+ ?

E
U
IQ

Question 2. Soit 1 = 1[ 1 , 1 ] .
2 2
(i) Montrer quil nexiste aucune fonction continue sur R qui soit gale 1 p.p.
(ii) Montrer que, si f L 1 (R), alors 1 f est une fonction continue sur R.
(iii) On dnit par rcurrence k , par k+1 = 1 k , si k  1. Montrer que k est continue
et paire, pour tout k  2.
(iv) Calculer k , pour tout k. Pour quelles valeurs de k, la fonction k est-elle sommable ?
Quelle est alors sa transforme de Fourier ?
(v) Montrer que k est de classe C k2 , pour tout k  2.


1
1
(vi) Calculer 2 . En dduire la valeur de mN (2m+1)
2 , puis celle de (2) =
n1 n2 . (On
pourra considrer f (t) = 2 ( t ).)

E
L
O

T
Y
L
PO

N
H
EC

(vii) Que faudrait-il faire pour dmontrer avec ce genre de mthodes que 2m (2m) Q,
pour tout m  1 ? (On demande juste dtablir une stratgie, pas de mener bien les calculs.)

Question 3. Si a > 0, soit a : R R dnie par a (x) = eax . On remarquera que a S .

1
ab/(a+b) .
(i) Montrer que a b = a+b

k
(ii) Montrer que 1 (x) = 1 ( k x), pour tous x R et k N.
(iii) Montrer que 1 est valeurs relles.
2
(iv) Montrer quil existe a R tel que 1 (x) = eax pour tout x R.
2

(v) Montrer que a > 0, puis que a = 1.

E
U
IQ


Question 4. (i) Montrer quil existe > 0 tel que  sinuu |  1 u2 , si |u|  3.
  x 
 x2 1 
(ii) Montrer que k k   sup e
, 1+x2 , pour tous k  4 et x R.
 
2 x2
(iii) Soit fk la fonction dnie par fk (x) = k xk , et soit f donne par f (x) = e 6 .
Montrer que fk tend vers f dans L1 (R).

(iv) Soit gk la fonction dnie par gk (x) = k k ( k x). Montrer que gk tend uniformment
sur R vers une fonction g que lon dterminera. Ce rsultat vous voque-t-il quelque chose ?

E
L
O

T
Y
L
PO

N
H
EC

E
U
Q
I

427

G.5. TRANSFORME DE FOURIER ET CONVOLUTION

N
H
EC

Corrig

T
Y
POL

Question 1.
(i) Daprs le th. de Fubini pour les fonctions positives ((ii) du th. III.3.3), on a

E
L
O

R2

|f (x y)g(y)| dx dy =


R


|f (x y)g(y)| dx dy.

Le changement de variable t = x y dans lintgrale entre parenthses nous donne alors

R2

|f (x y)g(y)| dx dy =


R


|f (t)g(y)| dt dy =

f 1 |g(y)| dy = f 1 g1 .

(ii) Daprs le (i), la fonction h(x, y) = f (x y)g(y) est sommable sur R2 et donc, daprs le thorme
de Fubini ((i) du th. III.3.3), pour presque tout x la fonction y  h(x, y) est sommable sur R, et

x  R h(x, y) dy = f g(x) p.p. est sommable.

 

De plus, |f g(x)|  R |h(x, y)| dy pour tout x et donc f g1  R R |h(x, y)| dy dx. Or cette
dernire quantit vaut f 1 g1 , daprs le th. de Fubini pour les fonctions positives et le (i).
(iii) En dehors de lensemble de mesure nulle o lune des intgrales diverge, on a f1 g1 f2 g2 =
(f1 f2 ) g1 + f2 (g1 g2 ). On en dduit, en utilisant le (ii), la majoration f1 g1 f2 g2 1 
f1 f2 1 g1 1 + f2 1 g1 g2 1 . Or le second membre est nul puisque f1 f2 1 = g1 g2 1 = 0.
On conclut en utilisant le fait que f 1 = 0 quivaut f = 0 p.p.
(iv)


e2i tx f g(t) dt =
e2i tx f (t y)g(y) dy dt.
f
g(x) =
R

T
Y
L
PO
R

N
H
EC

E
U
IQ

Soit H(t, y) = e2i tx f (t y)g(y). On a |H(t, y)| = |f (t y)g(t)|, ce qui fait que H est sommable sur R2

daprs le (i). On peut donc utiliser le th. de Fubini pour obtenir f
g(x) = R2 e2i tx f (t y)g(y) dy dt.
On fait alors le changement de variable y = u, t = u + v dont le jacobien est 1, ce qui nous donne

f
g(x) = R2 e2i (u+v)x f (u)g(v) du dv, la fonction intgrer tant sommable daprs le th. III.3.9. On
conclut en utilisant la formule e2i (u+v)x = e2i ux e2i vx et le th. de Fubini, ce qui nous donne

E
L
O

f
g(x) =


R


e2i ux e2i vx f (u)g(v) du dv =

g (x).
f(x)e2i vx g(v) dv = f(x)

(v) Partons de 0 : R R+ , de classe C support compact, non identiquement nulle. Notons 1

la fonction dnie par 1 (x) = 0 (x), et considrons = 0 1 . Le changement de variable t  t
dans lintgrale dnissant 1 montre que lon a 1 (x) = 0 (x) pour tout x R. On en dduit que

(x)
= |0 (x)|2 est valeurs dans R+ .
Il reste vrier que est valeurs dans R+ (ce qui est immdiat sur sa dnition puisque 0 et 1
le sont), que est support compact (si 0 est nulle en dehors de [M, M], il en est de mme de 1 ,
/ [2M, 2M], ce qui prouve que est support
et 0 (x y)1 (y) est identiquement nulle sur R si x
dans [2M, 2M]), et que est C (ce qui suit de ce que = F appartient S puisque = 0 1
appartient S comme produit de deux fonctions de S ; on peut aussi utiliser le th. de drivation sous
le signe somme (th. IV.1.2) pour vrier que f g est C , si f Cc (R) et g L1 (R)).

N
H
EC

E
U
IQ

Question 2.
(i) Si g = 1 p.p., alors tout voisinage de 12 contient un ensemble de mesure non nul (et donc non vide)
sur lequel g = 1 et un autre sur lequel g = 0. On en dduit que g ne peut pas tre continue en 12 .

(ii) On a 1 f (x) = R h(x, y) dy, avec h(x, y) = 1[ 1 , 1 ] (x y)f (y). Maintenant,
2 2
x  h(x, y) est continue en x0 sauf si y = x0 + 12 ou y = x0 12 ,
|h(x, y)|  |f (y)| qui est sommable et indpendante de x.

E
L
O

T
Y
L
PO