J
OURNAL DE
T
HÉORIE DES
N
OMBRES DE
B
ORDEAUX
M
ARIE
-F
RANCE
V
IGNÉRAS
Congruences modulo ` between ε factors for
cuspidal representations of GL(2)
Journal de Théorie des Nombres de Bordeaux, tome
12, n
o2 (2000),
p. 571-580
<http://www.numdam.org/item?id=JTNB_2000__12_2_571_0>
© Université Bordeaux 1, 2000, tous droits réservés.
L’accès aux archives de la revue « Journal de Théorie des Nombres de Bordeaux » (http://jtnb.cedram.org/) implique l’accord avec les condi-tions générales d’utilisation (http://www.numdam.org/conditions). Toute uti-lisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte-nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
Congruences
between 03B5 factors for
cuspidal representations
of
GL(2)
par MARIE-FRANCE
VIGNÉRAS
Pour Jacques Martinet
RÉSUMÉ. Titre
français :
Congruences
entre facteurs ~des
représentations cuspidales
deGL(2)
~
p deux nombres premiersdistincts,
F un
corps localnon archimedien de
caractéristique
résiduelle p, une clôturealgébrique
du
corps des nombres et corpsrésiduel de On conjecture que la
correspondance
locale deLanglands
pourGL(n, F)
sur respecte les congruencesmod-entre les facteurs
L et
~ de paires, et que lacorrespondance
locale deLanglands
sur est caractérisée par des identités entrede nouveaux facteurs L et ~. Nous allons le démontrer
lorsque
n = 2.
ABSTRACT. p be two different prime numbers, let F be
a
local
non archimedean field of residual characteristic p, and letbe an
algebraic closure
of the field of numbers the ring of integers of the residual field of Weproved
the
existence
and the unicity of aLanglands
localcorrespondence
over for all n > 2,compatible
with the reduction in[V5],
without using factors of pairs.We
conjecture that theLanglands
localcorrespondence
over respects congruences between L and 03B5factors
of pairs, and that theLanglands
local correspondence over is characterizedby
identities between new L and 03B5 factors. The aimof this short paper is prove this when n = 2.
Introduction
The
Langlands
localcorrespondence
is theunique
bijection
between all irreductibleQ£-representations
ofGL(n, F)
and certain t-adicwhich is induced
by
thereciprocity
law of local class fieldtheory
when n = 1
(Wpb
is thebiggest
abelian Hausdorffquotient
ofWF),
and whichrespects
L and s factors ofpairs
[LRS], [HT], [H2].
Let,o :
F -~Ze
be a non trivial character. We denoteby
CuspR
GL(n,
F)
the set of
isomorphism
classes of irreduciblecuspidal R-representations
ofGL(n, F).
When 7r ECUSPQi
GL(n, F),
Henniart[H1]
showed that 7r is characterizedby
theepsilon
factors ofpairs
for all Q ECuspQe
GL(m, F)
and for all m n - 1(note
thatQ)
=1),
using
the
theory
ofJacquet,
Piatestski-Shapiro,
and Shalika[JPS1].
Does this remain true for
cuspidal
irreductibleFt-representations
ofGL(n, F) ?
We need first to define theepsilon
factors ofpairs.
Let 7r E
Cuspe
GL(n,
F).
It is known that the constants of theepsilon
factors ofpairs
£( 7r, a)
belong
toZe
for all Q ECuspe
GL(m, F)
and for allm n - 1,
and that the conductor does notchange by
reduction modulo t(this
isproved
by Deligne
[D]
for the irreduciblerepresentations
of the Weil group, andby
the localLanglands correspondence
over(ae
is true forcuspidal
representations).
Now let 7r E
CusPFi
GL(n,
F).
Then 7r lifts toF)
[VI,
III.5.10~ .
By
reduction modulo~,
one can defineepsilon
factors ofpairs
£(7r, o,)
for all a ECusPFi
GL(m, F)
and for all m n - 1. Let q be the order of the residual field of F. Weexpect
that 7r is characterizedby
theepsilon
factors£( 7r, Q)
for all Q, when themultiplicative
orderof q
modulo f is >n -1;
otherwise,
7r should be characterizedby
less naive but naturalepsilon
factors. The same should be true when 7r isreplaced by
anFe-irreducible representation
of the Weil groupWF.
The existence
[V4]
of anintegral
Kirillov model for 7r ECUSPQi
GL(n,
F)
seems to be anadequate
tool to solve theproblem.
Thedescription
of therepresentation
7r on the Kirillov model isgiven
by
the central character W7rand
by
the action of thesymmetric
groupSn
(the
Weyl
group ofGL(n, F)).
The action ofSn
is related with thee(r,
a)
for all Q as above[GK,
see theend of
paragraph
7].
When n = 2Jacquet
andLanglands
[JL]
described the action ofS2
on the Kirillov model in terms of£( 7r,
X)
=£( 7r 0 X)
for all(ae-characters x
ofF*, using
the Fourier transform on F*.In the case n = 2 and
only
in thiscase, we will prove that two
integral
F)
have the same reduction modulo t if andonly
if their central characters have the same reduction modulo t and the factorsX),
X)
have the same reduction modulo f forintegral
Qg-characters X
of F* when t does notdivide q -
1. When fdivides q -
1congruences modulo satisfied
by
the£(1f
0x)
for all x.By
reductionmodulo f,
weget
that the localLanglands
Fl-correspondence
for n = 2 ischaracterized
by
theequality
on L and new E factors ofpairs.
The fieldFt
can be
replaced by
anyalgebraically
closed field R of characteristic .~.The case n = 3 could be treated
probably,
but thegeneral
case n > 4 remains an open andinteresting question.
1.
Integral
Kirillov modelThe definition of the L and E factors of
pairs
[JPS1]
uses the Whittakermodel,
or what isequivalent
the Kirillov model. We showed[V4]
that thesemodels are
compatible
with the reduction modulo .~.We denote
by
OF
thering
ofintegers
of F. Let R be analgebraically
closed field of
characteristic #
p, andlet 0 :
: F - R* be a character such thatOF
is thebiggest
ideal onwhich o
is trivial. Weextend 0
to a R-character of the group N ofstrictly
uppertriangular
matrices ofG =
GL (n, F)
for n = E N. The mirabolicsubgroup
P of G is the semi-directproduct
of the groupGL(n -
1,
F)
embedded inGL(n, F)
by
i’
and of the group embedded in
GL(n, F)
by
The
representation
TR := of the mirabolicsubgroup
P(compact
induction)
is called mirabolic. It is irreducible(this
is acorollary
of[V4
prop. I] ) ,
but it is not admissible when n > 2. Lemma.EndRp
TR ^~ R.Proof.
This is ageneral
fact: therepresentation
TR isabsolutely
irreducible[VI,
1.6.10],
henceEndRp -rR -
R. From the Schur’s lemma[VI, 1.6.9]
EndRP
R when the cardinal of R isstrictly bigger
thandiMR
TR(countable dimension).
There exists analgebraically
closed field R’ whichcontains R and of uncountable cardinal. Two
RP-endomorphisms
of TRwhich are
proportional
over R’ areproportional
over R. DTheorem. An irreducible
R-representation
1fo f
G iscuspidal
i f
andonly
if
extends the mirabolicrepresentation
TR.Proof.
This results from[BZ]
and[VI].
Suppose
that zr iscuspidal.
Then1flp
is the mirabolicrepresentation:
when R = C see[BZ,
5.13 &5.20~,
when R = 7r lifts toQ~
[VI, 111.5.10]
where it is true then reduce.Conversely,
suppose1flp
=TR and R =
111.1.8].
The case of ageneral
R is deduced from this two casesby
the nextlemma. D
Let G be the group of rational
points
of a reductive connected group over F. We denoteby
IrrR
G the set ofisomorphism
classes of irreducibleR-representations
of G.Lemma.
(1)
A non zerohomomorphism
of algebraically
closedfields f :
R ~
R’
gives
a naturalinjective
map 7r ~f*
(1r) :
IrrR
G -~IrrR,
G whichrespects
cuspidality.
(2)
Let 1r’ ECusPR’
G. Then there exists anunramified character x of
G such that 1r’ Q9 x =
f*(1r)
with 1r ECusPR
G.Proof.
This results from[VI].
(1)
f *
respects
irreducibility
[VI, 11.4.5],
and commutes with the para-bolic restriction. Hence itrespects
cuspidality.
The linearindependence
of characters[Vl , 1.6.13]
shows that ifJr, zr’
EIrrR
G are notisomorphic
thenare not
isomorphic.
(2)
Let Z be the center of G. The group of rational charactersX(Z)
is a
subgroup
of finite index in the groupX ( G) .
Thisimplies
that thereexists an unramified
character X
of G such that thequotient
Z/Zo
of Zby
the kernelZo
of the central character of 7r’ ® x isprofinite.
Hence the values of w are roots ofunity.
We deduce that 7r’0 X
has a model on R[Vl, IL4.9).
DLet 7r E
CuspR GL(n, F)
of central character w. The realisation of 7r onthe mirabolic
representation
TR is called the Kirillov modelK(7r)
of 7r. It issometimes useful to use the Whittaker model instead of the Kirillov model.
By
adjonction
and the theorem R(the
unicity
of the Whittakermodel);
the Whittaker model is theunique
realisation of 7r inBy
definitionfor
all g
E G and for all Whittaker functions W E We denoteby
T(j)
thesubgroup
of matrices k EGL(n,OF)
of the formfor any
integer j
> 0. Thesmallest j
> 0 such that 1f contains a non-zerovector
transforming
underr(j)
according
to the one dimensional characterTheorem. Let 7r E
CUSPR GL(n,
F)
of
central character w = w andcon-ductor
f.
(1)
The restrictionfrom
G to P induces aG-equivariant isomorphism
from
the Whittaker model to the Kirillov model.(2)
Let 1f’ ECUSPR GL(n,
F).
There is a naturalisomorpltism
W - W’ :W(1f)
->W(1f’)
of
R-vector spacesdefined by
the conditionWlp
=W’lp.
(3)
There isunique
functions
W1r
EW (~r)
such thatThe
function
W7r is
called the new vectorof
7r andgenerates
the spaceof
vectorsof
7rtransforming
underr( f )
according
to WI.(4) W(-x) is
contained in thecompactly
inducedrepresentation
ind
Proof.
(1)
There exists W E with0,
andf :
W -Wp
is a non zeroP-equivariant
map from 7r toIndt
0.
The mapf
isinjective
ofimage
indp
1/;,
becauseEnd R TR =
R. Weget
also(2).
(3)
The space of TR isisomorphic by
restriction to G’ =GL(n -
1,
F),
to
the space
of where N’ = N n G’.As V)
is trivial onOF,
the characteristic function of
GL(n -
1, OF)
belongs
to For the conductor[JPS2].
(4)
Let W E The function z -W (xg)
on theparabolic
standardsubgroup
PZ islocally
constant ofcompact support
modulo NZ for allg E G.
As G =PZGL(n, OF),
the function W is ofcompact support
modulo NZ. D
Let 7r E
Irr Ql
G. LetE/(aP
be an extension contained in a finite extension of the maximal unramified extension ofQi. Example:
the extensiongenerated
by
the values of0.
Thering
ofintegers OE
isprincipal.
An OE-free module L with an action of G such that L is a finitetype
OEG-module
and such that
Qi
00 E
L - 7r is called anOE-integral
structure of 7r. If suchan L is
exists,
7r is calledintegral,
therepresentation rtL
= L00E Fe
is of finitelength.
One callsZP OOE
L anintegral
structure of 7r. WhenL,
L’are two
integral
structures of 7r, then thesemi-simplifications
ofrf L,
rgL’
are
isomorphic
(see
[VI, II.5.1l.b]
when isfinite,
and[Vig4,
proof
of theorem
2,
page416]
ingeneral).
When 7r ECuspQe
G isintegral,
rgL
= LOOE Fe
isirreducible;
theisomorphism
class rt-x ofrEL
is called the reduction of 7r; any irreduciblecuspidal
Ft-representation
of G is the reduction of anintegral
irreduciblecuspidal
Q£-representation
of G. For all these facts see~Vl, 111.5.10].
A function with values in
Qt
is calledintegral,
when its valuesbelong
toZt .
We denoteby
Zt),
resp.W(1r,
Ze),
the set ofintegral
functionsin the Kirillov
model,
resp. Whittakermodel,
of 7r E G. Let A bethe maximal ideal of
Zi.
The reduction modulo t of anintegral
functionf
is the fonction
rtf
with values inFt
deduced fromf .
Theorem.
(A)
Let 1r E G with central characters úJ1f. Then thefollowing
properties
areequivalent:
(A.1)
W1f isintegral.
(A.2)
7r isintegral.
(A.3) K(,7r, Zf)
is aZP-structure
of
7r, called theintegral
Kirillov model.(A.4)
Zt)
is aZi -structure
of 7r,
called theintegral
LVjcittaker model.(B)
When 7r isintegral,
we have(B.1)
The restriction to Pfrorrc
W(1r, Zt)
toZt)
is anisomorphism.
(B.2)
Theintegral
Kirillov model isZtP-
generated by
anyfunctions f
with
f (1)
= 1. Theintegral
Whittaker modelW(1r, Zt)
isZfG
generated by
the new vector.
(B.3)
Ft
0zl
K(ir, Zt)
=K(rt7r, Ff)
is the Kirillovmodel,
andFe
0zi
W(1r, Zt)
=W(re1r, Ft)
is the Whittaker modelof
rf1r.Proof.
Theequivalence
of(Al)
(A2)
[VI, 11.4.12];
for the rest[V4
th.2]
andthe last theorem. 0
Corollary.
Let1r, 1r’
ECUSPQl
Gintegral,
with central character W1f, W1f1 .Then re1r =
re1r’ if
andonly if
for
all w E andfor
allf
in theintegral
Kirillov model.Proof.
Use(B.3)
andEnd-p.
DQuestions.
Can one define anintegral
Kirillov or Whittaker model for7r E
Irr Qt G
integral
and notcuspidal ?
What is the action ofSn
in the Kirillov model ?2. The case n = 2
We can go further in the case n = 2. Let 7r E
CusPQt
G where G =GL(2, F).
The restriction ofGL(2, F)
to GL ( 1, F)
= F*gives
anisomor-phism
from to the space oflocally
constant functions F* --~Qe
withcompact support,
whichrespects
the naturalZE-structures
C°°(F*, Zt).
Theunique
non trivial element of52
isThe action of
ir(w)
on the Kirillov model was describedby
Jacquet
andLanglands
[JL,
Prop.2.10
p.46~,
using
Fourier transform forcomplex
rep-resentations.We choose a
(ae-Haar
measure dx on F*. The Fourier transform off
EC°°(F*, Qt)
withrespect
to dx isfor any
character X :
F* -~Qi.
We choose a
uniformizing
parameter
PF of F. A functionf
EC,’ (F*, Qi)
is determined
by
the set of functionsfn
EQt)
definedby
fn(x)
:=f (pFnx)
for all n E Z. The functionsfn
depend
on the choiceof pF.
Exten-sion
by
zero allows to consider as asubspace
ofQt),
because
OF
is open in F* . We haveFor a
given
character x,
the sum is finite. The functionsdepend only
on the restriction
of x
toOF.
Set6*
:=Hom(OF’
One introduces the formal seriesfor all x E
OF
and forall x
E0*
Jacquet
andLanglands
[JL
Prop.
2.10 page46]
proved
that the actionof
7r( w)
on the Kirillov model isgiven
by:
for
all X
E6* ,
allintegers n
EZ,
where m = -n -0 ~ ~
for someconstant
c(?)
E(~e
and someinteger
f (?)
E Z. The formula andc(1f0
are
independent
of the choice of dx. The formula isequivalent
tofor all
Qg-characters x
ofOF,
where theepsilon
factor isOn calls
c(7r)
the constant andf (~r)
the conductor of theepsilon
factorc(7r).
They
bothdepend
on the choice of the non trivialZP
which was
fixed,
but not on the choice of dx or on pF.Jacquet
andLang-lands used
complex representations
but their method is valid when the field ofcomplex
numbers isreplaced
by Qt,
because one usesonly integrals
oflo-cally
constant functions oncompact
sets. There is noproblem
ofvanishing
We suppose that dx is a
Zi-Haar
measure on F* wich is not divisibleby
£. Let
£ = the Fourier transform of
C~ ° (OF, Ze)
We have ,C and ,C =
C~ ° (OF,
1 Zf)
if andonly if q fl
1 mod £(V2~ .
Ingeneral,
weseparate
the£-regular
part
X ofOF
from the.~-part
Y of
0*
which is acyclic
group of order m = The volume of X fordx should be a unit in
Z~ ;
we can suppose it isequal
to 1. The group ofQf-characters
satisfy
X XY.
Ageneral
characterin OF
is nowwritten as XM
where X
EX
and p EV,
and a function v :bh -
isthought
as a function v :C(Y,
withThe
Zt-module
,C consists of all functions v : 5l - L withcompact
support,
whereis the free
Zi-module
with basis the characters y : p - ofY
for allWe need some
elementary
linearalgebra.
TheZg-module
L is the set of functions v EC§fl~ (9,
Ql)
such thatbelongs
toC(Y, Ze).
Theorthogonality
formula of charactersgives
for all v E
C(Y,
For the usualproduct,
C§° (9,
is analgebra.
Lemma. Let v E
jQe)
-(i)
The inclusion vL C L isequivalent to v
E L.(ii)
Theequality
vL = L isequivalent
to v E L andv(p)
Eall /-I
EY.
(iii)
The inclusion vL C AL isequivalent
to v, y >E Afor all y
E Y(A
is the maximal idealof
Proof.
(i)
The inclusion vL c L isequivalent
tovz, z’
>= v, >EZ~
for all z, z’ EY,
which isequivalent
to v E L.(ii)
vL = L means that vz for z E Y is a basis of L. We have vz =¿z’EY
v, z lz’
>z’,
hence vL = L means thatThe Dedekind determinant
det(
v, z-lz’
isequal
toITp,EY
(see
[L]
exercise 28 page495).
Let 7r E
Cuspo
Gintegral.
As7r( w)
is anisomorphism
of theintegral
Kirillov
model,
the functionsatisfies
c(7r © x)L
= L for allcharacter X
Weapply
the lemma toc(7r
Q9X).
We define newepsilon
factorsfor all y E Y. As have > 2 for 7r E
G,
we have =f(7r
0Jl)
> 2 for all Jl EY.
When Y is trivial(i.e.
q 0
1they
aresimply
the usual ones.Theorem.
(1)
Let 7r ECusPQt
Gintegral.
Then the constantof
theepsilon
factor
is a unitc(7r)
EZe
and the new constantsc(7r),
y >EZt
areintegral, for
all y E Y.(2)
Let 7r, 7r’ ECusPQt
Gintegral
with central characters W7r’ . Then=
rf1T’ if
andonly
if
= and their newepsilon factors
havethe same reduction modulo t: the conductors
f(1T0X)
=f(7r’0X)
areequal,
and the new constants have the same reduction modulo t :
for
all y
EY,
and allQg-characters x
E X .Proof.
With the lastcorollary
of theparagraph
(1),
rg7r =rl!7r’
if andonly
if = and
for all
In
EZt)
and all n E Z. With thelemma,
we deduce thetheorem. D
We
apply
now the theorem torepresentations
overF~.
Any
7r ECuspp
G lifts toQg
and we can defineepsilon
factorsfor
all y
E Y andall X
EHom(O*,
Ft)
=Hom(X,
F~ ),
by
reductionmodulo .~.
They
are not zero for any(y, x) .
Corollary.
7r, 7r’ ECuspp
G areisomorphic
if
andonly if they
have the same central character and the sameepsilon
factors
Final remarks.
a)
When n >2,
the groupsGL(m, OF)*
for m n -1replace
OF.
b)
Using
theexplicit description
for the irreduciblerepresentations
of di-mension n ofWF
[V3],
one couldtry
to prove a similar theorem for theirreducible
integral
Q -representations
ofWF
of dimension n. To myknow-ledge
this is a known and harderproblem,
which is not solved in thecomplex
case.
References
[D] P. DELIGNE, Les constantes des équations fonctionnelles des fonctions L. Modular
func-tions of one variable II. Lecture Notes in Mathematics 340, Springer-Verlag (1973).
[GK] I.M. GELFAND, D.A. KAZHDAN, Representations of the group GL(n, K) where K is a local
field. In: Lie groups and Representations, Proceedings of a summer school in Hungary
(1971), Akademia Kiado, Budapest (1974).
[H1] G. HENNIART, Caractérisation de la correspondance de Langlands locale par les facteurs
03B5 de paires. Invent. math. 113 (1993), 339-350.
[H2] G. HENNIART, Une preuve simple des conjectures de Langlands pour GL(n) sur un corps
p-adique. Prepublication 99-14, Orsay.
[HT] M. HARRIS, R. TAYLOR, On the geometry and cohomology of some simple Shimura vari-eties. Institut de Mathématiques de Jussieu. Prépublication 227 (1999).
[JL] H. JACQUET, R.P. LANGLANDS, Automorphic forms on GL(2). Lecture Notes in Math.
114, Springer-Verlag (1970).
[JPS1] H. JACQUET, I.I. PIATETSKI-SHAPIRO, J. SHALIKA, Rankin-Selberg convolutions. Amer.
J. Math. 105 (1983), 367-483.
[JPS2] H. JACQUET, I.I. PIATETSKI-SHAPIRO, J. SHALIKA, Conducteur des représentations du
groupe linéaire. Math. Ann. 256 (1981), 199-214.
[L] S. LANG, Algebra. Addison Wesley, second edition (1984).
[LRS] G. LAUMON, M. RAPOPORT, U. STUHLER, D-elliptic sheaves and the Langlands
corre-spondence. Invent. Math. 113 (1993), 217-238.
[M] J. MARTINET, Character theory and Artin L-functions. In: Algebraic number fields, A.
Frohlich editor, Academic Press (1977), 1-88.
[V1] M.-F. VIGNÉRAS, Representations modulaires d’un groupe réductif p-adique p.
Progress in Math. 137 Birkhauser (1996).
[V2] M.-F. VIGNÉRAS, Erratum à l’article : Représentations modulaires de GL(2, F) en
car-actéristique F corps p-adique, p ~ Compos. Math. 101 (1996), 109-113.
[V3] M.-F. VIGNÉRAS, A propos d’une correspondance de Langlands modulaire. Dans : Finite
reductive groups, M. Cabanes Editor, Birkhauser Progress in Math 141 (1997).
[V4] M.-F. VIGNÉRAS, Integral Kirillov model. C.R. Acad. Sci. Paris Série I 326 (1998),
411-416.
[V5] M.-F. VIGNÉRAS, Correspondance de Langlands semi-simple pour GL(n, F) ~ p. Institut de Mathématiques de Jussieu. Prepublication 235 (Janvier 2000).
Marie-France VIGNGRAS
Institut de Math6matiques de Jussieu
Universite Denis Diderot - Paris 7 - Case 7012
2, place Jussieu 75251 Paris Cedex 05
France