arXiv++ Combinatorics

We define the equivariant Kazhdan-Lusztig polynomial of a matroid equipped with a group of symmetries, generalizing the nonequivariant case. We compute this invariant for arbitrary uniform matroids and for braid matroids of small rank.

In his study of Kazhdan-Lusztig cells in affine type $A$, Shi has introduced an affine analog of Robinson-Schensted correspondence. We generalize the Matrix-Ball Construction of Viennot and Fulton to give a more combinatorial realization of Shi's algorithm. As a biproduct, we also give a way to realize the affine correspondence via the usual Robinson-Schensted bumping algorithm. Next, inspired by Lusztig and Xi, we extend the algorithm to a bijection between extended affine symmetric group and triples $(P, Q, ρ)$ where $P$ and $Q$ are tabloids and $ρ$ is a dominant weight. The weights $ρ$ get a natural interpretation in terms of the Affine Matrix-Ball Construction. Finally, we prove that fibers of the inverse map possess a Weyl group symmetry, explaining the dominance condition on weights.

We study the rational permutation braids, that is the elements of an Artin-Tits group of spherical type which can be written $x^{-1} y$ where $x$ and $y$ are prefixes of the Garside element of the braid monoid. We give a geometric characterization of these braids in type $A_n$ and $B_n$ and then show that in spherical types different from $D_n$ the simple elements of the dual braid monoid (for arbitrary choice of Coxeter element) embedded in the braid group are rational permutation braids (we conjecture this to hold also in type $D_n$).This property implies positivity properties of the polynomials arising in the linear expansion of their images in the Iwahori-Hecke algebra when expressed in the Kazhdan-Lusztig basis. In type $A_n$, it implies positivity properties of their images in the Temperley-Lieb algebra when expressed in the diagram basis.

We address the problem of defining Schubert classes independently of a reduced word in equivariant elliptic cohomology, based on the Kazhdan-Lusztig basis of a corresponding Hecke algebra. We study some basic properties of these classes, and make two important conjectures about them: a positivity conjecture, and the agreement with the topologically defined Schubert classes in the smooth case. We prove some special cases of these conjectures.

The goal of this paper is to construct an action of the cactus group of a Weyl group W on W that is nicely compatible with Kazhdan-Lusztig cells. The action is realized by the wall-crossing bijections that are combinatorial shadows of wall-crossing functors on the category O.

We compute the Kazhdan-Lusztig polynomial of the uniform matroid of rank n-1 on n elements by proving that the i-th coefficient of is equal to the number of ways to choose i non-intersecting chords in an (n-i+1)-gon. We also show that the corresponding intersection cohomology group is isomorphic to the irreducible representation of the symmetric group associated to the partition [n-2i,2,...,2].

We obtain explicit branching rules for graded cell modules and graded simple modules over the endomorphism algebra of a Bott-Samelson bimodule. These rules allow us to categorify a well-known recursive formula for Kazhdan-Lusztig polynomials.

We prove that the combinatorial concept of a special matching can be used to compute the parabolic Kazhdan-Lusztig polynomials of doubly laced Coxeter groups and of dihedral Coxeter groups. In particular, for this class of groups which includes all Weyl groups, our results generalize to the parabolic setting the main results in [Advances in Math. {202} (2006), 555-601]. As a consequence, the parabolic Kazhdan-Lusztig polynomial indexed by $u$ and $v$ depends only on the poset structure of the Bruhat interval from the identity element to $v$ and on which elements of that interval are minimal coset representatives.

For irreducible characters $\{ χ_q^λ\,|\, λ\vdash n \}$, induced sign characters $\{ ε_q^λ\,|\, λ\vdash n \}$, and induced trivial characters $\{ η_q^λ\,|\, λ\vdash n \}$ of the Hecke algebra $H_n(q)$, and Kazhdan-Lusztig basis elements $C'_w(q)$ with $w$ avoiding the patterns 3412 and 4231, we combinatorially interpret the polynomials $χ_q^λ(q^{l(w)/2}C'_w(q))$, $ε_q^λ(q^{l(w)/2} C'_w(q))$, and $\smash{η_q^λ(q^{l(w)/2} C'_w(q))}$. This gives a new algebraic interpretation of chromatic quasisymmetric functions of Shareshian and Wachs, and a new combinatorial interpretation of special cases of results of Haiman. We prove similar results for other $H_n(q)$-traces, and confirm a formula conjectured by Haiman.

