BGG duality and Macdonald Polynomials Vyjayanthi Chari University - - PowerPoint PPT Presentation

BGG duality and Macdonald Polynomials

Vyjayanthi Chari

University of California, Riverside

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 1 / 10

I am interested in the representation theory of affine and quantum affine algebras. In particular, I am trying to understand the homological properties of the (non–semisimple) category of finite–dimensional representations of these algebras.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 2 / 10

I am interested in the representation theory of affine and quantum affine algebras. In particular, I am trying to understand the homological properties of the (non–semisimple) category of finite–dimensional representations of these algebras. It turns out that some of these problems are closely related to the analogous problems for a particular maximal parabolic subalgebra of the affine Lie algebra: namely the one obtained by dropping the zero–th node

• f the affine Dynkin diagram.

In the case of the untwisted affine Lie algebra, this parabolic subalgebra is called the current algebra and is easily described as follows. Let g be the underlying simple finite–dimensional Lie algebra. The current algebra is just g[t] = g ⊗ C[t] with the obvious commutator, [x ⊗ tr, y ⊗ ts] = [x, y] ⊗ tr+s.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 2 / 10

Today, I want to explain the connection between the representation theory

• f the current algebra and the following combinatorial identity. This is

based on joint work with my former students Matthew Bennett and Nathan Manning, [BCM] and also on joint work with Bennett, Berenstein, Khoroskhin and Loktev [BBCKL].

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 3 / 10

Today, I want to explain the connection between the representation theory

• f the current algebra and the following combinatorial identity. This is

based on joint work with my former students Matthew Bennett and Nathan Manning, [BCM] and also on joint work with Bennett, Berenstein, Khoroskhin and Loktev [BBCKL]. Given a partition µ = (µ1 ≥ · · · ≥ µr−1 ≥ 0), let Pµ(x1, · · · , xr; q, 0) be the specialized Macdonald polynomial and write it as, Pµ(x1, . . . , xr; q, 0) =

• ℓ≥0
• λ∈Par(r−1)

ηµ

λ,ℓ(q)sλ,ℓ(x1, . . . , xr),

where sλ,ℓ = |x1 · · · xr|ℓsλ(x1, · · · , xr) and sλ is the Schur function associated to λ.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 3 / 10

Today, I want to explain the connection between the representation theory

• f the current algebra and the following combinatorial identity. This is

based on joint work with my former students Matthew Bennett and Nathan Manning, [BCM] and also on joint work with Bennett, Berenstein, Khoroskhin and Loktev [BBCKL]. Given a partition µ = (µ1 ≥ · · · ≥ µr−1 ≥ 0), let Pµ(x1, · · · , xr; q, 0) be the specialized Macdonald polynomial and write it as, Pµ(x1, . . . , xr; q, 0) =

• ℓ≥0
• λ∈Par(r−1)

ηµ

λ,ℓ(q)sλ,ℓ(x1, . . . , xr),

where sλ,ℓ = |x1 · · · xr|ℓsλ(x1, · · · , xr) and sλ is the Schur function associated to λ. Then, one can prove [BBCKL] that: sλ(1, . . . , 1) (q; q)r2−1

∞

=

• µ∈Par(r−1)
• ℓ≥0

ηµ

λ,ℓ(q)Pµ(1, · · · , 1; q, 0)

(q; q)µ1−µ2 . . . (q; q)µr−2−µr−1(q; q)µr−1 .

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 3 / 10

Graded Representations

The current algebra has an obvious grading by the non–negative integers, we just declare an element x ⊗ tr to have grade r.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 4 / 10

Graded Representations

The current algebra has an obvious grading by the non–negative integers, we just declare an element x ⊗ tr to have grade r. So, we work in the category G of Z–graded representations of g[t] with morphisms being degree zero maps. We also require that all graded components be finite–dimensional. In particular, objects of G regarded as g–modules are completely reducible.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 4 / 10

Graded Representations

The current algebra has an obvious grading by the non–negative integers, we just declare an element x ⊗ tr to have grade r. So, we work in the category G of Z–graded representations of g[t] with morphisms being degree zero maps. We also require that all graded components be finite–dimensional. In particular, objects of G regarded as g–modules are completely reducible. This makes it easy to describe the irreducible objects in the category: just put an irreducible finite–dimensional g–module in a particular grade and make g ⊗ tC[t] act trivially on it.

Lemma

The isomorphism classes irreducible objects of G are indexed by pairs (λ, r) where λ is a dominant integral weight of g and r ∈ Z . Denote by V (λ, r) a representation in the corresponding isomorphism class.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 4 / 10

Projective modules

Set P(λ, r) = U(g[t]) ⊗U(g) V (λ, r). A standard proof shows that it is a projective infinite–dimensional object

• f G. A simple application of the PBW theorem shows that the Hilbert

