21COE, RIMS Research Project 2004

Method of Algebraic Analysis in Integrable Systems

Representation Theory and Geometry

Aug. 12 (Thu.) -- 13 (Fri.), 2004

Kyoto University

Department of Mathematics, Sci.Bldg.No.6 (New Bldg.), Room 609

Representation Theory and Geometry

RIMS Project Research 2004, Method of Algebraic Analysis in Integrable Systems

RIMS Project Research 2004, Method of Algebraic Analysis in Integrable Systems

8/12 (Thu.) | ||

13:30 -- 14:30 | R.Bezrukavnikov | (Northwestern) |

Derived categories of symplectic resolutions via quantization in positive characteristic | ||

14:45 -- 15:45 | A.Braverman | (Harvard) |

Seiberg-Witten prepotential for general Schrodinger operators and geometric applications | ||

16:00 -- 17:00 | M.Finkelberg | (Moscow) |

Equivariant homology of affine Grassmannian and Toda lattice | ||

8/13 (Fri.) | ||

10:00 -- 11:00 | E.Frenkel | (Berkeley) |

Local Langlands correspondence for affine Kac-Moody algebras | ||

11:15 -- 12:15 | D.Hernandez | (ENS) |

A new fusion procedure for affinizations of quantum Kac-Moody algebras | ||

13:30 -- 14:30 | S.Loktev | (Kyoto) |

Weyl modules over multi-dimensional currents | ||

14:45 -- 15:45 | H.Nakajima | (Kyoto) |

Cells of quantum affine algebras |

Title : Derived categories of symplectic resolutions via quantization in positive characteristic

Abstract : I will discuss a method for description of the derived category of coherent sheaves on a (n algebraic) symplectic resolution of singularities. The method originated in the study of representation theory of simple Lie algebras in positive characteristic (joint with Mirkovic and Rumynin), and was applied to the case of resolution of quotient singularities to obtain a McKay type equivalence (joint with Kaledin). Conjecturally it applies to any symplectic resolution, in particular to the quiver varieties

Title : Seiberg-Witten prepotential for general Schrodinger operators and geometric applications

Abstract : We introduce the notion of a "Seiberg-Witten prepotential" for a very general class of Schrodinger operators with periodic potential (the definition is completely algebraic). In the case when the operator in question is integrable it coincides with the prepotential as defined before by physiscists. As an application we shall sketch the proof of Nekrasov's conjecture which gives a connection between "instanton counting" for a semi-simple group (with Lie algebra ) and the prepotential of the Toda system associated with the affine Lie algebra whose Dynkin diagram is dual to that of the affinisation of . No previous familiarity with the subject will be assumed in the talk.

Title : Equivariant homology of affine Grassmannian and Toda lattice

Abstract : For an affine Grassmannian , its homology equivariant with respect to (semidirect product with loop rotations) form a convolution ring, which is isomorphic to a completion of the quantum Toda lattice for the Langlands dual group . It is a quantization of the commutative convolution ring which is isomorphic to a completion of the classical Toda lattice. The commuting hamiltonians come from the equivariant homology of the point . This convolution ring acts on the equivariant homology of the local semiinfinite flag space. This gives rise to the genuine Toda lattice, and Givental's quantum D-module structure on the quantum cohomology of . The similar results hold for the K-theory.

Title : Local Langlands correspondence for affine Kac-Moody algebras

Abstract : The local Langlands correspondence relates irreducible representations of the group and -dimensional representations of the Galois group of the field . More generally, representations of , where is a reducive algebraic group over are related to homomorphisms from the Galois group of to the Langlands dual group of . It is natural to ask what happens if we replace the finite field by the complex field . It turns out that there is indeed an analogue of the local Langlands correspondence for the loop groups, but that one should consider their representations on categories, rather than vector spaces. These categories may be described either as categories of representations of affine Kac-Moody algebras (the central extensions of loop Lie algebras) or as categories of D-modules on the flag varieties of loop groups. This is a joint work with D. Gaitsgory.

Title : A new fusion procedure for affinizations of quantum Kac-Moody algebras

Abstract : The class of affinizations of quantum Kac-Moody algebras includes in particular quantum affine algebras and quantum toroidal algebras. In general they have no Hopf algebra structure. However we propose a construction of a fusion product on the Grothendieck group of l-highest weight integrable representations. This new fusion procedure uses a one parameter deformation of the "new Drinfel'd coproduct" and is closely related to a generalization of Frenkel-Reshetikhin q-characters. Moreover in the case of quantum affine algebras it gives a new interpretation of the usual Grothendieck ring.

Title : Weyl modules over multi-dimensional currents

Abstract : Talk is based on the papers math.QA/0212001 and math.QA/0312158 by Boris Feigin and the speaker.

Let be a simple Lie algebra. Choose a Cartan and a Borel subalgebra . Let be an associative algebra with unit. To avoid technical assumptions let us suppose that is the algebra of functions on an affine variety (possibly singular).

The talk is about representations of belonging to the following class. Let be a weight, let be an augmentation of (that is evaluation at a certain point on ).

*Definition.*

The Weyl module is the maximal finite-dimensional module generated by the vector such that

where , .

In particular, if is a point, so , then it is just the highest weight representation of .

It can be shown that exists and that if and only if is dominant.

First we discuss the case when and , where is
the weight of the vector representations. Then we show that
as a module over is related
by the * Frobenius transformation* to the * space of diagonal coinvariants*

where is the augmentation ideal.

The case of (and, actually, any non-singular curve) was studied by V.Chari and A.Pressley. Here . The case of a curve with a double point was recently completed by T.Kuwabara.

We discuss the computation for (and, actually, any non-singular surface). It is performed using the results of M.Haiman on diagonal coinvariants for this case. The answer is

that is the higher Catalan numbers (usual ones for ).

Recall that M.Haiman described the structure of diagonal coinvariants in terms of
* parking functions*. We discuss a deformation of the
Weyl modules (together with the Lie algebra ) into modules with basis related to
parking functions.

If there will be enough time we apply this construction to obtain for

1) a simple proof that dimension of the space of diagonal coinvariants is not less than the number of parking functions;

2) a lower bound (conjecturally exact) for dimensions of Weyl modules over with arbitrary weight ;

3) a description of the limits of Weyl modules in terms of semi-infinite forms and the limits of characters.

Title : Cells of quantum affine algebras

Abstract : (joint work with J.Beck) We determine two-sided cells and the limit algebra of a quantum affine algebra. The proof is based on study of extremal weight modules, introduced by Kashiwara. When the affine Lie algebra is symmetric, modules are isomorphic to the universal standard modules introduced by the speaker via quiver varieties.

Contact H.Nakajima (nakajima@math.kyoto-u.ac.jp) for any question.