Crystals via the affine Grassmannian

Abstract

Let G be a connected reductive group over ℂ, and let ^∨ be the Langlands dual Lie algebra. Crystals for ^∨ are combinatorial objects that were introduced by M. Kashiwara (cf., e.g., [6]) as certain "combinatorial skeletons" of finite-dimensional representations of ^∨. For every dominant weight λ of ^∨ Kashiwara constructed a crystal B(λ) by considering the corresponding finite-dimensional representation of the quantum group U_q(^∨) and then specializing it to q=0. Other (independent) constructions of B(λ) were given by G. Lusztig (cf. [9]) using the combinatorics of root systems and by P. Littelmann (cf. [7]) using the "Littelmann path model." It was also shown in [5] that the family of crystals B(λ) is unique if certain reasonable conditions are imposed (cf. Theorem 1.1).

The purpose of this paper is to give another (rather simple) construction of the crystals B(λ) using the geometry of the affine Grassmannian _G=G()/G() of the group G, where =ℂ((t)) is the field of Laurent power series and =ℂ[[t]] is the ring of Taylor series. We then check that the family B(λ) satisfies the conditions of the uniqueness theorem from [5], which shows that our crystals coincide with those constructed in the references above. It would be interesting to find these isomorphisms directly (cf., however, [10]).