Parabolic $R$-polynomials were introduced by Deodhar as parabolic analogues of ordinary $R$-polynomials defined by Kazhdan and Lusztig. In this paper, we are concerned with the computation of parabolic $R$-polynomials for the symmetric group. Let $S_n$ be the symmetric group on $\{1,2,\ldots,n\}$, and let $S=\{s_i\,|\, 1\leq i\leq n-1\}$ be the generating set of $S_n$, where for $1\leq i\leq n-1$, $s_i$ is the adjacent transposition. For a subset $J\subseteq S$, let $(S_n)_J$ be the parabolic subgroup generated by $J$, and let $(S_n)^{J}$ be the set of minimal coset representatives for $S_n/(S_n)_J$. For $u\leq v\in (S_n)^J$ in the Bruhat order and $x\in \{q,-1\}$, let $R_{u,v}^{J,x}(q)$ denote the parabolic $R$-polynomial indexed by $u$ and $v$. Brenti found a formula for $R_{u,v}^{J,x}(q)$ when $J=S\setminus\{s_i\}$, and obtained an expression for $R_{u,v}^{J,x}(q)$ when $J=S\setminus\{s_{i-1},s_i\}$. We introduce a statistic on pairs of permutations in $(S_n)^J$ for $J=S\setminus\{s_{i-2},s_{i-1},s_i\}$. Then we give a formula for $R_{u,v}^{J,x}(q)$, where $J=S\setminus\{s_{i-2},s_{i-1},s_i\}$ and $i$ appears after $i-1$ in $v$. We also pose a conjecture for $R_{u,v}^{J,x}(q)$, where $J=S\setminus\{s_{k},s_{k+1},\ldots,s_i\}$ with $1\leq k\leq i\leq n-1$ and the elements $k+1,k+2,\ldots, i$ appear in increasing order in $v$.

We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always non-negative, and we prove this conjecture for representable matroids by interpreting our polynomials as intersection cohomology Poincare polynomials. We also introduce a q-deformation of the Mobius algebra of M, and use our polynomials to define a special basis for this deformation, analogous to the canonical basis of the Hecke algebra. We conjecture that the structure coefficients for multiplication in this special basis are non-negative, and we verify this conjecture in numerous examples.

We provide combinatorial rules to compute Kazhdan--Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$ when the Hecke algebra has unequal parameters. They are obtained by filling regions delimited by paths with ballot strips. We also extend the binary tree algorithm introduced by Lascoux and Schützenberger to our case.

We introduce a new basis of the Temperley-Lieb algebra. It is defined using a bijection between noncrossing partitions and fully commutative elements together with a basis introduced by Zinno, which is obtained by mapping the simple elements of the Birman-Ko-Lee braid monoid to the Temperley-Lieb algebra. The combinatorics of the new basis involve the Bruhat order restricted to noncrossing partitions. As an application we can derive properties of the coefficients of the base change matrix between Zinno's basis and the well-known diagram or Kazhdan-Lusztig basis of the Temperley-Lieb algebra. In particular, we give closed formulas for some of the coefficients of the expansion of an element of the diagram basis in the Zinno basis.

The action of a Coxeter group $W$ on the set of left cosets of a standard parabolic subgroup deforms to define a module $\mathcal{M}^J$ of the group's Iwahori-Hecke algebra $\mathcal{H}$ with a particularly simple form. Rains and Vazirani have introduced the notion of a quasiparabolic set to characterize $W$-sets for which analogous deformations exist; a motivating example is the conjugacy class of fixed point free involutions in the symmetric group. Deodhar has shown that the module $\mathcal{M}^J$ possesses a certain antilinear involution, called the bar operator, and a certain basis invariant under this involution, which generalizes the Kazhdan-Lusztig basis of $\mathcal{H}$. The well-known significance of this basis in representation theory makes it natural to seek to extend Deodhar's results to the quasiparabolic setting. In general, the obstruction to finding such an extension is the existence of an appropriate quasiparabolic analogue of the "bar operator." In this paper, we consider the most natural definition of a quasiparabolic bar operator, and develop a theory of "quasiparabolic Kazhdan-Lusztig bases" under the hypothesis that such a bar operator exists. Giving content to this theory, we prove that a bar operator in the desired sense does exist for quasiparabolic $W$-sets given by twisted conjugacy classes of twisted involutions. Finally, we prove several results classifying the quasiparabolic conjugacy classes in a Coxeter group.

We give a new characterization of the peak subalgebra of the algebra of quasisymmetric functions and use this to construct a new basis for this subalgebra. As an application of these results we obtain a combinatorial formula for the Kazhdan-Lusztig polynomials which holds in complete generality and is simpler and more explicit than any existing one. We then show that, in a certain sense, this formula cannot be simplified.

In 1990, Lakshmibai and Sandhya published a characterization of singular Schubert varieties in flag manifolds using the notion of pattern avoidance. This was the first time pattern avoidance was used to characterize geometrical properties of Schubert varieties. Their results are very closely related to work of Haiman, Ryan and Wolper, but Lakshmibai-Sandhya were the first to use that language exactly. Pattern avoidance in permutations was used historically by Knuth, Pratt, Tarjan, and others in the 1960's and 1970's to characterize sorting algorithms in computer science. Lascoux and Sch$\text{ü}$tzenberger also used pattern avoidance to characterize vexillary permutations in the 1980's. Now, there are many geometrical properties of Schubert varieties that use pattern avoidance as a method for characterization including Gorenstein, factorial, local complete intersections, and properties of Kazhdan-Lusztig polynomials. These are what we call consequences of the Lakshmibai-Sandhya theorem. We survey the many beautiful results, generalizations, and remaining open problems in this area. We highlight the advantages of using pattern avoidance characterizations in terms of linear time algorithms and the ease of access to the literature via Tenner's Database of Permutation Pattern Avoidance. This survey is based on lectures by the second author at Osaka, Japan 2012 for the Summer School of the Mathematical Society of Japan based on the topic of Schubert calculus.

