Refined geometric realization of a quantum group and Lusztig’s symmetries

In this paper, we shall give a refinement of the geometric realization of Lusztig’s algebra f given by Lusztig. This realization gives a geometric interpretation of the decomposition of f. As an application, we shall give geometric realizations of Lusztig’s symmetries on the whole quantum group.     

A Parameterization of the Canonical Bases of Affine Modified Quantized Enveloping Algebras

For a symmetrizable Kac-Moody Lie algebra g, Lusztig introduced the corresponding modified quantized enveloping algebra˙U and its canonical basis˙B given by Lusztig in 1992. In this paper, in the case that g is a symmetric Kac-Moody Lie algebra of finite or affine type, the authors define a set M which depends only on the root category R and prove that there is a bijection between M and ˙B, where R is the T~2-orbit category of the bounded derived category of the corresponding Dynkin or tame quiver. The method in this paper is based on a result of Lin, Xiao and Zhang in 2011, which gives a PBW-type basis of U~+.     

Standard Modules for Tabular Algebras

We introduce cell modules for the tabular algebras defined in a previous work; these modules are analogous to the representations arising from left Kazhdan–Lusztig cells. The standard modules of the title are constructed in an elementary way by suitable tensoring of the cell modules. We show how a certain extended affine Hecke algebra of type A equipped with its Kazhdan–Lusztig basis is an example of a tabular algebra, and verify that in this case our standard modules coincide with other standard modules defined in the literature.     

Cuspidal representations in the cohomology of Deligne–Lusztig varieties for GL(2) over finite rings

We define closed subvarieties of some Deligne–Lusztig varieties for GL(2) over finite rings and study their ´etale cohomology. As a result, we show that cuspidal representations appear in it. Such closed varieties are studied in [Lus2] in a special case. We can do the same things for a Deligne–Lusztig variety associated to a quaternion division algebra over a non-archimedean local field. A product of such varieties can be regarded as an affine bundle over a curve. The base curve appears as an open subscheme of a union of irreducible components of the stable reduction of the Lubin–Tate curve in a special case. Finally, we state some conjecture on a part of the stable reduction using the above varieties. This is an attempt to understand bad reduction of Lubin–Tate curves via Deligne–Lusztig varieties.     

Gaudin models with irregular singularities

We introduce a class of quantum integrable systems generalizing the Gaudin model. The corresponding algebras of quantum Hamiltonians are obtained as quotients of the center of the enveloping algebra of an affine Kac-Moody algebra at the critical level, extending the construction of higher Gaudin Hamiltonians from B. Feigin et al. (1994) [17] to the case of non-highest weight representations of affine algebras. We show that these algebras are isomorphic to algebras of functions on the spaces of opers on P¹ with regular as well as irregular singularities at finitely many points. We construct eigenvectors of these Hamiltonians, using Wakimoto modules of critical level, and show that their spectra on finite-dimensional representations are given by opers with trivial monodromy. We also comment on the connection between the generalized Gaudin models and the geometric Langlands correspondence with ramification.     

Classification of graded Hecke algebras for complex reflection groups

The graded Hecke algebra for a finite Weyl group is intimately related to the geometry of the Springer correspondence. A construction of Drinfeld produces an analogue of a graded Hecke algebra for any finite subgroup of GL(V). This paper classifies all the algebras obtained by applying Drinfeld's construction to complex reflection groups. By giving explicit (though nontrivial) isomorphisms, we show that the graded Hecke algebras for finite real reflection groups constructed by Lusztig are all isomorphic to algebras obtained by Drinfeld's construction. The classification shows that there exist algebras obtained from Drinfeld's construction which are not graded Hecke algebras as defined by Lusztig for real as well as complex reflection groups. Received: July 25, 2001     

Monomials and Temperley–Lieb Algebras

We classify the “fully tight” simply laced Coxeter groups, that is, the ones whoseiji-avoiding Kazhdan–Lusztig basis elements are monomials in the generatorsB_si. We then investigate the basis of the Temperley–Lieb algebra arising from the Kazhdan–Lusztig basis of the associated Hecke algebra, and prove that the basis coincides with the usual (monomial) basis.     

