![Page 1: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/1.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Expanding Hall-Littlewood polynomials in thedual Grothendieck basis
Jason Bandlow(Joint work with Jennifer Morse)
University of Pennsylvania
October 23, 2009
![Page 2: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/2.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Outline
1 Classical symmetric function theory
2 Hall-Littlewood polynomials
3 Grothendieck functions
![Page 3: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/3.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Symmetric Functions
What is a symmetric function?• Formal power series in Q[x1, x2, . . . ] which is• invariant under permutation of indices.
Example
x21 + x2
2 + x23 + · · · ∈ Λ
x1 + 2x2 + x3 + 2x4 + · · · 6∈ Λ
![Page 4: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/4.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Symmetric Functions
What is a symmetric function?• Formal power series in Q[x1, x2, . . . ] which is• invariant under permutation of indices.
Example
x21 + x2
2 + x23 + · · · ∈ Λ
x1 + 2x2 + x3 + 2x4 + · · · 6∈ Λ
![Page 5: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/5.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Symmetric Functions
What are they good for?
• Representation Theory• Geometry/Topology• Mathematical Physics• Beautiful Mathematics
![Page 6: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/6.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Symmetric Functions
What are they good for?• Representation Theory• Geometry/Topology• Mathematical Physics
• Beautiful Mathematics
![Page 7: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/7.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Symmetric Functions
What are they good for?• Representation Theory• Geometry/Topology• Mathematical Physics• Beautiful Mathematics
![Page 8: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/8.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The monomial basis
The monomial symmetric functions are indexed by partitions
λ = (λ1, λ2, . . . , λk ) λi ≥ λi+1
mλ =∑
monomials whose exponent sequence is
a rearrangement of λ
Example
m(2,1) =(x21 x2 + x1x2
2 ) + (x1x23 + x2
1 x3) + . . .
+ (x22 x3 + x2x2
3 ) + . . .
![Page 9: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/9.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The monomial basis
The monomial symmetric functions are indexed by partitions
λ = (λ1, λ2, . . . , λk ) λi ≥ λi+1
mλ =∑
monomials whose exponent sequence is
a rearrangement of λ
Example
m(2,1) =(x21 x2 + x1x2
2 ) + (x1x23 + x2
1 x3) + . . .
+ (x22 x3 + x2x2
3 ) + . . .
![Page 10: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/10.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The complete homogeneous basis
The (complete) homogeneous symmetric function is defined by
hi =∑
all monomials of degree i
hλ = hλ1hλ2 . . . hλk
Example
h(3) = m(3) + m(2,1) + m(1,1,1)
h(4,2,1) = h4h2h1
![Page 11: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/11.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The complete homogeneous basis
The (complete) homogeneous symmetric function is defined by
hi =∑
all monomials of degree i
hλ = hλ1hλ2 . . . hλk
Example
h(3) = m(3) + m(2,1) + m(1,1,1)
h(4,2,1) = h4h2h1
![Page 12: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/12.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The Hall inner product
(Due to Philip Hall 1959) Defined by
〈hλ,mµ〉 =
{1 if λ = µ
0 otherwise
Proposition
If {fλ}, {f ∗λ} are dual bases and
fλ =∑µ
Mλ,µmµ
thenhµ =
∑λ
Mλ,µf ∗λ
![Page 13: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/13.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The Hall inner product
(Due to Philip Hall 1959) Defined by
〈hλ,mµ〉 =
{1 if λ = µ
0 otherwise
Proposition
If {fλ}, {f ∗λ} are dual bases and
fλ =∑µ
Mλ,µmµ
thenhµ =
∑λ
Mλ,µf ∗λ
![Page 14: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/14.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Semistandard Young tableaux
A left and bottom justified array of numbers, weakly increasingacross rows and strictly increasing up columns.
Example
7 75 6 6 83 3 4 71 1 2 2 2
Shape: (5,4,4,2)Weight: (2,3,2,1,1,2,3,1)
![Page 15: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/15.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Semistandard Young tableaux
A left and bottom justified array of numbers, weakly increasingacross rows and strictly increasing up columns.
Example
7 75 6 6 83 3 4 71 1 2 2 2
Shape: (5,4,4,2)
Weight: (2,3,2,1,1,2,3,1)
![Page 16: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/16.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Semistandard Young tableaux
A left and bottom justified array of numbers, weakly increasingacross rows and strictly increasing up columns.
Example
7 75 6 6 83 3 4 71 1 2 2 2
Shape: (5,4,4,2)Weight: (2,3,2,1,1,2,3,1)
![Page 17: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/17.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The Schur basis
DefinitionThe Schur functions are given by
sλ =∑
T∈SSYT (λ)
xweight(T )
Example
s(2,1) = x21 x2+ x1x2
2 + 2x1x2x3+ · · ·21 1
21 2
31 2
21 3
· · ·
Fact: Schur functions are a self-dual basis of the symmetricfunctions.
![Page 18: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/18.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The Schur basis
DefinitionThe Schur functions are given by
sλ =∑
T∈SSYT (λ)
xweight(T )
Example
s(2,1) = x21 x2+ x1x2
2 + 2x1x2x3+ · · ·21 1
21 2
31 2
21 3
· · ·
Fact: Schur functions are a self-dual basis of the symmetricfunctions.
![Page 19: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/19.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The Schur basis
DefinitionThe Schur functions are given by
sλ =∑
T∈SSYT (λ)
xweight(T )
Example
s(2,1) = x21 x2+ x1x2
2 + 2x1x2x3+ · · ·21 1
21 2
31 2
21 3
· · ·
Fact: Schur functions are a self-dual basis of the symmetricfunctions.
![Page 20: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/20.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The Kostka numbers
Definition
The Kostka numbers are defined by
Kλ,µ = # of SSYT(λ, µ)
It follows that
sλ =∑µ
Kλ,µmµ
hµ =∑λ
Kλ,µsλ
The matrix Kλ,µ is non-negative, integral and uni-triangular.
![Page 21: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/21.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The Kostka numbers
Definition
The Kostka numbers are defined by
Kλ,µ = # of SSYT(λ, µ)
It follows that
sλ =∑µ
Kλ,µmµ
hµ =∑λ
Kλ,µsλ
The matrix Kλ,µ is non-negative, integral and uni-triangular.
![Page 22: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/22.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The Kostka numbers
Definition
The Kostka numbers are defined by
Kλ,µ = # of SSYT(λ, µ)
It follows that
sλ =∑µ
Kλ,µmµ
hµ =∑λ
Kλ,µsλ
The matrix Kλ,µ is non-negative, integral and uni-triangular.
![Page 23: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/23.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Interpretations as• Irreducible characters of GLn
• Irreducible characters of Sn
• Cohomology classes of the Grassmannian
among others.
![Page 24: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/24.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Interpretations as• Irreducible characters of GLn
• Irreducible characters of Sn
• Cohomology classes of the Grassmannianamong others.
![Page 25: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/25.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Hall-Littlewood functions
The Hall-Littlewood functions form a basis for the symmetricfunctions with coefficient ring Q[t ]. Interpretations as• Deformation of Weyl character formula• Graded Sn character of certain cohomology rings• Representation theory of matrices over finite fields
among others.
![Page 26: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/26.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Hall-Littlewood functions
Fact: Hall-Littlewood functions interpolate between the Schurand homogeneous symmetric functions.
Example
H(1,1,1)[X ; t ] = s(1,1,1) + (t2 + t)s(2,1) + t3s(3)
H(1,1,1)[X ; 0] = s(1,1,1)
H(1,1,1)[X ; 1] = s(1,1,1) + 2s(2,1) + s(3) = h(1,1,1)
![Page 27: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/27.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Hall-Littlewood functions
Fact: Hall-Littlewood functions interpolate between the Schurand homogeneous symmetric functions.
Example
H(1,1,1)[X ; t ] = s(1,1,1) + (t2 + t)s(2,1) + t3s(3)
H(1,1,1)[X ; 0] = s(1,1,1)
H(1,1,1)[X ; 1] = s(1,1,1) + 2s(2,1) + s(3) = h(1,1,1)
![Page 28: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/28.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Hall-Littlewood functions
The fact that Hµ[X ; 1] = hµ together with the fact
hµ =∑λ
Kλ,µsλ
implies
Hµ[X ; t ] =∑λ
Kλ,µ(t)sλ
where Kλ,µ(1) = Kλ,µ. This led Foulkes to conjecture
Kλ,µ(t) =∑
T∈SSYT (λ,µ)
tstat(T )
![Page 29: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/29.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Hall-Littlewood functions
Theorem (Lascoux-Schützenberger)
Kλ,µ(t) =∑
T∈SSYT (λ,µ)
tcharge(T )
where charge is a non-negative integer statistic defined ontableaux.
Example
h(1,1,1) = s(1,1,1)+ 2s(2,1)+ s(3)
321
31 2
21 3 1 2 3
H(1,1,1)[X ; t ] = t0s(1,1,1)+ (t2 + t)s(2,1)+ t3s(3)
![Page 30: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/30.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Hall-Littlewood functions
Theorem (Lascoux-Schützenberger)
Kλ,µ(t) =∑
T∈SSYT (λ,µ)
tcharge(T )
where charge is a non-negative integer statistic defined ontableaux.
Example
h(1,1,1) = s(1,1,1)+ 2s(2,1)+ s(3)
321
31 2
21 3 1 2 3
H(1,1,1)[X ; t ] = t0s(1,1,1)+ (t2 + t)s(2,1)+ t3s(3)
![Page 31: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/31.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The charge statistic
Example
3 42 2 31 1 1 2
3 4 2 2 3 1 1 1 2
![Page 32: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/32.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The charge statistic
Example
3 42 2 31 1 1 2
03 4 2 2 3 1 1 1 2
![Page 33: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/33.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The charge statistic
Example
3 42 2 31 1 1 2
0 03 4 2 2 3 1 1 1 2
![Page 34: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/34.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The charge statistic
Example
3 42 2 31 1 1 2
0 0 03 4 2 2 3 1 1 1 2
![Page 35: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/35.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The charge statistic
Example
3 42 2 31 1 1 2
0 1 0 03 4 2 2 3 1 1 1 2
![Page 36: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/36.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The charge statistic
Example
3 42 2 31 1 1 2
0 1 0 0 03 4 2 2 3 1 1 1 2
![Page 37: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/37.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The charge statistic
Example
3 42 2 31 1 1 2
0 1 0 0 0 03 4 2 2 3 1 1 1 2
![Page 38: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/38.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The charge statistic
Example
3 42 2 31 1 1 2
0 1 0 0 1 0 03 4 2 2 3 1 1 1 2
![Page 39: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/39.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The charge statistic
Example
3 42 2 31 1 1 2
0 1 0 0 1 0 0 03 4 2 2 3 1 1 1 2
![Page 40: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/40.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
The charge statistic
Example
3 42 2 31 1 1 2
0 1 0 0 1 0 0 0 13 4 2 2 3 1 1 1 2
charge(T ) = 3
![Page 41: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/41.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Grothendieck functions
• Introduced by Lascoux-Schützenberger (1982)• Represent K -theory classes of structure sheaves of
Schubert varieties• Not homogeneous.• Sign alternating by degree
Example
G(1) = s(1) − s(1,1) + s(1,1,1) − s(1,1,1,1) + . . .
![Page 42: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/42.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Grothendieck functions
• Introduced by Lascoux-Schützenberger (1982)• Represent K -theory classes of structure sheaves of
Schubert varieties• Not homogeneous.• Sign alternating by degree
Example
G(1) = s(1) − s(1,1) + s(1,1,1) − s(1,1,1,1) + . . .
![Page 43: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/43.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Grothendieck functions
• Introduced by Lascoux-Schützenberger (1982)• Represent K -theory classes of structure sheaves of
Schubert varieties• Not homogeneous.• Sign alternating by degree
Example
G(1) = s(1) − s(1,1) + s(1,1,1) − s(1,1,1,1) + . . .
![Page 44: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/44.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Grothendieck functions
Theorem (Buch 2002)
Gλ =∑
Lλ,µ(−1)|µ|−|λ|mµ
where Lλ,µ is the number of set-valued tableaux of shape λand weight µ.
![Page 45: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/45.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Set-valued tableaux
Example
234 45
1 12 3
shape(T ) = (3,2)weight(T ) = (2,2,2,2,1)
FromGλ =
∑µ
Lλ,µ(−1)|µ|−|λ|mµ
we seeGλ = sλ ± higher degree terms
![Page 46: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/46.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Set-valued tableaux
Example
234 45
1 12 3
shape(T ) = (3,2)weight(T ) = (2,2,2,2,1)
FromGλ =
∑µ
Lλ,µ(−1)|µ|−|λ|mµ
we seeGλ = sλ ± higher degree terms
![Page 47: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/47.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Set-valued tableaux
Example
234 45
1 12 3
shape(T ) = (3,2)weight(T ) = (2,2,2,2,1)
FromGλ =
∑µ
Lλ,µ(−1)|µ|−|λ|mµ
we seeGλ = sλ ± higher degree terms
![Page 48: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/48.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Dual Grothendieck functions
The expansion
Gλ =∑µ
Lλ,µ(−1)|µ|−|λ|mµ
gives an implicit expansion of the dual basis by
hµ =∑λ
Lλ,µ(−1)|µ|−|λ|gλ
Example
g(2,1) = s(2,1) + s(2)
Fact: gλ is a positive, finite sum of Schur functions.
![Page 49: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/49.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Dual Grothendieck functions
The expansion
Gλ =∑µ
Lλ,µ(−1)|µ|−|λ|mµ
gives an implicit expansion of the dual basis by
hµ =∑λ
Lλ,µ(−1)|µ|−|λ|gλ
Example
g(2,1) = s(2,1) + s(2)
Fact: gλ is a positive, finite sum of Schur functions.
![Page 50: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/50.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Hall-Littlewoods and dual Grothendieck functions
The expansion
hµ =∑λ
Lλ,µ(−1)|µ|−|λ|gλ
raises the question: Is the matrix Lλ,µ(t) defined by
Hµ[X ; t ] =∑λ
Lλ,µ(t)(−1)|µ|−|λ|gλ
nice?
![Page 51: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/51.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Hall-Littlewoods and dual Grothendieck functions
Theorem (B-M)
Hµ[X ; t ] =∑λ
Lλ,µ(t)(−1)|µ|−|λ|gλ
whereLλ,µ(t) =
∑T∈SVT (λ,µ)
tcharge(T ).
Compare with
Hµ[X ; t ] =∑λ
Kλ,µ(t)sλ
whereKλ,µ(t) =
∑T∈SSYT (λ,µ)
tcharge(T ).
![Page 52: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/52.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Hall-Littlewoods and dual Grothendieck functions
Example
h(3,2) =
g(5) +g(4,1) +g(3,2) −g(3,1) −g(4)
1 1 1 2 2 21 1 1 2
2 21 1 1
21 1 12 1 1 12 2
H(3,2)[X ; t ] =
t2g(5) +t1g(4,1) +t0g(3,2) −t0g(3,1) −t1g(4)
![Page 53: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/53.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Charge and set-valued tableaux
The definition of charge is almost identical to the classical case.
Example
234 45
1 12 3
4 3 2 5 4 1 2 1 3
![Page 54: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/54.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Charge and set-valued tableaux
The definition of charge is almost identical to the classical case.
Example
234 45
1 12 3
04 3 2 5 4 1 2 1 3
![Page 55: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/55.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Charge and set-valued tableaux
The definition of charge is almost identical to the classical case.
Example
234 45
1 12 3
0 04 3 2 5 4 1 2 1 3
![Page 56: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/56.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Charge and set-valued tableaux
The definition of charge is almost identical to the classical case.
Example
234 45
1 12 3
0 0 04 3 2 5 4 1 2 1 3
![Page 57: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/57.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Charge and set-valued tableaux
The definition of charge is almost identical to the classical case.
Example
234 45
1 12 3
0 0 0 04 3 2 5 4 1 2 1 3
![Page 58: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/58.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Charge and set-valued tableaux
The definition of charge is almost identical to the classical case.
Example
234 45
1 12 3
0 0 1 0 04 3 2 5 4 1 2 1 3
![Page 59: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/59.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Charge and set-valued tableaux
The definition of charge is almost identical to the classical case.
Example
234 45
1 12 3
0 0 1 0 0 04 3 2 5 4 1 2 1 3
![Page 60: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/60.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Charge and set-valued tableaux
The definition of charge is almost identical to the classical case.
Example
234 45
1 12 3
0 0 0 1 0 0 04 3 2 5 4 1 2 1 3
![Page 61: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/61.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Charge and set-valued tableaux
The definition of charge is almost identical to the classical case.
Example
234 45
1 12 3
0 0 0 1 0 0 0 14 3 2 5 4 1 2 1 3
![Page 62: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/62.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Charge and set-valued tableaux
The definition of charge is almost identical to the classical case.
Example
234 45
1 12 3
0 0 0 1 1 0 0 0 14 3 2 5 4 1 2 1 3
charge(T ) = 3
![Page 63: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/63.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Dual Grothendieck functions
Lam and Pylyavskyy gave a monomial expansion of the gλ.
gλ =∑µ
Mλ,µmµ
Mλ,µ is the number of reverse plane partitions of shape λ and“weight” µ.
Example
2 32 2 41 2 21 1 1 1
shape(T ) = (4,3,3,2)weight(T ) = (4,3,1,1)
![Page 64: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/64.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Dual Grothendieck functions
Lam and Pylyavskyy gave a monomial expansion of the gλ.
gλ =∑µ
Mλ,µmµ
Mλ,µ is the number of reverse plane partitions of shape λ and“weight” µ.
Example
2 32 2 41 2 21 1 1 1
shape(T ) = (4,3,3,2)weight(T ) = (4,3,1,1)
![Page 65: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/65.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
To showHµ[X ; t ] =
∑λ
Lλ,µ(t)(−1)|µ|−|λ|gλ
we show
Hµ[X ; t ] =∑λ
Lλ,µ(t)(−1)|µ|−|λ|∑ν
Mλ,νmν
by a sign-reversing involution (S,T )↔ (S,T )S: SVT of shape λ and weight µT : RPP of shape λ and weight νsgn(S,T ) : (−1)|µ|−|λ|
Fixed points: |µ| = |λ| = |ν|
![Page 66: Expanding Hall-Littlewood polynomials in the dual ...pm040/PennState/Slides/bandlow.pdf · Classical symmetric function theoryHall-Littlewood polynomialsGrothendieck functions Hall-Littlewood](https://reader035.vdocuments.us/reader035/viewer/2022070805/5f0396fe7e708231d409cd03/html5/thumbnails/66.jpg)
Classical symmetric function theory Hall-Littlewood polynomials Grothendieck functions
Final Thoughts
gλ and Hµ[X ; t ] do not seem to “live in the same world”, yet thecombinatorics relating them is very natural.
Why?