series of P(λ, r) is H(P(λ, r)) = qr dim V (λ)H(S(g[t]+)) = dim V (λ) (q; q)dim g

∞

. In the case when g is of type slr, the dimension of V (λ) is exactly sλ(1, · · · , 1) and so we see the left hand side of the combinatorial identity.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 5 / 10

Local and Global Weyl modules and Demazure modules

The global Weyl module W (λ, r) is the maximal quotient of P(λ, r) whose weights lie below λ, i.e., are in λ − Q+. It is infinite–dimensional.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 6 / 10

Local and Global Weyl modules and Demazure modules

The global Weyl module W (λ, r) is the maximal quotient of P(λ, r) whose weights lie below λ, i.e., are in λ − Q+. It is infinite–dimensional. The local Weyl module Wloc(λ, r) is the maximal quotient of W (λ, r) such that the λ weight space is one–dimensional. These are finite–dimensional, indecomposable and usually reducible modules.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 6 / 10

Local and Global Weyl modules and Demazure modules

The global Weyl module W (λ, r) is the maximal quotient of P(λ, r) whose weights lie below λ, i.e., are in λ − Q+. It is infinite–dimensional. The local Weyl module Wloc(λ, r) is the maximal quotient of W (λ, r) such that the λ weight space is one–dimensional. These are finite–dimensional, indecomposable and usually reducible modules. These modules were originally defined in 2000, in joint work with Pressley.The local Weyl modules are actually q = 1 limits of irreducible representations of the quantum affine algebra.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 6 / 10

In the simply laced case, the local Weyl modules are actually a special family of Demazure modules. Namely, those which occur in level one representations of the affine Lie algebra and which admit a g–module structure. This was proved for sln+1 in joint work with Loktev in 2006 and in 2007 by Fourier and Littelmann for A, D, E. Both these papers used in an important way, the results established for sl2 in the work with Pressley.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 7 / 10

In the simply laced case, the local Weyl modules are actually a special family of Demazure modules. Namely, those which occur in level one representations of the affine Lie algebra and which admit a g–module structure. This was proved for sln+1 in joint work with Loktev in 2006 and in 2007 by Fourier and Littelmann for A, D, E. Both these papers used in an important way, the results established for sl2 in the work with Pressley. Hence, for slr, the graded character of the local Weyl module is given by Pλ(x; q, 0). This is because Y.Sanderson had computed the graded character of such Demazure modules.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 7 / 10

The graded character of the global Weyl module W (λ, r) is, chgrW (λ, 0) = chgrWloc(λ, 0) n

i=1(q; q)λi

, H(W (λ, 0)) = H(Wloc(λ, 0)) n

i=1(q; q)λi

, where λ = n

i=1 λiωi and ωi are the fundamental weights of g. This uses

some deep results on global Weyl modules, for slr it follows from [CP2000] and [CLoktev].

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 8 / 10

The graded character of the global Weyl module W (λ, r) is, chgrW (λ, 0) = chgrWloc(λ, 0) n

i=1(q; q)λi

, H(W (λ, 0)) = H(Wloc(λ, 0)) n

i=1(q; q)λi

, where λ = n

i=1 λiωi and ωi are the fundamental weights of g. This uses

some deep results on global Weyl modules, for slr it follows from [CP2000] and [CLoktev]. So for slr, we have chgrW (λ, 0) = Pλ(x; q, 0) n

i=1(q; q)λi

. So our original combinatorial identity now becomes an equality of Hilbert series, H(P(λ, 0)) =

• k≥0
• µ∈P+

H(W (µ, 0))[Wloc(µ, 0) : V (λ, k)]qk.

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 8 / 10

BGG Reciprocity

Together with my students Matthew Bennett and Nathan Manning, we had the following conjecture, which we proved by different methods for sl2 (Advances in Mathematics, 2012): The module P(λ, r) has a decreasing infinite filtration by global Weyl modules W (µ, s) and the multiplicity is given by [P(λ, r) : W (µ, s)] = [Wloc(µ, r) : V (λ, s)].

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 9 / 10

BGG Reciprocity

Together with my students Matthew Bennett and Nathan Manning, we had the following conjecture, which we proved by different methods for sl2 (Advances in Mathematics, 2012): The module P(λ, r) has a decreasing infinite filtration by global Weyl modules W (µ, s) and the multiplicity is given by [P(λ, r) : W (µ, s)] = [Wloc(µ, r) : V (λ, s)]. In [BBCKL] we show that the module P(λ, r) had a decreasing filtration and the successive quotients were quotients of global Weyl modules and get an upper bound on the multiplicity. This bound is precisely given by the Jordan–Holder series of the local Weyl modules. And now the conjecture follows from the combinatorial identity!

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 9 / 10

Thank you!

Vyjayanthi Chari (UCR) BGG duality and Macdonald Polynomials 10 / 10