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.     

Finite-dimensional crystals B 2,s for quantum affine algebras of type D (1) n

The Kirillov–Reshetikhin modules W^r,s are finite-dimensional representations of quantum affine algebras U’_q labeled by a Dynkin node r of the affine Kac–Moody algebra and a positive integer s. In this paper we study the combinatorial structure of the crystal basis B^2,s corresponding to W^2,s for the algebra of type D⁽¹⁾_n. 2000 Mathematics Subject Classification Primary—17B37; Secondary—81R10 Supported in part by the NSF grants DMS-0135345 and DMS-0200774.     

Tubular algebras and affine Kac-Moody algebras

The purpose of this paper is to construct quotient algebras L(A)1C/I(A) of complex degenerate composition Lie algebras L(A)1C by some ideals, where L(A)1C is defined via Hall algebras of tubular algebras A, and to prove that the quotient algebras L(A)1C/I(A) are isomorphic to the corresponding affine Kac-Moody algebras. Moreover, it is shown that the Lie algebra Lre(A)1C generated by A-modules with a real root coincides with the degenerate composition Lie algebra L(A)1C generated by simple A-modules.     

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].     

Varieties of affine Kac-Moody algebras

In this paper the identities of the complex affine Kac-Moody algebras are studied. It is proved that the identities of twisted affine algebras coincide with those of the corresponding nontwisted algebras. Moreover, in the class of nontwisted affine Kac-Moody algebras, each of these algebras is uniquely defined by its identities. It is shown that the varieties of affine algebras, as well as the varieties defined by finitely generated three-step solvable Lie algebras, have exponential growth. Translated fromMatematicheskie Zametki, Vol. 62 No. 1, pp. 95–102, July 1997. Translated by A. I. Shtern     

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.     

Pointed torsion free modules of affine lie algebras

It is shown that all pointed torsion free modules for affine Lie algebras belong to C⁽¹⁾ _n and A⁽¹⁾ _n-1 and are the result of the natural construction of tensoring the Laurent polynomials with a torsion free module of the “underlying” simple finite dimensional Lie Algebra. These latter modules have been completely determined by Britten and Lemire [1].     

Projection method and a universal weight function for the quantum affine algebra

We calculate the projection of the product of the Drinfeld currents on the intersection of the different Borel subalgebras in the current realization of the quantum affine algebra . This projection yields a universal weight function and has the structure of nested Bethe vectors. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 150, No. 2, pp. 286–303, February, 2007.     

Filtrations and completions of certain positive level modules of affine algebras

We define a filtration indexed by the integers on the tensor product of a simple highest weight module and a loop module for a quantum affine algebra. We prove that such a filtration is either trivial or strictly decreasing and give sufficient conditions for this to happen. In the first case we prove that the tensor product is simple and in the second case we prove that the intersection of all the modules in the filtration is zero, thus allowing us to define the completed tensor product. In certain special cases, we identify the subsequent quotients of filtration.     

Crystal interpretation of Kerov–Kirillov–Reshetikhin bijection II. Proof for $mathfrak{sl}_{n}$ case

In proving the Fermionic formulae, a combinatorial bijection called the Kerov–Kirillov–Reshetikhin (KKR) bijection plays the central role. It is a bijection between the set of highest paths and the set of rigged configurations. In this paper, we give a proof of crystal theoretic reformulation of the KKR bijection. It is the main claim of Part I written by A. Kuniba, M. Okado, T. Takagi, Y. Yamada, and the author. The proof is given by introducing a structure of affine combinatorial R matrices on rigged configurations.     

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.     

The Admissibility of Simple Bounded Modules for an Affine Lie Algebra

This paper studies a class of simple integrable modules for an affine Lie algebras which are closely related to the finite-dimensional modules studied by V. Chari and A. Pressley, except that the Euler element is assumed to act. They are infinite-dimensional; but are shown to have finite-dimensional weight spaces. It is conjectured that any simple integrable module with a zero weight space belongs to this class and their classification is given. The main interest in studying such modules is that they may occur in the endomorphism rings of highest weight modules whilst those of Chari and Pressley in general do not. Their character theory is also more complicated.     

Toward a vertex operator construction of quantum affine algebras

We describe a construction of the quantum-deformed affine algebras using vertex operators in the free field theory. We prove the Serre relations for the Borel subalgebras of quantum affine algebras; in particular, we consider the case in detail. We also construct the generators corresponding to the positive roots of . __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 154, No. 2, pp. 240–248, February, 2008.     

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.     

Canonical bases for quantum generalized Kac–Moody algebras

We construct canonical bases for quantum generalized Kac–Moody algebras using semisimple perverse sheaves.     

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.     

Characters of Simple Bounded Modules over an Untwisted Affine Lie Algebra

After V. Chari and A. Pressley, a simple integrable module with finite-dimensional weight spaces over an affine Lie algebra is either a standard module (highest or lowest weight), in which case its formal character is given by the famous Weyl–Kac formula, or a subquotient of a tensor product of loop modules. In this paper we compute formal characters of generic simple integrable modules of the latter type.     

Crystals from categorified quantum groups

We study the crystal structure on categories of graded modules over algebras which categorify the negative half of the quantum Kac–Moody algebra associated to a symmetrizable Cartan data. We identify this crystal with Kashiwara?s crystal for the corresponding negative half of the quantum Kac–Moody algebra. As a consequence, we show the simple graded modules for certain cyclotomic quotients carry the structure of highest weight crystals, and hence compute the rank of the corresponding Grothendieck group.     

Vertex operator algebras associated to modified regular representations of affine Lie algebras

Let G be a simply-connected complex Lie group with simple Lie algebra g and let be its affine Lie algebra. We use intertwining operators and Knizhnik-Zamolodchikov equations to construct a family of N-graded vertex operator algebras (VOAs) associated to g. These vertex operator algebras contain the algebra of regular functions on G as the conformal weight 0 subspaces and are -modules of dual levels in the sense that , where h^∨ is the dual Coxeter number of g. This family of VOAs was previously studied by Arkhipov-Gaitsgory and Gorbounov-Malikov-Schechtman from different points of view. We show that when k is irrational, the vertex envelope of the vertex algebroid associated to G and the level k is isomorphic to the vertex operator algebra we constructed above. The case of rational levels is also discussed.