Kirillov-Reshetikhin crystals for nonexceptional types

We provide combinatorial models for all Kirillov-Reshetikhin crystals of nonexceptional type, which were recently shown to exist. For types , , we rely on a previous construction using the Dynkin diagram automorphism which interchanges nodes 0 and 1. For type we use a Dynkin diagram folding and for types , a similarity construction. We also show that for types and the analog of the Dynkin diagram automorphism exists on the level of crystals.     

Stable rigged configurations for quantum affine algebras of nonexceptional types

For an affine algebra of nonexceptional type in the large rank we show the fermionic formula depends only on the attachment of the node 0 of the Dynkin diagram to the rest, and the fermionic formula of not type A can be expressed as a sum of that of type A with Littlewood–Richardson coefficients. Combining this result with Kirillov et al. (2002) [13] and Lecouvey et al. (2011) [18] we settle the X=M conjecture under the large rank hypothesis.     

Vertex operators for twisted quantum affine algebras

We construct explicitly the -vertex operators (intertwining operators) for the level one modules of the classical quantum affine algebras of twisted types using interacting bosons, where for (), for , for (), and for (). A perfect crystal graph for is constructed as a by-product.

     

Canonical bases and affine Hecke algebras of type D

We prove a conjecture of Miemietz and Kashiwara on canonical bases and branching rules of affine Hecke algebras of type D. The proof is similar to the proof of the type B case in Varagnolo and Vasserot (in press) [15].     

Level one representations of quantum affine algebras U_q(C^{(1)}_n)

We give explicit constructions of quantum symplectic affine algebras at level one using vertex operators.     

Principal subspaces for the quantum affine vertex algebra in type A1(1)

By using the ideas of Feigin and Stoyanovsky and Calinescu, Lepowsky and Milas we introduce and study the principal subspaces associated with the Etingof–Kazhdan quantum affine vertex algebra of integer level $k?1$ and type $A_1^{(1)}$. We show that the principal subspaces possess the quantum vertex algebra structure, which turns to the usual vertex algebra structure of the principal subspaces of generalized Verma and standard modules at the classical limit. Moreover, we find their topological quasi-particle bases which correspond to the sum sides of certain Rogers–Ramanujan-type identities.     

On the local structure of doubly laced crystals

Let g be a Lie algebra all of whose regular subalgebras of rank 2 are type A₁×A₁, A₂, or C₂, and let B be a crystal graph corresponding to a representation of g. We explicitly describe the local structure of B, confirming a conjecture of Stembridge.     

Generalized double affine Hecke algebras of rank 1 and quantized del Pezzo surfaces

Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D₄,E₆,E₇,E₈). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z??Z², where ? is 2, 3, 4, and 6, respectively. In this paper, we define a flat deformation H(t,q) of the group algebra C[G] of this group, by replacing the relations saying that the generators have prescribed orders by their deformations, saying that the generators satisfy monic polynomial equations of these orders with arbitrary roots (which are deformation parameters). The algebra H(t,q) for D₄ is the Cherednik algebra of type C^∨C₁, which was studied by Noumi, Sahi, and Stokman, and controls Askey-Wilson polynomials. We prove that H(t,q) is the universal deformation of the twisted group algebra of G, and that this deformation is compatible with certain filtrations on C[G]. We also show that if q is a root of unity, then for generic t the algebra H(t,q) is an Azumaya algebra, and its center is the function algebra on an affine del Pezzo surface. For generic q, the spherical subalgebra eH(t,q)e provides a quantization of such surfaces. We also discuss connections of H(t,q) with preprojective algebras and Painlevé VI.     

Geometric construction of crystal bases for quantum generalized Kac-Moody algebras

We provide a geometric realization of the crystal B(∞) for quantum generalized Kac-Moody algebras in terms of the irreducible components of certain Lagrangian subvarieties in the representation spaces of a quiver.     

Crystallized structure for level 0 part of modified quantum affine algebra Uq (sl2)

Crystal base of the level 0 part of the modified quantum affine algebra Uq(sl2)_0 is given by path. Weyl group actions, extremal vectors and crystal structure of all irreducible components are described explicitly.     

Hall Polynomials for Affine Quivers of Type Am（m≥1）

It is well known that Hall polynomials as structural coefficients play an important role in the structure of Lie algebras and quantum groups. By using the properties of representation categories of affine quivers, the task of computing Hall polynomials for affine quivers can be reduced to counting the numbers of solutions of some matrix equations. This method has been applied to obtain Hall polynomials for indecomposable representations of quivers of type Am（m≥1）     

Combinatorial R Matrices for a Family of Crystals: B(1)n,D(1)n,A(2)2n,and D(2)n + 1 Cases

For coherent families of crystals of affine Lie algebras of type B⁽¹⁾_n, D⁽¹⁾_n, A⁽²⁾_2n, and D⁽²⁾_n + 1 we describe the combinatorial R matrix using column insertion algorithms for B, C, D Young tableaux. This is a continuation of previous work by the authors (2000, in “Physical Combinatorics” (M. Kashiwara and T. Miwa, Eds.), Birkhäuser, Boston).     

The modular branching rule for affine Hecke algebras of type A

For the affine Hecke algebra of type A at roots of unity, we make explicit the correspondence between geometrically constructed simple modules and combinatorially constructed simple modules and prove the modular branching rule. The latter generalizes work by Vazirani (2002) [22].