![Page 1: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/1.jpg)
Spherical varieties, L-functions, and crystal bases
Jonathan Wang (joint w/ Yiannis Sakellaridis)
MIT
MIT Lie Groups Seminar, September 23, 2020
Notes available at:http://jonathanpwang.com/notes/sphL_talk_notes.pdf
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 1 / 19
![Page 2: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/2.jpg)
Outline
1 What is a spherical variety?
2 Function-theoretic results
3 Geometry
F = Fq((t)), O = Fq[[t]]
k = Fq
G connected split reductive group /Fq
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 2 / 19
k E
![Page 3: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/3.jpg)
What is a spherical variety?
Definition
A G -variety X/Fqis called spherical if Xk is normal and has an open dense
orbit of Bk ⇢ Gk after base change to k
Think of this as a finiteness condition (good combinatorics)Examples:
Toric varieties G = T
Symmetric spaces K\GGroup X = G 0 G 0 ⇥ G 0 = G
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 3 / 19
![Page 4: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/4.jpg)
What is a spherical variety?
Definition
A G -variety X/Fqis called spherical if Xk is normal and has an open dense
orbit of Bk ⇢ Gk after base change to k
Think of this as a finiteness condition (good combinatorics)
Examples:
Toric varieties G = T
Symmetric spaces K\GGroup X = G 0 G 0 ⇥ G 0 = G
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 3 / 19
EA X has finitelymany B orbits
![Page 5: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/5.jpg)
What is a spherical variety?
Definition
A G -variety X/Fqis called spherical if Xk is normal and has an open dense
orbit of Bk ⇢ Gk after base change to k
Think of this as a finiteness condition (good combinatorics)Examples:
Toric varieties G = T
Symmetric spaces K\GGroup X = G 0 G 0 ⇥ G 0 = G
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 3 / 19
![Page 6: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/6.jpg)
Why are they relevant?
Conjecture (Sakellaridis, Sakellaridis–Venkatesh)
For any a�ne spherical G -variety X (*),and an irreducible unitary G (F )-representation ⇡, there is an “integral”
|PX |2⇡ : ⇡ ⌦ ⇡ ! C
involving the IC function of X (O) such that
1 |PX |2⇡ 6= 0 determines a functorial lifting of ⇡ to � 2 Irr(GX (F ))corresponding to a map GX (C) ! G (C),
2 there should exist a GX -representation
⇢X : GX (C) ! GL(VX )
such that |PX |2⇡“=”L(�, ⇢X , s0) for a special value s0.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 4 / 19
![Page 7: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/7.jpg)
Why are they relevant?
Conjecture (Sakellaridis, Sakellaridis–Venkatesh)
For any a�ne spherical G -variety X (*),and an irreducible unitary G (F )-representation ⇡, there is an “integral”
|PX |2⇡ : ⇡ ⌦ ⇡ ! C
involving the IC function of X (O) such that
1 |PX |2⇡ 6= 0 determines a functorial lifting of ⇡ to � 2 Irr(GX (F ))corresponding to a map GX (C) ! G (C),
2 there should exist a GX -representation
⇢X : GX (C) ! GL(VX )
such that |PX |2⇡“=”L(�, ⇢X , s0) for a special value s0.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 4 / 19
![Page 8: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/8.jpg)
Why are they relevant?
Conjecture (Sakellaridis, Sakellaridis–Venkatesh)
For any a�ne spherical G -variety X (*),and an irreducible unitary G (F )-representation ⇡, there is an “integral”
|PX |2⇡ : ⇡ ⌦ ⇡ ! C
involving the IC function of X (O) such that
1 |PX |2⇡ 6= 0 determines a functorial lifting of ⇡ to � 2 Irr(GX (F ))corresponding to a map GX (C) ! G (C),
2 there should exist a GX -representation
⇢X : GX (C) ! GL(VX )
such that |PX |2⇡“=”L(�, ⇢X , s0) for a special value s0.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 4 / 19
![Page 9: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/9.jpg)
Why are they relevant?
Conjecture (Sakellaridis, Sakellaridis–Venkatesh)
For any a�ne spherical G -variety X (*),and an irreducible unitary G (F )-representation ⇡, there is an “integral”
|PX |2⇡ : ⇡ ⌦ ⇡ ! C
involving the IC function of X (O) such that
1 |PX |2⇡ 6= 0 determines a functorial lifting of ⇡ to � 2 Irr(GX (F ))corresponding to a map GX (C) ! G (C),
2 there should exist a GX -representation
⇢X : GX (C) ! GL(VX )
such that |PX |2⇡“=”L(�, ⇢X , s0) for a special value s0.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 4 / 19
WEft
Excel Eid
![Page 10: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/10.jpg)
Why are they relevant?
Conjecture (Sakellaridis, Sakellaridis–Venkatesh)
For any a�ne spherical G -variety X (*),and an irreducible unitary G (F )-representation ⇡, there is an “integral”
|PX |2⇡ : ⇡ ⌦ ⇡ ! C
involving the IC function of X (O) such that
1 |PX |2⇡ 6= 0 determines a functorial lifting of ⇡ to � 2 Irr(GX (F ))corresponding to a map GX (C) ! G (C),
2 there should exist a GX -representation
⇢X : GX (C) ! GL(VX )
such that |PX |2⇡“=”L(�, ⇢X , s0) for a special value s0.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 4 / 19
Later Ex IO
m
oG F
![Page 11: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/11.jpg)
Some history on GX
Goal: a map GX ! G with finite kernel
TX is easy to define
Little Weyl group WX and spherical root systemSymmetric variety: Cartan ’27Spherical variety: Luna–Vust ’83, Brion ’90; reflection group offundamental domainIrreducible G -variety: Knop ’90, ’93, ’94; moment map, invariantdi↵erential operators
Gaitsgory–Nadler ’06: define subgroup GGN
X⇢ G using Tannakian
formalism
Sakellaridis–Venkatesh ’12: normalized root system, define GX ! Gcombinatorially with image GGN
Xunder assumptions about GN
Knop–Schalke ’17: define GX ! G combinatorially unconditionally
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 5 / 19
![Page 12: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/12.jpg)
Some history on GX
Goal: a map GX ! G with finite kernel
TX is easy to define
Little Weyl group WX and spherical root systemSymmetric variety: Cartan ’27Spherical variety: Luna–Vust ’83, Brion ’90; reflection group offundamental domainIrreducible G -variety: Knop ’90, ’93, ’94; moment map, invariantdi↵erential operators
Gaitsgory–Nadler ’06: define subgroup GGN
X⇢ G using Tannakian
formalism
Sakellaridis–Venkatesh ’12: normalized root system, define GX ! Gcombinatorially with image GGN
Xunder assumptions about GN
Knop–Schalke ’17: define GX ! G combinatorially unconditionally
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 5 / 19
![Page 13: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/13.jpg)
Some history on GX
Goal: a map GX ! G with finite kernel
TX is easy to define
Little Weyl group WX and spherical root systemSymmetric variety: Cartan ’27
Spherical variety: Luna–Vust ’83, Brion ’90; reflection group offundamental domainIrreducible G -variety: Knop ’90, ’93, ’94; moment map, invariantdi↵erential operators
Gaitsgory–Nadler ’06: define subgroup GGN
X⇢ G using Tannakian
formalism
Sakellaridis–Venkatesh ’12: normalized root system, define GX ! Gcombinatorially with image GGN
Xunder assumptions about GN
Knop–Schalke ’17: define GX ! G combinatorially unconditionally
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 5 / 19
![Page 14: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/14.jpg)
Some history on GX
Goal: a map GX ! G with finite kernel
TX is easy to define
Little Weyl group WX and spherical root systemSymmetric variety: Cartan ’27Spherical variety: Luna–Vust ’83, Brion ’90; reflection group offundamental domain
Irreducible G -variety: Knop ’90, ’93, ’94; moment map, invariantdi↵erential operators
Gaitsgory–Nadler ’06: define subgroup GGN
X⇢ G using Tannakian
formalism
Sakellaridis–Venkatesh ’12: normalized root system, define GX ! Gcombinatorially with image GGN
Xunder assumptions about GN
Knop–Schalke ’17: define GX ! G combinatorially unconditionally
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 5 / 19
![Page 15: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/15.jpg)
Some history on GX
Goal: a map GX ! G with finite kernel
TX is easy to define
Little Weyl group WX and spherical root systemSymmetric variety: Cartan ’27Spherical variety: Luna–Vust ’83, Brion ’90; reflection group offundamental domainIrreducible G -variety: Knop ’90, ’93, ’94; moment map, invariantdi↵erential operators
Gaitsgory–Nadler ’06: define subgroup GGN
X⇢ G using Tannakian
formalism
Sakellaridis–Venkatesh ’12: normalized root system, define GX ! Gcombinatorially with image GGN
Xunder assumptions about GN
Knop–Schalke ’17: define GX ! G combinatorially unconditionally
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 5 / 19
TH g DWG
![Page 16: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/16.jpg)
Some history on GX
Goal: a map GX ! G with finite kernel
TX is easy to define
Little Weyl group WX and spherical root systemSymmetric variety: Cartan ’27Spherical variety: Luna–Vust ’83, Brion ’90; reflection group offundamental domainIrreducible G -variety: Knop ’90, ’93, ’94; moment map, invariantdi↵erential operators
Gaitsgory–Nadler ’06: define subgroup GGN
X⇢ G using Tannakian
formalism
Sakellaridis–Venkatesh ’12: normalized root system, define GX ! Gcombinatorially with image GGN
Xunder assumptions about GN
Knop–Schalke ’17: define GX ! G combinatorially unconditionally
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 5 / 19
![Page 17: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/17.jpg)
Some history on GX
Goal: a map GX ! G with finite kernel
TX is easy to define
Little Weyl group WX and spherical root systemSymmetric variety: Cartan ’27Spherical variety: Luna–Vust ’83, Brion ’90; reflection group offundamental domainIrreducible G -variety: Knop ’90, ’93, ’94; moment map, invariantdi↵erential operators
Gaitsgory–Nadler ’06: define subgroup GGN
X⇢ G using Tannakian
formalism
Sakellaridis–Venkatesh ’12: normalized root system, define GX ! Gcombinatorially with image GGN
Xunder assumptions about GN
Knop–Schalke ’17: define GX ! G combinatorially unconditionally
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 5 / 19
![Page 18: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/18.jpg)
X G GX VX
Usual Langlands G 0 G 0 ⇥ G 0 G 0 g0
Whittaker normal-ization
(N, )\G G 0
Hecke Gm\PGL2 G = SL2 T ⇤std
Rankin–Selberg,Jacquet–Piatetski-Shapiro–Shalika
H\GLn ⇥ GLn =GLn ⇥ An
G T ⇤(std⌦std)
Gan–Gross–Prasad SO2n\SO2n+1⇥SO2nG = SO2n ⇥Sp2n
std⌦ std
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 6 / 19
w
![Page 19: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/19.jpg)
X G GX VX
Usual Langlands G 0 G 0 ⇥ G 0 G 0 g0
Whittaker normal-ization
(N, )\G G 0
Hecke Gm\PGL2 G = SL2 T ⇤std
Rankin–Selberg,Jacquet–Piatetski-Shapiro–Shalika
H\GLn ⇥ GLn =GLn ⇥ An
G T ⇤(std⌦std)
Gan–Gross–Prasad SO2n\SO2n+1⇥SO2nG = SO2n ⇥Sp2n
std⌦ std
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 6 / 19
CNN.MG coca Nitw
![Page 20: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/20.jpg)
X G GX VX
Usual Langlands G 0 G 0 ⇥ G 0 G 0 g0
Whittaker normal-ization
(N, )\G G 0
Hecke Gm\PGL2 G = SL2 T ⇤std
Rankin–Selberg,Jacquet–Piatetski-Shapiro–Shalika
H\GLn ⇥ GLn =GLn ⇥ An
G T ⇤(std⌦std)
Gan–Gross–Prasad SO2n\SO2n+1⇥SO2nG = SO2n ⇥Sp2n
std⌦ std
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 6 / 19
f U U U
![Page 21: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/21.jpg)
X G GX VX
Usual Langlands G 0 G 0 ⇥ G 0 G 0 g0
Whittaker normal-ization
(N, )\G G 0
Hecke Gm\PGL2 G = SL2 T ⇤std
Rankin–Selberg,Jacquet–Piatetski-Shapiro–Shalika
H\GLn ⇥ GLn =GLn ⇥ An
G T ⇤(std⌦std)
Gan–Gross–Prasad SO2n\SO2n+1⇥SO2nG = SO2n ⇥Sp2n
std⌦ std
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 6 / 19
X gH diagonal GLnxGLn Gmirabolic
![Page 22: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/22.jpg)
X G GX VX
Usual Langlands G 0 G 0 ⇥ G 0 G 0 g0
Whittaker normal-ization
(N, )\G G 0
Hecke Gm\PGL2 G = SL2 T ⇤std
Rankin–Selberg,Jacquet–Piatetski-Shapiro–Shalika
H\GLn ⇥ GLn =GLn ⇥ An
G T ⇤(std⌦std)
Gan–Gross–Prasad SO2n\SO2n+1⇥SO2nG = SO2n ⇥Sp2n
std⌦ std
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 6 / 19
mm
![Page 23: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/23.jpg)
Example (Sakellaridis)
G = GL⇥n
2 ⇥Gm, H =
( a x1
1
!⇥
a x21
!⇥ · · ·⇥
a xn
1
!⇥ a
����� x1 + · · ·+ xn = 0
)
X = H\G
GX = G = GL⇥n
2 ⇥Gm
VX = T ⇤(std⌦n
2 ⌦ std1).
To find new interesting examples, need to consider singular X 6= H\G .
Theorem (Luna, Richardson)
H\G is a�ne if and only if H is reductive
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 7 / 19
![Page 24: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/24.jpg)
Example (Sakellaridis)
G = GL⇥n
2 ⇥Gm, H =
( a x1
1
!⇥
a x21
!⇥ · · ·⇥
a xn
1
!⇥ a
����� x1 + · · ·+ xn = 0
)
X = H\G
GX = G = GL⇥n
2 ⇥Gm
VX = T ⇤(std⌦n
2 ⌦ std1).
To find new interesting examples, need to consider singular X 6= H\G .
Theorem (Luna, Richardson)
H\G is a�ne if and only if H is reductive
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 7 / 19
![Page 25: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/25.jpg)
Example (Sakellaridis)
G = GL⇥n
2 ⇥Gm, H =
( a x1
1
!⇥
a x21
!⇥ · · ·⇥
a xn
1
!⇥ a
����� x1 + · · ·+ xn = 0
)
X = H\G
GX = G = GL⇥n
2 ⇥Gm
VX = T ⇤(std⌦n
2 ⌦ std1).
To find new interesting examples, need to consider singular X 6= H\G .
Theorem (Luna, Richardson)
H\G is a�ne if and only if H is reductive
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 7 / 19
![Page 26: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/26.jpg)
GX = G
For this talk, assume GX = G (and X has no type N roots). [‘N’ is fornormalizer]
Equivalent to:
(Base change to k)
X has open B-orbit X � ⇠= B
X �P↵/R(P↵) ⇠= Gm\PGL2 for every simple ↵, P↵ � B
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 8 / 19
Avoid OMGLn
![Page 27: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/27.jpg)
GX = G
For this talk, assume GX = G (and X has no type N roots). [‘N’ is fornormalizer]
Equivalent to:
(Base change to k)
X has open B-orbit X � ⇠= B
X �P↵/R(P↵) ⇠= Gm\PGL2 for every simple ↵, P↵ � B
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 8 / 19
Xo c Xo Eq
our
PHRCpo PGL2
![Page 28: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/28.jpg)
Sakellaridis–Venkatesh a la Bernstein
Definition
Fix x0 2 X �(Fq) in open B-orbit. Define the X -Radon transform
⇡! : C1c (X (F ))G(O) ! C1(N(F )\G (F ))G(O)
by
⇡!�(g) :=
Z
N(F )�(x0ng)dn, g 2 G (F )
⇡!� is a function on N(F )\G (F )/G (O) = T (F )/T (O) = ⇤.
Related:
spherical functions (unramified Hecke eigenfunction) on X (F )
unramified Plancherel measure on X (F )
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 9 / 19
asymptotics
run
![Page 29: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/29.jpg)
Sakellaridis–Venkatesh a la Bernstein
Definition
Fix x0 2 X �(Fq) in open B-orbit. Define the X -Radon transform
⇡! : C1c (X (F ))G(O) ! C1(N(F )\G (F ))G(O)
by
⇡!�(g) :=
Z
N(F )�(x0ng)dn, g 2 G (F )
⇡!� is a function on N(F )\G (F )/G (O) = T (F )/T (O) = ⇤.
Related:
spherical functions (unramified Hecke eigenfunction) on X (F )
unramified Plancherel measure on X (F )
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 9 / 19
um
![Page 30: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/30.jpg)
Sakellaridis–Venkatesh a la Bernstein
Definition
Fix x0 2 X �(Fq) in open B-orbit. Define the X -Radon transform
⇡! : C1c (X (F ))G(O) ! C1(N(F )\G (F ))G(O)
by
⇡!�(g) :=
Z
N(F )�(x0ng)dn, g 2 G (F )
⇡!� is a function on N(F )\G (F )/G (O) = T (F )/T (O) = ⇤.
Related:
spherical functions (unramified Hecke eigenfunction) on X (F )
unramified Plancherel measure on X (F )
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 9 / 19
![Page 31: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/31.jpg)
Sakellaridis–Venkatesh a la Bernstein
Definition
Fix x0 2 X �(Fq) in open B-orbit. Define the X -Radon transform
⇡! : C1c (X (F ))G(O) ! C1(N(F )\G (F ))G(O)
by
⇡!�(g) :=
Z
N(F )�(x0ng)dn, g 2 G (F )
⇡!� is a function on N(F )\G (F )/G (O) = T (F )/T (O) = ⇤.
Related:
spherical functions (unramified Hecke eigenfunction) on X (F )
unramified Plancherel measure on X (F )
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 9 / 19
![Page 32: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/32.jpg)
Conjecture 1 (Sakellaridis–Venkatesh)
Assume GX = G and X has no type N roots.
There exists a symplectic VX 2 Rep(G ) with a T polarizationVX = V+
X� (V+
X)⇤ such that
⇡!�ICX (O)=
Q↵2�+
G
(1� q�1e↵)Q
�2wt(V+X)(1� q�
12 e �)
2 Fn(⇤)
where e � is the indicator function of �, e �eµ = e �+µ
Mellin transform of right hand side gives
� 2 T (C) 7!L(�,V+
X, 12)
L(�, n, 1), this is “half” of
L(�,VX ,12)
L(�, g/t, 1)
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 10 / 19
![Page 33: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/33.jpg)
Conjecture 1 (Sakellaridis–Venkatesh)
Assume GX = G and X has no type N roots.There exists a symplectic VX 2 Rep(G ) with a T polarizationVX = V+
X� (V+
X)⇤ such that
⇡!�ICX (O)=
Q↵2�+
G
(1� q�1e↵)Q
�2wt(V+X)(1� q�
12 e �)
2 Fn(⇤)
where e � is the indicator function of �, e �eµ = e �+µ
Mellin transform of right hand side gives
� 2 T (C) 7!L(�,V+
X, 12)
L(�, n, 1), this is “half” of
L(�,VX ,12)
L(�, g/t, 1)
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 10 / 19
![Page 34: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/34.jpg)
Conjecture 1 (Sakellaridis–Venkatesh)
Assume GX = G and X has no type N roots.There exists a symplectic VX 2 Rep(G ) with a T polarizationVX = V+
X� (V+
X)⇤ such that
⇡!�ICX (O)=
Q↵2�+
G
(1� q�1e↵)Q
�2wt(V+X)(1� q�
12 e �)
2 Fn(⇤)
where e � is the indicator function of �, e �eµ = e �+µ
Mellin transform of right hand side gives
� 2 T (C) 7!L(�,V+
X, 12)
L(�, n, 1), this is “half” of
L(�,VX ,12)
L(�, g/t, 1)
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 10 / 19
Tie Eo Cq e'In
![Page 35: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/35.jpg)
Conjecture 1 (Sakellaridis–Venkatesh)
Assume GX = G and X has no type N roots.There exists a symplectic VX 2 Rep(G ) with a T polarizationVX = V+
X� (V+
X)⇤ such that
⇡!�ICX (O)=
Q↵2�+
G
(1� q�1e↵)Q
�2wt(V+X)(1� q�
12 e �)
2 Fn(⇤)
where e � is the indicator function of �, e �eµ = e �+µ
Mellin transform of right hand side gives
� 2 T (C) 7!L(�,V+
X, 12)
L(�, n, 1), this is “half” of
L(�,VX ,12)
L(�, g/t, 1)
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 10 / 19
IxEx Vy of
YINKA
et Ek isnormalizat
Warning Vf never E repe g Heche atd VI Glo lo 1
![Page 36: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/36.jpg)
Previous work
Conjecture 1 (possibly with GX 6= G ) was proved in the following cases:
Sakellaridis (’08, ’13):X = H\G and H is reductive (i↵ H\G is a�ne), no assumption on GX
doesn’t consider X ) H\GBraverman–Finkelberg–Gaitsgory–Mirkovic [BFGM] ’02:
X = N�\G , GX = T , VX = n
Bouthier–Ngo–Sakellaridis [BNS] ’16:X toric variety, G = T , GX = T , weights of VX correspond to latticegenerators of a coneX � G 0 is L-monoid, G = G 0 ⇥ G 0, GX = G 0, VX = g0 � V �
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 11 / 19
![Page 37: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/37.jpg)
Previous work
Conjecture 1 (possibly with GX 6= G ) was proved in the following cases:
Sakellaridis (’08, ’13):X = H\G and H is reductive (i↵ H\G is a�ne), no assumption on GX
doesn’t consider X ) H\G
Braverman–Finkelberg–Gaitsgory–Mirkovic [BFGM] ’02:
X = N�\G , GX = T , VX = n
Bouthier–Ngo–Sakellaridis [BNS] ’16:X toric variety, G = T , GX = T , weights of VX correspond to latticegenerators of a coneX � G 0 is L-monoid, G = G 0 ⇥ G 0, GX = G 0, VX = g0 � V �
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 11 / 19
functiontheoretic smooth
![Page 38: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/38.jpg)
Previous work
Conjecture 1 (possibly with GX 6= G ) was proved in the following cases:
Sakellaridis (’08, ’13):X = H\G and H is reductive (i↵ H\G is a�ne), no assumption on GX
doesn’t consider X ) H\GBraverman–Finkelberg–Gaitsgory–Mirkovic [BFGM] ’02:
X = N�\G , GX = T , VX = n
Bouthier–Ngo–Sakellaridis [BNS] ’16:X toric variety, G = T , GX = T , weights of VX correspond to latticegenerators of a coneX � G 0 is L-monoid, G = G 0 ⇥ G 0, GX = G 0, VX = g0 � V �
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 11 / 19
m
![Page 39: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/39.jpg)
Previous work
Conjecture 1 (possibly with GX 6= G ) was proved in the following cases:
Sakellaridis (’08, ’13):X = H\G and H is reductive (i↵ H\G is a�ne), no assumption on GX
doesn’t consider X ) H\GBraverman–Finkelberg–Gaitsgory–Mirkovic [BFGM] ’02:
X = N�\G , GX = T , VX = n
Bouthier–Ngo–Sakellaridis [BNS] ’16:X toric variety, G = T , GX = T , weights of VX correspond to latticegenerators of a cone
X � G 0 is L-monoid, G = G 0 ⇥ G 0, GX = G 0, VX = g0 � V �
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 11 / 19
![Page 40: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/40.jpg)
Previous work
Conjecture 1 (possibly with GX 6= G ) was proved in the following cases:
Sakellaridis (’08, ’13):X = H\G and H is reductive (i↵ H\G is a�ne), no assumption on GX
doesn’t consider X ) H\GBraverman–Finkelberg–Gaitsgory–Mirkovic [BFGM] ’02:
X = N�\G , GX = T , VX = n
Bouthier–Ngo–Sakellaridis [BNS] ’16:X toric variety, G = T , GX = T , weights of VX correspond to latticegenerators of a coneX � G 0 is L-monoid, G = G 0 ⇥ G 0, GX = G 0, VX = g0 � V �
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 11 / 19
function theoretic
O
I
![Page 41: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/41.jpg)
Theorem (Sakellaridis–W)
Assume X a�ne spherical, GX = G and X has no type N roots. Then
⇡!�ICX (O)=
Q↵2�+
G
(1� q�1e↵)Q
�2wt(V+X)(1� q�
12 e �)
for some V+X
2 Rep(T ) such that:
1 V 0X:= V+
X� (V+
X)⇤ has action of (SL2)↵ for every simple root ↵
We do not check Serre relations
2 Assuming V 0Xsatisfies Serre relations (so it is a G -rep), we determine
its highest weights with multiplicities (in terms of X )
(2) gives recipe for conjectural VX in terms of XIf VX is minuscule, then VX = V 0
X.
Proposition
If X = H\G with H reductive, then VX is minuscule.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 12 / 19
![Page 42: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/42.jpg)
Theorem (Sakellaridis–W)
Assume X a�ne spherical, GX = G and X has no type N roots. Then
⇡!�ICX (O)=
Q↵2�+
G
(1� q�1e↵)Q
�2wt(V+X)(1� q�
12 e �)
for some V+X
2 Rep(T ) such that:
1 V 0X:= V+
X� (V+
X)⇤ has action of (SL2)↵ for every simple root ↵
We do not check Serre relations
2 Assuming V 0Xsatisfies Serre relations (so it is a G -rep), we determine
its highest weights with multiplicities (in terms of X )
(2) gives recipe for conjectural VX in terms of XIf VX is minuscule, then VX = V 0
X.
Proposition
If X = H\G with H reductive, then VX is minuscule.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 12 / 19
m
![Page 43: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/43.jpg)
Theorem (Sakellaridis–W)
Assume X a�ne spherical, GX = G and X has no type N roots. Then
⇡!�ICX (O)=
Q↵2�+
G
(1� q�1e↵)Q
�2wt(V+X)(1� q�
12 e �)
for some V+X
2 Rep(T ) such that:
1 V 0X:= V+
X� (V+
X)⇤ has action of (SL2)↵ for every simple root ↵
We do not check Serre relations
2 Assuming V 0Xsatisfies Serre relations (so it is a G -rep), we determine
its highest weights with multiplicities (in terms of X )
(2) gives recipe for conjectural VX in terms of XIf VX is minuscule, then VX = V 0
X.
Proposition
If X = H\G with H reductive, then VX is minuscule.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 12 / 19
![Page 44: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/44.jpg)
Theorem (Sakellaridis–W)
Assume X a�ne spherical, GX = G and X has no type N roots. Then
⇡!�ICX (O)=
Q↵2�+
G
(1� q�1e↵)Q
�2wt(V+X)(1� q�
12 e �)
for some V+X
2 Rep(T ) such that:
1 V 0X:= V+
X� (V+
X)⇤ has action of (SL2)↵ for every simple root ↵
We do not check Serre relations
2 Assuming V 0Xsatisfies Serre relations (so it is a G -rep), we determine
its highest weights with multiplicities (in terms of X )
(2) gives recipe for conjectural VX in terms of XIf VX is minuscule, then VX = V 0
X.
Proposition
If X = H\G with H reductive, then VX is minuscule.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 12 / 19
![Page 45: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/45.jpg)
Theorem (Sakellaridis–W)
Assume X a�ne spherical, GX = G and X has no type N roots. Then
⇡!�ICX (O)=
Q↵2�+
G
(1� q�1e↵)Q
�2wt(V+X)(1� q�
12 e �)
for some V+X
2 Rep(T ) such that:
1 V 0X:= V+
X� (V+
X)⇤ has action of (SL2)↵ for every simple root ↵
We do not check Serre relations
2 Assuming V 0Xsatisfies Serre relations (so it is a G -rep), we determine
its highest weights with multiplicities (in terms of X )
(2) gives recipe for conjectural VX in terms of X
If VX is minuscule, then VX = V 0X.
Proposition
If X = H\G with H reductive, then VX is minuscule.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 12 / 19
e
![Page 46: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/46.jpg)
Theorem (Sakellaridis–W)
Assume X a�ne spherical, GX = G and X has no type N roots. Then
⇡!�ICX (O)=
Q↵2�+
G
(1� q�1e↵)Q
�2wt(V+X)(1� q�
12 e �)
for some V+X
2 Rep(T ) such that:
1 V 0X:= V+
X� (V+
X)⇤ has action of (SL2)↵ for every simple root ↵
We do not check Serre relations
2 Assuming V 0Xsatisfies Serre relations (so it is a G -rep), we determine
its highest weights with multiplicities (in terms of X )
(2) gives recipe for conjectural VX in terms of XIf VX is minuscule, then VX = V 0
X.
Proposition
If X = H\G with H reductive, then VX is minuscule.
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 12 / 19
reduce tocases G ss runk2
![Page 47: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/47.jpg)
Enter geometry
Base change to k = Fq (or k = C)XO(k) = X (k[[t]])
XF(k) = X (k((t)))
Problem: XO is an infinite type scheme
Bouthier–Ngo–Sakellaridis: IC function still makes sense byGrinberg–Kazhdan theorem
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 13 / 19
![Page 48: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/48.jpg)
Enter geometry
Base change to k = Fq (or k = C)XO(k) = X (k[[t]])
XF(k) = X (k((t)))
Problem: XO is an infinite type scheme
Bouthier–Ngo–Sakellaridis: IC function still makes sense byGrinberg–Kazhdan theorem
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 13 / 19
no perversesheaves
![Page 49: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/49.jpg)
Enter geometry
Base change to k = Fq (or k = C)XO(k) = X (k[[t]])
XF(k) = X (k((t)))
Problem: XO is an infinite type scheme
Bouthier–Ngo–Sakellaridis: IC function still makes sense byGrinberg–Kazhdan theorem
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 13 / 19
char 0
![Page 50: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/50.jpg)
Zastava space
Drinfeld’s proof of Grinberg–Kazhdan theorem gives an explicit model forXO:
Definition
Let C be a smooth curve over k . Define
Y = Mapsgen(C ,X/B � X �/B)
Following Finkelberg–Mirkovic, we call this the Zastava space of X .
Fact: Y is an infinite disjoint union of finite type schemes.
Y
A
\{⇤-valued divisors on C}
⇡
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 14 / 19
X B
![Page 51: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/51.jpg)
Zastava space
Drinfeld’s proof of Grinberg–Kazhdan theorem gives an explicit model forXO:
Definition
Let C be a smooth curve over k . Define
Y = Mapsgen(C ,X/B � X �/B)
Following Finkelberg–Mirkovic, we call this the Zastava space of X .
Fact: Y is an infinite disjoint union of finite type schemes.
Y
A
\{⇤-valued divisors on C}
⇡
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 14 / 19
f c KBfun x B p
![Page 52: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/52.jpg)
Zastava space
Drinfeld’s proof of Grinberg–Kazhdan theorem gives an explicit model forXO:
Definition
Let C be a smooth curve over k . Define
Y = Mapsgen(C ,X/B � X �/B)
Following Finkelberg–Mirkovic, we call this the Zastava space of X .
Fact: Y is an infinite disjoint union of finite type schemes.
Y
A
\{⇤-valued divisors on C}
⇡
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 14 / 19
X
![Page 53: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/53.jpg)
Zastava space
Drinfeld’s proof of Grinberg–Kazhdan theorem gives an explicit model forXO:
Definition
Let C be a smooth curve over k . Define
Y = Mapsgen(C ,X/B � X �/B)
Following Finkelberg–Mirkovic, we call this the Zastava space of X .
Fact: Y is an infinite disjoint union of finite type schemes.
Y
A
\{⇤-valued divisors on C}
⇡
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 14 / 19
![Page 54: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/54.jpg)
Zastava space
Drinfeld’s proof of Grinberg–Kazhdan theorem gives an explicit model forXO:
Definition
Let C be a smooth curve over k . Define
Y = Mapsgen(C ,X/B � X �/B)
Following Finkelberg–Mirkovic, we call this the Zastava space of X .
Fact: Y is an infinite disjoint union of finite type schemes.
Y
A
\{⇤-valued divisors on C}
⇡
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 14 / 19
y C 7 113u U
O f C Erik pt
a II ri
![Page 55: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/55.jpg)
Define the central fiber Y� = ⇡�1(� · v) for a single point v 2 C (k).
Y Y�
A � · v
Graded factorization property
The fiber ⇡�1(�1v1 + �2v2) for distinct v1, v2 is isomorphic to Y�1 ⇥ Y�2 .
Upshot
⇡!�ICXO(t �) = tr(Fr, (⇡!ICY)|⇤�·v )
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 15 / 19
it
![Page 56: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/56.jpg)
Define the central fiber Y� = ⇡�1(� · v) for a single point v 2 C (k).
Y Y�
A � · v
Graded factorization property
The fiber ⇡�1(�1v1 + �2v2) for distinct v1, v2 is isomorphic to Y�1 ⇥ Y�2 .
Upshot
⇡!�ICXO(t �) = tr(Fr, (⇡!ICY)|⇤�·v )
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 15 / 19
m
![Page 57: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/57.jpg)
Define the central fiber Y� = ⇡�1(� · v) for a single point v 2 C (k).
Y Y�
A � · v
Graded factorization property
The fiber ⇡�1(�1v1 + �2v2) for distinct v1, v2 is isomorphic to Y�1 ⇥ Y�2 .
Upshot
⇡!�ICXO(t �) = tr(Fr, (⇡!ICY)|⇤�·v )
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 15 / 19
![Page 58: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/58.jpg)
Semi-small map
Can compactify ⇡ to proper map ⇡ : Y ! A.
Theorem (Sakellaridis–W)
Under previous assumptions, ⇡ : Y ! A is stratified semi-small. Inparticular, ⇡!ICY is perverse.
If Y is smooth, then semi-smallness amounts to the inequality
dimY� crit(�)
Decomposition theorem + factorization property imply
Euler product
tr(Fr, (⇡!ICY)|⇤?·v ) =
1Q
�2B+(1� q�12 e �)
B+ = irred. components of Y�of dim = crit(�) as � varies
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 16 / 19
Special EyEG
w
![Page 59: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/59.jpg)
Semi-small map
Can compactify ⇡ to proper map ⇡ : Y ! A.
Theorem (Sakellaridis–W)
Under previous assumptions, ⇡ : Y ! A is stratified semi-small. Inparticular, ⇡!ICY is perverse.
If Y is smooth, then semi-smallness amounts to the inequality
dimY� crit(�)
Decomposition theorem + factorization property imply
Euler product
tr(Fr, (⇡!ICY)|⇤?·v ) =
1Q
�2B+(1� q�12 e �)
B+ = irred. components of Y�of dim = crit(�) as � varies
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 16 / 19
s
![Page 60: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/60.jpg)
Semi-small map
Can compactify ⇡ to proper map ⇡ : Y ! A.
Theorem (Sakellaridis–W)
Under previous assumptions, ⇡ : Y ! A is stratified semi-small. Inparticular, ⇡!ICY is perverse.
If Y is smooth, then semi-smallness amounts to the inequality
dimY� crit(�)
Decomposition theorem + factorization property imply
Euler product
tr(Fr, (⇡!ICY)|⇤?·v ) =
1Q
�2B+(1� q�12 e �)
B+ = irred. components of Y�of dim = crit(�) as � varies
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 16 / 19
F vs Y
![Page 61: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/61.jpg)
Semi-small map
Can compactify ⇡ to proper map ⇡ : Y ! A.
Theorem (Sakellaridis–W)
Under previous assumptions, ⇡ : Y ! A is stratified semi-small. Inparticular, ⇡!ICY is perverse.
If Y is smooth, then semi-smallness amounts to the inequality
dimY� crit(�)
Decomposition theorem + factorization property imply
Euler product
tr(Fr, (⇡!ICY)|⇤?·v ) =
1Q
�2B+(1� q�12 e �)
B+ = irred. components of Y�of dim = crit(�) as � varies
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 16 / 19
relevant stratum supportedatv
![Page 62: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/62.jpg)
B+ = irred. components of Y�of dim = crit(�) as � varies
Define V+X
to have basis B+
Formally set B = B+ t (B+)⇤, so (B+)⇤ is a basis of (V+X)⇤
Theorem (Sakellaridis–W)
B has the structure of a (Kashiwara) crystal, i.e., graph with weightedvertices and edges $ raising/lowering operators e↵, f↵
Crystal basis is the (Lusztig) canonical basis at q = 0 of a f.d.Uq(g)-module.
f.d. G -representation crystal basis 2 {crystals}
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 17 / 19
![Page 63: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/63.jpg)
B+ = irred. components of Y�of dim = crit(�) as � varies
Define V+X
to have basis B+
Formally set B = B+ t (B+)⇤, so (B+)⇤ is a basis of (V+X)⇤
Theorem (Sakellaridis–W)
B has the structure of a (Kashiwara) crystal, i.e., graph with weightedvertices and edges $ raising/lowering operators e↵, f↵
Crystal basis is the (Lusztig) canonical basis at q = 0 of a f.d.Uq(g)-module.
f.d. G -representation crystal basis 2 {crystals}
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 17 / 19
![Page 64: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/64.jpg)
B+ = irred. components of Y�of dim = crit(�) as � varies
Define V+X
to have basis B+
Formally set B = B+ t (B+)⇤, so (B+)⇤ is a basis of (V+X)⇤
Theorem (Sakellaridis–W)
B has the structure of a (Kashiwara) crystal, i.e., graph with weightedvertices and edges $ raising/lowering operators e↵, f↵
Crystal basis is the (Lusztig) canonical basis at q = 0 of a f.d.Uq(g)-module.
f.d. G -representation crystal basis 2 {crystals}
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 17 / 19
In rn
I 5
![Page 65: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/65.jpg)
B+ = irred. components of Y�of dim = crit(�) as � varies
Define V+X
to have basis B+
Formally set B = B+ t (B+)⇤, so (B+)⇤ is a basis of (V+X)⇤
Theorem (Sakellaridis–W)
B has the structure of a (Kashiwara) crystal, i.e., graph with weightedvertices and edges $ raising/lowering operators e↵, f↵
Crystal basis is the (Lusztig) canonical basis at q = 0 of a f.d.Uq(g)-module.
f.d. G -representation crystal basis 2 {crystals}
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 17 / 19
F Fso
![Page 66: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/66.jpg)
B+ = irred. components of Y�of dim = crit(�) as � varies
Define V+X
to have basis B+
Formally set B = B+ t (B+)⇤, so (B+)⇤ is a basis of (V+X)⇤
Theorem (Sakellaridis–W)
B has the structure of a (Kashiwara) crystal, i.e., graph with weightedvertices and edges $ raising/lowering operators e↵, f↵
Crystal basis is the (Lusztig) canonical basis at q = 0 of a f.d.Uq(g)-module.
f.d. G -representation crystal basis 2 {crystals}
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 17 / 19
![Page 67: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/67.jpg)
B+ = irred. components of Y�of dim = crit(�) as � varies
Define V+X
to have basis B+
Formally set B = B+ t (B+)⇤, so (B+)⇤ is a basis of (V+X)⇤
Theorem (Sakellaridis–W)
B has the structure of a (Kashiwara) crystal, i.e., graph with weightedvertices and edges $ raising/lowering operators e↵, f↵
Crystal basis is the (Lusztig) canonical basis at q = 0 of a f.d.Uq(g)-module.
f.d. G -representation crystal basis 2 {crystals}
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 17 / 19
q l 9 0
![Page 68: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/68.jpg)
Conjecture 2
B is the crystal basis for a finite dimensional G -representation VX .
Conjecture 2 implies Conjecture 1 (B $ V 0X).
Conjecture 2 resembles geometric constructions of crystal bases byLusztig, Braverman–Gaitsgory, Kamnitzer involving irreduciblecomponents of GrG
Y�,Y� ⇢ GrG
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 18 / 19
![Page 69: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/69.jpg)
Conjecture 2
B is the crystal basis for a finite dimensional G -representation VX .
Conjecture 2 implies Conjecture 1 (B $ V 0X).
Conjecture 2 resembles geometric constructions of crystal bases byLusztig, Braverman–Gaitsgory, Kamnitzer involving irreduciblecomponents of GrG
Y�,Y� ⇢ GrG
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 18 / 19
S N.pt e Gra X HIr
Y as qq.atd9
Y xc5X Us fetafeet
determined
ngt a nyxa xoria
![Page 70: Spherical varieties, L-functions, and crystal bases](https://reader031.vdocuments.us/reader031/viewer/2022011901/61d6225ab60cac7c5e5f7106/html5/thumbnails/70.jpg)
Jonathan Wang (MIT) Spherical varieties, L-functions, crystals September 23, 2020 19 / 19