Inducing <Emphasis Type="Italic">W</Emphasis>-graphs

 Let ℋ be the Hecke algebra associated with a Coxeter group W. Many interesting ℋ-modules can be described using the concept of a W-graph, as introduced in the influential paper [4] of Kazhdan and Lusztig. In particular, Kazhdan and Lusztig showed that the regular representation of ℋ has an associated W-graph. The purpose of this note is to show that if W _J is a parabolic subgroup of W and V is a module for the corresponding Hecke algebra ℋ _J , then a W _J -graph structure for V gives rise to a W-graph structure for the induced module ℋ⊗ _ℋJ V. In the case that W _J is the identity subgroup and V has dimension 1, our construction coincides with that given by Kazhdan and Lusztig for the regular representation. For arbitrary J and V of dimension 1 we recover the constructions of Couillens [1] and Deodhar [3]. Received: 14 June 2002; in final form: 13 August 2002 / Published online: 1 April 2003 Mathematics Subject Classification (2000): 20C08     

The Based Ring of the Lowest Two-Sided Cell of an Affine Weyl Group,III

We show that Lusztig’s homomorphism from an affine Hecke algebra to the direct summand of its asymptotic Hecke algebra corresponding to the lowest two-sided cell is related to the homomorphism constructed by Chriss and Ginzburg using equivariant K-theory by a matrix over the representation ring of the associated algebraic group.     

Representations of affine Hecke algebras and based rings of affine Weyl groups

In this paper we show that the Deligne-Langlands-Lusztig classification of simple representations of an affine Hecke algebra remains valid if the parameter is not a root of the corresponding Poincaré polynomial. This verifies a conjecture of Lusztig proposed in 1989.

     

Formal Hecke algebras and algebraic oriented cohomology theories

In the present paper, we generalize the construction of the nil Hecke ring of Kostant–Kumar to the context of an arbitrary formal group law, in particular, to an arbitrary algebraic oriented cohomology theory of Levine–Morel and Panin–Smirnov (e.g., to Chow groups, Grothendieck’s \(K_0\) , connective \(K\) -theory, elliptic cohomology, and algebraic cobordism). The resulting object, which we call a formal (affine) Demazure algebra, is parameterized by a one-dimensional commutative formal group law and has the following important property: specialization to the additive and multiplicative periodic formal group laws yields completions of the nil Hecke and the 0-Hecke rings, respectively. We also introduce a formal (affine) Hecke algebra. We show that the specialization of the formal (affine) Hecke algebra to the additive and multiplicative periodic formal group laws gives completions of the degenerate (affine) Hecke algebra and the usual (affine) Hecke algebra, respectively. We show that all formal affine Demazure algebras (and all formal affine Hecke algebras) become isomorphic over certain coefficient rings, proving an analogue of a result of Lusztig.     

Categorification of integrable representations of quantum groups

We categorify the highest weight integrable representations and their tensor products of a symmetric quantum Kac–Moody algebra. As a byproduct, we obtain a geometric realization of Lusztig's canonical bases of these representations as well as a new positivity result. The main ingredient in the underlying geometric construction is a class of micro-local perverse sheaves on quiver varieties.     

Representations of Gan–Ginzburg algebras

Given a quiver, a fixed dimension vector, and a positive integer n, we construct a functor from the category of D-modules on the space of representations of the quiver to the category of modules over a corresponding Gan–Ginzburg algebra of rank n. When the quiver is affine Dynkin, we obtain an explicit construction of representations of the corresponding wreath product symplectic reflection algebra of rank n. When the quiver is star-shaped, but not finite Dynkin, we use this functor to obtain a Lie-theoretic construction of representations of a “spherical” subalgebra of the Gan–Ginzburg algebra isomorphic to a rational generalized double affine Hecke algebra of rank n. Our functors are a generalization of the type A and type BC functors from [1] and [4], respectively.     

On 321-Avoiding Permutations in Affine Weyl Groups

