ÿþ<html> <head> <p> <p> <title>Representation Theory of Algebraic Groups and Quantum Groups 06</title> </head> <body bgcolor="#FFE4C4" link="#0000EF" vlink="#BB00099"> <!--<body bgcolor="#FFFFCC" link="#0000EF" vlink="#AA0033"> --> <p> <p> <!-- <center> <img SRC="images/line2.gif" width= "80%" align=ABSCENTER> </center> --> <p> <p> <h1><font color="#800000"><center>Representation Theory <br> of Algebraic Groups and Quantum Groups '10</center></h1> <p> <h2><font color="#0000CC"><center>August 2 - 6, 2010</center></font></h2> <p> <h2><font color="#0000CC"><center>Room 509, Graduate School of Mathematics, Nagoya Univesity</center></font></h2> <p> <center> <img SRC="images/diamond11.gif" HSPACE=20 width=50 align=ABSCENTER></center> <p> <p> <table align="right" bgcolor="bisque"> <tr> <td align="center"> <a href="conf.html#top"> to Menu</a> </td> </tr> </table> <p> <p> <center> <img SRC="images/line2.gif" width= "50%" align=ABSCENTER> </center> <p> <h2><font color="#0000FF"> Abstracts </font></h2> <!--<font color="560000">--> <font color="#000066"> <b> <a name="arakawa">Tomoyuki Arakawa </a></b> (Nara Women's University) <br><b> Rationality and smoothness of W-algebras </b> </font> <p> <em> Abstract: </em> <!--(<a href="abstracts/arakawa.html"> Tex image </a> ) --></font></LI> <br> In my talk I am going to discuss the rationality and the C_2- cofinitness of W-algebras and their relations with representations of Kac-Moody algebras. <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <font color="#000066"> <b> <a name="bezrukavnikov">Roman Bezrukavnikov </a></b> (MIT) <br><b> Canonical bases and modular representations </b> </font> <p> <em> Abstract: </em> <!--(<a href="abstracts/andersen.html"> Tex image </a> ) --></font></LI> <br> I will briefly review the main ingredients of the proof of Lusztig's conjectures which generalize Kazhdan-Lusztig conjectures to representations of Lie algebras in positive characteristic (joint with Mirkovic and partly with Rumynin). I will then describe a joint project with Okounkov which generalizes the picture to representations of rational Cherednik algebras of type A. <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <font color="#000066"> <b> <a name="brundan">Jonathan Brundan </a></b> (University of Oregon) <br><b> Rational representations of GL(m|n) via Schur-Weyl duality </b> </font> <p> <em> Abstract: </em> <!--(<a href="abstracts/brundan.html"> Tex image </a> )--> </font></LI> <br> I will explain an approach to the rational (not just polynomial) representation theory of the complex supergroup GL(m|n) via a generalized Schur-Weyl duality. This allows the endomorphism algebra of a minimal projective generator to be computed explicitly: it turns out to be a limiting version of Khovanov's diagram algebra which is Koszul. This is joint work with Catharina Stroppel. <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <font color="#000066"> <b> <a name="feigin"> Boris Feigin </a></b> (Independent University of Moscow) <br><b> Representation theory of some version of quantum gl infinity </b> </font> <p> <em> Abstract: </em> <!--(<a href="abstracts/feigin.html"> Tex image </a> )--></font></LI> <br> In my talk I will explain how the representations of elliptic W-algebras naturally appear when you study the moduli spaces of bundles on projective plane. Such connection with algebraic geometry gives us some new and interesting things from the representation theory of W-algebras. <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <font color="#000066"> <b> <a name="fiebig"> Peter Fiebig </a></b> (Erlangen University) <br><b> On the critical level representations of affine Kac-Moody algebras </b> </font> <p> <em> Abstract: </em> <!--(<a href="abstracts/fiebig.html"> Tex image </a> )--></font></LI> <br> We review recent joint work with Tomoyuki Arakawa on the category O of an affine Kac-Moody algebra at the critical level. We are especially interested in the subcategory of restricted representations. Lusztig anticipated a connection to the representation theory of a small quantum group, and the Feigin-Frenkel conjecture on the simple critical characters can be thought of as a shadow of this connection. We discuss these topics and prove the first part of the Feigin-Frenkel conjecture, the restricted linkage principle. <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <font color="#000066"> <b> <a name="geck"> Meinolf Geck </a></b> (Aberdeen University) <br><b> Generic representations of finite groups of Lie type </b> </font> <p> <em> Abstract: </em> <!--(<a href="abstracts/geck.html"> Tex image </a> )--></font></LI> <br> This talk is concerned with modular representations of finite groups of Lie type in non-defining characteristic. We present a concise formulation of some major open problems and show how these are solved for principal series representations, where Hecke algebra methods can be used. <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <font color="#000066"> <b> <a name="ginzburg"> Viktor Ginzburg </a></b> (University of Chicago) <br><b> Isospectral commuting variety and the Harish-Chandra D-module </b> </font> <p> <em> Abstract: </em> <!--(<a href="abstracts/ginzburg.html"> Tex image </a> )--></font></LI> <br> Let $\g$ be a complex reductive Lie algebra with Cartan algebra $\h$. Hotta and Kashiwara defined a holonomic $D$-module $M$, on $\g\times\h$, called Harish-Chandra module. We give an explicit description of $gr M$, the associated graded module with respect to a canonical Hodge filtration on $M$. The description involves the isospectral commuting variety, a subvariety of $\g\times\g\times\h\times\h$ which is a finite extension of the variety of pairs of commuting elements of $\g$. Our main result establishes an isomorphism of $gr M$ with the structure sheaf of the normalization of isospectral commuting variety. It follows, thanks to Saito's theory of polarized Hodge modules, that the normalization of the isospectral commuting variety is Cohen-Macaulay and Gorenstein. This confirms a conjecture of M. Haiman. <br> <br> In the special case where $\g=gl(n)$, there is an open subset of the isospectral commuting variety that is closely related to the Hilbert scheme of $n$ points in the plane. The sheaf $gr M$ gives rise to a locally free sheaf on the Hilbert scheme. We show that the corresponding vector bundle is isomorphic to the Procesi bundle. This was used by I. Gordon to deduce the positivity result for Macdonald polynomials, established earlier by Haiman. <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="juteau"> Daniel Juteau </a></b> (University of Caen) <br><b> Parity sheaves </b> </font> <p> <em> Abstract: </em> <!--</font></LI> (<a href="abstracts/juteau.html"> Tex image </a> ) --></font></LI> <br> (Joint work with Carl Mautner and Geordie Williamson) <br> Important problems in modular representation theory can be formlated in terms of perverse sheaves with positive characteristic coefficients, but the intersection complexes are very difficult to compute in this setting. With Carl Mautner and Geordie Williamson, we propose to study parity sheaves instead, beacuse they seem to be nicer and are also relevant to modular representation theory. <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="kaneda"> Masaharu Kaneda </a></b> (Osaka City University) <br><b> Some observations on the structure of $F_*O_{G/P}$ </b> </font> <p> <em> Abstract: </em> <!--</font></LI> (<a href="abstracts/kaneda.html"> Tex image </a> ) --></font></LI> <br> We will present our hope that the Frobenius direct image $F_*O_{G/P}$ of the structure sheaf of $G/P$, $G$ a reductive algebraic group in positive characteristic and $P$ a parabolic subgroup, may admit indecomposable direct summands defined over $Z$, which describe by base change the category of coherent sheaves on the corresponding complex variety. This is joint work with Ye Jiachen. <br> <!-- <p> <table align="right" bgcolor="bisque"> <tr> <td align="center"> <a href="program.html#table"> to Program</a> </td> </tr> </table> <p> --> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="kang"> Seok-Jing Kang </a></b> (Seoul National University) <br><b> Crystal bases for quantum queer superalgebras </b> </font> <p> <em> Abstract: </em> <!--</font></LI> (<a href="abstracts/kang.html"> Tex image </a> ) --></font></LI> <br> In this talk, we will explain how to develop crystal basis theory for quantum queer superalgebras $U_q(q(n))$. The notion of crystal bases will be modified and the tensor product rule will be presented. We will give an outline of proof for the existence of crystal bases. <br> <p> * This is a joint work with D. Grantcharov, J. Jung, M. Kashiwara and M. Kim. <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="kuwabara"> Toshiro Kuwabara </a></b> (RIMS, Kyoto University) <br><b> Representation theory of the rational Cherednik algebra of type Z/lZ via micro local analysis </b> </font> <p> <em> Abstract: </em> <!--</font></LI> (<a href="abstracts/kuwabara.html"> Tex image </a> ) --></font></LI> <br> We will discuss the geometric representation theory for the rational Cherednik algebra of type Z/lZ. The rational Cherednik algebra of type Z/lZ is defined as a quantization of the Kleinian singularities of type A. This algebra is also called the finite W-algebra associated to subregular nilpotent elements in sl_l. Using the Deformation-Quantization algebras on a minimal resolution of the Kleinian singularities, we can establish an analogue of Beilinson-Bernstein correspondence for the rational Cherednik algebra. We will discuss an explicit construction of standard modules and irreducible modules in the category O through this Beilinson-Bernstein correspondence. As a consequence, we obtain regular holonomic systems from these modules. This talk is based on arXiv:1003.3407v1 [math.RT] and arXiv:1005.4645v1 [math.RT]. <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="lehrer"> G. I. Lehrer </a></b> (University of Sydney) <br><b> Equivariant K-theory of quantum homogeneous spaces and quantum affine spaces </b></font> <p> <em> Abstract: </em> <!--(<a href="abstracts/lehrer.html"> Tex image </a> ) --></font></LI> <br> I shall explain how to formulate and compute the equivariant K-theory of non-commutative spaces with quantum group symmetries. The results are in analogy with results of Bass and Haboush in the classical (commutative) case. This is joint work with R.B. Zhang. <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="miyachi"> Hyohe Miyachi </a></b> (Nagoya University) <br><b> Hidden Hecke Algebras and Duality </b></font> <p> <em> Abstract: </em> <!--(<a href="abstracts/miyachi.html"> Tex image </a> ) --></font></LI> <br> I would like to talk about Hecke algebras which is hidden in $q$-Schur algebras. Those are Ext-algebras of certain semisimple modules. I would like to talk about a conjecture on the duality related to this Hecke algebras. <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="nagao"> Kentaro Nagao </a></b> (Nagoya University) <br><b> Donaldson-Thomas theory and cluster algebras </b></font> <p> <em> Abstract: </em> <!--(<a href="abstracts/nagao.html"> Tex image </a> ) --></font></LI> <br> Non-commutative Donaldson-Thomas (ncDT) theory is the theory of moduli spaces of modules over a quiver with a potential. I will show that wall-crossing in ncDT theory provides a categorification of the theory of cluster algebras. <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="nakajima"> Hiraku Nakajima </a></b> (RIMS, Kyoto University) <br><b> Cluster algebras and quantum affine algebras </b></font> <p> <em> Abstract: </em> <!--(<a href="abstracts/nakajima.html"> Tex image </a> ) --></font></LI> <br> I will explain what is a cluster algebra and why it is useful to understand the representation theory of a quantum affine algebra. <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="nakanishi"> Tomoki Nakanishi </a></b> (Nagoya University) <br><b> Dilogarithm identities in conformal field theory and cluster algebras </b></font> <p> <em> Abstract: </em> <!--(<a href="abstracts/nakanishi.html"> Tex image </a> ) --></font></LI> <br> The dilogarithm identities for the central charges of conformal field theories were conjectured by Bazhanov, Kirillov , and Reshetikhin in the late 80's. They appeared naturally in the study of several integral models in the thermodynamic Bethe ansatz method. The functional generalizations of the identities were conjectured by Gliozzi-Tateo in the mid 90's. They are closely related to another conjecture on the periodicity of the Y-systems by Ravanini-Tateo- Valleriani. These dilogarithm conjectures have been partly proved by several authors with several methods. In this talk we present a proof of the conjectures in full generality based on the cluster algebra/ cluster category method recently developed by Fomin-Zelevinsky, Chapoton, Keller and others. The factorization property of the tropical Y-system is the key of the proof. <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="okado"> Masato Okado </a></b> (Osaka University) <br><b> Stability in parabolic Lusztig q-analogues, one dimensional sums and fermionic formulas </b> </font> <p> <em> Abstract: </em> <!--</font></LI> (<a href="abstracts/okado.html"> Tex image </a> ) --></font></LI> <br> There is a parabolic version of Lusztig's q-analogue of weight multiplicity. Lecouvey showed that in the large rank limit the parabolic Lusztig q-analogue of type B,C,D can be expressed as a sum of those of type A with Littlewood-Richardson coefficients. In this talk we report two other polynomials, called one dimensional sum and fermionic formula originating from the study of quantum integrable systems, also satisfy this equality, thereby proving these three polynomials are all equal. This talk is based on a joint work with Cedric Lecouvey and Mark Shimozono, and with Reiho Sakamoto. <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="premet"> Alexander Premet </a></b> (University of Manchester) <br><b> On 1-dimensional representations of quantized Slodowy slices </b> </font> <p> <em> Abstract: </em> <!--</font></LI> (<a href="abstracts/premet.html"> Tex image </a> ) --></font></LI> <br> In my talk I am going to discuss the latest results on 1-dimensional representations of finite W-algebras. <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="sagaki"> Daisuke Sagaki </a></b> (Tsukuba University) <br><b> Tensor product multiplicities for crystal bases of extremal weight modules over quantum infinite rank affine algebras of types $B_{\infty}$, $C_{\infty}$, and $D_{\infty}$ </b> </font> <p> <em> Abstract: </em> <!--</font></LI> (<a href="abstracts/sagaki.html"> Tex image </a> ) --></font></LI> <br> We are going to discuss the crystal basis of an extremal weight module of integral extremal weight over the quantized universal enveloping algebra associated to the infinite rank affine Lie algebra of type $B_{\infty}$, $C_{\infty}$, or $D_{\infty}$. I am going to give an explicit description (in terms of Littlewood-Richardson coefficients) of how tensor products of these crystal bases decompose into connected components when their extremal weights are of nonnegative levels. These results, in types $B_{\infty}$, $C_{\infty}$, and $D_{\infty}$, extend the corresponding results due to Kwon, in types $A_{+\infty}$ and $A_{\infty}$; our results above also include, as a special case, the corresponding results (concerning crystal bases) due to Lecouvey, in types $B_{\infty}$, $C_{\infty}$, and $D_{\infty}$, where the extremal weights are of level zero. <br> <p> This is a joint work with Satoshi Naito; this talk is based on arXiv:1003.2485. <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="saito"> Yoshihisa Saito </a></b> (University of Tokyo) <br><b> Mirkovi\'c-Vilonen polytopes and quiver construction of crystal basis in type A </b> </font> <p> <em> Abstract: </em> <!--</font></LI> (<a href="abstracts/saito.html"> Tex image </a> ) --></font></LI> <br> In this talk, we will give an explicit relationship between Mirkovi\'c-Vilonen polytopes and quiver construction of crystal basis in type A. As a by-product, we will give a new proof of the Anderson- Mirkovi\'c conjecture which describes the crystal structure of MV polytopes, by using language of quivers. We remark that it was already proved by Kamnitzer by combinatorial method. <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="wada"> Kentaro Wada </a></b> (RIMS, Kyoto University) <br><b> On cyclotomic q-Schur algebras </b> </font> <p> <em> Abstract: </em> <!--</font></LI> (<a href="abstracts/wada.html"> Tex image </a> ) --></font></LI> <br> The cyclotomic q-Schur algebra is one of the quasi-hereditary covers of the Ariki-Koike algebra, and it is defined as the endomorphism ring of a certain module of Ariki-Koike algebra. In this talk, after reviewing some structures of cyclotomic $q$-schur algebras, we give a presentation on cyclotomic q-Schur algebras by generators and fundamental relations using Cartan data of type gl. <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> <font color="000066"> <b> <a name="xi"> Nanhua Xi </a></b> (Chinese Academy of Sciences) <br><b> Some quotient algebras of affine Hecke algebras </b> </font> <p> <em> Abstract: </em> <!--</font></LI> (<a href="abstracts/xi.html"> Tex image </a> ) --></font></LI> <br> An affine Hecke algebra has a big center. By modulo central characters one gets some finite dimensional quotient algebras. We will discuss a few particular quotient algebras. The information for the quotient algebras can be used to discuss isomorphisms between two affine Hecke algebras. Part of the work is a joint work with T. Shoji. <!-- <p> <p> <center> <img SRC="images/line2.gif" width= "60%" align=ABSCENTER> </center> <p> <p> --> <p> <table align="right" bgcolor="bisque"> <tr> <td align="center"> <a href="conf.html#top"> to Menu</a> </td> </tr> </table> <p> <p> <p> <center> <img SRC="images/line2.gif" width= "50%" align=ABSCENTER> </center> <p> <center> <img SRC="images/diamond11.gif" HSPACE=20 width=50 align=ABSCENTER></center> <p> <!-- <center> <a href="conf.html"> <img SRC="images/diamond11.gif" HSPACE=20 width=50 align=ABSCENTER></center> </a> <p> --> </body> </html>