What is the Langlands Programme? Shaun Stevens 6 March 2012

What is the Langlands Programme?
Shaun Stevens
University of East Anglia
6th March 2012
Number Theory
Finding non-trivial solutions of polynomial equations over Z
or Q, or even their existence, is hard:
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
• x5 − 2x + 3 = 0;
• 3x2 + 4y 2 − 5z 2 = 0;
• 3x3 + 4y 3 + 5z 3 = 0;
• y 2 = x3 − 4x + 4.
Number Theory
Finding non-trivial solutions of polynomial equations over Z
or Q, or even their existence, is hard:
Motivation
Local Class
Field Theory
Representations
Local
Langlands
• x5 − 2x + 3 = 0;
• 3x2 + 4y 2 − 5z 2 = 0;
• 3x3 + 4y 3 + 5z 3 = 0;
• y 2 = x3 − 4x + 4.
Other groups
There are simple necessary conditions for the existence of
solutions in Z:
• the existence of a real solution;
Number Theory
Finding non-trivial solutions of polynomial equations over Z
or Q, or even their existence, is hard:
Motivation
Local Class
Field Theory
Representations
Local
Langlands
• x5 − 2x + 3 = 0;
• 3x2 + 4y 2 − 5z 2 = 0;
• 3x3 + 4y 3 + 5z 3 = 0;
• y 2 = x3 − 4x + 4.
Other groups
There are simple necessary conditions for the existence of
solutions in Z:
• the existence of a real solution;
• the existence of a solution modulo n, for all n ∈ N
⇐⇒ the existence of a solution modulo pr , for all p, r
Number Theory
Finding non-trivial solutions of polynomial equations over Z
or Q, or even their existence, is hard:
Motivation
Local Class
Field Theory
Representations
Local
Langlands
• x5 − 2x + 3 = 0;
• 3x2 + 4y 2 − 5z 2 = 0;
• 3x3 + 4y 3 + 5z 3 = 0;
• y 2 = x3 − 4x + 4.
Other groups
There are simple necessary conditions for the existence of
solutions in Z:
• the existence of a real solution;
• the existence of a solution modulo n, for all n ∈ N
⇐⇒ the existence of a solution modulo pr , for all p, r
⇐⇒ the existence of a solution in Zp := lim Z/pr Z.
←−
Local fields: the p-adic numbers Qp
Motivation
Local Class
Field Theory
As well as the usual absolute value, Q has a p-adic absolute
value for each prime p:
a
n for ab coprime to p.
p = p−n ,
b p
Representations
Local
Langlands
Other groups
Thus pn → 0 as n → ∞.
Local fields: the p-adic numbers Qp
Motivation
Local Class
Field Theory
As well as the usual absolute value, Q has a p-adic absolute
value for each prime p:
a
n for ab coprime to p.
p = p−n ,
b p
Representations
Local
Langlands
Other groups
Thus pn → 0 as n → ∞. This valuation is non-archimedean:
|x + y|p ≤ max {|x|p , |y|p } .
Local fields: the p-adic numbers Qp
Motivation
Local Class
Field Theory
As well as the usual absolute value, Q has a p-adic absolute
value for each prime p:
a
n for ab coprime to p.
p = p−n ,
b p
Representations
Local
Langlands
Other groups
Thus pn → 0 as n → ∞. This valuation is non-archimedean:
|x + y|p ≤ max {|x|p , |y|p } .
Qp is the completion of Q with respect to | · |p .
∪
Zp = {x ∈ Qp : |x|p ≤ 1}, the ring of p-adic integers.
∪
pZp = {x ∈ Qp : |x|p < 1}, the unique maximal ideal.
There is only one prime in Zp .
Local fields: the p-adic numbers Qp
Some properties of Qp :
• Q is dense in Qp and Z is dense in Zp .
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
Local fields: the p-adic numbers Qp
Some properties of Qp :
• Q is dense in Qp and Z is dense in Zp .
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
• Every non-zero α ∈ Qp can be uniquely written
α =
X
an pn ,
n≥n0
with an ∈ {0, . . . , p − 1} and an0 6= 0; moreover
|α|p = p−n0 .
Local fields: the p-adic numbers Qp
Some properties of Qp :
• Q is dense in Qp and Z is dense in Zp .
Motivation
Local Class
Field Theory
• Every non-zero α ∈ Qp can be uniquely written
α =
Representations
Local
Langlands
Other groups
X
an pn ,
n≥n0
with an ∈ {0, . . . , p − 1} and an0 6= 0; moreover
|α|p = p−n0 .
• Every non-zero α ∈ Qp can be uniquely written
α = pn0 u,
with u ∈ Zp a unit.
Local fields: the p-adic numbers Qp
Some properties of Qp :
• Q is dense in Qp and Z is dense in Zp .
Motivation
Local Class
Field Theory
• Every non-zero α ∈ Qp can be uniquely written
α =
Representations
Local
Langlands
Other groups
X
an pn ,
n≥n0
with an ∈ {0, . . . , p − 1} and an0 6= 0; moreover
|α|p = p−n0 .
• Every non-zero α ∈ Qp can be uniquely written
α = pn0 u,
with u ∈ Zp a unit.
• Every ball B in Qp is both open and closed; every point of
B is the centre of the ball!
Local-Global (Hasse) Principle
The Qp and R = Q∞ are the only completions of Q so:
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
The existence of solutions in Qp , for all p ≤ ∞, to a
rational polynomial equation should say something
about the existence of solutions in Q.
Local-Global (Hasse) Principle
The Qp and R = Q∞ are the only completions of Q so:
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
The existence of solutions in Qp , for all p ≤ ∞, to a
rational polynomial equation should say something
about the existence of solutions in Q.
• The existence of local (p-adic or real) solutions is much
easier to determine because we can use analytic
techniques.
Local-Global (Hasse) Principle
The Qp and R = Q∞ are the only completions of Q so:
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
The existence of solutions in Qp , for all p ≤ ∞, to a
rational polynomial equation should say something
about the existence of solutions in Q.
• The existence of local (p-adic or real) solutions is much
easier to determine because we can use analytic
techniques.
• The existence of p-adic solutions, for all p, to a rational
quadratic form does imply the existence of a rational
solution (Hasse–Minkowski).
Local-Global (Hasse) Principle
The Qp and R = Q∞ are the only completions of Q so:
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
The existence of solutions in Qp , for all p ≤ ∞, to a
rational polynomial equation should say something
about the existence of solutions in Q.
• The existence of local (p-adic or real) solutions is much
easier to determine because we can use analytic
techniques.
• The existence of p-adic solutions, for all p, to a rational
quadratic form does imply the existence of a rational
solution (Hasse–Minkowski).
• 3x3 + 4y 3 + 5z 3 = 0 has p-adic solutions, for all p, but no
rational solution (Selmer).
Galois Theory
If there are no solutions, where do solutions exist?
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
Galois Theory
If there are no solutions, where do solutions exist?
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
Example: x2 + 1 = 0 has no solutions in R, but two solutions
x = ±i in C.
Nothing distinguishes i from −i.
Galois Theory
If there are no solutions, where do solutions exist?
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Example: x2 + 1 = 0 has no solutions in R, but two solutions
x = ±i in C.
Nothing distinguishes i from −i.
Other groups


 field isomorphisms 
