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.
Motivated by the concepts of the inverse Kazhdan-Lusztig polynomial and the equivariant Kazhdan-Lusztig polynomial, Proudfoot defined the equivariant inverse Kazhdan-Lusztig polynomial for a matroid. In this paper, we show that the equivariant inverse Kazhdan-Lusztig polynomial of a matroid is very useful for determining its equivariant Kazhdan-Lusztig polynomials, and we determine the equivariant inverse Kazhdan-Lusztig polynomials for Boolean matroids and uniform matroids. As an application, we give a new proof of Gedeon, Proudfoot and Young's formula for the equivariant Kazhdan-Lusztig poly…
We propose a combinatorial interpretation of the coefficient of $q$ in Kazhdan- Lusztig polynomials and we prove it for finite simply-laced Weyl groups.
Kazhdan and Lusztig define, for an arbitrary Coxeter system $(W,S)$, a family of polynomials indexed by pairs of elements of $W$. Despite their relevance and elementary definition, the explicit computation of these polynomials is still one of the hardest open problems in algebraic combinatorics. In this paper we explicitly compute Kazhdan-Lusztig polynomials for a Coxeter system of type $\tilde{B}_2$.
Immanants are functions on square matrices generalizing the determinant and permanent. Kazhdan-Lusztig immanants, which are indexed by permutations, involve $q=1$ specializations of Type A Kazhdan-Lusztig polynomials, and were defined in (Rhoades-Skandera, 2006). Using results of (Haiman, 1993) and (Stembridge, 1991), Rhoades and Skandera showed that Kazhdan-Lusztig immanants are nonnegative on matrices whose minors are nonnegative. We investigate which Kazhdan-Lusztig immanants are positive on $k$-positive matrices (matrices whose minors of size $k \times k$ and smaller are positive). We show…
We employ general parabolic recursion methods to demonstrate the recently devised hypercube formula for Kazhdan-Lusztig polynomials of $S_n$, and establish its generalization to the full setting of a finite Coxeter system through algebraic proof. We introduce procedures for positive decompositions of $q$-derived Kazhdan-Lusztig polynomials within this setting, that utilize classical Hecke algebra positivity phenomena of Dyer-Lehrer and Grojnowski-Haiman. This leads to a distinct algorithmic approach to the subject, based on induction from a parabolic subgroup. We propose suitable weak variants…
In this note, we show that certain dual canonical basis elements of $\mathbb{C}[SL_m]$ are positive when evaluated on $k$-positive matrices, matrices whose minors of size $k \times k$ and smaller are positive. Skandera showed that all dual canonical basis elements of $\mathbb{C}[SL_m]$ can be written in terms of Kazhdan-Lusztig immanants, which were introduced by Rhoades and Skandera. We focus on the basis elements which are expressed in terms of Kazhdan-Lusztig immanants indexed by 1324- and 2143-avoiding permutations. This extends previous work of the authors on Kazhdan-Lusztig immanants and…
Special matchings and parabolic Kazhdan-Lusztig polynomials
我们证明了一个特殊的匹配的组合概念可以用来计算抛物Kazhdan-Lusztig多项式的双花边Coxeter群和二面角Coxeter群。特别地，对于包含所有外尔群的这类群，我们的结果推广到了抛物情形[Advances in Math. {202}（2006），555-601]中的主要结果。因此，由$u$和$v$索引的抛物Kazhdan-Lusztig多项式仅取决于从单位元到$v$的Bruhat区间的偏序集结构以及该区间的哪些元素是最小陪集代表。
Combinatorics of Kazhdan-Lusztig cells in affine type $A$ was originally developed by Lusztig, Shi, and Xi. Building on their work, Chmutov, Pylyavskyy, and Yudovina introduced the affine matrix-ball construction (abbreviated AMBC) which gives an analog of Robinson-Schensted correspondence for affine symmetric groups. An alternative approach to Kazhdan-Lusztig theory in affine type $A$ was developed by Blasiak in his work on catabolism. He introduced sign insertion algorithm and conjectured that if one fixes the two-sided cell, the recording tableau of sign insertion process determines uniquel…
We make progress on a question of Skandera by showing that a product of Kazhdan-Lusztig basis elements indexed by maximal elements of parabolic subgroups admits a Kazhdan-Lusztig basis element as a quotient arising from operations in the Schur algebroid if and only if the sequence of parabolic subgroups satisfy both a rigidity condition and a combinatorial criterion. For Weyl groups, the rigidity condition specializes to a necessary condition for smallness of Gelfand-MacPherson resolutions. For Schubert varieties indexed by 4231-avoiding permutations, we derive a stronger necessary condition t…
The complex irreducible representations of the symmetric group carry an important canonical basis called the Kazhdan-Lusztig basis. Although it is difficult to express how general permutations act on this basis, some distinguished permutations have beautiful descriptions. In 2010 Rhoades showed that the long cycle $(1, 2,..., n)$ acts by the jeu-de-taquin promotion operator in the case when the irreducible representation is indexed by a rectangular partition. We prove a generalisation of this theorem in two directions: on the one hand we lift the restriction on the shape of the partition, and …
We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology, we show that if the Schubert variety is smooth, then the class it determines coincides with the class of the Kazhdan-Lusztig basis; this was known as the Smoothness Conjecture. For Grassmannians, we p…
