arXiv++ Combinatorics

We provide simple rules for the computation of Kazhdan--Lusztig polynomials in the maximal parabolic case. They are obtained by filling regions delimited by paths with "Dyck strips" obeying certain rules. We compare our results with those of Lascoux and Schützenberger.

We develop a marking system for an analog of Hasse diagrams of intervals $[u,v]$ with $u\leq v$ in a Hermitian symmetric pair $W/W_J$, and use this to create a closed form algorithm for computing relative R-polynomials. The uniform nature of this algorithm allows us to show combinatorial invariance of relative Kazhdan-Lusztig polynomials in the Hermitian symmetric space setting.

In this paper we show that the leading coefficient $μ(y,w)$ of some Kazhdan-Lusztig polynomials $P_{y,w}$ with $y,w$ in an affine Weyl group of type $\tilde A_n $ is $n+2$. This fact has some consequences on the dimension of first extension groups of finite groups of Lie type with irreducible coefficients.

Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in: * combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82]; * the equivariant K-theory specialization formula of [Buch-Rimanyi '04]; and * a positive combinatorial formula for multiplicities of Schubert varieties in good cases, including those for which the associated Kazhdan-Lusztig ideal is homogeneous under the standard grading. Our results generalize (with alternate proofs) [Knutson-Miller '05]'s Grobner basis theorem for Schubert determinantal ideals and their geometric interpretation of the monomial positivity of Schubert polynomials. We also complement recent work of [Knutson '08,'09] on degenerations of Kazhdan-Lusztig varieties in general Lie type, as well as work of [Goldin '01] on equivariant localization and of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], and [Krattenthaler '01] on Grassmannian multiplicity formulas.

For extra-large Coxeter systems (m(s,r)>3), we construct a natural and explicit set of Soergel bimodules D={D_w}_{w\in W} such that each D_w contains as a direct summand (or is equal to) the indecomposable Soergel bimodule B_w. When decategorified, we prove that D gives rise to a set {d_w}_{w\in W} that is actually a basis of the Hecke algebra. This basis is close to the Kazhdan-Lusztig basis and satisfies a ``positivity condition''.

From the combinatorial characterizations of the right, left, and two-sided Kazhdan-Lusztig cells of the symmetric group, 'RSK bases' are constructed for certain quotients by two-sided ideals of the group ring and the Hecke algebra. Applications to invariant theory, over various base rings, of the general linear group and representation theory of the symmetric group are discussed.

This paper concerns the combinatorics of the orbit Hecke algebra associated with the orbit of a two sided Weyl group action on the Renner monoid of a finite monoid of Lie type, $M$. It is shown by Putcha in \cite{Putcha97} that the Kazhdan-Lusztig involution (\cite{KL79}) can be extended to the orbit Hecke algebra which enables one to define the $R$-polynomials of the intervals contained in a given orbit. Using the $R$-polynomials, we calculate the Möbius function of the Bruhat-Chevalley ordering on the orbits. Furthermore, we provide a necessary condition for an interval contained in a given orbit to be isomorphic to an interval in some Weyl group.

Using resolutions of singularities introduced by Cortez and a method for calculating Kazhdan-Lusztig polynomials due to Polo, we prove the conjecture of Billey and Braden characterizing permutations w with Kazhdan-Lusztig polynomial P_{id,w}(q)=1+q^h for some h.

We prove that, for any choice of parameters, the Kazhdan-Lusztig cells of a Weyl group of type $B$ are unions of combinatorial cells (defined using the domino insertion algorithm).

In this paper we compute the leading coefficients $μ(u,w)$ of the Kazhdan--Lusztig polynomials $P_{u,w}$ for an affine Weyl group of type $\tilde{B}_2$. By using the \textbf{a}-function of a Coxeter group defined by Lusztig (see [L1, \S2]), we compute most $μ(u,w)$ explicitly. With part of these values $μ(u,w)$, we show that a conjecture of Lusztig on distinguished involutions is true for an affine Weyl group of type $\tilde{B}_2$. We also show that the conjectural formula in [L3, (12)] needs a modification.

The work of C. Bonnaf{é}, M. Geck, L. Iancu and T. Lam \cite{Geck-Lam} shows through two conjectures that $r$-domino tableaux have an important role in Kazhdan-Lusztig theory of type $B$ with unequal parameters. In this paper we provide plactic relations on signed permutations which determine whether given two signed permutations have the same insertion $r$-domino tableaux in Garfinkle's algorithm \cite{Garfinkle1}.

The set of orbits of $GL(V)$ in $Fl(V)\times Fl(V)\times V$ is finite, and is parametrized by the set of certain decorated permutations in a work of Solomon. We describe a Mirabolic RSK correspondence (bijective) between this set of decorated permutations and the set of triples: a pair of standard Young tableaux, and an extra partition. It gives rise to a partition of the set of orbits into combinatorial cells. We prove that the same partition is given by the type of a general conormal vector to an orbit. We conjecture that the same partition is given by the bimodule Kazhdan-Lusztig cells in the bimodule over the Iwahori-Hecke algebra of $GL(V)$ arising from $Fl(V)\times Fl(V)\times V$. We also give conjectural applications to the classification of unipotent mirabolic character sheaves on $GL(V)\times V$.

The aim of this paper is to gather and (try to) unify several approaches for the modular representation theory of Hecke algebras of type $B$. We attempt to explain the connections between Geck's cellular structures (coming from Kazhdan-Lusztig theory with unequal parameters) and Ariki's Theorem on the canonical basis of the Fock spaces.

We associate a quasisymmetric function to any Bruhat interval in a general Coxeter group. This association can be seen to be a morphism of Hopf algebras to the subalgebra of all peak functions, leading to an extension of the cd-index of convex polytopes. We show how the Kazhdan-Lusztig polynomial of the Bruhat interval can be expressed in terms of this complete cd-index and otherwise explicit combinatorially defined polynomials. In particular, we obtain the simplest closed formula for the Kazhdan-Lusztig polynomials that holds in complete generality.

We formulate a general super duality conjecture on connections between parabolic categories O of modules over Lie superalgebras and Lie algebras of type A, based on a Fock space formalism of their Kazhdan-Lusztig theories which was initiated by Brundan. We show that the Brundan-Kazhdan-Lusztig (BKL) polynomials for Lie superalgebra gl(m|n) in our parabolic setup can be identified with the usual parabolic Kazhdan-Lusztig polynomials. We establish some special cases of the BKL conjecture on the parabolic category O of gl(m|n)-modules and additional results which support the BKL conjecture and super duality conjecture.

The Kazhdan-Lusztig polynomials for finite Weyl groups arise in the geometry of Schubert varieties and representation theory. It was proved very soon after their introduction that they have nonnegative integer coefficients, but no completely combinatorial interpretation for them is known in general. Deodhar (1990) has given a framework for computing the Kazhdan-Lusztig polynomials, which generally involves recursion. We define embedded factor pattern avoidance for general Coxeter groups and use it to characterize when Deodhar's algorithm yields a simple combinatorial formula for the Kazhdan-Lusztig polynomials of finite Weyl groups. Equivalently, if $(W, S)$ is a Coxeter system for a finite Weyl group, we classify the elements $w \in W$ for which the Kazhdan-Lusztig basis element $C'_w$ can be written as a monomial of $C'_s$ where $s \in S$. This work generalizes results of Billey-Warrington (2001) which identified the Deodhar elements in type $A$ as 321-hexagon-avoiding permutations, and Fan-Green (1997) which identified the fully-tight Coxeter groups.

In this paper we define a two-variable, generic Hecke algebra, H, for each complex reflection group G(b,1,n). The algebra H specializes to the group algebra of G(b,1,n) and also to an endomorphism algebra of a representation of GL(n,q) induced from a solvable subgroup. We construct Kazhdan-Lusztig "R-polynomials" for H and show that they may be used to define a partial order on G(b,1,n). Using a generalization of Deodhar's notion of distinguished subexpressions we give a closed formula for the R-polynomials. After passing to a one-variable quotient of the ring of scalars, we construct Kazhdan-Lusztig polynomials for H that reduce to the usual Kazhdan-Lusztig polynomials for the symmetric group when b=1.

We present a combinatorial and computational commutative algebra methodology for studying singularities of Schubert varieties of flag manifolds. We define the combinatorial notion of *interval pattern avoidance*. For "reasonable" invariants P of singularities, we geometrically prove that this governs (1) the P-locus of a Schubert variety, and (2) which Schubert varieties are globally not P. The prototypical case is P="singular"; classical pattern avoidance applies admirably for this choice [Lakshmibai-Sandhya'90], but is insufficient in general. Our approach is analyzed for some common invariants, including Kazhdan-Lusztig polynomials, multiplicity, factoriality, and Gorensteinness, extending [Woo-Yong'05]; the description of the singular locus (which was independently proved by [Billey-Warrington '03], [Cortez '03], [Kassel-Lascoux-Reutenauer'03], [Manivel'01]) is also thus reinterpreted. Our methods are amenable to computer experimentation, based on computing with *Kazhdan-Lusztig ideals* (a class of generalized determinantal ideals) using Macaulay 2. This feature is supplemented by a collection of open problems and conjectures.

We study the projective objects in an exact category naturally associated to a Coxeter system. We discuss an analog of the Kazhdan-Lusztig conjecture and show how it follows from a "genericity" conjecture and how the latter follows from a "Hard Lefschetz" conjecture.

We present an alternative construction of Soergel's category of bimodules associated to a reflection faithful representation of a Coxeter system. We show that its objects can be viewed as sheaves on the associated moment graph. We introduce an exact structure and show that Soergel's "special" bimodules are the projective objects. Then we construct the indecomposable projectives by both a global and a local method, discuss a version of the Kazhdan-Lusztig conjecture and prove it for universal Coxeter systems.