bernstein components for p-adic groups · 2020. 10. 15. · bernstein components for p-adic groups...
TRANSCRIPT
![Page 1: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/1.jpg)
Bernstein components for p-adic groups
Maarten SolleveldRadboud Universiteit Nijmegen
14 October 2020
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 1 / 28
![Page 2: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/2.jpg)
G : reductive group over a non-archimedean local field FRep(G ): category of smooth complex G -representations
Bernstein decomposition
Direct product of categories Rep(G ) =∏
sRep(G )s
where s is determined by a supercuspidal representation σ of a Levisubgroup M of G
We suppose that M and σ are given
Questions
What does Rep(G )s look like? Is it the module category of an explicitalgebra?
Can one classify Irr(G )s = Irr(G ) ∩ Rep(G )s?
Can one describe tempered/unitary/square-integrable representationsin Rep(G )s?
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 2 / 28
![Page 3: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/3.jpg)
G : reductive group over a non-archimedean local field FRep(G ): category of smooth complex G -representations
Bernstein decomposition
Direct product of categories Rep(G ) =∏
sRep(G )s
where s is determined by a supercuspidal representation σ of a Levisubgroup M of G
We suppose that M and σ are given
Questions
What does Rep(G )s look like? Is it the module category of an explicitalgebra?
Can one classify Irr(G )s = Irr(G ) ∩ Rep(G )s?
Can one describe tempered/unitary/square-integrable representationsin Rep(G )s?
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 2 / 28
![Page 4: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/4.jpg)
G : reductive group over a non-archimedean local field FRep(G ): category of smooth complex G -representations
Bernstein decomposition
Direct product of categories Rep(G ) =∏
sRep(G )s
where s is determined by a supercuspidal representation σ of a Levisubgroup M of G
We suppose that M and σ are given
Questions
What does Rep(G )s look like? Is it the module category of an explicitalgebra?
Can one classify Irr(G )s = Irr(G ) ∩ Rep(G )s?
Can one describe tempered/unitary/square-integrable representationsin Rep(G )s?
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 2 / 28
![Page 5: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/5.jpg)
I. Bernstein components and a rough version ofthe new results
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 3 / 28
![Page 6: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/6.jpg)
Bernstein componentsP = MU: parabolic subgroup of G with Levi factor MIGP : Rep(M)→ Rep(P)→ Rep(G ): normalized parabolic induction
Definition
For π ∈ Irr(G ):
π is supercuspidal if it does not occur in IGP (σ) for any properparabolic subgroup P of G and any σ ∈ Irr(M)
Supercuspidal support Sc(π): a pair (M, σ) with σ ∈ Irr(M), suchthat π is a constituent of IGP (σ) and M is minimal for this property
Xnr(M): group of unramified characters M → C×O ⊂ Irr(M): an Xnr(M)-orbit of supercuspidal irrepss = [M,O]: G -association class of (M,O)
Definition
Irr(G )s = {π ∈ Irr(G ) : Sc(π) ∈ [M,O]}Rep(G )s = {π ∈ Rep(G ) : all irreducible subquotients of π lie in Irr(G )s}
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 4 / 28
![Page 7: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/7.jpg)
Bernstein componentsP = MU: parabolic subgroup of G with Levi factor MIGP : Rep(M)→ Rep(P)→ Rep(G ): normalized parabolic induction
Definition
For π ∈ Irr(G ):
π is supercuspidal if it does not occur in IGP (σ) for any properparabolic subgroup P of G and any σ ∈ Irr(M)
Supercuspidal support Sc(π): a pair (M, σ) with σ ∈ Irr(M), suchthat π is a constituent of IGP (σ) and M is minimal for this property
Xnr(M): group of unramified characters M → C×O ⊂ Irr(M): an Xnr(M)-orbit of supercuspidal irrepss = [M,O]: G -association class of (M,O)
Definition
Irr(G )s = {π ∈ Irr(G ) : Sc(π) ∈ [M,O]}Rep(G )s = {π ∈ Rep(G ) : all irreducible subquotients of π lie in Irr(G )s}
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 4 / 28
![Page 8: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/8.jpg)
Bernstein componentsP = MU: parabolic subgroup of G with Levi factor MIGP : Rep(M)→ Rep(P)→ Rep(G ): normalized parabolic induction
Definition
For π ∈ Irr(G ):
π is supercuspidal if it does not occur in IGP (σ) for any properparabolic subgroup P of G and any σ ∈ Irr(M)
Supercuspidal support Sc(π): a pair (M, σ) with σ ∈ Irr(M), suchthat π is a constituent of IGP (σ) and M is minimal for this property
Xnr(M): group of unramified characters M → C×O ⊂ Irr(M): an Xnr(M)-orbit of supercuspidal irrepss = [M,O]: G -association class of (M,O)
Definition
Irr(G )s = {π ∈ Irr(G ) : Sc(π) ∈ [M,O]}Rep(G )s = {π ∈ Rep(G ) : all irreducible subquotients of π lie in Irr(G )s}
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 4 / 28
![Page 9: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/9.jpg)
Bernstein componentsP = MU: parabolic subgroup of G with Levi factor MIGP : Rep(M)→ Rep(P)→ Rep(G ): normalized parabolic induction
Definition
For π ∈ Irr(G ):
π is supercuspidal if it does not occur in IGP (σ) for any properparabolic subgroup P of G and any σ ∈ Irr(M)
Supercuspidal support Sc(π): a pair (M, σ) with σ ∈ Irr(M), suchthat π is a constituent of IGP (σ) and M is minimal for this property
Xnr(M): group of unramified characters M → C×O ⊂ Irr(M): an Xnr(M)-orbit of supercuspidal irrepss = [M,O]: G -association class of (M,O)
Definition
Irr(G )s = {π ∈ Irr(G ) : Sc(π) ∈ [M,O]}Rep(G )s = {π ∈ Rep(G ) : all irreducible subquotients of π lie in Irr(G )s}
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 4 / 28
![Page 10: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/10.jpg)
Iwahori-spherical component
I : an Iwahori subgroup of G
Rep(G )I ={
(π,V ) ∈ Rep(G ) : V is generated by V I}
The foremost example of a Bernstein component,for s = [M,Xnr(M)] where M is a minimal Levi subgroup of G
Theorem (Borel, Iwahori–Matsumoto, Morris)
H(G , I ) := Cc(I \G/I ) with the convolution product
Rep(G )I is equivalent with Mod(H(G , I ))
H(G , I ) is isomorphic with an affine Hecke algebra
When G is F -split, M = T and these affine Hecke algebras are understoodvery well from Kazhdan–Lusztig
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 5 / 28
![Page 11: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/11.jpg)
Iwahori-spherical component
I : an Iwahori subgroup of G
Rep(G )I ={
(π,V ) ∈ Rep(G ) : V is generated by V I}
The foremost example of a Bernstein component,for s = [M,Xnr(M)] where M is a minimal Levi subgroup of G
Theorem (Borel, Iwahori–Matsumoto, Morris)
H(G , I ) := Cc(I \G/I ) with the convolution product
Rep(G )I is equivalent with Mod(H(G , I ))
H(G , I ) is isomorphic with an affine Hecke algebra
When G is F -split, M = T and these affine Hecke algebras are understoodvery well from Kazhdan–Lusztig
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 5 / 28
![Page 12: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/12.jpg)
Iwahori-spherical component
I : an Iwahori subgroup of G
Rep(G )I ={
(π,V ) ∈ Rep(G ) : V is generated by V I}
The foremost example of a Bernstein component,for s = [M,Xnr(M)] where M is a minimal Levi subgroup of G
Theorem (Borel, Iwahori–Matsumoto, Morris)
H(G , I ) := Cc(I \G/I ) with the convolution product
Rep(G )I is equivalent with Mod(H(G , I ))
H(G , I ) is isomorphic with an affine Hecke algebra
When G is F -split, M = T and these affine Hecke algebras are understoodvery well from Kazhdan–Lusztig
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 5 / 28
![Page 13: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/13.jpg)
Iwahori-spherical component
I : an Iwahori subgroup of G
Rep(G )I ={
(π,V ) ∈ Rep(G ) : V is generated by V I}
The foremost example of a Bernstein component,for s = [M,Xnr(M)] where M is a minimal Levi subgroup of G
Theorem (Borel, Iwahori–Matsumoto, Morris)
H(G , I ) := Cc(I \G/I ) with the convolution product
Rep(G )I is equivalent with Mod(H(G , I ))
H(G , I ) is isomorphic with an affine Hecke algebra
When G is F -split, M = T and these affine Hecke algebras are understoodvery well from Kazhdan–Lusztig
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 5 / 28
![Page 14: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/14.jpg)
Centre of a Bernstein component
NG (M) acts on Rep(M) by (g · σ)(m) = σ(g−1mg)
W (M,O) = {g ∈ NG (M) : g stabilizes O}/M
C[O]: ring of regular functions on the complex torus O
Theorem (Bernstein, 1984)
The centre of Rep(G )s is C[O]W (M,O)
C[O] oC[W (M,O)] := C[O]⊗C C[W (M,O)] with multiplication fromW (M,O)-action on O:
(f ⊗ w)(f ′ ⊗ w ′) = f w(f ′)⊗ ww ′
Main result (first rough version)
Rep(G )s looks like Mod(C[O] oC[W (M,O)]
)Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 6 / 28
![Page 15: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/15.jpg)
Centre of a Bernstein component
NG (M) acts on Rep(M) by (g · σ)(m) = σ(g−1mg)
W (M,O) = {g ∈ NG (M) : g stabilizes O}/M
C[O]: ring of regular functions on the complex torus O
Theorem (Bernstein, 1984)
The centre of Rep(G )s is C[O]W (M,O)
C[O] oC[W (M,O)] := C[O]⊗C C[W (M,O)] with multiplication fromW (M,O)-action on O:
(f ⊗ w)(f ′ ⊗ w ′) = f w(f ′)⊗ ww ′
Main result (first rough version)
Rep(G )s looks like Mod(C[O] oC[W (M,O)]
)Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 6 / 28
![Page 16: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/16.jpg)
Centre of a Bernstein component
NG (M) acts on Rep(M) by (g · σ)(m) = σ(g−1mg)
W (M,O) = {g ∈ NG (M) : g stabilizes O}/M
C[O]: ring of regular functions on the complex torus O
Theorem (Bernstein, 1984)
The centre of Rep(G )s is C[O]W (M,O)
C[O] oC[W (M,O)] := C[O]⊗C C[W (M,O)] with multiplication fromW (M,O)-action on O:
(f ⊗ w)(f ′ ⊗ w ′) = f w(f ′)⊗ ww ′
Main result (first rough version)
Rep(G )s looks like Mod(C[O] oC[W (M,O)]
)Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 6 / 28
![Page 17: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/17.jpg)
Centre of a Bernstein component
NG (M) acts on Rep(M) by (g · σ)(m) = σ(g−1mg)
W (M,O) = {g ∈ NG (M) : g stabilizes O}/M
C[O]: ring of regular functions on the complex torus O
Theorem (Bernstein, 1984)
The centre of Rep(G )s is C[O]W (M,O)
C[O] oC[W (M,O)] := C[O]⊗C C[W (M,O)] with multiplication fromW (M,O)-action on O:
(f ⊗ w)(f ′ ⊗ w ′) = f w(f ′)⊗ ww ′
Main result (first rough version)
Rep(G )s looks like Mod(C[O] oC[W (M,O)]
)Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 6 / 28
![Page 18: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/18.jpg)
Approach with progenerators
Π: progenerator of Rep(G )s
so Π ∈ Rep(G )s is finitely generated, projective and HomG (Π, ρ) 6= 0 forevery ρ ∈ Rep(G )s \ {0}
Lemma (from category theory)
Rep(G )s −→ EndG (Π)−Modρ 7→ HomG (Π, ρ)
V ⊗EndG (Π) Π 7→ V
is an equivalence of categories
Setup of talk
Investigate the structure and the representation theory of EndG (Π),for a suitable progenerator Π of Rep(G )s
Draw consequences for Rep(G )s
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 7 / 28
![Page 19: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/19.jpg)
Approach with progenerators
Π: progenerator of Rep(G )s
so Π ∈ Rep(G )s is finitely generated, projective and HomG (Π, ρ) 6= 0 forevery ρ ∈ Rep(G )s \ {0}
Lemma (from category theory)
Rep(G )s −→ EndG (Π)−Modρ 7→ HomG (Π, ρ)
V ⊗EndG (Π) Π 7→ V
is an equivalence of categories
Setup of talk
Investigate the structure and the representation theory of EndG (Π),for a suitable progenerator Π of Rep(G )s
Draw consequences for Rep(G )s
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 7 / 28
![Page 20: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/20.jpg)
Approach with progenerators
Π: progenerator of Rep(G )s
so Π ∈ Rep(G )s is finitely generated, projective and HomG (Π, ρ) 6= 0 forevery ρ ∈ Rep(G )s \ {0}
Lemma (from category theory)
Rep(G )s −→ EndG (Π)−Modρ 7→ HomG (Π, ρ)
V ⊗EndG (Π) Π 7→ V
is an equivalence of categories
Setup of talk
Investigate the structure and the representation theory of EndG (Π),for a suitable progenerator Π of Rep(G )s
Draw consequences for Rep(G )s
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 7 / 28
![Page 21: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/21.jpg)
Comparison with types
J ⊂ G compact open subgroup, λ ∈ Irr(J)Suppose: (J, λ) is a s-type, so
Rep(G )s = {π ∈ Rep(G ) : π is generated by its λ-isotypical component}
Bushnell–Kutzko: Rep(G )s is equivalent with H(G , J, λ)-Mod
Consequences
H(G , J, λ) and EndG (Π) are Morita equivalent
In many cases EndG (Π) is Morita equivalent with an affine Heckealgebra
Problems:
It is not known whether every Bernstein component admits a type
Even if you have (J, λ), it can be difficult to analyse H(G , J, λ)
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 8 / 28
![Page 22: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/22.jpg)
Comparison with types
J ⊂ G compact open subgroup, λ ∈ Irr(J)Suppose: (J, λ) is a s-type, so
Rep(G )s = {π ∈ Rep(G ) : π is generated by its λ-isotypical component}
Bushnell–Kutzko: Rep(G )s is equivalent with H(G , J, λ)-Mod
Consequences
H(G , J, λ) and EndG (Π) are Morita equivalent
In many cases EndG (Π) is Morita equivalent with an affine Heckealgebra
Problems:
It is not known whether every Bernstein component admits a type
Even if you have (J, λ), it can be difficult to analyse H(G , J, λ)
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 8 / 28
![Page 23: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/23.jpg)
Comparison with types
J ⊂ G compact open subgroup, λ ∈ Irr(J)Suppose: (J, λ) is a s-type, so
Rep(G )s = {π ∈ Rep(G ) : π is generated by its λ-isotypical component}
Bushnell–Kutzko: Rep(G )s is equivalent with H(G , J, λ)-Mod
Consequences
H(G , J, λ) and EndG (Π) are Morita equivalent
In many cases EndG (Π) is Morita equivalent with an affine Heckealgebra
Problems:
It is not known whether every Bernstein component admits a type
Even if you have (J, λ), it can be difficult to analyse H(G , J, λ)
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 8 / 28
![Page 24: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/24.jpg)
II. The structure of supercuspidal Bernsteincomponents
based on work of Roche
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 9 / 28
![Page 25: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/25.jpg)
Underlying tori
σ ∈ Irr(G ) supercuspidalO = {σ ⊗ χ : χ ∈ Xnr(G )}Covering Xnr(G )→ O : χ 7→ σ ⊗ χ
Example: GL2(F )
χ−: quadratic unramified character of GL2(F )It is possible that σ ⊗ χ− ∼= σ,see the book of Bushnell–HenniartThen C× ∼= Xnr(G )→ O is a degree two covering
Xnr(G , σ) := {χ ∈ Xnr(G ) : σ ⊗ χ ∼= σ}, a finite groupXnr(G )/Xnr(G , σ)→ O is bijective, this makes O a complex algebraictorus (as variety)
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 10 / 28
![Page 26: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/26.jpg)
Underlying tori
σ ∈ Irr(G ) supercuspidalO = {σ ⊗ χ : χ ∈ Xnr(G )}Covering Xnr(G )→ O : χ 7→ σ ⊗ χ
Example: GL2(F )
χ−: quadratic unramified character of GL2(F )It is possible that σ ⊗ χ− ∼= σ,see the book of Bushnell–HenniartThen C× ∼= Xnr(G )→ O is a degree two covering
Xnr(G , σ) := {χ ∈ Xnr(G ) : σ ⊗ χ ∼= σ}, a finite groupXnr(G )/Xnr(G , σ)→ O is bijective, this makes O a complex algebraictorus (as variety)
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 10 / 28
![Page 27: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/27.jpg)
Underlying tori
σ ∈ Irr(G ) supercuspidalO = {σ ⊗ χ : χ ∈ Xnr(G )}Covering Xnr(G )→ O : χ 7→ σ ⊗ χ
Example: GL2(F )
χ−: quadratic unramified character of GL2(F )It is possible that σ ⊗ χ− ∼= σ,see the book of Bushnell–HenniartThen C× ∼= Xnr(G )→ O is a degree two covering
Xnr(G , σ) := {χ ∈ Xnr(G ) : σ ⊗ χ ∼= σ}, a finite groupXnr(G )/Xnr(G , σ)→ O is bijective, this makes O a complex algebraictorus (as variety)
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 10 / 28
![Page 28: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/28.jpg)
A progenerator
G 1: subgroup of G generated by all compact subgroupsindGG1(triv,C) = C[G/G 1] ∼= C[Xnr(G )]
Lemma (Bernstein)
For (σ,E ) ∈ Irr(G ) supercuspidalindGG1(σ) = E ⊗C C[Xnr(G )]is a progenerator of Rep(G )s, with s = [G ,O] = [G ,Xnr(G )σ]
Some endomorphisms of E ⊗C C[Xnr(G )]
C[Xnr(G )] ⊂ EndG(E ⊗C C[Xnr(G )]
), by multiplication operators
for χ ∈ Xnr(G , σ): σ ∼= χ⊗ σin combination with translation by χ on Xnr(G ) that gives aφχ ∈ EndG
(E ⊗C C[Xnr(G )]
)Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 11 / 28
![Page 29: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/29.jpg)
A progenerator
G 1: subgroup of G generated by all compact subgroupsindGG1(triv,C) = C[G/G 1] ∼= C[Xnr(G )]
Lemma (Bernstein)
For (σ,E ) ∈ Irr(G ) supercuspidalindGG1(σ) = E ⊗C C[Xnr(G )]is a progenerator of Rep(G )s, with s = [G ,O] = [G ,Xnr(G )σ]
Some endomorphisms of E ⊗C C[Xnr(G )]
C[Xnr(G )] ⊂ EndG(E ⊗C C[Xnr(G )]
), by multiplication operators
for χ ∈ Xnr(G , σ): σ ∼= χ⊗ σin combination with translation by χ on Xnr(G ) that gives aφχ ∈ EndG
(E ⊗C C[Xnr(G )]
)Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 11 / 28
![Page 30: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/30.jpg)
A progenerator
G 1: subgroup of G generated by all compact subgroupsindGG1(triv,C) = C[G/G 1] ∼= C[Xnr(G )]
Lemma (Bernstein)
For (σ,E ) ∈ Irr(G ) supercuspidalindGG1(σ) = E ⊗C C[Xnr(G )]is a progenerator of Rep(G )s, with s = [G ,O] = [G ,Xnr(G )σ]
Some endomorphisms of E ⊗C C[Xnr(G )]
C[Xnr(G )] ⊂ EndG(E ⊗C C[Xnr(G )]
), by multiplication operators
for χ ∈ Xnr(G , σ): σ ∼= χ⊗ σin combination with translation by χ on Xnr(G ) that gives aφχ ∈ EndG
(E ⊗C C[Xnr(G )]
)Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 11 / 28
![Page 31: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/31.jpg)
A progenerator
G 1: subgroup of G generated by all compact subgroupsindGG1(triv,C) = C[G/G 1] ∼= C[Xnr(G )]
Lemma (Bernstein)
For (σ,E ) ∈ Irr(G ) supercuspidalindGG1(σ) = E ⊗C C[Xnr(G )]is a progenerator of Rep(G )s, with s = [G ,O] = [G ,Xnr(G )σ]
Some endomorphisms of E ⊗C C[Xnr(G )]
C[Xnr(G )] ⊂ EndG(E ⊗C C[Xnr(G )]
), by multiplication operators
for χ ∈ Xnr(G , σ): σ ∼= χ⊗ σin combination with translation by χ on Xnr(G ) that gives aφχ ∈ EndG
(E ⊗C C[Xnr(G )]
)Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 11 / 28
![Page 32: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/32.jpg)
Structure of endomorphism algebraFor χ, χ′ ∈ Xnr(G , σ) there exists \(χ, χ′) ∈ C× such that
φχ ◦ φχ′ = \(χ, χ′)φχχ′
This gives a twisted group algebra C[Xnr(G , σ), \] insideEndG
(E ⊗C C[Xnr(G )]
)Theorem (Roche)
EndG(E ⊗C C[Xnr(G )]
) ∼= C[Xnr(G )] oC[Xnr(G , σ), \]
As vector space: C[Xnr(G )]⊗ C[Xnr(G , σ), \], with multiplication
(f ⊗ φχ)(f ′ ⊗ φχ′) = f (f ′ ◦m−1χ )⊗ \(χ, χ′)φχχ′
Properties, from Rep(G )s
Irr(EndG
(E ⊗C C[Xnr(G )]
))←→ Xnr(G )/Xnr(G , σ)←→ O
Z(EndG
(E ⊗C C[Xnr(G )]
)) ∼= C[O]
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 12 / 28
![Page 33: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/33.jpg)
Structure of endomorphism algebraFor χ, χ′ ∈ Xnr(G , σ) there exists \(χ, χ′) ∈ C× such that
φχ ◦ φχ′ = \(χ, χ′)φχχ′
This gives a twisted group algebra C[Xnr(G , σ), \] insideEndG
(E ⊗C C[Xnr(G )]
)Theorem (Roche)
EndG(E ⊗C C[Xnr(G )]
) ∼= C[Xnr(G )] oC[Xnr(G , σ), \]
As vector space: C[Xnr(G )]⊗ C[Xnr(G , σ), \], with multiplication
(f ⊗ φχ)(f ′ ⊗ φχ′) = f (f ′ ◦m−1χ )⊗ \(χ, χ′)φχχ′
Properties, from Rep(G )s
Irr(EndG
(E ⊗C C[Xnr(G )]
))←→ Xnr(G )/Xnr(G , σ)←→ O
Z(EndG
(E ⊗C C[Xnr(G )]
)) ∼= C[O]
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 12 / 28
![Page 34: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/34.jpg)
Structure of endomorphism algebraFor χ, χ′ ∈ Xnr(G , σ) there exists \(χ, χ′) ∈ C× such that
φχ ◦ φχ′ = \(χ, χ′)φχχ′
This gives a twisted group algebra C[Xnr(G , σ), \] insideEndG
(E ⊗C C[Xnr(G )]
)Theorem (Roche)
EndG(E ⊗C C[Xnr(G )]
) ∼= C[Xnr(G )] oC[Xnr(G , σ), \]
As vector space: C[Xnr(G )]⊗ C[Xnr(G , σ), \], with multiplication
(f ⊗ φχ)(f ′ ⊗ φχ′) = f (f ′ ◦m−1χ )⊗ \(χ, χ′)φχχ′
Properties, from Rep(G )s
Irr(EndG
(E ⊗C C[Xnr(G )]
))←→ Xnr(G )/Xnr(G , σ)←→ O
Z(EndG
(E ⊗C C[Xnr(G )]
)) ∼= C[O]
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 12 / 28
![Page 35: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/35.jpg)
Structure of Rep(G )s
Theorem (Roche)
EndG(E ⊗C C[Xnr(G )]
) ∼= C[Xnr(G )] oC[Xnr(G , σ), \]
Rep(G )s ∼= EndG(E ⊗C C[Xnr(G )]
)-Mod
Lemma (Roche, Heiermann)
If ResGG1(σ) is multiplicity-free or \ is trivial,then EndG
(E ⊗C C[Xnr(G )]
)is Morita equivalent with the commutative
algebra C[O] ∼= C[Xnr(G )/Xnr(G , σ)]
Questions
Maybe ResGG1(σ) is always multiplicity-free?Maybe EndG
(E ⊗C C[Xnr(G )]
)is always Morita equivalent with C[O]?
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 13 / 28
![Page 36: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/36.jpg)
Structure of Rep(G )s
Theorem (Roche)
EndG(E ⊗C C[Xnr(G )]
) ∼= C[Xnr(G )] oC[Xnr(G , σ), \]
Rep(G )s ∼= EndG(E ⊗C C[Xnr(G )]
)-Mod
Lemma (Roche, Heiermann)
If ResGG1(σ) is multiplicity-free or \ is trivial,then EndG
(E ⊗C C[Xnr(G )]
)is Morita equivalent with the commutative
algebra C[O] ∼= C[Xnr(G )/Xnr(G , σ)]
Questions
Maybe ResGG1(σ) is always multiplicity-free?Maybe EndG
(E ⊗C C[Xnr(G )]
)is always Morita equivalent with C[O]?
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 13 / 28
![Page 37: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/37.jpg)
Structure of Rep(G )s
Theorem (Roche)
EndG(E ⊗C C[Xnr(G )]
) ∼= C[Xnr(G )] oC[Xnr(G , σ), \]
Rep(G )s ∼= EndG(E ⊗C C[Xnr(G )]
)-Mod
Lemma (Roche, Heiermann)
If ResGG1(σ) is multiplicity-free or \ is trivial,then EndG
(E ⊗C C[Xnr(G )]
)is Morita equivalent with the commutative
algebra C[O] ∼= C[Xnr(G )/Xnr(G , σ)]
Questions
Maybe ResGG1(σ) is always multiplicity-free?Maybe EndG
(E ⊗C C[Xnr(G )]
)is always Morita equivalent with C[O]?
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 13 / 28
![Page 38: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/38.jpg)
III. Structure of non-supercuspidal Bernsteincomponents
Motivated by work of Heiermann for classical p-adic groups
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 14 / 28
![Page 39: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/39.jpg)
A progenerator
P = MU: parabolic subgroup of G , (σ,E ) ∈ Irr(M) supercuspidalO = Xnr(M)σ, s = [M,O]
Theorem (Bernstein)
Π := IGP(E ⊗C C[Xnr(M)]
)is a progenerator of Rep(G )s
In particular Rep(G )s ∼= EndG (Π)-Mod
This is deep, it relies on second adjointness
Via IGP , C[Xnr(M)] embeds in EndG (Π)
Lemma
ρ ∈ Irr(G )s. Suppose that the EndG (Π)-module HomG (Π, ρ) has aC[Xnr(M)]-weight χ.Then ρ has supercuspidal support (M, σ ⊗ χ).
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 15 / 28
![Page 40: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/40.jpg)
A progenerator
P = MU: parabolic subgroup of G , (σ,E ) ∈ Irr(M) supercuspidalO = Xnr(M)σ, s = [M,O]
Theorem (Bernstein)
Π := IGP(E ⊗C C[Xnr(M)]
)is a progenerator of Rep(G )s
In particular Rep(G )s ∼= EndG (Π)-Mod
This is deep, it relies on second adjointness
Via IGP , C[Xnr(M)] embeds in EndG (Π)
Lemma
ρ ∈ Irr(G )s. Suppose that the EndG (Π)-module HomG (Π, ρ) has aC[Xnr(M)]-weight χ.Then ρ has supercuspidal support (M, σ ⊗ χ).
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 15 / 28
![Page 41: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/41.jpg)
A progenerator
P = MU: parabolic subgroup of G , (σ,E ) ∈ Irr(M) supercuspidalO = Xnr(M)σ, s = [M,O]
Theorem (Bernstein)
Π := IGP(E ⊗C C[Xnr(M)]
)is a progenerator of Rep(G )s
In particular Rep(G )s ∼= EndG (Π)-Mod
This is deep, it relies on second adjointness
Via IGP , C[Xnr(M)] embeds in EndG (Π)
Lemma
ρ ∈ Irr(G )s. Suppose that the EndG (Π)-module HomG (Π, ρ) has aC[Xnr(M)]-weight χ.Then ρ has supercuspidal support (M, σ ⊗ χ).
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 15 / 28
![Page 42: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/42.jpg)
A progenerator
P = MU: parabolic subgroup of G , (σ,E ) ∈ Irr(M) supercuspidalO = Xnr(M)σ, s = [M,O]
Theorem (Bernstein)
Π := IGP(E ⊗C C[Xnr(M)]
)is a progenerator of Rep(G )s
In particular Rep(G )s ∼= EndG (Π)-Mod
This is deep, it relies on second adjointness
Via IGP , C[Xnr(M)] embeds in EndG (Π)
Lemma
ρ ∈ Irr(G )s. Suppose that the EndG (Π)-module HomG (Π, ρ) has aC[Xnr(M)]-weight χ.Then ρ has supercuspidal support (M, σ ⊗ χ).
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 15 / 28
![Page 43: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/43.jpg)
Example: SL2(F )M = T , σ = triv, O = Xnr(T ) ∼= C×W (G ,T ) = {1, sα}
Harish-Chandra’s intertwining operator
Isα(χ) : IGP (χ)→ IGP (χ−1), f 7→[g 7→
∫U−α
f (usαg) du]
rational as function of χ ∈ Xnr(T )
EndG (Π) ⊗C[Xnr(T )]
C(Xnr(T )) = C(Xnr(T )) oC[1, Jsα ]
where Jsα comes from Isα , acting as χ 7→ χ−1 on Xnr(T ), J2sα = 1
Singularities of Jsα
at χ ∈ Xnr(T ) with χ(α∨(uniformizer of F )
)= q±1
FFor these χ: IGP (χ) is reducible
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 16 / 28
![Page 44: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/44.jpg)
Example: SL2(F )M = T , σ = triv, O = Xnr(T ) ∼= C×W (G ,T ) = {1, sα}
Harish-Chandra’s intertwining operator
Isα(χ) : IGP (χ)→ IGP (χ−1), f 7→[g 7→
∫U−α
f (usαg) du]
rational as function of χ ∈ Xnr(T )
EndG (Π) ⊗C[Xnr(T )]
C(Xnr(T )) = C(Xnr(T )) oC[1, Jsα ]
where Jsα comes from Isα , acting as χ 7→ χ−1 on Xnr(T ), J2sα = 1
Singularities of Jsα
at χ ∈ Xnr(T ) with χ(α∨(uniformizer of F )
)= q±1
FFor these χ: IGP (χ) is reducible
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 16 / 28
![Page 45: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/45.jpg)
Example: SL2(F )M = T , σ = triv, O = Xnr(T ) ∼= C×W (G ,T ) = {1, sα}
Harish-Chandra’s intertwining operator
Isα(χ) : IGP (χ)→ IGP (χ−1), f 7→[g 7→
∫U−α
f (usαg) du]
rational as function of χ ∈ Xnr(T )
EndG (Π) ⊗C[Xnr(T )]
C(Xnr(T )) = C(Xnr(T )) oC[1, Jsα ]
where Jsα comes from Isα , acting as χ 7→ χ−1 on Xnr(T ), J2sα = 1
Singularities of Jsα
at χ ∈ Xnr(T ) with χ(α∨(uniformizer of F )
)= q±1
FFor these χ: IGP (χ) is reducible
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 16 / 28
![Page 46: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/46.jpg)
Example: SL2(F )M = T , σ = triv, O = Xnr(T ) ∼= C×W (G ,T ) = {1, sα}
Harish-Chandra’s intertwining operator
Isα(χ) : IGP (χ)→ IGP (χ−1), f 7→[g 7→
∫U−α
f (usαg) du]
rational as function of χ ∈ Xnr(T )
EndG (Π) ⊗C[Xnr(T )]
C(Xnr(T )) = C(Xnr(T )) oC[1, Jsα ]
where Jsα comes from Isα , acting as χ 7→ χ−1 on Xnr(T ), J2sα = 1
Singularities of Jsα
at χ ∈ Xnr(T ) with χ(α∨(uniformizer of F )
)= q±1
FFor these χ: IGP (χ) is reducible
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 16 / 28
![Page 47: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/47.jpg)
Finite groups related to (M ,O) and EndG (Π)
Xnr(M, σ), acting on Xnr(M)
W (M,O) = {g ∈ NG (M) : g stabilizes O}/M, acting on OEvery w ∈W (M,O) lifts to a w ∈ Autalg.var.(Xnr(M))
Lemma
There exists a group W (M, σ,Xnr(M)) ⊂ Autalg.var.(Xnr(M)) with
1→ Xnr(M, σ)→W (M, σ,Xnr(M))→W (M,O)→ 1
Example
G = GL6(F ),M = GL2(F )3, σ = τ�3, then Xnr(M) ∼= (C×)3 and
either W (M, σ,Xnr(M)) = W (M,O) ∼= S3
or W (M, σ,Xnr(M)) ∼= (Z/2Z)3 o S3
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 17 / 28
![Page 48: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/48.jpg)
Finite groups related to (M ,O) and EndG (Π)
Xnr(M, σ), acting on Xnr(M)
W (M,O) = {g ∈ NG (M) : g stabilizes O}/M, acting on OEvery w ∈W (M,O) lifts to a w ∈ Autalg.var.(Xnr(M))
Lemma
There exists a group W (M, σ,Xnr(M)) ⊂ Autalg.var.(Xnr(M)) with
1→ Xnr(M, σ)→W (M, σ,Xnr(M))→W (M,O)→ 1
Example
G = GL6(F ),M = GL2(F )3, σ = τ�3, then Xnr(M) ∼= (C×)3 and
either W (M, σ,Xnr(M)) = W (M,O) ∼= S3
or W (M, σ,Xnr(M)) ∼= (Z/2Z)3 o S3
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 17 / 28
![Page 49: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/49.jpg)
Finite groups related to (M ,O) and EndG (Π)
Xnr(M, σ), acting on Xnr(M)
W (M,O) = {g ∈ NG (M) : g stabilizes O}/M, acting on OEvery w ∈W (M,O) lifts to a w ∈ Autalg.var.(Xnr(M))
Lemma
There exists a group W (M, σ,Xnr(M)) ⊂ Autalg.var.(Xnr(M)) with
1→ Xnr(M, σ)→W (M, σ,Xnr(M))→W (M,O)→ 1
Example
G = GL6(F ),M = GL2(F )3, σ = τ�3, then Xnr(M) ∼= (C×)3 and
either W (M, σ,Xnr(M)) = W (M,O) ∼= S3
or W (M, σ,Xnr(M)) ∼= (Z/2Z)3 o S3
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 17 / 28
![Page 50: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/50.jpg)
Structure of EndG (Π)
C(Xnr(M)): quotient field of C[Xnr(M)], rational functions on Xnr(M)
Main result (precise but weak version)
There exist a 2-cocycle \ of W (M, σ,Xnr(M)) and an algebra isomorphism
EndG (Π) ⊗C[Xnr(M)]
C(Xnr(M)) ∼= C(Xnr(M)) oC[W (M, σ,Xnr(M)), \]
In some examples \ is nontrivial
This result only says something about Rep(G )s ∼= EndG (Π)-Modoutside the tricky points of the cuspidal support variety O
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 18 / 28
![Page 51: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/51.jpg)
Structure of EndG (Π)
C(Xnr(M)): quotient field of C[Xnr(M)], rational functions on Xnr(M)
Main result (precise but weak version)
There exist a 2-cocycle \ of W (M, σ,Xnr(M)) and an algebra isomorphism
EndG (Π) ⊗C[Xnr(M)]
C(Xnr(M)) ∼= C(Xnr(M)) oC[W (M, σ,Xnr(M)), \]
In some examples \ is nontrivial
This result only says something about Rep(G )s ∼= EndG (Π)-Modoutside the tricky points of the cuspidal support variety O
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 18 / 28
![Page 52: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/52.jpg)
Structure of EndG (Π)
C(Xnr(M)): quotient field of C[Xnr(M)], rational functions on Xnr(M)
Main result (precise but weak version)
There exist a 2-cocycle \ of W (M, σ,Xnr(M)) and an algebra isomorphism
EndG (Π) ⊗C[Xnr(M)]
C(Xnr(M)) ∼= C(Xnr(M)) oC[W (M, σ,Xnr(M)), \]
In some examples \ is nontrivial
This result only says something about Rep(G )s ∼= EndG (Π)-Modoutside the tricky points of the cuspidal support variety O
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 18 / 28
![Page 53: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/53.jpg)
IV. Links with affine Hecke algebras
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 19 / 28
![Page 54: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/54.jpg)
Sketch of an extended affine Hecke algebra
Start with C[O] oC[W (M,O)]
W (M,O) contains a normal reflection subgroup W (ΣO)
Twist the multiplication in C[W (M,O)] by a 2-cocycle \ ofW (M,O)/W (ΣO)
For every simple reflection sα ∈W (ΣO), replace the relation(sα + 1)(sα − 1) = 0 in C[W (M,O)] by
(Tsα + 1)(Tsα − qλ(α)F ) = 0 for some λ(α) ∈ R≥0
Adjust the multiplication relations between C[O] and the Tsα
This gives an algebra H(O) with the same underlying vector spaceC[O]⊗ C[W (M,O)], C[O] is still a subalgebra
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 20 / 28
![Page 55: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/55.jpg)
Sketch of an extended affine Hecke algebra
Start with C[O] oC[W (M,O)]
W (M,O) contains a normal reflection subgroup W (ΣO)
Twist the multiplication in C[W (M,O)] by a 2-cocycle \ ofW (M,O)/W (ΣO)
For every simple reflection sα ∈W (ΣO), replace the relation(sα + 1)(sα − 1) = 0 in C[W (M,O)] by
(Tsα + 1)(Tsα − qλ(α)F ) = 0 for some λ(α) ∈ R≥0
Adjust the multiplication relations between C[O] and the Tsα
This gives an algebra H(O) with the same underlying vector spaceC[O]⊗ C[W (M,O)], C[O] is still a subalgebra
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 20 / 28
![Page 56: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/56.jpg)
Sketch of an extended affine Hecke algebra
Start with C[O] oC[W (M,O)]
W (M,O) contains a normal reflection subgroup W (ΣO)
Twist the multiplication in C[W (M,O)] by a 2-cocycle \ ofW (M,O)/W (ΣO)
For every simple reflection sα ∈W (ΣO), replace the relation(sα + 1)(sα − 1) = 0 in C[W (M,O)] by
(Tsα + 1)(Tsα − qλ(α)F ) = 0 for some λ(α) ∈ R≥0
Adjust the multiplication relations between C[O] and the Tsα
This gives an algebra H(O) with the same underlying vector spaceC[O]⊗ C[W (M,O)], C[O] is still a subalgebra
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 20 / 28
![Page 57: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/57.jpg)
Localization
We analyse the category of those EndG (Π)-modules, all whoseC[Xnr(M)]-weights lie in a specified subset U ⊂ Xnr(M)These are related to H(O)-modules with C[O]-weights in {σ ⊗ χ : χ ∈ U}
Polar decomposition
Xnr(M) = Hom(M/M1,C×) = Hom(M/M1, S1)×Hom(M/M1,R>0)
= Xunr(M) × X+nr(M)
Fix any u ∈ Hom(M/M1, S1) and define
U = W (M, σ,Xnr(M)) u X+nr(M)
U = image of U in O = W (M,O){σ ⊗ uχ : χ ∈ X+nr(M)}
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 21 / 28
![Page 58: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/58.jpg)
Localization
We analyse the category of those EndG (Π)-modules, all whoseC[Xnr(M)]-weights lie in a specified subset U ⊂ Xnr(M)These are related to H(O)-modules with C[O]-weights in {σ ⊗ χ : χ ∈ U}
Polar decomposition
Xnr(M) = Hom(M/M1,C×) = Hom(M/M1, S1)×Hom(M/M1,R>0)
= Xunr(M) × X+nr(M)
Fix any u ∈ Hom(M/M1, S1) and define
U = W (M, σ,Xnr(M)) u X+nr(M)
U = image of U in O = W (M,O){σ ⊗ uχ : χ ∈ X+nr(M)}
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 21 / 28
![Page 59: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/59.jpg)
Localization
We analyse the category of those EndG (Π)-modules, all whoseC[Xnr(M)]-weights lie in a specified subset U ⊂ Xnr(M)These are related to H(O)-modules with C[O]-weights in {σ ⊗ χ : χ ∈ U}
Polar decomposition
Xnr(M) = Hom(M/M1,C×) = Hom(M/M1, S1)×Hom(M/M1,R>0)
= Xunr(M) × X+nr(M)
Fix any u ∈ Hom(M/M1, S1) and define
U = W (M, σ,Xnr(M)) u X+nr(M)
U = image of U in O = W (M,O){σ ⊗ uχ : χ ∈ X+nr(M)}
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 21 / 28
![Page 60: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/60.jpg)
Main result
G : reductive p-adic groupO = {σ ⊗ χ : χ ∈ Xnr(M)}, s = [M,O]Π: progenerator of Bernstein block Rep(G )s
H(O) constructed by modification of C[O] oC[W (M,O)]
(with certain specific parameters qλ(α)F )
u ∈ Hom(M/M1,S1), U = W (M, σ,Xnr(M)) u X+nr(M)
U : image of U in O
Theorem
There are equivalences between the following categories
{π ∈ Repfl(G )s : Sc(π) ⊂ (M, U)} (fl : finite length)
{V ∈ EndG (Π)−Modfl : all C[Xnr(M)]-weights of V in U}{V ∈ H(O)−Modfl : all C[O]-weights of V in U}
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 22 / 28
![Page 61: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/61.jpg)
Main result
G : reductive p-adic groupO = {σ ⊗ χ : χ ∈ Xnr(M)}, s = [M,O]Π: progenerator of Bernstein block Rep(G )s
H(O) constructed by modification of C[O] oC[W (M,O)]
(with certain specific parameters qλ(α)F )
u ∈ Hom(M/M1,S1), U = W (M, σ,Xnr(M)) u X+nr(M)
U : image of U in O
Theorem
There are equivalences between the following categories
{π ∈ Repfl(G )s : Sc(π) ⊂ (M, U)} (fl : finite length)
{V ∈ EndG (Π)−Modfl : all C[Xnr(M)]-weights of V in U}{V ∈ H(O)−Modfl : all C[O]-weights of V in U}
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 22 / 28
![Page 62: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/62.jpg)
Main result
Theorem
There are equivalences between the following categories
{π ∈ Repfl(G )s : Sc(π) ⊂ U} (fl : finite length)
{V ∈ EndG (Π)−Modfl : all C[Xnr(M)]-weights of V in U}{V ∈ H(O)−Modfl : all C[O]-weights of V in U}
Under a mild condition on the 2-cocycle \ involved in H(O)(conjecturally always fulfilled):
Corollary
There is an equivalence of categories between
Repfl(G )s and H(O)−Modfl
Extras
The above equivalences of categories respect parabolic induction,temperedness and square-integrability of representations
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 23 / 28
![Page 63: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/63.jpg)
Main result
Theorem
There are equivalences between the following categories
{π ∈ Repfl(G )s : Sc(π) ⊂ U} (fl : finite length)
{V ∈ EndG (Π)−Modfl : all C[Xnr(M)]-weights of V in U}{V ∈ H(O)−Modfl : all C[O]-weights of V in U}
Under a mild condition on the 2-cocycle \ involved in H(O)(conjecturally always fulfilled):
Corollary
There is an equivalence of categories between
Repfl(G )s and H(O)−Modfl
Extras
The above equivalences of categories respect parabolic induction,temperedness and square-integrability of representations
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 23 / 28
![Page 64: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/64.jpg)
Main result
Theorem
There are equivalences between the following categories
{π ∈ Repfl(G )s : Sc(π) ⊂ U} (fl : finite length)
{V ∈ EndG (Π)−Modfl : all C[Xnr(M)]-weights of V in U}{V ∈ H(O)−Modfl : all C[O]-weights of V in U}
Under a mild condition on the 2-cocycle \ involved in H(O)(conjecturally always fulfilled):
Corollary
There is an equivalence of categories between
Repfl(G )s and H(O)−Modfl
Extras
The above equivalences of categories respect parabolic induction,temperedness and square-integrability of representations
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 23 / 28
![Page 65: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/65.jpg)
V. Classification of irreducible representations inRep(G )s
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 24 / 28
![Page 66: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/66.jpg)
Representations of affine Hecke algebras
From the equivalence Repfl(G )s ∼= H(O)−Modfl,Irr(G )s can be determined in terms of affine Hecke algebras
The irreps of an affine Hecke algebra are known in principle, but theirclassification is involved
Replacing qF by 1 in affine Hecke algebras
qF = 1-version of H(O) : C[O] oC[W (M,O), \]
Its representation theory is easy, with Clifford theory
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 25 / 28
![Page 67: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/67.jpg)
Representations of affine Hecke algebras
From the equivalence Repfl(G )s ∼= H(O)−Modfl,Irr(G )s can be determined in terms of affine Hecke algebras
The irreps of an affine Hecke algebra are known in principle, but theirclassification is involved
Replacing qF by 1 in affine Hecke algebras
qF = 1-version of H(O) : C[O] oC[W (M,O), \]
Its representation theory is easy, with Clifford theory
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 25 / 28
![Page 68: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/68.jpg)
Classification of tempered irreps
Assume that σ ⊗ u ∈ Irr(M) is supercuspidal and unitary/tempered
Theorem
There exist canonical bijections between the following sets{π ∈ Irr(G )s : π tempered,Sc(π) ∈ (M, σ ⊗ uX+
nr(M))}{
V ∈ Irr(H(O)) : V tempered, V has a C[O]-weight inσ ⊗ uX+
nr(M)}{
V ∈ Irr(C[O] oC[W (M,O), \]) : V tempered, with a C[O]-weightσ ⊗ u
}Irr(C[W (M,O)σ⊗u, \]
)W (M,O)σ⊗u embeds in W (M, σ,Xnr(M))\|W (M,O)σ⊗u
comes from the 2-cocycle \ of W (M, σ,Xnr(M))
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 26 / 28
![Page 69: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/69.jpg)
Classification of tempered irreps
Assume that σ ⊗ u ∈ Irr(M) is supercuspidal and unitary/tempered
Theorem
There exist canonical bijections between the following sets{π ∈ Irr(G )s : π tempered,Sc(π) ∈ (M, σ ⊗ uX+
nr(M))}{
V ∈ Irr(H(O)) : V tempered, V has a C[O]-weight inσ ⊗ uX+
nr(M)}{
V ∈ Irr(C[O] oC[W (M,O), \]) : V tempered, with a C[O]-weightσ ⊗ u
}Irr(C[W (M,O)σ⊗u, \]
)W (M,O)σ⊗u embeds in W (M, σ,Xnr(M))\|W (M,O)σ⊗u
comes from the 2-cocycle \ of W (M, σ,Xnr(M))
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 26 / 28
![Page 70: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/70.jpg)
Classification of tempered irreps
Assume that σ ⊗ u ∈ Irr(M) is supercuspidal and unitary/tempered
Theorem
There exist canonical bijections between the following sets{π ∈ Irr(G )s : π tempered,Sc(π) ∈ (M, σ ⊗ uX+
nr(M))}{
V ∈ Irr(H(O)) : V tempered, V has a C[O]-weight inσ ⊗ uX+
nr(M)}{
V ∈ Irr(C[O] oC[W (M,O), \]) : V tempered, with a C[O]-weightσ ⊗ u
}Irr(C[W (M,O)σ⊗u, \]
)W (M,O)σ⊗u embeds in W (M, σ,Xnr(M))\|W (M,O)σ⊗u
comes from the 2-cocycle \ of W (M, σ,Xnr(M))
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 26 / 28
![Page 71: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/71.jpg)
Classification of tempered irreps
Assume that σ ⊗ u ∈ Irr(M) is supercuspidal and unitary/tempered
Theorem
There exist canonical bijections between the following sets{π ∈ Irr(G )s : π tempered,Sc(π) ∈ (M, σ ⊗ uX+
nr(M))}{
V ∈ Irr(H(O)) : V tempered, V has a C[O]-weight inσ ⊗ uX+
nr(M)}{
V ∈ Irr(C[O] oC[W (M,O), \]) : V tempered, with a C[O]-weightσ ⊗ u
}Irr(C[W (M,O)σ⊗u, \]
)W (M,O)σ⊗u embeds in W (M, σ,Xnr(M))\|W (M,O)σ⊗u
comes from the 2-cocycle \ of W (M, σ,Xnr(M))
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 26 / 28
![Page 72: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/72.jpg)
Classification of irreducible representations
Theorem
There exist canonical bijections between the following sets
Irr(G )s
Irr(C[Xnr(M)] oC[W (M, σ,Xnr(M)), \]
)Irr(C[O] oC[W (M,O), \]
){
(σ′, ρ) : σ′ ∈ O, ρ ∈ Irr(C[W (M,O)σ′ , \])}/
W (M,O)
The last item is also known as a twisted extended quotient
(O//W (M,O))\
The bijection between that and Irr(G )s was conjectured by ABPS
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 27 / 28
![Page 73: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/73.jpg)
Classification of irreducible representations
Theorem
There exist canonical bijections between the following sets
Irr(G )s
Irr(C[Xnr(M)] oC[W (M, σ,Xnr(M)), \]
)Irr(C[O] oC[W (M,O), \]
){
(σ′, ρ) : σ′ ∈ O, ρ ∈ Irr(C[W (M,O)σ′ , \])}/
W (M,O)
The last item is also known as a twisted extended quotient
(O//W (M,O))\
The bijection between that and Irr(G )s was conjectured by ABPS
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 27 / 28
![Page 74: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/74.jpg)
Summary
For an arbitrary Bernstein block Rep(G )s of a reductive p-adic group G :
Repfl(G )s is equivalent with the category of finite length modules ofan extended affine Hecke algebra H(O), whose qF = 1-form isC[O] oC[W (M,O), \]
Upon tensoring with C(Xnr(M)) over C[Xnr(M)], or upon takingirreducible representations, Rep(G )s becomes equivalent withC[Xnr(M)] oC[W (M, σ,Xnr(M)), \]−Mod
Questions / open problems
Can one use the above to study unitarity of G -representations?
Can the parameters qλ(α)F of H(O) be described in terms of σ or O?
Are the λ(α) integers?
How to determine the 2-cocycles \ of W (M, σ,Xnr(M))?
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 28 / 28
![Page 75: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/75.jpg)
Summary
For an arbitrary Bernstein block Rep(G )s of a reductive p-adic group G :
Repfl(G )s is equivalent with the category of finite length modules ofan extended affine Hecke algebra H(O), whose qF = 1-form isC[O] oC[W (M,O), \]
Upon tensoring with C(Xnr(M)) over C[Xnr(M)], or upon takingirreducible representations, Rep(G )s becomes equivalent withC[Xnr(M)] oC[W (M, σ,Xnr(M)), \]−Mod
Questions / open problems
Can one use the above to study unitarity of G -representations?
Can the parameters qλ(α)F of H(O) be described in terms of σ or O?
Are the λ(α) integers?
How to determine the 2-cocycles \ of W (M, σ,Xnr(M))?
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 28 / 28
![Page 76: Bernstein components for p-adic groups · 2020. 10. 15. · Bernstein components for p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen 14 October 2020 Maarten Solleveld,](https://reader036.vdocuments.net/reader036/viewer/2022071408/60ffb5384c48d62dab6f8148/html5/thumbnails/76.jpg)
Summary
For an arbitrary Bernstein block Rep(G )s of a reductive p-adic group G :
Repfl(G )s is equivalent with the category of finite length modules ofan extended affine Hecke algebra H(O), whose qF = 1-form isC[O] oC[W (M,O), \]
Upon tensoring with C(Xnr(M)) over C[Xnr(M)], or upon takingirreducible representations, Rep(G )s becomes equivalent withC[Xnr(M)] oC[W (M, σ,Xnr(M)), \]−Mod
Questions / open problems
Can one use the above to study unitarity of G -representations?
Can the parameters qλ(α)F of H(O) be described in terms of σ or O?
Are the λ(α) integers?
How to determine the 2-cocycles \ of W (M, σ,Xnr(M))?
Maarten Solleveld, Radboud Universiteit Bernstein components for p-adic groups 14 October 2020 28 / 28