• Aucun résultat trouvé

On note Aet A∗ l’anneau des ad`ele et le groupe des id`eles deQrespectivement

N/A
N/A
Protected

Academic year: 2022

Partager "On note Aet A∗ l’anneau des ad`ele et le groupe des id`eles deQrespectivement"

Copied!
2
0
0

Texte intégral

(1)

Universit´e Paris 7 – Denis Diderot Ann´ee 2008-09 M2 Math´ematiques fondamentales Introduction aux formes automorphes M. Dimitrov – L. Merel

EXAMEN du 8 janvier 2009

Dur´ee : 3h

I

SoitM un entier>0, de d´ecomposion en produit de facteurs premiers donn´ee ainsiM =Q

ppmp. Pour pnombre premier, on noteUp,mp le sous-groupe de Zp form´e par les ´el´ement congru `a 1 modulo pmp. On note UM le sous-groupe de ˆZ 'Q

pZp donn´e par UM = Q

pUp,mp, o`u le produit porte sur les nombres premiers.

On note Aet A l’anneau des ad`ele et le groupe des id`eles deQrespectivement. On identifieQ `a un sous-anneau de Apar le plongement diagonal. Pourpnombre premier, on identifie Qp (resp. R) au sous- anneau form´e par la composantep-adique (resp. r´eelle) deA. Cela permet d’identifier ˆZ`a un sous-anneau deA. Le groupe des classe d’id`eles de rayonM est par d´efinitionA/Q(UM ×R+).

Soitχ un caract`ere de Dirichlet primitif de niveau M. On pose Gχ =PM−1

a=0 χ(a)e2iπa/M (somme de Gauss).

1. Soitpun nombre premier. Quel est l’indice de Up,mp dansZp ? 2. Quel est l’indice deUM dans ˆZ?

3. `A quelle condition sur le nombre premierpl’image deZp dans ˆZ/UM est-elle triviale ? 4. Rappeler comment on identifieA/Q(UM ×R+) `a (Z/MZ).

5. Soitχ0 le caract`ere deA d´eduit de l’identification rappel´ee en 4. Soitpun nombre premier. Montrer que la restrictionχp deχ0 `a Zp est triviale si et seulement simp = 0.

6. R´ecrireGχ comme un produit portant sur les nombres premiers, dont lep-`eme facteur ne d´epend que de χp.

II

Notons ∆ l’unique forme modulaire parabolique normalis´ee de poids 12 pour le groupe SL2(Z). Son q-d´eveloppement s’´ecrit

∆(τ) =q

Y

n=1

(1−qn)24=

X

n=1

τ(n)qn,

o`u q=e2iπτ. On pose, pourg= a b

c d

∈GL2(Q) de d´eterminant>0,

|g(τ) = (ad−bc)6(cτ+d)−12∆(aτ+b cτ+d).

On pose Γ1(M2) = { a b

c d

∈ SL2(Z)/c ≡ 0 (modM2), a ≡ d ≡ 1 (modM2)}. On note ∆χ la fonction de la variableτdans le demi-plan de Poincar´eHdonn´ee par leq-d´eveloppement suivant : ∆χ(τ) =

(2)

P

n=0χ(n)τ(n)qn. On pose de plus L(∆χ, s) = P

n=0τ(n)χ(n)n−s pour s ∈ C, lorsque cette s´erie de Dirichlet converge. On pose de plus Λ(∆χ, s) =L(∆χ, s)Ms(2π)−sΓ(s).

1. Soitu∈Z. Posonsgu/M =

1 u/M

0 1

∈GL2(Q). Soith∈Γ1(M2). Montrer quegu/Mhgu/M−1 ∈SL2(Z).

En d´eduire que ∆|gu/M est une forme modulaire de poids 12 pour le groupe Γ1(M2).

2. Montrer qu’on a

χ(τ) =χ(−1)Gχ M

M−1

X

u=0

¯

χ(u)∆|gu/M.

En d´eduire que ∆χ est modulaire de poids 12 pour Γ1(M2).

3. PosonsWM2 =

0 1

−M2 0

. Soit u∈Z. Montrer qu’il existev ∈Zavec uv≡ −1 (mod M) tel que gu/MWM2∈SL2(Z)gv/M

M 0

0 M

. En d´eduire que ∆χ|W

M2 = GGχ¯

χχ¯.

4. Montrer que la s´erie L(∆χ, s) converge absolument pour s de partie r´eelle assez grande. Exprimer Λ(∆χ, s) comme une transform´ee de Mellin. En d´eduire que la fonctions7→L(∆χ, s) admet un prolongement analytique. Donner l’´equation fonctionnelle qui relieL(∆χ, s) etL(∆χ¯,12−s).

5. Soitnun entier≥0 premier `aM. NotonsTn len-`eme op´erateur de Hecke op´erant sur l’espace des formes modulaires de poids 12 pour Γ1(M2). Montrer queTnχ =τ(n)χ(n)∆χ.

6. On admettra que ∆χ est nouvelle et parabolique. Est-elle alors une forme primitive ?

III

SoitFl’unique fonction GL2(A)→Cassoci´ee `a ∆. Plus pr´ecis´ement, on aF y x

0 1

= ∆(x+iy),F est GL2(Q)-invariante `a gauche, GL2( ˆZ)-invariante `a droite et v´erifieF(g

cos(θ) sin(θ)

−sin(θ) cos(θ)

) =e12iθF(g).

1. Consid´erons la fonction Fχ : GL2(A) →C associ´ee `a ∆χ de fa¸con analogue. Donner la formule qui permet de d´eduire directementFχ deF.

2. Donner un sous-groupe compactKde GL2( ˆZ) tel que Fχ est invariante parK `a droite.

Références

Documents relatifs

[r]

[r]

[r]

[r]

[r]

D’apr`es les sorties statistiques r´ealis´ees avec le logiciel R qui se trouvent apr`es (page 5), donner une estimation du coefficient de corr´elation entre la teneur en

Pour quelle quantité X i l’estimation de la masse des gousses serait-elle la plus précise parmi les trois valeurs

Si λ est racine simple du polynˆ ome caract´ eristique, on montre de la mˆ eme mani` ere que (∗) admet une infinit´ e de solutions polynomiales de degr´ e n +1, et exactement