f : C → C such that
Gal(C/R) =
f (x) = x for all x ∈ R 
= {1, c}.
Galois Theory
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
x5 − 2x + 3 = 0 has no solutions in Q, but five solutions
α1 , . . . , α5 in C, but
• we cannot write them down;
• they are indistinguishable if starting from Q.
Galois Theory
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
x5 − 2x + 3 = 0 has no solutions in Q, but five solutions
α1 , . . . , α5 in C, but
• we cannot write them down;
• they are indistinguishable if starting from Q.
Put L = Q(α1 , . . . , α5 ), a subfield of C.
• L is a Q-vector space, of finite dimension over Q.


 field isomorphisms 
f : L → L such that
Gal(L/Q) =
f (x) = x for all x ∈ Q 
' S5 .
Galois Theory
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
x5 − 2x + 3 = 0 has no solutions in Q, but five solutions
α1 , . . . , α5 in C, but
• we cannot write them down;
• they are indistinguishable if starting from Q.
Put L = Q(α1 , . . . , α5 ), a subfield of C.
• L is a Q-vector space, of finite dimension over Q.


 field isomorphisms 
f : L → L such that
Gal(L/Q) =
f (x) = x for all x ∈ Q 
' S5 .
Moreover, Gal(L/Q) acts as Q-linear maps on L; we get a
(linear) representation of Gal(L/Q) which is the regular
representation of S5 .
Absolute Galois Theory
Put all such fields together:
Q = algebraic closure of Q (in C)
α ∈ C such that α is a root
=
of some fα (X) ∈ Q[X]
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
Then


 field isomorphisms 