Using recent results of the second author which explicitly identify the "$(1,2,1,2)$-avoiding" $GL(p,\mathbb{C}) \times GL(q,\mathbb{C})$-orbit closures on the flag manifold $GL(p+q,\mathbb{C})/B$ as certain Richardson varieties, we give combinatorial criteria for determining smoothness, lci-ness, and Gorensteinness of such orbit closures. (In the case of smoothness, this gives a new proof of a theorem of W.M. McGovern.) Going a step further, we also describe a straightforward way to compute the singular locus, the non-lci locus, and the non-Gorenstein locus of any such orbit closure. We then describe a manifestly positive combinatorial formula for the Kazhdan-Lusztig-Vogan polynomial $P_{τ,γ}(q)$ in the case where $γ$ corresponds to the trivial local system on a $(1,2,1,2)$-avoiding orbit closure $Q$ and $τ$ corresponds to the trivial local system on any orbit $Q'$ contained in $\overline{Q}$. This combines the aforementioned result of the second author, results of A. Knutson, the first author, and A. Yong, and a formula of Lascoux and Schützenberger which computes the ordinary (type $A$) Kazhdan-Lusztig polynomial $P_{x,w}(q)$ whenever $w \in S_n$ is cograssmannian.

Let $S_n$ denote the symmetric group on $\{1,2,\ldots,n\}$. For two permutations $u, v\in S_n$ such that $u\leq v$ in the Bruhat order, let $R_{u,v}(q)$ and $\R_{u,v}(q)$ denote the Kazhdan-Lusztig $R$-polynomial and $\R$-polynomial, respectively. Let $v_n=34\cdots n\, 12$, and let $σ$ be a permutation such that $σ\leq v_n$. We obtain a formula for the $\R$-polynomials $\R_{σ,v_n}(q)$ in terms of the $q$-Fibonacci numbers depending on a parameter determined by the reduced expression of $σ$. When $σ$ is the identity $e$, this reduces to a formula obtained by Pagliacci. In another direction, we obtain a formula for the $\R$-polynomial $\R_{e,\,v_{n,i}}(q)$, where $v_{n,i} = 3 4\cdots i\,n\, (i+1)\cdots (n-1)\, 12$. In a more general context, we conjecture that for any two permutations $σ,τ\in S_n$ such that $σ\leq τ\leq v_n$, the $\R$-polynomial $\R_{σ,τ}(q)$ can be expressed as a product of $q$-Fibonacci numbers multiplied by a power of $q$.

Let (W, S) be a Coxeter system. A W-graph is an encoding of a representation of the corresponding Iwahori-Hecke algebra. Especially important examples include the W-graph corresponding to the action of the Iwahori-Hecke algebra on the Kazhdan-Lusztig basis, as well as this graph's strongly connected components (cells). In 2008, Stembridge identified some common features of the Kazhdan-Lusztig graphs and gave a combinatorial characterization of all W-graphs that have these features. He conjectured, and checked up to n=9, that all such A_n-cells are Kazhdan-Lusztig cells. The current paper provides a first step toward a potential proof of the conjecture. More concretely, we prove that the connected subgraphs of A_n-cells consisting of simple (i.e. directed both ways) edges are the same as in the Kazhdan-Lusztig cells.

We study natural bases for two constructions of the irreducible representation of the symmetric group corresponding to $[n,n,n]$: the {\em reduced web} basis associated to Kuperberg's combinatorial description of the spider category; and the {\em left cell basis} for the left cell construction of Kazhdan and Lusztig. In the case of $[n,n]$, the spider category is the Temperley-Lieb category; reduced webs correspond to planar matchings, which are equivalent to left cell bases. This paper compares the images of these bases under classical maps: the {\em Robinson-Schensted algorithm} between permutations and Young tableaux and {\em Khovanov-Kuperberg's bijection} between Young tableaux and reduced webs. One main result uses Vogan's generalized $τ$-invariant to uncover a close structural relationship between the web basis and the left cell basis. Intuitively, generalized $τ$-invariants refine the data of the inversion set of a permutation. We define generalized $τ$-invariants intrinsically for Kazhdan-Lusztig left cell basis elements and for webs. We then show that the generalized $τ$-invariant is preserved by these classical maps. Thus, our result allows one to interpret Khovanov-Kuperberg's bijection as an analogue of the Robinson-Schensted correspondence. Despite all of this, our second main result proves that the reduced web and left cell bases are inequivalent; that is, these bijections are not $S_{3n}$-equivariant maps.