We introduce the notion of 321-avoiding permutations in the affine Weyl group W of type A _{n – 1} by considering the group as a George group (in the sense of Eriksson and Eriksson). This enables us to generalize a result of Billey, Jockusch and Stanley to show that the 321-avoiding permutations in W coincide with the set of fully commutative elements; in other words, any two reduced expressions for a 321-avoiding element of W (considered as a Coxeter group) may be obtained from each other by repeated applications of short braid relations.Using Shi's characterization of the Kazhdan–Lusztig cells in the group W, we use our main result to show that the fully commutative elements of W form a union of Kazhdan–Lusztig cells. This phenomenon has been studied by the author and J. Losonczy for finite Coxeter groups, and is interesting partly because it allows certain structure constants for the Kazhdan–Lusztig basis of the associated Hecke algebra to be computed combinatorially.We also show how some of our results can be generalized to a larger group of permutations, the extended affine Weyl group associated to GL _n ()     

From Lie algebras of vector fields to algebraic group actions

The action of an affine algebraic group G on an algebraic variety V can be differentiated to a representation of the Lie algebra L(G) of G by derivations on the sheaf of regular functions on V . Conversely, if one has a finite-dimensional Lie algebra L and a homomorphism ρ : L → Der_K(K[U]) for an affine algebraic variety U, one may wonder whether it comes from an algebraic group action on U or on a variety V containing U as an open subset. In this paper, we prove two results on this integration problem. First, if L acts faithfully and locally finitely on K[U], then it can be embedded in L(G), for some affine algebraic group G acting on U, in such a way that the representation of L(G) corresponding to that action restricts to ρ on L. In the second theorem, we assume from the start that L = L(G) for some connected affine algebraic group G and show that some technical but necessary conditions on ρ allow us to integrate ρ to an action of G on an algebraic variety V containing U as an open dense subset. In the interesting cases where L is nilpotent or semisimple, there is a natural choice for G, and our technical conditions take a more appealing form.     

Mask Formulas for Cograssmannian Kazhdan-Lusztig Polynomials

We give two constructions of sets of masks on cograssmannian permutations that can be used in Deodhar’s formula for Kazhdan–Lusztig basis elements of the Iwahori–Hecke algebra. The constructions are respectively based on a formula of Lascoux–Schützenberger and its geometric interpretation by Zelevinsky. The first construction relies on a basis of the Hecke algebra constructed from principal lower order ideals in Bruhat order and a translation of this basis into sets of masks. The second construction relies on an interpretation of masks as cells of the Bott–Samelson resolution. These constructions give distinct answers to a question of Deodhar.     

Holomorphic affine vector fields on weil bundles

We obtain necessary and sufficient conditions for a holomorphic vector field to be affine for a holomorphic linear connection defined on aWeil bundle. We also prove that the Lie algebra over R of holomorphic affine vector fields for the natural prolongation of a linear connection from the base to theWeil bundle is isomorphic to the tensor product of theWeil algebra by the Lie algebra of affine vector fields on the base.     

Separable polynomials over finite dimensional algebras

In [5] it was shown that for a polynomial P of precise degree n with coefficients in an arbitrary m-ary algebra of dimension d as a vector space over an algebraically closed fields, the zeros of P together with the homogeneous zeros of the dominant part of P form a set of cardinality n^d or the cardinality of the base field. We investigate polynomials with coefficients in a d dimensional algebra A without assuming the base field k to be algebraically closed. Separable polynomials are defined to be those which have exactly n^d distinct zeros in [Ktilde] ?_k A [Ktilde] where [Ktilde] denotes an algebraic closure of k. The main result states that given a separable polynomial of degree n, the field extension L of minimal degree over k for which L ?_k A contains all nd zeros is finite Galois over k. It is shown that there is a non empty Zariski open subset in the affine space of all d-dimensional k algebras whose elements A have the following property: In the affine space of polynomials of precise degree n with coefficients in A there is a non empty Zariski open subset consisting of separable polynomials; in other polynomials with coefficients in a finite dimensional algebra are “generically” separable.