GQ := Gal(Q/Q) = f : Q → Q such that
f (x) = x for all x ∈ Q 
is a big group! It acts linearly on L via its quotient
GQ /GL ' Gal(L/Q) ' S5 .
Elements (really conjugacy classes) are hard to write down!
Absolute Galois Theory
Motivation
Local Class
Field Theory
Representations
Local
Langlands
• What finite groups are quotients of GQ ?
Given K a field K, V a K-vector space, and a representation
ρ : GQ → AutK (V ) with finite image, put
Lρ = {x ∈ Q : σ(x) = x for all σ ∈ ker ρ}.
Other groups
Then Gal(Lρ /Q) ' GQ /ker ρ ' im ρ.
Absolute Galois Theory
Motivation
Local Class
Field Theory
Representations
Local
Langlands
• What finite groups are quotients of GQ ?
Given K a field K, V a K-vector space, and a representation
ρ : GQ → AutK (V ) with finite image, put
Lρ = {x ∈ Q : σ(x) = x for all σ ∈ ker ρ}.
Other groups
Then Gal(Lρ /Q) ' GQ /ker ρ ' im ρ.
Note that, if ρ is 1-dimensional, then Gal(Lρ /Q) is abelian.
1-dimensional representations of GQ correspond to
abelian extensions of Q.
Absolute Galois Theory
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
• Representations of GQ occur via action on solutions of
diophantine equations, for example via (´etale) cohomology.
GQ acts on the points of order dividing `n on the elliptic curve
E : y 2 = x3 − 4x + 4,
E [`n ] ' (Z/`n Z)2 ;
taking the inverse limit we get a representation of GQ on
E [`∞ ] = lim E [`n ] ' Z2` ,
←−
i.e. a two-dimensional representation.
Local-Global Again
Motivation
Local Class
Field Theory
Since Q is dense in Qp , we get an injective map
GQp := Gal(Qp /Qp ) ,→ GQ
Representations
Local
Langlands
Other groups
so we can try first to understand GQp , for each p.
Local-Global Again
Motivation
Local Class
Field Theory
Since Q is dense in Qp , we get an injective map
GQp := Gal(Qp /Qp ) ,→ GQ
Representations
Local
Langlands
Other groups
so we can try first to understand GQp , for each p.
The idea of the (local) Langlands programme is to understand
the representations of GQp in terms of representations of
certain matrix groups over Qp .
Start with 1-dimensional representations; that is, understand
the abelian extensions of Qp .
Basic structure of Q×
p
We have a group homomorphism
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
×
| · |p : Q×
p → R+ ,
with image pZ and kernel the group of units Up = Z×
p : we have
a split exact sequence
1 −→ Up −→ Q×
p −→ Z −→ 0,
p 7−→ 1.
Up is compact open in Q×
p , with filtration
Upn = 1 + pn Zp ,
n ≥ 1.
Algebraic extensions of Qp
Qp
F/Qp algebraic
| · |p extends uniquely to F
Qp
Zp
Fp
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Zp
∪
pZp
ring of integers
maximal ideal
oF
∪
pF
Fp
residue field
kF = oF /pF
p
prime element
If F/Qp is finite, pF = $F oF
$F
Other groups
pZp
Algebraic extensions of Qp
Qp
F/Qp algebraic
| · |p extends uniquely to F
Qp
Zp
Fp
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Zp
∪
pZp
ring of integers
maximal ideal
oF
∪
pF
Fp
residue field
kF = oF /pF
p
prime element
If F/Qp is finite, pF = $F oF
$F
Other groups
pZp
Unramified F/Qp : only extend the residue field kF /Fp .
Totally ramified F/Qp : only extend the image |F × |p of | · |p .
The Weil group
For F an algebraic extension of Qp , there is a natural map
Motivation
Gal(F/Qp )
/ / Gal(kF /Fp ).
Local Class
Field Theory
Representations
Local
Langlands
Other groups
If kF /Fp is finite then Gal(kF /Fp ) is generated by Frobenius
Frob−1 : x 7→ xp .
The Weil group
For F an algebraic extension of Qp , there is a natural map
Motivation
Gal(F/Qp )
/ / Gal(kF /Fp ).
Local Class
Field Theory
Representations
If kF /Fp is finite then Gal(kF /Fp ) is generated by Frobenius
Local
Langlands
Frob−1 : x 7→ xp .
Other groups
1
/ Ip
/ GQp
/ Gal(Fp /Fp )
/0
The Weil group
For F an algebraic extension of Qp , there is a natural map
Motivation
Gal(F/Qp )
/ / Gal(kF /Fp ).
Local Class
Field Theory
Representations
If kF /Fp is finite then Gal(kF /Fp ) is generated by Frobenius
Local
Langlands
Frob−1 : x 7→ xp .
Other groups
1
/ Ip
/ GQp
O
/ Gal(Fp /Fp )
O
/0
1
/I
p
?
/W
p
?
/ hFrobi
/0
Wp is the Weil group, the inertia group Ip is open in Wp .
Local Class Field Theory
Motivation
There is a natural isomorphism of topological groups
ab
ap : Q×
p −→ Wp ,
Local Class
Field Theory
Representations
Local
Langlands
Other groups
in which p 7−→ Frob; we have
1
/ Up
1
ap
/ I ab
p
/ Q×
p
/Z
/0
/Z
/ 0.
ap
/ W ab
p
Local Class Field Theory
Motivation
Local Class
Field Theory
Dualizing, we get a natural bijection
irreducible representations
1-dimensional
←→ representations of W
of GL1 (Qp )
p
Representations
Local
Langlands
Other groups
We will identify these sets.
Local Class Field Theory
Motivation
Local Class
Field Theory
Dualizing, we get a natural bijection
irreducible representations
1-dimensional
←→ representations of W
of GL1 (Qp )
p
Representations
Local
Langlands
We will identify these sets.
Other groups
The local Langlands correspondence (Harris–Taylor, Henniart)
generalizes this to n-dimensional representations of Wp .
Local Class Field Theory
Motivation
Local Class
Field Theory
Dualizing, we get a natural bijection
irreducible representations
1-dimensional
←→ representations of W
of GL1 (Qp )
p
Representations
Local
Langlands
We will identify these sets.
Other groups
The local Langlands correspondence (Harris–Taylor, Henniart)
generalizes this to n-dimensional representations of Wp .
• Do we just change 1 to n?
Local Class Field Theory
Motivation
Local Class
Field Theory
Dualizing, we get a natural bijection
irreducible representations
1-dimensional
←→ representations of W
of GL1 (Qp )
p
Representations
Local
Langlands
We will identify these sets.
Other groups
The local Langlands correspondence (Harris–Taylor, Henniart)
generalizes this to n-dimensional representations of Wp .
• Do we just change 1 to n?
• What sorts of representations?
Representations of p-adic groups
Motivation
Local Class
Field Theory
A smooth (complex) representation of G = GLn (Qp ) is a
homomorphism
π : G −→ AutC (V),
for V a complex vector space, such that
Representations
Local
Langlands
Other groups
StabG (v) is open, for all v ∈ V.
Representations of p-adic groups
Motivation
Local Class
Field Theory
A smooth (complex) representation of G = GLn (Qp ) is a
homomorphism
π : G −→ AutC (V),
for V a complex vector space, such that
Representations
Local
Langlands
StabG (v) is open, for all v ∈ V.
Other groups
The only finite-dimensional irreducible smooth representations
of G are 1-dimensional, of the form
g 7→ χ(det(g)),
×
for χ : Q×
p → C a (smooth) character.
Representations of p-adic groups
Motivation
Local Class
Field Theory
A smooth (complex) representation of G = GLn (Qp ) is a
homomorphism
π : G −→ AutC (V),
for V a complex vector space, such that
Representations
Local
Langlands
StabG (v) is open, for all v ∈ V.
Other groups
The only finite-dimensional irreducible smooth representations
of G are 1-dimensional, of the form
g 7→ χ(det(g)),
×
for χ : Q×
p → C a (smooth) character.
Schur’s Lemma holds so every irreducible smooth
representation π of G has a central character ωπ : Z(G) → C× .
Langlands Parameters
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
A Langlands parameter for G is a smooth semisimple
n-dimensional representation
ϕ : Wp −→ GLn (C).
Note that we do not require irreducibility.
Langlands Parameters
Motivation
Local Class
Field Theory
Representations
A Langlands parameter for G is a smooth semisimple
n-dimensional representation
ϕ : Wp −→ GLn (C).
Local
Langlands
Note that we do not require irreducibility.
Other groups
Given nowPa number of representations ϕi : Wp → GLni (C)
with n = i ni , we can form their direct sum
M
ϕ=
ϕi : Wp −→ GLn (C),
i
with image in a Levi subgroup.
Parabolic (Harish-Chandra) induction
Given P = M n N a parabolic subgroup of G, we have
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
P/N ' M ' GLn1 (Qp ) × · · · × GLnk (Qp ),
P
with i ni = n. Any irreducible representation of M
decomposes as a tensor product
ρ1 ⊗ · · · ⊗ ρk ,
for ρi an irreducible representation of GLni (Qp ).
Parabolic (Harish-Chandra) induction
Given P = M n N a parabolic subgroup of G, we have
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
P/N ' M ' GLn1 (Qp ) × · · · × GLnk (Qp ),
P
with i ni = n. Any irreducible representation of M
decomposes as a tensor product
ρ1 ⊗ · · · ⊗ ρk ,
for ρi an irreducible representation of GLni (Qp ).
We can form the (normalized) parabolically induced
representation
ρ1 × · · · × ρk := Ind G
P ρ1 ⊗ · · · ⊗ ρk .
The semisimplification of this representation is independent of
the order of the representations ρi .
Parabolic (Harish-Chandra) induction
Motivation
Local Class
Field Theory
An irreducible representation of G which does not appear as a
submodule of any properly parabolically induced representation
is called cuspidal:
Representations
Local
Langlands
Theorem (Harish-Chandra, Jacquet)
Other groups
For any irreducible representation π of G, there is a cuspidal
representation ρ of a Levi subgroup M such that
π is a submodule of Ind G
P ρ,
for some P = M N a parabolic; moreover (M, ρ) is unique up
to conjugacy.
Example: GL2 (Qp )
M = GL1 (Qp ) × GL1 (Qp ) has representations χ1 ⊗ χ2 .
Motivation
Local Class
Field Theory
Representations
Local
Langlands
±1
• If χ1 χ−1
2 6= | · |p then χ1 × χ2 is irreducible;
• If χ1 χ−1
2 = | · |p then χ1 × χ2 has length 2, with
1-dimensional submodule; the quotient is called a
Steinberg representation:
Other groups
−1/2
0 → 1G → | · |1/2
→ StG → 0.
p × | · |p
−1
• If χ1 χ−1
2 = | · |p then we get the same composition
factors, reversed.
All other irreducible representations of G are cuspidal.
Example: GL2 (Qp )
M = GL1 (Qp ) × GL1 (Qp ) has representations χ1 ⊗ χ2 .
Motivation
Local Class
Field Theory
Representations
Local
Langlands
±1
• If χ1 χ−1
2 6= | · |p then χ1 × χ2 is irreducible;
• If χ1 χ−1
2 = | · |p then χ1 × χ2 has length 2, with
1-dimensional submodule; the quotient is called a
Steinberg representation:
Other groups
−1/2
0 → 1G → | · |1/2
→ StG → 0.
p × | · |p
−1
• If χ1 χ−1
2 = | · |p then we get the same composition
factors, reversed.
All other irreducible representations of G are cuspidal.
Following Deligne, we use the representations of SL2 (C) to
distinguish StG from 1G .
Local Langlands Correspondence for GL2
Motivation
Local Class
Field Theory
Representations
Local
Langlands
There is a canonical bijection
(smooth irreducible )
(msmooth W -semisimple )
p
←→
representations
representations
of GL2 (Qp )
Wp × SL2 (C) → GL2 (C)
[Kutzko, 1980]
Other groups
irreducible χ1 × χ2 ←→ χ1 ⊕ χ2 ,
1G ←→ 1 ⊕ 1,
StG ←→ 1 ⊗ St2 ,
cuspidal ←→ irreducible as Wp -representation.
Local Langlands Correspondence for GLn
Representations
There is a canonical bijection
(smooth irreducible )
(msmooth W -semisimple )
p
←→
representations
representations
of GLn (Qp )
Wp × SL2 (C) → GLn (C)
Local
Langlands
[Harris–Taylor, Henniart 1998]
Motivation
Local Class
Field Theory
Other groups
Local Langlands Correspondence for GLn
Representations
There is a canonical bijection
(smooth irreducible )
(msmooth W -semisimple )
p
←→
representations
representations
of GLn (Qp )
Wp × SL2 (C) → GLn (C)
Local
Langlands
[Harris–Taylor, Henniart 1998]
Motivation
Local Class
Field Theory
Other groups
The local Langlands correspondence for GLn reduces to
(irreducible cuspidal )
( irreducible smooth
representations
of GLn (Qp )
←→
semisimple representations
Wp → GLn (C)
)
Local Langlands Correspondence for GLn
Representations
There is a canonical bijection
(smooth irreducible )
(msmooth W -semisimple )
p
←→
representations
representations
of GLn (Qp )
Wp × SL2 (C) → GLn (C)
Local
Langlands
[Harris–Taylor, Henniart 1998]
Motivation
Local Class
Field Theory
Other groups
The local Langlands correspondence for GLn reduces to
(irreducible cuspidal )
( irreducible smooth
representations
of GLn (Qp )
←→
semisimple representations
Wp → GLn (C)
• What does canonical mean here?
)
Local Langlands Correspondence for GLn
Motivation
Local Class
Field Theory
Representations
Local
Langlands
There is a unique system of bijections
(smooth irreducible )
(continuous W -semisimple )
p
rn
−−→
representations
representations
of GLn (Qp )
Wp × SL2 (C) → GLn (C)
such that
Other groups
• r1 is given by local class field theory;
• rn (π ⊗ χ ◦ det) = rn (π) ⊗ r1 (χ);
• r1 (ωπ ) = det rn (π);
• rn respects L-functions L(π1 × π2 , s) and -factors of
pairs of representations.
Cuspidal representations of GLn (Qp )
In order to make use of the Langlands correspondence, it would
be helpful to have an explicit correspondence.
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
Cuspidal representations of GLn (Qp )
In order to make use of the Langlands correspondence, it would
be helpful to have an explicit correspondence.
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Theorem (Bushnell–Kutzko, 1993)
There is an explicit list of pairs (J, λ), consisting of a
compact-mod-centre open subgroup of G = GLn (Qp ) and an
irreducible representation λ of J, such that:
Other groups
• every irreducible cuspidal representation of G is equivalent
to some Ind G
J λ;
G 0
0 0
• Ind G
J λ ' Ind J 0 λ iff (J, λ) is conjugate to (J , λ ).
[Howe–Moy for p > n.]
Cuspidal representations of GLn (Qp )
In order to make use of the Langlands correspondence, it would
be helpful to have an explicit correspondence.
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Theorem (Bushnell–Kutzko, 1993)
There is an explicit list of pairs (J, λ), consisting of a
compact-mod-centre open subgroup of G = GLn (Qp ) and an
irreducible representation λ of J, such that:
Other groups
• every irreducible cuspidal representation of G is equivalent
to some Ind G
J λ;
G 0
0 0
• Ind G
J λ ' Ind J 0 λ iff (J, λ) is conjugate to (J , λ ).
[Howe–Moy for p > n.]
Using this, for p - n, Bushnell–Henniart have given an effective
description of the Langlands correspondence.
Local Langlands Conjecture for Sp2n
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
Local Langlands Conjecture for Sp2n
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
There is a canonical surjective map
(smooth irreducible )
( smooth W -semisimple )
p
−→
representations
representations
of Sp2n (Qp )
Wp × SL2 (C) → SO2n+1 (C)
with finite fibres, called L-packets.
Local Langlands Conjecture for Sp2n
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
There is a canonical surjective map
(smooth irreducible )
( smooth W -semisimple )
p
−→
representations
representations
of Sp2n (Qp )
Wp × SL2 (C) → SO2n+1 (C)
with finite fibres, called L-packets.
• The fibre over ϕ should be in bijection with the set of
irreducible representations of
Aϕ = π0 ZSO2n+1 (C) (ϕ)/Z(SO2n+1 (C)) .
Local Langlands Conjecture for Sp2n
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
There is a canonical surjective map
(smooth irreducible )
( smooth W -semisimple )
p
−→
representations
representations
of Sp2n (Qp )
Wp × SL2 (C) → SO2n+1 (C)
with finite fibres, called L-packets.
• The fibre over ϕ should be in bijection with the set of
irreducible representations of
Aϕ = π0 ZSO2n+1 (C) (ϕ)/Z(SO2n+1 (C)) .
• One would like to reduce to cuspidal representations, but
unfortunately things are not so easy.
Local Langlands Correspondence for Sp4
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
×
Let ω : Q×
p → C be the unramified quadratic character
(trivial on Up and with ω(p) = −1). For G = Sp4 (Qp ), we
have the Langlands parameter
ϕ = ω ⊗ St3 ⊕ ω ⊕ 1.
Here Aϕ is the Klein 4-group so the corresponding L-packet
has cardinality 4.
Local Langlands Correspondence for Sp4
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
×
Let ω : Q×
p → C be the unramified quadratic character
(trivial on Up and with ω(p) = −1). For G = Sp4 (Qp ), we
have the Langlands parameter
ϕ = ω ⊗ St3 ⊕ ω ⊕ 1.
Here Aϕ is the Klein 4-group so the corresponding L-packet
has cardinality 4.
Two of the representations come from
Ind G
P ω| · | ⊗ ω,
where P = M N with M ' GL1 (QP ) × GL1 (Qp ), but the other
two are cuspidal!
Local Langlands Correspondence for Sp4
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
×
Let ω : Q×
p → C be the unramified quadratic character
(trivial on Up and with ω(p) = −1). For G = Sp4 (Qp ), we
have the Langlands parameter
ϕ = ω ⊗ St3 ⊕ ω ⊕ 1.
Here Aϕ is the Klein 4-group so the corresponding L-packet
has cardinality 4.
Two of the representations come from
Ind G
P ω| · | ⊗ ω,
where P = M N with M ' GL1 (QP ) × GL1 (Qp ), but the other
two are cuspidal!
Note: the image of ϕ is not contained in any proper Levi
subgroup of SO5 (C).
Discrete series representations
Motivation
Local Class
Field Theory
Representations
Local
Langlands
The Local Langlands correspondence for GLn (Qp ) reduces to
( irreducible discrete )
(
)
semisimple representations
series representations ←→
Wp × SL2 (C) → GLn (C)
of GLn (Qp )
with image in no Levi sbgp
Other groups
• There is a classification of discrete series representations in
terms of cuspidal representations (Zelevinsky):
they are generalizations of Steinberg representations.
Discrete series representations
The Local Langlands correspondence for Sp2n (Qp ) reduces to
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
( irreducible discrete )
(
)
semisimple representations
series representations −→ Wp × SL2 (C) → SO2n+1 (C)
of Sp2n (Qp )
with image in no Levi sbgp
• There is a classification of discrete series representations in
terms of cuspidal representations (Sally–Tadi´c for n = 2;
Mœglin–Tadi´c in general).
For Sp4 , the two irreducible subquotients of
Ind G
P ω| · | ⊗ ω
are discrete series representations.
Cuspidal representations of Sp2n (Qp ), p 6= 2
Theorem (S. 2008)
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
There is an explicit list of pairs (J, λ), consisting of a compact
open subgroup of G = Sp2n (Qp ) and an irreducible
representation λ of J, such that:
• every irreducible cuspidal representation of G is equivalent
to some Ind G
J λ.
[For sufficiently large p, this is also due to Kim–Yu (for a
general connected reductive group).]
Cuspidal representations of Sp2n (Qp ), p 6= 2
Theorem (S. 2008)
Motivation
Local Class
Field Theory
Representations
Local
Langlands
Other groups
There is an explicit list of pairs (J, λ), consisting of a compact
open subgroup of G = Sp2n (Qp ) and an irreducible
representation λ of J, such that:
• every irreducible cuspidal representation of G is equivalent
to some Ind G
J λ.
[For sufficiently large p, this is also due to Kim–Yu (for a
general connected reductive group).]
The hope is to use this to make the local Langlands
correspondence for Sp2n explicit, at least when p - n.
Motivation
Local Class
Field Theory
Representations
What is the Langlands Programme?
Local
Langlands
Other groups
Shaun Stevens
University of East Anglia
6th March 2012